Patchworking Oriented Matroids. In a previous work, we gave a construction of (not necessarily realizable) oriented matroids from a triangulation of a product of two simplices. In this follow up paper, we use a variant of Viro's patchworking to derive a topological representation of the oriented matroid directly from the polyhedral structure of the triangulation, hence finding a combinatorial manifestation of patchworking besides tropical algebraic geometry. We achieve this by rephrasing the patchworking procedure as a controlled cell merging process, guided by the structure of tropical oriented matroids. A key insight is a new promising technique to show that the final cell complex is regular.


Online Firefighting on Grids. The Firefighter Problem (FP) is a graph problem originally introduced in 1995 to model the spread of a fire in a graph, which has attracted considerable attention in the literature. The goal is to devise a strategy to employ a given sequence of firefighters on strategic points in the graph in order to contain efficiently the fire (which spreads from each unprotected vertex to all of it neighbours on successive time steps). Recently, an online version of FP where the number of firefighters available at each turn are revealed in real time has been introduced in the literature and studied on trees. In this paper, we consider the online containment of fire on square grids. In particular, we provide a set of sufficient conditions that allow to solve the online version of the firefighting problem on infinite square grids, illustrating the corresponding fire containment strategies.


Energy currents in the field formed by waves with different frequencies. The behavior of instantaneous and averaged vectors of the Poynting vector transverse component for the resulting field formed as a superposition of waves with different frequencies and different polarizations is considered. Results of computer simulation and experimental data are obtained for the superposition of frequently differed vortices with different and the same signs of topological charges. It is shown that the captured particle rotates due to the orbital momentum and substantial increase of particle rotation speed in the case of polychromatic radiation as opposed to monochromatic is observed.


Solitary Spectrally Discrete Bound States in the Continuum in an Open System. Bound states in the continuum (BICs) exist in a variety of physical systems where they appear as lossless propagating states surrounded by radiating modes. However, in the case of open systems, they coexist with continuous families of guided states, which may be modes or other BICs, located in different regions of the frequency momentum parameter space. Here we report that waveguiding structures comprising anisotropic materials with two radiation channels where continuous families of modes are not possible whatsoever can support discrete BICs that exist for a single frequency and a single propagation direction. The results are isolated spectrally discrete BIC states existing as lossless needles emerging from a sea of radiating leaky modes.


Orientation Preserving Vectorized Distance Between Curves. We introduce an orientation preserving landmark based distance for continuous curves, which can be viewed as an alternative to the Frechet or Dynamic Time Warping distances. This measure retains many of the properties of those measures, and we prove some relations, but can be interpreted as a Euclidean distance in a particular vector space. Hence it is significantly easier to use, faster for general nearest neighbor queries, and allows easier access to classification results than those measures. It is based on the emph signed distance function to the curves or other objects from a fixed set of landmark points. We also prove new stability properties with respect to the choice of landmark points, and along the way introduce a concept called signed local feature size (slfs) which parameterizes these notions. Slfs explains the complexity of shapes such as non closed curves where the notion of local orientation is in dispute but is more general than the well known concept of (unsigned) local feature size, and is for instance infinite for closed simple curves. Altogether, this work provides a novel, simple, and powerful method for oriented shape similarity and analysis.


Learning Unbiased Representations via Mutual Information Backpropagation. We are interested in learning data driven representations that can generalize well, even when trained on inherently biased data. In particular, we face the case where some attributes (bias) of the data, if learned by the model, can severely compromise its generalization properties. We tackle this problem through the lens of information theory, leveraging recent findings for a differentiable estimation of mutual information. We propose a novel end to end optimization strategy, which simultaneously estimates and minimizes the mutual information between the learned representation and the data attributes. When applied on standard benchmarks, our model shows comparable or superior classification performance with respect to state of the art approaches. Moreover, our method is general enough to be applicable to the problem of algorithmic fairness'', with competitive results.


Scaling in Decaying Turbulence at High Reynolds Numbers. The way the increment statistics of turbulent velocity fluctuations scale with the increment size is a centerpiece of turbulence theories. We report data on decaying turbulence in the Max Planck Variable Density Turbulence Tunnel (VDTT), which show an approach of the inertial range statistics toward a nontrivial shape at small scales. By correcting for the contributions of energy decay to the large scale statistics with a model, we find the scaling exponent of the second order velocity increment statistics to be independent of the Reynolds number and equal to 0.693 pm0.003 for 2000 lesssim R lambda lesssim 6000 . This is evidence of a universal inertial range at high Reynolds numbers.


Fluctuations of time averages around closed geodesics in non positive curvature. We consider the geodesic flow for a rank one non positive curvature closed manifold. We prove an asymptotic version of the Central Limit Theorem for families of measures constructed from regular closed geodesics converging to the Bowen Margulis Knieper measure of maximal entropy. The technique expands on ideas of Denker, Senti and Zhang, who proved this type of asymptotic Lindeberg Central Limit Theorem on periodic orbits for expansive maps with the specification property. We extend these techniques from the uniform to the non uniform setting, and from discrete time to continuous time. We consider H "older observables subject only to the Lindeberg condition and a weak positive variance condition. If we assume a natural strengthened positive variance condition, the Lindeberg condition is always satisfied. Our results extend to dynamical arrays of H "older observables, and to weighted periodic orbit measures which converge to a unique equilibrium state.


Determination of an Optimal Control Strategy for Vaccine Administration in COVID 19 Pandemic Treatment. During decades, mathematical models have been used to predict the behavior of physical and biologic systems, and to define strategies aiming the minimization of the effects regarding different types of diseases. In the present days, the development of mathematical models to simulate the dynamic behavior of novel coronavirus disease (COVID 19) is considered an important theme due to the quantity of infected people worldwide. In this work, the aim is to determine an optimal control strategy for vaccine administration in COVID 19 pandemic treatment considering real data from China. For this purpose, an inverse problem is formulated and solved in order to determine the parameters of the compartmental SIR (Susceptible Infectious Recovered) model. To solve such inverse problem, the Differential Evolution (DE) algorithm is employed. After this step, two optimal control problems (mono and multi objective) to determine the optimal strategy for vaccine administration in COVID 19 pandemic treatment are proposed. The first consists of minimizing the quantity of infected individuals during the treatment. The second considers minimizing together the quantity of infected individuals and the prescribed vaccine concentration during the treatment, i.e., a multi objective optimal control problem. The solution of each optimal control problems is obtained using DE and Multi Objective Differential Evolution (MODE) algorithms, respectively. The results regarding the proposed multi objective optimal control problem provides a set of evidences from which an optimal strategy for vaccine administration can be chosen, according to a given criterion.


Know Your Limits Uncertainty Estimation with ReLU Classifiers Fails at Reliable OOD Detection. A crucial requirement for reliable deployment of deep learning models for safety critical applications is the ability to identify out of distribution (OOD) data points, samples which differ from the training data and on which a model might underperform. Previous work has attempted to tackle this problem using uncertainty estimation techniques. However, there is empirical evidence that a large family of these techniques do not detect OOD reliably in classification tasks. This paper gives a theoretical explanation for said experimental findings and illustrates it on synthetic data. We prove that such techniques are not able to reliably identify OOD samples in a classification setting, since their level of confidence is generalized to unseen areas of the feature space. This result stems from the interplay between the representation of ReLU networks as piece wise affine transformations, the saturating nature of activation functions like softmax, and the most widely used uncertainty metrics.


A combinatorial formula for the nabla operator. We present an LLT type formula for a general power of the nabla operator applied to the Cauchy product for the modified Macdonald polynomials, and use it to deduce a new proof of the generalized shuffle theorem describing nabla k e n , and the Elias Hogancamp formula for ( nabla k p 1 n,e n) as corollaries. We give a direct proof of the theorem by verifying that the LLT expansion satisfies the defining properties of nabla k , such as triangularity in the dominance order, as well as a geometric proof based on a method for counting bundles on mathbb P 1 due to the second author. These formulas are related to an affine paving of the type A unramified affine Springer fiber studied by Goresky, Kottwitz, and MacPherson, and also to Stanley's chromatic symmetric functions.


Analytical Inverse For The Symmetric Circulant Tridiagonal Matrix. Finding the inverse of a matrix is an open problem especially when it comes to engineering problems due to their complexity and running time (cost) of matrix inversion algorithms. An optimum strategy to invert a matrix is, first, to reduce the matrix to a simple form, only then beginning a mathematical procedure. For symmetric matrices, the preferred simple form is tridiagonal. This makes tridiagonal matrices of high interest in applied mathematics and engineering problems. This study presents a time efficient, exact analytical approach for finding the inverse, decomposition, and solving linear systems of equations where symmetric circulant matrix appears. This matrix appears in many researches and it is different from ordinary tridiagonal matrices as there are two corner elements. For finding the inverse matrix, a set of matrices are introduced that any symmetric circulant matrix could be decomposed into them. After that, the exact analytical inverse of this set is found which gives the inverse of circulant matrix. Moreover, solving linear equations can be carried out using implemented decomposition where this matrix appears as a coefficient matrix. The methods principal strength is that it is as stable as any other direct methods (i.e., execute in a predictable number of operations). It is straightforward, understandable, solid as a rock and an exceptionally good psychological backup for those times when something is going wrong and you think it might be your linear equation solver. The downside of present method, and every other direct method, is the accumulation of round off errors.


