Vulnerability Coverage as an Adequacy Testing Criterion. Mainstream software applications and tools are the configurable platforms with an enormous number of parameters along with their values. Certain settings and possible interactions between these parameters may harden (or soften) the security and robustness of these applications against some known vulnerabilities. However, the large number of vulnerabilities reported and associated with these tools make the exhaustive testing of these tools infeasible against these vulnerabilities infeasible. As an instance of general software testing problem, the research question to address is whether the system under test is robust and secure against these vulnerabilities. This paper introduces the idea of vulnerability coverage,'' a concept to adequately test a given application for a certain classes of vulnerabilities, as reported by the National Vulnerability Database (NVD). The deriving idea is to utilize the Common Vulnerability Scoring System (CVSS) as a means to measure the fitness of test inputs generated by evolutionary algorithms and then through pattern matching identify vulnerabilities that match the generated vulnerability vectors and then test the system under test for those identified vulnerabilities. We report the performance of two evolutionary algorithms (i.e., Genetic Algorithms and Particle Swarm Optimization) in generating the vulnerability pattern vectors.


Measuring Human Perception to Improve Handwritten Document Transcription. The subtleties of human perception, as measured by vision scientists through the use of psychophysics, are important clues to the internal workings of visual recognition. For instance, measured reaction time can indicate whether a visual stimulus is easy for a subject to recognize, or whether it is hard. In this paper, we consider how to incorporate psychophysical measurements of visual perception into the loss function of a deep neural network being trained for a recognition task, under the assumption that such information can enforce consistency with human behavior. As a case study to assess the viability of this approach, we look at the problem of handwritten document transcription. While good progress has been made towards automatically transcribing modern handwriting, significant challenges remain in transcribing historical documents. Here we describe a general enhancement strategy, underpinned by the new loss formulation, which can be applied to the training regime of any deep learning based document transcription system. Through experimentation, reliable performance improvement is demonstrated for the standard IAM and RIMES datasets for three different network architectures. Further, we go on to show feasibility for our approach on a new dataset of digitized Latin manuscripts, originally produced by scribes in the Cloister of St. Gall in the the 9th century.


Making Agile Development Processes fit for V style Certification Procedures. We present a process for the development of safety and security critical components in transportation systems targeting a high level certification (CENELEC 50126 50128, DO 178, CC ISO IEC 15408). The process adheres to the objectives of an "agile development" in terms of evolutionary flexibility and continuous improvement. Yet, it enforces the overall coherence of the development artifacts (ranging from proofs over tests to code) by a particular environment (CVCE). In particular, the validation process is built around a formal development based on the interactive theorem proving system Isabelle HOL, by linking the business logic of the application to the operating system model, down to code and concrete hardware models thanks to a series of refinement proofs. We apply both the process and its support in CVCE to a case study that comprises a model of an odometric service in a railway system with its corresponding implementation integrated in seL4 (a secure kernel for which a comprehensive Isabelle development exists). Novel techniques implemented in Isabelle enforce the coherence of semi formal and formal definitions within specific certification processes in order to improve their cost effectiveness . This paper has been published at ERTS2018.


XVA Valuation under Market Illiquidity. Before the 2008 financial crisis, most research in financial mathematics focused on pricing options without considering the effects of counterparties' defaults, illiquidity problems, and the role of the sale and repurchase agreement (Repo) market. Recently, models were proposed to address this by computing a total valuation adjustment (XVA) of derivatives however without considering a potential crisis in the market. In this article, we include a possible crisis by using an alternating renewal process to describe the switching between a normal financial regime and a financial crisis. We develop a framework to price the XVA of a European claim in this state dependent situation. The price is characterized as a solution to a backward stochastic differential equation (BSDE), and we prove the existence and uniqueness of this solution. In a numerical study based on a deep learning algorithm for BSDEs, we compare the effect of different parameters on the valuation of the XVA.


Attention based Modeling for Emotion Detection and Classification in Textual Conversations. This paper addresses the problem of modeling textual conversations and detecting emotions. Our proposed model makes use of 1) deep transfer learning rather than the classical shallow methods of word embedding 2) self attention mechanisms to focus on the most important parts of the texts and 3) turn based conversational modeling for classifying the emotions. The approach does not rely on any hand crafted features or lexicons. Our model was evaluated on the data provided by the SemEval 2019 shared task on contextual emotion detection in text. The model shows very competitive results.


Bridging Physics based and Data driven modeling for Learning Dynamical Systems. How can we learn a dynamical system to make forecasts, when some variables are unobserved? For instance, in COVID 19, we want to forecast the number of infected and death cases but we do not know the count of susceptible and exposed people. While mechanics compartment models are widely used in epidemic modeling, data driven models are emerging for disease forecasting. We first formalize the learning of physics based models as AutoODE, which leverages automatic differentiation to estimate the model parameters. Through a benchmark study on COVID 19 forecasting, we notice that physics based mechanistic models significantly outperform deep learning. Our method obtains a 57.4 reduction in mean absolute errors for 7 day ahead COVID 19 forecasting compared with the best deep learning competitor. Such performance differences highlight the generalization problem in dynamical system learning due to distribution shift. We identify two scenarios where distribution shift can occur changes in data domain and changes in parameter domain (system dynamics). Through systematic experiments on several dynamical systems, we found that deep learning models fail to forecast well under both scenarios. While much research on distribution shift has focused on changes in the data domain, our work calls attention to rethink generalization for learning dynamical systems.


End to End Learning Using Cycle Consistency for Image to Caption Transformations. So far, research to generate captions from images has been carried out from the viewpoint that a caption holds sufficient information for an image. If it is possible to generate an image that is close to the input image from a generated caption, i.e., if it is possible to generate a natural language caption containing sufficient information to reproduce the image, then the caption is considered to be faithful to the image. To make such regeneration possible, learning using the cycle consistency loss is effective. In this study, we propose a method of generating captions by learning end to end mutual transformations between images and texts. To evaluate our method, we perform comparative experiments with and without the cycle consistency. The results are evaluated by an automatic evaluation and crowdsourcing, demonstrating that our proposed method is effective.


Monocular 3D Object Detection Leveraging Accurate Proposals and Shape Reconstruction. We present MonoPSR, a monocular 3D object detection method that leverages proposals and shape reconstruction. First, using the fundamental relations of a pinhole camera model, detections from a mature 2D object detector are used to generate a 3D proposal per object in a scene. The 3D location of these proposals prove to be quite accurate, which greatly reduces the difficulty of regressing the final 3D bounding box detection. Simultaneously, a point cloud is predicted in an object centered coordinate system to learn local scale and shape information. However, the key challenge is how to exploit shape information to guide 3D localization. As such, we devise aggregate losses, including a novel projection alignment loss, to jointly optimize these tasks in the neural network to improve 3D localization accuracy. We validate our method on the KITTI benchmark where we set new state of the art results among published monocular methods, including the harder pedestrian and cyclist classes, while maintaining efficient run time.


Thermoviscoelasticity in Kelvin Voigt rheology at large strains. The frame indifferent thermodynamically consistent model of thermoviscoelasticity at large strain is formulated in the reference configuration with using the concept of the second grade nonsimple materials. We focus on physically correct viscous stresses that are frame indifferent under time dependent rotations. Also elastic stresses are frame indifferent under rotations and respect positivity of the determinant of the deformation gradient. The heat transfer is governed by the Fourier law in the actual deformed configuration, which leads to a nontrivial description when pulled back into the reference configuration. Existence of weak solutions in the quasistatic setting, i.e. inertial forces are ignored, is shown by time discretization.


Unified Riccati theory for optimal permanent and sampled data control problems in finite and infinite time horizons. We revisit and extend the Riccati theory, unifying continuous time linear quadratic optimal permanent and sampled data control problems, in finite and infinite time horizons. In a nutshell, we prove that when the time horizon T tends to infty , one passes from the Sampled Data Difference Riccati Equation (SD DRE) to the Sampled Data Algebraic Riccati Equation (SD ARE), and from the Permanent Differential Riccati Equation (P DRE) to the Permanent Algebraic Riccati Equation (P ARE) when the maximal step of the time partition Delta tends to 0 , one passes from (SD DRE) to (P DRE), and from (SD ARE) to (P ARE).Our notations and analysis provide a unified framework in order to settle all corresponding results.


A surprising formula for Sobolev norms. We establish the equivalence between the Sobolev semi norm nabla u L p and a quantity obtained when replacing the strong L p by a weak L p norm in the Gagliardo semi norm u W s,p computed at s 1 . As corollaries we derive alternative estimates in some exceptional cases (involving W 1,1 ) where the "anticipated" fractional Sobolev and Gagliardo Nirenberg inequalities fail.


New Examples from the Jigsaw Groups Construction. A pseudomodular group is a discrete subgroup Gamma leq PGL(2, mathbb Q ) which is not commensurable with PSL(2, mathbb Z ) and has cusp set precisely mathbb Q cup infty . The existence of such groups was proved by Long and Reid. Later, Lou, Tan and Vo constructed two infinite families of non commensurable pseudomodular groups which they called jigsaw groups. In this paper we construct a new infinite family of non commensurable pseudomodular groups obtained via this jigsaw construction. We also find that infinitely many of the simplest jigsaw groups are not pseudomodular, providing a partial answer to questions posed by the aforementioned authors.


