Automatic Code Summarization A Systematic Literature Review. Background During software maintenance and development, the comprehension of program code is key to success. High quality comments can help us better understand programs, but they're often missing or outmoded in today's programs. Automatic code summarization is proposed to solve these problems. During the last decade, huge progress has been made in this field, but there is a lack of an up to date survey. Aims We studied publications concerning code summarization in the field of program comprehension to investigate state of the art approaches. By reading and analyzing relevant articles, we aim at obtaining a comprehensive understanding of the current status of automatic code summarization. Method In this paper, we performed a systematic literature review over the automatic source code summarization field. Furthermore, we synthesized the obtained data and investigated different approaches. Results We successfully collected and analyzed 41 selected studies from the different research communities. We exhaustively investigated and described the data extraction techniques, description generation methods, evaluation methods and relevant artifacts of those works. Conclusions Our systematic review provides an overview of the state of the art, and we also discuss further research directions. By fully elaborating current approaches in the field, our work sheds light on future research directions of program comprehension and comment generation.


A stabilizer free pressure robust finite element method for the Stokes equations. In this paper, we introduce a new finite element method for solving the Stokes equations in the primary velocity pressure formulation. This method employs H(div) finite elements to approximate velocity, which leads to two unique advantages exact divergence free velocity field and pressure robustness. In addition, this method has a simple formulation without any stabilizer or penalty term. Optimal order error estimates are established for the corresponding numerical approximation in various norms. Extensive numerical investigations are conducted to test accuracy and robustness of the method and to confirm the theory. The numerical examples cover low and high order approximations up to the degree four, and 2D and 3D cases.


Linking of three triangles in 3 space. Two triples of triangles having pairwise disjoint outlines in 3 space are called combinatorially isotopic if one triple can be obtained from the other by a continuous motion during which the outlines of the triangles remain pairwise disjoint. We conjecture that it can be algorithmically checked if an (ordered or unordered) triple of triangles is combinatorially isotopic to a triple of triangles having pairwise disjoint convex hulls. We also conjecture that any unordered triple of pairwise disjoint triangles in 3 space belongs to one of the 5 types of such triples listed in the paper. We present an elementary proof that triples of different types are not combinatorially isotopic.


Asymptotic Network Independence in Distributed Stochastic Optimization for Machine Learning. We provide a discussion of several recent results which, in certain scenarios, are able to overcome a barrier in distributed stochastic optimization for machine learning. Our focus is the so called asymptotic network independence property, which is achieved whenever a distributed method executed over a network of n nodes asymptotically converges to the optimal solution at a comparable rate to a centralized method with the same computational power as the entire network. We explain this property through an example involving the training of ML models and sketch a short mathematical analysis for comparing the performance of distributed stochastic gradient descent (DSGD) with centralized stochastic gradient decent (SGD).


Model predictive control with random batch methods for a guiding problem. We model, simulate and control the guiding problem for a herd of evaders under the action of repulsive drivers. The problem is formulated in an optimal control framework, where the drivers (controls) aim to guide the evaders (states) to a desired region of the Euclidean space. The numerical simulation of such models quickly becomes unfeasible for a large number of interacting agents. To reduce the computational cost, we use the Random Batch Method (RBM), which provides a computationally feasible approximation of the dynamics. At each time step, the RBM randomly divides the set of particles into small subsets (batches), considering only the interactions inside each batch. Due to the averaging effect, the RBM approximation converges to the exact dynamics as the time discretization gets finer. We propose an algorithm that leads to the optimal control of a fixed RBM approximated trajectory using a classical gradient descent. The resulting control is not optimal for the original complete system, but rather for the reduced RBM model. We then adopt a Model Predictive Control (MPC) strategy to handle the error in the dynamics. While the system evolves in time, the MPC strategy consists in periodically updating the state and computing the optimal control over a long time horizon, which is implemented recursively in a shorter time horizon. This leads to a semi feedback control strategy. Through numerical experiments we show that the combination of RBM and MPC leads to a significant reduction of the computational cost, preserving the capacity of controlling the overall dynamics.


One for More Selecting Generalizable Samples for Generalizable ReID Model. Current training objectives of existing person Re IDentification (ReID) models only ensure that the loss of the model decreases on selected training batch, with no regards to the performance on samples outside the batch. It will inevitably cause the model to over fit the data in the dominant position (e.g., head data in imbalanced class, easy samples or noisy samples). We call the sample that updates the model towards generalizing on more data a generalizable sample. The latest resampling methods address the issue by designing specific criterion to select specific samples that trains the model generalize more on certain type of data (e.g., hard samples, tail data), which is not adaptive to the inconsistent real world ReID data distributions. Therefore, instead of simply presuming on what samples are generalizable, this paper proposes a one for more training objective that directly takes the generalization ability of selected samples as a loss function and learn a sampler to automatically select generalizable samples. More importantly, our proposed one for more based sampler can be seamlessly integrated into the ReID training framework which is able to simultaneously train ReID models and the sampler in an end to end fashion. The experimental results show that our method can effectively improve the ReID model training and boost the performance of ReID models.


Detecting Deepfake Forged Contents with Separable Convolutional Neural Network and Image Segmentation. Recent advances in AI technology have made the forgery of digital images and videos easier, and it has become significantly more difficult to identify such forgeries. These forgeries, if disseminated with malicious intent, can negatively impact social and political stability, and pose significant ethical and legal challenges as well. Deepfake is a variant of auto encoders that use deep learning techniques to identify and exchange images of a person's face in a picture or film. Deepfake can result in an erosion of public trust in digital images and videos, which has far reaching effects on political and social stability. This study therefore proposes a solution for facial forgery detection to determine if a picture or film has ever been processed by Deepfake. The proposed solution reaches detection efficiency by using the recently proposed separable convolutional neural network (CNN) and image segmentation. In addition, this study also examined how different image segmentation methods affect detection results. Finally, the ensemble model is used to improve detection capabilities. Experiment results demonstrated the excellent performance of the proposed solution.


Machine learning corrected quantum dynamics calculations. Quantum scattering calculations for all but low dimensional systems at low energies must rely on approximations. All approximations introduce errors. The impact of these errors is often difficult to assess because they depend on the Hamiltonian parameters and the particular observable under study. Here, we illustrate a general, system and approximation independent, approach to improve the accuracy of quantum dynamics approximations. The method is based on a Bayesian machine learning (BML) algorithm that is trained by a small number of rigorous results and a large number of approximate calculations, resulting in ML models that accurately capture the dependence of the dynamics results on the quantum dynamics parameters. Most importantly, the present work demonstrates that the BML models can generalize quantum results to different dynamical processes. Thus, a ML model trained by a combination of approximate and rigorous results for a certain inelastic transition can make accurate predictions for different transitions without rigorous calculations. This opens the possibility of improving the accuracy of approximate calculations for quantum transitions that are out of reach of rigorous scattering calculations.


Ladders of recollements of abelian categories. Ladders of recollements of abelian categories are introduced, and used to address three general problems. Ladders of a certain height allow to construct recollements of triangulated categories, involving derived categories and singularity categories, from abelian ones. Ladders also allow to tilt abelian recollements, and ladders guarantee that properties like Gorenstein projective or injective are preserved by some functors in abelian recollements. Breaking symmetry is crucial in developing this theory.


Learning Multimodal Fixed Point Weights using Gradient Descent. Due to their high computational complexity, deep neural networks are still limited to powerful processing units. To promote a reduced model complexity by dint of low bit fixed point quantization, we propose a gradient based optimization strategy to generate a symmetric mixture of Gaussian modes (SGM) where each mode belongs to a particular quantization stage. We achieve 2 bit state of the art performance and illustrate the model's ability for self dependent weight adaptation during training.


NGAT4Rec Neighbor Aware Graph Attention Network For Recommendation. Learning informative representations (aka. embeddings) of users and items is the core of modern recommender systems. Previous works exploit user item relationships of one hop neighbors in the user item interaction graph to improve the quality of representation. Recently, the research of Graph Neural Network (GNN) for recommendation considers the implicit collaborative information of multi hop neighbors to enrich the representation. However, most works of GNN for recommendation systems do not consider the relational information which implies the expression differences of different neighbors in the neighborhood explicitly. The influence of each neighboring item to the representation of the user's preference can be represented by the correlation between the item and neighboring items of the user. Symmetrically, for a given item, the correlation between one neighboring user and neighboring users can reflect the strength of signal about the item's characteristic. To modeling the implicit correlations of neighbors in graph embedding aggregating, we propose a Neighbor Aware Graph Attention Network for recommendation task, termed NGAT4Rec. It employs a novel neighbor aware graph attention layer that assigns different neighbor aware attention coefficients to different neighbors of a given node by computing the attention among these neighbors pairwisely. Then NGAT4Rec aggregates the embeddings of neighbors according to the corresponding neighbor aware attention coefficients to generate next layer embedding for every node. Furthermore, we combine more neighbor aware graph attention layer to gather the influential signals from multi hop neighbors. We remove feature transformation and nonlinear activation that proved to be useless on collaborative filtering. Extensive experiments on three benchmark datasets show that our model outperforms various state of the art models consistently.


