Multi locus interactions and the build up of reproductive isolation. All genes interact with other genes, and their additive effects and epistatic interactions affect an organism's phenotype and fitness. Recent theoretical and empirical work has advanced our understanding of the role of multi locus interactions in speciation. However, relating different models to one another and to empirical observations is challenging. This review focuses on multi locus interactions that lead to reproductive isolation (RI) through reduced hybrid fitness. We first review theoretical approaches and show how recent work incorporating a mechanistic understanding of multi locus interactions recapitulates earlier models, but also makes novel predictions concerning the build up of RI. These include high variance in the build up rate of RI among taxa, the emergence of strong incompatibilities producing localised barriers to introgression, and an effect of population size on the build up of RI. We then review recent experimental approaches to detect multi locus interactions underlying RI using genomic data. We argue that future studies would benefit from overlapping methods like Ancestry Disequilibrium scans, genome scans of differentiation and analyses of hybrid gene expression. Finally, we highlight a need for further overlap between theoretical and empirical work, and approaches that predict what kind of patterns multi locus interactions resulting in incompatibilities will leave in genome wide polymorphism data.


Full Spark Frames in the Orbit of a Representation. We present a new infinite family of full spark frames in finite dimensions arising from a unitary group representation, where the underlying group is the semi direct product of a cyclic group by a group of automorphisms. The only previously known algebraically constructed infinite families were the harmonic, Gabor and Dihedral frames. Our construction hinges on a theorem that requires no group structure. Additionally, we illustrate our results by providing explicit constructions of full spark frames.


Classical inequalities for pseudo integral. In this paper, we have derived certain classical inequalities, namely, Young's, H "older's, Minkowski's and Hermite Hadamard inequalities for pseudo integral (also known as g integral). For Young's, H "older's, Minkowski's inequalities, both the cases p 1 as well as p 1, ,p ne 0 have been covered. Moreover, in the case of Hermite Hadamard inequality, a refinement has also been proved and as a special case, g analogue of geometric logarithmic arithmetic inequality has been deduced.


A Novel AI enabled Framework to Diagnose Coronavirus COVID 19 using Smartphone Embedded Sensors Design Study. Coronaviruses are a famous family of viruses that cause illness in both humans and animals. The new type of coronavirus COVID 19 was firstly discovered in Wuhan, China. However, recently, the virus has widely spread in most of the world and causing a pandemic according to the World Health Organization (WHO). Further, nowadays, all the world countries are striving to control the COVID 19. There are many mechanisms to detect coronavirus including clinical analysis of chest CT scan images and blood test results. The confirmed COVID 19 patient manifests as fever, tiredness, and dry cough. Particularly, several techniques can be used to detect the initial results of the virus such as medical detection Kits. However, such devices are incurring huge cost, taking time to install them and use. Therefore, in this paper, a new framework is proposed to detect COVID 19 using built in smartphone sensors. The proposal provides a low cost solution, since most of radiologists have already held smartphones for different daily purposes. Not only that but also ordinary people can use the framework on their smartphones for the virus detection purposes. Nowadays Smartphones are powerful with existing computation rich processors, memory space, and large number of sensors including cameras, microphone, temperature sensor, inertial sensors, proximity, colour sensor, humidity sensor, and wireless chipsets sensors. The designed Artificial Intelligence (AI) enabled framework reads the smartphone sensors signal measurements to predict the grade of severity of the pneumonia as well as predicting the result of the disease.


Edmonds' problem and the membership problem for orbit semigroups of quiver representations. A central problem in algebraic complexity, posed by J. Edmonds, asks to decide if the span of a given l tuple V ( V 1, ldots, V l) of N times N complex matrices contains a non singular matrix. In this paper, we provide a quiver invariant theoretic approach to this problem. Viewing V as a representation of the l Kronecker quiver K l , Edmonds' problem can be rephrased as asking to decide if there exists a semi invariant on the representation space ( CC N times N ) l of weight (1, 1) that does not vanish at V . In other words, Edmonds' problem is asking to decide if the weight (1, 1) belongs to the orbit semigroup of V . Let Q be an arbitrary acyclic quiver and V a representation of Q . We study the membership problem for the orbit semi group of V by focusing on the so called V saturated weights. We first show that for any given V saturated weight sigma , checking if sigma belongs to the orbit semigroup of V can be done in deterministic polynomial time. Next, let (Q, R) be an acyclic bound quiver with bound quiver algebra A KQ langle R rangle and assume that V satisfies the relations in R . We show that if A Ann A( V) is a tame algebra then any weight sigma in the weight semigroup of V is V saturated. Our results provide a systematic way of producing families of tuples of matrices for which Edmonds' problem can be solved effectively.


Polyhedral study of the Convex Recoloring problem. A coloring of the vertices of a connected graph is convex if each color class induces a connected subgraph. We address the convex recoloring (CR) problem defined as follows. Given a graph G and a coloring of its vertices, recolor a minimum number of vertices of G so that the resulting coloring is convex. This problem, known to be NP hard even on paths, was firstly motivated by applications on perfect phylogenies. In this work, we study CR on general graphs from a polyhedral point of view. First, we introduce a full dimensional polytope based on the idea of connected subgraphs, and present a class of valid inequalities with righthand side one that comprises all facet defining inequalities with binary coefficients when the input graph is a tree. Moreover, we define a general class of inequalities with righthand side in 1, ldots, k , where k is the amount of colors used in the initial coloring, and show sufficient conditions for validity and facetness of such inequalities. Finally, we report on computational experiments for an application on mobile networks that can be modeled by the polytope of CR on paths. We evaluate the potential of the proposed inequalities to reduce the integrality gaps.


Semantic Drift Compensation for Class Incremental Learning. Class incremental learning of deep networks sequentially increases the number of classes to be classified. During training, the network has only access to data of one task at a time, where each task contains several classes. In this setting, networks suffer from catastrophic forgetting which refers to the drastic drop in performance on previous tasks. The vast majority of methods have studied this scenario for classification networks, where for each new task the classification layer of the network must be augmented with additional weights to make room for the newly added classes. Embedding networks have the advantage that new classes can be naturally included into the network without adding new weights. Therefore, we study incremental learning for embedding networks. In addition, we propose a new method to estimate the drift, called semantic drift, of features and compensate for it without the need of any exemplars. We approximate the drift of previous tasks based on the drift that is experienced by current task data. We perform experiments on fine grained datasets, CIFAR100 and ImageNet Subset. We demonstrate that embedding networks suffer significantly less from catastrophic forgetting. We outperform existing methods which do not require exemplars and obtain competitive results compared to methods which store exemplars. Furthermore, we show that our proposed SDC when combined with existing methods to prevent forgetting consistently improves results.


Exploiting Aggregate Sparsity in Second Order Cone Relaxations for Quadratic Constrained Quadratic Programming Problems. Among many approaches to increase the computational efficiency of semidefinite programming (SDP) relaxation for quadratic constrained quadratic programming problems (QCQPs), exploiting the aggregate sparsity of the data matrices in the SDP by Fukuda et al. (2001) and second order cone programming (SOCP) relaxation have been popular. In this paper, we exploit the aggregate sparsity of SOCP relaxation of QCQPs. Specifically, we prove that exploiting the aggregate sparsity reduces the number of second order cones in the SOCP relaxation, and that we can simplify the matrix completion procedure by Fukuda et al. in both primal and dual of the SOCP relaxation problem without losing the max determinant property. For numerical experiments, QCQPs from the lattice graph and pooling problem are tested as their SOCP relaxations provide the same optimal value as the SDP relaxations. We demonstrate that exploiting the aggregate sparsity improves the computational efficiency of the SOCP relaxation for the same objective value as the SDP relaxation, thus much larger problems can be handled by the proposed SOCP relaxation than the SDP relaxation.


Bivariant Hermitian K theory and Karoubi's fundamental theorem. Let ell be a commutative ring with involution containing an element lambda such that lambda lambda 1 and let operatorname Alg ell be the category of ell algebras equipped with a semilinear involution and involution preserving homomorphisms. We construct a triangulated category kk h and a functor j h operatorname Alg ell to kk h that is homotopy invariant, matricially and hermitian stable and excisive and is universal initial with these properties. We prove that a version of Karoubi's fundamental theorem holds in kk h . By the universal property of the latter, this implies that any functor H operatorname Alg ell to mathfrak T with values in a triangulated category which is homotopy invariant, matricially and hermitian stable and excisive satisfies the fundamental theorem. We also prove a bivariant version of Karoubi's 12 term exact sequence.


Composition factors of 2 parts spin representations of symmetric groups. Given an odd prime p , we identify composition factors of the reduction modulo p of spin irreducible representations of the covering groups of symmetric groups indexed by partitions with 2 parts and find some decomposition numbers.


Classification of Vertex Transitive Zonotopes. We give a full classification of vertex transitive zonotopes. We prove that a vertex transitive zonotope is a Gamma permutahedron for some finite reflection group Gamma subset mathrm O ( mathbb R d) . The same holds true for zonotopes in which all vertices are on a common sphere, and all edges are of the same length (which we call homogeneous zonotopes). The classification of these then follows from the classification of finite reflection groups. We proof that root systems can be characterized as those centrally symmetric sets of vectors, for which all intersections with half spaces, that contain exactly half the vectors, are congruent. We provide a further sufficient condition for a centrally symmetric set being a root system.


