SIGTYP 2020 Shared Task Prediction of Typological Features. Typological knowledge bases (KBs) such as WALS (Dryer and Haspelmath, 2013) contain information about linguistic properties of the world's languages. They have been shown to be useful for downstream applications, including cross lingual transfer learning and linguistic probing. A major drawback hampering broader adoption of typological KBs is that they are sparsely populated, in the sense that most languages only have annotations for some features, and skewed, in that few features have wide coverage. As typological features often correlate with one another, it is possible to predict them and thus automatically populate typological KBs, which is also the focus of this shared task. Overall, the task attracted 8 submissions from 5 teams, out of which the most successful methods make use of such feature correlations. However, our error analysis reveals that even the strongest submitted systems struggle with predicting feature values for languages where few features are known.


The Number of Threshold Words on n Letters Grows Exponentially for Every n geq 27 . For every n geq 27 , we show that the number of n (n 1) free words (i.e., threshold words) of length k on n letters grows exponentially in k . This settles all but finitely many cases of a conjecture of Ochem.


Structure and Dynamic of Global Population Migration Network. Cross border migration brings economic and cultural impacts to the origin and destination, and is also a key to reflect the international relations of related countries. In fact, the migration relationships of countries are complex and multilateral, but most traditional migration models are bilateral. Network theories could provide a better description of global migration to show the structure and statistical characteristics more clearly. Based on the estimated migration data and disparity filter algorithm, the networks describing the global multilateral migration relationships has been extracted among 200 countries over fifty years. The results show that the global migration networks during 1960 2015 exhibit a clustering and disassortative feature, implying globalized and multipolarized changes of migration during these years. The networks were embed into a Poincar 'e disk, yielding a typical and hierarchical "core periphery" structure which, associated with angular density distribution, has been used to describe the "multi centering" trend since 1990s. Analysis on correlation and evolution of communities indicates the stability of most communities yet some structural changes still exist since 1990s, which reflect that the important historical events are contributable to regional and even global migration patterns.


An elementary study on realizable changes of homology groups of Reeb spaces of fold maps by fundamental surgery operations. In the singularity and differential topological theory of Morse functions and higher dimensional versions or fold maps and application to algebraic and differential topology of manifolds, constructing explicit fold maps and investigating their source manifolds is fundamental, important and difficult. The author has introduced surgery operations (bubbling operations) to fold maps, motivated by studies of Kobayashi, Saeki etc. since 1990 and has explicitly shown that homology groups of Reeb spaces of maps constructed by iterations of these operations are flexible in several cases. Such operations seem to be strong tools in construction of maps and precise studies of manifolds. More precisely, the author has also noticed that the resulting groups are represented as direct sums of the original homology groups and suitable finitely generated commutative groups. The Reeb space of a map is the space of all connected components of inverse images of the maps. Reeb spaces inherit fundamental invariants of the manifolds such as homology groups etc. much in simple cases as polyhedra whose dimensions are equal to those of the target spaces. This paper is on a new explicit study of changes of homology groups of Reeb spaces of fold maps by the surgery operations. We present explicit changes obtained by an approach via elementary theory of sequences of numbers and fundamental continuous or differentiable functions.


Semantic preserving Reinforcement Learning Attack Against Graph Neural Networks for Malware Detection. As an increasing number of deep learning based malware scanners have been proposed, the existing evasion techniques, including code obfuscation and polymorphic malware, are found to be less effective. In this work, we propose a reinforcement learning based semantics preserving (i.e.functionality preserving) attack against black box GNNs (GraphNeural Networks) for malware detection. The key factor of adversarial malware generation via semantic Nops insertion is to select the appropriate semanticNopsand their corresponding basic blocks. The proposed attack uses reinforcement learning to automatically make these "how to select" decisions. To evaluate the attack, we have trained two kinds of GNNs with five types(i.e., Backdoor, Trojan Downloader, Trojan Ransom, Adware, and Worm) of Windows malware samples and various benign Windows programs. The evaluation results have shown that the proposed attack can achieve a significantly higher evasion rate than three baseline attacks, namely the semantics preserving random instruction insertion attack, the semantics preserving accumulative instruction insertion attack, and the semantics preserving gradient based instruction insertion attack.


Peierls barrier for countable Markov shifts. We prove the existence of calibrated uniformly continuous subactions for coercive potentials with bounded variation defined on topologically transitive Markov shifts with countable alphabet through the construction of the Peierls barrier in this context. Also, we characterize the existence of bounded calibrated subactions in the same context.


Subword Sampling for Low Resource Word Alignment. Annotation projection is an important area in NLP that can greatly contribute to creating language resources for low resource languages. Word alignment plays a key role in this setting. However, most of the existing word alignment methods are designed for a high resource setting in machine translation where millions of parallel sentences are available. This amount reduces to a few thousands of sentences when dealing with low resource languages failing the existing established IBM models. In this paper, we propose subword sampling based alignment of text units. This method's hypothesis is that the aggregation of different granularities of text for certain language pairs can help word level alignment. For certain languages for which gold standard alignments exist, we propose an iterative Bayesian optimization framework to optimize selecting possible subwords from the space of possible subword representations of the source and target sentences. We show that the subword sampling method consistently outperforms word level alignment on six language pairs English German, English French, English Romanian, English Persian, English Hindi, and English Inuktitut. In addition, we show that the hyperparameters learned for certain language pairs can be applied to other languages at no supervision and consistently improve the alignment results. We observe that using 5K parallel sentences together with our proposed subword sampling approach, we obtain similar F1 scores to the use of 100K 's of parallel sentences in existing word level fast align eflomal alignment methods.


Martingale Decomposition and BSDE on Time Scales. In this paper, we present martingale decomposition on time scales. We establish the related backward stochastic dynamic equations on time scales (this paper BS nabla E for short, concerning nabla integral on time scales) which unify backward stochastic differential equations and backward stochastic difference equations. We prove the existence and uniqueness theorem of BS nabla E. This work can be considered as a unification and a generalization of similar results in backward stochastic difference equations and backward stochastic differential equations.


REAPS Towards Better Recognition of Fine grained Images by Region Attending and Part Sequencing. Fine grained image recognition has been a hot research topic in computer vision due to its various applications. The state of the art is the part region based approaches that first localize discriminative parts regions, and then learn their fine grained features. However, these approaches have some inherent drawbacks 1) the discriminative feature representation of an object is prone to be disturbed by complicated background 2) it is unreasonable and inflexible to fix the number of salient parts, because the intended parts may be unavailable under certain circumstances due to occlusion or incompleteness, and 3) the spatial correlation among different salient parts has not been thoroughly exploited (if not completely neglected). To overcome these drawbacks, in this paper we propose a new, simple yet robust method by building part sequence model on the attended object region. Concretely, we first try to alleviate the background effect by using a region attention mechanism to generate the attended region from the original image. Then, instead of localizing different salient parts and extracting their features separately, we learn the part representation implicitly by applying a mapping function on the serialized features of the object. Finally, we combine the region attending network and the part sequence learning network into a unified framework that can be trained end to end with only image level labels. Our extensive experiments on three fine grained benchmarks show that the proposed method achieves the state of the art performance.


Bitcoin Coin Selection with Leverage. We present a new Bitcoin coin selection algorithm, "coin selection with leverage", which aims to improve upon cost savings than that of standard knapsack like approaches. Parameters to the new algorithm are available to be tuned at the users discretion to address other goals of coin selection. Our approach naturally fits as a replacement for the standard knapsack ingredient of full coin selection procedures.


Correcting Codes for Asymmetric Single Magnitude Four Error. An error model with asymmetric single magnitude four error is considered. This paper is about constructions of codes correcting single error over mathbb Z 2 a 3 b r . Firstly, we reduce the construction of a maximal size B 1 4 (2 a 3 b r) set for a geq4 and gcd(r,6) 1 to the construction of a maximal size B 1 4 (2 a 3 3 b r) set. Further, we will show that maximal size B 1 4 (8 cdot3 b r) sets can be reduced to maximal size B 1 4 (3 b r) sets. Finally, we give a lower bounds of maximal size B 1 4 (2r) and B 1 4 (2 cdot3 b r) sets.


Infinitesimal homogeneity and bundles. Let Q to M be a principal G bundle, and B 0 a connection on Q . We introduce an infinitesimal homogeneity condition for sections in an associated vector bundle Q times GV with respect to B 0 , and, inspired by the well known Ambrose Singer theorem, we prove the existence of a connection which satisfies a system of parallelism conditions. We explain how this general theorem can be used to prove the known Ambrose Singer type theorems by an appropriate choice of the initial system of data.We also obtain new applications, which cannot be obtained using the known formalisms, e.g. a classification theorem for locally homogeneous spinors. Finally we introduce natural local homogeneity and local symmetry conditions for triples (g,P stackrel p to M,A) consisting of a Riemannian metric on M , a principal bundle on M , and a connection on P . Our main results concern locally homogeneous and locally symmetric triples, and they can be viewed as bundle versions of the Ambrose Singer and Cartan theorem.