SHACL Satisfiability and Containment (Extended Paper). The Shapes Constraint Language (SHACL) is a recent W3C recommendation language for validating RDF data. Specifically, SHACL documents are collections of constraints that enforce particular shapes on an RDF graph. Previous work on the topic has provided theoretical and practical results for the validation problem, but did not consider the standard decision problems of satisfiability and containment, which are crucial for verifying the feasibility of the constraints and important for design and optimization purposes. In this paper, we undertake a thorough study of different features of non recursive SHACL by providing a translation to a new first order language, called SCL, that precisely captures the semantics of SHACL w.r.t. satisfiability and containment. We study the interaction of SHACL features in this logic and provide the detailed map of decidability and complexity results of the aforementioned decision problems for different SHACL sublanguages. Notably, we prove that both problems are undecidable for the full language, but we present decidable combinations of interesting features.


A Dirac delta operator. If T is a (densely defined) self adjoint operator acting on a complex Hilbert space mathcal H and I stands for the identity operator, we introduce the delta function operator lambda mapsto delta left( lambda I T right) at T . When T is a bounded operator, then delta left( lambda I T right) is an operator valued distribution. If T is unbounded, delta left( lambda I T right) is a more general object that still retains some properties of distributions. We derive various operative formulas involving delta left( lambda I T right) and give several applications of its usage.


Corner Proposal Network for Anchor free, Two stage Object Detection. The goal of object detection is to determine the class and location of objects in an image. This paper proposes a novel anchor free, two stage framework which first extracts a number of object proposals by finding potential corner keypoint combinations and then assigns a class label to each proposal by a standalone classification stage. We demonstrate that these two stages are effective solutions for improving recall and precision, respectively, and they can be integrated into an end to end network. Our approach, dubbed Corner Proposal Network (CPN), enjoys the ability to detect objects of various scales and also avoids being confused by a large number of false positive proposals. On the MS COCO dataset, CPN achieves an AP of 49.2 which is competitive among state of the art object detection methods. CPN also fits the scenario of computational efficiency, which achieves an AP of 41.6 39.7 at 26.2 43.3 FPS, surpassing most competitors with the same inference speed. Code is available at https github.com Duankaiwen CPNDet


Survey on the asymptotic Dirichlet problem for the minimal surface equation. We give a survey on the development of the study of the asymptotic Dirichlet problem for the minimal surface equation on Cartan Hadamard manifolds. Part of this survey is based on the introductory part of the doctoral dissertation of the author. The paper is organised as follows. First we introduce Cartan Hadamard manifolds and the concept of asymptotic Dirichlet problem, then discuss about the development of the results and describe the methods used in the proofs. In the end we mention some results about the nonsolvability of the asymptotic Dirichlet problem.


Entanglement Assisted Quantum Error Correcting Codes From RS Codes and BCH Codes with Extension Degree 2. Entanglement assisted quantum error correcting codes (EAQECCs) constructed from Reed Solomon codes and BCH codes are considered in this work. It is provided a complete and explicit formula for the parameters of EAQECCs coming from any Reed Solomon code, for the Hermitian metric, and from any BCH code with extension degree 2 and consecutive cyclotomic cosets, for both the Euclidean and the Hermitian metric. The main task in this work is the computation of a completely general formula for c , the minimum number of required maximally entangled quantum states.


On fractional L 'evy processes tempering, sample path properties and stochastic integration. We define two new classes of stochastic processes, called tempered fractional L ' e vy process of the first and second kinds (TFLP and TFLP I !I , respectively). TFLP and TFLP I !I make up very broad finite variance, generally non Gaussian families of transient anomalous diffusion models that are constructed by exponentially tempering the power law kernel in the moving average representation of a fractional L ' e vy process. Accordingly, the increment processes of TFLP and TFLP I !I display semi long range dependence. We establish the sample path properties of TFLP and TFLP I !I . We further use a flexible framework of tempered fractional derivatives and integrals to develop the theory of stochastic integration with respect to TFLP and TFLP I !I , which may not be semimartingales depending on the value of the memory parameter and choice of marginal distribution.


Particle approximation of the 2 d parabolic elliptic Keller Segel system in the subcritical regime. The parabolic elliptic Keller Segel partial differential equation is a two dimensional model for chemotaxis. In this work we introduce a stochastic system of moderately interacting particles which converges, globally in time, to the solution to the Keller Segel model in 2 d. The advantage of our approach is that we show the convergence in a strong sense for all the subcritical values of the total mass, M 8 pi .


Fiedler Vector Approximation via Interacting Random Walks. The Fiedler vector of a graph, namely the eigenvector corresponding to the second smallest eigenvalue of a graph Laplacian matrix, plays an important role in spectral graph theory with applications in problems such as graph bi partitioning and envelope reduction. Algorithms designed to estimate this quantity usually rely on a priori knowledge of the entire graph, and employ techniques such as graph sparsification and power iterations, which have obvious shortcomings in cases where the graph is unknown, or changing dynamically. In this paper, we develop a framework in which we construct a stochastic process based on a set of interacting random walks on a graph and show that a suitably scaled version of our stochastic process converges to the Fiedler vector for a sufficiently large number of walks. Like other techniques based on exploratory random walks and on the fly computations, such as Markov Chain Monte Carlo (MCMC), our algorithm overcomes challenges typically faced by power iteration based approaches. But, unlike any existing random walk based method such as MCMCs where the focus is on the leading eigenvector, our framework with interacting random walks converges to the Fiedler vector (second eigenvector). We also provide numerical results to confirm our theoretical findings on different graphs, and show that our algorithm performs well over a wide range of parameters and the number of random walks. Simulations results over time varying dynamic graphs are also provided to show the efficacy of our random walk based technique in such settings. As an important contribution, we extend our results and show that our framework is applicable for approximating not just the Fiedler vector of graph Laplacians, but also the second eigenvector of any time reversible Markov Chain kernel via interacting random walks.


Coloring the normalized Laplacian for oriented hypergraphs. The independence number, coloring number and related parameters are investigated in the setting of oriented hypergraphs using the spectrum of the normalized Laplace operator. For the independence number, both an inertia like bound and a ratio like bound are shown. A Sandwich Theorem involving the clique number, the vector chromatic number and the coloring number is proved, as well as a lower bound for the vector chromatic number in terms of the smallest and the largest eigenvalue of the normalized Laplacian. In addition, spectral partition numbers are studied in relation to the coloring number.


Informative Image Captioning with External Sources of Information. An image caption should fluently present the essential information in a given image, including informative, fine grained entity mentions and the manner in which these entities interact. However, current captioning models are usually trained to generate captions that only contain common object names, thus falling short on an important "informativeness" dimension. We present a mechanism for integrating image information together with fine grained labels (assumed to be generated by some upstream models) into a caption that describes the image in a fluent and informative manner. We introduce a multimodal, multi encoder model based on Transformer that ingests both image features and multiple sources of entity labels. We demonstrate that we can learn to control the appearance of these entity labels in the output, resulting in captions that are both fluent and informative.


A New Treatment of Boundary Conditions in PDE Solution with Galerkin Methods via Partial Integral Equation Framework. We present a new analytical and numerical framework for solution of Partial Differential Equations (PDEs) that is based on an exact transformation that moves the boundary constraints into the dynamics of the corresponding governing equation. The framework is based on a Partial Integral Equation (PIE) representation of PDEs, where a PDE equation is transformed into an equivalent PIE formulation that does not require boundary conditions on its solution state. The PDE PIE framework allows for a development of a generalized PIE Galerkin approximation methodology for a broad class of linear PDEs with non constant coefficients governed by non periodic boundary conditions, including, e.g., Dirichlet, Neumann and Robin boundaries. The significance of this result is that solution to almost any linear PDE can now be constructed in a form of an analytical approximation based on a series expansion using a suitable set of basis functions, such as, e.g., Chebyshev polynomials of the first kind, irrespective of the boundary conditions. In many cases involving homogeneous or simple time dependent boundary inputs, an analytical integration in time is also possible. We present several PDE solution examples in one spatial variable implemented with the developed PIE Galerkin methodology using both analytical and numerical integration in time. The developed framework can be naturally extended to multiple spatial dimensions and, potentially, to nonlinear problems.


Instance Segmentation by Jointly Optimizing Spatial Embeddings and Clustering Bandwidth. Current state of the art instance segmentation methods are not suited for real time applications like autonomous driving, which require fast execution times at high accuracy. Although the currently dominant proposal based methods have high accuracy, they are slow and generate masks at a fixed and low resolution. Proposal free methods, by contrast, can generate masks at high resolution and are often faster, but fail to reach the same accuracy as the proposal based methods. In this work we propose a new clustering loss function for proposal free instance segmentation. The loss function pulls the spatial embeddings of pixels belonging to the same instance together and jointly learns an instance specific clustering bandwidth, maximizing the intersection over union of the resulting instance mask. When combined with a fast architecture, the network can perform instance segmentation in real time while maintaining a high accuracy. We evaluate our method on the challenging Cityscapes benchmark and achieve top results (5 improvement over Mask R CNN) at more than 10 fps on 2MP images. Code will be available at https github.com davyneven SpatialEmbeddings .