Medial Axis Isoperimetric Profiles. Recently proposed as a stable means of evaluating geometric compactness, the isoperimetric profile of a planar domain measures the minimum perimeter needed to inscribe a shape with prescribed area varying from 0 to the area of the domain. While this profile has proven valuable for evaluating properties of geographic partitions, existing algorithms for its computation rely on aggressive approximations and are still computationally expensive. In this paper, we propose a practical means of approximating the isoperimetric profile and show that for domains satisfying a "thick neck" condition, our approximation is exact. For more general domains, we show that our bound is still exact within a conservative regime and is otherwise an upper bound. Our method is based on a traversal of the medial axis which produces efficient and robust results. We compare our technique with the state of the art approximation to the isoperimetric profile on a variety of domains and show significantly tighter bounds than were previously achievable.


Planning for target retrieval using a robotic manipulator in cluttered and occluded environments. This paper presents planning algorithms for a robotic manipulator with a fixed base in order to grasp a target object in cluttered environments. We consider a configuration of objects in a confined space with a high density so no collision free path to the target exists. The robot must relocate some objects to retrieve the target while avoiding collisions. For fast completion of the retrieval task, the robot needs to compute a plan optimizing an appropriate objective value directly related to the execution time of the relocation plan. We propose planning algorithms that aim to minimize the number of objects to be relocated. Our objective value is appropriate for the object retrieval task because grasping and releasing objects often dominate the total running time. In addition to the algorithm working in fully known and static environments, we propose algorithms that can deal with uncertain and dynamic situations incurred by occluded views. The proposed algorithms are shown to be complete and run in polynomial time. Our methods reduce the total running time significantly compared to a baseline method (e.g., 25.1 of reduction in a known static environment with 10 objects


NUBIA NeUral Based Interchangeability Assessor for Text Generation. We present NUBIA, a methodology to build automatic evaluation metrics for text generation using only machine learning models as core components. A typical NUBIA model is composed of three modules a neural feature extractor, an aggregator and a calibrator. We demonstrate an implementation of NUBIA which outperforms metrics currently used to evaluate machine translation, summaries and slightly exceeds matches state of the art metrics on correlation with human judgement on the WMT segment level Direct Assessment task, sentence level ranking and image captioning evaluation. The model implemented is modular, explainable and set to continuously improve over time.


Elliptic curves with large Tate Shafarevich groups over mathbb F q(t) . Let mathbb F q be a finite field of odd characteristic p . We exhibit elliptic curves over the rational function field K mathbb F q(t) whose Tate Shafarevich groups are large. More precisely, we consider certain infinite sequences of explicit elliptic curves E , for which we prove that their Tate Shafarevich group mathrm III (E) is finite and satisfies mathrm III (E) H(E) 1 o(1) as H(E) to infty , where H(E) denotes the exponential differential height of E . The elliptic curves in these sequences are pairwise neither isogenous nor geometrically isomorphic. We further show that the p primary part of their Tate Shafarevich group is trivial. The proof involves explicitly computing the L functions of these elliptic curves, proving the BSD conjecture for them, and obtaining estimates on the size of the central value of their L function.


Strang splitting schemes for N level Bloch models. We extend to the N level Bloch model the splitting scheme which use exact numerical solutions of sub equations. These exact solutions involve matrix exponentials which we want to avoid to calculate at each time step. We use Newton interpolation to reduce the computational cost. The resulting scheme is nonstandard and preserves all qualitative properties of the Bloch equations. We show numerical simulations to compare this approach with a few other schemes.


A representation formula for slice regular functions over slice cones in several variables. The aim of this paper is to extend the so called slice analysis to a general case in which the codomain is a real vector space of even dimension, i.e. is of the form mathbb R 2n . We define a cone mathcal W mathcal C d in End( mathbb R 2n ) d and we extend the slice topology tau s to this cone. Slice regular functions can be defined on open sets in left( tau s, mathcal W mathcal C d right) and a number of results can be proved in this framework, among which a representation formula. This theory can be applied to some real algebras, called left slice complex structure algebras. These algebras include quaternions, octonions, Clifford algebras and real alternative algebras but also left alternative algebras and sedenions, thus providing brand new settings in slice analysis.


Research on asteroids of Christian Ludwig Gerling and his students in the nineteenth century. One of the mayor topics in astronomy at the beginning of the 19th century was the interpretation of the observations of the first asteroids. In 1810 Christian Ludwig Gerling at the age of twenty two came to G "ottingen University to continue his academic studies. Supervised by Carl Friedrich Gau ss at the observatory he was engaged in studies of theoretical and practical astronomy. Starting in 1812 Gerling accepted the responsibility for collecting observational data of the asteroid Vesta from the European observatories and for calculating the ephemeris of this new minor planet. In 1817 Gerling was appointed professor at Marburg University. One of his early astronomical projects in Marburg was his contribution to the Berliner Akademische Sternkarten. After completion of his observatory in 1841 Gerling's students started observing and theoretically analysing the orbits of the continuously newly discovered asteroids including the perturbation of the larger solar system bodies. The observations at Gerling's observatory are the first astrometric measurements of solar systems minor bodies of Hesse.


Three dimensional shear driven turbulence with noise at the boundary. We consider the incompressible 3D Navier Stokes equations subject to a shear induced by noisy movement of part of the boundary. The effect of the noise is quantified by upper bounds on the first two moments of the dissipation rate. The expected value estimate is consistent with the Kolmogorov dissipation law, recovering an upper bound as in 15 for the deterministic case. The movement of the boundary is given by an Ornstein Uhlenbeck process a potential for over dissipation is noted if the Ornstein Uhlenbeck process were replaced by the Wiener process.


The homology of moduli stacks of complexes. We compute the rational homology of the moduli stack mathcal M of objects in the derived category of certain smooth complex projective varieties X including toric varieties, flag varieties, curves, surfaces, and some 3 and 4 folds. We identify Joyce's vertex algebra construction on H ast( mathcal M , mathbb Q ) with a generalized super lattice vertex algebra associated to K 0 rm top (X rm an ) oplus K 1 rm top (X rm an ) .


Behaviour of the Stokes operators under domain perturbation. Depending of the geometry of the domain, one can define at least three different Stokes operators with Dirichlet boundary conditions. We describe how the resolvents of these Stokes operators converge with respect to a converging sequence of domains.


Inferring Inductive Invariants from Phase Structures. Infinite state systems such as distributed protocols are challenging to verify using interactive theorem provers or automatic verification tools. Of these techniques, deductive verification is highly expressive but requires the user to annotate the system with inductive invariants. To relieve the user from this labor intensive and challenging task, invariant inference aims to find inductive invariants automatically. Unfortunately, when applied to infinite state systems such as distributed protocols, existing inference techniques often diverge, which limits their applicability. This paper proposes user guided invariant inference based on phase invariants, which capture the different logical phases of the protocol. Users conveys their intuition by specifying a phase structure, an automaton with edges labeled by program transitions the tool automatically infers assertions that hold in the automaton's states, resulting in a full safety proof.The additional structure from phases guides the inference procedure towards finding an invariant. Our results show that user guidance by phase structures facilitates successful inference beyond the state of the art. We find that phase structures are pleasantly well matched to the intuitive reasoning routinely used by domain experts to understand why distributed protocols are correct, so that providing a phase structure reuses this existing intuition.


Non degeneracy for the critical Lane Emden system. We prove the non degeneracy for the critical Lane Emden system Delta U V p, quad Delta V U q, quad U, V 0 quad text in mathbb R N for all N ge 3 and p,q 0 such that frac 1 p 1 frac 1 q 1 frac N 2 N . We show that all solutions to the linearized system around a ground state must arise from the symmetries of the critical Lane Emden system provided that they belong to the corresponding energy space or they decay to 0 uniformly as the point tends to infinity.


Dual attention Focused Module for Weakly Supervised Object Localization. The research on recognizing the most discriminative regions provides referential information for weakly supervised object localization with only image level annotations. However, the most discriminative regions usually conceal the other parts of the object, thereby impeding entire object recognition and localization. To tackle this problem, the Dual attention Focused Module (DFM) is proposed to enhance object localization performance. Specifically, we present a dual attention module for information fusion, consisting of a position branch and a channel one. In each branch, the input feature map is deduced into an enhancement map and a mask map, thereby highlighting the most discriminative parts or hiding them. For the position mask map, we introduce a focused matrix to enhance it, which utilizes the principle that the pixels of an object are continuous. Between these two branches, the enhancement map is integrated with the mask map, aiming at partially compensating the lost information and diversifies the features. With the dual attention module and focused matrix, the entire object region could be precisely recognized with implicit information. We demonstrate outperforming results of DFM in experiments. In particular, DFM achieves state of the art performance in localization accuracy in ILSVRC 2016 and CUB 200 2011.


Efficient Method for Categorize Animals in the Wild. Automatic species classification in camera traps would greatly help the biodiversity monitoring and species analysis in the earth. In order to accelerate the development of automatic species classification task, "Microsoft AI for Earth" have prepared a challenge in FGVC6 workshop at CVPR 2019, which called "iWildCam 2019 competition". In this work, we propose an efficient method for categorizing animals in the wild. We transfer the state of the art ImagaNet pretrained models to the problem. To improve the generalization and robustness of the model, we utilize efficient image augmentation and regularization strategies, like cutout, mixup and label smoothing. Finally, we use ensemble learning to increase the performance of the model. Thanks to advanced regularization strategies and ensemble learning, we got top 7 336 places in the final leaderboard. Source code of this work is available at https github.com Walleclipse iWildCam 2019 FGVC6


Deep Reinforcement Learning in Cryptocurrency Market Making. This paper sets forth a framework for deep reinforcement learning as applied to market making (DRLMM) for cryptocurrencies. Two advanced policy gradient based algorithms were selected as agents to interact with an environment that represents the observation space through limit order book data, and order flow arrival statistics. Within the experiment, a forward feed neural network is used as the function approximator and two reward functions are compared. The performance of each combination of agent and reward function is evaluated by daily and average trade returns. Using this DRLMM framework, this paper demonstrates the effectiveness of deep reinforcement learning in solving stochastic inventory control challenges market makers face.


An APX for the Maximum Profit Routing Problem with Variable Supply. In this paper, we study the Maximum Profit Routing Problem with Variable Supply (MPRP VS). This is a more general version of the Maximum Profit Public Transportation Route Planning Problem, or simply Maximum Profit Routing Problem (MPRP), introduced in cite Armaselu PETRA . In this new version, the quantity q i(t) supplied at site i is linearly increasing in time t , as opposed to cite Armaselu PETRA , where the quantity is constant in time. Our main result is a 5.5 log T (1 epsilon) (1 frac 1 1 sqrt m ) 2 approximation algorithm, where T is the latest time window and m is the number of vehicles used. In addition, we improve upon the MPRP algorithm in cite Armaselu PETRA under certain conditions.


Mesh Refinement Method for Solving Bang Bang Optimal Control Problems Using Direct Collocation. A mesh refinement method is developed for solving bang bang optimal control problems using direct collocation. The method starts by finding a solution on a coarse mesh. Using this initial solution, the method then determines automatically if the Hamiltonian is linear with respect to the control, and, if so, estimates the locations of the discontinuities in the control. The switch times are estimated by determining the roots of the switching functions, where the switching functions are determined using estimates of the state and costate obtained from the collocation method. The accuracy of the switch times is then improved on subsequent meshes by dividing the original optimal control problem into multiple domains and including variables that define the locations of the switch times. While in principle any collocation method can be used, in this research the previously developed Legendre Gauss Radau collocation method is employed because it provides an accurate approximation of the costate which in turn improves the approximation of the switching functions. The method of this paper is designed to be used with a previously developed mesh refinement method in order to accurately approximate the solution in segments where the solution is smooth. The method is demonstrated on three examples where it is shown to accurately determine the switching structure of a bang bang optimal control problem. When compared with previously developed mesh refinement methods, the results demonstrate that the method developed in this paper improves computational efficiency when solving bang bang optimal control problems.


Frowning Frodo, Wincing Leia, and a Seriously Great Friendship Learning to Classify Emotional Relationships of Fictional Characters. The development of a fictional plot is centered around characters who closely interact with each other forming dynamic social networks. In literature analysis, such networks have mostly been analyzed without particular relation types or focusing on roles which the characters take with respect to each other. We argue that an important aspect for the analysis of stories and their development is the emotion between characters. In this paper, we combine these aspects into a unified framework to classify emotional relationships of fictional characters. We formalize it as a new task and describe the annotation of a corpus, based on fan fiction short stories. The extraction pipeline which we propose consists of character identification (which we treat as given by an oracle here) and the relation classification. For the latter, we provide results using several approaches previously proposed for relation identification with neural methods. The best result of 0.45 F1 is achieved with a GRU with character position indicators on the task of predicting undirected emotion relations in the associated social network graph.


State Complexity Bounds for the Commutative Closure of Group Languages. In this work we construct an automaton for the commutative closure of a given regular group language. The number of states of the resulting automaton is bounded by the number of states of the original automaton, raised to the power of the alphabet size, times the product of the order of the letters, viewed as permutations of the state set. This gives the asymptotic state bound O((n exp( sqrt n ln n )) Sigma ) , if the original regular language is accepted by an automaton with n states. Depending on the automaton in question, we label points of mathbb N 0 Sigma by subsets of states and introduce unary automata which decompose the thus labelled grid. Based on these constructions, we give a general regularity condition, which is fulfilled for group languages.


The norm map on the Bloch group for quadratic extensions. D. Rudenko proved the homotopy invariance of the truncated polylogarithmic complexes. It follows that on these complexes there is the norm map with good proprieties. We apply his result and get the explicit formula for the norm map in the case of quadratic extensions.


Optimal splitting of Parseval frames using Walsh matrices. In 2014 Adam Marcus, Daniel Spielman and Nikhil Srivastava used random vectors to prove a key discrepancy theorem and in so doing gave a positive answer to the long standing Kadison Singer Problem. In this paper we use Walsh matrices to construct a class of natural frames in Euclidean space and discuss how these frames relate to the key discrepancy theorem.


A Study on Action Detection in the Wild. The recent introduction of the AVA dataset for action detection has caused a renewed interest to this problem. Several approaches have been recently proposed that improved the performance. However, all of them have ignored the main difficulty of the AVA dataset its realistic distribution of training and test examples. This dataset was collected by exhaustive annotation of human action in uncurated videos. As a result, the most common categories, such as stand' or sit', contain tens of thousands of examples, whereas rare ones have only dozens. In this work we study the problem of action detection in a highly imbalanced dataset. Differently from previous work on handling long tail category distributions, we begin by analyzing the imbalance in the test set. We demonstrate that the standard AP metric is not informative for the categories in the tail, and propose an alternative one Sampled AP. Armed with this new measure, we study the problem of transferring representations from the data rich head to the rare tail categories and propose a simple but effective approach.


Conservation laws and energy transformations in a class of common physics problems. We analyze a category of problems that is of interest in many physical situations, including those encountered in introductory physics classes systems with two well delineated parts that exchange energy, eventually reaching a shared equilibrium with a loss of mechanical or electrical energy. Such systems can be constrained by a constant of the system (e.g., mass, charge, momentum, or angular momentum) that uniquely determines the mechanical or electrical energy of the equilibrium state, regardless of the dissipation mechanism. A representative example would be a perfectly inelastic collision between two objects in one dimension, for which momentum conservation requires that some of the initial kinetic energy is dissipated by conversion to thermal or other forms as the two objects reach a common final velocity. We discuss how this feature manifests in a suite of four well known and disparate problems that all share a common mathematical formalism. These examples, in which the energy dissipated during the process can be difficult to solve directly from dissipation rates, can be approached by students in a first year physics class by considering conservation laws and can therefore be useful for teaching about energy transformations and conserved quantities. We then illustrate how to extend this method by applying it to a final example.


Measuring the Field Quality in Accelerator Magnets with the Oscillating Wire Method a Case Study for Solving Partial Differential Equations. The single stretched wire method is commonly used to measure the magnetic field strength and magnetic axis in an accelerator magnet. The integrated voltage at the connection terminals of the wire is a measure for the flux linked with the surface traced out by the displaced wire. The stretched wire can also be excited with an alternating current well below the resonance frequency. It is thus possible to measure multipole field errors by making use of the linear relationship between the wire oscillation amplitude, integrated field, and current amplitude. This technique is a good example for solving partial differential equations, or more precisely, boundary value problems in one and two dimensions. In particular, the field in the aperture of accelerator magnets is governed by the Laplace equation, which leads to a boundary value problem that is solved by determining the coefficients in the series of eigenfunctions from measurements of the field components or wire oscillation amplitudes on the domain boundary. The oscillation of the taut string is an example of a one dimensional, in homogenous wave equation. The metrological characterization of the oscillating wire system yield the feedback on the uncertainties (and limitations) of the method, as only the linearized equations of the wire motion and the integrated field harmonics of the magnet are considered.


Design of Reconfigurable Multi Operand Adder for Massively Parallel Processing. The paper presents a systematic study and implementation of a reconfigurable combinatorial multi operand adder for use in Deep Learning systems. The size of carry changes with the number of operands and hence a reliable algorithm to estimate exact number of carry bits is needed for optimal implementation of a reconfigurable multi operand adder. A combinatorial multi operand adder can be faster compared to a sequential implementation using a two operand adder. Use cases for such adders occur in modern processors for deep neural networks. Such processors require massively parallel computing resources on chip. This paper presents a method to estimate the upper bound on the size of carry. A method to compute the exact number of carry bits required for a multi operand addition operation. A fast combinatorial parallel 4 operand adder module is presented. An algorithm to reconfigure these adder modules to implement larger adders is also described. Further, the paper presents two compact but slower iterative structures that implement multi operand addition, iterating with one column at a time till the entire word is covered. Such serial iterative operations are slow but occupy small space while parallel operations are fast but use large silicon area on chip. Interestingly, the area to throughput ratio of two architectures can tilt in favor of slower, smaller and large number units instead of the fewer numbers of fast and large compute units. A lemma presented in the paper may be used to identify the condition when such tilt occurs. Potentially, this can save silicon space and increase the throughput of chips for high performance computing. Simulation results of a 16 operand adder and using an set of 4 operand adders for use in neural networks have been presented. Simulation results show that performance gain improves as the number of operations or operands increases.


Casework applications of probabilistic genotyping methods for DNA mixtures that allow relationships between contributors. In both criminal cases and civil cases there is an increasing demand for the analysis of DNA mixtures involving relationships. The goal might be, for example, to identify the contributors to a DNA mixture where the donors may be related, or to infer the relationship between individuals based on a DNA mixture. This paper applies a recent approach to modelling and computation for DNA mixtures involving contributors with arbitrarily complex relationships to two real cases from the Spanish Forensic Police.


On a scattering length for additive functionals and spectrum of fractional Laplacians with non local perturbations. In this paper we study the scattering length for positive additive functionals of symmetric stable processes on bf R d . The additive functionals considered here are not necessarily continuous. We prove that the semi classical limit of the scattering length equals the capacity of the support of a certain measure potential, thus extend previous results for the case of positive continuous additive functionals. We also give an equivalent criterion for the fractional Laplacian with a measure valued non local operator as a perturbation to have purely discrete spectrum in terms of the scattering length, by considering the connection between scattering length and the bottom of the spectrum of Schr "odinger operator in our settings.


Toward the Internet of No Things The Role of O2O Communications and Extended Reality. Future fully interconnected virtual reality (VR) systems and the Tactile Internet diminish the boundary between virtual (online) and real (offline) worlds, while extending the digital and physical capabilities of humans via edge computing and teleoperated robots, respectively. In this paper, we focus on the Internet of No Things as an extension of immersive VR from virtual to real environments, where human intended Internet services either digital or physical appear when needed and disappear when not needed. We first introduce the concept of integrated online to offline (O2O) communications, which treats online and offline channels as complementary to bridge the virtual and physical worlds and provide O2O multichannel experiences. We then elaborate on the emerging extended reality (XR), which brings the different forms of virtual augmented mixed reality together to realize the entire reality virtuality continuum and, more importantly, supports human machine interaction as envisioned by the Tactile Internet, while posing challenges to conventional handhelds, e.g., smartphones. Building on the so called invisible to visible (I2V) technology concept, we present our extrasensory perception network (ESPN) and investigate how O2O communications and XR can be combined for the nonlocal extension of human "sixth sense" experiences in space and time. We conclude by putting our ideas in perspective of the 6G vision.


What You See Is What You Get? The Impact of Representation Criteria on Human Bias in Hiring. Although systematic biases in decision making are widely documented, the ways in which they emerge from different sources is less understood. We present a controlled experimental platform to study gender bias in hiring by decoupling the effect of world distribution (the gender breakdown of candidates in a specific profession) from bias in human decision making. We explore the effectiveness of textit representation criteria , fixed proportional display of candidates, as an intervention strategy for mitigation of gender bias by conducting experiments measuring human decision makers' rankings for who they would recommend as potential hires. Experiments across professions with varying gender proportions show that balancing gender representation in candidate slates can correct biases for some professions where the world distribution is skewed, although doing so has no impact on other professions where human persistent preferences are at play. We show that the gender of the decision maker, complexity of the decision making task and over and under representation of genders in the candidate slate can all impact the final decision. By decoupling sources of bias, we can better isolate strategies for bias mitigation in human in the loop systems.


3DBooSTeR 3D Body Shape and Texture Recovery. We propose 3DBooSTeR, a novel method to recover a textured 3D body mesh from a textured partial 3D scan. With the advent of virtual and augmented reality, there is a demand for creating realistic and high fidelity digital 3D human representations. However, 3D scanning systems can only capture the 3D human body shape up to some level of defects due to its complexity, including occlusion between body parts, varying levels of details, shape deformations and the articulated skeleton. Textured 3D mesh completion is thus important to enhance 3D acquisitions. The proposed approach decouples the shape and texture completion into two sequential tasks. The shape is recovered by an encoder decoder network deforming a template body mesh. The texture is subsequently obtained by projecting the partial texture onto the template mesh before inpainting the corresponding texture map with a novel approach. The approach is validated on the 3DBodyTex.v2 dataset.


Transport coefficients of multi component mixtures of noble gases based on ab initio potentials. Viscosity and thermal conductivity. The viscosity and thermal conductivity of binary, ternary and quaternary mixtures of helium, neon, argon, and krypton at low density are computed for wide ranges of temperature and molar fractions, applying the Chapman Enskog method. Ab initio interatomic potentials are employed in order to calculate the omega integrals. The relative numerical errors of the viscosity and thermal conductivity do not exceed 1.e 6 and 1.e 5, respectively. The relative uncertainty related to the interatomic potential is about 0.1 . A comparison of the present data with results reported in other papers available in the literature shows a significant improvement of accuracy of the transport coefficients considered here.


Learning and Meta Learning of Stochastic Advection Diffusion Reaction Systems from Sparse Measurements. Physics informed neural networks (PINNs) were recently proposed in 1 as an alternative way to solve partial differential equations (PDEs). A neural network (NN) represents the solution while a PDE induced NN is coupled to the solution NN, and all differential operators are treated using automatic differentiation. Here, we first employ the standard PINN and a stochastic version, sPINN, to solve forward and inverse problems governed by a nonlinear advection diffusion reaction (ADR) equation, assuming we have some sparse measurements of the concentration field at random or pre selected locations. Subsequently, we attempt to optimize the hyper parameters of sPINN by using the Bayesian optimization method (meta learning), and compare the results with the empirically selected hyper parameters of sPINN.


Prolog Technology Reinforcement Learning Prover. We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. The core of the toolkit is a compact and easy to extend Prolog based automated theorem prover called plCoP. plCoP builds on the leanCoP Prolog implementation and adds learning guided Monte Carlo Tree Search as done in the rlCoP system. Other components include a Python interface to plCoP and machine learners, and an external proof checker that verifies the validity of plCoP proofs. The toolkit is evaluated on two benchmarks and we demonstrate its extendability by two additions (1) guidance is extended to reduction steps and (2) the standard leanCoP calculus is extended with rewrite steps and their learned guidance. We argue that the Prolog setting is suitable for combining statistical and symbolic learning methods. The complete toolkit is publicly released.


Metric rectifiability of mathbb H regular surfaces with H "older continuous horizontal normal. Two definitions for the rectfiability of hypersurfaces in Heisenberg groups mathbb H n have been proposed one based on mathbb H regular surfaces, and the other on Lipschitz images of subsets of codimension 1 vertical subgroups. The equivalence between these notions remains an open problem. Recent partial results are due to Cole Pauls, Bigolin Vittone, and Antonelli Le Donne. This paper makes progress in one direction the metric Lipschitz rectifiability of mathbb H regular surfaces. We prove that mathbb H regular surfaces in mathbb H n with alpha H "older continuous horizontal normal, alpha 0 , are metric bilipschitz rectifiable. This improves on the work by Antonelli Le Donne, where the same conclusion was obtained for C infty surfaces. In mathbb H 1 , we prove a slightly stronger result every codimension 1 intrinsic Lipschitz graph with an epsilon of extra regularity in the vertical direction is metric bilipschitz rectifiable. All the proofs in the paper are based on a new general criterion for finding bilipschitz maps between "big pieces" of metric spaces.


The Complexity of Partial Function Extension for Coverage Functions. Coverage functions are an important subclass of submodular functions, finding applications in machine learning, game theory, social networks, and facility location. We study the complexity of partial function extension to coverage functions. That is, given a partial function consisting of a family of subsets of m and a value at each point, does there exist a coverage function defined on all subsets of m that extends this partial function? Partial function extension is previously studied for other function classes, including boolean functions and convex functions, and is useful in many fields, such as obtaining bounds on learning these function classes. We show that determining extendibility of a partial function to a coverage function is NP complete, establishing in the process that there is a polynomial sized certificate of extendibility. The hardness also gives us a lower bound for learning coverage functions. We then study two natural notions of approximate extension, to account for errors in the data set. The two notions correspond roughly to multiplicative point wise approximation and additive L 1 approximation. We show upper and lower bounds for both notions of approximation. In the second case we obtain nearly tight bounds.


FPGA Based Real Time Image Manipulation and Advanced Data Acquisition For 2D XRAY Detectors. Scientific experiments rely on some type of measurements that provides the required data to extract aimed information or conclusions. Data production and analysis are therefore essential components at the heart of any scientific experimental application. Traditionally, efforts on detector development for photon sources have focused on the properties and performance of the detection front ends. In many cases, the data acquisition chain as well as data processing, are treated as a complementary component of the detector system and added at a late stage of the project. In most of the cases, data processing tasks are entrusted to CPUs achieving thus the minimum bandwidth requirements and kept hardware relatively simple in term of functionalities. This also minimizes design effort, complexity and implementation cost. This approach is changing in the last years as it does not fit new high performance detectors FPGA and GPUs are now used to perform complex image manipulation tasks such as image reconstruction, image rotation, accumulation, filtering, data analysis and many others. This frees up CPUs for simpler tasks. The objective of this paper is to present both the implementation of real time FPGA based image manipulation techniques, as well as, the performance of the ESRF data acquisition platform called RASHPA, into the back end board of the SMARTPIX photon counting detector developed at the ESRF.


Fourier Sparse Leverage Scores and Approximate Kernel Learning. We prove new explicit upper bounds on the leverage scores of Fourier sparse functions under both the Gaussian and Laplace measures. In particular, we study s sparse functions of the form f(x) sum j 1 s a j e i lambda j x for coefficients a j in mathbb C and frequencies lambda j in mathbb R . Bounding Fourier sparse leverage scores under various measures is of pure mathematical interest in approximation theory, and our work extends existing results for the uniform measure Erd17,CP19a . Practically, our bounds are motivated by two important applications in machine learning 1. Kernel Approximation. They yield a new random Fourier features algorithm for approximating Gaussian and Cauchy (rational quadratic) kernel matrices. For low dimensional data, our method uses a near optimal number of features, and its runtime is polynomial in the statistical dimension of the approximated kernel matrix. It is the first "oblivious sketching method" with this property for any kernel besides the polynomial kernel, resolving an open question of AKM 17,AKK 20b . 2. Active Learning. They can be used as non uniform sampling distributions for robust active learning when data follows a Gaussian or Laplace distribution. Using the framework of AKM 19 , we provide essentially optimal results for bandlimited and multiband interpolation, and Gaussian process regression. These results generalize existing work that only applies to uniformly distributed data.


H "older classes via semigroups and Riesz transforms. We define H "older classes Lambda alpha associated with a Markovian semigroup and prove that, when the semigroup satisfies the Gamma 2 geq 0 condition, the Riesz transforms are bounded between the H "older classes. As a consequence, this bound holds in manifolds with nonnegative Ricci curvature. We also show, without the need for extra assumptions on the semigroup, that a version of the Morrey inequalities is equivalent to the ultracontractivity property. This result extends the semigroup approach to the Sobolev inequalities laid by Varopoulos. After that, we study certain families of operators between the homogeneous H "older classes. One of these families is given by analytic spectral multipliers and includes the imaginary powers of the generator, the other, by smooth multipliers analogous to those in the Marcienkiewicz theorem. Lastly, we explore the connection between the H "older norm and Campanato's formula for semigroups.


Harnack's inequality for quasilinear elliptic equations with generalized Orlicz growth. We prove Harnack's inequality for bounded weak solutions to quasilinear second order elliptic equations with generalized Orlicz growth conditions. Our approach covers new cases of variable exponent and (p,q) growth conditions.


Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic. Beginning with a simple semantics for propositions, based on counting observations, it is shown that probabilistic and fuzzy logic correspond to two different heuristic assumptions regarding the combination of propositions whose evidence bases are not currently available. These two different heuristic assumptions lead to two different sets of formulas for propagating quantitative truth values through lattice operations. It is shown that these two sets of formulas provide a natural grounding for the multiplicative and additive operator sets in linear logic. The standard rules of linear logic then emerge as consequences of the underlying semantics. The concept of linear logic as a logic of resources" is manifested here via the principle of conservation of evidence" the restrictions to weakening and contraction in linear logic serve to avoid double counting of evidence (beyond any double counting incurred via use of heuristic truth value functions).


Generalized Beta Prime Distribution Applied to Finite Element Error Approximation. In this paper we propose a new generation of probability laws based on the generalized Beta prime distribution to estimate the relative accuracy between two Lagrange finite elements P k 1 and P k 2 , (k 1 k 2) . Since the relative finite element accuracy is usually based on the comparison of the asymptotic speed of convergence when the mesh size h goes to zero, this probability laws highlight that there exists, depending on h , cases such that P k 1 finite element is more likely accurate than the P k 2 one. To confirm this feature, we show and examine on practical examples, the quality of the fit between the statistical frequencies and the corresponding probabilities determined by the probability law. Among others, it validates, when h moves away from zero, that finite element P k 1 may produces more precise results than a finite element P k 2 since the probability of the event " P k 1 is more accurate than P k 2 " consequently increases to become greater than 0.5. In these cases, P k 2 finite elements are more likely overqualified.


What can the brain teach us about building artificial intelligence?. This paper is the preprint of an invited commentary on Lake et al's Behavioral and Brain Sciences article titled "Building machines that learn and think like people". Lake et al's paper offers a timely critique on the recent accomplishments in artificial intelligence from the vantage point of human intelligence, and provides insightful suggestions about research directions for building more human like intelligence. Since we agree with most of the points raised in that paper, we will offer a few points that are complementary.


Measurement of the Spin Tune Using the Coherent Spin Motion of Polarized Proton in a Storage Ring. This paper reports the first spin tune measurement at high energies (24 GeV and 255 GeV) with a driven coherent spin motion. To maintain polarization in a polarized proton collider, it is important to know the spin tune of the polarized proton beam, which is defined as the number of full spin precessions per revolution. A nine magnet spin flipper has demonstrated high spin flip efficiency in the presence of two Siberian snakes 1 . The spin flipper drives a spin resonance with a given frequency (or tune) and strength. When the drive tune is close to the spin tune, the proton spin direction is not vertical anymore, but precesses around the vertical direction. By measuring the precession frequency of the horizontal component the spin tune can be precisely measured. A driven coherent spin motion and fast turn by turn polarization measurement are keys to the measurement. The vertical spin direction is restored after turning the spin flipper off and the polarization value is not affected by the measurement. The fact that this manipulation preserves the polarization makes it possible to measure the spin tune during operation of a high energy accelerator.


On the uniform Roe algebra as a Banach algebra and embeddings of ell p uniform Roe algebras. We work on ell p uniform Roe algebras associated to metric spaces, and on their mutual embedding. We generalize results of I. Farah and the authors to mutual embeddings of uniform Roe algebras of operators on ell p spaces. Simultaneously, we obtain rigidity results for the classic uniform Roe mathrm C algebras which depend only on their Banach algebra structure.


Linear central filtrations and the image of the Burau representation. The Burau representation is a fundamental bridge between the braid group and diverse other topics in mathematics. A 1974 question of Birman asks for a description of the image in this paper we give a "strong approximation" to the answer. Since a 1984 paper of Squier it has been known that the Burau representation preserves a certain Hermitian form. We show that the Burau image is dense in this unitary group relative to a topology induced by a naturally occurring filtration. We expect that the methods of the paper should extend to many other representations of the braid group and perhaps ultimately inform the study of knot and link polynomials.


Fixed points of the Ruelle Thurston operator and the Cauchy transform. We give necessary and sufficient conditions for a function in a naturally appearing functional space to be a fixed point of the Ruelle Thurston operator associated to a rational function, see Lemma 2.1. The proof uses essentially a recent 13 . As an immediate consequence, we revisit Theorem 1 and Lemma 5.2 of 11 , see Theorem 1 and Lemma 2.2 below.


Analysis of the Shifted Boundary Method for the Poisson Problem in General Domains. The shifted boundary method (SBM) is an approximate domain method for boundary value problems, in the broader class of unfitted embedded immersed methods. It has proven to be quite efficient in handling problems with complex geometries, ranging from Poisson to Darcy, from Navier Stokes to elasticity and beyond. The key feature of the SBM is a it shift in the location where Dirichlet boundary conditions are applied from the true to a surrogate boundary and an appropriate modification (again, a it shift ) of the value of the boundary conditions, in order to reduce the consistency error. In this paper we provide a sound analysis of the method in smooth and non smooth domains, highlighting the influence of geometry and distance between exact and surrogate boundaries upon the convergence rate. Without loss of generality, we consider the Poisson problem with Dirichlet boundary conditions as a model and we first detail a procedure to obtain the crucial shifting between the surrogate and the true boundaries. Next, we give a sufficient condition for the well posedness and stability of the discrete problem. The behavior of the consistency error arising from shifting the boundary conditions is thoroughly analyzed, for smooth boundaries and for boundaries with corners and edges. The convergence rate is proven to be optimal in the energy norm, and is further enhanced in the L 2 norm.


On Seven Conjectures of Kedlaya and Medvedovsky. In a paper of Kedlaya and Medvedovsky, the number of distinct dihedral mod 2 modular representations of level N was calculated, and a conjecture on the dimension of the space of level N weight 2 modular forms giving rise to each representation was stated. In this paper we prove this conjecture.


Optimal transport and the Gauss curvature equation. In this short note, we consider the problem of prescribing the Gauss curvature and image of the Gauss map for the graph of a function over a domain in Euclidean space. The prescription of the image of the Gauss map turns this into a second boundary value problem. Our main observation is that this problem can be posed as an optimal transport problem where the target is a subset of the lower hemisphere of mathbb S n . As a result we obtain existence and regularity of solutions under mild assumptions on the curvature, as well as a quantitative version of a gradient blowup result due to Urbas, which turns out to fall within the optimal transport framework.


A fast slow model for adaptive resistance evolution. Resistance to insecticide is considered nowadays one of the major threats to insect control, as its occurrence reduces drastically the efficiency of chemical control campaigns, and may also perturb the application of other control methods, like biological and genetic control. In order to account for the emergence and spread of such phenomenon as an effect of exposition to larvicide and or adulticide, we develop in this paper a general time continuous population model with two life phases, subsequently simplified through slow manifold theory. The derived models present density dependent recruitment and mortality rates in a non conventional way. We show that in absence of selection, they evolve in compliance with Hardy Weinberg law while in presence of selection and in the dominant or codominant cases, convergence to the fittest genotype occurs. The proposed mathematical models should allow for the study of several issues of importance related to the use of insecticides and other adaptive phenomena.


An analysis of noise folding for low rank matrix recovery. Previous work regarding low rank matrix recovery has concentrated on the scenarios in which the matrix is noise free and the measurements are corrupted by noise. However, in practical application, the matrix itself is usually perturbed by random noise preceding to measurement. This paper concisely investigates this scenario and evidences that, for most measurement schemes utilized in compressed sensing, the two models are equivalent with the central distinctness that the noise associated with ( ref eq.3 ) is larger by a factor to mn M , where m, n are the dimension of the matrix and M is the number of measurements. Additionally, this paper discusses the reconstruction of low rank matrices in the setting, presents sufficient conditions based on the associating null space property to guarantee the robust recovery and obtains the number of measurements. Furthermore, for the non Gaussian noise scenario, we further explore it and give the corresponding result. The simulation experiments conducted, on the one hand show effect of noise variance on recovery performance, on the other hand demonstrate the verifiability of the proposed model.


An ensemble of random graphs with identical degree distribution. Degree distribution, or equivalently called degree sequence, has been commonly used to be one of most significant measures for studying a large number of complex networks with which some well known results have been obtained. By contrast, in this paper, we report a fact that two arbitrarily chosen networks with identical degree distribution can have completely different other topological structure, such as diameter, spanning trees number, pearson correlation coefficient, and so forth. Besides that, for a given degree distribution (as power law distribution with exponent gamma 3 discussed here), it is reasonable to ask how many network models with such a constraint we can have. To this end, we generate an ensemble of this kind of random graphs with P(k) sim k gamma ( gamma 3 ), denoted as graph space mathcal N (p,q,t) where probability parameters p and q hold on p q 1 , and indirectly show the cardinality of mathcal N (p,q,t) seems to be large enough in the thermodynamics limit, i.e., N rightarrow infty , by varying values of p and q . From the theoretical point of view, given an ultrasmall constant p c , perhaps only graph model N(1,0,t) is small world and other are not in terms of diameter. And then, we study spanning trees number on two deterministic graph models and obtain both upper bound and lower bound for other members. Meanwhile, for arbitrary p( neq1) , we prove that graph model N(p,q,t) does go through two phase transitions over time, i.e., starting by non assortative pattern and then suddenly going into disassortative region, and gradually converging to initial place (non assortative point). Among of them, one "null" graph model is built.


Shape aware Generative Adversarial Networks for Attribute Transfer. Generative adversarial networks (GANs) have been successfully applied to transfer visual attributes in many domains, including that of human face images. This success is partly attributable to the facts that human faces have similar shapes and the positions of eyes, noses, and mouths are fixed among different people. Attribute transfer is more challenging when the source and target domain share different shapes. In this paper, we introduce a shape aware GAN model that is able to preserve shape when transferring attributes, and propose its application to some real world domains. Compared to other state of art GANs based image to image translation models, the model we propose is able to generate more visually appealing results while maintaining the quality of results from transfer learning.


An Empirical Investigation of Pre Trained Transformer Language Models for Open Domain Dialogue Generation. We present an empirical investigation of pre trained Transformer based auto regressive language models for the task of open domain dialogue generation. Training paradigm of pre training and fine tuning is employed to conduct the parameter learning. Corpora of News and Wikipedia in Chinese and English are collected for the pre training stage respectively. Dialogue context and response are concatenated into a single sequence utilized as the input of the models during the fine tuning stage. A weighted joint prediction paradigm for both context and response is designed to evaluate the performance of models with or without the loss term for context prediction. Various of decoding strategies such as greedy search, beam search, top k sampling, etc. are employed to conduct the response text generation. Extensive experiments are conducted on the typical single turn and multi turn dialogue corpora such as Weibo, Douban, Reddit, DailyDialog, and Persona Chat. Detailed numbers of automatic evaluation metrics on relevance and diversity of the generated results for the languages models as well as the baseline approaches are reported.


Introduction to orbifolds. We introduce orbifolds from the classical point of view, using charts, and present orbifold versions of elementary objects from Algebraic Topology, such as the fundamental group, coverings and Euler characteristic Differential Topology Geometry, including orbibundles, differential forms, integration and (equivariant) De Rham cohomology and Riemannian Geometry, surveying generalizations of classical theorems to this setting.


An Innovative Approach to Addressing Childhood Obesity A Knowledge Based Infrastructure for Supporting Multi Stakeholder Partnership Decision Making in Quebec, Canada. The purpose of this paper is to describe and analyze the development of a knowledge based infrastructure to support MSP decision making processes. The paper emerged from a study to define specifications for a knowledge based infrastructure to provide decision support for community level MSPs in the Canadian province of Quebec. As part of the study, a process assessment was conducted to understand the needs of communities as they collect, organize, and analyze data to make decisions about their priorities. The result of this process is a portrait, which is an epidemiological profile of health and nutrition in their community. Portraits inform strategic planning and development of interventions and are used to assess the impact of interventions. Our key findings indicate ambiguities and disagreement among MSP decision makers regarding causal relationships between actions and outcomes, and the relevant data needed for making decisions. MSP decision makers expressed a desire for easy to use tools that facilitate the collection, organization, synthesis, and analysis of data, to enable decision making in a timely manner. Findings inform conceptual modeling and ontological analysis to capture the domain knowledge and specify relationships between actions and outcomes. This modeling and analysis provide the foundation for an ontology, encoded using OWL 2 Web Ontology Language. The ontology is developed to provide semantic support for the MSP process, defining objectives, strategies, actions, indicators, and data sources. In the future, software interacting with the ontology can facilitate interactive browsing by decision makers in the MSP in the form of concepts, instances, relationships, and axioms. Our ontology also facilitates the integration and interpretation of community data and can help in managing semantic interoperability between different knowledge sources.


BlaBla Linguistic Feature Extraction for Clinical Analysis in Multiple Languages. We introduce BlaBla, an open source Python library for extracting linguistic features with proven clinical relevance to neurological and psychiatric diseases across many languages. BlaBla is a unifying framework for accelerating and simplifying clinical linguistic research. The library is built on state of the art NLP frameworks and supports multithreaded GPU enabled feature extraction via both native Python calls and a command line interface. We describe BlaBla's architecture and clinical validation of its features across 12 diseases. We further demonstrate the application of BlaBla to a task visualizing and classifying language disorders in three languages on real clinical data from the AphasiaBank dataset. We make the codebase freely available to researchers with the hope of providing a consistent, well validated foundation for the next generation of clinical linguistic research.


Faster Approximate Pattern Matching A Unified Approach. Approximate pattern matching is a natural and well studied problem on strings Given a text T , a pattern P , and a threshold k , find (the starting positions of) all substrings of T that are at distance at most k from P . We consider the two most fundamental string metrics the Hamming distance and the edit distance. Under the Hamming distance, we search for substrings of T that have at most k mismatches with P , while under the edit distance, we search for substrings of T that can be transformed to P with at most k edits. Exact occurrences of P in T have a very simple structure If we assume for simplicity that T le 3 P 2 and trim T so that P occurs both as a prefix and as a suffix of T , then both P and T are periodic with a common period. However, an analogous characterization for the structure of occurrences with up to k mismatches was proved only recently by Bringmann et al. SODA'19 Either there are O(k 2) k mismatch occurrences of P in T , or both P and T are at Hamming distance O(k) from strings with a common period O(m k) . We tighten this characterization by showing that there are O(k) k mismatch occurrences in the case when the pattern is not (approximately) periodic, and we lift it to the edit distance setting, where we tightly bound the number of k edit occurrences by O(k 2) in the non periodic case. Our proofs are constructive and let us obtain a unified framework for approximate pattern matching for both considered distances. We showcase the generality of our framework with results for the fully compressed setting (where T and P are given as a straight line program) and for the dynamic setting (where we extend a data structure of Gawrychowski et al. SODA'18 ).