Effective finite generation for IA n,IA n and the Johnson kernel. Let IA n denote the group of IA automorphisms of a free group of rank n , and let mathcal I n b denote the Torelli subgroup of the mapping class group of an orientable surface of genus n with b boundary components, b 0,1 . In 1935 Magnus proved that IA n is finitely generated for all n , and in 1983 Johnson proved that mathcal I n b is finitely generated for n geq 3 . It was recently shown that for each k in mathbb N , the k rm th terms of the lower central series gamma k IA n and gamma k mathcal I n b are finitely generated when n k however, no information about finite generating sets was known for k 1 . The main goal of this paper is to construct an explicit finite generating set for gamma 2 IA n IA n,IA n and almost explicit finite generating sets for gamma 2 mathcal I n b and the Johnson kernel, which contains gamma 2 mathcal I n b as a finite index subgroup.


Automatic mobility analysis of parallel mechanisms an algorithm approach based on position and orientation characteristic equations. The determination of the mobility of parallel mechanisms (PM) is a fundamental problem. An automatic and intelligent analysis platform will be a significant tool for the design and optimization of mechanical systems. Based on the theory of position and orientation characteristics (POC) equations, a systematic approach to computer aided mobility analysis of PMs is presented in this paper. First, a digital model for topological structures which has a mapping relationship with position and orientation characteristics of mechanism is proposed. It describes not only the dimension of the motion output, but also gives the mapping relationship between the output characteristic and the axis of the kinematic joints. Secondly, algorithmic rules are established that convert the union and intersection operations of POC into the binary logical operations and the automatic analysis of POC are realized. Then, the algorithm of the automatic mobility analysis of PMs and its implementation with VC are written .The mobility and its properties (POC) will also be analyzed and displayed automatically after introducing by users of the data of topological structures representation. Finally, typical examples are provided to show the effectiveness of the software platform.


Deep Bayesian Active Learning for Multiple Correct Outputs. Typical active learning strategies are designed for tasks, such as classification, with the assumption that the output space is mutually exclusive. The assumption that these tasks always have exactly one correct answer has resulted in the creation of numerous uncertainty based measurements, such as entropy and least confidence, which operate over a model's outputs. Unfortunately, many real world vision tasks, like visual question answering and image captioning, have multiple correct answers, causing these measurements to overestimate uncertainty and sometimes perform worse than a random sampling baseline. In this paper, we propose a new paradigm that estimates uncertainty in the model's internal hidden space instead of the model's output space. We specifically study a manifestation of this problem for visual question answer generation (VQA), where the aim is not to classify the correct answer but to produce a natural language answer, given an image and a question. Our method overcomes the paraphrastic nature of language. It requires a semantic space that structures the model's output concepts and that enables the usage of techniques like dropout based Bayesian uncertainty. We build a visual semantic space that embeds paraphrases close together for any existing VQA model. We empirically show state of art active learning results on the task of VQA on two datasets, being 5 times more cost efficient on Visual Genome and 3 times more cost efficient on VQA 2.0.


SelfORE Self supervised Relational Feature Learning for Open Relation Extraction. Open relation extraction is the task of extracting open domain relation facts from natural language sentences. Existing works either utilize heuristics or distant supervised annotations to train a supervised classifier over pre defined relations, or adopt unsupervised methods with additional assumptions that have less discriminative power. In this work, we proposed a self supervised framework named SelfORE, which exploits weak, self supervised signals by leveraging large pretrained language model for adaptive clustering on contextualized relational features, and bootstraps the self supervised signals by improving contextualized features in relation classification. Experimental results on three datasets show the effectiveness and robustness of SelfORE on open domain Relation Extraction when comparing with competitive baselines.


Ransomware as a Service using Smart Contracts and IPFS. Decentralized systems, such as distributed ledgers and the InterPlanetary File System (IPFS), are designed to offer more open and robust services. However, they also create opportunities for illegal activities. We demonstrate how these technologies can be used to launch a ransomware as a service campaign. We show that criminals can transact with affiliates and victims without having to reveal their identity. Furthermore, by exploiting the robustness and resilience to churn of IPFS, as well as the decentralized computing capabilities of Ethereum, criminals can remain offline during most procedures, with many privacy guarantees.


Achievements and New Challenges for CERN's Digital LLRF Family. An innovative digital Low Level RF (LLRF) family has been developed at CERN and deployed on several circular machines. Operation of CERN's PS Booster (PSB), Low Energy Ion Ring (LEIR) and Extra Low ENergy Antiproton (ELENA) ring all reaped great benefit from the flexibility and processing power of this new family. Beam and cavity feedback loops have been implemented, as well as bunch shaping, longitudinal blowup and bunch splitting. For ELENA, longitudinal diagnostics such as bunched beam intensity and bunch length measurements have also been deployed. During Long Shutdown 2 (LS2) the ferrite based High Level RF (HLRF) systems of the Antiproton Decelerator (AD) and of the four ring PSB will be replaced with Finemet based HLRF. This will require a new LLRF system for the AD and deep upgrades to the existing PSB LLRF systems. This paper gives an overview of the main results achieved by the digital LLRF family so far and of the challenges the LLRF team will take on during LS2.


Small Primes And The Tau Function. This note shows that the prime values of the Ramanujan tau function tau(n) pm p misses every prime p leq 8.0 times 10 25 .


Tutte Polynomial Activities. Unlike Whitney's definition of the corank nullity generating function T(G x 1,y 1) , Tutte's definition of his now eponymous polynomial T(G x,y) requires a total order on the edges of which the polynomial is a posteriori independent. Tutte presented his definition in terms of internal and external activities of maximal spanning forests. Although Tutte's original definition may appear somewhat ad hoc upon first inspection, subsequent work by various researchers has demonstrated that activity is a deep combinatorial concept. In this survey, we provide an introduction to activities for graphs and matroids. Our primary goal is to survey several notions of activity for graphs which admit expansions of the Tutte polynomial. Additionally, we describe some fundamental structural theorems, and outline connections to the topological notion of shellability as well as several topics in algebraic combinatorics.


Number of points of certain Artin Schreier curves. We prove a conjecture of Johansen, Helleseth and Kholosha concerning equality of exponential sums related to the cross correlation of m sequences. In the proof we show that certain Artin Schreier curves have the same number of points over finite fields. This has a consequence regarding the L polynomials of these curves.


Overt and covert paths for sound in the auditory system of mammals. Current scientific consensus holds that sound is transmitted, solely mechanically, from the tympanum to the cochlea via ossicles. But this theory does not explain the hearing extreme quality regarding high frequencies in mammals. So, we propose a bioelectronic pathway (the covert path) that is complementary to the overt path.. We demonstrate experimentally that the tympanum produces piezoelectric potentials isochronous to acoustic vibrations thanks to its collagen fibers and that their amplitude increases along with the frequency and level of the vibrations. This finding supports the existence of an electrical pathway, specialized in transmitting high frequency sounds, that works in unison with the mechanical pathway. A bio organic triode, similar to a field effect transistor, is the key mechanism of our hypothesized pathway. We present evidence that any deficiency along this pathway produces hearing impairment. By augmenting the classical theory of sound transmission, our discovery offers new perspectives for research into both normal and pathological audition and may contribute to an understanding of genetic and physiological problems of hearing.


Supporting Expert Close Analysis of Historical Scientific Writings A Case Study for Near by Reading. Distant reading methodologies make use of computational processes to aid in the analysis of large text corpora which might not be pliable to traditional methods of scholarly analysis due to their volume. While these methods have been applied effectively to a variety of types of texts and contexts, they can leave unaddressed the needs of scholars in the humanities disciplines like history, who often engage in close reading of sources. Complementing the close analysis of texts with some of the tools of distant reading, such as visualization, can resolve some of the issues. We focus on a particular category of this intersection which we refer to as near by reading wherein an expert engages in a computer mediated analysis of a text with which they are familiar. We provide an example of this approach by developing a visual analysis application for the near by reading of 19th century scientific writings by J. W. von Goethe and A. P. de Candolle. We show that even the most formal and public texts, such as scientific treatises, can reveal unexpressed personal biases and philosophies that the authors themselves might not have recognized.


On homomorphisms involving a hook Weyl module. Let k be an infinite field of positive characteristic. We determine all homomorphisms between Weyl modules for GLn(k) , where one of the partitions is a hook. As a consequence we obtain a nonvanishing result concerning homomorphisms between Weyl modules for algebraic groups of type B, C and D when one of the partitions is a hook.


Learning to Adapt Invariance in Memory for Person Re identification. This work considers the problem of unsupervised domain adaptation in person re identification (re ID), which aims to transfer knowledge from the source domain to the target domain. Existing methods are primary to reduce the inter domain shift between the domains, which however usually overlook the relations among target samples. This paper investigates into the intra domain variations of the target domain and proposes a novel adaptation framework w.r.t. three types of underlying invariance, i.e., Exemplar Invariance, Camera Invariance, and Neighborhood Invariance. Specifically, an exemplar memory is introduced to store features of samples, which can effectively and efficiently enforce the invariance constraints over the global dataset. We further present the Graph based Positive Prediction (GPP) method to explore reliable neighbors for the target domain, which is built upon the memory and is trained on the source samples. Experiments demonstrate that 1) the three invariance properties are indispensable for effective domain adaptation, 2) the memory plays a key role in implementing invariance learning and improves the performance with limited extra computation cost, 3) GPP could facilitate the invariance learning and thus significantly improves the results, and 4) our approach produces new state of the art adaptation accuracy on three re ID large scale benchmarks.