Finite element simulation of ionicelectrodiffusion in cellular geometries. Mathematical models for excitable cells are commonly based on cable theory, which considers a homogenized domain and spatially constant ionic concentrations. Although such models provide valuable insight, the effect of altered ion concentrations or detailed cell morphology on the electrical potentials cannot be captured. In this paper, we discuss an alternative approach to detailed modelling of electrodiffusion in neural tissue. The mathematical model describes the distribution and evolution of ion concentrations in a geometrically explicit representation of the intra and extracellular domains. As a combination of the electroneutral Kirchhoff Nernst Planck (KNP) model and the Extracellular Membrane Intracellular (EMI) framework, we refer to this model as the KNP EMI model. Here, we introduce and numerically evaluate a new, finite element based numerical scheme for the KNP EMI model, capable of efficiently and flexibly handling geometries of arbitrary dimension and arbitrary polynomial degree. Moreover, we compare the electrical potentials predicted by the KNP EMI and EMI models. Finally, we study ephaptic coupling induced in an unmyelinated axon bundle and demonstrate how the KNP EMI framework can give new insights in this setting.


Provably Safe Control of Lagrangian Systems in Obstacle Scattered Environments. We propose a hybrid feedback control law that guarantees both safety and asymptotic stability for a class of Lagrangian systems in environments with obstacles. Rather than performing trajectory planning and implementing a trajectory tracking feedback control law, our approach requires a sequence of locations in the environment (a path plan) and an abstraction of the obstacle free space. The problem of following a path plan is then interpreted as a sequence of reach avoid problems the system is required to consecutively reach each location of the path plan while staying within safe regions. Obstacle free ellipsoids are used as a way of defining such safe regions, each of which encloses two consecutive locations. Feasible Control Barrier Functions (CBFs) are created directly from geometric constraints, the ellipsoids, ensuring forward invariance, and therefore safety. Reachability to each location is guaranteed by asymptotically stabilizing Control Lyapunov Functions (CLFs). Both CBFs and CLFs are then encoded into quadratic programs (QPs) without the need of relaxation variables. Furthermore, we also propose a switching mechanism that guarantees the control law is correct and well defined even when transitioning between QPs. Simulations show the effectiveness of the proposed approach in two complex scenarios.


On a generalization of the Howe Moore property. We define a Howe Moore property relative to a set of subgroups. Namely, a group G has the Howe Moore property relative to a set mathcal F of subgroups if for every unitary representation pi of G , whenever the restriction of pi to any element of mathcal F has no non trivial invariant vectors, the matrix coefficients vanish at infinity. We prove that a semisimple group has the Howe Moore property relatively to the family of its factors.


Multi Agent Interactions Modeling with Correlated Policies. In multi agent systems, complex interacting behaviors arise due to the high correlations among agents. However, previous work on modeling multi agent interactions from demonstrations is primarily constrained by assuming the independence among policies and their reward structures. In this paper, we cast the multi agent interactions modeling problem into a multi agent imitation learning framework with explicit modeling of correlated policies by approximating opponents' policies, which can recover agents' policies that can regenerate similar interactions. Consequently, we develop a Decentralized Adversarial Imitation Learning algorithm with Correlated policies (CoDAIL), which allows for decentralized training and execution. Various experiments demonstrate that CoDAIL can better regenerate complex interactions close to the demonstrators and outperforms state of the art multi agent imitation learning methods. Our code is available at url https github.com apexrl CoDAIL .


Singular solutions to parabolic equations in nondivergence form. For any alpha in (0,1) , we construct an example of a solution to a parabolic equation with measurable coefficients in two space dimensions which has an isolated singularity and is not better that C alpha . We prove that there exists no solution to a fully nonlinear uniformly parabolic equation, in any dimension, which has an isolated singularity where it is not C 2 while it is analytic elsewhere, and it is homogeneous in x at the time of the singularity. We build an example of a non homogeneous solution to a fully nonlinear uniformly parabolic equation with an isolated singularity, which we verify with the aid of a numerical computation.


A Classification of Autoparatopisms of Latin Cubes. A paratopism is an action on a Latin hypercube of dimension d and order n which is an element of the wreath product S n wr S d 1 . A paratopism is said to be an autoparatopism if there is at least one Latin hypercube which is mapped to itself under the action of the paratopism. In this paper we classify autoparatopisms of Latin cubes given d 3 and n in mathbb Z , upto the conjugacy in S n wr S 4 . In order to achieve this objective, we prove that given an autoparatopism sigma in S n wr S d 1 , all the conjugates of sigma are autoparatpisms. Also, an important condition is presented, which states that the cycle structure of the delta in the element sigma ( alpha 1, alpha 2, alpha 3, alpha 4 delta ) of S n wr S 4 determines the conjugacy.


First order differentiability properties of a class of equality constrained optimal value functions with applications. In this paper we study the right differentiability of a parametric infimum function over a parametric set defined by equality constraints. We present a new theorem with sufficient conditions for the right differentiability with respect to the parameter. Target applications are nonconvex objective functions with equality constraints arising in optimal control and shape optimisation. The theorem makes use of the averaged adjoint approach in conjunction with the variational approach of Kunisch, Ito and Peichl. We provide two examples of our abstract result (a) a shape optimisation problem involving a semilinear partial differential equation which exhibits infinitely many solutions, (b) a finite dimensional quadratic function subject to a nonlinear equation.


Partial differential equations associated to non linear backward stochastic differential equations with Gaussian Volterra processes. In this paper, we generalize to Gaussian Volterra processes the existence and uniqueness of solutions for a class of non linear backward stochastic differential equations (BSDE) and we establish the relation between the non linear BSDE and the partial differential equation (PDE). A comparison theorem for the solution of the BSDE is proved and the continuity of its law is studied.


The Episodically Buckling and Collapsing Continental Crust in Subduction Zones. We discover a remarkable correlation between the inter tremor time interval and the slenderness ratio of the overriding plate in subduction zones all over the world. In order to understand this phenomenon better, we perform numerical simulations of 3D deformation. The numerical buckling studies show that critical load and slenderness ratio indeed have an inverse nonlinear relation between them identical to the classical Euler's critical load relation, and closely resemble the relationship observed between the inter tremor time interval and the slenderness ratio of the overriding plate. From the above analysis, we conclude that the observed relation is the result of buckling of the overriding continental plate. In addition to the above numerical analysis, we analyze the surficial 3D spatio temporal displacements of the overriding plates in Cascadia and Alaska using 3 component GPS data. We find that these deformations are consistent with the buckling of the overriding continental crust. Based on these novel observations and guided by numerous existing scientific observations and findings, we propose an Episodic Buckling and Collapse model of subduction zones, wherein periodic geodetic changes and tectonic tremor activity, result from the episodic buckling of the overriding continental crust and its rapid collapse on the subducting oceanic slab. According to this model, geodetic measurements, previously inferred as slow slip, are the surficial expressions of slowly evolving buckling and rapid collapse of the overriding plate, while tremor swarms result from the striking of the collapsing overriding plate on the subducting slab (as opposed to slipping or shearing).


Cobordism maps in embedded contact homology. Given an exact symplectic cobordism (X, lambda) between contact 3 manifolds (Y , lambda ) and (Y , lambda ) with no elliptic Reeb orbits up to a certain action, we define a chain map from the embedded contact homology (ECH) chain complex of (Y , lambda ) to that of (Y , lambda ) , both taken with coefficients in mathbb Z 2 mathbb Z . The map is defined by counting punctured holomorphic curves with ECH index 0 in the completion of the cobordism and new objects that we call ECH buildings, answering a question of Hutchings.


RGB D based Framework to Acquire, Visualize and Measure the Human Body for Dietetic Treatments. This research aims to improve dietetic nutritional treatment using state of the art RGB D sensors and virtual reality (VR) technology. Recent studies show that adherence to treatment can be improved using multimedia technologies. However, there are few studies using 3D data and VR technologies for this purpose. On the other hand, obtaining 3D measurements of the human body and analyzing them over time (4D) in patients undergoing dietary treatment is a challenging field. The main contribution of the work is to provide a framework to study the effect of 4D body model visualization on adherence to obesity treatment. The system can obtain a complete 3D model of a body using low cost technology, allowing future straightforward transference with sufficient accuracy and realistic visualization, enabling the analysis of the evolution (4D) of the shape during the treatment of obesity. The 3D body models will be used for studying the effect of visualization on adherence to obesity treatment using 2D and VR devices. Moreover, we will use the acquired 3D models to obtain measurements of the body. An analysis of the accuracy of the proposed methods for obtaining measurements with both synthetic and real objects has been carried out.


Two Birds, One Stone A Simple, Unified Model for Text Generation from Structured and Unstructured Data. A number of researchers have recently questioned the necessity of increasingly complex neural network (NN) architectures. In particular, several recent papers have shown that simpler, properly tuned models are at least competitive across several NLP tasks. In this work, we show that this is also the case for text generation from structured and unstructured data. We consider neural table to text generation and neural question generation (NQG) tasks for text generation from structured and unstructured data, respectively. Table to text generation aims to generate a description based on a given table, and NQG is the task of generating a question from a given passage where the generated question can be answered by a certain sub span of the passage using NN models. Experimental results demonstrate that a basic attention based seq2seq model trained with the exponential moving average technique achieves the state of the art in both tasks. Code is available at https github.com h shahidi 2birds gen.