A spectral shape optimization problem with a nonlocal competing term. We study the minimization of a spectral functional made as the sum of the first eigenvalue of the Dirichlet Laplacian and the relative strength of a Riesz type interaction functional. We show that when the Riesz repulsion strength is below a critical value, existence of minimizers occurs. Then we prove, by means of an expansion analysis, that the ball is a rigid minimizer when the Riesz repulsion is small enough. Eventually we show that for certain regimes of the Riesz repulsion, regular minimizers do not exist.


G a teaux type path dependent PDEs and BSDEs with Gaussian forward processes. We are interested in path dependent semilinear PDEs, where the derivatives are of G a teaux type in specific directions k and b, being the kernel functions of a Volterra Gaussian process X. Under some conditions on k, b and the coefficients of the PDE, we prove existence and uniqueness of a decoupled mild solution, a notion introduced in a previous paper by the authors. We also show that the solution of the PDE can be represented through BSDEs where the forward (underlying) process is X.


Uniqueness of stationary states for singular Keller Segel type models. We consider a generalised Keller Segel model with non linear porous medium type diffusion and non local attractive power law interaction, focusing on potentials that are more singular than Newtonian interaction. We show uniqueness of stationary states (if they exist) in any dimension both in the diffusion dominated regime and in the fair competition regime when attraction and repulsion are in balance. As stationary states are radially symmetric decreasing, the question of uniqueness reduces to the radial setting. Our key result is a sharp generalised Hardy Littlewood Sobolev type functional inequality in the radial setting.