What's the worth of having a single CS teacher program aimed at teachers with heterogeneous profiles?. There is consensus regarding the relevance of including Computer Science (CS) in official school curricula. However, this discipline cannot be taught on a large scale until there are enough trained teachers who can effectively lead a class. In this article, we discuss the results of a 400 hour teacher training program conducted in Argentina aimed at K 12 teachers with no CS background. The only requirement to sign up was to be an in service teacher, and therefore there were a plethora of different teacher profiles that attended the courses. Our research aims at understanding whether a single teacher training program can be effective in teaching CS contents and specific pedagogy to teachers with very heterogeneous profiles. Also, we investigate what teachers expect to do with the contents they learn. To assess these questions anonymous examinations and questionnaires were given and interviews were conducted with course attendees. Even though the majority reached the expected minimum bar regarding CS contents and pedagogy, significant differences appear in their self perception as regards career opportunities in CS teaching. Our conclusion is that carrying out CS teacher training for a broad spectrum of profiles may be effective for promoting CS contents. However, if the goal is to boost teachers' confidence in teaching a CS subject, then having a program which focuses on a more restricted selection of profiles would be a better strategy.


Bijective Cremona transformations of the plane. We study the birational self maps of the projective plane over finite fields that induce permutations on the set of rational points. As a main result, we prove that no odd permutation arises over a non prime finite field of characteristic two, which completes the investigation initiated by Cantat about which permutations can be realized this way. Main ingredients in our proof include the invariance of parity under groupoid conjugations by birational maps, and a list of generators for the group of such maps.


Derived equivalences of gerbey curves. We study derived equivalences of certain stacks over genus 1 curves, which arise as connected components of the Picard stack of a genus 1 curve. To this end, we develop a theory of integral transforms for these algebraic stacks. We use this theory to answer the question of when two stacky genus 1 curves are derived equivalent. We use integral transforms and intersection theory on stacks to answer the following questions if C' Pic d(C) , is C Pic f(C') for some integer f ? If C' Pic d(C) and C'' Pic f(C') , then is C'' Pic g(C) for some integer g ?


On Smoothness of the Abel Equation Solution in Terms of the Jacoby Series Coefficients. In this paper we continue the investigation of the Abel equation with the right part belonging to a Lebesgue weighted space. We have improved the previously known result the uniqueness and existence theorem formulated in terms of the Jacoby series coefficients that gives us an opportunity to find and classify a solution due to an asymptotic of some relation containing the Jacoby coefficients of the right part. The new main results are in the following The conditions imposed on the parameters, under which the Abel equation has a unique solution represented by the series, are formulated The relationship between the values of the parameters and the solution smoothness is established. The independence between one of the parameters and the smoothness of the solution is proved.


Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers. The number of instructions of an instruction sequence is taken for its logical SLOC, and is abbreviated with LLOC. A notion of quantitative expressiveness is based on LLOC and in the special case of operation over a family of single bit registers a collection of elementary properties are established. A dedicated notion of interface is developed and is used for stating relevant properties of classes of instruction sequences


Convergence structures and Hausdorff uo Lebesgue topologies on vector lattice algebras of operators. A vector sublattice of the order bounded operators on a Dedekind complete vector lattice can be supplied with the convergence structures of order convergence, strong order convergence, unbounded order convergence, strong unbounded order convergence, and, when applicable, convergence with respect to a Hausdorff uo Lebesgue topology and strong convergence with respect to such a topology. We determine the general validity of the implications between these six convergences on the order bounded operator and on the orthomorphisms. Furthermore, the continuity of left and right multiplications with respect to these convergence structures on the order bounded operators, on the order continuous operators, and on the orthomorphisms is investigated, as is their simultaneous continuity. A number of results are included on the equality of adherences of vector sublattices of the order bounded operators and of the orthomorphisms with respect to these convergence structures. These are consequences of more general results for vector sublattices of arbitrary Dedekind complete vector lattices. The special attention that is paid to vector sublattices of the orthomorphisms is motivated by explaining their relevance for representation theory on vector lattices.


Learning Similarity Conditions Without Explicit Supervision. Many real world tasks require models to compare images along multiple similarity conditions (e.g. similarity in color, category or shape). Existing methods often reason about these complex similarity relationships by learning condition aware embeddings. While such embeddings aid models in learning different notions of similarity, they also limit their capability to generalize to unseen categories since they require explicit labels at test time. To address this deficiency, we propose an approach that jointly learns representations for the different similarity conditions and their contributions as a latent variable without explicit supervision. Comprehensive experiments across three datasets, Polyvore Outfits, Maryland Polyvore and UT Zappos50k, demonstrate the effectiveness of our approach our model outperforms the state of the art methods, even those that are strongly supervised with pre defined similarity conditions, on fill in the blank, outfit compatibility prediction and triplet prediction tasks. Finally, we show that our model learns different visually relevant semantic sub spaces that allow it to generalize well to unseen categories.


Hallucinated Adversarial Learning for Robust Visual Tracking. Humans can easily learn new concepts from just a single exemplar, mainly due to their remarkable ability to imagine or hallucinate what the unseen exemplar may look like in different settings. Incorporating such an ability to hallucinate diverse new samples of the tracked instance can help the trackers alleviate the over fitting problem in the low data tracking regime. To achieve this, we propose an effective adversarial approach, denoted as adversarial "hallucinator" (AH), for robust visual tracking. The proposed AH is designed to firstly learn transferable non linear deformations between a pair of same identity instances, and then apply these deformations to an unseen tracked instance in order to generate diverse positive training samples. By incorporating AH into an online tracking by detection framework, we propose the hallucinated adversarial tracker (HAT), which jointly optimizes AH with an online classifier (e.g., MDNet) in an end to end manner. In addition, a novel selective deformation transfer (SDT) method is presented to better select the deformations which are more suitable for transfer. Extensive experiments on 3 popular benchmarks demonstrate that our HAT achieves the state of the art performance.


Adaptation in general temporally changing environments. We analyze a nonlocal PDE model describing the dynamics of adaptation of a phenotypically structured population, under the effects of mutation and selection, in a changing environment. Previous studies have analyzed the large time behavior of such models, with particular forms of environmental changes, either linearly changing or periodically fluctuating. We use here a completely different mathematical approach, which allows us to consider very general forms of environmental variations and to give an analytic description of the full trajectories of adaptation, including the transient phase, before a stationary behavior is reached. The main idea behind our approach is to study a bivariate distribution of two fitness components' which contains enough information to describe the distribution of fitness at any time. This distribution solves a degenerate parabolic equation that is dealt with by defining a multidimensional cumulant generating function associated with the distribution, and solving the associated transport equation. We apply our results to several examples, and check their accuracy, using stochastic individual based simulations as a benchmark. These examples illustrate the importance of being able to describe the transient dynamics of adaptation to understand the development of drug resistance in pathogens.


American Sign Language Identification Using Hand Trackpoint Analysis. Sign Language helps people with Speaking and Hearing Disabilities communicate with others efficiently. Sign Language identification is a challenging area in the field of computer vision and recent developments have been able to achieve near perfect results for the task, though some challenges are yet to be solved. In this paper we propose a novel machine learning based pipeline for American Sign Language identification using hand track points. We convert a hand gesture into a series of hand track point coordinates that serve as an input to our system. In order to make the solution more efficient, we experimented with 28 different combinations of pre processing techniques, each run on three different machine learning algorithms namely k Nearest Neighbours, Random Forests and a Neural Network. Their performance was contrasted to determine the best pre processing scheme and algorithm pair. Our system achieved an Accuracy of 95.66 to identify American sign language gestures.


A combined on the fly interpolation procedure for evaluating energy values needed in molecular simulations. We propose an algorithm for molecular dynamics or Monte Carlo simulations that uses an interpolation procedure to estimate potential energy values from energies and gradients evaluated previously at points of a simplicial mesh. We chose an interpolation procedure which is exact for harmonic systems and considered two possible mesh types Delaunay triangulation and an alternative anisotropic triangulation designed to improve performance in anharmonic systems. The mesh is generated and updated on the fly during the simulation. The procedure is tested on two dimensional quartic oscillators and on the path integral Monte Carlo evaluation of HCN DCN equilibrium isotope effect.


BVS Corpus A Multilingual Parallel Corpus of Biomedical Scientific Texts. The BVS database (Health Virtual Library) is a centralized source of biomedical information for Latin America and Carib, created in 1998 and coordinated by BIREME (Biblioteca Regional de Medicina) in agreement with the Pan American Health Organization (OPAS). Abstracts are available in English, Spanish, and Portuguese, with a subset in more than one language, thus being a possible source of parallel corpora. In this article, we present the development of parallel corpora from BVS in three languages English, Portuguese, and Spanish. Sentences were automatically aligned using the Hunalign algorithm for EN ES and EN PT language pairs, and for a subset of trilingual articles also. We demonstrate the capabilities of our corpus by training a Neural Machine Translation (OpenNMT) system for each language pair, which outperformed related works on scientific biomedical articles. Sentence alignment was also manually evaluated, presenting an average 96 of correctly aligned sentences across all languages. Our parallel corpus is freely available, with complementary information regarding article metadata.


Instance Sensitive Algorithms for Pure Exploration in Multinomial Logit Bandit. Motivated by real world applications such as fast fashion retailing and online advertising, the Multinomial Logit Bandit (MNL bandit) is a popular model in online learning and operations research, and has attracted much attention in the past decade. However, it is a bit surprising that pure exploration, a basic problem in bandit theory, has not been well studied in MNL bandit so far. In this paper we give efficient algorithms for pure exploration in MNL bandit. Our algorithms achieve instance sensitive pull complexities. We also complement the upper bounds by an almost matching lower bound.