Linear time algorithm for phase sensitive holography. Holographic search algorithms such as direct search and simulated annealing allow high quality holograms to be generated at the expense of long execution times. This is due to single iteration computational costs of O(N x N y) and number of required iterations of order O(N x N y) , where N x and N y are the image dimensions. This gives a combined performance of order O(N x 2 N y 2) . In this paper we use a novel technique to reduce the iteration cost down to O(1) for phase sensitive computer generated holograms giving a final algorithmic performance of O(N x N y) . We do this by reformulating the mean squared error metric to allow it to be calculated from the diffraction field rather than requiring a forward transform step. For a 1024 times 1024 pixel test images this gave us a approx 50,000 times speed up when compared with traditional direct search with little additional complexity. When applied to phase modulating or amplitude modulating devices the proposed algorithm converges on a global minimum mean squared error in O(N x N y) time. By comparison, most extant algorithms do not guarantee a global minimum is obtained and those that do have a computational complexity of at least O(N x 2 N y 2) with the naive algorithm being O((N xN y)!) .


Observation of twist induced geometric phases and inhibition of optical tunneling via Aharonov Bohm effects. Geometric phases appear ubiquitously in many and diverse areas of physical sciences, ranging from classical and molecular dynamics to quantum mechanics and solid state physics. In the realm of optics, similar phenomena are known to emerge in the form of a Pancharatnam Berry phase whenever the polarization state traces a closed contour on the Poincare sphere. While this class of geometric phases has been extensively investigated in both free space and guided wave systems, the observation of similar effects in photon tunneling arrangements has so far remained largely unexplored. Here, for the first time, we experimentally demonstrate that the tunneling or coupling process in a twisted multi core fiber system can display a chiral geometric phase accumulation analogous to that of the Aharonov Bohm effect resulting from the presence of a nonzero magnetic flux. In our experiments, the tunneling geometric phase is manifested through the interference of the corresponding supermodes. In this system, and for specific values of the twist rate, the tunneling between opposite cores ceases, thus signifying an Aharonov Bohm suppression of tunneling. Our work provides the first observation of this intriguing effect in an optical setting.


Rethinking Continual Learning for Autonomous Agents and Robots. Continual learning refers to the ability of a biological or artificial system to seamlessly learn from continuous streams of information while preventing catastrophic forgetting, i.e., a condition in which new incoming information strongly interferes with previously learned representations. Since it is unrealistic to provide artificial agents with all the necessary prior knowledge to effectively operate in real world conditions, they must exhibit a rich set of learning capabilities enabling them to interact in complex environments with the aim to process and make sense of continuous streams of (often uncertain) information. While the vast majority of continual learning models are designed to alleviate catastrophic forgetting on simplified classification tasks, here we focus on continual learning for autonomous agents and robots required to operate in much more challenging experimental settings. In particular, we discuss well established biological learning factors such as developmental and curriculum learning, transfer learning, and intrinsic motivation and their computational counterparts for modeling the progressive acquisition of increasingly complex knowledge and skills in a continual fashion.


Universal methods for suppressing the light shift in atomic clocks using power modulation. We show that the light shift in atomic clocks can be suppressed using time variation of the interrogation field intensity. By measuring the clock output at two intensity levels, error signals can be generated that simultaneously stabilize a local oscillator to an atomic transition and correct for the shift of this transition caused by the interrogating optical field. These methods are suitable for optical clocks using one and two photon transitions, as well as for microwave clocks based on coherent population trapping or direct interrogation. The proposed methods can be widely used both for high precision scientific instruments and for a wide range of commercial clocks, including chip scale atomic clocks.


Regularity of Almost Minimizers of H "older Coefficient Surface Energies. We study almost minimizers of anisotropic surface energies defined by a H "older continuous matrix of coefficients acting on the unit normal direction to the surface. In this generalization of the Plateau problem, we prove almost minimizers are locally H "older continuously differentiable at regular points and give dimension estimates for the size of the singular set. We work in the framework of sets of locally finite perimeter and our proof follows an excess decay type argument.


Local and global densities for Weierstrass models of elliptic curves. We prove local results on the p adic density of elliptic curves over mathbb Q p with different reduction types, together with global results on densities of elliptic curves over mathbb Q with specified reduction types at one or more (including infinitely many) primes. These global results include the density of integral Weierstrass equations which are minimal models of semistable elliptic curves over mathbb Q (that is, elliptic curves with square free conductor) is 1 zeta(2) approx60.79 , the same as the density of square free integers the density of semistable elliptic curves over mathbb Q is zeta(10) zeta(2) approx60.85 the density of integral Weierstrass equations which have square free discriminant is prod p left(1 frac 2 p 2 frac 1 p 3 right) approx 42.89 , which is the same (except for a different factor at the prime 2 ) as the density of monic integral cubic polynomials with square free discriminant (and agrees with a previous result of Baier and Browning for short Weierstrass equations) and the density of elliptic curves over mathbb Q with square free minimal discriminant is zeta(10) prod p left(1 frac 2 p 2 frac 1 p 3 right) approx42.93 . The local results derive from a detailed analysis of Tate's Algorithm, while the global ones are obtained through the use of the Ekedahl Sieve, as developed by Poonen, Stoll, and Bhargava.


Channels' Confirmation and Predictions' Confirmation from the Medical Test to the Raven Paradox. After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple discovered the Raven Paradox (RP). Then, Carnap used the logical probability increment as the confirmation measure. So far, many confirmation measures have been proposed. Measure F among them proposed by Kemeny and Oppenheim possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on the semantic information theory, a measure b similar to F is derived from the medical test. Like the likelihood ratio, b and F can only indicate the quality of channels or the testing means instead of the quality of probability predictions. And, it is still not easy to use b , F, or another measure to clarify the RP. For this reason, measure c similar to the correct rate is derived. The c has the simple form (a c) max(a, c) it supports the Nicod Criterion and undermines the Equivalence Condition, and hence, can be used to eliminate the RP. Some examples are provided to show why it is difficult to use one of popular confirmation measures to eliminate the RP. Measure F, b , and c indicate that fewer counterexamples' existence is more essential than more positive examples' existence, and hence, are compatible with Popper's falsification thought.


Interactive Video Retrieval with Dialog. Now that everyone can easily record videos, the quantity of which is continuously increasing, research on methods for improved video retrieval is important in the contemporary world. In cases where target videos are to be identified within a large collection gathered by individuals, the appropriate information must be obtained to retrieve the correct video within a large number of similar items in the target database. The purpose of this research is to retrieve target videos in such cases by introducing an interaction, or a dialog, between the system and the user. We propose a system to retrieve videos by asking questions about the content of the videos and leveraging the user's responses to the questions. Additionally, we confirmed the usefulness of the proposed system through experiments using the dataset called AVSD which includes videos and dialogs about the videos.


Graded Lie algebras of maximal class of type n . Let n 1 be an integer. The algebras of the title, which we abbreviate as em algebras of type n , are infinite dimensional graded Lie algebras L bigoplus i 1 infty L i , which are generated by an element of degree 1 and an element of degree n , and satisfy L i,L 1 L i 1 for i ge n . Algebras of type 2 were classified by Caranti and Vaughan Lee in 2000 over any field of odd characteristic. In this paper we lay the foundations for a classification of algebras of arbitrary type n , over fields of sufficiently large characteristic relative to n . Our main result describes precisely all possibilities for the first constituent length of an algebra of type n , which is a numerical invariant closely related to the dimension of its largest metabelian quotient.


Effective Definability of the Reachability Relation in Timed Automata. We give a new proof of the result of Comon and Jurski that the binary reachability relation of a timed automaton is definable in linear arithmetic.


Learning to Memorize in Neural Task Oriented Dialogue Systems. In this thesis, we leverage the neural copy mechanism and memory augmented neural networks (MANNs) to address existing challenge of neural task oriented dialogue learning. We show the effectiveness of our strategy by achieving good performance in multi domain dialogue state tracking, retrieval based dialogue systems, and generation based dialogue systems. We first propose a transferable dialogue state generator (TRADE) that leverages its copy mechanism to get rid of dialogue ontology and share knowledge between domains. We also evaluate unseen domain dialogue state tracking and show that TRADE enables zero shot dialogue state tracking and can adapt to new few shot domains without forgetting the previous domains. Second, we utilize MANNs to improve retrieval based dialogue learning. They are able to capture dialogue sequential dependencies and memorize long term information. We also propose a recorded delexicalization copy strategy to replace real entity values with ordered entity types. Our models are shown to surpass other retrieval baselines, especially when the conversation has a large number of turns. Lastly, we tackle generation based dialogue learning with two proposed models, the memory to sequence (Mem2Seq) and global to local memory pointer network (GLMP). Mem2Seq is the first model to combine multi hop memory attention with the idea of the copy mechanism. GLMP further introduces the concept of response sketching and double pointers copying. We show that GLMP achieves the state of the art performance on human evaluation.


Global Sensitivity Analysis on Numerical Solver Parameters of Particle In Cell Models in Particle Accelerator Systems. Every computer model depends on numerical input parameters that are chosen according to mostly conservative but rigorous numerical or empirical estimates. These parameters could for example be the step size for time integrators, a seed for pseudo random number generators, a threshold or the number of grid points to discretize a computational domain. In case a numerical model is enhanced with new algorithms and modelling techniques the numerical influence on the quantities of interest, the running time as well as the accuracy is often initially unknown. Usually parameters are chosen on a trial and error basis neglecting the computational cost versus accuracy aspects. As a consequence the cost per simulation might be unnecessarily high which wastes computing resources. Hence, it is essential to identify the most critical numerical parameters and to analyze systematically their effect on the result in order to minimize the time to solution without losing significantly on accuracy. Relevant parameters are identified by global sensitivity studies where Sobol' indices are common measures. These sensitivities are obtained by surrogate models based on polynomial chaos expansion. In this paper, we first introduce the general methods for uncertainty quantification. We then demonstrate their use on numerical solver parameters to reduce the computational costs and discuss further model improvements based on the sensitivity analysis. The sensitivities are evaluated for neighbouring bunch simulations of the existing PSI Injector II and PSI Ring as well as the proposed Daedalus Injector cyclotron and simulations of the rf electron gun of the Argonne Wakefield Accelerator.