Reinforcement Learning of Graph Neural Networks for Service Function Chaining. In the management of computer network systems, the service function chaining (SFC) modules play an important role by generating efficient paths for network traffic through physical servers with virtualized network functions (VNF). To provide the highest quality of services, the SFC module should generate a valid path quickly even in various network topology situations including dynamic VNF resources, various requests, and changes of topologies. The previous supervised learning method demonstrated that the network features can be represented by graph neural networks (GNNs) for the SFC task. However, the performance was limited to only the fixed topology with labeled data. In this paper, we apply reinforcement learning methods for training models on various network topologies with unlabeled data. In the experiments, compared to the previous supervised learning method, the proposed methods demonstrated remarkable flexibility in new topologies without re designing and re training, while preserving a similar level of performance.


Robustness of Pisot regular sequences. We consider numeration systems based on a d tuple mathbf U (U 1, ldots,U d) of sequences of integers and we define ( mathbf U , mathbb K ) regular sequences through mathbb K recognizable formal series, where mathbb K is any semiring. We show that, for any d tuple mathbf U of Pisot numeration systems and any commutative semiring mathbb K , this definition does not depend on the greediness of the mathbf U representations of integers. The proof is constructive and is based on the fact that the normalization is realizable by a 2d tape finite automaton. In particular, we use an ad hoc operation mixing a 2d tape automaton and a mathbb K automaton in order to obtain a new mathbb K automaton.


