Duality Theory for Robust Utility Maximisation. In this paper we present a duality theory for the robust utility maximisation problem in continuous time for utility functions defined on the positive real axis. Our results are inspired by and can be seen as the robust analogues of the seminal work of Kramkov Schachermayer 18 . Namely, we show that if the set of attainable trading outcomes and the set of pricing measures satisfy a bipolar relation, then the utility maximisation problem is in duality with a conjugate problem. We further discuss the existence of optimal trading strategies. In particular, our general results include the case of logarithmic and power utility, and they apply to drift and volatility uncertainty.


Hierarchically Consistent Motion Primitives for Quadrotor Coordination. We present a hierarchical framework for motion planning of a large collection of agents. The proposed framework starts from low level motion primitives over a gridded workspace and provides a set of rules for constructing higher level motion primitives. Our hierarchical approach is highly scalable and robust making it an ideal tool for planning for multi agent systems. Results are demonstrated experimentally on a collection of quadrotors that must navigate a cluttered environment while maintaining a formation.


Note on the maximal jump size in a continuum model of directed first passage percolation. In this note, we study the directed first passage percolation introduced in F. Comets, R. Fukushima, S. Nakajima and N. Yoshida Journal of Statistical Physics, 161 (3), 577 597 (2015) . It is proved that the shortest path from the origin to the n th hyperplane makes a jump larger than a small power of log n . Some numerical results are also provided, which indicates that the maximal jump size is much larger in a certain parameter region.


Generating a Common Question from Multiple Documents using Multi source Encoder Decoder Models. Ambiguous user queries in search engines result in the retrieval of documents that often span multiple topics. One potential solution is for the search engine to generate multiple refined queries, each of which relates to a subset of the documents spanning the same topic. A preliminary step towards this goal is to generate a question that captures common concepts of multiple documents. We propose a new task of generating common question from multiple documents and present simple variant of an existing multi source encoder decoder framework, called the Multi Source Question Generator (MSQG). We first train an RNN based single encoder decoder generator from (single document, question) pairs. At test time, given multiple documents, the 'Distribute' step of our MSQG model predicts target word distributions for each document using the trained model. The 'Aggregate' step aggregates these distributions to generate a common question. This simple yet effective strategy significantly outperforms several existing baseline models applied to the new task when evaluated using automated metrics and human judgments on the MS MARCO QA dataset.


On the Davis Wielandt shell of an operator and the Davis Wielandt index of a normed linear space. We study the Davis Wielandt shell and the Davis Wielandt radius of an operator on a normed linear space mathcal X . We show that after a suitable modification, the modified Davis Wielandt radius defines a norm on mathcal L ( mathcal X ) which is equivalent to the usual operator norm on mathcal L ( mathcal X ) . We introduce the Davis Wielandt index of a normed linear space and compute its value explicitly in case of some particular polyhedral Banach spaces. We also present a general method to estimate the Davis Wielandt index of any polyhedral Banach space.


Photonic integrated circuits in the continuum. Waves that are perfectly confined in the continuous spectrum of radiating waves without interaction with them are known as bound states in the continuum (BICs). Despite recent discoveries of BICs in nanophotonics, full routing and control of BICs are yet to be explored. Here, we experimentally demonstrate BICs in a fundamentally new photonic architecture by patterning a low refractive index material on a high refractive index substrate, where dissipation to the substrate continuum is eliminated by engineering the geometric parameters. Pivotal BIC based photonic components are demonstrated, including waveguides, microcavities, directional couplers, and modulators. Therefore, this work presents the critical step of photonic integrated circuits in the continuum, and enables the exploration of new single crystal materials on an integrated photonic platform without the fabrication challenges of patterning the single crystal materials. The demonstrated lithium niobate platform will facilitate development of functional photonic integrated circuits for optical communications, nonlinear optics at the single photon level as well as scalable photonic quantum information processors.


Relativistic coupled cluster study of BaF in search of mathcal CP violation. BaF is one of the potential candidates for the experimental search of the electric dipole moment of the electron (eEDM). The NL eEDM collaboration is building a new experimental set up to measure the eEDM using the BaF molecule The NL eEDM collaboration, Eur. Phys. J. D (2018) 72 197 . To analyze the results of such an experiment, one would require the accurate value of the molecular mathcal P,T odd interaction parameters that cannot be measured from any experiment. In this work, we report the precise value of the mathcal P,T odd interaction parameters of the BaF molecule obtained from the four component relativistic coupled cluster calculations. We also calculate the hyperfine structure (HFS) constants of the same molecule to assess the reliability of the reported molecular parameters. The calculated HFS constants show good agreement with the available experimental values. Further, the systematic effects of electron correlation along with the roles of inner core electrons and the virtual energy functions in the calculation of the studied properties of BaF are investigated.


Rationality of Fano threefolds of degree 18 over nonclosed fields. We study unirationality and rationality of Fano threefolds of degree 18 over nonclosed fields.


Discovering Synergistic Drug Combinations for COVID with Biological Bottleneck Models. Drug combinations play an important role in therapeutics due to its better efficacy and reduced toxicity. Recent approaches have applied machine learning to identify synergistic combinations for cancer, but they are not applicable to new diseases with limited combination data. Given that drug synergy is closely tied to biological targets, we propose a emph biological bottleneck model that jointly learns drug target interaction and synergy. The model consists of two parts a drug target interaction and target disease association module. This design enables the model to emph explain how a biological target affects drug synergy. By utilizing additional biological information, our model achieves 0.78 test AUC in drug synergy prediction using only 90 COVID drug combinations for training. We experimentally tested the model predictions in the U.S. National Center for Advancing Translational Sciences (NCATS) facilities and discovered two novel drug combinations (Remdesivir Reserpine and Remdesivir IQ 1S) with strong synergy in vitro.


Positional Games and QBF The Corrective Encoding. Positional games are a mathematical class of two player games comprising Tic tac toe and its generalizations. We propose a novel encoding of these games into Quantified Boolean Formulas (QBF) such that a game instance admits a winning strategy for first player if and only if the corresponding formula is true. Our approach improves over previous QBF encodings of games in multiple ways. First, it is generic and lets us encode other positional games, such as Hex. Second, structural properties of positional games together with a careful treatment of illegal moves let us generate more compact instances that can be solved faster by state of the art QBF solvers. We establish the latter fact through extensive experiments. Finally, the compactness of our new encoding makes it feasible to translate realistic game problems. We identify a few such problems of historical significance and put them forward to the QBF community as milestones of increasing difficulty.


Complexity and Diversity in Sparse Code Priors Improve Receptive Field Characterization of Macaque V1 Neurons. System identification techniques projection pursuit regression models (PPRs) and convolutional neural networks (CNNs) provide state of the art performance in predicting visual cortical neurons' responses to arbitrary input stimuli. However, the constituent kernels recovered by these methods are often noisy and lack coherent structure, making it difficult to understand the underlying component features of a neuron's receptive field. In this paper, we show that using a dictionary of diverse kernels with complex shapes learned from natural scenes based on efficient coding theory, as the front end for PPRs and CNNs can improve their performance in neuronal response prediction as well as algorithmic data efficiency and convergence speed. Extensive experimental results also indicate that these sparse code kernels provide important information on the component features of a neuron's receptive field. In addition, we find that models with the complex shaped sparse code front end are significantly better than models with a standard orientation selective Gabor filter front end for modeling V1 neurons that have been found to exhibit complex pattern selectivity. We show that the relative performance difference due to these two front ends can be used to produce a sensitive metric for detecting complex selectivity in V1 neurons.


AutoCogniSys IoT Assisted Context Aware Automatic Cognitive Health Assessment. Cognitive impairment has become epidemic in older adult population. The recent advent of tiny wearable and ambient devices, a.k.a Internet of Things (IoT) provides ample platforms for continuous functional and cognitive health assessment of older adults. In this paper, we design, implement and evaluate AutoCogniSys, a context aware automated cognitive health assessment system, combining the sensing powers of wearable physiological (Electrodermal Activity, Photoplethysmography) and physical (Accelerometer, Object) sensors in conjunction with ambient sensors. We design appropriate signal processing and machine learning techniques, and develop an automatic cognitive health assessment system in a natural older adults living environment. We validate our approaches using two datasets (i) a naturalistic sensor data streams related to Activities of Daily Living and mental arousal of 22 older adults recruited in a retirement community center, individually living in their own apartments using a customized inexpensive IoT system (IRB HP 00064387) and (ii) a publicly available dataset for emotion detection. The performance of AutoCogniSys attests max. 93 of accuracy in assessing cognitive health of older adults.


Attainability of a stationary Navier Stokes flow around a rigid body rotating from rest. We consider the large time behavior of the three dimensional Navier Stokes flow around a rotating rigid body. Assume that the angular velocity of the body gradually increases until it reaches a small terminal one at a certain finite time and it is fixed afterwards. We then show that the fluid motion converges to a steady solution as time t rightarrow infty .


A fuzzy inventory model considering imperfect quality items with receiving reparative batch and order overlapping. This paper presents an inventory model for imperfect quality items with receiving a reparative batch and order overlapping in a fuzzy environment by employing triangular fuzzy numbers. It is assumed that the imperfect items identified by screening are divided into either scrap or reworkable items. The reworkable items are kept in store until the next items are received. Afterward, the items are returned to the supplier to be reworked. Also, a discount on the purchasing cost is employed as an offer of cooperation from a supplier to a buyer to compensate for all additional holding costs incurred to the buyer. The rework process is error free. An order overlapping scheme is employed so that the vendor is allowed to use the previous shipment to meet the demand by the inspection period. In the fuzzy model, the graded mean integration method is taken to defuzzify the model and determine its approximation of a profit function and optimal policy. In doing so, numerical examples are rendered to represent the model behavior and, eventually, the sensitivity analysis is presented.