Geometric anomaly detection in data. This paper describes the systematic application of local topological methods for detecting interfaces and related anomalies in complicated high dimensional data. By examining the topology of small regions around each point, one can optimally stratify a given dataset into clusters, each of which is in turn well approximable by a suitable submanifold of the ambient space. Since these approximating submanifolds might have different dimensions, we are able to detect non manifold like singular regions in data even when none of the data points have been sampled from those singularities. We showcase this method by identifying the intersection of two surfaces in the 24 dimensional space of cyclo octane conformations, and by locating all the self intersections of a Henneberg minimal surface immersed in 3 dimensional space. Due to the local nature of the required topological computations, the algorithmic burden of performing such data stratification is readily distributable across several processors.


On the Existence of Solution of the Boundary Domain Integral Equation System derived from the 2D Dirichlet Problem for the Diffusion Equation with Variable Coefficient. A system of boundary domain integral equations is derived from the bidimensional Dirichlet problem for the diffusion equation with variable coefficient using the novel parametrix from 22 different from the one in 5,18 . Mapping properties of the surface and volume parametrix based potential type operators are analysed. Invertibility of the single layer potential is also studied in detail in appropriate Sobolev spaces. We show that the system of boundary domain integral equations derived is equivalent to the Dirichlet problem prescribed and we prove the existence and uniqueness of solution in suitable Sobolev spaces of the system obtained by using arguments of compactness and Fredholm Alternative theory.


Consensus based Distributed Discrete Optimal Transport for Decentralized Resource Matching. Optimal transport has been used extensively in resource matching to promote the efficiency of resources usages by matching sources to targets. However, it requires a significant amount of computations and storage spaces for large scale problems. In this paper, we take a consensus based approach to decentralize discrete optimal transport problems and develop fully distributed algorithms with alternating direction method of multipliers. We show that our algorithms guarantee certain levels of efficiency and privacy besides the distributed nature. We further derive primal and dual algorithms by exploring the primal and dual problems of discrete optimal transport with linear utility functions and prove the equivalence between them. We verify the convergence, online adaptability, and the equivalence between the primal algorithm and the dual algorithm with numerical experiments. Our algorithms reflect the bargaining between sources and targets on the amounts and prices of transferred resources and reveal an averaging principle which can be used to regulate resource markets and improve resource efficiency.


Numerical evaluation of Airy type integrals arising in uniform asymptotic analysis. We describe a method to evaluate integrals that arise in the asymptotic analysis when two saddle points may be close together. These integrals, which appear in problems from optics, acoustics or quantum mechanics as well as in a wide class of special functions, can be transformed into Airy type integrals and we use the trapezoidal rule to compute these integrals numerically. The quadrature method, which remains valid when two saddle points coalesce, is illustrated with numerical examples.


Theta functions and quiver Grassmannians. In this article, we use the relationship between cluster scattering diagrams and stability scattering diagrams to relate quiver representations with these diagrams. With a notion of positive crossing of a path gamma , we show that if gamma has positive crossing in the scattering diagram, then it goes in the opposite direction of the Auslander Reiten quiver of Q . We then give the Hall algebra theta functions which recover the cluster character formula by the Euler characteristic map. At last, we define the Hall algebra broken lines and then are able to give the stratification of the quiver Grassmannians by the bending of the broken lines.


Fast Grid Splitting Detection for N 1 Contingency Analysis by Graph Computing. In this study, a graph computing based grid splitting detection algorithm is proposed for contingency analysis in a graph based EMS (Energy Management System). The graph model of a power system is established by storing its bus branch information into the corresponding vertex objects and edge objects of the graph database. Numerical comparison to an up to date serial computing algorithm is also investigated. Online tests on a real power system of China State Grid with 2752 buses and 3290 branches show that a 6 times speedup can be achieved, which lays a good foundation for advanced contingency analysis.


Solid propellant combustion in the low Mach one dimensional approximation from an index one differential algebraic formulation to high fidelity simulations through high order time integration with adaptive time stepping. An unsteady one dimensional model of solid propellant combustion, based on a low Mach assumption, is presented and semi discretised in space via a finite volume scheme. The mathematical nature of this system is shown to be differential algebraic of index one. A high fidelity numerical strategy with stiffly accurate singly diagonally implicit Runge Kutta methods is proposed, and time adaptation is made possible using embedded schemes. High order is shown to be reached, while handling the constraints properly, both at the interface and for the mass conservation in the gaseous flow field. Three challenging test cases are thoroughly investigated ignition transients, growth of combustion instabilities through a Hopf bifurcation leading to a limit cycle periodic solution and the unsteady response of the system when detailed gas phase kinetics are included in the model. The method exhibits high efficiency for all cases in terms of both computational time and accuracy compared to first and second order schemes traditionally used in the combustion literature, where the time step adaptation is CFL or variation based.


Revised Estimates of Ocean Surface Drag in Strong Winds. Air sea drag governs the momentum transfer between the atmosphere and the ocean, and remains largely unknown in hurricane winds. We revisit the momentum budget and eddy covariance methods to estimate the surface drag coefficient in the laboratory. Our drag estimates agree with field measurements in low to moderate winds, and previous laboratory measurements in hurricane force winds. The drag coefficient saturates at 2.6 times 10 3 and U 10 approx 25 m s 1 , in agreement with previous laboratory results by Takagaki et al. (2012). During our analysis, we discovered an error in the original source code used by Donelan et al. (2004). We present the corrected data and describe the correction procedure. Although the correction to the data does not change the key finding of drag saturation in strong winds, its magnitude and wind speed threshold are significantly changed. Our findings emphasize the need for an updated and unified drag parameterization based on field and laboratory data.


Prescribed curvature measure problem in hyperbolic space. The problem of the prescribed curvature measure is one of the important problems in differential geometry and nonlinear partial differential equations. In this paper, we consider prescribed curvature measure problem in hyperbolic space. We obtain the existence of star shaped k convex bodies with prescribed (n k) th curvature measures (k n) by establishing crucial C 2 regularity estimates for solutions to the corresponding fully nonlinear PDE in the hyperbolic space.


A New Integer Programming Formulation of the Graphical Traveling Salesman Problem. In the Traveling Salesman Problem (TSP), a salesman wants to visit a set of cities and return home. There is a cost c ij of traveling from city i to city j , which is the same in either direction for the Symmetric TSP. The objective is to visit each city exactly once, minimizing total travel costs. In the Graphical TSP, a city may be visited more than once, which may be necessary on a sparse graph. We present a new integer programming formulation for the Graphical TSP requiring only two classes of constraints that are either polynomial in number or polynomially separable, while addressing an open question proposed by Denis Naddef.


Robustness to Capitalization Errors in Named Entity Recognition. Robustness to capitalization errors is a highly desirable characteristic of named entity recognizers, yet we find standard models for the task are surprisingly brittle to such noise. Existing methods to improve robustness to the noise completely discard given orthographic information, mwhich significantly degrades their performance on well formed text. We propose a simple alternative approach based on data augmentation, which allows the model to emph learn to utilize or ignore orthographic information depending on its usefulness in the context. It achieves competitive robustness to capitalization errors while making negligible compromise to its performance on well formed text and significantly improving generalization power on noisy user generated text. Our experiments clearly and consistently validate our claim across different types of machine learning models, languages, and dataset sizes.


Combinatorial Ricci flow on cusped 3 manifolds. Combinatorial Ricci flow on a cusped 3 manifold is an analogue of Chow Luo's combinatorial Ricci flow on surfaces and Luo's combinatorial Ricci flow on compact 3 manifolds with boundary for finding complete hyperbolic metrics on cusped 3 manifolds. Dual to Casson and Rivin's program of maximizing the volume of angle structures, combinatorial Ricci flow finds the complete hyperbolic metric on a cusped 3 manifold by minimizing the co volume of decorated hyperbolic polyhedral metrics. The combinatorial Ricci flow may develop singularities. We overcome this difficulty by extending the flow through the potential singularities using Luo Yang's extension. It is shown that the existence of a complete hyperbolic metric on a cusped 3 manifold is equivalent to the convergence of the extended combinatorial Ricci flow, which gives a new characterization of existence of a complete hyperbolic metric on a cusped 3 manifold dual to Casson and Rivin's program. The extended combinatorial Ricci flow also provides an effective algorithm for finding complete hyperbolic metrics on cusped 3 manifolds.


Existence and Uniqueness of BVPs Defined on Semi Infinite Intervals Insight from the Iterative Transformation Method. This work is concerned with the existence and uniqueness of boundary value problems defined on semi infinite intervals. These kinds of problems seldom admit exactly known solutions and, therefore, the theoretical information on their well posedness is essential before attempting to derive an approximate solution by analytical or numerical means. Our utmost contribution in this context is the definition of a numerical test for investigating the existence and uniqueness of solutions of boundary problems defined on semi infinite intervals. The main result is given by a theorem relating the existence and uniqueness question to the number of real zeros of a function implicitly defined within the formulation of the iterative transformation method. As a consequence, we can investigate the existence and uniqueness of solutions by studying the behaviour of that function. Within such a context the numerical test is illustrated by two examples where we find meaningful numerical results.