Contribution au Niveau de l'Approche Indirecte a Base de Transfert dans la Traduction Automatique. In this thesis, we address several important issues concerning the morphological analysis of Arabic language applied to textual data and machine translation. First, we provided an overview on machine translation, its history and its development, then we exposed human translation techniques for eventual inspiration in machine translation, and we exposed linguistic approaches and particularly indirect transfer approaches. Finally, we presented our contributions to the resolution of morphosyntactic problems in computer linguistics as multilingual information retrieval and machine translation. As a first contribution, we developed a morphological analyzer for Arabic, and we have exploited it in the bilingual information retrieval such as a computer application of multilingual documentary. Results validation showed a statistically significant performance. In a second contribution, we proposed a list of morphosyntactic transfer rules from English to Arabic for translation in three phases analysis, transfer, generation. We focused on the transfer phase without semantic distortion for an abstraction of English in a sufficient subset of Arabic.


Random walks in negative curvature and boundary representations. In this paper we establish a version of the Margulis Roblin equidistribution theorem's for harmonic measures. As a consequence a von Neumann type theorem is obtained for boundary actions and the irreducibility of the associated quasi regular representations is deduced.


Inverse problems with second order Total Generalized Variation constraints. Total Generalized Variation (TGV) has recently been introduced as penalty functional for modelling images with edges as well as smooth variations. It can be interpreted as a "sparse" penalization of optimal balancing from the first up to the k th distributional derivative and leads to desirable results when applied to image denoising, i.e., L 2 fitting with TGV penalty. The present paper studies TGV of second order in the context of solving ill posed linear inverse problems. Existence and stability for solutions of Tikhonov functional minimization with respect to the data is shown and applied to the problem of recovering an image from blurred and noisy data.


Regularization with Latent Space Virtual Adversarial Training. Virtual Adversarial Training (VAT) has shown impressive results among recently developed regularization methods called consistency regularization. VAT utilizes adversarial samples, generated by injecting perturbation in the input space, for training and thereby enhances the generalization ability of a classifier. However, such adversarial samples can be generated only within a very small area around the input data point, which limits the adversarial effectiveness of such samples. To address this problem we propose LVAT (Latent space VAT), which injects perturbation in the latent space instead of the input space. LVAT can generate adversarial samples flexibly, resulting in more adverse effects and thus more effective regularization. The latent space is built by a generative model, and in this paper, we examine two different type of models variational auto encoder and normalizing flow, specifically Glow. We evaluated the performance of our method in both supervised and semi supervised learning scenarios for an image classification task using SVHN and CIFAR 10 datasets. In our evaluation, we found that our method outperforms VAT and other state of the art methods.


Visualizing biomolecular electrostatics in virtual reality with UnityMol APBS. Virtual reality is a powerful tool with the ability to immerse a user within a completely external environment. This immersion is particularly useful when visualizing and analyzing interactions between small organic molecules, molecular inorganic complexes, and biomolecular systems such as redox proteins and enzymes. A common tool used in the biomedical community to analyze such interactions is the APBS software, which was developed to solve the equations of continuum electrostatics for large biomolecular assemblages. Numerous applications exist for using APBS in the biomedical community including analysis of protein ligand interactions and APBS has enjoyed widespread adoption throughout the biomedical community. Currently, typical use of the full APBS toolset is completed via the command line followed by visualization using a variety of two dimensional external molecular visualization software. This process has inherent limitations visualization of three dimensional objects using a two dimensional interface masks important information within the depth component. Herein, we have developed a single application, UnityMol APBS, that provides a dual experience where users can utilize the full range of the APBS toolset, without the use of a command line interface, by use of a simple ac GUI for either a standard desktop or immersive virtual reality experience.


Exact Solov'ev equilibrium with an arbitrary boundary. Exact Solov'ev equilibria for arbitrary plasma cross sections are calculated using a constrained least squares method. The boundary, with or without X points, can be specified with an arbitrarily large number of constraints to ensure an accurate representation. Thus, the order of the polynomial basis functions in the homogeneous solution of the Grad Shafranov equation becomes an independent parameter determined only by the accuracy requirements of the overall solution. Examples of exact, highly shaped equilibria are presented.


Free cyclic group actions on highly connected 2n manifolds. In this paper we study smooth orientation preserving free actions of the cyclic group mathbb Z m on a class of (n 1) connected 2n manifolds, sharp g (S n times S n) sharp Sigma , where Sigma is a homotopy 2n sphere. When n 2 we obtain a classification up to topological conjugation. When n 3 we obtain a classification up to smooth conjugation. When n ge 4 we obtain a classification up to smooth conjugation when the prime factors of m are larger than a constant C(n) .


New Confocal Hyperbola based Ellipse Fitting with Applications to Estimating Parameters of Mechanical Pipes from Point Clouds. This manuscript presents a new method for fitting ellipses to two dimensional data using the confocal hyperbola approximation to the geometric distance of points to ellipses. The proposed method was evaluated and compared to established methods on simulated and real world datasets. First, it was revealed that the confocal hyperbola distance considerably outperforms other distance approximations such as algebraic and Sampson. Next, the proposed ellipse fitting method was compared with five reliable and established methods proposed by Halir, Taubin, Kanatani, Ahn and Szpak. The performance of each method as a function of rotation, aspect ratio, noise, and arc length were examined. It was observed that the proposed ellipse fitting method achieved almost identical results (and in some cases better) than the gold standard geometric method of Ahn and outperformed the remaining methods in all simulation experiments. Finally, the proposed method outperformed the considered ellipse fitting methods in estimating the geometric parameters of cylindrical mechanical pipes from point clouds. The results of the experiments show that the confocal hyperbola is an excellent approximation to the true geometric distance and produces reliable and accurate ellipse fitting in practical settings.


Positive solutions of systems of perturbed Hammerstein integral equations with arbitrary order dependence. Motivated by the study of systems of higher order boundary value problems with functional boundary conditions, we discuss, by topological methods, the solvability of a fairly general class of systems of perturbed Hammerstein integral equations, where the nonlinearities and the functionals involved depend on some derivatives. We improve and complement earlier results in the literature. We also provide some examples in order to illustrate the applicability of the theoretical results.


Counting Homomorphisms Modulo a Prime Number. Counting problems in general and counting graph homomorphisms in particular have numerous applications in combinatorics, computer science, statistical physics, and elsewhere. One of the most well studied problems in this area is GraphHom(H) the problem of finding the number of homomorphisms from a given graph G to the graph H. Not only the complexity of this basic problem is known, but also of its many variants for digraphs, more general relational structures, graphs with weights, and others. In this paper we consider a modification of GraphHom(H), the p GraphHom(H) problem, p a prime number Given a graph G, find the number of homomorphisms from G to H modulo p. In a series of papers Faben and Jerrum, and Goebel et al. determined the complexity of 2 GraphHom(H) in the case H (or, in fact, a certain graph derived from H) is square free, that is, does not contain a 4 cycle. Also, Goebel et al. found the complexity of p GraphHom(H) for an arbitrary prime p when H is a tree. Here we extend the above result to show that the p GraphHom(H) problem is p P hard whenever the derived graph associated with H is square free and is not a star, which completely classifies the complexity of p GraphHom(H) for square free graphs H.


Peer Reviewing Revisited Assessing Research with Interlinked Semantic Comments. Scientific publishing seems to be at a turning point. Its paradigm has stayed basically the same for 300 years but is now challenged by the increasing volume of articles that makes it very hard for scientists to stay up to date in their respective fields. In fact, many have pointed out serious flaws of current scientific publishing practices, including the lack of accuracy and efficiency of the reviewing process. To address some of these problems, we apply here the general principles of the Web and the Semantic Web to scientific publishing, focusing on the reviewing process. We want to determine if a fine grained model of the scientific publishing workflow can help us make the reviewing processes better organized and more accurate, by ensuring that review comments are created with formal links and semantics from the start. Our contributions include a novel model called Linkflows that allows for such detailed and semantically rich representations of reviews and the reviewing processes. We evaluate our approach on a manually curated dataset from several recent Computer Science journals and conferences that come with open peer reviews. We gathered ground truth data by contacting the original reviewers and asking them to categorize their own review comments according to our model. Comparing this ground truth to answers provided by model experts, peers, and automated techniques confirms that our approach of formally capturing the reviewers' intentions from the start prevents substantial discrepancies compared to when this information is later extracted from the plain text comments. In general, our analysis shows that our model is well understood and easy to apply, and it revealed the semantic properties of such review comments.


A general approach to bridge the reality gap. Employing machine learning models in the real world requires collecting large amounts of data, which is both time consuming and costly to collect. A common approach to circumvent this is to leverage existing, similar data sets with large amounts of labelled data. However, models trained on these canonical distributions do not readily transfer to real world ones. Domain adaptation and transfer learning are often used to breach this "reality gap", though both require a substantial amount of real world data. In this paper we discuss a more general approach we propose learning a general transformation to bring arbitrary images towards a canonical distribution where we can naively apply the trained machine learning models. This transformation is trained in an unsupervised regime, leveraging data augmentation to generate off canonical examples of images and training a Deep Learning model to recover their original counterpart. We quantify the performance of this transformation using pre trained ImageNet classifiers, demonstrating that this procedure can recover half of the loss in performance on the distorted data set. We then validate the effectiveness of this approach on a series of pre trained ImageNet models on a real world data set collected by printing and photographing images in different lighting conditions.