Knowledge Aware Conversation Generation with Explainable Reasoning over Augmented Graphs. Two types of knowledge, triples from knowledge graphs and texts from documents, have been studied for knowledge aware open domain conversation generation, in which graph paths can narrow down vertex candidates for knowledge selection decision, and texts can provide rich information for response generation. Fusion of a knowledge graph and texts might yield mutually reinforcing advantages, but there is less study on that. To address this challenge, we propose a knowledge aware chatting machine with three components, an augmented knowledge graph with both triples and texts, knowledge selector, and knowledge aware response generator. For knowledge selection on the graph, we formulate it as a problem of multi hop graph reasoning to effectively capture conversation flow, which is more explainable and flexible in comparison with previous work. To fully leverage long text information that differentiates our graph from others, we improve a state of the art reasoning algorithm with machine reading comprehension technology. We demonstrate the effectiveness of our system on two datasets in comparison with state of the art models.


Visions, Values, and Videos Revisiting Envisionings in Service of UbiComp Design for the Home. UbiComp has been envisioned to bring about a future dominated by calm computing technologies making our everyday lives ever more convenient. Yet the same vision has also attracted criticism for encouraging a solitary and passive lifestyle. The aim of this paper is to explore and elaborate these tensions further by examining the human values surrounding future domestic UbiComp solutions. Drawing on envisioning and contravisioning, we probe members of the public (N 28) through the presentation and focus group discussion of two contrasting animated video scenarios, where one is inspired by "calm" and the other by "engaging" visions of future UbiComp technology. By analysing the reasoning of our participants, we identify and elaborate a number of relevant values involved in balancing the two perspectives. In conclusion, we articulate practically applicable takeaways in the form of a set of key design questions and challenges.


Blaschke's asymptotic lines of surfaces in R3. In this paper we consider the Blaschke's asymptotic lines (also called affine asymptotic lines) of regular surfaces in 3 space. We study the binary differential equations defining Blaschke's asymptotic lines in the elliptic and hyperbolic regions of the surface near affine cusp points and to at affine umbilic points. We also describe the affine asymptotic lines near the Euclidean parabolic set including the Euclidean flat umbilic points.


Multi Vehicle Routing Problems with Soft Time Windows A Multi Agent Reinforcement Learning Approach. Multi vehicle routing problem with soft time windows (MVRPSTW) is an indispensable constituent in urban logistics distribution systems. Over the past decade, numerous methods for MVRPSTW have been proposed, but most are based on heuristic rules that require a large amount of computation time. With the current rapid increase of logistics demands, traditional methods incur the dilemma between computational efficiency and solution quality. To efficiently solve the problem, we propose a novel reinforcement learning algorithm called the Multi Agent Attention Model that can solve routing problem instantly benefit from lengthy offline training. Specifically, the vehicle routing problem is regarded as a vehicle tour generation process, and an encoder decoder framework with attention layers is proposed to generate tours of multiple vehicles iteratively. Furthermore, a multi agent reinforcement learning method with an unsupervised auxiliary network is developed for the model training. By evaluated on four synthetic networks with different scales, the results demonstrate that the proposed method consistently outperforms Google OR Tools and traditional methods with little computation time. In addition, we validate the robustness of the well trained model by varying the number of customers and the capacities of vehicles.


Universality of Euler flows and flexibility of Reeb embeddings. The dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. Recently, Tao 35,36 launched a programme to address the global existence problem for the Euler and Navier Stokes equations based on the concept of universality. In this article we prove that the Euler equations exhibit universality features. More precisely, we show that any non autonomous flow on a compact manifold can be extended to a smooth solution of the Euler equations on some Riemannian manifold of possibly higher dimension. The solutions we construct are stationary of Beltrami type, so they exist for all time. Using this result, we establish the Turing completeness of the Euler flows, i.e. that there exist solutions that encode a universal Turing machine and, in particular, these solutions have undecidable trajectories. Our proofs deepen the correspondence between contact topology and hydrodynamics, which is key to establish the universality of the Reeb flows and their Beltrami counterparts. An essential ingredient in the proofs is a novel flexibility theorem for embeddings in Reeb dynamics in terms of an h principle in contact geometry, which unveils the flexible behavior of the steady Euler flows.


Review of COVID 19 Antibody Therapies. Under the global health emergency caused by coronavirus disease 2019 (COVID 19), efficient and specific therapies are urgently needed. Compared with traditional small molecular drugs, antibody therapies are relatively easy to develop and as specific as vaccines in targeting severe acute respiratory syndrome coronavirus 2 (SARS CoV 2), and thus attract much attention in the past few months. This work reviews seven existing antibodies for SARS CoV 2 spike (S) protein with three dimensional (3D) structures deposited in the Protein Data Bank. Five antibody structures associated with SARS CoV are evaluated for their potential in neutralizing SARS CoV 2. The interactions of these antibodies with the S protein receptor binding domain (RBD) are compared with those of angiotensin converting enzyme 2 (ACE2) and RBD complexes. Due to the orders of magnitude in the discrepancies of experimental binding affinities, we introduce topological data analysis (TDA), a variety of network models, and deep learning to analyze the binding strength and therapeutic potential of the aforementioned fourteen antibody antigen complexes. The current COVID 19 antibody clinical trials, which are not limited to the S protein target, are also reviewed.


The ternary Goldbach problem with two Piatetski Shapiro primes and a prime with a missing digit. Let gamma frac 8 9 frac 2 3 frac log(10 9) log 10 ( approx 0.919 ldots) . Let gamma gamma 0 leq 1 , c 0 1 gamma 0 be fixed. Let also a 0 in 0,1, ldots, 9 . We prove on assumption of the Generalized Riemann Hypothesis that each sufficiently large odd integer N 0 can be represented in the form N 0 p 1 p 2 p 3 , where the p i are of the form p i n i c 0 , n i in mathbb N , for i 1,2 and the decimal expansion of p 3 does not contain the digit a 0 . The proof merges methods of J. Maynard from his paper on the infinitude of primes with restricted digits, results of A. Balog and J. Friedlander on Piatetski Shapiro primes and the Hardy Littlewood circle method in two variables. This is the first result on the ternary Goldbach problem with primes of mixed type which involves primes with missing digits.


Guiding of high intensity laser pulses in 100mm long hydrodynamic optical field ionized plasma channels. Hydrodynamic optically field ionized (HOFI) plasma channels up to 100mm long are investigated. Optical guiding is demonstrated of laser pulses with a peak input intensity of 6 times10 17 W cm 2 through 100mm long plasma channels with on axis densities measured interferometrically to be as low as n e0 (1.0 pm0.3) times10 17 cm 3 . Guiding is also observed at lower axial densities, which are inferred from magneto hydrodynamic simulations to be approximately 7 times10 16 cm 3 . Measurements of the power attenuation lengths of the channels are shown to be in good agreement with those calculated from the measured transverse electron density profiles. To our knowledge, the plasma channels investigated in this work are the longest, and have the lowest on axis density, of any free standing waveguide demonstrated to guide laser pulses with intensities above 10 17 W cm 2 .


A Detailed Account of The Inconsistent Labelling Problem of Stutter Preserving Partial Order Reduction. One of the most popular state space reduction techniques for model checking is partial order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter trace equivalence, making stubborn sets suitable for model checking of linear time properties. In this paper, we identify a flaw in the reasoning and show with a counter example that stutter trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correctness proofs to ensure the issue is resolved. Furthermore, we analyse in which formalisms the problem may occur. The impact on practical implementations is limited, since they all compute a correct approximation of the theory.


OGNet Towards a Global Oil and Gas Infrastructure Database using Deep Learning on Remotely Sensed Imagery. At least a quarter of the warming that the Earth is experiencing today is due to anthropogenic methane emissions. There are multiple satellites in orbit and planned for launch in the next few years which can detect and quantify these emissions however, to attribute methane emissions to their sources on the ground, a comprehensive database of the locations and characteristics of emission sources worldwide is essential. In this work, we develop deep learning algorithms that leverage freely available high resolution aerial imagery to automatically detect oil and gas infrastructure, one of the largest contributors to global methane emissions. We use the best algorithm, which we call OGNet, together with expert review to identify the locations of oil refineries and petroleum terminals in the U.S. We show that OGNet detects many facilities which are not present in four standard public datasets of oil and gas infrastructure. All detected facilities are associated with characteristics known to contribute to methane emissions, including the infrastructure type and the number of storage tanks. The data curated and produced in this study is freely available at http stanfordmlgroup.github.io projects ognet .


Revealing Scenes by Inverting Structure from Motion Reconstructions. Many 3D vision systems localize cameras within a scene using 3D point clouds. Such point clouds are often obtained using structure from motion (SfM), after which the images are discarded to preserve privacy. In this paper, we show, for the first time, that such point clouds retain enough information to reveal scene appearance and compromise privacy. We present a privacy attack that reconstructs color images of the scene from the point cloud. Our method is based on a cascaded U Net that takes as input, a 2D multichannel image of the points rendered from a specific viewpoint containing point depth and optionally color and SIFT descriptors and outputs a color image of the scene from that viewpoint. Unlike previous feature inversion methods, we deal with highly sparse and irregular 2D point distributions and inputs where many point attributes are missing, namely keypoint orientation and scale, the descriptor image source and the 3D point visibility. We evaluate our attack algorithm on public datasets and analyze the significance of the point cloud attributes. Finally, we show that novel views can also be generated thereby enabling compelling virtual tours of the underlying scene.