On the convergence of single call stochastic extra gradient methods. Variational inequalities have recently attracted considerable interest in machine learning as a flexible paradigm for models that go beyond ordinary loss function minimization (such as generative adversarial networks and related deep learning systems). In this setting, the optimal mathcal O (1 t) convergence rate for solving smooth monotone variational inequalities is achieved by the Extra Gradient (EG) algorithm and its variants. Aiming to alleviate the cost of an extra gradient step per iteration (which can become quite substantial in deep learning applications), several algorithms have been proposed as surrogates to Extra Gradient with a emph single oracle call per iteration. In this paper, we develop a synthetic view of such algorithms, and we complement the existing literature by showing that they retain a mathcal O (1 t) ergodic convergence rate in smooth, deterministic problems. Subsequently, beyond the monotone deterministic case, we also show that the last iterate of single call, emph stochastic extra gradient methods still enjoys a mathcal O (1 t) local convergence rate to solutions of emph non monotone variational inequalities that satisfy a second order sufficient condition.


Remarks on blow up criteria for the derivative nonlinear Schrodinger equation under the optimal threshold setting. We study the Cauchy problem of the mass critical nonlinear Schrodinger equation with derivative with the 4pi mass. One has the global well posedness in H 1 whenever "the mass is strictly less than 4pi" or whenever "the mass is equal to 4pi and the momentum is strictly less than zero". In this paper, by the concentration compact principle as originally done by Kenig Merle, we obtain the limiting profile of blow up solutions with the critical 4pi mass.


Erd H o s Ko Rado theorems on the weak Bruhat lattice . Let mathscr L (X, preceq) be a lattice. For cal P subseteq X we say that cal P is t it intersecting if sf rank (x wedge y) ge t for all x,y in cal P . The seminal theorem of Erd H o s, Ko and Rado describes the maximum intersecting cal P in the lattice of subsets of a finite set with the additional condition that cal P is contained within a level of the lattice. The Erd H o s Ko Rado theorem has been extensively studied and generalized to other objects and lattices. In this paper, we focus on intersecting families of permutations as defined with respect to the weak Bruhat lattice. In this setting, we prove analogs of certain extremal results on intersecting set systems. In particular we give a characterization of the maximum intersecting families of permutations in the Bruhat lattice. We also characterize the maximum intersecting families of permutations within the r textrm th level of the Bruhat lattice of permutations of size n , provided that n is large relative to r .


Smoke Testing for Machine Learning Simple Tests to Discover Severe Defects. Machine learning is nowadays a standard technique for data analysis within software applications. Software engineers need quality assurance techniques that are suitable for these new kinds of systems. Within this article, we discuss the question whether standard software testing techniques that have been part of textbooks since decades are also useful for the testing of machine learning software. Concretely, we try to determine generic and simple smoke tests that can be used to assert that basic functions can be executed without crashing. We found that we can derive such tests using techniques similar to equivalence classes and boundary value analysis. Moreover, we found that these concepts can also be applied to hyperparameters, to further improve the quality of the smoke tests. Even though our approach is almost trivial, we were able to find bugs in all three machine learning libraries that we tested and severe bugs in two of the three libraries. This demonstrates that common software testing techniques are still valid in the age of machine learning and that considerations how they can be adapted to this new context can help to find and prevent severe bugs, even in mature machine learning libraries.


ANAPT Additive Noise Analysis for Persistence Thresholding. We introduce a novel method for Additive Noise Analysis for Persistence Thresholding (ANAPT) which separates significant features in the sublevel set persistence diagram of a time series based on a statistics analysis of the persistence of a noise distribution. Specifically, we consider an additive noise model and leverage the statistical analysis to provide a noise cutoff or confidence interval in the persistence diagram for the observed time series. This analysis is done for several common noise models including Gaussian, uniform, exponential and Rayleigh distributions. ANAPT is computationally efficient, does not require any signal pre filtering, is widely applicable, and has open source software available. We demonstrate the functionality ANAPT with both numerically simulated examples and an experimental data set. Additionally, we provide an efficient Theta(n log(n)) algorithm for calculating the zero dimensional sublevel set persistence homology.


An analytical study in multi physics and multi criteria shape optimization. A simple multi physical system for the potential flow of a fluid through a shroud in which a mechanical component, like a turbine vane, is placed, is modeled mathematically. We then consider a multi criteria shape optimization problem, when the shape of the component is allowed to vary under a certain set of 2nd order H "older continuous differentiable transformations of a baseline shape with boundary of the same continuity class. As objective functions, we consider a simple loss model for the fluid dynamical efficiency and the probability of failure of the component due to repeated application of loads that stem from the fluid's static pressure. For this multi physical system, it is shown that under certain conditions the Pareto front is maximal in the sense that the Pareto front of the feasible set coincides with Pareto front of its closure. We also show that the set of all optimal forms with respect to scalarization techniques deforms continuously (in the Hausdorff metric) with respect to preference parameters.


Elder Rule Staircodes for Augmented Metric Spaces. An augmented metric space is a metric space (X, d X) equipped with a function f X X to mathbb R . This type of data arises commonly in practice, e.g, a point cloud X in mathbb R d where each point x in X has a density function value f X(x) associated to it. An augmented metric space (X, d X, f X) naturally gives rise to a 2 parameter filtration mathcal K . However, the resulting 2 parameter persistent homology mathrm H bullet ( mathcal K ) could still be of wild representation type, and may not have simple indecomposables. In this paper, motivated by the elder rule for the zeroth homology of 1 parameter filtration, we propose a barcode like summary, called the elder rule staircode, as a way to encode mathrm H 0( mathcal K ) . Specifically, if n X , the elder rule staircode consists of n number of staircase like blocks in the plane. We show that if mathrm H 0( mathcal K ) is interval decomposable, then the barcode of mathrm H 0( mathcal K ) is equal to the elder rule staircode. Furthermore, regardless of the interval decomposability, the fibered barcode, the dimension function (a.k.a. the Hilbert function), and the graded Betti numbers of mathrm H 0( mathcal K ) can all be efficiently computed once the elder rule staircode is given. Finally, we develop and implement an efficient algorithm to compute the elder rule staircode in O(n 2 log n) time, which can be improved to O(n 2 alpha(n)) if X is from a fixed dimensional Euclidean space mathbb R d , where alpha(n) is the inverse Ackermann function.


Is a COVID19 Quarantine Justified in Chile or USA Right Now?. During the current COVID 19 pandemic it is imperative to give early warnings to reduce mortality. However, non specialist such as authorities and the general population face several problems to understand the real thread of this pandemic, and under overestimation of its risk are a commonplace in the press and social media. Here we define an index, which we call the COVID 19 Burden Index, that relates the capacities of the healthcare system of a given country to treat severe and critical cases. Its value is 0 if there is no extra strain in the healthcare system, and it reaches 1.0 when the collapse is imminent. As of 23 March 2020, we show that Chile, the USA, UK, among other countries, must reduce the rate of infections right now, otherwise, in less than 7 days they could be in a catastrophic situation such as Italy, Spain and Iran.


Does my multimodal model learn cross modal interactions? It's harder to tell than you might think!. Modeling expressive cross modal interactions seems crucial in multimodal tasks, such as visual question answering. However, sometimes high performing black box algorithms turn out to be mostly exploiting unimodal signals in the data. We propose a new diagnostic tool, empirical multimodally additive function projection (EMAP), for isolating whether or not cross modal interactions improve performance for a given model on a given task. This function projection modifies model predictions so that cross modal interactions are eliminated, isolating the additive, unimodal structure. For seven image text classification tasks (on each of which we set new state of the art benchmarks), we find that, in many cases, removing cross modal interactions results in little to no performance degradation. Surprisingly, this holds even when expressive models, with capacity to consider interactions, otherwise outperform less expressive models thus, performance improvements, even when present, often cannot be attributed to consideration of cross modal feature interactions. We hence recommend that researchers in multimodal machine learning report the performance not only of unimodal baselines, but also the EMAP of their best performing model.


Tracking Control by the Newton Raphson Method with Output Prediction and Controller Speedup. This paper presents a control technique for output tracking of reference signals in continuous time dynamical systems. The technique is comprised of the following three elements (i) output prediction which has to track the reference signal, (ii) a controller based on an integrator with variable gain, and (iii) a speedup of the control action for enhancing the tracker's accuracy and, in some cases, guaranteeing stability of the closed loop system. The technique is suitable for linear and nonlinear systems, implementable by simple algorithms, can track reference points as well as time dependent reference signals, and may have large, even global domains of attraction. The derived theoretical results include convergence of the tracking controller and error analysis, and are supported by illustrative simulation and laboratory experiments.


Intelligence Primer. This primer explores the exciting subject of intelligence. Intelligence is a fundamental component of all living things, as well as Artificial Intelligence(AI). Artificial Intelligence has the potential to affect all of our lives and a new era for modern humans. This paper is an attempt to explore the ideas associated with intelligence, and by doing so understand the implications, constraints, and potentially the capabilities of future Artificial Intelligence. As an exploration, we journey into different parts of intelligence that appear essential. We hope that people find this useful in determining where Artificial Intelligence may be headed. Also, during the exploration, we hope to create new thought provoking questions. Intelligence is not a single weighable quantity but a subject that spans Biology, Physics, Philosophy, Cognitive Science, Neuroscience, Psychology, and Computer Science. Historian Yuval Noah Harari pointed out that engineers and scientists in the future will have to broaden their understandings to include disciplines such as Psychology, Philosophy, and Ethics. Fiction writers have long portrayed engineers and scientists as deficient in these areas. Today, modern society, the emergence of Artificial Intelligence, and legal requirements all act as forcing functions to push these broader subjects into the foreground. We start with an introduction to intelligence and move quickly onto more profound thoughts and ideas. We call this a Life, the Universe and Everything primer, after the famous science fiction book by Douglas Adams. Forty two may very well be the right answer, but what are the questions?