Auto completion for Data Cells in Relational Tables. We address the task of auto completing data cells in relational tables. Such tables describe entities (in rows) with their attributes (in columns). We present the CellAutoComplete framework to tackle several novel aspects of this problem, including (i) enabling a cell to have multiple, possibly conflicting values, (ii) supplementing the predicted values with supporting evidence, (iii) combining evidence from multiple sources, and (iv) handling the case where a cell should be left empty. Our framework makes use of a large table corpus and a knowledge base as data sources, and consists of preprocessing, candidate value finding, and value ranking components. Using a purpose built test collection, we show that our approach is 40 more effective than the best baseline.


An Agency Directed Approach to Test Generation for Simulation based Autonomous Vehicle Verification. Simulation based verification is beneficial for assessing otherwise dangerous or costly on road testing of autonomous vehicles (AV). This paper addresses the challenge of efficiently generating effective tests for simulation based AV verification using software testing agents. The multi agent system (MAS) programming paradigm offers rational agency, causality and strategic planning between multiple agents. We exploit these aspects for test generation, focusing in particular on the generation of tests that trigger the precondition of an assertion. On the example of a key assertion we show that, by encoding a variety of different behaviours respondent to the agent's perceptions of the test environment, the agency directed approach generates twice as many effective tests than pseudo random test generation, while being both efficient and robust. Moreover, agents can be encoded to behave naturally without compromising the effectiveness of test generation. Our results suggest that generating tests using agency directed testing significantly improves upon random and simultaneously provides more realistic driving scenarios.


DeepSampling Selectivity Estimation with Predicted Error and Response Time. The rapid growth of spatial data urges the research community to find efficient processing techniques for interactive queries on large volumes of data. Approximate Query Processing (AQP) is the most prominent technique that can provide real time answer for ad hoc queries based on a random sample. Unfortunately, existing AQP methods provide an answer without providing any accuracy metrics due to the complex relationship between the sample size, the query parameters, the data distribution, and the result accuracy. This paper proposes DeepSampling, a deep learning based model that predicts the accuracy of a sample based AQP algorithm, specially selectivity estimation, given the sample size, the input distribution, and query parameters. The model can also be reversed to measure the sample size that would produce a desired accuracy. DeepSampling is the first system that provides a reliable tool for existing spatial databases to control the accuracy of AQP.


Efficient Trajectory Generation for Robotic Systems Constrained by Contact Forces. In this work, we propose a trajectory generation method for robotic systems with contact force constraint based on optimal control and reachability analysis. Normally, the dynamics and constraints of the contact constrained robot are nonlinear and coupled to each other. Instead of linearizing the model and constraints, we directly solve the optimal control problem to obtain the feasible state trajectory and the control input of the system. A tractable optimal control problem is formulated which is addressed by dual approaches, which are sampling based dynamic programming and rigorous reachability analysis. The sampling based method and Partially Observable Markov Decision Process (POMDP) are used to break down the end to end trajectory generation problem via sample wise optimization in terms of given conditions. The result generates sequential pairs of subregions to be passed to reach the final goal. The reachability analysis ensures that we will find at least one trajectory starting from a given initial state and going through a sequence of subregions. The distinctive contributions of our method are to enable handling the intricate contact constraint coupled with system's dynamics due to the reduction of computational complexity of the algorithm. We validate our method using extensive numerical simulations with a legged robot.


Validation of Automatically Generated Patches An Appetizer. In the context of test case based automated program repair (APR), the research community call the patches that pass all the test cases but fail to actually fix the bug test case overfitted patches. Currently, overfitted patches has to be manually inspected by the users. Being a labor intensive activity that hinders widespread adoption of APR tools, automatic validation of APR generated patches has been the topic of research in recent years. In this paper, we point out the limitations of the existing techniques methodologies that call for further research, and introduce two promising directions toward effective automatic patch validation (1) motivated by the relative effectiveness of anti patterns, we propose to use statistical techniques to avoid the uncomputability of applying some of the anti pattern rules and automate the technique. Our results show that we achieve at least 57 precision. (2) We present a proposal for a semi automatic technique that helps the programmers in finding properties of the patched methods and stress testing the patches based on those properties so as to filter out overfitted ones as many as possible.


Explainable Composition of Aggregated Assistants. A new design of an AI assistant that has become increasingly popular is that of an "aggregated assistant" realized as an orchestrated composition of several individual skills or agents that can each perform atomic tasks. In this paper, we will talk about the role of planning in the automated composition of such assistants and explore how concepts in automated planning can help to establish transparency of the inner workings of the assistant to the end user.


The Scott rank of Polish metric spaces. We study the usual notion of Scott rank but in the setting of Polish metric spaces. The signature consists of distance relations for each rational q 0 , there is a relation R q (x,y) stating that the distance of x and y is less than q . We show that compact spaces have Scott rank at most omega , and that there are discrete ultrametric spaces of arbitrarily high countable Scott rank.


A Convergence Rate for Extended Source Internal DLA in the Plane. Internal DLA (IDLA) is an internal aggregation model in which particles perform random walks from the origin, in turn, and stop upon reaching an unoccupied site. Levine and Peres showed that, when particles start instead from fixed multiple point distributions, the modified IDLA processes have deterministic scaling limits related to a certain obstacle problem. In this paper, we investigate the convergence rate of this "extended source" IDLA in the plane to its scaling limit. We show that, if delta is the lattice size, fluctuations of the IDLA occupied set are at most of order delta 3 5 from its scaling limit, with probability at least 1 e 1 delta 2 5 .


An optic to replace space and its application towards ultra thin imaging systems. Centuries of effort to improve imaging has focused on perfecting and combining lenses to obtain better optical performance and new functionalities. The arrival of nanotechnology has brought to this effort engineered surfaces called metalenses, which promise to make imaging devices more compact. However, unaddressed by this promise is the space between the lenses, which is crucial for image formation but takes up by far the most room in imaging systems. Here, we address this issue by presenting the concept of and experimentally demonstrating an optical 'spaceplate', an optic that effectively propagates light for a distance that can be considerably longer than the plate thickness. Such an optic would shrink future imaging systems, opening the possibility for ultra thin monolithic cameras. More broadly, a spaceplate can be applied to miniaturize important devices that implicitly manipulate the spatial profile of light, for example, solar concentrators, collimators for light sources, integrated optical components, and spectrometers.


Finite groups with five relative commutativity degrees. We classify all finite groups with five relative commutativity degrees. Also, we give a partial answer to our previous conjecture on a lower bound of the number of relative commutativity degrees of finite groups.


Some remarks on the power product expansion of the q exponential series. We give an overview about the power product expansion of the exponential series and derive some q analogs


Towards 5G Joint Optimization of Video Segment Cache, Transcoding and Resource Allocation for Adaptive Video Streaming in a Muti access Edge Computing Network. The cache and transcoding of the multi access edge computing (MEC) server and wireless resource allocation in eNodeB interact and determine the quality of experience (QoE) of dynamic adaptive streaming over HTTP (DASH) clients in MEC networks. However, the relationship among the three factors has not been explored, which has led to limited improvement in clients' QoE. Therefore, we propose a joint optimization framework of video segment cache and transcoding in MEC servers and resource allocation to improve the QoE of DASH clients. Based on the established framework, we develop a MEC cache management mechanism that consists of the MEC cache partition, video segment deletion, and MEC cache space transfer. Then, a joint optimization algorithm that combines video segment cache and transcoding in the MEC server and resource allocation is proposed. In the algorithm, the clients' channel state and the playback status and cooperation among MEC servers are employed to estimate the client's priority, video segment presentation switch and continuous playback time. Considering the above four factors, we develop a utility function model of clients' QoE. Then, we formulate a mixed integer nonlinear programming mathematical model to maximize the total utility of DASH clients, where the video segment cache and transcoding strategy and resource allocation strategy are jointly optimized. To solve this problem, we propose a low complexity heuristic algorithm that decomposes the original problem into multiple subproblems. The simulation results show that our proposed algorithms efficiently improve client's throughput, received video quality and hit ratio of video segments while decreasing the playback rebuffering time, video segment presentation switch and system backhaul traffic.


Spectral estimates for Riemannian submersions with fibers of basic mean curvature. For Riemannian submersions with fibers of basic mean curvature, we compare the spectrum of the total space with the spectrum of a Schr " o dinger operator on the base manifold. Exploiting this concept, we study submersions arising from actions of Lie groups. In this context, we extend the state of the art results on the bottom of the spectrum under Riemannian coverings. As an application, we compute the bottom of the spectrum and the Cheeger constant of connected, amenable Lie groups.


Some graph theoretical aspects of generalized truncations. A broader definition of generalized truncations of graphs is introduced followed by an exploration of some standard concepts and parameters with regard to generalized truncations.