Binarized Neural Architecture Search. Neural architecture search (NAS) can have a significant impact in computer vision by automatically designing optimal neural network architectures for various tasks. A variant, binarized neural architecture search (BNAS), with a search space of binarized convolutions, can produce extremely compressed models. Unfortunately, this area remains largely unexplored. BNAS is more challenging than NAS due to the learning inefficiency caused by optimization requirements and the huge architecture space. To address these issues, we introduce channel sampling and operation space reduction into a differentiable NAS to significantly reduce the cost of searching. This is accomplished through a performance based strategy used to abandon less potential operations. Two optimization methods for binarized neural networks are used to validate the effectiveness of our BNAS. Extensive experiments demonstrate that the proposed BNAS achieves a performance comparable to NAS on both CIFAR and ImageNet databases. An accuracy of 96.53 vs. 97.22 is achieved on the CIFAR 10 dataset, but with a significantly compressed model, and a 40 faster search than the state of the art PC DARTS.


The theory of Besov functional calculus developments and applications to semigroups. We extend and deepen the theory of functional calculus for semigroup generators, based on the algebra mathcal B of analytic Besov functions, which we initiated in a previous paper. In particular, we show that our construction of the calculus is optimal in several natural senses. Moreover, we clarify the structure of mathcal B and identify several important subspaces in practical terms. This leads to new spectral mapping theorems for operator semigroups and to wide generalisations of a number of basic results from semigroup theory.


Quantitative Relationship between Population Mobility and COVID 19 Growth Rate based on 14 Countries. This study develops a framework for quantification of the impact of changes in population mobility due to social distancing on the COVID 19 infection growth rate. Using the Susceptible Infected Recovered (SIR) epidemiological model we establish that under some mild assumptions the growth rate of COVID 19 deaths is a time delayed approximation of the growth rate of COVID 19 infections. We then hypothesize that the growth rate of COVID 19 infections is a function of population mobility, which leads to a statistical model that predicts the growth rate of COVID 19 deaths as a delayed function of population mobility. The parameters of the statistical model directly reveal the growth rate of infections, the mobility dependent transmission rate, the mobility independent recovery rate, and the critical mobility, below which COVID 19 growth rate becomes negative. We fitted the proposed statistical model on publicly available data from 14 countries where daily death counts exceeded 100 for more than 3 days as of May 6th, 2020. The publicly available Google Mobility Index (GMI) was used as a measure of population mobility at the country level. Our results show that the growth rate of COVID 19 deaths can be accurately estimated 20 days ahead as a quadratic function of the transit category of GMI (adjusted R squared 0.784). The estimated 95 confidence interval for the critical mobility is in the range between 36.1 and 47.6 of the pre COVID 19 mobility. This result indicates that a significant reduction in population mobility is needed to reverse the growth of COVID 19 epidemic. Moreover, the quantitative relationship established herein suggests that a readily available, population level metric such as GMI can be a useful indicator of the course of COVID 19 epidemic.


Spontaneous electron emission from hot silver dimer anions Breakdown of the Born Oppenheimer approximation. We report the first experimental evidence of spontaneous electron emission from a homonuclear dimer anion through direct measurements of rm Ag 2 rightarrow rm Ag 2 rm e decays on milliseconds and seconds time scales. This observation is very surprising as there is no avoided crossing between adiabatic energy curves to mediate such a process. The process is weak but yet dominates the decay signal after 100 ms when ensembles of internally hot Ag 2 ions are stored in the cryogenic ion beam storage ring, DESIREE, for 10 seconds. The electron emission process is associated with an instantaneous, very large, reduction of the vibrational energy of the dimer system. This represents a dramatic deviation from a Born Oppenheimer description of dimer dynamics.


Knot reversal acts non trivially on the concordance group of topologically slice knots. We construct an infinite family of topologically slice knots that are not smoothly concordant to their reverses. More precisely, if T denotes the concordance group of topologically slice knots and R is the involution of T induced by string reversal, then T Fix(R) contains an infinitely generated free subgroup. The result remains true modulo the subgroup of T generated by knots with trivial Alexander polynomial.


Hypocoercivity of Langevin type dynamics on abstract smooth manifolds. In this article we investigate hypocoercivity of Langevin type dynamics in nonlinear smooth geometries. The main result stating exponential decay to an equilibrium state with explicitly computable rate of convergence is rooted in an appealing Hilbert space strategy by Dolbeault, Mouhot and Schmeiser. This strategy was extended in GS14 to Kolmogorov backward evolution equations in contrast to the dual Fokker Planck framework. We use this mathematically complete elaboration to investigate wide ranging classes of Langevin type SDEs in an abstract manifold setting, i.e. (at least) the position variables obey certain smooth side conditions. Such equations occur e.g. as fibre lay down processes in industrial applications. We contribute the Lagrangian type formulation of such geometric Langevin dynamics in terms of (semi )sprays and point to the necessity of fibre bundle measure spaces to specify the model Hilbert space.


The symplectic geometry of higher Auslander algebras Symmetric products of disks. We show that the perfect derived categories of Iyama's d dimensional Auslander algebras of type mathbb A are equivalent to the partially wrapped Fukaya categories of the d fold symmetric product of the 2 dimensional unit disk with finitely many stops on its boundary. Furthermore, we observe that Koszul duality provides an equivalence between the partially wrapped Fukaya categories associated to the d fold symmetric product of the disk and those of its (n d) fold symmetric product this observation leads to a symplectic proof of a theorem of Beckert concerning the derived Morita equivalence between the corresponding higher Auslander algebras of type mathbb A . As a byproduct of our results, we deduce that the partially wrapped Fukaya categories associated to the d fold symmetric product of the disk organise into a paracyclic object equivalent to the d dimensional Waldhausen operatorname S construction, a simplicial space whose geometric realisation provides the d fold delooping of the connective algebraic K theory space of the ring of coefficients.


Keep your Eyes on the Lane Real time Attention guided Lane Detection. Modern lane detection methods have achieved remarkable performances in complex real world scenarios, but many have issues maintaining real time efficiency, which is important for autonomous vehicles. In this work, we propose LaneATT an anchor based deep lane detection model, which, akin to other generic deep object detectors, uses the anchors for the feature pooling step. Since lanes follow a regular pattern and are highly correlated, we hypothesize that in some cases global information may be crucial to infer their positions, especially in conditions such as occlusion, missing lane markers, and others. Thus, this work proposes a novel anchor based attention mechanism that aggregates global information. The model was evaluated extensively on three of the most widely used datasets in the literature. The results show that our method outperforms the current state of the art methods showing both higher efficacy and efficiency. Moreover, an ablation study is performed along with a discussion on efficiency trade off options that are useful in practice.


A Universal Parent Model for Low Resource Neural Machine Translation Transfer. Transfer learning from a high resource language pair parent' has been proven to be an effective way to improve neural machine translation quality for low resource language pairs children.' However, previous approaches build a custom parent model or at least update an existing parent model's vocabulary for each child language pair they wish to train, in an effort to align parent and child vocabularies. This is not a practical solution. It is wasteful to devote the majority of training time for new language pairs to optimizing parameters on an unrelated data set. Further, this overhead reduces the utility of neural machine translation for deployment in humanitarian assistance scenarios, where extra time to deploy a new language pair can mean the difference between life and death. In this work, we present a universal' pre trained neural parent model with constant vocabulary that can be used as a starting point for training practically any new low resource language to a fixed target language. We demonstrate that our approach, which leverages orthography unification and a broad coverage approach to subword identification, generalizes well to several languages from a variety of families, and that translation systems built with our approach can be built more quickly than competing methods and with better quality as well.


Large few layer hexagonal boron nitride flakes for nonlinear optics. Hexagonal boron nitride (hBN) is a layered dielectric material with a wide range of applications in optics and photonics. In this work, we demonstrate a fabrication method for few layer hBN flakes with areas up to 5000 rm mu m . We show that hBN in this form can be integrated with photonic microstructures as an example, we use a circular Bragg grating (CBG). The layer quality of the exfoliated hBN flake on a CBG is confirmed by second harmonic generation (SHG) microscopy. We show that the SHG signal is uniform across the hBN sample outside the CBG and is amplified in the centre of the CBG.


Mass Resolved Electronic Circular Dichroism Ion Spectroscopy. DNA and proteins are chiral their three dimensional structure cannot be superimposed with its mirror image. Circular dichroism spectroscopy is widely used to characterize chiral compounds, but data interpretation is difficult in the case of mixtures. We recorded for the first time the electronic circular dichroism spectra of DNA helices separated in a mass spectrometer. We electrosprayed guanine rich strands having various secondary structures as negative ions, irradiated them with a laser, and measured the difference in electron photodetachment efficiency between left and right circularly polarized light. The reconstructed circular dichroism ion spectra resemble the solution ones, thereby allowing us to assign the DNA helical topology. The ability to measure circular dichroism directly on biomolecular ions expands the capabilities of mass spectrometry for structural analysis.