A journey in ESN and LSTM visualisations on a language task. Echo States Networks (ESN) and Long Short Term Memory networks (LSTM) are two popular architectures of Recurrent Neural Networks (RNN) to solve machine learning task involving sequential data. However, little have been done to compare their performances and their internal mechanisms on a common task. In this work, we trained ESNs and LSTMs on a Cross Situationnal Learning (CSL) task. This task aims at modelling how infants learn language they create associations between words and visual stimuli in order to extract meaning from words and sentences. The results are of three kinds performance comparison, internal dynamics analyses and visualization of latent space. (1) We found that both models were able to successfully learn the task the LSTM reached the lowest error for the basic corpus, but the ESN was quicker to train. Furthermore, the ESN was able to outperform LSTMs on datasets more challenging without any further tuning needed. (2) We also conducted an analysis of the internal units activations of LSTMs and ESNs. Despite the deep differences between both models (trained or fixed internal weights), we were able to uncover similar inner mechanisms both put emphasis on the units encoding aspects of the sentence structure. (3) Moreover, we present Recurrent States Space Visualisations (RSSviz), a method to visualize the structure of latent state space of RNNs, based on dimension reduction (using UMAP). This technique enables us to observe a fractal embedding of sequences in the LSTM. RSSviz is also useful for the analysis of ESNs (i) to spot difficult examples and (ii) to generate animated plots showing the evolution of activations across learning stages. Finally, we explore qualitatively how the RSSviz could provide an intuitive visualisation to understand the influence of hyperparameters on the reservoir dynamics prior to ESN training.


Invariant connections on G spaces from invariant connections on G and their group of transformations. For certain affine galoisian coverings whose automorphims are affine transformations, we give a method to compute the group of affine transformations of the base manifold. We use the fact that, in this case, the base manifold inherits a linear connection so that the projection is an affine map. Then we extend this latter result to homogeneous manifolds. More specifically, we give necessary conditions so that a homogeneous G space admits an invariant linear connection induced from a left invariant linear connection on G (the reductive case is treated separately), and we show that if the connection is bi invariant the natural projection is an affine map. Moreover we prove that, given an affine homogeneous space G H , affine transformations of G commuting with the G action determine affine transformations of G H . The reciprocal is true when H is discrete. As an application, we exhibit the group of affine transformations of the orientable flat affine surfaces.


Three representations of the fractional p Laplacian semigroup, extension and Balakrishnan formulas. We introduce three representation formulas for the fractional p Laplace operator in the whole range of parameters 0 s 1 and 1 p infty . Note that for p ne 2 this a nonlinear operator. The first representation is based on a splitting procedure that combines a renormalized nonlinearity with the linear heat semigroup. The second adapts the nonlinearity to the Caffarelli Silvestre linear extension technique. The third one is the corresponding nonlinear version of the Balakrishnan formula. We also discuss the correct choice of the constant of the fractional p Laplace operator in order to have continuous dependence as p to 2 and s to 0 , 1 . A number of consequences and proposals are derived. Thus, we propose a natural spectral type operator in domains, different from the standard restriction of the fractional p Laplace operator acting on the whole space. We also propose numerical schemes, a new definition of the fractional p Laplacian on manifolds, as well as alternative characterizations of the W s,p ( mathbb R n) seminorms.


A geometric based preprocessing for weighted ray transforms with applications in SPECT. In this work we investigate numerically the reconstruction approach proposed in Goncharov, Novikov, 2016, for weighted ray transforms (weighted Radon transforms along oriented straight lines) in 3D. In particular, the approach is based on a geometric reduction of the data modeled by weighted ray transforms to new data modeled by weighted Radon transforms along two dimensional planes in 3D. Such reduction could be seen as a preprocessing procedure which could be further completed by any preferred reconstruction algorithm. In a series of numerical tests on modelized and real SPECT (single photon emission computed tomography) data we demonstrate that such procedure can significantly reduce the impact of noise on reconstructions.


Scission Performance driven and Context aware Cloud Edge Distribution of Deep Neural Networks. Partitioning and distributing deep neural networks (DNNs) across end devices, edge resources and the cloud has a potential twofold advantage preserving privacy of the input data, and reducing the ingress bandwidth demand beyond the edge. However, for a given DNN, identifying the optimal partition configuration for distributing the DNN that maximizes performance is a significant challenge. This is because the combination of potential target hardware resources that maximizes performance and the sequence of layers of the DNN that should be distributed across the target resources needs to be determined, while accounting for user defined objectives constraints for partitioning. This paper presents Scission, a tool for automated benchmarking of DNNs on a given set of target device, edge and cloud resources for determining optimal partitions that maximize DNN performance. The decision making approach is context aware by capitalizing on hardware capabilities of the target resources, their locality, the characteristics of DNN layers, and the network condition. Experimental studies are carried out on 18 DNNs. The decisions made by Scission cannot be manually made by a human given the complexity and the number of dimensions affecting the search space. The benchmarking overheads of Scission allow for responding to operational changes periodically rather than in real time. Scission is available for public download at https github.com qub blesson Scission.


Higher regularity for parabolic equations based on maximal L p L q spaces. In this paper we prove higher regularity for 2m th order parabolic equations with general boundary conditions. This is a kind of maximal L p L q regularity with differentiability, i.e. the main theorem is isomorphism between the solution space and the data space using Besov and Triebel Lizorkin spaces. The key is compatibility conditions for the initial data. We are able to get a unique smooth solution if the data satisfying compatibility conditions are smooth.