Monte Carlo Simulations of DNA Damage and Cellular Response to Hadron Irradiation. Numerical simulations are performed on a stochastic model based on Monte Carlo damage simulation process and Markov Chain Monte Carlo techniques to investigate the formation and evaluation of isolated and multiple DNA damage and cellular survival by light ionizing radiation in a colony of tumour cells. The contribution of the local clustering of the strand breaks and base damage is taken into account while considering double strand breaks (DSBs) as primary lesions in the DNA of the cell nucleus induced by ionizing radiation. The model incorporates the combined effects of biological processes such as the tumour oxygenation, cellular multiplication and mutation through various probability distributions in a full Monte Carlo simulation of fractionated hadrontherapy. Our results indicate that the linear and quadratic parameters of the model show a negative correlation, for protons and helium ions, which might suggest an underlying biological mechanism. Despite using a model with quite different descriptions of linear and quadratic parameters, the observed results for linear parameter show largely reasonable agreement while the quadratic parameter consistent deviations from the results obtained using the LEM model at low LET. In addition to the LET dependence, RBE values showed a strong dependence on alpha beta ratio and a considerable scatter for various particle types indicate particle specific behaviour of initial its slope. The surviving curves show a non linear dose response suggesting that interaction among DSBs induced by ionizing radiation contribute significantly to the quadratic term of the model.