Orlicz Minkowski flows. We study the long time existence and behavior for a class of anisotropic non homogeneous Gauss curvature flows whose stationary solutions, if exist, solve the regular Orlicz Minkowski problems. As an application, we obtain old and new results for the regular even Orlicz Minkowski problems the corresponding L p version is the even L p Minkowski problem for p n 1 . Moreover, employing a parabolic approximation method, we give new proofs of some of the existence results for the general Orlicz Minkowski problems the L p versions are the even L p Minkowski problem for p 0 and the L p Minkowski problem for p 1 . In the final section, we use a curvature flow with no global term to solve a class of L p Christoffel Minkowski type problems.


Ascertaining hydrogen abstraction reaction efficiencies of halogenated organic compounds on electron ionization mass spectrometry. H abstraction reactions occurring on electron ionization mass spectrometry (EI MS) are a long standing and crucial topic in MS research. Yet some critical relevant mechanisms are controversial and ambiguous, and information about the EI induced H abstraction reactions of halogenated organic compounds (HOCs) is completely in the dark. This study provides a systematic investigation of H abstraction reactions of HOCs taking place on EI source using 13C6 hexachlorobenzene (13C6 HCB) and 13C6 hexabromobenzene (13C6 HBB) as exemplary compounds by gas chromatography high resolution mass spectrometry (GC HRMS). The H abstraction efficiencies were evaluated with the MS signal intensity ratios of ions with H abstraction relative to the corresponding original ions (without H abstraction). Ion source temperatures, EI energies and numbers of heavy isotope atoms (37Cl or 81Br) of isotopologues were investigated in terms of their effects on the H abstraction efficiencies. The H abstraction efficiencies of individual isotopologues generally decreased from the first to the last isotopologues of respective ions, and those of individual ions were different from each other, with the highest values of 0.017 and 0.444 for 13C6 HCB and 13C6 HBB, respectively. The overall H abstraction efficiencies involving all measured ions of 13C6 HCB and 13C6 HBB were 0.004 and 0.128, respectively. EI energies and emission currents could impact the H abstraction efficiencies. The H abstraction reactions were inferred to belong to ion molecule reactions. Some strategies were proposed for eliminating or alleviating the interference triggered by the H abstraction reactions on EI MS in identification of halogenated organic pollutants (HOPs). Our findings provide a better understanding for the EI induced H abstraction reactions of HOCs, and may benefit identification of HOPs in environmental analysis, especially for novel HOPs.


A noise induced transition in the Lorenz system. We consider a stochastic perturbation of the classical Lorenz system in the range of parameters for which the origin is the global attractor. We show that adding noise in the last component causes a transition from a unique to exactly two ergodic invariant measures. The bifurcation threshold depends on the strength of the noise if the noise is weak, the only invariant measure is Gaussian, while strong enough noise causes the appearance of a second ergodic invariant measure.


On projective q r divisible codes. A projective linear code over mathbb F q is called Delta divisible if all weights of its codewords are divisible by Delta . Especially, q r divisible projective linear codes, where r is some integer, arise in many applications of collections of subspaces in mathbb F q v . One example are upper bounds on the cardinality of partial spreads. Here we survey the known results on the possible lengths of projective q r divisible linear codes.


Odoni's conjecture on arboreal Galois representations is false. Suppose f in K x is a polynomial. The absolute Galois group of K acts on the preimage tree mathrm T of 0 under f . The resulting homomorphism phi f mathrm Gal K to mathrm Aut mathrm T is called the arboreal Galois representation. Odoni conjectured that for all Hilbertian fields K there exists a polynomial f for which phi f is surjective. We show that this conjecture is false.


Shuffle algebra realizations of type A super Yangians and quantum affine superalgebras for all Cartan data. We introduce super Yangians of mathfrak gl (V), mathfrak sl (V) (in the new Drinfeld realization) associated to all Dynkin diagrams of mathfrak gl (V) , where V is a finite dimensional super vector space. We show that all of them are isomorphic to the super Yangians introduced by Maxim Nazarov, by identifying them with the corresponding RTT super Yangians. However, their "positive halves" are not pairwise isomorphic, and we obtain the shuffle algebra realizations of those. We adapt the latter to the trigonometric setup by obtaining the shuffle algebra realizations of the "positive halves" of type A quantum loop superalgebras associated to arbitrary Dynkin diagrams.


Reconfigurable Cyber Physical System for Critical Infrastructure Protection in Smart Cities via Smart Video Surveillance. Automated surveillance is essential for the protection of Critical Infrastructures (CIs) in future Smart Cities. The dynamic environments and bandwidth requirements demand systems that adapt themselves to react when events of interest occur. We present a reconfigurable Cyber Physical System for the protection of CIs using distributed cloud edge smart video surveillance. Our local edge nodes perform people detection via Deep Learning. Processing is embedded in high performance SoCs (System on Chip) achieving real time performance ( approx 100 fps frames per second) which enables efficiently managing video streams of more cameras source at lower frame rate. Cloud server gathers results from nodes to carry out biometric facial identification, tracking, and perimeter monitoring. A Quality and Resource Management module monitors data bandwidth and triggers reconfiguration adapting the transmitted video resolution. This also enables a flexible use of the network by multiple cameras while maintaining the accuracy of biometric identification. A real world example shows a reduction of approx 75 bandwidth use with respect to the no reconfiguration scenario.


Real time monitoring via second harmonic interferometry of a flow gas cell for laser wakefield acceleration. The use of a gas cell as a target for laser weakfield acceleration (LWFA) offers the possibility to obtain stable and manageable laser plasma interaction process, a mandatory condition for practical applications of this emerging technique, especially in multi stage accelerators. In order to obtain full control of the gas particle number density in the interaction region, thus allowing for a long term stable and manageable LWFA, real time monitoring is necessary. In fact, the ideal gas law cannot be used to estimate the particle density inside the flow cell based on the preset backing pressure and the room temperature because the gas flow depends on several factors like tubing, regulators and valves in the gas supply system, as well as vacuum chamber volume and vacuum pump speed throughput. Here, second harmonic interferometry is applied to measure the particle number density inside a flow gas cell designed for LWFA. The results demonstrate that real time monitoring is achieved, and that using low backing pressure gas ( 1 bar) and different cell orifice diameters ( 2 mm) it is possible to finely tune the number density up to the range well suited for LWFA.


In the Eye of the Beholder Gaze and Actions in First Person Video. We address the task of jointly determining what a person is doing and where they are looking based on the analysis of video captured by a headworn camera. To facilitate our research, we first introduce the EGTEA Gaze dataset. Our dataset comes with videos, gaze tracking data, hand masks and action annotations, thereby providing the most comprehensive benchmark for First Person Vision (FPV). Moving beyond the dataset, we propose a novel deep model for joint gaze estimation and action recognition in FPV. Our method describes the participant's gaze as a probabilistic variable and models its distribution using stochastic units in a deep network. We further sample from these stochastic units, generating an attention map to guide the aggregation of visual features for action recognition. Our method is evaluated on our EGTEA Gaze dataset and achieves a performance level that exceeds the state of the art by a significant margin. More importantly, we demonstrate that our model can be applied to larger scale FPV dataset EPIC Kitchens even without using gaze, offering new state of the art results on FPV action recognition.


Learning mappings onto regularized latent spaces for biometric authentication. We propose a novel architecture for generic biometric authentication based on deep neural networks RegNet. Differently from other methods, RegNet learns a mapping of the input biometric traits onto a target distribution in a well behaved space in which users can be separated by means of simple and tunable boundaries. More specifically, authorized and unauthorized users are mapped onto two different and well behaved Gaussian distributions. The novel approach of learning the mapping instead of the boundaries further avoids the problem encountered in typical classifiers for which the learnt boundaries may be complex and difficult to analyze. RegNet achieves high performance in terms of security metrics such as Equal Error Rate (EER), False Acceptance Rate (FAR) and Genuine Acceptance Rate (GAR). The experiments we conducted on publicly available datasets of face and fingerprint confirm the effectiveness of the proposed system.


Steady and ranging sets in graph persistence. Generalised persistence functions (gp functions) are defined on ( mathbb R , le) indexed diagrams in a given category. A sufficient condition for stability is also introduced. In the category of graphs, a standard way of producing gp functions is proposed steady and ranging sets for a given feature. The example of steady and ranging hubs is studied in depth their meaning is investigated in three concrete networks.


Syntax Aware Aspect Level Sentiment Classification with Graph Attention Networks. Aspect level sentiment classification aims to identify the sentiment expressed towards an aspect given a context sentence. Previous neural network based methods largely ignore the syntax structure in one sentence. In this paper, we propose a novel target dependent graph attention network (TD GAT) for aspect level sentiment classification, which explicitly utilizes the dependency relationship among words. Using the dependency graph, it propagates sentiment features directly from the syntactic context of an aspect target. In our experiments, we show our method outperforms multiple baselines with GloVe embeddings. We also demonstrate that using BERT representations further substantially boosts the performance.