Homophily on social networks changes evolutionary advantage in competitive information diffusion. Competitive information diffusion on large scale social networks reveals fundamental characteristics of rumor contagions and has profound influence on public opinion formation. There has been growing interest in exploring dynamical mechanisms of the competing evolutions recently. Nevertheless, the impacts of population homophily, which determines powerful collective human behaviors, remains unclear. In this paper, we incorporate homophily effects into a modified competitive ignorant spreader ignorant (SIS) rumor diffusion model with generalized population preference. Using microscopic Markov chain approach, we first derive the phase diagram of competing diffusion results and examine how competitive information spreads and evolves on social networks. We then explore the detailed effects of homophily, which is modeled by a rewiring mechanism. Results show that homophily promotes the formation of divided "echo chambers" and protects the disadvantaged information from extinction, which further changes or even reverses the evolutionary advantage, i.e., the difference of final proportions of the competitive information. We highlight the conclusion that the reversals may happen only when the initially disadvantaged information has stronger transmission ability, owning diffusion advantage over the other one. Our framework provides profound insight into competing dynamics with population homophily, which may pave ways for further controlling misinformation and guiding public belief systems. Moreover, the reversing condition sheds light on designing effective competing strategies in many real scenarios.


Montreal AI Ethics Institute's (MAIEI) Submission to the World Intellectual Property Organization (WIPO) Conversation on Intellectual Property (IP) and Artificial Intelligence (AI) Second Session. This document posits that, at best, a tenuous case can be made for providing AI exclusive IP over their "inventions". Furthermore, IP protections for AI are unlikely to confer the benefit of ensuring regulatory compliance. Rather, IP protections for AI "inventors" present a host of negative externalities and obscures the fact that the genuine inventor, deserving of IP, is the human agent. This document will conclude by recommending strategies for WIPO to bring IP law into the 21st century, enabling it to productively account for AI "inventions". Theme IP Protection for AI Generated and AI Assisted Works Based on insights from the Montreal AI Ethics Institute (MAIEI) staff and supplemented by workshop contributions from the AI Ethics community convened by MAIEI on July 5, 2020.


Bridging Knowledge Graphs to Generate Scene Graphs. Scene graphs are powerful representations that parse images into their abstract semantic elements, i.e., objects and their interactions, which facilitates visual comprehension and explainable reasoning. On the other hand, commonsense knowledge graphs are rich repositories that encode how the world is structured, and how general concepts interact. In this paper, we present a unified formulation of these two constructs, where a scene graph is seen as an image conditioned instantiation of a commonsense knowledge graph. Based on this new perspective, we re formulate scene graph generation as the inference of a bridge between the scene and commonsense graphs, where each entity or predicate instance in the scene graph has to be linked to its corresponding entity or predicate class in the commonsense graph. To this end, we propose a novel graph based neural network that iteratively propagates information between the two graphs, as well as within each of them, while gradually refining their bridge in each iteration. Our Graph Bridging Network, GB Net, successively infers edges and nodes, allowing to simultaneously exploit and refine the rich, heterogeneous structure of the interconnected scene and commonsense graphs. Through extensive experimentation, we showcase the superior accuracy of GB Net compared to the most recent methods, resulting in a new state of the art. We publicly release the source code of our method.


Wiener algebras and trigonometric series in a coordinated fashion. Let W 0( mathbb R) be the Wiener Banach algebra of functions representable by the Fourier integrals of Lebesgue integrable functions. It is proven in the paper that, in particular, a trigonometric series sum limits k infty infty c k e ikt is the Fourier series of an integrable function if and only if there exists a phi in W 0( mathbb R) such that phi(k) c k , k in mathbb Z . If f in W 0( mathbb R) , then the piecewise linear continuous function ell f defined by ell f(k) f(k) , k in mathbb Z , belongs to W 0( mathbb R) as well. Moreover, ell f W 0 le f W 0 . Similar relations are established for more advanced Wiener algebras. These results are supplemented by numerous applications. In particular, new necessary and sufficient conditions are proved for a trigonometric series to be a Fourier series and new properties of W 0 are established.


Quantitative and Three Dimensional Assessment of Holdup Material. Nuclear material deposited in equipment, transfer lines, and ventilation systems of a processing facility is usually referred to as holdup. In this work, we propose to use an array of detectors co axial to the inspected pipe to measure the holdup material. This method is implementable into an automated system capable of crawling on surfaces and pipes of various curvatures, which would enable faster, easier, and more accurate holdup safeguards measurements. We first demonstrated that the current holdup assay procedure could lead to a non negligible bias in the estimate of special nuclear material mass, due to the simplified assumption of deposited geometry introduced by the Generalized Geometry Holdup (GGH) model. The new approach consists of imaging the inner holdup material by characterizing the detector array's response and unfolding it from the measured light output. Our experimental proof of principle consists of three NaI(Tl) detectors surrounding an aluminum pipe containing two cesium 137( 137Cs) sources. We derived the source distribution inside the pipe by first calculating the detector response matrix using a method adaptive to the surface geometry of the object containing the measured holdup material. Creating a matrix of the detector array's measured counts, we then proceed to solve an inverse problem, resulting in an accurately located source position and activity distribution within the response matrix's spatial resolution. We then developed a simulated model of the envisioned experimental setup, which accurately described both the activity and position of the source in 2D. Finally, we extended our model onto a discretized three dimensional model of the system, encompassing 36 detectors. For the 3D simulation of four different source geometries, the model accurately localized the source position in 3D, while the activity retained a maximum relative error of 5.32 .


A Multigrid Method for a Nitsche based Extended Finite Element Method. We present a tailored multigrid method for linear problems stemming from a Nitsche based extended finite element method (XFEM). Our multigrid method is robust with respect to highly varying coefficients and the number of interfaces in a domain. It shows level independent convergence rates when applied to different variants of Nitsche's method. Generally, multigrid methods require a hierarchy of finite element (FE) spaces which can be created geometrically using a hierarchy of nested meshes. However, in the XFEM framework, standard multigrid methods might demonstrate poor convergence properties if the hierarchy of FE spaces employed is not nested. We design a prolongation operator for the multigrid method in such a way that it can accommodate the discontinuities across the interfaces in the XFEM framework and recursively induces a nested FE space hierarchy. The prolongation operator is constructed using so called pseudo L 2 projections as common, the adjoint of the prolongation operator is employed as the restriction operator. The stabilization parameter in Nitsche's method plays an important role in imposing interface conditions and also affects the condition number of the linear systems. We discuss the requirements on the stabilization parameter to ensure coercivity and review selected strategies from the literature which are used to implicitly estimate the stabilization parameter. Eventually, we compare the impact of different variations of Nitsche's method on discretization errors and condition number of the linear systems. We demonstrate the robustness of our multigrid method with respect to varying coefficients and the number of interfaces and compare it with other preconditioners.


Topological algebras of statistical tau bounded operators on ordered topological vector spaces. In this paper, we introduce statistical bounded set on topological vector space. Also, we consider three classes of bounded operators from topological vector spaces to ordered topological vector spaces. Moreover, we give relations between them and order bounded operators. We give algebraic properties of these operators concerning to the uniform convergence topology.


fugashi, a Tool for Tokenizing Japanese in Python. Recent years have seen an increase in the number of large scale multilingual NLP projects. However, even in such projects, languages with special processing requirements are often excluded. One such language is Japanese. Japanese is written without spaces, tokenization is non trivial, and while high quality open source tokenizers exist they can be hard to use and lack English documentation. This paper introduces fugashi, a MeCab wrapper for Python, and gives an introduction to tokenizing Japanese.


A Weakly Supervised Method for Instance Segmentation of Biological Cells. We present a weakly supervised deep learning method to perform instance segmentation of cells present in microscopy images. Annotation of biomedical images in the lab can be scarce, incomplete, and inaccurate. This is of concern when supervised learning is used for image analysis as the discriminative power of a learning model might be compromised in these situations. To overcome the curse of poor labeling, our method focuses on three aspects to improve learning i) we propose a loss function operating in three classes to facilitate separating adjacent cells and to drive the optimizer to properly classify underrepresented regions ii) a contour aware weight map model is introduced to strengthen contour detection while improving the network generalization capacity and iii) we augment data by carefully modulating local intensities on edges shared by adjoining regions and to account for possibly weak signals on these edges. Generated probability maps are segmented using different methods, with the watershed based one generally offering the best solutions, specially in those regions where the prevalence of a single class is not clear. The combination of these contributions allows segmenting individual cells on challenging images. We demonstrate our methods in sparse and crowded cell images, showing improvements in the learning process for a fixed network architecture.


Structure of mathbb A 2 fibrations Having Fixed Point Free Locally Nilpotent Derivations. In this article, we show that a fixed point free locally nilpotent derivation of an mathbb A 2 fibration over a Noetherian ring containing mathbb Q has slice.


Event based Robotic Grasping Detection with Neuromorphic Vision Sensor and Event Stream Dataset. Robotic grasping plays an important role in the field of robotics. The current state of the art robotic grasping detection systems are usually built on the conventional vision, such as RGB D camera. Compared to traditional frame based computer vision, neuromorphic vision is a small and young community of research. Currently, there are limited event based datasets due to the troublesome annotation of the asynchronous event stream. Annotating large scale vision dataset often takes lots of computation resources, especially the troublesome data for video level annotation. In this work, we consider the problem of detecting robotic grasps in a moving camera view of a scene containing objects. To obtain more agile robotic perception, a neuromorphic vision sensor (DAVIS) attaching to the robot gripper is introduced to explore the potential usage in grasping detection. We construct a robotic grasping dataset named Event Stream Dataset with 91 objects. A spatio temporal mixed particle filter (SMP Filter) is proposed to track the led based grasp rectangles which enables video level annotation of a single grasp rectangle per object. As leds blink at high frequency, the Event Stream dataset is annotated in a high frequency of 1 kHz. Based on the Event Stream dataset, we develop a deep neural network for grasping detection which consider the angle learning problem as classification instead of regression. The method performs high detection accuracy on our Event Stream dataset with 93 precision at object wise level. This work provides a large scale and well annotated dataset, and promotes the neuromorphic vision applications in agile robot.