Baumslag Solitar relations in abstract commensurators of free groups. Any non residually finite Baumslag Solitar group has a non residually finite image in the abstract commensuration of a nonabelian free group. This gives a new proof (avoiding Britton's Lemma) of the classification of residually finite Baumslag Solitar groups.


Compositionality of the MSO U Logic. We prove that the MSO U logic is compositional in the following sense whether an MSO U formula holds in a tree T depends only on MSO U definable properties of the root of T and of subtrees of T starting directly below the root. Another kind of compositionality follows every MSO U formula whose all free variables range only over finite sets of nodes (in particular, whose all free variables are first order) can be rewritten into an MSO formula having access to properties of subtrees definable by MSO U sentences (without free variables).


Scaling limits of multi type Markov Branching trees. We introduce multi type Markov Branching trees, which are simple random population tree models where individuals are characterized by their size and type and give rise to (size,type) children in a Galton Watson fashion, with the rule that the size of any individual is a least the sum of the sizes of its children. Assuming that macroscopic size splittings are rare, we describe the scaling limits of multi type Markov Branching trees in terms of multi type self similar fragmentation trees. We observe three different regimes according to whether the probability of type change of a size biased child is proportional to the probability of macroscopic splitting (the critical regime, in which we get in the limit multi type fragmentation trees with indeed several types), smaller than the probability of macroscopic splitting (the solo regime, in which the limit trees are monotype as we never see a type change), or larger than the probability of macroscopic splitting (the mixing regime, in which the types mix and we get monotype fragmentation trees). This framework allows us to unify models which may a priori seem quite different, a strength which we illustrate with two notable applications. The first one concerns the description of the scaling limits of growing models of random trees that extend R 'emy's well known algorithm for the generation of uniform binary trees to a fairly broad framework. We are then either in the critical or in the solo regimes. The second application concerns the scaling limits of large multi type critical Galton Watson trees when the offspring distributions all have finite second moments. This topic has already been studied but our approach gives a different proof and we improve on previous results by relaxing some hypotheses. We are then in the mixing regime the scaling limits are multiple of the Brownian CRT, a pure monotype fragmentation tree in our framework.


ScriptNet Neural Static Analysis for Malicious JavaScript Detection. Malicious scripts are an important computer infection threat vector in the wild. For web scale processing, static analysis offers substantial computing efficiencies. We propose the ScriptNet system for neural malicious JavaScript detection which is based on static analysis. We use the Convoluted Partitioning of Long Sequences (CPoLS) model, which processes Javascript files as byte sequences. Lower layers capture the sequential nature of these byte sequences while higher layers classify the resulting embedding as malicious or benign. Unlike previously proposed solutions, our model variants are trained in an end to end fashion allowing discriminative training even for the sequential processing layers. Evaluating this model on a large corpus of 212,408 JavaScript files indicates that the best performing CPoLS model offers a 97.20 true positive rate (TPR) for the first 60K byte subsequence at a false positive rate (FPR) of 0.50 . The best performing CPoLS model significantly outperform several baseline models.


Commentaries on "Learning Sensorimotor Control with Neuromorphic Sensors Toward Hyperdimensional Active Perception" Science Robotics Vol. 4 Issue 30 (2019) 1 10. This correspondence comments on the findings reported in a recent Science Robotics article by Mitrokhin et al. 1 . The main goal of this commentary is to expand on some of the issues touched on in that article. Our experience is that hyperdimensional computing is very different from other approaches to computation and that it can take considerable exposure to its concepts before attaining practically useful understanding. Therefore, in order to provide an overview of the area to the first time reader of 1 , the commentary includes a brief historic overview as well as connects the findings of the article to a larger body of literature existing in the area.


Existence of C 1, alpha Singular Solutions to Euler Nernst Planck Poisson System on mathbb R 3 with Free Moving Charges. We construct a special C 1, alpha blow up solution to the three dimensional system modeling electro hydrodynamics, which is strongly coupled with incompressible Euler equation and Nernst Planck Poisson equation. Our construction lies on the framework established in Elgindi 11 and relies on a special solution to variant spherical Laplacian.


Design Challenges for GDPR RegTech. The Accountability Principle of the GDPR requires that an organisation can demonstrate compliance with the regulations. A survey of GDPR compliance software solutions shows significant gaps in their ability to demonstrate compliance. In contrast, RegTech has recently brought great success to financial compliance, resulting in reduced risk, cost saving and enhanced financial regulatory compliance. It is shown that many GDPR solutions lack interoperability features such as standard APIs, meta data or reports and they are not supported by published methodologies or evidence to support their validity or even utility. A proof of concept prototype was explored using a regulator based self assessment checklist to establish if RegTech best practice could improve the demonstration of GDPR compliance. The application of a RegTech approach provides opportunities for demonstrable and validated GDPR compliance, notwithstanding the risk reductions and cost savings that RegTech can deliver. This paper demonstrates a RegTech approach to GDPR compliance can facilitate an organisation meeting its accountability obligations.


Haldane's formula in Cannings models The case of moderately strong selection. For a class of Cannings models we prove Haldane's formula, pi(s N) sim frac 2s N rho 2 , for the fixation probability of a single beneficial mutant in the limit of large population size N and in the regime of moderately strong selection, i.e. for s N sim N b and 0 b 1 2 . Here, s N is the selective advantage of an individual carrying the beneficial type, and rho 2 is the (asymptotic) offspring variance. Our assumptions on the reproduction mechanism allow for a coupling of the beneficial allele's frequency process with slightly supercritical Galton Watson processes in the early phase of fixation.


Optical non Hermitian para Fermi oscillators. We present a proposal for the optical simulation of para Fermi oscillators in arrays of coupled waveguides. We use a representation that arises as a deformation of the su(2) algebra. This provides us with a set of chiral and a zero energy like normal modes. The latter is its own chiral pair and suggest the addition of controlled losses gains following a pattern defined by parity. In these non Hermitian para Fermi oscillators, the analog of the zero energy mode presents the largest effective loss gain and it is possible to tune the system to show sequences of exceptional points and varying effective losses gains. These arrays can be used for mode suppression or enhancement depending on the use of loss or gain, in that order. We compare our coupled mode theory predictions with finite element method simulations to good agreement.


Coupled differentiation and division of embryonic stem cells inferred from clonal snapshots. The deluge of single cell data obtained by sequencing, imaging and epigenetic markers has led to an increasingly detailed description of cell state. However, it remains challenging to identify how cells transition between different states, in part because data are typically limited to snapshots in time. A prerequisite for inferring cell state transitions from such snapshots is to distinguish whether transitions are coupled to cell divisions. To address this, we present two minimal branching process models of cell division and differentiation in a well mixed population. These models describe dynamics where differentiation and division are coupled or uncoupled. For each model, we derive analytic expressions for each subpopulation's mean and variance and for the likelihood, allowing exact Bayesian parameter inference and model selection in the idealised case of fully observed trajectories of differentiation and division events. In the case of snapshots, we present a sample path algorithm and use this to predict optimal temporal spacing of measurements for experimental design. We then apply this methodology to an textit in vitro dataset assaying the clonal growth of epiblast stem cells in culture conditions promoting self renewal or differentiation. Here, the larger number of cell states necessitates approximate Bayesian computation. For both culture conditions, our inference supports the model where cell state transitions are coupled to division. For culture conditions promoting differentiation, our analysis indicates a possible shift in dynamics, with these processes becoming more coupled over time.


Local Geometric Distortions Resilient Watermarking Scheme Based on Symmetry. As an efficient watermark attack method, geometric distortions destroy the synchronization between watermark encoder and decoder. And the local geometric distortion is a famous challenge in the watermark field. Although a lot of geometric distortions resilient watermarking schemes have been proposed, few of them perform well against local geometric distortion like random bending attack (RBA). To address this problem, this paper proposes a novel watermark synchronization process and the corresponding watermarking scheme. In our scheme, the watermark bits are represented by random patterns. The message is encoded to get a watermark unit, and the watermark unit is flipped to generate a symmetrical watermark. Then the symmetrical watermark is embedded into the spatial domain of the host image in an additive way. In watermark extraction, we first get the theoretically mean square error minimized estimation of the watermark. Then the auto convolution function is applied to this estimation to detect the symmetry and get a watermark units map. According to this map, the watermark can be accurately synchronized, and then the extraction can be done. Experimental results demonstrate the excellent robustness of the proposed watermarking scheme to local geometric distortions, global geometric distortions, common image processing operations, and some kinds of combined attacks.


Cryptography using generalized Fibonacci matrices with Affine Hill cipher. In this article, we have proposed a public key cryptography using Affine Hill cipher with a generalized Fibonacci matrix(called multinacci matrix). Also proposed a key establishment(exchange of key matrix K Q lambda k of order lambda times lambda for encryption decryption) scheme with the help of multinacci sequences under prime modulo. In this scheme, instead of exchanging key matrix, we need to exchange the only pair of numbers ( lambda, k) , which reduces the time complexity as well as space complexity and comes with a large key space.


Cross model Back translated Distillation for Unsupervised Machine Translation. Recent unsupervised machine translation (UMT) systems usually employ three main principles initialization, language modeling and iterative back translation, though they may apply them differently. Crucially, iterative back translation and denoising auto encoding for language modeling provide data diversity to train the UMT systems. However, the gains from these diversification processes has seemed to plateau. We introduce a novel component to the standard UMT framework called Cross model Back translated Distillation (CBD), that is aimed to induce another level of data diversification that existing principles lack. CBD is applicable to all previous UMT approaches. In our experiments, CBD achieves the state of the art in the WMT'14 English French, WMT'16 English German and English Romanian bilingual unsupervised translation tasks, with 38.2, 30.1, and 36.3 BLEU respectively. It also yields 1.5 3.3 BLEU improvements in IWSLT English French and English German tasks. Through extensive experimental analyses, we show that CBD is effective because it embraces data diversity while other similar variants do not.


Brain inspired Distributed Cognitive Architecture. In this paper we present a brain inspired cognitive architecture that incorporates sensory processing, classification, contextual prediction, and emotional tagging. The cognitive architecture is implemented as three modular web servers, meaning that it can be deployed centrally or across a network for servers. The experiments reveal two distinct operations of behaviour, namely high and low salience modes of operations, which closely model attention in the brain. In addition to modelling the cortex, we have demonstrated that a bio inspired architecture introduced processing efficiencies. The software has been published as an open source platform, and can be easily extended by future research teams. This research lays the foundations for bio realistic attention direction and sensory selection, and we believe that it is a key step towards achieving a bio realistic artificial intelligent system.


Multi Task Semantic Dependency Parsing with Policy Gradient for Learning Easy First Strategies. In Semantic Dependency Parsing (SDP), semantic relations form directed acyclic graphs, rather than trees. We propose a new iterative predicate selection (IPS) algorithm for SDP. Our IPS algorithm combines the graph based and transition based parsing approaches in order to handle multiple semantic head words. We train the IPS model using a combination of multi task learning and task specific policy gradient training. Trained this way, IPS achieves a new state of the art on the SemEval 2015 Task 18 datasets. Furthermore, we observe that policy gradient training learns an easy first strategy.


InSpectre Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. The recent Spectre attacks has demonstrated the fundamental insecurity of current computer microarchitecture. The attacks use features like pipelining, out of order and speculation to extract arbitrary information about the memory contents of a process. A comprehensive formal microarchitectural model capable of representing the forms of out of order and speculative behavior that can meaningfully be implemented in a high performance pipelined architecture has not yet emerged. Such a model would be very useful, as it would allow the existence and non existence of vulnerabilities, and soundness of countermeasures to be formally established. In this paper we present such a model targeting single core processors. The model is intentionally very general and provides an infrastructure to define models of real CPUs. It incorporates microarchitectural features that underpin all known Spectre vulnerabilities. We use the model to elucidate the security of existing and new vulnerabilities, as well as to formally analyze the effectiveness of proposed countermeasures. Specifically, we discover three new (potential) vulnerabilities, including a new variant of Spectre v4, a vulnerability on speculative fetching, and a vulnerability on out of order execution, and analyze the effectiveness of three existing countermeasures constant time, Retpoline, and ARM's Speculative Store Bypass Safe (SSBS).


Investigating the Impact of Inclusion in Face Recognition Training Data on Individual Face Identification. Modern face recognition systems leverage datasets containing images of hundreds of thousands of specific individuals' faces to train deep convolutional neural networks to learn an embedding space that maps an arbitrary individual's face to a vector representation of their identity. The performance of a face recognition system in face verification (1 1) and face identification (1 N) tasks is directly related to the ability of an embedding space to discriminate between identities. Recently, there has been significant public scrutiny into the source and privacy implications of large scale face recognition training datasets such as MS Celeb 1M and MegaFace, as many people are uncomfortable with their face being used to train dual use technologies that can enable mass surveillance. However, the impact of an individual's inclusion in training data on a derived system's ability to recognize them has not previously been studied. In this work, we audit ArcFace, a state of the art, open source face recognition system, in a large scale face identification experiment with more than one million distractor images. We find a Rank 1 face identification accuracy of 79.71 for individuals present in the model's training data and an accuracy of 75.73 for those not present. This modest difference in accuracy demonstrates that face recognition systems using deep learning work better for individuals they are trained on, which has serious privacy implications when one considers all major open source face recognition training datasets do not obtain informed consent from individuals during their collection.


Inverse Optimal Planning for Air Traffic Control. We envision a system that concisely describes the rules of air traffic control, assists human operators and supports dense autonomous air traffic around commercial airports. We develop a method to learn the rules of air traffic control from real data as a cost function via maximum entropy inverse reinforcement learning. This cost function is used as a penalty for a search based motion planning method that discretizes both the control and the state space. We illustrate the methodology by showing that our approach can learn to imitate the airport arrival routes and separation rules of dense commercial air traffic. The resulting trajectories are shown to be safe, feasible, and efficient.


Optimal reinforcing networks for elastic membranes. In this paper we study the optimal reinforcement of an elastic membrane, fixed at its boundary, by means of a network (connected onedimensional structure), that has to be found in a suitable admissible class. We show the existence of an optimal solution that may present multiplicities, that is regions where the optimal structure overlaps. Some numerical simulations are shown to confirm this issue and to illustrate the complexity of the optimal network when their total length becomes large.


Atomic operators in vector lattices. In this paper we introduce a new class of operators on vector lattices. We say that a linear or nonlinear operator T from a vector lattice E to a vector lattice F is atomic if there exists a Boolean homomorphism Phi from the Boolean algebra mathfrak B (E) of all order projections on E to mathfrak B (F) such that T pi Phi( pi)T for every order projection pi in mathfrak B (E) . We show that the set of all atomic operators defined on a vector lattice E with the principal projection property and taking values in a Dedekind complete vector lattice F , is a band in the vector lattice of all regular orthogonally additive operators from E to F . We give the formula for the order projection onto this band, and we obtain an analytic representation for atomic operators between spaces of measurable functions. Finally, we consider the procedure of the extension of an atomic map from a lateral ideal to the whole space.


Numerical upscaling for heterogeneous materials in fractured domains. We consider numerical solution of elliptic problems with heterogeneous diffusion coefficients containing thin highly conductive structures. Such problems arise e.g. in fractured porous media, reinforced materials, and electric circuits. The main computational challenge is the high resolution needed to resolve the data variation. We propose a multiscale method that models the thin structures as interfaces and incorporate heterogeneities in corrected shape functions. The construction results in an accurate upscaled representation of the system that can be used to solve for several forcing functions or to simulate evolution problems in an efficient way. By introducing a novel interpolation operator, defining the fine scale of the problem, we prove exponential decay of the shape functions which allows for a sparse approximation of the upscaled representation. An a priori error bound is also derived for the proposed method together with numerical examples that verify the theoretical findings. Finally we present a numerical example to show how the technique can be applied to evolution problems.


Approach for Document Detection by Contours and Contrasts. This paper considers arbitrary document detection performed on a mobile device. The classical contour based approach often fails in cases featuring occlusion, complex background, or blur. The region based approach, which relies on the contrast between object and background, does not have application limitations, however, its known implementations are highly resource consuming. We propose a modification of the contour based method, in which the competing contour location hypotheses are ranked according to the contrast between the areas inside and outside the border. In the experiments, such modification allows for the decrease of alternatives ordering errors by 40 and the decrease of the overall detection errors by 10 . The proposed method provides unmatched state of the art performance on the open MIDV 500 dataset, and it demonstrates results comparable with state of the art performance on the SmartDoc dataset.


A scaled space filling curve index applied to tropical rain forest tree distributions. In order to be able to process the increasing amount of spatial data, efficient methods for their handling need to be developed. One major challenge for big spatial data is access. This can be achieved through space filling curves, as they have the property that nearby points on the curve are also nearby in space. They are able to handle higher dimensional data, too. Higher dimensional data is widely used e.g. in CityGML and is becoming more and more important. In a laboratory experiment on a tropical rain forest tree data set of 2.5 million points taken from an 18 dimensional space, it is demonstrated that the recently constructed scaled Gray Hilbert curve index performs better than its standard static version, saving a significant amount of space for a projection of the data set onto 8 attributes. The implementation is based on a binary tree in a data driven process, in a similar way as e.g. the R tree. Its scalability allows the handling of different kinds of data distributions which are reflected in the tree structure of the index. The relative efficiency of the scaled Gray Hilbert curve in comparison with the best static version is seen to depend on the distribution of the point cloud. A local sparsity measure derived from properties of the corresponding trees can distinguish point clouds with different tail distributions. The different resulting binary trees are visualised to illustrate the influences of the different tail distributions they have been built on.


Electromagnetic field theory for invariant beams using scalar potentials. We present a description of the electromagnetic field for propagation invariant beams using scalar potentials. Fundamental dynamical quantities are obtained the energy density, the Poynting vector and the Maxwell stress tensor. As an example, all these quantities are explicitly calculated for the Bessel beams, which are the invariant beams with circular cylindrical symmetry.


The Impacts of Convex Piecewise Linear Cost Formulations on AC Optimal Power Flow. Despite strong connections through shared application areas, research efforts on power market optimization (e.g., unit commitment) and power network optimization (e.g., optimal power flow) remain largely independent. A notable illustration of this is the treatment of power generation cost functions, where nonlinear network optimization has largely used polynomial representations and market optimization has adopted piecewise linear encodings. This work combines state of the art results from both lines of research to understand the best mathematical formulations of the nonlinear AC optimal power flow problem with piecewise linear generation cost functions. An extensive numerical analysis of non convex models, linear approximations, and convex relaxations across fifty four realistic test cases illustrates that nonlinear optimization methods are surprisingly sensitive to the mathematical formulation of piecewise linear functions. The results indicate that a poor formulation choice can slow down algorithm performance by a factor of ten, increasing the runtime from seconds to minutes. These results provide valuable insights into the best formulations of nonlinear optimal power flow problems with piecewise linear cost functions, a important step towards building a new generation of energy markets that incorporate the nonlinear AC power flow model.


Picture What you Read. Visualization refers to our ability to create an image in our head based on the text we read or the words we hear. It is one of the many skills that makes reading comprehension possible. Convolutional Neural Networks (CNN) are an excellent tool for recognizing and classifying text documents. In addition, it can generate images conditioned on natural language. In this work, we utilize CNNs capabilities to generate realistic images representative of the text illustrating the semantic concept. We conducted various experiments to highlight the capacity of the proposed model to generate representative images of the text descriptions used as input to the proposed model.


Valid inequalities, preprocessing, and an effective heuristic for the uncapacitated three level lot sizing and replenishment problem with a distribution structure. We consider the uncapacitated three level lot sizing and replenishment problem with a distribution structure. In this NP hard problem, a single production plant sends the produced items to replenish warehouses from where they are dispatched to the retailers in order to satisfy their demands over a finite planning horizon. The goal of the problem is to determine an integrated production and distribution plan minimizing the total costs, which comprehends fixed production and transportation setup as well as variable inventory holding costs. We describe new valid inequalities both in the space of a standard mixed integer programming (MIP) formulation and in that of a new alternative extended MIP formulation. We show that using such extended formulation, valid inequalities having similar structures to those in the standard one allow achieving tighter linear relaxation bounds. Furthermore, we propose a preprocessing approach to reduce the size of a multi commodity MIP formulation and a multi start randomized bottom up dynamic programming based heuristic. Computational experiments indicate that the use of the valid inequalities in a branch and cut approach significantly increase the ability of a MIP solver to solve instances to optimality. Additionally, the valid inequalities for the extended formulation outperform those for the standard one in terms of number of solved instances, running time and number of enumerated nodes. Moreover, the proposed heuristic is able to generate solutions with considerably low optimality gaps within very short computational times even for large instances. Combining the preprocessing approach with the heuristic, one can achieve an increase in the number of solutions solved to optimality within the time limit together with significant reductions on the average times for solving them.


Transactive Energy System Market Based Coordination of Distributed Energy Resources. Distributed energy resources (DER) provide significant value for renewable energy integration in modern power grids. However, unlocking this value requires complex design and coordination. This paper focuses on the emerging em transactive energy systems , which draw tools and principles from economics to design the coordination strategies for DERs. The concept of transactive energy system broadly captures a huge body of literature, and many of them are closely related but fundamentally different. This gives rise to the following questions how to formally compare different transactive energy systems and their proposed approaches? How to choose the right transactive energy system to formulate a given problem? What tools are available in the literature for each class of transactive energy systems? In this paper, we answer these questions by synthesizing a unifying framework for a large class of problems studied in the literature. The framework consists of preferences, control decision, information structure and solution concept. These elements are important in identifying and distinguishing various transactive energy systems in the literature. We employ the proposed framework to analyze a few important class of transactive energy systems. Their connections and differences are discussed, and available tools for each class of problems are surveyed.


Right angled Artin group boundaries. In all known examples of a CAT(0) group acting on CAT(0) spaces with non homeomorphic CAT(0) visual boundaries, the boundaries are each not path connected. In this paper, we show this does not have to be the case by providing examples of right angled Artin groups which exhibit non unique CAT(0) boundaries where all of the boundaries are arbitrarily connected. We also prove a combination theorem for certain amalgams of CAT(0) groups to act on spaces with non path connected visual boundaries. We apply this theorem to some right angled Artin groups.


Hierarchical Coded Matrix Multiplication. In distributed computing systems slow working nodes, known as stragglers, can greatly extend finishing times. Coded computing is a technique that enables straggler resistant computation. Most coded computing techniques presented to date provide robustness by ensuring that the time to finish depends only on a set of the fastest nodes. However, while stragglers do compute less work than non stragglers, in real world commercial cloud computing systems (e.g., Amazon's Elastic Compute Cloud (EC2)) the distinction is often a soft one. In this paper, we develop hierarchical coded computing that exploits the work completed by all nodes, both fast and slow, automatically integrating the potential contribution of each. We first present a conceptual framework to represent the division of work amongst nodes in coded matrix multiplication as a cuboid partitioning problem. This framework allows us to unify existing methods and motivates new techniques. We then develop three methods of hierarchical coded computing that we term bit interleaved coded computation (BICC), multilevel coded computation (MLCC), and hybrid hierarchical coded computation (HHCC). In this paradigm, each worker is tasked with completing a sequence (a hierarchy) of ordered subtasks. The sequence of subtasks, and the complexity of each, is designed so that partial work completed by stragglers can be used, rather than ignored. We note that our methods can be used in conjunction with any coded computing method. We illustrate this by showing how we can use our methods to accelerate all previously developed coded computing techniques by enabling them to exploit stragglers. Under a widely studied statistical model of completion time, our approach realizes a 66 improvement in the expected finishing time. On Amazon EC2, the gain was 27 when stragglers are simulated.


How Peripheral Interactive Systems Can Support Teachers with Differentiated Instruction Using FireFlies as a Probe. Teachers' response to the real time needs of diverse learners in the classroom is important for each learner's success. Teachers who give differentiated instruction (DI) provide pertinent support to each student and acknowledge their differences in learning style and pace. However, due to the already complex and intensive routines in classrooms, it is demanding and time consuming for teachers to implement DI on the spot. This study aims to explore how to ease teachers' classroom differentiation by enabling effortless, low threshold student teacher communications through a peripheral interactive system. Namely, we present a six week study, in which we iteratively co designed and field tested interaction solutions with eight school teachers, using a set of distributed, interactive LED objects (the 'FireFlies' platform). By connecting our findings to the theories of DI, we contribute empirical knowledge about the advantages and limitations of a peripheral interactive system in supporting DI. Taken together, we summarize concrete opportunities and recommendations for future design.


On open books and embedding of smooth and contact manifolds. We discuss embedding of manifolds in the category of open books, contact manifolds and contact open books. We prove an open book version of the Haefliger Hirsch embedding theorem by showing that every k connected closed n manifold ( n geq 7 , k frac n 4 2 ) admits an open book embedding in the trivial open book of mathbb S 2n k . We then prove that every closed manifold M 2n 1 that bounds an achiral Lefschetz fibration, admits open book embedding in the trivial open book of mathbb S 2 lfloor frac 3n 2 rfloor 3 . We also prove that every closed manifold M 2n 1 bounding an achiral Lefschetz fibration admits a contact structure that isocontact embeds in the standard contact structure on mathbb R 2n 3 . Finally, we give various examples of contact open book embeddings of contact (2n 1) manifolds in the trivial supporting open book of the standard contact structure on mathbb S 4n 1 .


Necessary and Sufficient Conditions for Quasisymmetry. A necessary and sufficient set of conditions for a quasisymmetric magnetic field in the form of constraint equations is derived from first principles. Without any assumption regarding the magnetohydrodynamic (MHD) equilibrium of the plasma, conditions for quasisymmetry are constructed starting from the single particle Lagrangian to leading order. The conditions presented in the paper are less restrictive than the set recently obtained by Burby et al. arXiv 1912.06468 , and could facilitate ongoing efforts towards investigating the existence of global quasisymmetric MHD equilibria. It is also shown that quasisymmetry implies the existence of flux surfaces, regardless of whether the field corresponds to an MHD equilibrium.


Towards an mathfrak sl 2 action on the annular Khovanov spectrum. Given a link in the thickened annulus, its annular Khovanov homology carries an action of the Lie algebra mathfrak sl 2 , which is natural with respect to annular link cobordisms. We consider the problem of lifting this action to the stable homotopy refinement of the annular homology. As part of this program, the actions of the standard generators of mathfrak sl 2 are lifted to maps of spectra. In particular, it follows that the mathfrak sl 2 action on homology commutes with the action of the Steenrod algebra. The main new technical ingredients developed in this paper, which may be of independent interest, concern certain types of cancellations in the cube of resolutions and the resulting more intricate structure of the moduli spaces in the framed flow category.


Leavitt vs. C pullbacks. We show that certain pullbacks of algebras equivariant with respect to a compact group action remain pullbacks upon completing to C algebras. This unifies a number of results in the literature on graph algebras, showing that pullbacks of Leavitt path algebras lift automatically to pullbacks of the corresponding graph C algebras.


Representations of simple Jordan superalgebras. This paper completes description of categories of representations of finite dimensional simple unital Jordan superalgebras over algebraically closed field of characteristic zero.


Dynamic Inchworm Crawling Performance Analysis and Optimization of a Three link Robot. Inchworm crawling allows for both quasistatic and dynamic gaits at a wide range of actuation frequencies. This locomotion mechanism is common in nonskeletal animals and exploited extensively in the bio inspired field of soft robotics. In this work we develop and simulate the hybrid dynamic crawling of a three link robot, with passive frictional contacts. We fabricate and experimentally test such robot under periodic inputs of joints' angles, with good agreement to the theoretical predictions. This allows to comprehend and exploit the effects of inertia in order to find optimal performance in inputs' parameters. A simple criterion of robustness to uncertainties in friction is proposed. Tuning the inputs according to this criterion improves the robustness of low frequency actuation, while increasing the frequency allows for gaits with both high advancement velocity and robustness. Finally, the advantages of uneven mass distribution are studied. Time scaling technique is introduced to shape inputs that achieve similar effect without reassembling the robot. A machine learning based optimization is applied to these inputs to further improve the robot's performance in traveling distance.


PorePy An Open Source Software for Simulation of Multiphysics Processes in Fractured Porous Media. Development of models and dedicated numerical methods for dynamics in fractured rocks is an active research field, with research moving towards increasingly advanced process couplings and complex fracture networks. The inclusion of coupled processes in simulation models is challenged by the high aspect ratio of the fractures, the complex geometry of fracture networks and the crucial impact of processes that completely change characteristics on the fracture rock interface. This paper provides a general discussion of design principles for introducing fractures in simulators, and defines a framework for integrated modeling, discretization and computer implementation. The framework is implemented in the simulation software PorePy, which can serve as a flexible prototyping tool or multiphysics problems in fractured rocks. Based on a representation of the fractures and their intersections as lower dimensional objects, we discuss data structures for mixed dimensional meshes, formulation of multiphysics problems and discretizations that utilize existing software. We further present the implementation of these concepts in the PorePy open source software tool, which is aimed at coupled simulation of flow and transport in three dimensional fractured reservoirs as well as deformation of fractures and the reservoir in general. We present validation by benchmarks for flow, poroelasticity and fracture deformation in fractured porous media. The flexibility of the framework is then illustrated by simulations of fully coupled flow and transport and of injection driven deformation of fractures. All results reported herein can be reproduced by openly available simulation scripts.


Two bifurcation sets arising from the beta transformation with a hole at 0 . Given beta in(1,2 , the beta transformation T beta x mapsto beta x pmod 1 on the circle 0, 1) with a hole 0, t) was investigated by Kalle et al. (2019). They described the set valued bifurcation set mathcal E beta t in 0, 1) K beta(t') ne K beta(t) forall t' t , where K beta(t) x in 0, 1) T beta n(x) ge t forall n ge 0 is the survivor set. In this paper we investigate the dimension bifurcation set mathcal B beta t in 0, 1) dim H K beta(t') ne dim H K beta(t) forall t' t , where dim H denotes the Hausdorff dimension. We show that if beta in(1,2 is a multinacci number then the two bifurcation sets mathcal B beta and mathcal E beta coincide. Moreover we give a complete characterization of these two sets. As a corollary of our main result we prove that for beta a multinacci number we have dim H( mathcal E beta cap t, 1 ) dim H K beta(t) for any t in 0, 1) . This confirms a conjecture of Kalle et al. for beta a multinacci number.


On the anisotropic stable JCIR process. We investigate the anisotropic stable JCIR process which is a multi dimensional extension of the stable JCIR process but also a multi dimensional analogue of the classical JCIR process. We prove that the heat kernel of the anisotropic stable JCIR process exists and it satisfies an a priori bound in a weighted anisotropic Besov norm. Based on this regularity result we deduce the strong Feller property and prove, for the subcritical case, exponential ergodicity in total variation. Also, we show that in the one dimensional case the corresponding heat kernel is smooth.


Anytime Integrated Task and Motion Policies for Stochastic Environments. In order to solve complex, long horizon tasks, intelligent robots need to carry out high level, abstract planning and reasoning in conjunction with motion planning. However, abstract models are typically lossy and plans or policies computed using them can be unexecutable. These problems are exacerbated in stochastic situations where the robot needs to reason about, and plan for multiple contingencies. We present a new approach for integrated task and motion planning in stochastic settings. In contrast to prior work in this direction, we show that our approach can effectively compute integrated task and motion policies whose branching structures encoding agent behaviors handling multiple execution time contingencies. We prove that our algorithm is probabilistically complete and can compute feasible solution policies in an anytime fashion so that the probability of encountering an unresolved contingency decreases over time. Empirical results on a set of challenging problems show the utility and scope of our methods.


Triclustering in Big Data Setting. In this paper, we describe versions of triclustering algorithms adapted for efficient calculations in distributed environments with MapReduce model or parallelisation mechanism provided by modern programming languages. OAC family of triclustering algorithms shows good parallelisation capabilities due to the independent processing of triples of a triadic formal context. We provide the time and space complexity of the algorithms and justify their relevance. We also compare performance gain from using a distributed system and scalability.


Neograd Near Ideal Gradient Descent. The purpose of this paper is to improve upon existing variants of gradient descent by solving two problems (1) removing (or reducing) the plateau that occurs while minimizing the cost function, (2) continually adjusting the learning rate to an "ideal" value. The approach taken is to approximately solve for the learning rate as a function of a trust metric. When this technique is hybridized with momentum, it creates an especially effective gradient descent variant, called NeogradM. It is shown to outperform Adam on several test problems, and can easily reach cost function values that are smaller by a factor of 10 8 , for example.


Quadratic algebras associated with exterior 3 forms. I Generalities and algebras generated in low dimensions n leq 7 . This paper is the first part of a series devoted to the study of the quadratic algebras with relations generated by superpotentials which are exterior 3 forms. Such an algebra is regular if and only if it is Koszul and is then a 3 Calabi Yau domain. After some general results we investigate the case of the algebras generated in low dimensions n with n leq 7 . We show that whenever the ground field is algebraically closed all these algebras associated with 3 regular exterior 3 forms are regular and are thus 3 Calabi Yau domains.


On cosets weight distributions of the doubly extended Reed Solomon codes of codimension 4. We consider the q 1,q 3,5 q3 generalized doubly extended Reed Solomon code of codimension 4 as the code associated with the twisted cubic in the projective space mathrm PG (3,q) . Basing on the point plane incidence matrix of mathrm PG (3,q) , we obtain the number of weight 3 vectors in all the cosets of the considered code. This allows us to classify the cosets by their weight distributions and to obtain these distributions. The weight of a coset is the smallest Hamming weight of any vector in the coset. For the cosets of equal weight having distinct weight distributions, we prove that the difference between the w th components, 3 w le q 1 , of the distributions is uniquely determined by the difference between the 3 rd components. This implies an interesting (and in some sense unexpected) symmetry of the obtained distributions.


Coalgebraic Formal Curve Spectra and the Annular Tower. We import into homotopy theory the algebro geometric construction of the cotangent space of a geometric point on a scheme. Specializing to the category of spectra local to a Morava K theory of height d , we show that this can be used to produce a choice free model of the determinantal sphere as well as an efficient Picard graded cellular decomposition of K( mathbb Z p, d 1) . Coupling these ideas to work of Westerland, we give a "Snaith's theorem" for the Iwasawa extension of the K(d) local sphere.


On sensing aware model predictive path following control for a reversing general 2 trailer with a car like tractor. The design of reliable path following controllers is a key ingredient for successful deployment of self driving vehicles. This controller design problem is especially challenging for a general 2 trailer with a car like tractor due to the vehicle's structurally unstable joint angle kinematics in backward motion and the car like tractor's curvature limitations which can cause the vehicle segments to fold and enter a jackknife state. Furthermore, advanced sensors with a limited field of view have been proposed to solve the joint angle estimation problem online, which introduce additional restrictions on which vehicle states that can be reliably estimated. To incorporate these restrictions at the level of control, a model predictive path following controller is proposed. By taking the vehicle's physical and sensing limitations into account, it is shown in real world experiments that the performance of the proposed path following controller in terms of suppressing disturbances and recovering from non trivial initial states is significantly improved compared to a previously proposed solution where the constraints have been neglected.


Machine Learning based prediction of noncentrosymmetric crystal materials. Noncentrosymmetric materials play a critical role in many important applications such as laser technology, communication systems,quantum computing, cybersecurity, and etc. However, the experimental discovery of new noncentrosymmetric materials is extremely difficult. Here we present a machine learning model that could predict whether the composition of a potential crystalline structure would be centrosymmetric or not. By evaluating a diverse set of composition features calculated using matminer featurizer package coupled with different machine learning algorithms, we find that Random Forest Classifiers give the best performance for noncentrosymmetric material prediction, reaching an accuracy of 84.8 when evaluated with 10 fold cross validation on the dataset with 82,506 samples extracted from Materials Project. A random forest model trained with materials with only 3 elements gives even higher accuracy of 86.9 . We apply our ML model to screen potential noncentrosymmetric materials from 2,000,000 hypothetical materials generated by our inverse design engine and report the top 20 candidate noncentrosymmetric materials with 2 to 4 elements and top 20 borate candidates


"My Way of Telling a Story" Persona based Grounded Story Generation. Visual storytelling is the task of generating stories based on a sequence of images. Inspired by the recent works in neural generation focusing on controlling the form of text, this paper explores the idea of generating these stories in different personas. However, one of the main challenges of performing this task is the lack of a dataset of visual stories in different personas. Having said that, there are independent datasets for both visual storytelling and annotated sentences for various persona. In this paper we describe an approach to overcome this by getting labelled persona data from a different task and leveraging those annotations to perform persona based story generation. We inspect various ways of incorporating personality in both the encoder and the decoder representations to steer the generation in the target direction. To this end, we propose five models which are incremental extensions to the baseline model to perform the task at hand. In our experiments we use five different personas to guide the generation process. We find that the models based on our hypotheses perform better at capturing words while generating stories in the target persona.


Network analysis of synonymous codon usage. Most amino acids are encoded by multiple synonymous codons. For an amino acid, some of its synonymous codons are used much more rarely than others. Analyses of positions of such rare codons in protein sequences revealed that rare codons can impact co translational protein folding and that positions of some rare codons are evolutionary conserved. Analyses of positions of rare codons in proteins' 3 dimensional structures, which are richer in biochemical information than sequences alone, might further explain the role of rare codons in protein folding. We analyze a protein set recently annotated with codon usage information, considering non redundant proteins with sufficient structural information. We model the proteins' structures as networks and study potential differences between network positions of amino acids encoded by evolutionary conserved rare, evolutionary non conserved rare, and commonly used codons. In 84 of the proteins, at least one of the three codon categories occupies significantly more or less network central positions than the other codon categories. Different protein groups showing different codon centrality trends (i.e., different types of relationships between network positions of the three codon categories) are enriched in different biological functions, implying the existence of a link between codon usage, protein folding, and protein function.


Perception aware time optimal path parameterization for quadrotors. The increasing popularity of quadrotors has given rise to a class of predominantly vision driven vehicles. This paper addresses the problem of perception aware time optimal path parametrization for quadrotors. Although many different choices of perceptual modalities are available, the low weight and power budgets of quadrotor systems makes a camera ideal for on board navigation and estimation algorithms. However, this does come with a set of challenges. The limited field of view of the camera can restrict the visibility of salient regions in the environment, which dictates the necessity to consider perception and planning jointly. The main contribution of this paper is an efficient time optimal path parametrization algorithm for quadrotors with limited field of view constraints. We show in a simulation study that a state of the art controller can track planned trajectories, and we validate the proposed algorithm on a quadrotor platform in experiments.


Scalable Cross Lingual Pivots to Model Pronoun Gender for Translation. Machine translation systems with inadequate document understanding can make errors when translating dropped or neutral pronouns into languages with gendered pronouns (e.g., English). Predicting the underlying gender of these pronouns is difficult since it is not marked textually and must instead be inferred from coreferent mentions in the context. We propose a novel cross lingual pivoting technique for automatically producing high quality gender labels, and show that this data can be used to fine tune a BERT classifier with 92 F1 for Spanish dropped feminine pronouns, compared with 30 51 for neural machine translation models and 54 71 for a non fine tuned BERT model. We augment a neural machine translation model with labels from our classifier to improve pronoun translation, while still having parallelizable translation models that translate a sentence at a time.


Eppur si riscalda and yet, it (just) heats up Further Comments on "Quantifying hot carrier and thermal contributions in plasmonic photocatalysis". Our Comment Sivan et al., Science 2019 (as well as its longer version Dubi, Un, Sivan, ArXiv 2019 , and the supporting theoretical studies Dubi and Sivan, ArXiv 2018 ) on recent attempts to distinguish thermal and non thermal ("hot carrier") contributions to plasmon assisted photocatalysis Zhou et al., Science 2018 initiated a re evaluation process of previous literature on the topic within the nano plasmonics and chemistry communities. The Response of Zhou et al. attempts to defend the claims of the original paper. In this manuscript, we show that the Response presents additional data that further validates our central criticism inaccurately measured temperatures (that are lower than the actual temperature of the catalyst) led Zhou et al. to incorrectly claim conclusive evidence of non thermal effects. We identify flaws in the experimental setup (e.g. the use of the default settings for the thermal camera and incorrect positioning of the thermometer) that may have led Zhou et al. to make such claims. We further show that the Response contains several factual errors and does not address the technical problems we identified with the data acquisition in Zhou et al., Science 2018 . We demonstrate that both the Response and the original paper contain additional faults, for example, in the power determination and in the normalization of the rate to the catalyst volume, and exhibit misconceptions regarding the thermo optic response of metal nanostructures. The burden of proof required by the proposal of a novel physical mechanism has simply not been met, especially when the existing data can be modeled exquisitely by conventional theory.


Five misconceptions about black holes. Given the great interest that black holes arouse among non specialists, it is important to analyse misconceptions related to them. According to the author, the most common misconceptions are that (1) black holes are formed from stellar collapse (2) they are very massive (3) they are very dense (4) their gravity absorbs everything and (5) they are black. The objective of this work is to analyse and correct these misconceptions. This article may be useful as pedagogical material in high school physics courses or in introductory courses in undergraduate physics.


Effective Localization Using Double Ideal Quotient and Its Implementation. In this paper, we propose a new method for localization of polynomial ideal, which we call "Local Primary Algorithm". For an ideal I and a prime ideal P , our method computes a P primary component of I after checking if P is associated with I by using "double ideal quotient" (I (I P)) and its variants which give us a lot of information about localization of I .


Isomorphism Testing for Graphs Excluding Small Minors. We prove that there is a graph isomorphism test running in time n operatorname polylog (h) on n vertex graphs excluding some h vertex graph as a minor. Previously known bounds were n operatorname poly (h) (Ponomarenko, 1988) and n operatorname polylog (n) (Babai, STOC 2016). For the algorithm we combine recent advances in the group theoretic graph isomorphism machinery with new graph theoretic arguments.


Endomorphisms of mapping tori. We classify in terms of Hopf type properties mapping tori of residually finite Poincar 'e Duality groups with non zero Euler characteristic. This generalises and gives a new proof of the analogous classification for fibered 3 manifolds. Various applications are given. In particular, we deduce that rigidity results for Gromov hyperbolic groups hold for the above mapping tori with trivial center.


Uncertainty Estimation with Deep Learning for Rainfall Runoff Modelling. Deep Learning is becoming an increasingly important way to produce accurate hydrological predictions across a wide range of spatial and temporal scales. Uncertainty estimations are critical for actionable hydrological forecasting, and while standardized community benchmarks are becoming an increasingly important part of hydrological model development and research, similar tools for benchmarking uncertainty estimation are lacking. We establish an uncertainty estimation benchmarking procedure and present four Deep Learning baselines, out of which three are based on Mixture Density Networks and one is based on Monte Carlo dropout. Additionally, we provide a post hoc model analysis to put forward some qualitative understanding of the resulting models. Most importantly however, we show that accurate, precise, and reliable uncertainty estimation can be achieved with Deep Learning.


Sharp rank one convexity conditions in planar isotropic elasticity for the additive volumetric isochoric split. We consider the volumetric isochoric split in planar isotropic hyperelasticity and give a precise analysis of rank one convexity criteria for this case, showing that the Legendre Hadamard ellipticity condition separates and simplifies in a suitable sense. Starting from the classical two dimensional criterion by Knowles and Sternberg, we can reduce the conditions for rank one convexity to a family of one dimensional coupled differential inequalities. In particular, this allows us to derive a simple rank one convexity classification for generalized Hadamard energies of the type W(F) frac mu 2 frac lVert F rVert 2 det F f( det F) such an energy is rank one convex if and only if the function f is convex.


Edge Deletion Algorithms for Minimizing Spread in SIR Epidemic Models. This paper studies algorithmic strategies to effectively reduce the number of infections in susceptible infected recovered (SIR) epidemic models. We consider a Markov chain SIR model and its two instantiations in the deterministic SIR (D SIR) model and the independent cascade SIR (IC SIR) model. We investigate the problem of minimizing the number of infections by restricting contacts under realistic constraints. Under moderate assumptions on the reproduction number, we prove that the infection numbers are bounded by supermodular functions in the D SIR model and the IC SIR model for large classes of random networks. We propose efficient algorithms with approximation guarantees to minimize infections. The theoretical results are illustrated by numerical simulations.


Temperature dependent rotationally inelastic collisions of OH and He. We have studied the fundamental rotational relaxation and excitation collision of OH J 0 1 with helium at different collision energies. Using state selected photodetachment in a cryogenic ion trap, the collisional excitation of the first excited rotational state of OH has been investigated and absolute inelastic collision rate coefficients have been extracted for collision temperatures between 20 and 35 K. The rates are compared with accurate quantum scattering calculations for three different potential energy surfaces. Good agreement is found within the experimental accuracy, but the experimental trend of increasing collision rates with temperature is only in part reflected in the calculations.


Necessary Conditions for Non Intersection of Collections of Sets. This paper continues studies of non intersection properties of finite collections of sets initiated 40 years ago by the extremal principle. We study elementary non intersection properties of collections of sets, making the core of the conventional definitions of extremality and stationarity. In the setting of general Banach Asplund spaces, we establish new primal (slope) and dual (generalized separation) necessary conditions for these non intersection properties. The results are applied to convergence analysis of alternating projections.


Inferring Which Medical Treatments Work from Reports of Clinical Trials. How do we know if a particular medical treatment actually works? Ideally one would consult all available evidence from relevant clinical trials. Unfortunately, such results are primarily disseminated in natural language scientific articles, imposing substantial burden on those trying to make sense of them. In this paper, we present a new task and corpus for making this unstructured evidence actionable. The task entails inferring reported findings from a full text article describing a randomized controlled trial (RCT) with respect to a given intervention, comparator, and outcome of interest, e.g., inferring if an article provides evidence supporting the use of aspirin to reduce risk of stroke, as compared to placebo. We present a new corpus for this task comprising 10,000 prompts coupled with full text articles describing RCTs. Results using a suite of models ranging from heuristic (rule based) approaches to attentive neural architectures demonstrate the difficulty of the task, which we believe largely owes to the lengthy, technical input texts. To facilitate further work on this important, challenging problem we make the corpus, documentation, a website and leaderboard, and code for baselines and evaluation available at http evidence inference.ebm nlp.com .


3D Correspondence Grouping with Compatibility Features. We present a simple yet effective method for 3D correspondence grouping. The objective is to accurately classify initial correspondences obtained by matching local geometric descriptors into inliers and outliers. Although the spatial distribution of correspondences is irregular, inliers are expected to be geometrically compatible with each other. Based on such observation, we propose a novel representation for 3D correspondences, dubbed compatibility feature (CF), to describe the consistencies within inliers and inconsistencies within outliers. CF consists of top ranked compatibility scores of a candidate to other correspondences, which purely relies on robust and rotation invariant geometric constraints. We then formulate the grouping problem as a classification problem for CF features, which is accomplished via a simple multilayer perceptron (MLP) network. Comparisons with nine state of the art methods on four benchmarks demonstrate that 1) CF is distinctive, robust, and rotation invariant 2) our CF based method achieves the best overall performance and holds good generalization ability.