A Cordial Sync Going Beyond Marginal Policies for Multi Agent Embodied Tasks. Autonomous agents must learn to collaborate. It is not scalable to develop a new centralized agent every time a task's difficulty outpaces a single agent's abilities. While multi agent collaboration research has flourished in gridworld like environments, relatively little work has considered visually rich domains. Addressing this, we introduce the novel task FurnMove in which agents work together to move a piece of furniture through a living room to a goal. Unlike existing tasks, FurnMove requires agents to coordinate at every timestep. We identify two challenges when training agents to complete FurnMove existing decentralized action sampling procedures do not permit expressive joint action policies and, in tasks requiring close coordination, the number of failed actions dominates successful actions. To confront these challenges we introduce SYNC policies (synchronize your actions coherently) and CORDIAL (coordination loss). Using SYNC policies and CORDIAL, our agents achieve a 58 completion rate on FurnMove, an impressive absolute gain of 25 percentage points over competitive decentralized baselines. Our dataset, code, and pretrained models are available at https unnat.github.io cordial sync .


Duality for automorphic sheaves with nilpotent singular support. We identify the category Shv Nilp (Bun G) of automorphic sheaves with nilpotent singular support with its own dual, and relate this structure to the Serre functor on Shv Nilp (Bun G) and miraculous duality.


Some summation theorems for truncated Clausen series and applications. The main aim of this paper is to derive some new summation theorems for terminating and truncated Clausen's hypergeometric series with unit argument, when one numerator parameter and one denominator parameter are negative integers. Further, using our truncated summation theorems, we obtain the Mellin transforms of the product of exponential function and Goursat's truncated hypergeometric function.


Minimization problem associated with an improved Hardy Sobolev type inequality. We consider the existence and the non existence of a minimizer of the following minimization problems associated with an improved Hardy Sobolev type inequality introduced by Ioku. I a inf u in W 0 1,p (B R ) setminus 0 frac int B R nabla u p ,dx left( int B R u p (s) V a(x) ,dx right) frac p p (s) , , , text where , , V a (x) frac 1 x s left( 1 a , left( frac x R right) frac N p p 1 right) beta ge frac 1 x s . Only for radial functions, the minimization problem I a is equivalent to it associated with the classical Hardy Sobolev inequality on mathbb R N via a transformation. First, we summarize various transformations including that transformation and give a viewpoint of such transformations. As an application of this viewpoint, we derive it an infinite dimensional form of the classical Sobolev inequality in some sense. Next, without the transformation, we investigate the minimization problems I a on balls B R . In contrast to the classical results for a 0 , we show the existence of non radial minimizers for the Hardy Sobolev critical exponent p (s) frac p (N s) N p on bounded domains. Finally, we give remarks of a different structure between two nonlinear scalings which are equivalent to the usual scaling only for radial functions under some transformations.


Joint Detection and Tracking in Videos with Identification Features. Recent works have shown that combining object detection and tracking tasks, in the case of video data, results in higher performance for both tasks, but they require a high frame rate as a strict requirement for performance. This is assumption is often violated in real world applications, when models run on embedded devices, often at only a few frames per second. Videos at low frame rate suffer from large object displacements. Here re identification features may support to match large displaced object detections, but current joint detection and re identification formulations degrade the detector performance, as these two are contrasting tasks. In the real world application having separate detector and re id models is often not feasible, as both the memory and runtime effectively double. Towards robust long term tracking applicable to reduced computational power devices, we propose the first joint optimization of detection, tracking and re identification features for videos. Notably, our joint optimization maintains the detector performance, a typical multi task challenge. At inference time, we leverage detections for tracking (tracking by detection) when the objects are visible, detectable and slowly moving in the image. We leverage instead re identification features to match objects which disappeared (e.g. due to occlusion) for several frames or were not tracked due to fast motion (or low frame rate videos). Our proposed method reaches the state of the art on MOT, it ranks 1st in the UA DETRAC'18 tracking challenge among online trackers, and 3rd overall.


User's Centrality Analysis for Home Location Estimation. User attributes, such as home location, are useful for many applications. Many researchers have been tackling how to estimate users' home locations using relationships among users. It is known that the home locations of certain users, such as celebrities, are hard to estimate using relationships. However, because estimating the home locations of all celebrities is not actually hard, it is important to clarify the characteristics of users whose home locations are hard to estimate. We analyze whether centralities, which represent users' characteristics, and the tendency to have the same home locations as friends are related. The results indicate that PageRank and HITS scores are related to whether users have the same home location as friends, and that users with higher HITS scores have the same home location as their friends less often. This result indicates that there are two types of users whose home locations are difficult to estimate hub users who follow many celebrities and authority users who are celebrities.


Exact controllability of the linear Zakharov Kuznetsov equation. We consider the linear Zakharov Kuznetsov equation on a rectangle with a left Dirich let boundary control. Using the flatness approach, we prove the null controllability of this equation and provide a space of analytic reachable states.


DisCoPy Monoidal Categories in Python. We introduce DisCoPy, an open source toolbox for computing with monoidal categories. The library provides an intuitive syntax for defining string diagrams and monoidal functors. Its modularity allows the efficient implementation of computational experiments in the various applications of category theory where diagrams have become a lingua franca. As an example, we used DisCoPy to perform natural language processing on quantum hardware for the first time.


ASCII ASsisted Classification with Ignorance Interchange. The rapid development in data collecting devices and computation platforms produces an emerging number of agents, each equipped with a unique data modality over a particular population of subjects. While the predictive performance of an agent may be enhanced by transmitting other data to it, this is often unrealistic due to intractable transmission costs and security concerns. While the predictive performance of an agent may be enhanced by transmitting other data to it, this is often unrealistic due to intractable transmission costs and security concerns. In this paper, we propose a method named ASCII for an agent to improve its classification performance through assistance from other agents. The main idea is to iteratively interchange an ignorance value between 0 and 1 for each collated sample among agents, where the value represents the urgency of further assistance needed. The method is naturally suitable for privacy aware, transmission economical, and decentralized learning scenarios. The method is also general as it allows the agents to use arbitrary classifiers such as logistic regression, ensemble tree, and neural network, and they may be heterogeneous among agents. We demonstrate the proposed method with extensive experimental studies.


An average theorem for tuples of k free numbers in arithmetic progressions. We obtain an asymptotic formula, in the spirit of the Montgomery Hooley refinement of the Barban Davenport Halberstam Theorem, for the variance associated with tuples of k free numbers in arithmetic progressions.


Clones containing the Mal'cev operation of mathbb Z pq . We investigate finitary functions from mathbb Z pq to mathbb Z pq for two distinct prime numbers p and q . We show that the lattice of all clones on the set mathbb Z pq which contain the addition of mathbb Z pq is finite. We provide an upper bound for the cardinality of this lattice through an injective function to the direct product of the lattice of all ( mathbb Z p, mathbb Z q) linearly closed clonoids to the p 1 power and the lattice of all ( mathbb Z q, mathbb Z p) linearly closed clonoids to the q 1 power. These lattices are studied in arXiv 1910.11759 and there we can find the exact cardinality of them. Furthermore, we prove that these clones can be generated by a set of functions of arity at most max( p,q ) .


Unsupervised learning of action classes with continuous temporal embedding. The task of temporally detecting and segmenting actions in untrimmed videos has seen an increased attention recently. One problem in this context arises from the need to define and label action boundaries to create annotations for training which is very time and cost intensive. To address this issue, we propose an unsupervised approach for learning action classes from untrimmed video sequences. To this end, we use a continuous temporal embedding of framewise features to benefit from the sequential nature of activities. Based on the latent space created by the embedding, we identify clusters of temporal segments across all videos that correspond to semantic meaningful action classes. The approach is evaluated on three challenging datasets, namely the Breakfast dataset, YouTube Instructions, and the 50Salads dataset. While previous works assumed that the videos contain the same high level activity, we furthermore show that the proposed approach can also be applied to a more general setting where the content of the videos is unknown.


Magnetic Ginzburg Landau energy with a periodic rapidly oscillating and diluted pinning term. We study the 2D full Ginzburg Landau energy with a periodic rapidly oscillating, discontinuous and strongly diluted pinning term using a perturbative argument. This energy models the state of an heterogeneous type II supercon ductor submitted to a magnetic field. We calculate the value of the first critical field which links the presence of vorticity defects with the intensity of the applied magnetic field. Then we prove a standard dependance of the quantized vorticity defects with the intensity of the applied field. Our study includes the case of a London solution having several minima. The macroscopic location of the vor ticity defects is understood with the famous Bethuel Brezis H 'e lein renormalized energy. The mesoscopic location, i.e., the arrangement of the vorticity defects around the minima of the London solution, is the same than in the homogenous case. The microscopic location is exactly the same than in the heterogeneous case without magnetic field. We also compute the value of secondary critical fields that increment the quantized vorticity. 1. Introdution This article studies the pinning phenomenon in type II superconducting composites. Superconductivity is a property that appears in certain materials cooled below a critical temperature. These materials are called superconductors. Superconductivity is characterized by a total absence of electrical resistance and a perfect diamagnetism. Unfortunately, when the imposed conditions are too intense, superconductivity is destroyed in certain areas of the material called vorticity defects. We are interested in type II superconductors which are characterized by the fact that the vorticity defects first appear in small areas. Their number increases with the intensity of the conditions imposed until filling the material. For example, when the intensity h ex of an applied magnetic field exceeds a first threshold, the first vorticity defects appear the magnetic field begins to penetrate the superconductor. The penetration is done along thin wires and may move resulting an energy dissipation. These motions may be limited by trapping the vorticity defects in small areas. The behavior of a superconductor is modeled by minimizers of a Ginzburg Landau type energy. In order to study the presence of traps for the vorticity defects we consider an energy including a pinning term that models impurities in the supercon ductor. These impurities would play the role of traps for the vorticity defects. We are thus lead to the subject of this article the type II superconducting composites with impurities.