Reduced order modeling of advection dominated systems with recurrent neural networks and convolutional autoencoders. A common strategy for the dimensionality reduction of nonlinear partial differential equations relies on the use of the proper orthogonal decomposition (POD) to identify a reduced subspace and the Galerkin projection for evolving dynamics in this reduced space. However, advection dominated PDEs are represented poorly by this methodology since the process of truncation discards important interactions between higher order modes during time evolution. In this study, we demonstrate that an encoding using convolutional autoencoders (CAEs) followed by a reduced space time evolution by recurrent neural networks overcomes this limitation effectively. We demonstrate that a truncated system of only two latent space dimensions can reproduce a sharp advecting shock profile for the viscous Burgers equation with very low viscosities, and a six dimensional latent space can recreate the evolution of the inviscid shallow water equations. Additionally, the proposed framework is extended to a parametric reduced order model by directly embedding parametric information into the latent space to detect trends in system evolution. Our results show that these advection dominated systems are more amenable to low dimensional encoding and time evolution by a CAE and recurrent neural network combination than the POD Galerkin technique.


Unsupervised Text Style Transfer with Padded Masked Language Models. We propose Masker, an unsupervised text editing method for style transfer. To tackle cases when no parallel source target pairs are available, we train masked language models (MLMs) for both the source and the target domain. Then we find the text spans where the two models disagree the most in terms of likelihood. This allows us to identify the source tokens to delete to transform the source text to match the style of the target domain. The deleted tokens are replaced with the target MLM, and by using a padded MLM variant, we avoid having to predetermine the number of inserted tokens. Our experiments on sentence fusion and sentiment transfer demonstrate that Masker performs competitively in a fully unsupervised setting. Moreover, in low resource settings, it improves supervised methods' accuracy by over 10 percentage points when pre training them on silver training data generated by Masker.


Chair Segments A Compact Benchmark for the Study of Object Segmentation. Over the years, datasets and benchmarks have had an outsized influence on the design of novel algorithms. In this paper, we introduce ChairSegments, a novel and compact semi synthetic dataset for object segmentation. We also show empirical findings in transfer learning that mirror recent findings for image classification. We particularly show that models that are fine tuned from a pretrained set of weights lie in the same basin of the optimization landscape. ChairSegments consists of a diverse set of prototypical images of chairs with transparent backgrounds composited into a diverse array of backgrounds. We aim for ChairSegments to be the equivalent of the CIFAR 10 dataset but for quickly designing and iterating over novel model architectures for segmentation. On Chair Segments, a U Net model can be trained to full convergence in only thirty minutes using a single GPU. Finally, while this dataset is semi synthetic, it can be a useful proxy for real data, leading to state of the art accuracy on the Object Discovery dataset when used as a source of pretraining.


Cross Domain Transferability of Adversarial Perturbations. Adversarial examples reveal the blind spots of deep neural networks (DNNs) and represent a major concern for security critical applications. The transferability of adversarial examples makes real world attacks possible in black box settings, where the attacker is forbidden to access the internal parameters of the model. The underlying assumption in most adversary generation methods, whether learning an instance specific or an instance agnostic perturbation, is the direct or indirect reliance on the original domain specific data distribution. In this work, for the first time, we demonstrate the existence of domain invariant adversaries, thereby showing common adversarial space among different datasets and models. To this end, we propose a framework capable of launching highly transferable attacks that crafts adversarial patterns to mislead networks trained on wholly different domains. For instance, an adversarial function learned on Paintings, Cartoons or Medical images can successfully perturb ImageNet samples to fool the classifier, with success rates as high as sim 99 ( ell infty le 10 ). The core of our proposed adversarial function is a generative network that is trained using a relativistic supervisory signal that enables domain invariant perturbations. Our approach sets the new state of the art for fooling rates, both under the white box and black box scenarios. Furthermore, despite being an instance agnostic perturbation function, our attack outperforms the conventionally much stronger instance specific attack methods.


Evaluating resilience in urban transportation systems for sustainability A systems based Bayesian network model. This paper proposes a hierarchical Bayesian network model (BNM) to quantitatively evaluate the resilience of urban transportation infrastructure. Based on systemic thinkings and sustainability perspectives, we investigate the long term resilience of the road transportation systems in four cities of China from 1998 to 2017, namely Beijing, Tianjin, Shanghai, and Chongqing, respectively. The model takes into account the factors involved in stages of design, construction, operation, management, and innovation of urban road transportation, which collected from multi source data platforms. We test the model with the forward inference, sensitivity analysis, and backward inference. The result shows that the overall resilience of all four cities' transportation infrastructure is within a moderate range with values between 50 to 60 . Although they all have an ever increasing economic level, Beijing and Tianjin demonstrate a clear "V" shape in the long term transportation resilience, which indicates a strong multi dimensional, dynamic, and non linear characteristic in resilience economic coupling effect. Additionally, the results obtained from the sensitivity analysis and backward inference suggest that urban decision makers should pay more attention to the capabilities of quick rebuilding and making changes to cope with future disturbance. As an exploratory study, this study clarifies the concepts of long term multi dimensional resilience and specific hazard related resilience and provides an effective decision support tool for stakeholders when building sustainable infrastructure.


Factorized Machine Learning for Performance Modeling of Massively Parallel Heterogeneous Physical Simulations. We demonstrate neural network runtime prediction for complex, many parameter, massively parallel, heterogeneous physics simulations running on cloud based MPI clusters. Because individual simulations are so expensive, it is crucial to train the network on a limited dataset despite the potentially large input space of the physics at each point in the spatial domain. We achieve this using a two part strategy. First, we perform data driven static load balancing using regression coefficients extracted from small simulations, which both improves parallel performance and reduces the dependency of the runtime on the precise spatial layout of the heterogeneous physics. Second, we divide the execution time of these load balanced simulations into computation and communication, factoring crude asymptotic scalings out of each term, and training neural nets for the remaining factor coefficients. This strategy is implemented for Meep, a popular and complex open source electrodynamics simulation package, and are validated for heterogeneous simulations drawn from published engineering models.


A Greek language teaching platform for primary school pupils. This study aims to develop an online Greek language learning platform via a learning management system based on the WordPress platform for primary school pupils with Russian as a mother tongue. The subject was chosen with a view to aid both the communication needs of Russian native speakers in Greece, as well as their smooth integration into society. For the purpose of the current study, we investigated how Greek language is learnt in Russia, how widespread and popular it is, whether it is supported by the Russian educational system, as well as whether Greek language distance learning could be achieved. Moreover, LMS (Learning management system) environments were investigated as well, aiming at selecting the most student teacher friendly one. Taking into account that the platform is addressed to children, a presentable and properly developed material was designed, thus making the learning of each module more interesting and comprehensible throughout its short duration. With GrfKids platform speakers of other languages have the opportunity to learn Greek in an interactive asynchronous teaching environment with an automatic assessment. Moreover,GrfKids can be easily and immediately expanded both to pupils' linguistic, as well as age range. GrfKids provides Greek language courses to children with Russian as a mother tongue with interactive modules in which the learners can adapt the learning time by themselves. It is easy to use, functional and easily adapted to the ages it is addressed to.


Effect of Word Embedding Models on Hate and Offensive Speech Detection. Deep neural networks have been adopted successfully in hate speech detection problems. Nevertheless, the effect of the word embedding models on the neural network's performance has not been appropriately examined in the literature. In our study, through different detection tasks, 2 class, 3 class, and 6 class classification, we investigate the impact of both word embedding models and neural network architectures on the predictive accuracy. Our focus is on the Arabic language. We first train several word embedding models on a large scale unlabelled Arabic text corpus. Next, based on a dataset of Arabic hate and offensive speech, for each detection task, we train several neural network classifiers using the pre trained word embedding models. This task yields a large number of various learned models, which allows conducting an exhaustive comparison. The empirical analysis demonstrates, on the one hand, the superiority of the skip gram models and, on the other hand, the superiority of the CNN network across the three detection tasks.


Coneat Injective Modules. A module is called coneat injective if it is injective with respect to all coneat exact sequences. The class of such modues is enveloping and falls properly between injectives and pure injectives. Generalizations of coneat injectivity, like relative coneat injectivity and full invariance of a module in its coneat injective envelope, are studied. Using properties of such classes of modules, we characterize certain types of rings like von Neumann regular and right SF rings. For instance, R is a right SF ring if and only if every coneat injective left R module is injective.


Applying allometric scaling to predator prey systems. In population dynamics, mathematical models often contain too many parameters to be easily testable. A way to reliably estimate parameters for a broad range of systems would help us obtain clearer predictions from theory. In this paper, we examine how the allometric scaling of a number of biological quantities with animal mass may be useful to parameterise population dynamical models. Using this allometric scaling, we make predictions about the ratio of prey to predators in real ecosystems, and we attempt to estimate the length of animal population cycles as a function of mass. Our analytical and numerical results turn out to compare reasonably to data from a number of ecosystems. This paves the way for a wider usage of allometric scaling to simplify mathematical models in population dynamics and make testable predictions.


Multi hop Reading Comprehension through Question Decomposition and Rescoring. Multi hop Reading Comprehension (RC) requires reasoning and aggregation across several paragraphs. We propose a system for multi hop RC that decomposes a compositional question into simpler sub questions that can be answered by off the shelf single hop RC models. Since annotations for such decomposition are expensive, we recast sub question generation as a span prediction problem and show that our method, trained using only 400 labeled examples, generates sub questions that are as effective as human authored sub questions. We also introduce a new global rescoring approach that considers each decomposition (i.e. the sub questions and their answers) to select the best final answer, greatly improving overall performance. Our experiments on HotpotQA show that this approach achieves the state of the art results, while providing explainable evidence for its decision making in the form of sub questions.