Medusa A C Library for solving PDEs using Strong Form Mesh Free methods. Medusa, a novel library for implementation of strong form mesh free methods, is described. We identify and present common parts and patterns among many such methods reported in the literature, such as node positioning, stencil selection and stencil weight computation. Many different algorithms exist for each part and the possible combinations offer a plethora of possibilities for improvements of solution procedures that are far from fully understood. As a consequence there are still many unanswered questions in mesh free community resulting in vivid ongoing research in the field. Medusa implements the core mesh free elements as independent blocks, which offers users great flexibility in experimenting with the method they are developing, as well as easily comparing it with other existing methods. The paper describes the chosen abstractions and their usage, illustrates aspects of the philosophy and design, offers some executions time benchmarks and demonstrates the application of the library on cases from linear elasticity and fluid flow in irregular 2D and 3D domains.


Measuring Similarity between Brands using Followers' Post in Social Media. In this paper, we propose a new measure to estimate the similarity between brands via posts of brands' followers on social network services (SNS). Our method was developed with the intention of exploring the brands that customers are likely to jointly purchase. Nowadays, brands use social media for targeted advertising because influencing users' preferences can greatly affect the trends in sales. We assume that data on SNS allows us to make quantitative comparisons between brands. Our proposed algorithm analyzes the daily photos and hashtags posted by each brand's followers. By clustering them and converting them to histograms, we can calculate the similarity between brands. We evaluated our proposed algorithm with purchase logs, credit card information, and answers to the questionnaires. The experimental results show that the purchase data maintained by a mall or a credit card company can predict the co purchase very well, but not the customer's willingness to buy products of new brands. On the other hand, our method can predict the users' interest on brands with a correlation value over 0.53, which is pretty high considering that such interest to brands are high subjective and individual dependent.


Using approximate roots for irreducibility and equi singularity issues in K x y . We provide an irreducibility test in the ring K x y whose complexity is quasi linear with respect to the valuation of the discriminant, assuming the input polynomial F square free and K a perfect field of characteristic zero or greater than deg(F). The algorithm uses the theory of approximate roots and may be seen as a generalization of Abhyankhar's irreducibility criterion to the case of non algebraically closed residue fields. More generally, we show that we can test within the same complexity if a polynomial is pseudo irreducible, a larger class of polynomials containing irreducible ones. If F is pseudo irreducible, the algorithm computes also the valuation of the discriminant and the equisingularity types of the germs of plane curve defined by F along the fiber x 0.


Good practices for Bayesian Optimization of high dimensional structured spaces. The increasing availability of structured but high dimensional data has opened new opportunities for optimization. One emerging and promising avenue is the exploration of unsupervised methods for projecting structured high dimensional data into low dimensional continuous representations, simplifying the optimization problem and enabling the application of traditional optimization methods. However, this line of research has been purely methodological with little connection to the needs of practitioners so far. In this paper, we study the effect of different search space design choices for performing Bayesian Optimization in high dimensional structured datasets. In particular, we analyse the influence of the dimensionality of the latent space, the role of the acquisition function and evaluate new methods to automatically define the optimization bounds in the latent space. Finally, based on experimental results using synthetic and real datasets, we provide recommendations for the practitioners.


An ASP approach for reasoning in a concept aware multipreferential lightweight DL. In this paper we develop a concept aware multi preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept aware multipreference semantics is related to Brewka's framework for qualitative preferences. We exploit Answer Set Programming (in particular, asprin) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic EL bot. The paper is under consideration for acceptance in TPLP.


On the Rayleigh Taylor unstable dynamics of 3D interfacial coherent structures with time dependent acceleration. Rayleigh Taylor instability (RTI) occurs in a range of industrial and natural processes. Whereas the vast majority of existing studies have considered constant acceleration, RTI is in most instances driven by variable acceleration. Here we focus on RTI driven by acceleration with a power law time dependence, and by applying a group theoretic method find solutions to this classical nonlinear boundary value problem. We deduce that the dynamics is dominated by the acceleration term and that the solutions depend critically on the time dependence for values of the acceleration exponent greater than 2 . We find that in the early time dynamics, the RTI growth rate depends on the acceleration parameters and initial conditions. For the later time dynamics, we link the interface dynamics with an interfacial shear function, and find a continuous family of regular asymptotic solutions and invariant properties of nonlinear RTI. The essentially interfacial and multi scale character of the dynamics is also demonstrated. The velocity field is potential in the bulk, and vortical structures appear at the interface due to interfacial shear. The multi scale character becomes clear from the invariance properties of the dynamics. We also achieve excellent agreement with existing observations and elaborate new benchmarks for future experimental work.


Cycle class maps and birational invariants. We introduce new obstructions to rationality for geometrically rational threefolds arising from the geometry of curves and their cycle maps.


An Improvement to Chv 'atal and Thomassen's Upper Bound for Oriented Diameter. An orientation of an undirected graph G is an assignment of exactly one direction to each edge of G . The oriented diameter of a graph G is the smallest diameter among all the orientations of G . The maximum oriented diameter of a family of graphs mathscr F is the maximum oriented diameter among all the graphs in mathscr F . Chv 'atal and Thomassen JCTB, 1978 gave a lower bound of frac 1 2 d 2 d and an upper bound of 2d 2 2d for the maximum oriented diameter of the family of 2 edge connected graphs of diameter d . We improve this upper bound to 1.373 d 2 6.971d 1 , which outperforms the former upper bound for all values of d greater than or equal to 8 . For the family of 2 edge connected graphs of diameter 3 , Kwok, Liu and West JCTB, 2010 obtained improved lower and upper bounds of 9 and 11 respectively. For the family of 2 edge connected graphs of diameter 4 , the bounds provided by Chv 'atal and Thomassen are 12 and 40 and no better bounds were known. By extending the method we used for diameter d graphs, along with an asymmetric extension of a technique used by Chv 'atal and Thomassen, we have improved this upper bound to 21 .


The turnpike property in semilinear control. An exponential turnpike property for a semilinear control problem is proved. The state target is assumed to be small, whereas the initial datum can be arbitrary. Turnpike results are also obtained for large targets, requiring that the control acts everywhere. In this case, we prove the convergence of the infimum of the averaged time evolution functional towards the steady one. Numerical simulations are performed.


D Ultrafilters and their Monads. For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept of D ultrafilter on an object, where D is a "nice" cogenerator of K. We prove that the codensity monad assigns to every object an object representing all D ultrafilters on it. Our result covers e.g. categories of sets, vector spaces, posets, semilattices, graphs and M sets for finite commutative monoids M.


RecordFlux Formal Message Specification and Generation of Verifiable Binary Parsers. Various vulnerabilities have been found in message parsers of protocol implementations in the past. Even highly sensitive software components like TLS libraries are affected regularly. Resulting issues range from denial of service attacks to the extraction of sensitive information. The complexity of protocols and imprecise specifications in natural language are the core reasons for subtle bugs in implementations, which are hard to find. The lack of precise specifications impedes formal verification. In this paper, we propose a model and a corresponding domain specific language to formally specify message formats of existing real world binary protocols. A unique feature of the model is the capability to define invariants, which specify relations and dependencies between message fields. Furthermore, the model allows defining the relation of messages between different protocol layers and thus ensures correct interpretation of payload data. We present a technique to derive verifiable parsers based on the model, generate efficient code for their implementation, and automatically prove the absence of runtime errors. Examples of parser specifications for Ethernet and TLS demonstrate the applicability of our approach.


Mathematical Models of Radicalization and Terrorism. The rapid spread of radical ideologies has led to a world wide succession of terrorist attacks in recent years. Understanding how extremist tendencies germinate, develop, and drive individuals to action is important from a cultural standpoint, but also to help formulate response and prevention strategies. Demographic studies, interviews with radicalized subjects, analysis of terrorist databases, reveal that the path to radicalization occurs along progressive steps, where age, social context and peer to peer exchanges play major roles. To execute terrorist attacks, radicals must efficiently communicate with one another while maintaining secrecy they are also subject to pressure from counter terrorism agencies, public opinion and the need for material resources. Similarly, government entities must gauge which intervention methods are most effective. While a complete understanding of the processes that lead to extremism and violence, and of which deterrents are optimal, is still lacking, mathematical modelers have contributed to the discourse by using tools from statistical mechanics and applied mathematics to describe existing and novel paradigms, and to propose novel counter terrorism strategies. We review some of their approaches in this work, including compartment models for populations of increasingly extreme views, continuous time models for age structured radical populations, radicalization as social contagion processes on lattices and social networks, agent based models, game theoretic formulations. We highlight the useful insights offered by analyzing radicalization and terrorism through quantitative frameworks. Finally, we discuss the role of institutional intervention and the stages at which de radicalization strategies might be most effective.


The Covid19Impact Survey Assessing the Pulse of the COVID 19 Pandemic in Spain via 24 questions. In this paper, we describe the results of analyzing a large scale survey, called the Covid19Impact survey, to assess citizens feedback on four areas related to the COVID 19 pandemic in Spain social contact behavior, financial impact, working situation and health status. A total of 24 questions cover the areas of demographics, their home situation, social contact behavior, personal economic impact, their workplace situation and their health. The survey was responded to by 156,614 participants between the evening of March 28th and April 2nd, 2020. Such a large response enables us to gain new insights, as well as an unprecedented glimpse at respondents personal experiences and concerns during the current COVID 19 pandemic. From the analysis, we draw several implications for the design of public policies related to the management of the COVID 19 pandemic.