Contact phase field modeling for chemo mechanical degradation processes. Part II Numerical applications with focus on pressure solution. The microstructural geometry (MG) of materials has a significant influence on their macroscopic response, all the more when the process is essentially microscopic as for microstructural degradation processes. However, the MG tends to be approximated by ideal spherical packings with constitutive description of the microstructural contacts. Interfaces tracking models like phase field modeling (PFM) are promising candidates to capture the microstructures dynamics. Contact PFM (CPFM) enables to include catalyzing inhibiting (CI) effects, accelerating delaying equilibrium, such as temperature or the presence of certain constituents. To emphasize the influence of geometry and CI effects, we study numerically the chemo mechanical response of digitalized geomaterials at the grain scale. An application to pressure solution creep (PSC) shows the importance of the MG and how the influence of temperature and clay can be taken into account without explicit modeling. As already inferred in previous works on PSC, the lack of MG considerations could be the reason why a unique description of PSC is missing. A simple reason could be that PSC is directly dependent on the strain concentration, which is directly dependent on the MG. This is our motivation here to investigate and suggest the influence of the MG on a degradation process like PSC.


On Aadhaar Identity Management System. A unique identification for citizens can lead to effective governance to manage and provide citizen centric services. While ensuring this service, privacy of the citizens needs to be preserved. Aadhaar, the identification system by UIDAI has faced some critics regarding its privacy preserving feature. This paper discusses those concerns in Aadhaar system and proposed a new model for the Aadhaar system. The proposed solution is aimed to address the issue of collusion of third party service providers and profiling of Aadhaar users. The proposed solution uses a distributed model capturing the Aadhaar system, in which data of users is decentralized and stored in zonal office's databases as well as the CIDR. The proposed solution provides the functioning of the authentication process of the Aadhaar system more effective, as it reduces the number of requests being handled directly by the CIDR and also tackles the concern of correlation of data.


Algorithmic Stability in Fair Allocation of Indivisible Goods Among Two Agents. Many allocation problems in multiagent systems rely on agents specifying cardinal preferences. However, allocation mechanisms can be sensitive to small perturbations in cardinal preferences, thus causing agents who make small" or innocuous" mistakes while reporting their preferences to experience a large change in their utility for the final outcome. To address this, we introduce a notion of algorithmic stability and study it in the context of fair and efficient allocations of indivisible goods among two agents. We show that it is impossible to achieve exact stability along with even a weak notion of fairness and even approximate efficiency. As a result, we propose two relaxations to stability, namely, approximate stability and weak approximate stability, and show how existing algorithms in the fair division literature that guarantee fair and efficient outcomes perform poorly with respect to these relaxations. This leads us to explore the possibility of designing new algorithms that are more stable. Towards this end, we present a general characterization result for pairwise maximin share allocations, and in turn use it to design an algorithm that is approximately stable and guarantees a pairwise maximin share and Pareto optimal allocation for two agents. Finally, we present a simple framework that can be used to modify existing fair and efficient algorithms in order to ensure that they also achieve weak approximate stability.


Quantification of the South African Lockdown Regimes, for the SARS CoV 2 Pandemic, and the Levels of Immunity They Require to Work. This research quantifies the various South African lockdown regimes, for the SARS CoV 2 pandemic, in terms of the basic reproduction number, r 0 . It further calculates the levels of immunity required for these selfsame lockdown regimes to begin to work and predicts perceived values, should infections have been underestimated by a factor of 10. The latter results are compelling. The first, level 5 lockdown was a valiant attempt to contain the highly infectious, SARS CoV 2 virus, based on a limited knowledge. Its basic reproduction number ( r 0 1.93 ) never came anywhere close to the requirement of being less than unity. Obviously, it could be anticipated that the same would apply for subsequent, lower levels of lockdown. The basic reproduction number for the level 3 lockdown was found to be 2.34 and that of the level 4 lockdown, 1.69 .The suggestion is therefore that the level 4 lockdown might have been marginally smarter' than the harder', level 5 lockdown, although its basic reproduction number may merely reflect an adjustment by the public to the new normal, or the ever present error associated with data sets, in general. The pandemic's basic reproduction number was calculated to be 3.16 , in the Swedish context. The lockdowns therefore served to ensure that the medical system was not overwhelmed, bought it valuable time to prepare and provided useful data. The lockdowns nonetheless failed significantly in meeting any objective to curtail the pandemic.


Evaluating the Underlying Gender Bias in Contextualized Word Embeddings. Gender bias is highly impacting natural language processing applications. Word embeddings have clearly been proven both to keep and amplify gender biases that are present in current data sources. Recently, contextualized word embeddings have enhanced previous word embedding techniques by computing word vector representations dependent on the sentence they appear in. In this paper, we study the impact of this conceptual change in the word embedding computation in relation with gender bias. Our analysis includes different measures previously applied in the literature to standard word embeddings. Our findings suggest that contextualized word embeddings are less biased than standard ones even when the latter are debiased.


A Girsanov approach to slow parameterizing manifolds in the presence of noise. We consider a three dimensional slow fast system with quadratic nonlinearity and additive noise. The associated deterministic system of this stochastic differential equation (SDE) exhibits a periodic orbit and a slow manifold. The deterministic slow manifold can be viewed as an approximate parameterization of the fast variable of the SDE in terms of the slow variables. In other words the fast variable of the slow fast system is approximately "slaved" to the slow variables via the slow manifold. We exploit this fact to obtain a two dimensional reduced model for the original stochastic system, which results in the Hopf normal form with additive noise. Both, the original as well as the reduced system admit ergodic invariant measures describing their respective long time behaviour. We will show that for a suitable metric on a subset of the space of all probability measures on phase space, the discrepancy between the marginals along the radial component of both invariant measures can be upper bounded by a constant and a quantity describing the quality of the parameterization. An important technical tool we use to arrive at this result is Girsanov's theorem, which allows us to modify the SDEs in question in a way that preserves transition probabilities. This approach is then also applied to reduced systems obtained through stochastic parameterizing manifolds, which can be viewed as generalized notions of deterministic slow manifolds.


Factorized Deep Generative Models for Trajectory Generation with Spatiotemporal Validity Constraints. Trajectory data generation is an important domain that characterizes the generative process of mobility data. Traditional methods heavily rely on predefined heuristics and distributions and are weak in learning unknown mechanisms. Inspired by the success of deep generative neural networks for images and texts, a fast developing research topic is deep generative models for trajectory data which can learn expressively explanatory models for sophisticated latent patterns. This is a nascent yet promising domain for many applications. We first propose novel deep generative models factorizing time variant and time invariant latent variables that characterize global and local semantics, respectively. We then develop new inference strategies based on variational inference and constrained optimization to encapsulate the spatiotemporal validity. New deep neural network architectures have been developed to implement the inference and generation models with newly generalized latent variable priors. The proposed methods achieved significant improvements in quantitative and qualitative evaluations in extensive experiments.


The spectrum of the restriction to an invariant subspace. Let X be a Banach space, A in B(X) and M be an invariant subspace of A . We present an alternative proof that, if the spectrum of the restriction of A to M contains a point that is in any given hole in the spectrum of A , then the entire hole is in the spectrum of the restriction.


Gleason Kahane .Zelazko theorems in function spaces. The Gleason Kahane .Zelazko theorem states that a linear functional on a Banach algebra that is non zero on invertible elements is necessarily a scalar multiple of a character. Recently this theorem has been extended to certain Banach function spaces that are not algebras. In this article we present a brief survey of these extensions.


Dispersive estimates, blow up and failure of Strichartz estimates for the Schr "odinger equation with slowly decaying initial data. The initial value problem for the homogeneous Schr "odinger equation is investigated for radially symmetric initial data with slow decay rates and not too wild oscillations. Our global wellposedness results apply to initial data for which Strichartz estimates fail.


Sticky Reflected Stochastic Heat Equation Driven by Colored Noise. We prove the existence of a sticky reflected solution to the heat equation on the spatial interval 0,1 driven by colored noise. The process can be interpreted as an infinite dimensional analog of the sticky reflected Brownian motion on the real line, but now the solution obeys the usual stochastic heat equation except points where it reaches zero. At zero the solution has no noise and a drift pushes it to stay positive. The proof is based on a new approach that can also be applied to other types of SPDEs with discontinuous coefficients.


Lie point symmetries and conservation laws for a Gardner type system. We determine the Lie point symmetries of a Gardner type system and establish its nonlinear self adjointness. We then construct conservation laws via Ibragimov's Theorem.


Continuous Activity Maximization in Online Social Networks. Activity maximization is a task of seeking a small subset of users in a given social network that makes the expected total activity benefit maximized. This is a generalization of many real applications. In this paper, we extend activity maximization problem to that under the general marketing strategy vec x , which is a d dimensional vector from a lattice space and has probability h u( vec x ) to activate a node u as a seed. Based on that, we propose the continuous activity maximization (CAM) problem, where the domain is continuous and the seed set we select conforms to a certain probability distribution. It is a new topic to study the problem about information diffusion under the lattice constraint, thus, we address the problem systematically here. First, we analyze the hardness of CAM and how to compute the objective function of CAM accurately and effectively. We prove this objective function is monotone, but not DR submodular and not DR supermodular. Then, we develop a monotone and DR submodular lower bound and upper bound of CAM, and apply sampling techniques to design three unbiased estimators for CAM, its lower bound and upper bound. Next, adapted from IMM algorithm and sandwich approximation framework, we obtain a data dependent approximation ratio. This process can be considered as a general method to solve those maximization problem on lattice but not DR submodular. Last, we conduct experiments on three real world datasets to evaluate the correctness and effectiveness of our proposed algorithms.