Attenuation of waveguide modes in narrow metal capillaries. The channeling of laser pulses in waveguides filled with a rare plasma is one of promising techniques of laser wakefield acceleration. A solid state capillary can precisely guide tightly focused pulses. Regardless of the material of the capillary, its walls behave like a plasma under the influence of a high intensity laser pulse. Therefore, the waveguide modes in the capillaries have a universal structure, which depends only on the shape of the cross section. Due to the large ratio of the capillary radius to the laser wavelength, the modes in circular capillaries differ from the classical TE and TM modes. The attenuation length for such modes is two orders of magnitude longer than that obtained from the classical formula, and the incident pulse of the proper radius can transfer up to 98 of its initial energy to the fundamental mode. However, finding eigenmodes in capillaries of arbitrary cross section is a complex mathematical problem that remains to be solved.


Band structures and direct to indirect bandgap transitions in BAlN and BGaN alloys a first principle study. In this work, the energy band structures of BGaN and BAlN alloys are systematically studied through first principles calculation using HSE hybrid density functional theory by MedeA VASP. Direct indirect bandgap transition of BGaN alloys at B content around 44 and that of BAlN alloys at B content about 24 have been identified. The variation of electron and hole effective masses of both materials at different B compositions have also been demonstrated. A large change in hole effective masses of BGaN and BAlN alloys from B 0 to 25 has been observed. Finally, a picture of energy bandgap versus lattice constant of III nitride family with boron is shown.


SPS Beam Dump Facility Comprehensive Design Study. The proposed Beam Dump Facility (BDF) is foreseen to be located at the North Area of the SPS. It is designed to be able to serve both beam dump like and fixed target experiments. The SPS and the new facility would offer unique possibilities to enter a new era of exploration at the intensity frontier. Possible options include searches for very weakly interacting particles predicted by Hidden Sector models, and flavour physics measurements. In the first instance, exploitation of the facility, in beam dump mode, is envisaged to be for the Search for Hidden Particle (SHiP) experiment. Following the first evaluation of the BDF in 2014 2016, CERN management launched a Comprehensive Design Study over three years for the facility. The BDF study team has since executed an in depth feasibility study of proton delivery to target, the target complex, and the underground experimental area, including prototyping of key sub systems and evaluations of the radiological aspects and safety. A first iteration of detailed integration and civil engineering studies have been performed in order to produce a realistic schedule and cost. This document gives a detailed overview of the proposed facility together with the results of the studies, and draws up a possible road map for a three year Technical Design Report phase, followed by a 5 to 6 year construction phase.


On Positivity and Minimality for Second Order Holonomic Sequences. An infinite sequence langle u n rangle n in mathbb N of real numbers is holonomic (also known as P recursive or P finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each u n geq 0 , and minimal if, given any other linearly independent sequence langle v n rangle n in mathbb N satisfying the same recurrence relation, the ratio u n v n converges to 0 . In this paper, we focus on holonomic sequences satisfying a second order recurrence g 3(n)u n g 2(n)u n 1 g 1(n)u n 2 , where each coefficient g 3, g 2,g 1 in mathbb Q n is a polynomial of degree at most 1 . We establish two main results. First, we show that deciding positivity for such sequences reduces to deciding minimality. And second, we prove that deciding minimality is equivalent to determining whether certain numerical expressions (known as periods, exponential periods, and period like integrals) are equal to zero. Periods and related expressions are classical objects of study in algebraic geometry and number theory, and several established conjectures (notably those of Kontsevich and Zagier) imply that they have a decidable equality problem, which in turn would entail decidability of Positivity and Minimality for a large class of second order holonomic sequences.


Transverse optical binding for a dual dipolar dielectric nanoparticle dimer. The physical origins of the transverse optical binding force and torque beyond the Rayleigh approximation have not been clearly expressed to date. Here, we present analytical expressions of the force and torque for a dual dipolar dielectric dimer illuminated by a plane wave propagating perpendicularly to the dimer axis. Using this analytical model, we explore the roles of the hybridized electric dipolar, magnetic dipolar, and electric magnetic dipolar coupling interactions in the total force and torque on the particles. We find significant departures from the predictions of the Rayleigh approximation, particularly for high refractive index particles, where the force is dominated by the magnetic interaction. This results in an enhancement of the dimer stability by one to four orders of magnitude compared to the predictions of the Rayleigh approximation. For the case of torque, this is dominated by the coupling interaction and increases by an order of magnitude. Our results will help to guide future experimental work in optical binding of high refractive index dielectric particles.


A quick how to user guide to debunking pseudoscientific claims. Have you ever wondered why we have never heard of psychics and palm readers winning millions of dollars in state or local lotteries or becoming Wall Street wolfs? Neither have I. Yet we are constantly bombarded by tabloid news on how vaccines cause autism (hint they do not), or some unknown firm building a mega drive that defies the laws of physics (nope, that drive does not work either). And the list continues on and on and on. Sometimes it looks quite legit as, say, various natural vitamin supplements that supposedly increase something that cannot be increased, or enhance something else that is most likely impossible to enhance by simply swallowing a few pills. Or constantly evolving diets that sure work giving a false relieve to those who really need to stop eating too much and actually pay frequent visits to a local gym. It is however understandable that most of us fall for such products and news just because we cannot be experts in everything, and we tend to trust various mass media sources without even a glimpse of skepticism. So how can we distinguish between baloney statements and real exciting scientific discoveries and breakthroughs? In what follows I will try to do my best to provide a simple how to user guide to debunking pseudoscientific claims.


Stark Heegner cycles attached to Bianchi modular forms. Let f be a Bianchi modular form, that is, an automorphic form for GL(2) over an imaginary quadratic field F, and let P be a prime of F at which f is new. Let K be a quadratic extension of F, and L(f K,s) the L function of the base change of f to K. Under certain hypotheses on f and K, the functional equation of L(f K,s) ensures that it vanishes at the central point. The Bloch Kato conjecture predicts that this should force the existence of non trivial classes in an appropriate global Selmer group attached to f and K. In this paper, we use the theory of double integrals developed by Barrera Salazar and the second author to construct certain P adic Abel Jacobi maps, which we use to propose a construction of such classes via "Stark Heegner cycles". This builds on ideas of Darmon and in particular generalises an approach of Rotger and Seveso in the setting of classical modular forms.


Learning from Suspected Target Bootstrapping Performance for Breast Cancer Detection in Mammography. Deep learning object detection algorithm has been widely used in medical image analysis. Currently all the object detection tasks are based on the data annotated with object classes and their bounding boxes. On the other hand, medical images such as mammography usually contain normal regions or objects that are similar to the lesion region, and may be misclassified in the testing stage if they are not taken care of. In this paper, we address such problem by introducing a novel top likelihood loss together with a new sampling procedure to select and train the suspected target regions, as well as proposing a similarity loss to further identify suspected targets from targets. Mean average precision (mAP) according to the predicted targets and specificity, sensitivity, accuracy, AUC values according to classification of patients are adopted for performance comparisons. We firstly test our proposed method on a private dense mammogram dataset. Results show that our proposed method greatly reduce the false positive rate and the specificity is increased by 0.25 on detecting mass type cancer. It is worth mention that dense breast typically has a higher risk for developing breast cancers and also are harder for cancer detection in diagnosis, and our method outperforms a reported result from performance of radiologists. Our method is also validated on the public Digital Database for Screening Mammography (DDSM) dataset, brings significant improvement on mass type cancer detection and outperforms the most state of the art work.


Polynomial Kernels for Paw free Edge Modification Problems. Let H be a fixed graph. Given a graph G and an integer k , the H free edge modification problem asks whether it is possible to modify at most k edges in G to make it H free. Sandeep and Sivadasan (IPEC 2015) asks whether the paw free completion problem and the paw free edge deletion problem admit polynomial kernels. We answer both questions affirmatively by presenting, respectively, O(k) vertex and O(k 4) vertex kernels for them. This is part of an ongoing program that aims at understanding compressibility of H free edge modification problems.


Rapid noise prediction models for serrated leading and trailing edges. Leading and trailing edge serrations have been widely used to reduce the leading and trailing edge noise in applications such as contra rotating fans and large wind turbines. Recent studies show that these two noise problems can be modelled analytically using the Wiener Hopf method. However, the resulting models involve infinite interval integrals that cannot be evaluated analytically, and consequently implementing them poses practical difficulty. This paper develops easily implementable noise prediction models for flat plates with serrated leading and trailing edges, respectively. By exploiting the fact that high order modes are cut off and adjacent modes do not interfere in the far field except at sufficiently high frequencies, an infinite interval integral involving two infinite sums is approximated by a single straightforward sum. Numerical comparison shows that the resulting models serve as excellent approximations to the original models. Good agreement is also achieved when the leading edge model predictions are compared with experimental results for sawtooth serrations of various root to tip amplitudes. Importantly, the models developed in this paper can be evaluated robustly in a very efficient manner. For example, a typical far field noise spectrum can be calculated within milliseconds for both the trailing and leading edge noise models on a standard desktop computer. Due to their efficiency and ease of numerical implementation, these models are expected to be of particular importance in applications where a numerical optimization is likely to be needed.


Enhanced energy harvesting from shadow effect mechanism and a new device geometry. Energy harvesting from shadow effect is the generation of electrical power from a Schottky junction when a part of it is kept in shadow and the remaining under illumination. It has been recently invented in Au n Si junctions, where modulation of work function of the Au top electrode under contrasting illumination has been invoked to explain the effect. In this paper, a different physical mechanism for energy harvesting from shadow effect in a Schottky junction is proposed that does not assume change in work function of the top electrode under illumination. The device, termed shadow effect energy generator (SEG), is modelled as two parallel Schottky junction solar cells, one at the shadowed and the other at the illuminated part, connected with each other in a closed loop circuit through the Si substrate and the top electrode. To test the proposed mechanism, ITO n Si junction based SEGs have been fabricated. The values of open circuit voltage in the SEGs have been found to be matching with the difference of photovoltages of the two cells corrected for the potential drop across the Si substrate, that validates the proposed mechanism. To further corroborate the mechanism, the conventional SEG geometry has been modified by applying a continuous ohmic coating at the back of the Si substrates that bypasses the resistance of the Si substrate for current flow and results in higher open circuit voltage and short circuit current. Moreover, ITO n Si based SEGs have been found to produce higher output power density compared to that reported in Au n Si devices in both the conventional and the new geometry. Although the closed loop present in the equivalent circuit of the SEG devices lead to wastage of harvested energy, the ITO n Si SEG devices can nevertheless be used as self powered sensor for light, object and movement detection as well as for producing electricity from contrasting illumination.


Consideration for effectively handling parallel workloads on public cloud system. We retrieved and analyzed parallel storage workloads of the FUJITSU K5 cloud service to clarify how to build cost effective hybrid storage systems. A hybrid storage system consists of fast but low capacity tier (first tier) and slow but high capacity tier (second tier). And, it typically consists of either SSDs and HDDs or NVMs and SSDs. As a result, we found that 1) regions for first tier should be assigned only if a workload includes large number of IO accesses for a whole day, 2) the regions that include a large number of IO accesses should be dynamically chosen and moved from second tier to first tier for a short interval, and 3) if a cache hit ratio is regularly low, use of the cache for the workload should be cancelled, and the whole workload region should be assigned to the region for first tier. These workloads already have been released from the SNIA web site.