Context Graphs for Legal Reasoning and Argumentation. We propose a new, structured, logic based framework for legal reasoning and argumentation Instead of using a single, unstructured meaning space, theory graphs organize knowledge and inference into collections of modular meaning spaces organized by inheritance and interpretation. Context graphs extend theory graphs by attack relations and interpret theories as knowledge contexts of agents in argumentation. We introduce the context graph paradigm by modeling the well studied case Popov v. Hayashi, concentrating on the role of analogical reasoning in context graphs.


Qualitative properties of numerical methods for the inhomogeneous geometric Brownian motion. We provide a comparative analysis of qualitative features of different numerical methods for the inhomogeneous geometric Brownian motion (IGBM). The conditional and asymptotic mean and variance of the IGBM are known and the process can be characterised according to Feller's boundary classification. We compare the frequently used Euler Maruyama and Milstein methods, two Lie Trotter and two Strang splitting schemes and two methods based on the ordinary differential equation (ODE) approach, namely the classical Wong Zakai approximation and the recently proposed log ODE scheme. First, we prove that, in contrast to the Euler Maruyama and Milstein schemes, the splitting and ODE schemes preserve the boundary properties of the process, independently of the choice of the time discretisation step. Second, we derive closed form expressions for the conditional and asymptotic means and variances of all considered schemes and analyse the resulting biases. While the Euler Maruyama and Milstein schemes are the only methods which may have an asymptotically unbiased mean, the splitting and ODE schemes perform better in terms of variance preservation. The Strang schemes outperform the Lie Trotter splittings, and the log ODE scheme the classical ODE method. The mean and variance biases of the log ODE scheme are very small for many relevant parameter settings. However, in some situations the two derived Strang splittings may be a better alternative, one of them requiring considerably less computational effort than the log ODE method. The proposed analysis may be carried out in a similar fashion on other numerical methods and stochastic differential equations with comparable features.


Scaling Limits of Crossing Probabilities in Metric Graph GFF. We consider metric graph Gaussian free field (GFF) defined on polygons of delta mathbb Z 2 with alternating boundary data. The crossing probabilities for level set percolation of metric graph GFF have scaling limits. When the boundary data is well chosen, the scaling limits of crossing probabilities can be explicitly constructed as "fusion" of multiple SLE 4 pure partition functions.


Regularity for a class of quasilinear degenerate parabolic equations in the Heisenberg group. We extend to the parabolic setting some of the ideas originated with Xiao Zhong's proof in cite Zhong of the H "older regularity of p harmonic functions in the Heisenberg group Hn . Given a number p ge 2 , in this paper we establish the C infty smoothness of weak solutions of quasilinear pde's in Hn modelled on the equation p t u sum i 1 2n X i bigg((1 nabla 0 u 2) frac p 2 2 X i u bigg).


Limit theorems for the maximal path weight in a directed graph on the line with random weights of edges. We consider the infinite directed graph with vertices the set of integers ..., 2, 1,0,1,2,... . Let v be a random variable taking either finite values or value "minus infinity". Consider random weights v(j,k), indexed by pairs (j,k) of integers with j k, and assume that they are i.i.d. copies of v. The set of edges of the graph is the set (j,k), j k. A path in the graph from vertex j to vertex k, j k, is a finite sequence of edges (j(0), j(1)), (j(1), j(2)), ..., (j(m 1), j(m)) with j(0) j and j(m) j the weight of this path is taken to be the sum v(j(0),j(1)) v(j(1),j(2)) ... v(j(m 1),j(m)) of the weights of its edges. Let w(0,n) be the maximal weight of all paths from 0 to n. We study the asymptotic behaviour of the sequence w(0,n), n 1, 2, ..., as n tends to infinity, under the assumptions that P(v 0) 0, the conditional distribution of v, given v 0, is not degenerate, and that E exp(Cv) is finite, for some C 0. We derive local limit theorems in the normal and moderate large deviations regimes in the case where v has an arithmetic distribution. We also derive an integro local theorem in the case where v has a non lattice distribution.


Performance Analysis of FEM Solvers on Practical Electromagnetic Problems. The paper presents a comparative analysis of different commercial and academic software. The comparison aims to examine how the integrated adaptive grid refinement methodologies can deal with challenging, electromagnetic field related problems. For this comparison, two benchmark problems were examined in the paper. The first example is a solution of an L shape domain like test problem, which has a singularity at a certain point in the geometry. The second problem is an induction heated aluminum rod, which accurate solution needs to solve a non linear, coupled physical fields. The accurate solution of this problem requires applying adaptive mesh generation strategies or applying a very fine mesh in the electromagnetic domain, which can significantly increase the computational complexity. The results show that the fully hp adaptive meshing strategies, which are integrated into Agros suite, can significantly reduce the task's computational complexity compared to the automatic h adaptivity, which is part of the examined, popular commercial solvers.


A Survey and Insights on Deployments of the Connected and Autonomous Vehicles in US. CV ITS (Connected Vehicle, Intelligent Transportation System) and AV ADS (Autonomous Vehicle, Automated Driving System) have been emerging for the sake of saving people lives, improving traffic efficiency and helping the environment for decades. There are separate efforts led respectively by USDOT with state DOTs for CV, and private sectors through market driven approach from start ups and technology companies for AV. By CV ITS effort there are 97 deployments of V2X communications utilizing the 5.9 GHz band, 18,877 vehicles with aftermarket V2X communications devices, and 8,098 infrastructure V2X devices installed at the roadsides. However, CV ITS still cannot be massively deployed in US markets due to lack of regulations, dedicated wireless spectrum bands, sustainable financial business models with mature supply chain, etc. In the other side, technology driven AV market has been much slower than expected mainly because of immaturity of AI technology to handle different complex driving scenarios in a cost effective way. In this paper, we first present these two parallel journeys focusing on the deployments including operating models, scenarios and applications, evaluations and lessons learning. Then, come up with recommendations to a cooperative CAV approach driving a more feasible, safer, affordable and cost effective transportation, but require a great industry collaboration from Automotive, Transportation. ICT and Cloud.


Learning Dialog Policies from Weak Demonstrations. Deep reinforcement learning is a promising approach to training a dialog manager, but current methods struggle with the large state and action spaces of multi domain dialog systems. Building upon Deep Q learning from Demonstrations (DQfD), an algorithm that scores highly in difficult Atari games, we leverage dialog data to guide the agent to successfully respond to a user's requests. We make progressively fewer assumptions about the data needed, using labeled, reduced labeled, and even unlabeled data to train expert demonstrators. We introduce Reinforced Fine tune Learning, an extension to DQfD, enabling us to overcome the domain gap between the datasets and the environment. Experiments in a challenging multi domain dialog system framework validate our approaches, and get high success rates even when trained on out of domain data.


Nonsingular Parameterization for Modeling Translational Motion Using Euler Parameters. A parameterization is described for quantifying translational motion of a point in three dimensional Euclidean space. The parameterization is similar to well known parameterizations such as spherical coordinates in that both position and velocity are decoupled into magnitude and orientation components. Unlike these standard parameterizations, where principal rotation sequences are employed, the method presented in this research employs Euler parameters. By using Euler parameters instead of Euler angles, singularities and trigonometric functions are removed from the equations of motion. The parameterization is demonstrated on two examples, where it is found that the new parameterization offers both mathematical and computational advantages over other commonly used parameterizations.


Constructing Multilayer Perceptrons as Piecewise Low Order Polynomial Approximators A Signal Processing Approach. The construction of a multilayer perceptron (MLP) as a piecewise low order polynomial approximator using a signal processing approach is presented in this work. The constructed MLP contains one input, one intermediate and one output layers. Its construction includes the specification of neuron numbers and all filter weights. Through the construction, a one to one correspondence between the approximation of an MLP and that of a piecewise low order polynomial is established. Comparison between piecewise polynomial and MLP approximations is made. Since the approximation capability of piecewise low order polynomials is well understood, our findings shed light on the universal approximation capability of an MLP.


Boosting Image Recognition with Non differentiable Constraints. In this paper, we study the problem of image recognition with non differentiable constraints. A lot of real life recognition applications require a rich output structure with deterministic constraints that are discrete or modeled by a non differentiable function. A prime example is recognizing digit sequences, which are restricted by such rules (e.g., textit container code detection , textit social insurance number recognition , etc.). We investigate the usefulness of adding non differentiable constraints in learning for the task of digit sequence recognition. Toward this goal, we synthesize six different datasets from MNIST and Cropped SVHN, with three discrete rules inspired by real life protocols. To deal with the non differentiability of these rules, we propose a reinforcement learning approach based on the policy gradient method. We find that incorporating this rule based reinforcement can effectively increase the accuracy for all datasets and provide a good inductive bias which improves the model even with limited data. On one of the datasets, MNIST Rule2, models trained with rule based reinforcement increase the accuracy by 4.7 for 2000 samples and 23.6 for 500 samples. We further test our model against synthesized adversarial examples, e.g., blocking out digits, and observe that adding our rule based reinforcement increases the model robustness with a relatively smaller performance drop.