Deep Learning Benchmarks and Datasets for Social Media Image Classification for Disaster Response. During a disaster event, images shared on social media helps crisis managers gain situational awareness and assess incurred damages, among other response tasks. Recent advances in computer vision and deep neural networks have enabled the development of models for real time image classification for a number of tasks, including detecting crisis incidents, filtering irrelevant images, classifying images into specific humanitarian categories, and assessing the severity of damage. Despite several efforts, past works mainly suffer from limited resources (i.e., labeled images) available to train more robust deep learning models. In this study, we propose new datasets for disaster type detection, and informativeness classification, and damage severity assessment. Moreover, we relabel existing publicly available datasets for new tasks. We identify exact and near duplicates to form non overlapping data splits, and finally consolidate them to create larger datasets. In our extensive experiments, we benchmark several state of the art deep learning models and achieve promising results. We release our datasets and models publicly, aiming to provide proper baselines as well as to spur further research in the crisis informatics community.


Stroke Constrained Attention Network for Online Handwritten Mathematical Expression Recognition. In this paper, we propose a novel stroke constrained attention network (SCAN) which treats stroke as the basic unit for encoder decoder based online handwritten mathematical expression recognition (HMER). Unlike previous methods which use trace points or image pixels as basic units, SCAN makes full use of stroke level information for better alignment and representation. The proposed SCAN can be adopted in both single modal (online or offline) and multi modal HMER. For single modal HMER, SCAN first employs a CNN GRU encoder to extract point level features from input traces in online mode and employs a CNN encoder to extract pixel level features from input images in offline mode, then use stroke constrained information to convert them into online and offline stroke level features. Using stroke level features can explicitly group points or pixels belonging to the same stroke, therefore reduces the difficulty of symbol segmentation and recognition via the decoder with attention mechanism. For multi modal HMER, other than fusing multi modal information in decoder, SCAN can also fuse multi modal information in encoder by utilizing the stroke based alignments between online and offline modalities. The encoder fusion is a better way for combining multi modal information as it implements the information interaction one step before the decoder fusion so that the advantages of multiple modalities can be exploited earlier and more adequately when training the encoder decoder model. Evaluated on a benchmark published by CROHME competition, the proposed SCAN achieves the state of the art performance.