Maturity assessment and maturity models in healthcare A multivocal literature review. Context Maturity of practices and infrastructure in healthcare domain directly impacts the quality and efficiency of healthcare services. Therefore, various healthcare administrations (e.g., hospital management to nation wide health authority) need to assess and improve their operational maturity. Objective This study aims to review and classify studies that propose use maturity assessment or maturity models (MMs) as a vehicle to achieve operational excellence in healthcare domain. Method To achieve this objective, we performed a Multivocal Literature Review (MLR) that is a form of Systematic Review and includes data from the grey literature (e.g., white papers and online documents) in addition to formal, peer reviewed literature. Results Based on 101 sources, 80 of which are from the peer reviewed literature and 21 are from the grey literature, we identified 68 different MMs on, e.g., telemedicine, care pathways, and digital imaging. We reviewed them with respect to various aspects including types of research and contribution list of MMs proposed used with their subject focuses elements of maturity capability and application scope or scale. In the synthesis of empirical benefits of using MMs, two were found significant (1) Identifying issues and providing guidance for improvement in healthcare contexts (2) Improving efficiency, effectiveness, performance, and productivity. Conclusion This MLR provides an overview of the landscape and serves as an index to the vast body of knowledge in this area. Our review creates an opportunity to cope with the challenges in getting an overview of the state of the art and practice, choosing the most suitable models, or developing new models with further specialties.


Signless Normalized Laplacian for Hypergraphs. The spectral theory of the normalized Laplacian for chemical hypergraphs is further investigated. The signless normalized Laplacian is introduced and it is shown that its spectrum for classical hypergraphs coincides with the spectrum of the normalized Laplacian for bipartite chemical hypergraphs. Furthermore, the spectra of special families of hypergraphs are established.


Distributionally Robust Chance Constrained Programs with Right Hand Side Uncertainty under Wasserstein Ambiguity. We consider exact deterministic mixed integer programming (MIP) reformulations of distributionally robust chance constrained programs (DR CCP) with random right hand sides over Wasserstein ambiguity sets. The existing MIP formulations are known to have weak continuous relaxation bounds, and, consequently, for hard instances with small radius, or with large problem sizes, the branch and bound based solution processes suffer from large optimality gaps even after hours of computation time. This significantly hinders the practical application of the DR CCP paradigm. Motivated by these challenges, we conduct a polyhedral study to strengthen these formulations. We reveal several hidden connections between DR CCP and its nominal counterpart (the sample average approximation), mixing sets, and robust 0 1 programming. By exploiting these connections in combination, we provide an improved formulation and two classes of valid inequalities for DR CCP. We test the impact of our results on a stochastic transportation problem numerically. Our experiments demonstrate the effectiveness of our approach in particular our improved formulation and proposed valid inequalities reduce the overall solution times remarkably. Moreover, this allows us to significantly scale up the problem sizes that can be handled in such DR CCP formulations by reducing the solution times from hours to seconds.


On subharmonic and entire functions of small order after Kjellberg. We give a general method for constructing examples of transcendental entire functions of given small order, which allows precise control over the size and shape of the set where the minimum modulus of the function is relatively large. Our method involves developing a new technique to give an upper bound for the growth of a positive harmonic function defined in a certain type of multiply connected domain, giving a sharp estimate for the growth in many cases.


Entropy pair realization. We show that the CPE class alpha of Barbieri and Garc 'ia Ramos contains a one dimensional subshift for all countable ordinals alpha , i.e. the process of alternating topological and transitive closure on the entropy pairs relation of a subshift can end on an arbitrary ordinal. This is the composition of three constructions We first realize every ordinal as the length of an abstract "close up" process on a countable compact space. Next, we realize any abstract process on a compact zero dimensional metrizable space as the process started from a shift invariant relation on a subshift, the crucial construction being the implementation of every compact metrizable zero dimensional space as an open invariant quotient of a subshift. Finally we realize any shift invariant relation E on a subshift X as the entropy pair relation of a supershift Y supset X , and under strong technical assumptions we can make the CPE process on Y end on the same ordinal as the close up process of E .


Leveraging Adaptive Color Augmentation in Convolutional Neural Networks for Deep Skin Lesion Segmentation. Fully automatic detection of skin lesions in dermatoscopic images can facilitate early diagnosis and repression of malignant melanoma and non melanoma skin cancer. Although convolutional neural networks are a powerful solution, they are limited by the illumination spectrum of annotated dermatoscopic screening images, where color is an important discriminative feature. In this paper, we propose an adaptive color augmentation technique to amplify data expression and model performance, while regulating color difference and saturation to minimize the risks of using synthetic data. Through deep visualization, we qualitatively identify and verify the semantic structural features learned by the network for discriminating skin lesions against normal skin tissue. The overall system achieves a Dice Ratio of 0.891 with 0.943 sensitivity and 0.932 specificity on the ISIC 2018 Testing Set for segmentation.


Externalizing Transformations of Historical Documents Opportunities for Provenance Driven Visualization. Transcription, annotation, digitization and or visualization are common transformations that historical documents such as national records, birth death registers, university records, letters or books undergo. Reasons for those transformations span from the (physical) protection of the original materials to disclosure of 'hidden' information or patterns within the documents. Even though such transformations bring new insights and perspectives on the documents, they also modify the documents' content, structure, and or artifactual form and thus, occlude prior knowledge and interpretation. When it comes to visualization as a means to transform historical documents from written to abstract visual form, there is typically little acknowledgment or even understanding of the previous transformation steps these documents have gone through. The 'tremendous rhetorical force' of visualization, we argue, should not be at the expense of the multiple pasts, contexts, and curators that are inherent in historical record collections. Rather, the urgent question for the fields of visualization and the (digital) humanities is how to better support awareness of these multiple layers of interpretation and the people behind them when representing historical documents. We begin to address this question based on a collection of historical university records by (a) investigating common transformation processes of historical documents, and (b) discussing opportunities and challenges for making such transformations transparent through what we call 'provenance driven visualization' the idea for a visualization that makes visible the layers of transformation (including interpretation, re structuring, and curation) inherent in historical documents.


Reproducing Kernel Hilbert Spaces Cannot Contain all Continuous Functions on a Compact Metric Space. Given an uncountable, compact metric space, we show that there exists no reproducing kernel Hilbert space that contains the space of all continuous functions on this compact space.


Data driven Reconstruction of Nonlinear Dynamics from Sparse Observation. We present a data driven model to reconstruct nonlinear dynamics from a very sparse times series data, which relies on the strength of the echo state network (ESN) in learning nonlinear representation of data. With an assumption of the universal function approximation capability of ESN, it is shown that the reconstruction problem can be formulated as a fixed point problem, in which the trajectory of the dynamical system is a fixed point of the ESN. An under relaxed fixed point iteration is proposed to reconstruct the nonlinear dynamics from a sparse observation. The proposed fixed point ESN is tested against both univariate and multivariate chaotic dynamical systems by randomly removing up to 95 of the data. It is shown that the fixed point ESN is able to reconstruct the complex dynamics from only 5 10 of the data. For a relatively simple non chaotic dynamical system, the numerical experiments on a forced van der Pol oscillator show that it is possible to reconstruct the nonlinear dynamics from only 1 2 of the data.


A Survey of HTTPS Traffic and Services Identification Approaches. HTTPS is quickly rising alongside the need of Internet users to benefit from security and privacy when accessing the Web, and it becomes the predominant application protocol on the Internet. This migration towards a secure Web using HTTPS comes with important challenges related to the management of HTTPS traffic to guarantee basic network properties such as security, QoS, reliability, etc. But encryption undermines the effectiveness of standard monitoring techniques and makes it difficult for ISPs and network administrators to properly identify and manage the services behind HTTPS traffic. This survey details the techniques used to monitor HTTPS traffic, from the most basic level of protocol identification (TLS, HTTPS), to the finest identification of precise services. We show that protocol identification is well mastered while more precise levels keep being challenging despite recent advances. We also describe practical solutions that lead us to discuss the trade off between security and privacy and the research directions to guarantee both of them.


Higher integrability in the obstacle problem for the fast diffusion equation. We prove local higher integrability of the spatial gradient for solutions to obstacle problems of porous medium type in the fast diffusion case m 1 . The result holds for the natural range of exponents that is known from other regularity results for porous medium type equations. We also cover the case of signed solutions.


Two critical times for the SIR model. We consider the SIR model and study the first time the number of infected individuals begins to decrease and the first time this population is below a given threshold. We interpret these times as functions of the initial susceptible and infected populations and characterize them as solutions of a certain partial differential equation. This allows us to obtain integral representations of these times and in turn to estimate them precisely for large populations.