On 1 bridge braids, satellite knots, the manifold v2503 and non left orderable surgeries and fillings. We define the property (D) for nontrivial knots. We show that the fundamental group of the manifold obtained by Dehn surgery on a knot K with property (D) with slope frac p q ge 2g(K) 1 is not left orderable. By making full use of the fixed point method, we prove that (1) nontrivial knots which are closures of positive 1 bridge braids have property (D) (2) L space satellite knots, with positive 1 bridge braid patterns, and companion with property (D), have property (D) (3) the fundamental group of the manifold obtained by Dehn filling on v2503 is not left orderable. Additionally, we prove that L space twisted torus knots of form T p,kp pm 1 l,m are closures of positive 1 bridge braids.


Mixed boundary value problem for p harmonic functions in an infinite cylinder. We study a mixed boundary value problem for the p Laplace equation Delta p u 0 in an open infinite circular half cylinder with prescribed Dirichlet boundary data on a part of the boundary and zero Neumann boundary data on the rest. Existence of weak solutions to the mixed problem is proved both for Sobolev and for continuous data on the Dirichlet part of the boundary. We also obtain a boundary regularity result for the point at infinity in terms of a variational capacity adapted to the cylinder.


The Brauer indecomposability of Scott modules with semidihedral vertex. We present a sufficient condition for the kG Scott module with vertex P to remain indecomposable under the Brauer construction for any subgroup Q of P as k Q ,C G(Q) module, where k is a field of characteristic 2 , and P is a semidihedral 2 subgroup of a finite group G . This generalizes results for the cases where P is abelian or dihedral. The Brauer indecomposability is defined linebreak by R. Kessar, N. Kunugi and N. Mitsuhashi. The motivation of linebreak this paper is a fact that the Brauer indecomposability of a p permutation bimodule ( p is a prime) is one of the key steps in order to obtain a splendid stable equivalence of Morita type by making use of the gluing method due to Brou 'e, Rickard, Linckelmann and Rouquier, that then can possibly be lifted to a splendid derived (splendid Morita) equivalence.


Earth system modeling with endogenous and dynamic human societies the copan CORE open World Earth modeling framework. Analysis of Earth system dynamics in the Anthropocene requires to explicitly take into account the increasing magnitude of processes operating in human societies, their cultures, economies and technosphere and their growing feedback entanglement with those in the physical, chemical and biological systems of the planet. However, current state of the art Earth System Models do not represent dynamic human societies and their feedback interactions with the biogeophysical Earth system and macroeconomic Integrated Assessment Models typically do so only with limited scope. This paper (i) proposes design principles for constructing World Earth Models (WEM) for Earth system analysis of the Anthropocene, i.e., models of social (World) ecological (Earth) co evolution on up to planetary scales, and (ii) presents the copan CORE open simulation modeling framework for developing, composing and analyzing such WEMs based on the proposed principles. The framework provides a modular structure to flexibly construct and study WEMs. These can contain biophysical (e.g. carbon cycle dynamics), socio metabolic economic (e.g. economic growth) and socio cultural processes (e.g. voting on climate policies or changing social norms) and their feedback interactions, and are based on elementary entity types, e.g., grid cells and social systems. Thereby, copan CORE enables the epistemic flexibility needed for contributions towards Earth system analysis of the Anthropocene given the large diversity of competing theories and methodologies used for describing socio metabolic economic and socio cultural processes in the Earth system by various fields and schools of thought. To illustrate the capabilities of the framework, we present an exemplary and highly stylized WEM implemented in copan CORE that illustrates how endogenizing socio cultural processes and feedbacks could fundamentally change macroscopic model outcomes.


LISA Towards Learned DNA Sequence Search. Next generation sequencing (NGS) technologies have enabled affordable sequencing of billions of short DNA fragments at high throughput, paving the way for population scale genomics. Genomics data analytics at this scale requires overcoming performance bottlenecks, such as searching for short DNA sequences over long reference sequences. In this paper, we introduce LISA (Learned Indexes for Sequence Analysis), a novel learning based approach to DNA sequence search. As a first proof of concept, we focus on accelerating one of the most essential flavors of the problem, called exact search. LISA builds on and extends FM index, which is the state of the art technique widely deployed in genomics tool chains. Initial experiments with human genome datasets indicate that LISA achieves up to a factor of 4X performance speedup against its traditional counterpart.


On the Wilson Monoid of a Pairwise Balanced Design. We give a new perspective of the relationship between simple matroids of rank 3 and pairwise balanced designs, connecting Wilson's theorems and tools with the theory of truncated boolean representable simplicial complexes. We also introduce the concept of Wilson monoid W(X) of a pairwise balanced design X. We present some general algebraic properties and study in detail the cases of Steiner triple systems up to 19 points, as well as the case where a single block has more than 2 elements


Optimum M PAM Transmission for Massive MIMO Systems with Channel Uncertainty. This paper considers the problem of symbol detection in massive multiple input multiple output (MIMO) wireless communication systems. We consider hard thresholding preceeded by two variants of the regularized least squares (RLS) decoder namely the unconstrained RLS and the RLS with box constraint. For all schemes, we focus on the evaluation of the mean squared error (MSE) and the symbol error probability (SEP) for M ary pulse amplitude modulation (M PAM) symbols transmitted over a massive MIMO system when the channel is estimated using linear minimum mean squared error (LMMSE) estimator. Under such circumstances, the channel estimation error is Gaussian which allows for the use of the convex Gaussian min max theorem (CGMT) to derive asymptotic approximations for the MSE and SER when the system dimensions and the coherence duration grow large with the same pace. The obtained expressions are then leveraged to derive the optimal power distribution between pilot and data under a total transmit energy constraint. In addition, we derive an asymptotic approximation of the goodput for all schemes which is then used to jointly optimize the number of training symbols and their associated power. Numerical results are presented to support the accuracy of the theoretical results.


Additive Conjugacy and the Bohr Compactification of Orthogonal Representations. We say that two unitary or orthogonal representations of a finitely generated group G are additive conjugates if they are intertwined by an additive map, which need not be continuous. We associate to each representation of G a topological action that is a complete additive conjugacy invariant the action of G by group automorphisms on the Bohr compactification of the underlying Hilbert space. Using this construction we show that the property of having almost invariant vectors is an additive conjugacy invariant. As an application we show that G is amenable if and only if there is a nonzero homomorphism from L 2(G) into mathbb R mathbb Z that is invariant to the G action.


A parabolic equation on domains with random boundaries. A heat equation with uncertain domains is thoroughly investigated. Statistical moments of the solution is approximated by the counterparts of the shape derivative. A rigorous proof for the existence of the shape derivative is presented. Boundary integral equation methods are used to compute statistical moments of the shape derivative.


Explicit solutions of Jensen's auxiliary equations via extremal Lipschitz extensions. In this note we prove that McShane and Whitney's Lipschitz extensions are viscosity solutions of Jensen's auxiliary equations, known to have a key role in Jensen's celebrated proof of uniqueness of infinity harmonic functions, and therefore of Absolutely Minimizing Lipschitz Extensions. To the best of the author's knowledge, this result does not appear to be known in the literature in spite of the vast amount of work around the topic.


Non local, non convex functionals converging to Sobolev norms. We study the pointwise convergence and the Gamma convergence of a family of non local, non convex functionals Lambda delta in L p( Omega) for p 1 . We show that the limits are multiples of int Omega nabla u p . This is a continuation of our previous work where the case p 1 was considered.


Composition Operators on H(b) spaces of Unit Ball in mathbb C n . In this work the composition operators on deBranges Rovnyak spaces H(b) on the unit ball of mathbb C n are studied. The boundedness and compactness of composition operators are characterized through Carleson conditions over the Clark measure associated to the defining function b .


Sparsity driven Digital Terrain Model Extraction. We here introduce an automatic Digital Terrain Model (DTM) extraction method. The proposed sparsity driven DTM extractor (SD DTM) takes a high resolution Digital Surface Model (DSM) as an input and constructs a high resolution DTM using the variational framework. To obtain an accurate DTM, an iterative approach is proposed for the minimization of the target variational cost function. Accuracy of the SD DTM is shown in a real world DSM data set. We show the efficiency and effectiveness of the approach both visually and quantitatively via residual plots in illustrative terrain types.


Unified Framework for the Adaptive Operator Selection of Discrete Parameters. We conduct an exhaustive survey of adaptive selection of operators (AOS) in Evolutionary Algorithms (EAs). We simplified the AOS structure by adding more components to the framework to built upon the existing categorisation of AOS methods. In addition to simplifying, we looked at the commonality among AOS methods from literature to generalise them. Each component is presented with a number of alternative choices, each represented with a formula. We make three sets of comparisons. First, the methods from literature are tested on the BBOB test bed with their default hyper parameters. Second, the hyper parameters of these methods are tuned using an offline configurator known as IRACE. Third, for a given set of problems, we use IRACE to select the best combination of components and tune their hyper parameters.