Relating Apartness and Bisimulation. A bisimulation for a coalgebra of a functor on the category of sets can be described via a coalgebra in the category of relations, of a lifted functor. A final coalgebra then gives rise to the coinduction principle, which states that two bisimilar elements are equal. For polynomial functors, this leads to well known descriptions. In the present paper we look at the dual notion of "apartness". Intuitively, two elements are apart if there is a positive way to distinguish them. Phrased differently two elements are apart if and only if they are not bisimilar. Since apartness is an inductive notion, described by a least fixed point, we can give a proof system, to derive that two elements are apart. This proof system has derivation rules and two elements are apart if and only if there is a finite derivation (using the rules) of this fact. We study apartness versus bisimulation in two separate ways. First, for weak forms of bisimulation on labelled transition systems, where silent (tau) steps are included, we define an apartness notion that corresponds to weak bisimulation and another apartness that corresponds to branching bisimulation. The rules for apartness can be used to show that two states of a labelled transition system are not branching bismilar. To support the apartness view on labelled transition systems, we cast a number of well known properties of branching bisimulation in terms of branching apartness and prove them. Next, we also study the more general categorical situation and show that indeed, apartness is the dual of bisimilarity in a precise categorical sense apartness is an initial algebra and gives rise to an induction principle. In this analogy, we include the powerset functor, which gives a semantics to non deterministic choice in process theory.


Development of Open Informal Dataset Affecting Autonomous Driving. This document is a document that has written procedures and methods for collecting objects and unstructured dynamic data on the road for the development of object recognition technology for self driving cars, and outlines the methods of collecting data, annotation data, object classifier criteria, and data processing methods. On road object and unstructured dynamic data were collected in various environments, such as weather, time and traffic conditions, and additional reception calls for police and safety personnel were collected. Finally, 100,000 images of various objects existing on pedestrians and roads, 200,000 images of police and traffic safety personnel, 5,000 images of police and traffic safety personnel, and data sets consisting of 5,000 image data were collected and built.


Attentive One Dimensional Heatmap Regression for Facial Landmark Detection and Tracking. Although heatmap regression is considered a state of the art method to locate facial landmarks, it suffers from huge spatial complexity and is prone to quantization error. To address this, we propose a novel attentive one dimensional heatmap regression method for facial landmark localization. First, we predict two groups of 1D heatmaps to represent the marginal distributions of the x and y coordinates. These 1D heatmaps reduce spatial complexity significantly compared to current heatmap regression methods, which use 2D heatmaps to represent the joint distributions of x and y coordinates. With much lower spatial complexity, the proposed method can output high resolution 1D heatmaps despite limited GPU memory, significantly alleviating the quantization error. Second, a co attention mechanism is adopted to model the inherent spatial patterns existing in x and y coordinates, and therefore the joint distributions on the x and y axes are also captured. Third, based on the 1D heatmap structures, we propose a facial landmark detector capturing spatial patterns for landmark detection on an image and a tracker further capturing temporal patterns with a temporal refinement mechanism for landmark tracking. Experimental results on four benchmark databases demonstrate the superiority of our method.


Lanczos like algorithm for the time ordered exponential The ast inverse problem. The time ordered exponential of a time dependent matrix mathsf A (t) is defined as the function of mathsf A (t) that solves the first order system of coupled linear differential equations with non constant coefficients encoded in mathsf A (t) . The authors recently proposed the first Lanczos like algorithm capable of evaluating this function. This algorithm relies on inverses of time dependent functions with respect to a non commutative convolution like product, denoted ast . Yet, the existence of such inverses, crucial to avoid algorithmic breakdowns, still needed to be proved. Here we constructively prove that ast inverses exist for all non identically null, smooth, separable functions of two variables. As a corollary, we partially solve the Green's function inverse problem which, given a distribution G , asks for the differential operator whose fundamental solution is G . Our results are abundantly illustrated by examples.


An infinite family of m ovoids of Q(4,q) . In this paper, we construct an infinite family of frac q 1 2 ovoids of the generalized quadrangle Q(4,q) , for q equiv 1 ( text mod 4) and q 5 . Together with the examples given by Bamberg et al. and constructions provided by Feng et al., this establishes the existence of frac q 1 2 ovoids in Q(4,q) for each odd prime power q .


Computing Dixmier Invariants and Some Geometric Configurations of Quartic Curves with 2 Involutions. In this paper we consider plane quartics with to involutions. We compute the Dixmier invariants, the bitangents and the Matrix representation problem of these curves, showing that they have symbolic solutions for the last two questions.


DAFI An Open Source Framework for Ensemble Based Data Assimilation and Field Inversion. In many areas of science and engineering, it is a common task to infer physical fields from sparse observations. This paper presents the DAFI code intended as a flexible framework for two broad classes of such inverse problems data assimilation and field inversion. DAFI generalizes these diverse problems into a general formulation and solves it with ensemble Kalman filters, a family of ensemble based, derivative free, Bayesian methods. This Bayesian approach has the added advantage of providing built in uncertainty quantification. Moreover, the code provides tools for performing common tasks related to random fields, as well as I O utilities for integration with the open source finite volume tool OpenFOAM. The code capabilities are showcased through several test cases including state and parameter estimation for the Lorenz dynamic system, field inversion for the diffusion equations, and uncertainty quantification. The object oriented nature of the code allows for easily interchanging different solution methods and different physics problems. It provides a simple interface for the users to supply their domain specific physics models. Finally, the code can be used as a test bed for new ensemble based data assimilation and field inversion methods.


Computing Maximum Matchings in Temporal Graphs. Temporal graphs are graphs whose topology is subject to discrete changes over time. Given a static underlying graph G , a temporal graph is represented by assigning a set of integer time labels to every edge e of G , indicating the discrete time steps at which e is active. We introduce and study the complexity of a natural temporal extension of the classical graph problem Maximum Matching, taking into account the dynamic nature of temporal graphs. In our problem, Maximum Temporal Matching, we are looking for the largest possible number of time labeled edges (simply time edges) (e,t) such that no vertex is matched more than once within any time window of Delta consecutive time slots, where Delta in mathbb N is given. The requirement that a vertex cannot be matched twice in any Delta window models some necessary "recovery" period that needs to pass for an entity (vertex) after being paired up for some activity with another entity. We prove strong computational hardness results for Maximum Temporal Matching, even for elementary cases. To cope with this computational hardness, we mainly focus on fixed parameter algorithms with respect to natural parameters, as well as on polynomial time approximation algorithms.


On the Efficiency of the Iterative Techniques for Solving Incompressible Navier Stokes Equations. It is well known that the choice of the iterative method is crucial in determining the speed of the converged solution. This article presents a detailed comparison between several iterative techniques for solving incmopressible Navier Stokes equations. The numerical approaches implemented in the solver include Jacobi, Gauss Siedel, Successive Over Relaxation, Alternating Direct Implicit and Multigrid methods. The results reveal that multigrid method is the most powerful iterative method among all other methods investigated in terms of the computational time and the number of iterations.