Differentiating Through a Cone Program. We consider the problem of efficiently computing the derivative of the solution map of a convex cone program, when it exists. We do this by implicitly differentiating the residual map for its homogeneous self dual embedding, and solving the linear systems of equations required using an iterative method. This allows us to efficiently compute the derivative operator, and its adjoint, evaluated at a vector. These correspond to computing an approximate new solution, given a perturbation to the cone program coefficients (i.e., perturbation analysis), and to computing the gradient of a function of the solution with respect to the coefficients. Our method scales to large problems, with numbers of coefficients in the millions. We present an open source Python implementation of our method that solves a cone program and returns the derivative and its adjoint as abstract linear maps our implementation can be easily integrated into software systems for automatic differentiation.


A Novel Automation Assisted Cervical Cancer Reading Method Based on Convolutional Neural Network. While most previous automation assisted reading methods can improve efficiency, their performance often relies on the success of accurate cell segmentation and hand craft feature extraction. This paper presents an efficient and totally segmentation free method for automated cervical cell screening that utilizes modern object detector to directly detect cervical cells or clumps, without the design of specific hand crafted feature. Specifically, we use the state of the art CNN based object detection methods, YOLOv3, as our baseline model. In order to improve the classification performance of hard examples which are four highly similar categories, we cascade an additional task specific classifier. We also investigate the presence of unreliable annotations and cope with them by smoothing the distribution of noisy labels. We comprehensively evaluate our methods on test set which is consisted of 1,014 annotated cervical cell images with size of 4000 3000 and complex cellular situation corresponding to 10 categories. Our model achieves 97.5 sensitivity (Sens) and 67.8 specificity (Spec) on cervical cell image level screening. Moreover, we obtain a mean Average Precision (mAP) of 63.4 on cervical cell level diagnosis, and improve the Average Precision (AP) of hard examples which are valuable but difficult to distinguish. Our automation assisted cervical cell reading method not only achieves cervical cell image level classification but also provides more detailed location and category information of abnormal cells. The results indicate feasible performance of our method, together with the efficiency and robustness, providing a new idea for future development of computer assisted reading system in clinical cervical screening.


Experimental Investigation of the Inelastic Response of Pig and Rat Skin under Uniaxial Cyclic Mechanical Loading. Skin is a highly non linear, anisotropic, rate dependent inelastic, and nearly incompressible material which exhibits substantial hysteresis even under very slow (quasistatic) loading conditions. In this paper, a series of uniaxial cyclic loading tests of porcine and rat skin at different strain rates and with samples oriented in different directions (with respect to the spine) were conducted to study the effect of strain rate and samples orientations with respect to spine on mullins effect and skin inelastic response. A noteworthy feature of skin is that, similar to certain filled rubbers, its mechanical response shifts after the first extension and exhibits softening and hysteresis when loaded under cyclic tension and mullins effect is observed. The results of these strain controlled cyclic loading tests also indicated that the extent of softening is different for different strain rates and orientations. Also a substantial hysteresis persists even at very low strain rates indicating inelastic behavior beyond the rate sensitive viscoelastic response. Through this series of experiments, by investigating the effect of strain rate on pig skin and rat skin, we conclude that the skin response is rate dependent but inelastic and shows irreversible changes in fiber orientation which are observed in histology results. Also, skin shows persistent deformation that is only partially recovered even after a long period of unloading.


Total internal reflection deflectometry for measuring small deflections of a fluid surface. We describe a method that uses total internal reflection at the water air interface inside a large, transparent tank, to measure the interface's deflections. Using this configuration, we obtain an optical set up where the liquid surface acts as a deformable mirror. The set up is shown to be extremely sensitive to very small disturbances of the reflecting water surface, which are detected by means of visualising the reflections of a reference pattern. When the water surface is deformed, it reflects a distorted image of the reference pattern, similar to a synthetic Schlieren set up. The distortions of the pattern are analysed using a suitable image correlation method. The displacement fields thus obtained correlate to the local spatial gradients of the water surface. The gradient fields are integrated in a least squares sense to obtain a full instantaneous reconstruction of the water surface. This method is particularly useful when a solid object is placed just above water surface, whose presence makes the liquid surface otherwise optically inaccessible.


A goal oriented error estimator and mesh adaptivity for sea ice simulations. For the first time we introduce an error estimator for the numerical approximation of the equations describing the dynamics of sea ice. The idea of the estimator is to identify different error contributions coming from spatial and temporal discretization as well as from the splitting in time of the ice momentum equations from further parts of the coupled system. The novelty of the error estimator lies in the consideration of the splitting error, which turns out to be dominant with increasing mesh resolution. Errors are measured in user specified functional outputs like the total sea ice extent. The error estimator is based on the dual weighted residual method that asks for the solution of an additional dual problem for obtaining sensitivity information. Estimated errors can be used to validate the accuracy of the solution and, more relevant, to reduce the discretization error by guiding an adaptive algorithm that optimally balances the mesh size and the time step size to increase the efficiency of the simulation.


Decentralized Structural RNN for Robot Crowd Navigation with Deep Reinforcement Learning. Safe and efficient navigation through human crowds is an essential capability for mobile robots. Previous work on robot crowd navigation assumes that the dynamics of all agents are known and well defined. In addition, the performance of previous methods deteriorates in partially observable environments and environments with dense crowds. To tackle these problems, we propose decentralized structural Recurrent Neural Network (DS RNN), a novel network that reasons about spatial and temporal relationships for robot decision making in crowd navigation. We train our network with model free deep reinforcement learning without any expert supervision. We demonstrate that our model outperforms previous methods in challenging crowd navigation scenarios. We successfully transfer the policy learned in the simulator to a real world TurtleBot 2i.


DELP DAR System for License Plate Detection and Recognition. Automatic License Plate detection and Recognition (ALPR) is a quite popular and active research topic in the field of computer vision, image processing and intelligent transport systems. ALPR is used to make detection and recognition processes more robust and efficient in highly complicated environments and backgrounds. Several research investigations are still necessary due to some constraints such as completeness of numbering systems of countries, different colors, various languages, multiple sizes and varied fonts. For this, we present in this paper an automatic framework for License Plate (LP) detection and recognition from complex scenes. Our framework is based on mask region convolutional neural networks used for LP detection, segmentation and recognition. Although some studies have focused on LP detection, LP recognition, LP segmentation or just two of them, our study uses the maskr cnn in the three stages. The evaluation of our framework is enhanced by four datasets for different countries and consequently with various languages. In fact, it tested on four datasets including images captured from multiple scenes under numerous conditions such as varied orientation, poor quality images, blurred images and complex environmental backgrounds. Extensive experiments show the robustness and efficiency of our suggested framework in all datasets.


Particle in Cell Simulations of Density Peak Formation and Ion Acceleration from Short Pulse Laser Driven Ponderomotive Steepening. We use particle in cell (PIC) simulations and simple analytic models to investigate the laser plasma interaction known as ponderomotive steepening. When normally incident laser light reflects at the critical surface of a plasma, the resulting standing electromagnetic wave modifies the electron density profile via the ponderomotive force, which creates peaks in the electron density separated by approximately half of the laser wavelength. What is less well studied is how this charge imbalance accelerates ions towards the electron density peaks, modifying the ion density profile of the plasma. Idealized PIC simulations with an extended underdense plasma shelf are used to isolate the dynamics of ion density peak growth for a 42 fs pulse from an 800 nm laser with an intensity of 10 18 W cm 2 . These simulations exhibit sustained longitudinal electric fields of 200 GV m 1 , which produce counter steaming populations of ions reaching a few keV in energy. We compare these simulations to theoretical models, and we explore how ion energy depends on factors such as the plasma density and the laser wavelength, pulse duration, and intensity. We also provide relations for the strength of longitudinal electric fields and an approximate timescale for the density peaks to develop. These conclusions may be useful investigating the phenomenon of ponderomotive steepening as advances in laser technology allow shorter and more intense pulses to be produced at various wavelengths. We also discuss the parallels with other work studying the interference from two counter propagating laser pulses.


Herz Sobolev spaces on domain. We introduce Herz Sobolev spaces, which unify and generalize the classical Sobolev spaces. We will give a proof of the Sobolev type embedding for these function spaces. All these results generalize the classical results on Sobolev spaces. Some remarks on Caffarelli Kohn Nirenberg inequality are given.


Solar Thermoradiative Photovoltaic Energy Conversion. We propose a solar thermal energy conversion system consisting of a solar absorber, a thermoradiative cell or negative illumination photodiode, and a photovoltaic cell. Because it is a heat engine, this system can also be paired with thermal storage to provide reliable electricity generation. Heat from the solar absorber drives radiative recombination current in the thermoradiative cell, and its emitted light is absorbed by the photovoltaic cell to provide an additional photocurrent. Based on the principle of detailed balance, we calculate a limiting solar conversion efficiency of 85 for fully concentrated sunlight and 45 for one sun with an absorber and single junction cells of equal areas. Ideal and nonideal solar thermoradiative photovoltaic systems outperform solar thermophotovoltaic converters for low bandgaps and practical absorber temperatures. Their performance enhancement results from a high tolerance to nonradiative generation recombination and an ability to minimize radiative heat losses. We show that a realistic device with all major losses could achieve increases in solar conversion efficiency by up to 7.9 (absolute) compared to a solar thermophotovoltaic device under low optical concentration. Our results indicate that these converters could serve as efficient heat engines for low cost single axis tracking systems.