Analysis of Gait Event related Brain Potentials During Instructed And Spontaneous Treadmill Walking Technical Affordances and used Methods. To improve the understanding of human gait and to facilitate novel developments in gait rehabilitation, the neural correlates of human gait as measured by means of non invasive electroencephalography (EEG) have been investigated recently. Particularly, gait related event related brain potentials (gERPs) may provide information about the functional role of cortical brain regions in human gait control. The purpose of this paper is to explore possible experimental and technical solutions for time sensitive analysis of human gait related ERPs during spontaneous and instructed treadmill walking. A solution (HW SW) for synchronous recording of gait and EEG data was developed, tested and piloted. The solution consists of a custom made USB synchronization interface, a time synchronization module and a data merging module, allowing temporal synchronization of recording devices for time sensitive extraction of gait markers for analysis of gait related ERPs and for the training of artificial neural networks. In the present manuscript, the hardware and software components were tested with the following devices A treadmill with an integrated pressure plate for gait analysis (zebris FDM T) and an Acticap non wireless 32 channel EEG system (Brain Products GmbH). The usability and validity of the developed solution was tested in a pilot study (n 3 healthy participants, n 3 females, mean age 22.75 years). Recorded EEG data was segmented and analyzed according to the detected gait markers for the analysis of gait related ERPs. Finally, EEG periods were used to train a deep learning artificial neural network as classifier of gait phases. The results obtained in this pilot study, although preliminary, support the feasibility of the solution for the application of gait related EEG analysis..


A micro to macro approach to returns, volumes and waiting times. Fundamental variables in financial market are not only price and return but a very important role is also played by trading volumes. Here we propose a new multivariate model that takes into account price returns, logarithmic variation of trading volumes and also waiting times, the latter to be intended as the time interval between changes in trades, price, and volume of stocks. Our approach is based on a generalization of semi Markov chains where an endogenous index process is introduced. We also take into account the dependence structure between the above mentioned variables by means of copulae. The proposed model is motivated by empirical evidences which are known in financial literature and that are also confirmed in this work by analysing real data from Italian stock market in the period August 2015 August 2017. By using Monte Carlo simulations, we show that the model reproduces all these empirical evidences.


A note on ordinal exponentiation and derivatives of normal functions. Michael Rathjen and the present author have shown that Pi 1 1 bar induction is equivalent to (a suitable formalization of) the statement that every normal function has a derivative, provably in mathbf ACA 0 . In this note we show that the base theory can be weakened to mathbf RCA 0 . Our argument makes crucial use of a normal function f with f( alpha) leq 1 alpha 2 and f'( alpha) omega omega alpha . We will also exhibit a normal function g with g( alpha) leq 1 alpha cdot 2 and g'( alpha) omega 1 alpha .


On partial parallel classes in partial Steiner triple systems. For an integer rho such that 1 leq rho leq v 3 , define beta( rho,v) to be the maximum number of blocks in any partial Steiner triple system on v points in which the maximum partial parallel class has size rho . We obtain lower bounds on beta( rho,v) by giving explicit constructions, and upper bounds on beta( rho,v) result from counting arguments. We show that beta( rho,v) in Theta (v) if rho is a constant, and beta( rho,v) in Theta (v 2) if rho v c , where c is a constant. When rho is a constant, our upper and lower bounds on beta( rho,v) differ by a constant that depends on rho . Finally, we apply our results on beta( rho,v) to obtain infinite classes of sequenceable partial Steiner triple systems.


Design of simple stellarator using tilted toroidal field coils. This paper deals with the design of the stellarator field with the simple coil set. In order to realize the stellarator field by the simple coil set, the tilted toroidal field coil uses for creating the rotational transform. Sixteen tilted TF coils create the small radial field and large vertical field. With reducing the vertical field of the tilted toroidal field coil by the axisymmetric poloidal field coil, the stellarator field can be made. The formation of clear and nested flux surfaces is confirmed, and the rotational transform is proportional to the tilting angle of the toroidal field coil. Main components of the magnetic field for the simple stellarator in this paper are the large mirror ripple and small helical ripple. This is a similar property to the quasi isodynamic configuration like the Wendelstein 7 X stellarator. The collisionless orbit for the proton is studied. For a moderate tilting angle of the toroidal field coil, the confinement of the passing and trapped particles improves.


On the regularity of a graph related to conjugacy class sizes of a normal subgroup. Given a finite group G with a normal subgroup N , the simple graph Gamma textit G ( textit N ) is a graph whose vertices are of the form x G , where x in N setminus Z(G) , and x G is the G conjugacy class of N containing the element x . Two vertices x G and y G are adjacent if they are not co prime. In this article we prove that, if Gamma G(N) is a connected incomplete regular graph, then N P times A where P is a p group, for some prime p and A leq Z(G) , and bf Z (N) not N cap bf Z (G) .


Unsupervised Reference Free Summary Quality Evaluation via Contrastive Learning. Evaluation of a document summarization system has been a critical factor to impact the success of the summarization task. Previous approaches, such as ROUGE, mainly consider the informativeness of the assessed summary and require human generated references for each test summary. In this work, we propose to evaluate the summary qualities without reference summaries by unsupervised contrastive learning. Specifically, we design a new metric which covers both linguistic qualities and semantic informativeness based on BERT. To learn the metric, for each summary, we construct different types of negative samples with respect to different aspects of the summary qualities, and train our model with a ranking loss. Experiments on Newsroom and CNN Daily Mail demonstrate that our new evaluation method outperforms other metrics even without reference summaries. Furthermore, we show that our method is general and transferable across datasets.