Lexically constrained Text Generation through Commonsense Knowledge Extraction and Injection. Conditional text generation has been a challenging task that is yet to see human level performance from state of the art models. In this work, we specifically focus on the Commongen benchmark, wherein the aim is to generate a plausible sentence for a given set of input concepts. Despite advances in other tasks, large pre trained language models that are fine tuned on this dataset often produce sentences that are syntactically correct but qualitatively deviate from a human understanding of common sense. Furthermore, generated sequences are unable to fulfill such lexical requirements as matching part of speech and full concept coverage. In this paper, we explore how commonsense knowledge graphs can enhance model performance, with respect to commonsense reasoning and lexically constrained decoding. We propose strategies for enhancing the semantic correctness of the generated text, which we accomplish through extracting commonsense relations from Conceptnet, injecting these relations into the Unified Language Model (UniLM) through attention mechanisms, and enforcing the aforementioned lexical requirements through output constraints. By performing several ablations, we find that commonsense injection enables the generation of sentences that are more aligned with human understanding, while remaining compliant with lexical requirements.


Processing of body induced thermal signatures for physical distancing and temperature screening. Massive and unobtrusive screening of people in public environments is becoming a critical task to guarantee safety in congested shared spaces, as well as to support early non invasive diagnosis and response to disease outbreaks. Among various sensors and Internet of Things (IoT) technologies, thermal vision systems, based on low cost infrared (IR) array sensors, allow to track thermal signatures induced by moving people. Unlike contact tracing applications that exploit short range communications, IR based sensing systems are passive, as they do not need the cooperation of the subject(s) and do not pose a threat to user privacy. The paper develops a signal processing framework that enables the joint analysis of subject mobility while automating the temperature screening process. The system consists of IR based sensors that monitor both subject motions and health status through temperature measurements. Sensors are networked via wireless IoT tools and are deployed according to different configurations (wall or ceiling mounted setups). The system targets the joint passive localization of subjects by tracking their mutual distance and direction of arrival, in addition to the detection of anomalous body temperatures for subjects close to the IR sensors. Focusing on Bayesian methods, the paper also addresses best practices and relevant implementation challenges using on field measurements. The proposed framework is privacy neutral, it can be employed in public and private services for healthcare, smart living and shared spaces scenarios without any privacy concerns. Different configurations are also considered targeting both industrial, smart space and living environments.


Remarks on a Tropical Key Exchange System. We consider a key exchange protocol based on matrices over a tropical semiring which was recently proposed in cite grig19 . We show that a particular private parameter of that protocol can be recovered with a simple binary search, rendering it insecure.


Geodesic boundary of constant mean curvature surfaces in mathbb H 2 times mathbb R . Some results about the geodesic boundary of minimal surfaces in mathbb H 2 times mathbb R are generalized for surfaces of constant mean curvature surfaces H , with 0 le H le 1 2 .


A random walk Monte Carlo simulation study of COVID 19 like infection spread. Recent analysis of early COVID 19 data from China showed that the number of confirmed cases followed a subexponential power law increase, with a growth exponent of around 2.2 B. ,F. Maier, D. Brockmann, it Science bf 368 , 742 (2020) . The power law behavior was attributed to a combination of effective containment and mitigation measures employed as well as behavioral changes by the population. In this work, we report a random walk Monte Carlo simulation study of proximity based infection spread. Control interventions such as lockdown measures and mobility restrictions are incorporated in the simulations through a single parameter, the size of each step in the random walk process. The step size l is taken to be a multiple of langle r rangle , which is the average separation between individuals. Three temporal growth regimes (quadratic, intermediate power law and exponential) are shown to emerge naturally from our simulations. For l langle r rangle , we get intermediate power law growth exponents that are in general agreement with available data from China. On the other hand, we obtain a quadratic growth for smaller step sizes l lesssim langle r rangle 2 , while for large l the growth is found to be exponential. Together with available data, these results suggest that the early containment of the disease within China was close to optimal. We further performed a comparative case study of early fatality data (under varying levels of lockdown conditions) from three other countries, India, Brazil and South Africa. We show that reasonable agreement with these data can be obtained by incorporating small world like connections in our simulations.


Conformal biderivations of loop W(a,b) Lie conformal algebra. In this paper, we study conformal biderivations of a Lie conformal algebra. First, we give the definition of conformal biderivation. Next, we determine the conformal biderivations of loop W(a,b) Lie conformal algebra, loop Virasoro Lie conformal algebra and Virasoro Lie conformal algebra. Especially, all conformal biderivations on Virasoro Lie conformal algebra are inner conformal biderivations.


Self supervised Training of Graph Convolutional Networks. Graph Convolutional Networks (GCNs) have been successfully applied to analyze non grid data, where the classical convolutional neural networks (CNNs) cannot be directly used. One similarity shared by GCNs and CNNs is the requirement of massive amount of labeled data for network training. In addition, GCNs need the adjacency matrix as input to define the relationship between those non grid data, which leads to all of data including training, validation and test data typically forms only one graph structures data for training. Furthermore, the adjacency matrix is usually pre defined and stationary, which makes the data augmentation strategies cannot be employed on the constructed graph structures data to augment the amount of training data. To further improve the learning capacity and model performance under the limited training data, in this paper, we propose two types of self supervised learning strategies to exploit available information from the input graph structure data itself. Our proposed self supervised learning strategies are examined on two representative GCN models with three public citation network datasets Citeseer, Cora and Pubmed. The experimental results demonstrate the generalization ability as well as the portability of our proposed strategies, which can significantly improve the performance of GCNs with the power of self supervised learning in improving feature learning.


Non Stationary Latent Bandits. Users of recommender systems often behave in a non stationary fashion, due to their evolving preferences and tastes over time. In this work, we propose a practical approach for fast personalization to non stationary users. The key idea is to frame this problem as a latent bandit, where the prototypical models of user behavior are learned offline and the latent state of the user is inferred online from its interactions with the models. We call this problem a non stationary latent bandit. We propose Thompson sampling algorithms for regret minimization in non stationary latent bandits, analyze them, and evaluate them on a real world dataset. The main strength of our approach is that it can be combined with rich offline learned models, which can be misspecified, and are subsequently fine tuned online using posterior sampling. In this way, we naturally combine the strengths of offline and online learning.


Packing of permutations into Latin squares. For every positive integer n greater than 4 there is a set of Latin squares of order n such that every permutation of the numbers 1, ldots,n appears exactly once as a row, a column, a reverse row or a reverse column of one of the given Latin squares. If n is greater than 4 and not of the form p or 2p for some prime number p congruent to 3 modulo 4 , then there always exists a Latin square of order n in which the rows, columns, reverse rows and reverse columns are all distinct permutations of 1, ldots,n , and which constitute a permutation group of order 4n . If n is prime congruent to 1 modulo 4 , then a set of (n 1) 4 mutually orthogonal Latin squares of order n can also be constructed by a classical method of linear algebra in such a way, that the rows, columns, reverse rows and reverse columns are all distinct and constitute a permutation group of order n(n 1) .


A review of Local to Nonlocal coupling methods in nonlocal diffusion and nonlocal mechanics. Local to Nonlocal (LtN) coupling refers to a class of methods aimed at combining nonlocal and local modeling descriptions of a given system into a unified coupled representation. This allows to consolidate the accuracy of nonlocal models with the computational expediency of their local counterparts, while often simultaneously removing additional nonlocal modeling issues such as surface effects. The number and variety of proposed LtN coupling approaches have significantly grown in recent year, yet the field of LtN coupling continues to grow and still has open challenges. This review provides an overview of the state of the art of LtN coupling in the context of nonlocal diffusion and nonlocal mechanics, specifically peridynamics. We present a classification of LtN coupling methods and discuss common features and challenges. The goal of this review is not to provide a preferred way to address LtN coupling but to present a broad perspective of the field, which would serve as guidance for practitioners in the selection of appropriate LtN coupling methods based on the characteristics and needs of the problem under consideration.


Ozawa's class mathcal S for locally compact groups and unique prime factorization. We study class mathcal S for locally compact groups. We characterize locally compact groups in this class as groups having an amenable action on a boundary that is small at infinity, generalizing a theorem of Ozawa. Using this characterization, we provide new examples of groups in class mathcal S and prove unique prime factorization results for group von Neumann algebras of products of locally compact groups in this class. We also prove that class mathcal S is a measure equivalence invariant.


Counting solvable S unit equations. We obtain upper bounds on the number of finite sets mathcal S of primes below a given bound for which various 2 variable mathcal S unit equations have a solution.


LocationSpark In memory Distributed Spatial Query Processing and Optimization. Due to the ubiquity of spatial data applications and the large amounts of spatial data that these applications generate and process, there is a pressing need for scalable spatial query processing. In this paper, we present new techniques for spatial query processing and optimization in an in memory and distributed setup to address scalability. More specifically, we introduce new techniques for handling query skew, which is common in practice, and optimize communication costs accordingly. We propose a distributed query scheduler that use a new cost model to optimize the cost of spatial query processing. The scheduler generates query execution plans that minimize the effect of query skew. The query scheduler employs new spatial indexing techniques based on bitmap filters to forward queries to the appropriate local nodes. Each local computation node is responsible for optimizing and selecting its best local query execution plan based on the indexes and the nature of the spatial queries in that node. All the proposed spatial query processing and optimization techniques are prototyped inside Spark, a distributed memory based computation system. The experimental study is based on real datasets and demonstrates that distributed spatial query processing can be enhanced by up to an order of magnitude over existing in memory and distributed spatial systems.