Multi Channel Attention Selection GAN with Cascaded Semantic Guidance for Cross View Image Translation. Cross view image translation is challenging because it involves images with drastically different views and severe deformation. In this paper, we propose a novel approach named Multi Channel Attention SelectionGAN (SelectionGAN) that makes it possible to generate images of natural scenes in arbitrary viewpoints, based on an image of the scene and a novel semantic map. The proposed SelectionGAN explicitly utilizes the semantic information and consists of two stages. In the first stage, the condition image and the target semantic map are fed into a cycled semantic guided generation network to produce initial coarse results. In the second stage, we refine the initial results by using a multi channel attention selection mechanism. Moreover, uncertainty maps automatically learned from attentions are used to guide the pixel loss for better network optimization. Extensive experiments on Dayton, CVUSA and Ego2Top datasets show that our model is able to generate significantly better results than the state of the art methods. The source code, data and trained models are available at https github.com Ha0Tang SelectionGAN.


Proof of some supercongruences via the Wilf Zeilberger method. In this paper, we prove some supercongruences via the Wilf Zeilberger method. For instance, for any odd prime p and positive integer r and delta in 1,2 , we have begin align sum n 0 (p r 1) delta frac left( frac12 right) 5 n n! 5 (10n 2 6n 1)( 4) n equiv begin cases p 2r pmod p r 4 tt if r leq4, 0 pmod p r 4 tt if r geq5. end cases end align