Synchronizer Free Digital Link Controller. This work presents a producer consumer link between two independent clock domains. The link allows for metastability free, low latency, high throughput communication by slight adjustments to the clock frequencies of the producer and consumer domains steered by a controller circuit. Any such controller cannot deterministically avoid, detect, nor resolve metastability. Typically, this is addressed by synchronizers, incurring a larger dead time in the control loop. We follow the approach of Friedrichs et al. (TC 2018) who proposed metastability containing circuits. The result is a simple control circuit that may become metastable, yet deterministically avoids buffer underrun or overflow. More specifically, the controller output may become metastable, but this may only affect oscillator speeds within specific bounds. In contrast, communication is guaranteed to remain metastability free. We formally prove correctness of the producer consumer link and a possible implementation that has only small overhead. With SPICE simulations of the proposed implementation we further substantiate our claims. The simulation uses 65nm process running at roughly 2GHz.


Phoebe Reuse Aware Online Caching with Reinforcement Learning for Emerging Storage Models. With data durability, high access speed, low power efficiency and byte addressability, NVMe and SSD, which are acknowledged representatives of emerging storage technologies, have been applied broadly in many areas. However, one key issue with high performance adoption of these technologies is how to properly define intelligent cache layers such that the performance gap between emerging technologies and main memory can be well bridged. To this end, we propose Phoebe, a reuse aware reinforcement learning framework for the optimal online caching that is applicable for a wide range of emerging storage models. By continuous interacting with the cache environment and the data stream, Phoebe is capable to extract critical temporal data dependency and relative positional information from a single trace, becoming ever smarter over time. To reduce training overhead during online learning, we utilize periodical training to amortize costs. Phoebe is evaluated on a set of Microsoft cloud storage workloads. Experiment results show that Phoebe is able to close the gap of cache miss rate from LRU and a state of the art online learning based cache policy to the Belady's optimal policy by 70.3 and 52.6 , respectively.


T equivariant disc potentials for toric Calabi Yau manifolds. We study the equivariant disc potentials for immersed SYZ fibers in toric Calabi Yau manifolds. The immersed Lagrangians play a crucial role in the partial compactification of the SYZ mirrors. Morever, their equivariant disc potentials have a close relation with that of Aganagic Vafa branes. We show that the potentials can be computed by using an equivariant version of isomorphisms in the Fukaya category.


Schur rigidity of Schubert varieties in rational homogeneous manifolds of Picard number one. Given a rational homogeneous manifold S G P of Picard number one and a Schubert variety S 0 of S , the pair (S,S 0) is said to be homologically rigid if any subvariety of S having the same homology class as S 0 must be a translate of S 0 by the automorphism group of S . The pair (S,S 0) is said to be Schur rigid if any subvariety of S with homology class equal to a multiple of the homology class of S 0 must be a sum of translates of S 0 . Earlier we completely determined homologically rigid pairs (S,S 0) in case S 0 is homogeneous and answered the same question in smooth non homogeneous cases. In this article we consider Schur rigidity, proving that (S,S 0) exhibits Schur rigidity whenever S 0 is a non linear smooth Schubert variety.


Uniformly branching trees. A quasiconformal tree T is a (compact) metric tree that is doubling and of bounded turning. We call T trivalent if every branch point of T has exactly three branches. If the set of branch points is uniformly relatively separated and uniformly relatively dense, we say that T is uniformly branching. We prove that a metric space T is quasisymmetrically equivalent to the continuum self similar tree if and only if it is a trivalent quasiconformal tree that is uniformly branching. In particular, any two trees of this type are quasisymmetrically equivalent.


Displaying the cohomology of toric line bundles. There is a standard method to calculate the cohomology of torus invariant sheaves L on a toric variety via the simplicial cohomology of associated subsets V(L) of the space N mathbb R of 1 parameter subgroups of the torus. For a line bundle L represented by a formal difference Delta Delta of polyhedra in the character space M mathbb R , ABKW18 contains a simpler formula for the cohomology of L , replacing V(L) by the set theoretic difference Delta setminus Delta . Here, we provide a short and direct proof of this formula.


An effective construction for cut and project rhombus tilings with global n fold rotational symmetry. We give an explicit and effective construction for rhombus cut and project tilings with global n fold rotational symmetry for any n. This construction is based on the dualization of regular n fold multigrids. The main point is to prove the regularity of these multigrids, for this we use a result on trigonometric diophantine equations.


Open Challenges of Blind People using Smartphones. Blind people face significant challenges when using smartphones. The focus on improving non visual mobile accessibility has been at the level of touchscreen access. Our research investigates the challenges faced by blind people in their everyday usage of mobile phones. In this paper, we present a set of studies performed with the target population, novices and experts, using a variety of methods, targeted at identifying and verifying challenges and coping mechanisms. Through a multiple methods approach we identify and validate challenges locally with a diverse set of user expertise and devices, and at scale through the analyses of the largest Android and iOS dedicate forums for blind people. We contribute with a prioritized corpus of smartphone challenges for blind people, and a discussion on a set of directions for future research that tackle the open and often overlooked challenges.


Convergence of a Fully Discrete and Energy Dissipating Finite Volume Scheme for Aggregation Diffusion Equations. We study an implicit finite volume scheme for non linear, non local aggregation diffusion equations which exhibit a gradient flow structure, recently introduced by Bailo, Carrillo, and Hu (2020). Crucially, this scheme keeps the dissipation property of an associated fully discrete energy, and does so unconditionally with respect to the time step. Our main contribution in this work is to show the convergence of the method under suitable assumptions on the diffusion functions and potentials involved.


Classifying complete mathbb C subalgebras of mathbb C t . We address the problem of classifying complete mathbb C subalgebras of mathbb C t . A discrete invariant for this classification problem is the semigroup of orders of the elements in a given mathbb C subalgebra. Hence we can define the space mathcal R Gamma of all mathbb C subalgebras of mathbb C t with semigroup Gamma . After relating this space to the Zariski moduli space of curve singularities and to a moduli space of global singular curves, we prove that mathcal R Gamma is an affine variety by describing its defining equations in an ambient affine space in terms of an explicit algorithm. Moreover, we identify certain types of semigroups Gamma for which mathcal R Gamma is always an affine space, and for general Gamma we describe the stratification of mathcal R Gamma by embedding dimension. We also describe the natural map from mathcal R Gamma to the Zariski moduli space in some special cases. Explicit examples are provided throughout.


Answering (Unions of) Conjunctive Queries using Random Access and Random Order Enumeration. As data analytics becomes more crucial to digital systems, so grows the importance of characterizing the database queries that admit a more efficient evaluation. We consider the tractability yardstick of answer enumeration with a polylogarithmic delay after a linear time preprocessing phase. Such an evaluation is obtained by constructing, in the preprocessing phase, a data structure that supports polylogarithmic delay enumeration. In this paper, we seek a structure that supports the more demanding task of a "random permutation" polylogarithmic delay enumeration in truly random order. Enumeration of this kind is required if downstream applications assume that the intermediate results are representative of the whole result set in a statistically valuable manner. An even more demanding task is that of a "random access" polylogarithmic time retrieval of an answer whose position is given. We establish that the free connex acyclic CQs are tractable in all three senses enumeration, random order enumeration, and random access and in the absence of self joins, it follows from past results that every other CQ is intractable by each of the three (under some fine grained complexity assumptions). However, the three yardsticks are separated in the case of a union of CQs (UCQ) while a union of free connex acyclic CQs has a tractable enumeration, it may (provably) admit no random access. For such UCQs we devise a random order enumeration whose delay is logarithmic in expectation. We also identify a subclass of UCQs for which we can provide random access with polylogarithmic access time. Finally, we present an implementation and an empirical study that show a considerable practical superiority of our random order enumeration approach over state of the art alternatives.


Ising Percolation on Nonamenable Planar Graphs. We study infinite '' or '' clusters for an Ising model on an connected, transitive, non amenable, planar, one ended graph G with finite vertex degree. If the critical percolation probability p c site for the i.i.d. Bernoulli site percolation on G is less than frac 1 2 , we find an explicit region for the coupling constant of the Ising model such that there are infinitely many infinite '' clusters and infinitely many infinite '' clusters, while the random cluster representation of the Ising model has no infinite 1 clusters. If p c site frac 1 2 , we obtain a lower bound for the critical probability in the random cluster representation of the Ising model in terms of p c site .


Relations between large scale brain connectivity and effects of regional stimulation depend on collective dynamical state. At the macroscale, the brain operates as a network of interconnected neuronal populations, which display rhythmic dynamics that support interareal communication. Understanding how stimulation of a particular brain area impacts such concerted activity is important for gaining basic insights into brain function and for developing neuromodulation as a therapeutic tool. However, it remains difficult to predict the downstream effects of focal stimulation. Specifically, little is known about how the collective oscillatory regime of network activity may affect the outcomes of regional perturbations on cooperative dynamics. Here, we combine connectome data and biophysical modeling to begin filling these gaps. By tuning parameters that control the collective dynamics of the network, we identify distinct states of simulated brain activity, and investigate how the distributed effects of stimulation manifest in different states. When baseline oscillations are weak, the stimulated area exhibits enhanced power and frequency, and due to network interactions, nearby regions develop phase locked activity in the excited frequency band. Importantly, we find that focal stimulation also causes more distributed modifications to network coherence at regions' baseline oscillation frequencies, and that these effects are better predicted by functional rather than structural connectivity. In contrast, when the network operates in a regime of stronger endogenous oscillations, stimulation causes only slight shifts in power and frequency, and network averaged changes in coherence are more homogenous across the choice of the stimulated area. In sum, this work builds upon and extends previous computational studies investigating the impacts of stimulation, and highlights that both the stimulation site, and, crucially, the regime of brain network dynamics, can influence the network wide responses to local perturbations.