Analysis of COVID 19 cases in India through Machine Learning A Study of Intervention. To combat the coronavirus disease 2019 (COVID 19) pandemic, the world has vaccination, plasma therapy, herd immunity, and epidemiological interventions as few possible options. The COVID 19 vaccine development is underway and it may take a significant amount of time to develop the vaccine and after development, it will take time to vaccinate the entire population, and plasma therapy has some limitations. Herd immunity can be a plausible option to fight COVID 19 for small countries. But for a country with huge population like India, herd immunity is not a plausible option, because to acquire herd immunity approximately 67 of the population has to be recovered from COVID 19 infection, which will put an extra burden on medical system of the country and will result in a huge loss of human life. Thus epidemiological interventions (complete lockdown, partial lockdown, quarantine, isolation, social distancing, etc.) are some suitable strategies in India to slow down the COVID 19 spread until the vaccine development. In this work, we have suggested the SIR model with intervention, which incorporates the epidemiological interventions in the classical SIR model. To model the effect of the interventions, we have introduced r ho as the intervention parameter. r ho is a cumulative quantity which covers all type of intervention. We have also discussed the supervised machine learning approach to estimate the transmission rate ( b eta ) for the SIR model with intervention from the prevalence of COVID 19 data in India and some states of India. To validate our model, we present a comparison between the actual and model predicted number of COVID 19 cases. Using our model, we also present predicted numbers of active and recovered COVID 19 cases till Sept 30, 2020, for entire India and some states of India and also estimate the 95 and 99 confidence interval for the predicted cases.


A Finite Volume Scheme for Savage Hutter Equations on Unstructured Grids. A Godunov type finite volume scheme on unstructured triangular grids is proposed to numerically solve the Savage Hutter equations in curvilinear coordinate. We show the direct observation that the model is a not Galilean invariant system. At the cell boundary, the modified Harten Lax van Leer (HLL) approximate Riemann solver is adopted to calculate the numerical flux. The modified HLL flux is not troubled by the lack of Galilean invariance of the model and it is helpful to handle discontinuities at free interface. Rigidly the system is not always a hyperbolic system due to the dependence of flux on the velocity gradient. Even though, our numerical results still show quite good agreements to reference solutions. The simulations for granular avalanche flows with shock waves indicate that the scheme is applicable.


Plurisubharmonic Noncommutative Rational Functions. A noncommutative (nc) function in x 1, dots,x g,x 1 , dots,x g is called plurisubharmonic (plush) if its nc complex Hessian takes only positive semidefinite values on an nc neighborhood of 0. The main result of this paper shows that an nc rational function is plush if and only if it is a composite of a convex rational function with an analytic (no x j ) rational function. The proof is entirely constructive. Further, a simple computable necessary and sufficient condition for an nc rational function to be plush is given in terms of its minimal realization.


ConnectIt A Framework for Static and Incremental Parallel Graph Connectivity Algorithms. Connected components is a fundamental kernel in graph applications. The fastest existing parallel multicore algorithms for connectivity are based on some form of edge sampling and or linking and compressing trees. However, many combinations of these design choices have been left unexplored. In this paper, we design the ConnectIt framework, which provides different sampling strategies as well as various tree linking and compression schemes. ConnectIt enables us to obtain several hundred new variants of connectivity algorithms, most of which extend to computing spanning forest. In addition to static graphs, we also extend ConnectIt to support mixes of insertions and connectivity queries in the concurrent setting. We present an experimental evaluation of ConnectIt on a 72 core machine, which we believe is the most comprehensive evaluation of parallel connectivity algorithms to date. Compared to a collection of state of the art static multicore algorithms, we obtain an average speedup of 12.4x (2.36x average speedup over the fastest existing implementation for each graph). Using ConnectIt, we are able to compute connectivity on the largest publicly available graph (with over 3.5 billion vertices and 128 billion edges) in under 10 seconds using a 72 core machine, providing a 3.1x speedup over the fastest existing connectivity result for this graph, in any computational setting. For our incremental algorithms, we show that our algorithms can ingest graph updates at up to several billion edges per second. To guide the user in selecting the best variants in ConnectIt for different situations, we provide a detailed analysis of the different strategies. Finally, we show how the techniques in ConnectIt can be used to speed up two important graph applications approximate minimum spanning forest and SCAN clustering.


Adaptive Operator Selection Based on Dynamic Thompson Sampling for MOEA D. In evolutionary computation, different reproduction operators have various search dynamics. To strike a well balance between exploration and exploitation, it is attractive to have an adaptive operator selection (AOS) mechanism that automatically chooses the most appropriate operator on the fly according to the current status. This paper proposes a new AOS mechanism for multi objective evolutionary algorithm based on decomposition (MOEA D). More specifically, the AOS is formulated as a multi armed bandit problem where the dynamic Thompson sampling (DYTS) is applied to adapt the bandit learning model, originally proposed with an assumption of a fixed award distribution, to a non stationary setup. In particular, each arm of our bandit learning model represents a reproduction operator and is assigned with a prior reward distribution. The parameters of these reward distributions will be progressively updated according to the performance of its performance collected from the evolutionary process. When generating an offspring, an operator is chosen by sampling from those reward distribution according to the DYTS. Experimental results fully demonstrate the effectiveness and competitiveness of our proposed AOS mechanism compared with other four state of the art MOEA D variants.


Vilamb Low Overhead Asynchronous Redundancy for Direct Access NVM. Vilamb provides efficient asynchronous systemredundancy for direct access (DAX) non volatile memory (NVM) storage. Production storage deployments often use system redundancy in form of page checksums and cross page parity. State of the art solutions for maintaining system redundancy for DAX NVM either incur a high performance overhead or require specialized hardware. The Vilamb user space library maintains system redundancy with low overhead by delaying and amortizing the system redundancy updates over multiple data writes. As a result, Vilamb provides 3 5x the throughput of the state of the art software solution at high operation rates. For applications that need system redundancy with high performance, and can tolerate some delaying of data redundancy, Vilamb provides a tunable knob between performance and quicker redundancy. Even with the delayed coverage, Vilamb increases the mean time to data loss due to firmware induced corruptions by up to two orders of magnitude in comparison to maintaining no system redundancy.


Identification of state functions by physically guided neural networks with physically meaningful internal layers. Substitution of well grounded theoretical models by data driven predictions is not as simple in engineering and sciences as it is in social and economic fields. Scientific problems suffer most times from paucity of data, while they may involve a large number of variables and parameters that interact in complex and non stationary ways, obeying certain physical laws. Moreover, a physically based model is not only useful for making predictions, but to gain knowledge by the interpretation of its structure, parameters, and mathematical properties. The solution to these shortcomings seems to be the seamless blending of the tremendous predictive power of the data driven approach with the scientific consistency and interpretability of physically based models. We use here the concept of physically constrained neural networks (PCNN) to predict the input output relation in a physical system, while, at the same time fulfilling the physical constraints. With this goal, the internal hidden state variables of the system are associated with a set of internal neuron layers, whose values are constrained by known physical relations, as well as any additional knowledge on the system. Furthermore, when having enough data, it is possible to infer knowledge about the internal structure of the system and, if parameterized, to predict the state parameters for a particular input output relation. We show that this approach, besides getting physically based predictions, accelerates the training process, reduces the amount of data required to get similar accuracy, filters partly the intrinsic noise in the experimental data and provides improved extrapolation capacity.


Informing The Future of Data Protection in Smart Homes. Recent changes to data protection regulation, particularly in Europe, are changing the design landscape for smart devices, requiring new design techniques to ensure that devices are able to adequately protect users' data. A particularly interesting space in which to explore and address these challenges is the smart home, which presents a multitude of difficult social and technical problems in an intimate and highly private context. This position paper outlines the motivation and research approach of a new project aiming to inform the future of data protection by design and by default in smart homes through a combination of ethnography and speculative design.


SonicPACT An Ultrasonic Ranging Method for the Private Automated Contact Tracing (PACT) Protocol. Throughout the course of the COVID 19 pandemic, several countries have developed and released contact tracing and exposure notification smartphone applications (apps) to help slow the spread of the disease. To support such apps, Apple and Google have released Exposure Notification Application Programming Interfaces (APIs) to infer device (user) proximity using Bluetooth Low Energy (BLE) beacons. The Private Automated Contact Tracing (PACT) team has shown that accurately estimating the distance between devices using only BLE radio signals is challenging. This paper describes the design and implementation of the SonicPACT protocol to use near ultrasonic signals on commodity iOS and Android smartphones to estimate distances using time of flight measurements. The protocol allows Android and iOS devices to interoperate, augmenting and improving the current exposure notification APIs. Our initial experimental results are promising, suggesting that SonicPACT should be considered for implementation by Apple and Google.


Hey Alexa what did I just type? Decoding smartphone sounds with a voice assistant. Voice assistants are now ubiquitous and listen in on our everyday lives. Ever since they became commercially available, privacy advocates worried that the data they collect can be abused might private conversations be extracted by third parties? In this paper we show that privacy threats go beyond spoken conversations and include sensitive data typed on nearby smartphones. Using two different smartphones and a tablet we demonstrate that the attacker can extract PIN codes and text messages from recordings collected by a voice assistant located up to half a meter away. This shows that remote keyboard inference attacks are not limited to physical keyboards but extend to virtual keyboards too. As our homes become full of always on microphones, we need to work through the implications.