Summarizing Data Succinctly with the Most Informative Itemsets. Knowledge discovery from data is an inherently iterative process. That is, what we know about the data greatly determines our expectations, and therefore, what results we would find interesting and or surprising. Given new knowledge about the data, our expectations will change. Hence, in order to avoid redundant results, knowledge discovery algorithms ideally should follow such an iterative updating procedure. With this in mind, we introduce a well founded approach for succinctly summarizing data with the most informative itemsets using a probabilistic maximum entropy model, we iteratively find the itemset that provides us the most novel information that is, for which the frequency in the data surprises us the most and in turn we update our model accordingly. As we use the Maximum Entropy principle to obtain unbiased probabilistic models, and only include those itemsets that are most informative with regard to the current model, the summaries we construct are guaranteed to be both descriptive and non redundant. The algorithm that we present, called MTV, can either discover the top k most informative itemsets, or we can employ either the Bayesian Information Criterion (BIC) or the Minimum Description Length (MDL) principle to automatically identify the set of itemsets that together summarize the data well. In other words, our method will tell you what you need to know' about the data. Importantly, it is a one phase algorithm rather than picking itemsets from a user provided candidate set, itemsets and their supports are mined on the fly. To further its applicability, we provide an efficient method to compute the maximum entropy distribution using Quick Inclusion Exclusion. Experiments on our method, using synthetic, benchmark, and real data, show that the discovered summaries are succinct, and correctly identify the key patterns in the data.