Spending Money Wisely Online Electronic Coupon Allocation based on Real Time User Intent Detection. Online electronic coupon (e coupon) is becoming a primary tool for e commerce platforms to attract users to place orders. E coupons are the digital equivalent of traditional paper coupons which provide customers with discounts or gifts. One of the fundamental problems related is how to deliver e coupons with minimal cost while users' willingness to place an order is maximized. We call this problem the coupon allocation problem. This is a non trivial problem since the number of regular users on a mature e platform often reaches hundreds of millions and the types of e coupons to be allocated are often multiple. The policy space is extremely large and the online allocation has to satisfy a budget constraint. Besides, one can never observe the responses of one user under different policies which increases the uncertainty of the policy making process. Previous work fails to deal with these challenges. In this paper, we decompose the coupon allocation task into two subtasks the user intent detection task and the allocation task. Accordingly, we propose a two stage solution at the first stage (detection stage), we put forward a novel Instantaneous Intent Detection Network (IIDN) which takes the user coupon features as input and predicts user real time intents at the second stage (allocation stage), we model the allocation problem as a Multiple Choice Knapsack Problem (MCKP) and provide a computational efficient allocation method using the intents predicted at the detection stage. We conduct extensive online and offline experiments and the results show the superiority of our proposed framework, which has brought great profits to the platform and continues to function online.


Polynomials that vanish to high order on most of the hypercube. Motivated by higher vanishing multiplicity generalizations of Alon's Combinatorial Nullstellensatz and its applications, we study the following problem for fixed k geq 1 and n large with respect to k , what is the minimum possible degree of a polynomial P in mathbb R x 1, dots,x n with P(0, dots,0) neq 0 such that P has zeroes of multiplicity at least k at all points in 0,1 n setminus (0, dots,0) ? For k 1 , a classical theorem of Alon and F "uredi states that the minimum possible degree of such a polynomial equals n . In this paper, we solve the problem for all k geq 2 , proving that the answer is n 2k 3 . As an application, we improve a result of Clifton and Huang on configurations of hyperplanes in mathbb R n such that each point in 0,1 n setminus (0, dots,0) is covered by at least k hyperplanes, but the point (0, dots,0) is uncovered. Surprisingly, the proof of our result involves Catalan numbers and arguments from enumerative combinatorics.


On properties of the Taylor series coefficients of the Riemann xi function at s frac 1 2 . We prove some properties about the non zero Taylor series coefficients a k of the Riemann xi function xi(s) at s frac 1 2 . In particular, we present integral formulas that evaluate a k whose integrands involve a Gaussian function and a function we call L(x k) . We use these formulas to show that a k is positive. We also define a sequence of polynomials p(x n) which arise naturally from the integral formulas and use them to prove that the coefficients a k are decreasing.


All classifiable Kirchberg algebras are C ast algebras of ample groupoids. In this note we show that every Kirchberg algebra in the UCT class is the C ast algebra of a Hausdorff, ample, amenable and locally contracting groupoid. The non unital case follows from Spielberg's graph based models for Kirchberg algebras. Our contribution is the unital case and our proof builds on Spielberg's construction.


Random inscribed polytopes in projective geometries. We establish central limit theorems for natural volumes of random inscribed polytopes in projective Riemannian or Finsler geometries. In addition, normal approximation of dual volumes and the mean width of random polyhedral sets are obtained. We deduce these results by proving a general central limit theorem for the weighted volume of the convex hull of random points chosen from the boundary of a smooth convex body according to a positive and continuous density in Euclidean space. In the background are geometric estimates for weighted surface bodies and Berry Esseen bounds for functionals of independent random variables.


Beyond the Nav Graph Vision and Language Navigation in Continuous Environments. We develop a language guided navigation task set in a continuous 3D environment where agents must execute low level actions to follow natural language navigation directions. By being situated in continuous environments, this setting lifts a number of assumptions implicit in prior work that represents environments as a sparse graph of panoramas with edges corresponding to navigability. Specifically, our setting drops the presumptions of known environment topologies, short range oracle navigation, and perfect agent localization. To contextualize this new task, we develop models that mirror many of the advances made in prior settings as well as single modality baselines. While some of these techniques transfer, we find significantly lower absolute performance in the continuous setting suggesting that performance in prior navigation graph' settings may be inflated by the strong implicit assumptions.


FastFormers Highly Efficient Transformer Models for Natural Language Understanding. Transformer based models are the state of the art for Natural Language Understanding (NLU) applications. Models are getting bigger and better on various tasks. However, Transformer models remain computationally challenging since they are not efficient at inference time compared to traditional approaches. In this paper, we present FastFormers, a set of recipes to achieve efficient inference time performance for Transformer based models on various NLU tasks. We show how carefully utilizing knowledge distillation, structured pruning and numerical optimization can lead to drastic improvements on inference efficiency. We provide effective recipes that can guide practitioners to choose the best settings for various NLU tasks and pretrained models. Applying the proposed recipes to the SuperGLUE benchmark, we achieve from 9.8x up to 233.9x speed up compared to out of the box models on CPU. On GPU, we also achieve up to 12.4x speed up with the presented methods. We show that FastFormers can drastically reduce cost of serving 100 million requests from 4,223 USD to just 18 USD on an Azure F16s v2 instance. This translates to a sustainable runtime by reducing energy consumption 6.9x 125.8x according to the metrics used in the SustaiNLP 2020 shared task.


Torsion theory of coherent functors. Let C be an additive category with cokernels and let Mod( C ) be the category of additive functors from C op to the category Ab of abelian groups. Let mod( C ) be the full subcategory of Mod( C ) consisting of coherent functors. In this paper, we first study some basic properties of pseudo kernel of morphisms in C . When C has pseudo kernels, mod( C ) is abelian and then, in this case, we study radical functors, half exact functors, left exact functors and injective objects in mod( C ). At last, we extend the results for Mod( C ).


A Generalization of Jacobsthal and Jacobsthal Lucas numbers. In this paper, we study a generalization of Jacobsthal and Jacobsthal Lucas numbers, we find their generating function binet formulas, related matrix representation and many other properties


Towards and Ethical Framework in the Complex Digital Era. Since modernity, ethic has been progressively fragmented into specific communities of practice. The digital revolution enabled by AI and Data is bringing ethical wicked problems in the crossroads of technology and behavior. However, the need of a comprehensive and constructive ethical framework is emerging as digital platforms connect us globally. The unequal structure of the global system makes that dynamic changes and systemic problems impact more on those that are most vulnerable. Ethical frameworks based only on the individual level are not longer sufficient. A new ethical vision must comprise the understanding of the scales and complex interconnections of social systems. Many of these systems are internally fragile and very sensitive to external factors and threats, which turns into unethical situations that require systemic solutions. The high scale nature of digital technology that expands globally has also an impact at the individual level having the risk to make humans beings more homogeneous, predictable and ultimately controllable. To preserve the core of humanity ethic must take a stand to preserve and keep promoting individual rights and uniqueness and cultural heterogeneity tackling the negative trends and impact of digitalization. Only combining human centered and collectiveness oriented digital development it will be possible to construct new social models and human machine interactions that are ethical. This vision requires science to enhance ethical frameworks and principles with the actionable insights of relationships and properties of the social systems that may not be evident and need to be quantified and understood to be solved. Artificial Intelligence is both a risk and and opportunity for an ethical development, thus we need a conceptual construct that drives towards a better digitalizated world.


Analysis of Word Embeddings Using Fuzzy Clustering. In data dominated systems and applications, a concept of representing words in a numerical format has gained a lot of attention. There are a few approaches used to generate such a representation. An interesting issue that should be considered is the ability of such representations called embeddings to imitate human based semantic similarity between words. In this study, we perform a fuzzy based analysis of vector representations of words, i.e., word embeddings. We use two popular fuzzy clustering algorithms on count based word embeddings, known as GloVe, of different dimensionality. Words from WordSim 353, called the gold standard, are represented as vectors and clustered. The results indicate that fuzzy clustering algorithms are very sensitive to high dimensional data, and parameter tuning can dramatically change their performance. We show that by adjusting the value of the fuzzifier parameter, fuzzy clustering can be successfully applied to vectors of high up to one hundred dimensions. Additionally, we illustrate that fuzzy clustering allows to provide interesting results regarding membership of words to different clusters.


Static Analyzers and Potential Future Research Directions for Scala An Overview. Static analyzers are tool sets which are proving to be indispensable to modern programmers. These enable the programmers to detect possible errors and security defects present in the current code base within the implementation phase of the development cycle, rather than relying on a standalone testing phase. Static analyzers typically highlight possible defects within the 'static' source code and thus does not require the source code to be compiled or executed. The Scala programming language has been gaining wider adoption across various industries in recent years. With such a wide adoption of tools of this nature, this paper presents an overview on the static analysis tools available, both commercial and open source, for the Scala programming language. This paper discusses in detail about the types of defects that each of these tools can detect, limitations of these tools and also provide potential research direction that can improve the current state of static analyzers for the Scala programming language.


Learning to Drop Robust Graph Neural Network via Topological Denoising. Graph Neural Networks (GNNs) have shown to be powerful tools for graph analytics. The key idea is to recursively propagate and aggregate information along edges of the given graph. Despite their success, however, the existing GNNs are usually sensitive to the quality of the input graph. Real world graphs are often noisy and contain task irrelevant edges, which may lead to suboptimal generalization performance in the learned GNN models. In this paper, we propose PTDNet, a parameterized topological denoising network, to improve the robustness and generalization performance of GNNs by learning to drop task irrelevant edges. PTDNet prunes task irrelevant edges by penalizing the number of edges in the sparsified graph with parameterized networks. To take into consideration of the topology of the entire graph, the nuclear norm regularization is applied to impose the low rank constraint on the resulting sparsified graph for better generalization. PTDNet can be used as a key component in GNN models to improve their performances on various tasks, such as node classification and link prediction. Experimental studies on both synthetic and benchmark datasets show that PTDNet can improve the performance of GNNs significantly and the performance gain becomes larger for more noisy datasets.