Gobi WebAssembly as a Practical Path to Library Sandboxing. Software based fault isolation (SFI) is a powerful approach to reduce the impact of security vulnerabilities in large C C applications like Firefox and Apache. Unfortunately, practical SFI tools have not been broadly available. Developing SFI toolchains are a significant engineering challenge. Only in recent years have browser vendors invested in building production quality SFI tools like Native Client (NaCl) to sandbox code. Further, without committed support, these tools are not viable, e.g. NaCl has been discontinued, orphaning projects that relied on it. WebAssembly (Wasm) offers a promising solution it can support high performance sandboxing and has been embraced by all major browser vendors thus seems to have a viable future. However, Wasm presently only offers a solution for sandboxing mobile code. Providing SFI for native application, such as C C libraries requires additional steps. To reconcile the different worlds of Wasm on the browser and native platforms, we present Gobi. Gobi is a system of compiler changes and runtime support that can sandbox normal C C libraries with Wasm allowing them to be compiled and linked into native applications. Gobi has been tested on libjpeg, libpng, and zlib. Based on our experience developing Gobi, we conclude with a call to arms to the Wasm community and SFI research community to make Wasm based module sandboxing a first class use case and describe how this can significantly benefit both communities. Addendum This short paper was originally written in January of 2019. Since then, the implementation and design of Gobi has evolved substantially as some of the issues raised in this paper have been addressed by the Wasm community. Nevertheless, several challenges still remain. We have thus left the paper largely intact and only provide a brief update on the state of Wasm tooling as of November 2019 in the last section.


Cross Currency Valuation and Hedging in the Multiple Curve Framework. We generalize the results of Bielecki and Rutkowski (2015) on funding and collateralization to a multi currency framework and link their results with those of Piterbarg (2012), Moreni and Pallavicini (2017), and Fujii et al. (2010b). In doing this, we provide a complete study of absence of arbitrage in a multi currency market where, in each single monetary area, multiple interest rates coexist. We first characterize absence of arbitrage in the case without collateral. After that we study collateralization schemes in a very general situation the cash flows of the contingent claim and those associated to the collateral agreement can be specified in any currency. We study both segregation and rehypothecation and allow for cash and risky collateral in arbitrary currency specifications. Absence of arbitrage and pricing in the presence of collateral are discussed under all possible combinations of conventions. Our work provides a reference for the analysis of wealth dynamics, we also provide valuation formulas that are a useful foundation for cross currency curve construction techniques. Our framework provides also a solid foundation for the construction of multi currency simulation models for the generation of exposure profiles in the context of xVA calculations.


Approximating the Weighted Minimum Label s t Cut Problem. In the weighted (minimum) sf Label s t Cut problem, we are given a (directed or undirected) graph G (V,E) , a label set L ell 1, ell 2, dots, ell q with positive label weights w ell , a source s in V and a sink t in V . Each edge edge e of G has a label ell(e) from L . Different edges may have the same label. The problem asks to find a minimum weight label subset L' such that the removal of all edges with labels in L' disconnects s and t . The unweighted sf Label s t Cut problem (i.e., every label has a unit weight) can be approximated within O(n 2 3 ) , where n is the number of vertices of graph G . However, it is unknown for a long time how to approximate the weighted sf Label s t Cut problem within o(n) . In this paper, we provide an approximation algorithm for the weighted sf Label s t Cut problem with ratio O(n 2 3 ) . The key point of the algorithm is a mechanism to interpret label weight on an edge as both its length and capacity.


Might Europe one day again be a global scientific powerhouse? Analysis of ERC publications suggests it will not be possible without changes in research policy. Numerous EU documents praise the excellence of EU research without empirical evidence and against academic studies. We investigated research performance in two fields of high socioeconomic importance, advanced technology and basic medical research, in two sets of European countries, Germany, France, Italy, and Spain (GFIS), and the UK, the Netherlands, and Switzerland (UKNCH). Despite historical and geographical proximity, research performance in GFIS is much lower than in UKNCH, and well below the world average. Funding from the European Research Council (ERC) greatly improves performance both in GFIS and UKNCH, but ERC GFIS publications are less cited than ERC UKNCH publications. We conclude that research performance in GFIS and in other EU countries is intrinsically low even when it is generously funded. The technological and economic future of the EU depends on improving research, which requires structural changes in research policy within the EU, and in most EU countries.


Theta functions and optimal lattices for a grid cells model. Certain types of neurons, called "grid cells", have been shown to fire on a triangular grid when an animal is navigating on a two dimensional environment, whereas recent studies suggest that the face centred cubic (FCC) lattice is the good candidate for the same phenomenon in three dimensions. The goal of this paper is to give new evidences of these phenomena by considering a infinite set of independent neurons (a module) with Poisson statistics and periodic spread out Gaussian tuning curves. This question of the existence of an optimal grid is transformed into a maximization problem among all possible unit density lattices for a Fisher Information which measures the accuracy of grid cells representations in mathbb R d . This Fisher Information has translated lattice theta functions as building blocks. We first derive asymptotic and numerical results showing the (non )maximality of the triangular lattice with respect to the Gaussian parameter and the size of the firing field. In a particular case where the size of the firing fields and the lattice spacing match with experiments, we have numerically checked that it is possible to find a value for the Gaussian parameter above which the triangular lattice is always optimal. In the case of a radially symmetric distribution of firing locations, we also characterize all the lattices that are critical points for the Fisher Information at fixed scales belonging to an open interval (we call these lattices "volume stationary"). It allows us to compare the Fisher Information of a finite number of lattices in dimension 2 and 3 and to give another evidences of the optimality of the triangular and FCC lattices.


Aggregate Analytic Window Query over Spatial Data. Analytic window query is a commonly used query in the relational databases. It answers the aggregations of data over a sliding window. For example, to get the average prices of a stock for each day. However, it is not supported in the spatial databases. Because the spatial data are not in a one dimension space, there is no straightforward way to extend the original analytic window query to spatial databases. But these queries are useful and meaningful. For example, to find the average number of visits for all the POIs in the circle with a fixed radius for each POI as the centre. In this paper, we define the aggregate analytic window query over spatial data and propose algorithms for grid index and tree index. We also analyze the complexity of the algorithms to prove they are efficient and practical.


The Microsoft Toolkit of Multi Task Deep Neural Networks for Natural Language Understanding. We present MT DNN, an open source natural language understanding (NLU) toolkit that makes it easy for researchers and developers to train customized deep learning models. Built upon PyTorch and Transformers, MT DNN is designed to facilitate rapid customization for a broad spectrum of NLU tasks, using a variety of objectives (classification, regression, structured prediction) and text encoders (e.g., RNNs, BERT, RoBERTa, UniLM). A unique feature of MT DNN is its built in support for robust and transferable learning using the adversarial multi task learning paradigm. To enable efficient production deployment, MT DNN supports multi task knowledge distillation, which can substantially compress a deep neural model without significant performance drop. We demonstrate the effectiveness of MT DNN on a wide range of NLU applications across general and biomedical domains. The software and pre trained models will be publicly available at https github.com namisan mt dnn.


Miquel Steiner's point locus. In this paper we reformulate Miquel Steiner's theorem and we obtain Miquel Steiner's point locus for an arbitrary triangle. We prove that this locus is related to conjugate circles and Brocard's circle. In addition, we obtain Miquel Steiner's point locus in a case when cevians are perpendicular to each other, in a case when cevians form similar triangles. In addition, we prove that if Miquel Steiner's point belongs to line, then cevinans intersection point belongs to line which is parallel to isogonal. Finally, we obtain few result for cases when Miquel Steiner's point coincides with triangle centres.


The average simplex cardinality of a finite abstract simplicial complex. We study the average simplex cardinality Dim (G) sum x x ( G 1) of a finite abstract simplicial complex G. The functional is a homomorphism from the monoid of simplicial complexes to the rationals the formula Dim (G H) Dim (G) Dim (H) holds for the join similarly as for the augmented inductive dimension dim (G) dim(G) 1 where dim is the inductive dimension dim(G) 1 sum x dim(S(x)) G with unit sphere S(x) (a recent theorem of Betre and Salinger). In terms of the generating function f(t) 1 v 0 t v 1 t 2 ... v d t (d 1) defined by the f vector (v 0,v 1, dots) of G for which f( 1) is the genus 1 X(G) with Euler characteristic X and f(1) G 1 is the augmented number of simplices, the average cardinality is the logarithmic derivative Dim (f) f'(1) f(1) of f at 1. Beside introducing the average cardinality and establishing its compatibility with arithmetic, we prove two results 1) the inequality dim (G) 2 Dim (G) with equality for complete complexes. 2) the limit C d of Dim (G n) for n to infinity is the same for any initial complex G 0 of maximal dimension d and the constant c d is explicitly given in terms of the Perron Frobenius eigenfunction of the universal Barycentric refinement operator and is for positive d always a rational number in the open interval ((d 1) 2,d 1).


Predicting Clinical Trial Results by Implicit Evidence Integration. Clinical trials provide essential guidance for practicing Evidence Based Medicine, though often accompanying with unendurable costs and risks. To optimize the design of clinical trials, we introduce a novel Clinical Trial Result Prediction (CTRP) task. In the CTRP framework, a model takes a PICO formatted clinical trial proposal with its background as input and predicts the result, i.e. how the Intervention group compares with the Comparison group in terms of the measured Outcome in the studied Population. While structured clinical evidence is prohibitively expensive for manual collection, we exploit large scale unstructured sentences from medical literature that implicitly contain PICOs and results as evidence. Specifically, we pre train a model to predict the disentangled results from such implicit evidence and fine tune the model with limited data on the downstream datasets. Experiments on the benchmark Evidence Integration dataset show that the proposed model outperforms the baselines by large margins, e.g., with a 10.7 relative gain over BioBERT in macro F1. Moreover, the performance improvement is also validated on another dataset composed of clinical trials related to COVID 19.


Cost aware Feature Selection for IoT Device Classification. Classification of IoT devices into different types is of paramount importance, from multiple perspectives, including security and privacy aspects. Recent works have explored machine learning techniques for fingerprinting (or classifying) IoT devices, with promising results. However, existing works have assumed that the features used for building the machine learning models are readily available or can be easily extracted from the network traffic in other words, they do not consider the costs associated with feature extraction. In this work, we take a more realistic approach, and argue that feature extraction has a cost, and the costs are different for different features. We also take a step forward from the current practice of considering the misclassification loss as a binary value, and make a case for different losses based on the misclassification performance. Thereby, and more importantly, we introduce the notion of risk for IoT device classification. We define and formulate the problem of cost aware IoT device classification. This being a combinatorial optimization problem, we develop a novel algorithm to solve it in a fast and effective way using the Cross Entropy (CE) based stochastic optimization technique. Using traffic of real devices, we demonstrate the capability of the CE based algorithm in selecting features with minimal risk of misclassification while keeping the cost for feature extraction within a specified limit.


A numerical radius inequalities for semi Hilbertian space operators. Let A be a positive bounded operator on a Hilbert space big( mathcal H , langle cdot, cdot rangle big) . The semi inner product langle x, y rangle A langle Ax, y rangle , x, y in mathcal H induces a semi norm cdot A on mathcal H . Let T A and w A(T) denote the A operator semi norm and the A numerical radius of an operator T in semi Hilbertian space big( mathcal H , cdot A big) , respectively. In this paper, we prove the following characterization of w A(T) begin align w A(T) displaystyle sup alpha 2 beta 2 1 left alpha frac T T sharp A 2 beta frac T T sharp A 2i right A, end align where T sharp A is a distinguished A adjoint operator of T . We then apply it to find upper and lower bounds for w A(T) . In particular, we show that begin align frac 1 2 T A leq max Big sqrt 1 cos 2 AT , frac sqrt 2 2 Big w A(T) leq w A(T), end align where cos AT denotes the A cosine of angle of T . Some upper bounds for the A numerical radius of commutators, anticommutators, and products of semi Hilbertian space operators are also given.


On a Multilocus Wright Fisher Model with Mutation and a Svirezhev Shahshahani Gradient like Selection Dynamics. In this paper we introduce a multilocus diffusion model of a population of N haploid, asexually reproducing individuals. The model includes parent dependent mutation and interlocus selection, the latter limited to pairwise relationships but among a large number of simultaneous loci. The diffusion is expressed as a system of stochastic differential equations (SDEs) that are coupled in the drift functions through a Shahshahani gradient like structure for interlocus selection. The system of SDEs is derived from a sequence of Markov chains by weak convergence. We find the explicit stationary (invariant) density by solving the corresponding stationary Fokker Planck equation under parent independent mutation, i.e., Kingman's house of cards mutation. The density formula enables us to readily construct families of Wright Fisher models corresponding to networks of loci.


Robust Approximation of the Stochastic Koopman Operator. We analyze the performance of Dynamic Mode Decomposition (DMD) based approximations of the stochastic Koopman operator for random dynamical systems where either the dynamics or observables are affected by noise. For many DMD algorithms, the presence of noise can introduce a bias in the DMD operator, leading to poor approximations of the dynamics. In particular, methods using time delayed observables, such as Hankel DMD, are biased when the dynamics are random. We introduce a new, robust DMD algorithm that can approximate the stochastic Koopman operator despite the presence of noise. We then demonstrate how this algorithm can be applied to time delayed observables, which allows us to generate a Krylov subspace from a single observable. This allows us to compute a realization of the stochastic Koopman operator using a single observable measured over a single trajectory. We test the performance of the algorithms over several examples.


On the tightness of SDP relaxations of QCQPs. Quadratically constrained quadratic programs (QCQPs) are a fundamental class of optimization problems well known to be NP hard in general. In this paper we study conditions under which the standard semidefinite program (SDP) relaxation of a QCQP is tight. We begin by outlining a general framework for proving such sufficient conditions. Then using this framework, we show that the SDP relaxation is tight whenever the quadratic eigenvalue multiplicity, a parameter capturing the amount of symmetry present in a given problem, is large enough. We present similar sufficient conditions under which the projected epigraph of the SDP gives the convex hull of the epigraph in the original QCQP. Our results also imply new sufficient conditions for the tightness (as well as convex hull exactness) of a second order cone program relaxation of simultaneously diagonalizable QCQPs.


Continuous Release of Data Streams under both Centralized and Local Differential Privacy. In this paper, we study the problem of publishing a stream of real valued data satisfying differential privacy (DP). One major challenge is that the maximal possible value can be quite large thus it is necessary to estimate a threshold so that numbers above it are truncated to reduce the amount of noise that is required to all the data. The estimation must be done based on the data in a private fashion. We develop such a method that uses the Exponential Mechanism with a quality function that approximates well the utility goal while maintaining a low sensitivity. Given the threshold, we then propose a novel online hierarchical method and several post processing techniques. Building on these ideas, we formalize the steps into a framework for private publishing of stream data. Our framework consists of three components a threshold optimizer that privately estimates the threshold, a perturber that adds calibrated noises to the stream, and a smoother that improves the result using post processing. Within our framework, we design an algorithm satisfying the more stringent setting of DP called local DP (LDP). To our knowledge, this is the first LDP algorithm for publishing streaming data. Using four real world datasets, we demonstrate that our mechanism outperforms the state of the art by a factor of 6 10 orders of magnitude in terms of utility (measured by the mean squared error of answering a random range query).


Learning to Exploit Long term Relational Dependencies in Knowledge Graphs. We study the problem of knowledge graph (KG) embedding. A widely established assumption to this problem is that similar entities are likely to have similar relational roles. However, existing related methods derive KG embeddings mainly based on triple level learning, which lack the capability of capturing long term relational dependencies of entities. Moreover, triple level learning is insufficient for the propagation of semantic information among entities, especially for the case of cross KG embedding. In this paper, we propose recurrent skipping networks (RSNs), which employ a skipping mechanism to bridge the gaps between entities. RSNs integrate recurrent neural networks (RNNs) with residual learning to efficiently capture the long term relational dependencies within and between KGs. We design an end to end framework to support RSNs on different tasks. Our experimental results showed that RSNs outperformed state of the art embedding based methods for entity alignment and achieved competitive performance for KG completion.


Derived categories of the Cayley plane and the coadjoint Grassmannian of type F. For the derived category of the Cayley plane, which is the cominuscule Grassmannian of Dynkin type mathrm E 6 , a full Lefschetz exceptional collection was constructed by Faenzi and Manivel. A general hyperplane section of the Cayley plane is the coadjoint Grassmannian of Dynkin type mathrm F 4 . We show that the restriction of the Faenzi Manivel collection to such a hyperplane section gives a full Lefschetz exceptional collection, providing the first example of a full exceptional collection on a homogeneous variety of Dynkin type mathrm F . We also describe the residual categories of these Lefschetz collections, confirming conjectures of the second and third named author for the Cayley plane and its hyperplane section. The latter description is based on a general result of independent interest, relating residual categories of a variety and its hyperplane section.


Formal language convexity in left orderable groups. We propose a criterion for preserving the regularity of a formal language representation when passing from groups to subgroups. We use this criterion to show that the regularity of a positive cone language in a left orderable group passes to its finite index subgroups, and to show that there exists no left order on a finitely generated acylindrically hyperbolic group such that the corresponding positive cone is represented by a quasi geodesic regular language. We also answer one of Navas' questions by giving an example of an infinite family of groups which admit a positive cone that is generated by exactly k generators, for every k geq 3 . As a special case of our construction, we obtain a finitely generated positive cone for F 2 times mathbb Z .


The VIA Annotation Software for Images, Audio and Video. In this paper, we introduce a simple and standalone manual annotation tool for images, audio and video the VGG Image Annotator (VIA). This is a light weight, standalone and offline software package that does not require any installation or setup and runs solely in a web browser. The VIA software allows human annotators to define and describe spatial regions in images or video frames, and temporal segments in audio or video. These manual annotations can be exported to plain text data formats such as JSON and CSV and therefore are amenable to further processing by other software tools. VIA also supports collaborative annotation of a large dataset by a group of human annotators. The BSD open source license of this software allows it to be used in any academic project or commercial application.


Behavioral Use Licensing for Responsible AI. Scientific research and development relies on the sharing of ideas and artifacts. With the growing reliance on artificial intelligence (AI) for many different applications, the sharing of code, data, and models is important to ensure the ability to replicate methods and the democratization of scientific knowledge. Many high profile journals and conferences expect code to be submitted and released with papers. Furthermore, developers often want to release code and models to encourage development of technology that leverages their frameworks and services. However, AI algorithms are becoming increasingly powerful and generalized. Ultimately, the context in which an algorithm is applied can be far removed from that which the developers had intended. A number of organizations have expressed concerns about inappropriate or irresponsible use of AI and have proposed AI ethical guidelines and responsible AI initiatives. While such guidelines are useful and help shape policy, they are not easily enforceable. Governments have taken note of the risks associated with certain types of AI applications and have passed legislation. While these are enforceable, they require prolonged scientific and political deliberation. In this paper we advocate the use of licensing to enable legally enforceable behavioral use conditions on software and data. We argue that licenses serve as a useful tool for enforcement in situations where it is difficult or time consuming to legislate AI usage. Furthermore, by using such licenses, AI developers provide a signal to the AI community, as well as governmental bodies, that they are taking responsibility for their technologies and are encouraging responsible use by downstream users.