The Properties of Average Gradient in Local Region. This paper studies the average gradient over the local region of a function and constructs the homogenization function of a function. It is found that there are some good properties about the local extreme points and the global extreme points of the function. By using the gradient algorithm, it is more effective to use the homogenization function to find the extreme values of the function. This method implies a method of sifting out the local extreme points of a function.


Descriptive complexity of real computation and probabilistic independence logic. We introduce a novel variant of BSS machines called Separate Branching BSS machines (S BSS in short) and develop a Fagin type logical characterisation for languages decidable in non deterministic polynomial time by S BSS machines. We show that NP on S BSS machines is strictly included in NP on BSS machines and that every NP language on S BSS machines is a countable union of closed sets in the usual topology of R n. Moreover, we establish that on Boolean inputs NP on S BSS machines without real constants characterises a natural fragment of the complexity class existsR (a class of problems polynomial time reducible to the true existential theory of the reals) and hence lies between NP and PSPACE. Finally we apply our results to determine the data complexity of probabilistic independence logic.


Generating relevant scenarios for intelligent transportation service. This paper addresses risk assessment issues while conceiving complex systems. Indeed, project stakeholders have to share the same problems understanding allowing to undertake rational and optimal decisions. We propose an approach based on Natural Language Processing (NLP) techniques to improve systems quality requirements such as consistency and completeness. We assess the relevancy of our approaches through experimentations and highlighted feedbacks from project stakeholders and players.


One Shot Texture Retrieval with Global Context Metric. In this paper, we tackle one shot texture retrieval given an example of a new reference texture, detect and segment all the pixels of the same texture category within an arbitrary image. To address this problem, we present an OS TR network to encode both reference and query image, leading to achieve texture segmentation towards the reference category. Unlike the existing texture encoding methods that integrate CNN with orderless pooling, we propose a directionality aware module to capture the texture variations at each direction, resulting in spatially invariant representation. To segment new categories given only few examples, we incorporate a self gating mechanism into relation network to exploit global context information for adjusting per channel modulation weights of local relation features. Extensive experiments on benchmark texture datasets and real scenarios demonstrate the above par segmentation performance and robust generalization across domains of our proposed method.


Sub frame Appearance and 6D Pose Estimation of Fast Moving Objects. We propose a novel method that tracks fast moving objects, mainly non uniform spherical, in full 6 degrees of freedom, estimating simultaneously their 3D motion trajectory, 3D pose and object appearance changes with a time step that is a fraction of the video frame exposure time. The sub frame object localization and appearance estimation allows realistic temporal super resolution and precise shape estimation. The method, called TbD 3D (Tracking by Deblatting in 3D) relies on a novel reconstruction algorithm which solves a piece wise deblurring and matting problem. The 3D rotation is estimated by minimizing the reprojection error. As a second contribution, we present a new challenging dataset with fast moving objects that change their appearance and distance to the camera. High speed camera recordings with zero lag between frame exposures were used to generate videos with different frame rates annotated with ground truth trajectory and pose.


Interactivity and Transparency in Medical Risk Assessment with Supersparse Linear Integer Models. Scoring systems are linear classification models that only require users to add or subtract a few small numbers in order to make a prediction. They are used for example by clinicians to assess the risk of medical conditions. This work focuses on our approach to implement an intuitive user interface to allow a clinician to generate such scoring systems interactively, based on the RiskSLIM machine learning library. We describe the technical architecture which allows a medical professional who is not specialised in developing and applying machine learning algorithms to create competitive transparent supersparse linear integer models in an interactive way. We demonstrate our prototype machine learning system in the nephrology domain, where doctors can interactively sub select datasets to compute models, explore scoring tables that correspond to the learned models, and check the quality of the transparent solutions from a medical perspective.


Unsupervised Paraphrasing with Pretrained Language Models. Paraphrase generation has benefited extensively from recent progress in the designing of training objectives and model architectures. However, previous explorations have largely focused on supervised methods, which require a large amount of labeled data that is costly to collect. To address this drawback, we adopt a transfer learning approach and propose a training pipeline that enables pre trained language models to generate high quality paraphrases in an unsupervised setting. Our recipe consists of task adaptation, self supervision, and a novel decoding algorithm named Dynamic Blocking (DB). To enforce a surface form dissimilar from the input, whenever the language model emits a token contained in the source sequence, DB prevents the model from outputting the subsequent source token for the next generation step. We show with automatic and human evaluations that our approach achieves state of the art performance on both the Quora Question Pair (QQP) and the ParaNMT datasets and is robust to domain shift between the two datasets of distinct distributions. We also demonstrate that our model transfers to paraphrasing in other languages without any additional finetuning.


Secure Steganography Technique Based on Bitplane Indexes. This paper is concerned with secret hiding in multiple image bitplanes for increased security without undermining capacity. A secure steganographic algorithm based on bitplanes index manipulation is proposed. The index manipulation is confined to the first two Least Significant Bits of the cover image. The proposed algorithm has the property of un detectability with respect to stego quality and payload capacity. Experimental results demonstrate that the proposed technique is secure against statistical attacks such as pair of value (PoV), Weighted Stego steganalyser (WS), and Multi Bitplane Weighted Stego steganalyser (MLSB WS).


A Physically Universal Turing Machine. We construct a two dimensional Turing machine that is physically universal in both the moving tape and moving head model. In particular, it is mixing of all finite orders in both models. We also provide a variant that is physically universal in the moving tape model, but not in the moving head model.


Dynamical Sampling a view from control theory. In this contribution we establish a dictionary between terms in two different areas in order to show that many of the topics studied are common ones just with a different terminology. We further analyze the relations between the discrete time and continuous time versions of the problem, using results from both of these fields. We will also differentiate between a discretization of the continuous time dynamical system and a discrete time dynamical system itself.


Reinhardt cardinals and iterates of V. Assume ZF( j ) and there is a Reinhardt cardinal, as witnessed by the elementary embedding j V to V . We investigate the linear iterates (N alpha ,j alpha ) of (V,j) , and their relationship to (V,j) , forcing and definability, including that for each infinite ordinal alpha , every set is set generic over N alpha , but N alpha is not a set ground. Assume second order ZF. We prove that the existence of super Reinhardt cardinals and total Reinhardt cardinals is not affected by small forcing. And if V G has a set of ordinals which is not in V , then V G has no elementary embedding j V G to M subseteq V (even allowing M to be illfounded).


(Non) neutrality of science and algorithms Machine Learning between fundamental physics and society. The impact of Machine Learning (ML) algorithms in the age of big data and platform capitalism has not spared scientific research in academia. In this work, we will analyse the use of ML in fundamental physics and its relationship to other cases that directly affect society. We will deal with different aspects of the issue, from a bibliometric analysis of the publications, to a detailed discussion of the literature, to an overview on the productive and working context inside and outside academia. The analysis will be conducted on the basis of three key elements the non neutrality of science, understood as its intrinsic relationship with history and society the non neutrality of the algorithms, in the sense of the presence of elements that depend on the choices of the programmer, which cannot be eliminated whatever the technological progress is the problematic nature of a paradigm shift in favour of a data driven science (and society). The deconstruction of the presumed universality of scientific thought from the inside becomes in this perspective a necessary first step also for any social and political discussion. This is the subject of this work in the case study of ML.


Hospitalization dynamics during the first COVID 19 pandemic wave SIR modelling compared to Belgium, France, Italy, Switzerland and New York City data. Using the classical Susceptible Infected Recovered epidemiological model, an analytical formula is derived for the number of beds occupied by Covid 19 patients. The analytical curve is fitted to data in Belgium, France, New York City and Switzerland, with a correlation coefficient exceeding 98.8 , suggesting that finer models are unnecessary with such macroscopic data. The fitting is used to extract estimates of the doubling time in the ascending phase of the epidemic, the mean recovery time and, for those who require medical intervention, the mean hospitalization time. Large variations can be observed among different outbreaks.


Moser Tardos resampling algorithm, entropy compression method and the subset gas. We establish a connection between the entropy compression method and the Moser Tardos algorithmic version of the Lov 'asz local lemma through the cluster expansion of the subset gas. We also show that the Moser Tardos resampling algorithm and the entropy compression bactracking algorithm produce identical bounds.


Reduced basis methods for quasilinear elliptic PDEs with applications to permanent magnet synchronous motors. In this paper, we propose a certified reduced basis (RB) method for quasilinear elliptic problems together with its application to nonlinear magnetostatics equations, where the later model permanent magnet synchronous motors (PMSM). The parametrization enters through the geometry of the domain and thus, combined with the nonlinearity, drives our reduction problem. We provide a residual based a posteriori error bound which, together with the Greedy approach, allows to construct reduced basis spaces of small dimensions. We use the empirical interpolation method (EIM) to guarantee the efficient offline online computational procedure. The reduced basis solution is then obtained with the surrogate of the Newton's method. The numerical results indicate that the proposed reduced basis method provides a significant computational gain, compared to a finite element method.