Surfaces containing two parabolas through each point. We prove (under some technical assumptions) that each surface in mathbb R 3 containing two arcs of parabolas with axes parallel to Oz through each point has a parametrization left( frac P(u,v) R(u,v) , frac Q(u,v) R(u,v) , frac Z(u,v) R 2(u,v) right) for some P,Q,R,Z in mathbb R u,v such that P,Q,R have degree at most 1 in u and v , and Z has degree at most 2 in u and v . The proof is based on the observation that one can consider a parabola with vertical axis as an isotropic circle this allows us to use methods of the recent work by M. Skopenkov and R. Krasauskas in which all surfaces containing two Euclidean circles through each point are classified. Such approach also allows us to find a similar parametrization for the surfaces in mathbb R 3 containing two arbitrary isotropic circles through each point (under the same technical assumptions). Finally, we get some results concerning the top view (the projection along the Oz axis) of the surfaces in question.


AI Powered Text Generation for Harmonious Human Machine Interaction Current State and Future Directions. In the last two decades, the landscape of text generation has undergone tremendous changes and is being reshaped by the success of deep learning. New technologies for text generation ranging from template based methods to neural network based methods emerged. Meanwhile, the research objectives have also changed from generating smooth and coherent sentences to infusing personalized traits to enrich the diversification of newly generated content. With the rapid development of text generation solutions, one comprehensive survey is urgent to summarize the achievements and track the state of the arts. In this survey paper, we present the general systematical framework, illustrate the widely utilized models and summarize the classic applications of text generation.


Positive HBs antigen in the absence of hepatitis B virus infection. French recommendations for the screening of hepatitis B virus (HBV) infection were updated in 2019 with the association of three markers HBs Ag, anti HBs Ab and anti HBc Ab. These three markers allow identification of infected patients, vaccinated patients and patients who have been in contact with HBV. A positive HBs Ag is usually associated with HBV infection but this interpretation must take into account the clinical context. In particular, the absence of anti HBc Ab, normal ALAT levels and the absence of jaundice can be associated with recent HBV vaccination or false positive HBs Ag. Recent HBV vaccination can usually be confirmed by patient questioning, while confirmatory tests are useful to detect false positive HBs Ag. If necessary, a second sample can be requested to confirm the interpretation.


Towards Optimal Structured CNN Pruning via Generative Adversarial Learning. Structured pruning of filters or neurons has received increased focus for compressing convolutional neural networks. Most existing methods rely on multi stage optimizations in a layer wise manner for iteratively pruning and retraining which may not be optimal and may be computation intensive. Besides, these methods are designed for pruning a specific structure, such as filter or block structures without jointly pruning heterogeneous structures. In this paper, we propose an effective structured pruning approach that jointly prunes filters as well as other structures in an end to end manner. To accomplish this, we first introduce a soft mask to scale the output of these structures by defining a new objective function with sparsity regularization to align the output of baseline and network with this mask. We then effectively solve the optimization problem by generative adversarial learning (GAL), which learns a sparse soft mask in a label free and an end to end manner. By forcing more scaling factors in the soft mask to zero, the fast iterative shrinkage thresholding algorithm (FISTA) can be leveraged to fast and reliably remove the corresponding structures. Extensive experiments demonstrate the effectiveness of GAL on different datasets, including MNIST, CIFAR 10 and ImageNet ILSVRC 2012. For example, on ImageNet ILSVRC 2012, the pruned ResNet 50 achieves 10.88 Top 5 error and results in a factor of 3.7x speedup. This significantly outperforms state of the art methods.


Efficient high order accurate staggered semi implicit discontinuous Galerkin methods for natural convection problems. We propose a new family of high order staggered semi implicit discontinuous Galerkin (DG) methods for the simulation of natural convection problems. Assuming small temperature fluctuations, the Boussinesq approximation is valid and the flow can simply be modeled by the incompressible Navier Stokes equations coupled with a transport equation for the temperature and a buoyancy source term in the momentum equation. Our numerical scheme is developed starting from the work presented in TD14 , in which the spatial domain is discretized using a face based staggered unstructured mesh. For the computation of the advection and diffusion terms, two different algorithms are presented i) a purely Eulerian explicit upwind type scheme and ii) a semi Lagrangian approach. The first methodology leads to a conservative scheme whose major drawback is the time step restriction imposed by the CFL stability condition. On the contrary, computational efficiency can be notably improved relying on a semi Lagrangian approach. This method leads to an unconditionally stable scheme if the diffusive terms are discretized implicitly. Once the advection and diffusion contributions have been computed, the pressure Poisson equation is solved and the velocity is updated. As a second model for the computation of buoyancy driven flows, we also consider the full compressible Navier Stokes equations. The staggered semi implicit DG method first proposed in TD17 for all Mach number flows is properly extended to account for the gravity source terms arising in the momentum and energy conservation laws. The validity and the robustness of our novel class of staggered semi implicit DG schemes is assessed at the aid of several classical benchmark problems, showing in all cases a good agreement with available numerical reference data. Finally, a detailed comparison between the incompressible and the compressible solver is presented.


A Reinforcement Learning Approach for Rebalancing Electric Vehicle Sharing Systems. This paper proposes a reinforcement learning approach for nightly offline rebalancing operations in free floating electric vehicle sharing systems (FFEVSS). Due to sparse demand in a network, FFEVSS require relocation of electrical vehicles (EVs) to charging stations and demander nodes, which is typically done by a group of drivers. A shuttle is used to pick up and drop off drivers throughout the network. The objective of this study is to solve the shuttle routing problem to finish the rebalancing work in the minimal time. We consider a reinforcement learning framework for the problem, in which a central controller determines the routing policies of a fleet of multiple shuttles. We deploy a policy gradient method for training recurrent neural networks and compare the obtained policy results with heuristic solutions. Our numerical studies show that unlike the existing solutions in the literature, the proposed methods allow to solve the general version of the problem with no restrictions on the urban EV network structure and charging requirements of EVs. Moreover, the learned policies offer a wide range of flexibility resulting in a significant reduction in the time needed to rebalance the network.


Highly irregular orbits for subshifts of finite type large intersections and emergence. In their recent paper KNS2019 , the first author, S. Kiriki, and T. Soma introduced a concept of pointwise emergence to measure the complexity of irregular orbits. They constructed a residual subset of the full shift with high pointwise emergence. In this paper we consider the set of points with high pointwise emergence for topologically mixing subshifts of finite type. We show that this set has full topological entropy, full Hausdorff dimension, and full topological pressure for any H "older continuous potential. Furthermore, we show that this set belongs to a certain class of sets with large intersection property. This is a natural generalization of FP2011 to pointwise emergence and Carath 'eodory dimension.


An L 2 T error bound for time limited balanced truncation. Model order reduction (MOR) is often applied to spatially discretized partial differential equations to reduce their order and hence decrease computational complexity. A reduced system can be obtained, e.g., by time limited balanced truncation, a method that aims to construct an accurate reduced order model on a given finite time interval 0, T . This particular balancing related MOR technique is studied in this paper. An L 2 T error bound based on the truncated time limited singular values is proved and is the main result of this paper. The derived error bound converges (as T rightarrow infty ) to the well known mathcal H infty error bound of unrestricted balanced truncation, a scheme that is used to construct a good reduced system on the entire time line. The techniques within the proofs of this paper can also be applied to unrestricted balanced truncation so that a relatively short time domain proof of the mathcal H infty error bound is found here.


Tigris Architecture and Algorithms for 3D Perception in Point Clouds. Machine perception applications are increasingly moving toward manipulating and processing 3D point cloud. This paper focuses on point cloud registration, a key primitive of 3D data processing widely used in high level tasks such as odometry, simultaneous localization and mapping, and 3D reconstruction. As these applications are routinely deployed in energy constrained environments, real time and energy efficient point cloud registration is critical. We present Tigris, an algorithm architecture co designed system specialized for point cloud registration. Through an extensive exploration of the registration pipeline design space, we find that, while different design points make vastly different trade offs between accuracy and performance, KD tree search is a common performance bottleneck, and thus is an ideal candidate for architectural specialization. While KD tree search is inherently sequential, we propose an acceleration amenable data structure and search algorithm that exposes different forms of parallelism of KD tree search in the context of point cloud registration. The co designed accelerator systematically exploits the parallelism while incorporating a set of architectural techniques that further improve the accelerator efficiency. Overall, Tigris achieves 77.2 times speedup and 7.4 times power reduction in KD tree search over an RTX 2080 Ti GPU, which translates to a 41.7 registration performance improvements and 3.0 times power reduction.


Exploiting No Regret Algorithms in System Design. We investigate a repeated two player zero sum game setting where the column player is also a designer of the system, and has full control on the design of the payoff matrix. In addition, the row player uses a no regret algorithm to efficiently learn how to adapt their strategy to the column player's behaviour over time in order to achieve good total payoff. The goal of the column player is to guide her opponent to pick a mixed strategy which is favourable for the system designer. Therefore, she needs to (i) design an appropriate payoff matrix A whose unique minimax solution contains the desired mixed strategy of the row player and (ii) strategically interact with the row player during a sequence of plays in order to guide her opponent to converge to that desired behaviour. To design such a payoff matrix, we propose a novel solution that provably has a unique minimax solution with the desired behaviour. We also investigate a relaxation of this problem where uniqueness is not required, but all the minimax solutions have the same mixed strategy for the row player. Finally, we propose a new game playing algorithm for the system designer and prove that it can guide the row player, who may play a emph stable no regret algorithm, to converge to a minimax solution.


Urdu English Machine Transliteration using Neural Networks. Machine translation has gained much attention in recent years. It is a sub field of computational linguistic which focus on translating text from one language to other language. Among different translation techniques, neural network currently leading the domain with its capabilities of providing a single large neural network with attention mechanism, sequence to sequence and long short term modelling. Despite significant progress in domain of machine translation, translation of out of vocabulary words(OOV) which include technical terms, named entities, foreign words are still a challenge for current state of art translation systems, and this situation becomes even worse while translating between low resource languages or languages having different structures. Due to morphological richness of a language, a word may have different meninges in different context. In such scenarios, translation of word is not only enough in order provide the correct quality translation. Transliteration is a way to consider the context of word sentence during translation. For low resource language like Urdu, it is very difficult to have find parallel corpus for transliteration which is large enough to train the system. In this work, we presented transliteration technique based on Expectation Maximization (EM) which is un supervised and language independent. Systems learns the pattern and out of vocabulary (OOV) words from parallel corpus and there is no need to train it on transliteration corpus explicitly. This approach is tested on three models of statistical machine translation (SMT) which include phrasebased, hierarchical phrase based and factor based models and two models of neural machine translation which include LSTM and transformer model.


MoverScore Text Generation Evaluating with Contextualized Embeddings and Earth Mover Distance. A robust evaluation metric has a profound impact on the development of text generation systems. A desirable metric compares system output against references based on their semantics rather than surface forms. In this paper we investigate strategies to encode system and reference texts to devise a metric that shows a high correlation with human judgment of text quality. We validate our new metric, namely MoverScore, on a number of text generation tasks including summarization, machine translation, image captioning, and data to text generation, where the outputs are produced by a variety of neural and non neural systems. Our findings suggest that metrics combining contextualized representations with a distance measure perform the best. Such metrics also demonstrate strong generalization capability across tasks. For ease of use we make our metrics available as web service.


Haploid Diploid Evolution Nature's Memetic Algorithm. This paper uses a recent explanation for the fundamental haploid diploid lifecycle of eukaryotic organisms to present a new memetic algorithm that differs from all previous known work using diploid representations. A form of the Baldwin effect has been identified as inherent to the evolutionary mechanisms of eukaryotes and a simplified version is presented here which maintains such behaviour. Using a well known abstract tuneable model, it is shown that varying fitness landscape ruggedness varies the benefit of haploid diploid algorithms. Moreover, the methodology is applied to optimise the targeted delivery of a therapeutic compound utilizing nano particles to cancerous tumour cells with the multicellular simulator PhysiCell.


Learning Graph Neural Networks with Approximate Gradient Descent. The first provably efficient algorithm for learning graph neural networks (GNNs) with one hidden layer for node information convolution is provided in this paper. Two types of GNNs are investigated, depending on whether labels are attached to nodes or graphs. A comprehensive framework for designing and analyzing convergence of GNN training algorithms is developed. The algorithm proposed is applicable to a wide range of activation functions including ReLU, Leaky ReLU, Sigmod, Softplus and Swish. It is shown that the proposed algorithm guarantees a linear convergence rate to the underlying true parameters of GNNs. For both types of GNNs, sample complexity in terms of the number of nodes or the number of graphs is characterized. The impact of feature dimension and GNN structure on the convergence rate is also theoretically characterized. Numerical experiments are further provided to validate our theoretical analysis.


The orthogonal complement of the Hilbert space associated to holomorphic Hermite polynomials. We study the orthogonal complement of the Hilbert subspace considered by by van Eijndhoven and Meyers in J. Math. Anal. Appl. 146 (1990), no. 1, 89 98 and associated to holomorphic Hermite polynomials. A polyanalytic orthonormal basis is given and the explicit expressions of the corresponding reproducing kernel functions and Segal Bargmann integral transforms are provided.


A Note on Optimization Formulations of Markov Decision Processes. This note summarizes the optimization formulations used in the study of Markov decision processes. We consider both the discounted and undiscounted processes under the standard and the entropy regularized settings. For each setting, we first summarize the primal, dual, and primal dual problems of the linear programming formulation. We then detail the connections between these problems and other formulations for Markov decision processes such as the Bellman equation and the policy gradient method.


Numerical study of Zakharov Kuznetsov equations in two dimensions. We present a detailed numerical study of solutions to the (generalized) Zakharov Kuznetsov equation in two spatial dimensions with various power nonlinearities. In the L 2 subcritical case, numerical evidence is presented for the stability of solitons and the soliton resolution for generic initial data. In the L 2 critical and supercritical cases, solitons appear to be unstable against both dispersion and blow up. It is conjectured that blow up happens in finite time and that blow up solutions have some resemblance of being self similar, i.e., the blow up core forms a rightward moving self similar type rescaled profile with the blow up happening at infinity in the critical case and at a finite location in the supercritical case. In the L 2 critical case, the blow up appears to be similar to the one in the L 2 critical generalized Korteweg de Vries equation with the profile being a dynamically rescaled soliton.


On Richtmyer Meshkov unstable dynamics of three dimensional interfacial coherent structures with time dependent acceleration. Richtmyer Meshkov instability (RMI) plays an important role in many areas of science and engineering, from supernovae and fusion to scramjets and nano fabrication. Classical Richtmyer Meshkov instability is induced by a steady shock and impulsive acceleration, whereas in realistic environments the acceleration is usually variable. We focus on RMI induced by acceleration with power law time dependence and apply group theory to solve the long standing problem. For early time dynamics, we find the dependence of the growth rate on the initial conditions and show that it is independent of the acceleration parameters. For late time dynamics, we find a continuous family of regular asymptotic solutions, including their curvature, velocity, Fourier amplitudes, and interfacial shear, and we study their stability. For each solution, the interface dynamics is directly linked to the interfacial shear, the non equilibrium velocity field has intense fluid motion near the interface and effectively no motion in the bulk. The quasi invariance of the fastest stable solution suggests that nonlinear coherent dynamics in RMI is characterized by two macroscopic length scales the wavelength and the amplitude, in agreement with observations. The properties of a number of special solutions are outlined, these being respectively, the Atwood, Taylor, convergence, minimum shear, and critical bubbles, among others. We also elaborate new theory benchmarks for future experiments and simulations.


The Blessing and the Curse of the Noise behind Facial Landmark Annotations. The evolving algorithms for 2D facial landmark detection empower people to recognize faces, analyze facial expressions, etc. However, existing methods still encounter problems of unstable facial landmarks when applied to videos. Because previous research shows that the instability of facial landmarks is caused by the inconsistency of labeling quality among the public datasets, we want to have a better understanding of the influence of annotation noise in them. In this paper, we make the following contributions 1) we propose two metrics that quantitatively measure the stability of detected facial landmarks, 2) we model the annotation noise in an existing public dataset, 3) we investigate the influence of different types of noise in training face alignment neural networks, and propose corresponding solutions. Our results demonstrate improvements in both accuracy and stability of detected facial landmarks.


Blocks of Ariki Koike algebras as a superlevel set for the weight function. We study a natural generalisation of Fayers's definition of the weight of a multipartition. In level one we prove that the set of all blocks, where the size of the partition varies, can be seen as a 0 superlevel set for the generalised weight function. In higher levels, we use the notion of core block, as introduced by Fayers, to prove that the set of blocks contains a superlevel set (with infinite cardinality) for the generalised weight function. We apply the result in level one to study a shift operation on partitions.


On cyclic Schur positive sets of permutation. We introduce a notion of em cyclic Schur positivity for sets of permutations, which naturally extends the classical notion of Schur positivity, and it involves the existence of a bijection from permutations to standard Young tableaux that preserves the cyclic descent set. Cyclic Schur positive sets of permutations are always Schur positive, but the converse does not hold, as exemplified by inverse descent classes, Knuth classes and conjugacy classes. In this paper we show that certain classes of permutations invariant under either horizontal or vertical rotation are cyclic Schur positive. The proof unveils a new equidistribution phenomenon of descent sets on permutations, provides affirmative solutions to conjectures from 9 and 2 , and yields new examples of Schur positive sets.


Apache Spark Accelerated Deep Learning Inference for Large Scale Satellite Image Analytics. The shear volumes of data generated from earth observation and remote sensing technologies continue to make major impact leaping key geospatial applications into the dual data and compute intensive era. As a consequence, this rapid advancement poses new computational and data processing challenges. We implement a novel remote sensing data flow (RESFlow) for advanced machine learning and computing with massive amounts of remotely sensed imagery. The core contribution is partitioning massive amount of data based on the spectral and semantic characteristics for distributed imagery analysis. RESFlow takes advantage of both a unified analytics engine for large scale data processing and the availability of modern computing hardware to harness the acceleration of deep learning inference on expansive remote sensing imagery. The framework incorporates a strategy to optimize resource utilization across multiple executors assigned to a single worker. We showcase its deployment across computationally and data intensive on pixel level labeling workloads. The pipeline invokes deep learning inference at three stages during deep feature extraction, deep metric mapping, and deep semantic segmentation. The tasks impose compute intensive and GPU resource sharing challenges motivating for a parallelized pipeline for all execution steps. By taking advantage of Apache Spark, Nvidia DGX1, and DGX2 computing platforms, we demonstrate unprecedented compute speed ups for deep learning inference on pixel labeling workloads processing 21,028 Terrabytes of imagery data and delivering an output maps at area rate of 5.245sq.km sec, amounting to 453,168 sq.km day reducing a 28 day workload to 21 hours.


Stochastic Gradient Descent with Polyak's Learning Rate. Stochastic gradient descent (SGD) for strongly convex functions converges at the rate bO(1 k) . However, achieving good results in practice requires tuning the parameters (for example the learning rate) of the algorithm. In this paper we propose a generalization of the Polyak step size, used for subgradient methods, to Stochastic gradient descent. We prove a non asymptotic convergence at the rate bO(1 k) with a rate constant which can be better than the corresponding rate constant for optimally scheduled SGD. We demonstrate that the method is effective in practice, and on convex optimization problems and on training deep neural networks, and compare to the theoretical rate.


A CNN Framenwork Based on Line Annotations for Detecting Nematodes in Microscopic Images. Plant parasitic nematodes cause damage to crop plants on a global scale. Robust detection on image data is a prerequisite for monitoring such nematodes, as well as for many biological studies involving the nematode C. elegans, a common model organism. Here, we propose a framework for detecting worm shaped objects in microscopic images that is based on convolutional neural networks (CNNs). We annotate nematodes with curved lines along the body, which is more suitable for worm shaped objects than bounding boxes. The trained model predicts worm skeletons and body endpoints. The endpoints serve to untangle the skeletons from which segmentation masks are reconstructed by estimating the body width at each location along the skeleton. With light weight backbone networks, we achieve 75.85 precision, 73.02 recall on a potato cyst nematode data set and 84.20 precision, 85.63 recall on a public C. elegans data set.


Pulsed RF Schemes for Tearing Mode Stabilization. The RF stabilization of tearing modes with current condensation has the potential to increase stabilization efficiency and loosen power localization requirements. Such benefits stem from the cooperative feedback between the RF deposition and resulting island temperature perturbation governed by diffusion. A self consistent treatment of the damping of an rf ray as it traverses the island shows that low damping scenarios can require unfavorably high powers to overcome initial power leakage and effectively capitalize on the nonlinear effect. In this work it is demonstrated that for such regimes,modulated stabilization schemes can achieve significant improvements in heating and current drive contributions to stabilization for the same average power as a continuous wave scheme. The impact of modulation frequency and duty cycle on the performance is explored, the results of which suggest modulation strategies in which the pulsing periods are kept on the order of a diffusive time.


Infinite Grid Exploration by Disoriented Robots. We deal with a set of autonomous robots moving on an infinite grid. Those robots are opaque, have limited visibility capabilities, and run using synchronous Look Compute Move cycles. They all agree on a common chirality, but have no global compass. Finally, they may use lights of different colors, but except from that, robots have neither persistent memories, nor communication mean. We consider the infinite grid exploration (IGE) problem. For this problem we give two impossibility results and three algorithms, including one which is optimal in terms of number of robots. In more detail, we first show that two robots are not sufficient in our settings to solve the problem, even when robots have a common coordinate system. We then show that if the robots' coordinate systems are not self consistent, three or four robots are not sufficient to solve the problem. Finally, we present three algorithms that solve the IGE problem in various settings. The first algorithm uses six robots with constant colors and a visibility range of one. The second one uses the minimum number of robots, i.e., five, as well as five modifiable colors, still under visibility one. The last algorithm requires seven oblivious anonymous robots, yet assuming visibility two. Notice that the two last algorithms also satisfy achieve exclusiveness.


Incomplete Descriptor Mining with Elastic Loss for Person Re Identification. In this paper, we propose a novel person Re ID model, Consecutive Batch DropBlock Network (CBDB Net), to capture the attentive and robust person descriptor for the person Re ID task. The CBDB Net contains two novel designs the Consecutive Batch DropBlock Module (CBDBM) and the Elastic Loss (EL). In the Consecutive Batch DropBlock Module (CBDBM), we firstly conduct uniform partition on the feature maps. And then, we independently and continuously drop each patch from top to bottom on the feature maps, which can output multiple incomplete feature maps. In the training stage, these multiple incomplete features can better encourage the Re ID model to capture the robust person descriptor for the Re ID task. In the Elastic Loss (EL), we design a novel weight control item to help the Re ID model adaptively balance hard sample pairs and easy sample pairs in the whole training process. Through an extensive set of ablation studies, we verify that the Consecutive Batch DropBlock Module (CBDBM) and the Elastic Loss (EL) each contribute to the performance boosts of CBDB Net. We demonstrate that our CBDB Net can achieve the competitive performance on the three standard person Re ID datasets (the Market 1501, the DukeMTMC Re ID, and the CUHK03 dataset), three occluded Person Re ID datasets (the Occluded DukeMTMC, the Partial REID, and the Partial iLIDS dataset), and a general image retrieval dataset (In Shop Clothes Retrieval dataset).


Attentive CT Lesion Detection Using Deep Pyramid Inference with Multi Scale Booster. Accurate lesion detection in computer tomography (CT) slices benefits pathologic organ analysis in the medical diagnosis process. More recently, it has been tackled as an object detection problem using the Convolutional Neural Networks (CNNs). Despite the achievements from off the shelf CNN models, the current detection accuracy is limited by the inability of CNNs on lesions at vastly different scales. In this paper, we propose a Multi Scale Booster (MSB) with channel and spatial attention integrated into the backbone Feature Pyramid Network (FPN). In each pyramid level, the proposed MSB captures fine grained scale variations by using Hierarchically Dilated Convolutions (HDC). Meanwhile, the proposed channel and spatial attention modules increase the network's capability of selecting relevant features response for lesion detection. Extensive experiments on the DeepLesion benchmark dataset demonstrate that the proposed method performs superiorly against state of the art approaches.


On the equivalence between Value at Risk and Expected Shortfall in non concave optimization. This paper studies an optimal asset allocation problem for a surplus driven financial institution facing a Value at Risk (VaR) or an Expected Shortfall (ES) constraint corresponding to a non concave optimization problem under constraints. We obtain the closed form optimal wealth with the ES constraint as well as with the VaR constraint respectively, and explicitly calculate the optimal trading strategy for constant relative risk aversion (CRRA) utility functions. We find that both VaR and ES based regulation can effectively reduce the probability of default for a surplus driven financial institution. However, the liability holders' benefits cannot be fully protected under either VaR or ES based regulation. In addition, we show that the VaR and ES based regulation can induce the same optimal portfolio choice for a surplus driven financial institution. This differs from the conclusion drawn in Basak and Shapiro 2001 where the financial institution aims at maximizing the expected utility of the total assets, and ES provides better loss protection.


Towards Better Driver Safety Empowering Personal Navigation Technologies with Road Safety Awareness. Recent research has found that navigation systems usually assume that all roads are equally safe, directing drivers to dangerous routes, which led to catastrophic consequences. To address this problem, this paper aims to begin the process of adding road safety awareness to navigation systems. To do so, we first created a definition for road safety that navigation systems can easily understand by adapting well established safety standards from transportation studies. Based on this road safety definition, we then developed a machine learning based road safety classifier that predicts the safety level for road segments using a diverse feature set constructed only from large scale publicly available geographic data. Evaluations in four different countries show that our road safety classifier achieves satisfactory performance. Finally, we discuss the factors to consider when extending our road safety classifier to other regions and potential new safety designs enabled by our road safety predictions.


PyRep Bringing V REP to Deep Robot Learning. PyRep is a toolkit for robot learning research, built on top of the virtual robotics experimentation platform (V REP). Through a series of modifications and additions, we have created a tailored version of V REP built with robot learning in mind. The new PyRep toolkit offers three improvements (1) a simple and flexible API for robot control and scene manipulation, (2) a new rendering engine, and (3) speed boosts upwards of 10,000x in comparison to the previous Python Remote API. With these improvements, we believe PyRep is the ideal toolkit to facilitate rapid prototyping of learning algorithms in the areas of reinforcement learning, imitation learning, state estimation, mapping, and computer vision.


Validation strategy of reduced order two fluid flow models based on a hierarchy of direct numerical simulations. Whereas direct numerical simulation (DNS) have reached a high level of description in the field of atomization processes, they are not yet able to cope with industrial needs since they lack resolution and are too costly. Predictive simulations relying on reduced order modeling have become mandatory for applications ranging from cryotechnic to aeronautic combustion chamber liquid injection. Two fluid models provide a good basis in order to conduct such simulations, even if recent advances allow to refine subscale modeling using geometrical variables in order to reach a unified model including separate phases and disperse phase descriptions based on high order moment methods. The simulation of such models has to rely on dedicated numerical methods and still lacks assessment of its predictive capabilities. The present paper constitutes a building block of the investigation of a hierarchy of test cases designed to be amenable to DNS while close enough to industrial configurations, for which we propose a comparison of two fluid compressible simulations with DNS data bases. We focus in the present contribution on an air assisted water atomization using a planar liquid sheet injector. Qualitative and quantitative comparisons with incompressible DNS allow us to identify and analyze strength and weaknesses of the reduced order modeling and numerical approach in this specific configuration and set a framework for more refined models since they already provide a very interesting level of comparison on averaged quantities.


Automorphisms of categories of schemes. Given two schemes S and S' , we prove that every equivalence between mathbf Sch S and mathbf Sch S' comes from a unique isomorphism between S and S' . This eliminates all Noetherian and finite type hypotheses from a result of Mochizuki and fully answers a programme set out by Brandenburg in a series of questions on MathOverflow in 2011.


Isolating Real Time Safety Critical Embedded Systems via SGX based Lightweight Virtualization. A promising approach for designing critical embedded systems is based on virtualization technologies and multi core platforms. These enable the deployment of both real time and general purpose systems with different criticalities in a single host. Integrating virtualization while also meeting the real time and isolation requirements is non trivial, and poses significant challenges especially in terms of certification. In recent years, researchers proposed hardware assisted solutions to face issues coming from virtualization, and recently the use of Operating System (OS) virtualization as a more lightweight approach. Industries are hampered in leveraging this latter type of virtualization despite the clear benefits it introduces, such as reduced overhead, higher scalability, and effortless certification since there is still lack of approaches to address drawbacks. In this position paper, we propose the usage of Intel's CPU security extension, namely SGX, to enable the adoption of enclaves based on unikernel, a flavor of OS level virtualization, in the context of real time systems. We present the advantages of leveraging both the SGX isolation and the unikernel features in order to meet the requirements of safety critical real time systems and ease the certification process.


On Blow up solutions to the nonlinear Schr "odinger equation in the exterior of a convex obstacle. In this paper, we consider the Schr "odinger equation with a mass supercritical focusing nonlinearity, in the exterior of a smooth, compact, convex obstacle of R d with Dirichlet boundary conditions. We prove that solutions with negative energy blow up in finite time. Assuming furthermore that the nonlinearity is energy subcritical, we also prove (under additional symmetry conditions) blow up with the same optimal ground state criterion than in the work of Holmer and Roudenko on R d . The classical proof of Glassey, based on the concavity of the variance, fails in the exterior of an obstacle because of the appearance of boundary terms with an unfavorable sign in the second derivative of the variance. The main idea of our proof is to introduce a new modified variance which is bounded from below and strictly concave for the solutions that we consider.


Distributed Kerr Nonlinearity in a Coherent All Optical Fiber Ring Reservoir Computer. We investigate, both numerically and experimentally, the usefulness of a distributed nonlinearity in a passive coherent photonic reservoir computer. This computing system is based on a passive coherent optical fiber ring cavity in which part of the nonlinearities are realized by the Kerr nonlinearity. Linear coherent reservoirs can solve difficult tasks but are aided by nonlinear components in their input or output layer. Here, we compare the impact of nonlinear transformations of information in the reservoir input layer, its bulk the fiber ring cavity and its readout layer. For the injection of data into the reservoir, we compare a linear input mapping to the nonlinear transfer function of a Mach Zehnder modulator. For the reservoir bulk, we quantify the impact of the optical Kerr effect. For the readout layer we compare a linear output to a quadratic output implemented by a photodiode. We find that optical nonlinearities in the reservoir itself, such as the optical Kerr nonlinearity studied in the present work, enhance the task solving capability of the reservoir. This suggests that such nonlinearities will play a key role in future coherent all optical reservoir computers.


Optimal Generation and Transmission Expansion Planning Addressing Short Term Constraints with Co optimization of Energy and Reserves. The penetration of variable renewable energy (VRE) in electrical systems has changed the way the expansion planning is treated. This kind of resource has great variability in small amounts of time, which makes it important to represent hourly constraints that require chronology. Besides that, the generation reserves should also be adjusted in order to capture the intermittent effect, and since many countries use rapid thermal plants as part of these reserves, unit commitment and ramp constraint have also become more significant. In this paper, we propose a MILP expansion planning model that can represent hourly time steps while maintaining reasonable computational times, where both investment and operation problems are simultaneously solved. Because the planning horizons are long (decades), the resolution of the entire horizon in a single optimization problem would be computationally infeasible for large real systems, making it necessary, therefore, to apply a horizon decomposition heuristic in smaller sub horizons, and use the representation of typical days and seasons to reduces the size of the problem.


Deep Collaborative Filtering with Multi Aspect Information in Heterogeneous Networks. Recently, recommender systems play a pivotal role in alleviating the problem of information overload. Latent factor models have been widely used for recommendation. Most existing latent factor models mainly utilize the interaction information between users and items, although some recently extended models utilize some auxiliary information to learn a unified latent factor for users and items. The unified latent factor only represents the characteristics of users and the properties of items from the aspect of purchase history. However, the characteristics of users and the properties of items may stem from different aspects, e.g., the brand aspect and category aspect of items. Moreover, the latent factor models usually use the shallow projection, which cannot capture the characteristics of users and items well. In this paper, we propose a Neural network based Aspect level Collaborative Filtering model (NeuACF) to exploit different aspect latent factors. Through modelling the rich object properties and relations in recommender system as a heterogeneous information network, NeuACF first extracts different aspect level similarity matrices of users and items respectively through different meta paths, and then feeds an elaborately designed deep neural network with these matrices to learn aspect level latent factors. Finally, the aspect level latent factors are fused for the top N recommendation. Moreover, to fuse information from different aspects more effectively, we further propose NeuACF to fuse aspect level latent factors with self attention mechanism. Extensive experiments on three real world datasets show that NeuACF and NeuACF significantly outperform both existing latent factor models and recent neural network models.


Lagrangian tens of planes, Enriques surfaces and holomorphic symplectic fourfolds. The Fano models of Enriques surfaces produce a family of tens of mutually intersecting planes in mathbf P 5 with a 10 dimensional moduli space. The latter is linked to several 10 dimensional moduli spaces parametrizing other types of objects a) cubic fourfolds containing the tens of planes, b) Beauville Donagi holomorphically symplectic fourfolds, and c) double EPW sextics. The varieties in b) parametrize lines on cubic fourfolds from a). The double EPW sextics are associated, via O'Grady's construction, to Lagrangian subspaces of the Pl "ucker space of the Grassmannian Gr(2, mathbf P 5) spanned by 10 mutually intersecting planes in mathbf P 5 . These links imply the irreducibility of the moduli space of supermarked Enriques surfaces, where a supermarking is a choice of a minimal generating system of the Picard group of the surface. Also some results are obtained on the variety of tens of mutually intersecting planes, not necessarily associated to Fano models of Enriques surfaces.


StreamFlow cross breeding cloud with HPC. Workflows are among the most commonly used tools in a variety of execution environments. Many of them target a specific environment few of them make it possible to execute an entire workflow in different environments, e.g. Kubernetes and batch clusters. We present a novel approach to workflow execution, called StreamFlow, that complements the workflow graph with the declarative description of potentially complex execution environments, and that makes it possible the execution onto multiple sites not sharing a common data space. StreamFlow is then exemplified on a novel bioinformatics pipeline for single cell transcriptomic data analysis workflow.


On the joint distribution of cyclic valleys and excedances over conjugacy classes of mathfrak S n . We derive a formula expressing the joint distribution of the cyclic valley number and excedance number statistics over a fixed conjugacy class of the symmetric group in terms of Eulerian polynomials. Our proof uses a slight extension of Sun and Wang's cyclic valley hopping action as well as a formula of Brenti. Along the way, we give a new proof for the gamma positivity of the excedance number distribution over any fixed conjugacy class along with a combinatorial interpretation of the gamma coefficients.


A Neural Topic Attention Model for Medical Term Abbreviation Disambiguation. Automated analysis of clinical notes is attracting increasing attention. However, there has not been much work on medical term abbreviation disambiguation. Such abbreviations are abundant, and highly ambiguous, in clinical documents. One of the main obstacles is the lack of large scale, balance labeled data sets. To address the issue, we propose a few shot learning approach to take advantage of limited labeled data. Specifically, a neural topic attention model is applied to learn improved contextualized sentence representations for medical term abbreviation disambiguation. Another vital issue is that the existing scarce annotations are noisy and missing. We re examine and correct an existing dataset for training and collect a test set to evaluate the models fairly especially for rare senses. We train our model on the training set which contains 30 abbreviation terms as categories (on average, 479 samples and 3.24 classes in each term) selected from a public abbreviation disambiguation dataset, and then test on a manually created balanced dataset (each class in each term has 15 samples). We show that enhancing the sentence representation with topic information improves the performance on small scale unbalanced training datasets by a large margin, compared to a number of baseline models.


Reusing Discriminators for Encoding Towards Unsupervised Image to Image Translation. Unsupervised image to image translation is a central task in computer vision. Current translation frameworks will abandon the discriminator once the training process is completed. This paper contends a novel role of the discriminator by reusing it for encoding the images of the target domain. The proposed architecture, termed as NICE GAN, exhibits two advantageous patterns over previous approaches First, it is more compact since no independent encoding component is required Second, this plug in encoder is directly trained by the adversary loss, making it more informative and trained more effectively if a multi scale discriminator is applied. The main issue in NICE GAN is the coupling of translation with discrimination along the encoder, which could incur training inconsistency when we play the min max game via GAN. To tackle this issue, we develop a decoupled training strategy by which the encoder is only trained when maximizing the adversary loss while keeping frozen otherwise. Extensive experiments on four popular benchmarks demonstrate the superior performance of NICE GAN over state of the art methods in terms of FID, KID, and also human preference. Comprehensive ablation studies are also carried out to isolate the validity of each proposed component. Our codes are available at https github.com alpc91 NICE GAN pytorch.


Enhancing Python Compiler Error Messages via Stack Overflow. Background Compilers tend to produce cryptic and uninformative error messages, leaving programmers confused and requiring them to spend precious time to resolve the underlying error. To find help, programmers often take to online question and answer forums such as Stack Overflow to start discussion threads about the errors they encountered. Aims We conjecture that information from Stack Overflow threads which discuss compiler errors can be automatically collected and repackaged to provide programmers with enhanced compiler error messages, thus saving programmers' time and energy. Method We present Pycee, a plugin integrated with the popular Sublime Text IDE to provide enhanced compiler error messages for the Python programming language. Pycee automatically queries Stack Overflow to provide customised and summarised information within the IDE. We evaluated two Pycee variants through a think aloud user study during which 16 programmers completed Python programming tasks while using Pycee. Results The majority of participants agreed that Pycee was helpful while completing the study tasks. When compared to a baseline relying on the official Python documentation to enhance compiler error messages, participants generally preferred Pycee in terms of helpfulness, citing concrete suggestions for fixes and example code as major benefits. Conclusions Our results confirm that data from online sources such as Stack Overflow can be successfully used to automatically enhance compiler error messages. Our work opens up venues for future work to further enhance compiler error messages as well as to automatically reuse content from Stack Overflow for other aspects of programming.


Equivalence Relations for Computing Permutation Polynomials. We present a new technique for computing permutation polynomials based on equivalence relations. The equivalence relations are defined by expanded normalization operations and new functions that map permutation polynomials (PPs) to other PPs. Our expanded normalization applies to almost all PPs, including when the characteristic of the finite field divides the degree of the polynomial. The equivalence relations make it possible to reduce the size of the space, when doing an exhaustive search. As a result, we have been able to compute almost all permutation polynomials of degree d at most 10 over GF(q) , where q is at most 97. We have also been able to compute nPPs of degrees 11 and 12 in a few cases. The techniques apply to arbitrary q and d . In addition, the equivalence relations allow the set all PPs for a given degree and a given field GF(q) to be succinctly described by their representative nPPs. We give several tables at the end of the paper listing the representative nPPs ( ie the equivalence classes) for several values of q and d . We also give several new lower bounds for M(n,D) , the maximum number of permutations on n symbols with pairwise Hamming distance D , mostly derived from our results on PPs.


Openness of K semistability for Fano varieties. In this paper, we prove the openness of K semistability in families of log Fano pairs by showing that the stability threshold is a constructible function on the fibers. We also prove that any special test configuration arises from a log canonical place of a bounded complement and establish properties of any minimizer of the stability threshold.


LiSSS A toy corpus of Spanish Literary Sentences for Emotions detection. In this work we present a new small data set in Computational Creativity (CC) field, the Spanish Literary Sentences for emotions detection corpus (LISSS). We address this corpus of literary sentences in order to evaluate or design algorithms of emotions classification and detection. We have constitute this corpus by manually classifying the sentences in a set of emotions Love, Fear, Happiness, Anger and Sadness Pain. We also present some baseline classification algorithms applied on our corpus. The LISSS corpus will be available to the community as a free resource to evaluate or create CC like algorithms.


ASMFS Adaptive Similarity based Multi modality Feature Selection for Classification of Alzheimer's Disease. With the increasing amounts of high dimensional heterogeneous data to be processed, multi modality feature selection has become an important research direction in medical image analysis. Traditional methods usually depict the data structure using fixed and predefined similarity matrix for each modality separately, without considering the potential relationship structure across different modalities. In this paper, we propose a novel multi modality feature selection method, which performs feature selection and local similarity learning simultaniously. Specially, a similarity matrix is learned by jointly considering different imaging modalities. And at the same time, feature selection is conducted by imposing sparse l 2, 1 norm constraint. The effectiveness of our proposed joint learning method can be well demonstrated by the experimental results on Alzheimer's Disease Neuroimaging Initiative (ADNI) dataset, which outperforms existing the state of the art multi modality approaches.


Online Convex Optimization Perspective for Learning from Dynamically Revealed Preferences. We study the problem of online learning (OL) from revealed preferences a learner wishes to learn a non strategic agent's private utility function through observing the agent's utility maximizing actions in a changing environment. We adopt an online inverse optimization setup, where the learner observes a stream of agent's actions in an online fashion and the learning performance is measured by regret associated with a loss function. We first characterize a special but broad class of agent's utility functions, then utilize this structure in designing a new convex loss function. We establish that the regret with respect to our new loss function also bounds the regret with respect to all other usual loss functions in the literature. This allows us to design a flexible OL framework that enables a unified treatment of loss functions and supports a variety of online convex optimization algorithms. We demonstrate with theoretical and empirical evidence that our framework based on the new loss function (in particular online Mirror Descent) has significant advantages in terms of regret performance and solution time over other OL algorithms from the literature and bypasses the previous technical assumptions as well.


Graph Pattern Entity Ranking Model for Knowledge Graph Completion. Knowledge graphs have evolved rapidly in recent years and their usefulness has been demonstrated in many artificial intelligence tasks. However, knowledge graphs often have lots of missing facts. To solve this problem, many knowledge graph embedding models have been developed to populate knowledge graphs and these have shown outstanding performance. However, knowledge graph embedding models are so called black boxes, and the user does not know how the information in a knowledge graph is processed and the models can be difficult to interpret. In this paper, we utilize graph patterns in a knowledge graph to overcome such problems. Our proposed model, the it graph pattern entity ranking model (GRank), constructs an entity ranking system for each graph pattern and evaluates them using a ranking measure. By doing so, we can find graph patterns which are useful for predicting facts. Then, we perform link prediction tasks on standard datasets to evaluate our GRank method. We show that our approach outperforms other state of the art approaches such as ComplEx and TorusE for standard metrics such as HITS it n and MRR. Moreover, our model is easily interpretable because the output facts are described by graph patterns.


Scale Space Splatting Reforming Spacetime for the Cross Scale Exploration of Integral Measures in Molecular Dynamics. Understanding large amounts of spatiotemporal data from particle based simulations, such as molecular dynamics, often relies on the computation and analysis of aggregate measures. These, however, by virtue of aggregation, hide structural information about the space time localization of the studied phenomena. This leads to degenerate cases where the measures fail to capture distinct behaviour. In order to drill into these aggregate values, we propose a multi scale visual exploration technique. Our novel representation, based on partial domain aggregation, enables the construction of a continuous scale space for discrete datasets and the simultaneous exploration of scales in both space and time. We link these two scale spaces in a scale space space time cube and model linked views as orthogonal slices through this cube, thus enabling the rapid identification of spatio temporal patterns at multiple scales. To demonstrate the effectiveness of our approach, we showcase an advanced exploration of a protein ligand simulation.


On uniqueness of dissipative solutions to the isentropic Euler system. The dissipative solutions can be seen as a convenient generalization of the concept of weak solution to the isentropic Euler system. They can be seen as expectations of the Young measures associated to a suitable measure valued solution of the problem. We show that dissipative solutions coincide with weak solutions starting from the same initial data on condition that bf (i) the weak solution enjoys certain Besov regularity bf (ii) the symmetric velocity gradient of the weak solution satisfies a one sided Lipschitz bound.


Improved Coding over Sets for DNA Based Data Storage. Error correcting codes over sets, with applications to DNA storage, are studied. The DNA storage channel receives a set of sequences, and produces a corrupted version of the set, including sequence loss, symbol substitution, symbol insertion deletion, and limited magnitude errors in symbols. Various parameter regimes are studied. New bounds on code parameters are provided, which improve upon known bounds. New codes are constructed, at times matching the bounds up to lower or der terms or small constant factors.


BAlN alloy for enhanced two dimensional electron gas characteristics of GaN based high electron mobility transistor. The emerging wide bandgap BAlN alloys have potentials for improved III nitride power devices including high electron mobility transistor (HEMT). Yet few relevant studies have been carried. In this work, we have investigated the use of the B0.14Al0.86N alloy as part or entirety of the interlayer between the GaN buffer and the AlGaN barrier in the conventional GaN based high electron mobility transistor (HEMT). The numerical results show considerable improvement of the two dimensional electron gas (2DEG) concentration with small 2DEG leakage into the ternary layer by replacing the conventional AlN interlayer by either the B0.14Al0.86N interlayer or the B0.14Al0.86N AlN hybrid interlayer. Consequently, the transfer characteristics can be improved. The saturation current can be enhanced as well. For instance, the saturation currents for HEMTs with the 0.5 nm B0.14Al0.86N 0.5 nm AlN hybrid interlayer and the 1 nm B0.14Al0.86N interlayer are 5.8 and 2.2 higher than that for the AlN interlayer when VGS Vth 3 V.


Scheduling with a processing time oracle. In this paper we study a single machine scheduling problem with the objective of minimizing the sum of completion times. Each of the given jobs is either short or long. However the processing times are initially hidden to the algorithm, but can be tested. This is done by executing a processing time oracle, which reveals the processing time of a given job. Each test occupies a time unit in the schedule, therefore the algorithm must decide for which jobs it will call the processing time oracle. The objective value of the resulting schedule is compared with the objective value of an optimal schedule, which is computed using full information. The resulting competitive ratio measures the price of hidden processing times, and the goal is to design an algorithm with minimal competitive ratio. Two models are studied in this paper. In the non adaptive model, the algorithm needs to decide beforehand which jobs to test, and which jobs to execute untested. However in the adaptive model, the algorithm can make these decisions adaptively depending on the outcomes of the job tests. In both models we provide optimal polynomial time algorithms following a two phase strategy, which consist of a first phase where jobs are tested, and a second phase where jobs are executed obliviously. Experiments give strong evidence that optimal algorithms have this structure. Proving this property is left as an open problem.


TextSR Content Aware Text Super Resolution Guided by Recognition. Scene text recognition has witnessed rapid development with the advance of convolutional neural networks. Nonetheless, most of the previous methods may not work well in recognizing text with low resolution which is often seen in natural scene images. An intuitive solution is to introduce super resolution techniques as pre processing. However, conventional super resolution methods in the literature mainly focus on reconstructing the detailed texture of natural images, which typically do not work well for text due to the unique characteristics of text. To tackle these problems, in this work, we propose a content aware text super resolution network to generate the information desired for text recognition. In particular, we design an end to end network that can perform super resolution and text recognition simultaneously. Different from previous super resolution methods, we use the loss of text recognition as the Text Perceptual Loss to guide the training of the super resolution network, and thus it pays more attention to the text content, rather than the irrelevant background area. Extensive experiments on several challenging benchmarks demonstrate the effectiveness of our proposed method in restoring a sharp high resolution image from a small blurred one, and show that the recognition performance clearly boosts up the performance of text recognizer. To our knowledge, this is the first work focusing on text super resolution. Code will be released in https github.com xieenze TextSR.


A modified proof for Higman's embedding theorem. We suggest a modified and briefer version for the proof of Higman's embedding theorem stating that a finitely generated group can be embedded in a finitely presented group if and only if it is recursively presented. In particular, we shorten the main part of original proof establishing characterization of recursive relations in terms of benign subgroups in free groups. Also, some technical lemmas on homomorphisms are replaced by simple combinatorial observations on words in free constructions.


Minimum degree conditions for the existence of cycles of all lengths modulo k in graphs. Thomassen, in 1983, conjectured that for a positive integer k , every 2 connected non bipartite graph of minimum degree at least k 1 contains cycles of all lengths modulo k . In this paper, we settle this conjecture affirmatively.


Going Deeper With Directly Trained Larger Spiking Neural Networks. Spiking neural networks (SNNs) are promising in a bio plausible coding for spatio temporal information and event driven signal processing, which is very suited for energy efficient implementation in neuromorphic hardware. However, the unique working mode of SNNs makes them more difficult to train than traditional networks. Currently, there are two main routes to explore the training of deep SNNs with high performance. The first is to convert a pre trained ANN model to its SNN version, which usually requires a long coding window for convergence and cannot exploit the spatio temporal features during training for solving temporal tasks. The other is to directly train SNNs in the spatio temporal domain. But due to the binary spike activity of the firing function and the problem of gradient vanishing or explosion, current methods are restricted to shallow architectures and thereby difficult in harnessing large scale datasets (e.g. ImageNet). To this end, we propose a threshold dependent batch normalization (tdBN) method based on the emerging spatio temporal backpropagation, termed "STBP tdBN", enabling direct training of a very deep SNN and the efficient implementation of its inference on neuromorphic hardware. With the proposed method and elaborated shortcut connection, we significantly extend directly trained SNNs from a shallow structure ( 10 layer) to a very deep structure (50 layers). Furthermore, we theoretically analyze the effectiveness of our method based on "Block Dynamical Isometry" theory. Finally, we report superior accuracy results including 93.15 on CIFAR 10, 67.8 on DVS CIFAR10, and 67.05 on ImageNet with very few timesteps. To our best knowledge, it's the first time to explore the directly trained deep SNNs with high performance on ImageNet.


Density of the signature process of fBm. We study the density of the signature of fractional Brownian motions with parameter H 1 4 . In particular, we prove existence, smoothness, global Gaussian upper bounds and Varadhan's type asymptotics for this density. A key result is that the estimates on the density we obtain are controlled by the Carnot Carath 'eodory distance of the group.


Keywords lie far from the mean of all words in local vector space. Keyword extraction is an important document process that aims at finding a small set of terms that concisely describe a document's topics. The most popular state of the art unsupervised approaches belong to the family of the graph based methods that build a graph of words and use various centrality measures to score the nodes (candidate keywords). In this work, we follow a different path to detect the keywords from a text document by modeling the main distribution of the document's words using local word vector representations. Then, we rank the candidates based on their position in the text and the distance between the corresponding local vectors and the main distribution's center. We confirm the high performance of our approach compared to strong baselines and state of the art unsupervised keyword extraction methods, through an extended experimental study, investigating the properties of the local representations.


A new proof of a classical result on the topology of orientable connected and compact surfaces by means of the Bochner technique. As an application of the Bochner formula, we prove that if a 2 dimensional Riemannian manifold admits a non trivial smooth tangent vector field X then its Gauss curvature is the divergence of a tangent vector field, constructed from X , defined on the open subset out the zeroes of X . Thanks to the Whitney embedding theorem and a standard approximation procedure, as a consequence, we give a new proof of the following well known fact if on an orientable, connected and compact 2 dimensional smooth manifold there exists a continuous tangent vector field with no zeroes, then the manifold is diffeomorphic (or equivalently homeomorphic) to a torus.


Invariant Integrals on Topological Groups. We generalize the fixed point property for discrete groups acting on convex cones given by Monod in cite monod to topological groups. At first, we focus on describing this fixed point property from a functional point of view, and then we look at the class of groups that have it. Finally, we go through some applications of this fixed point property. To accomplish these tasks, we introduce a new class of normed Riesz spaces that depend on group representation.


Long Lived LoRa Prolonging the Lifetime of a LoRa Network. Prolonging the network lifetime is a major consideration in many Internet of Things applications. In this paper, we study maximizing the network lifetime of an energy harvesting LoRa network. Such a network is characterized by heterogeneous recharging capabilities across the nodes that is not taken into account in existing work. We propose a link layer protocol to achieve a long lived LoRa network which dynamically enables the nodes with depleting batteries to exploit the superfluous energy of the neighboring nodes with affluent batteries by letting a depleting node offload its packets to an affluent node. By exploiting the LoRa's capability of adjusting multiple transmission parameters, we enable low cost offloading by depleting nodes instead of high cost direct forwarding. Such offloading requires synchronization of wake up times as well as transmission parameters between the two nodes which also need to be selected dynamically. The proposed protocol addresses these challenges and prolongs the lifetime of a LoRa network through three novel techniques. (1) We propose a lightweight medium access control protocol for peer to peer communication to enable packet offloading which circumvents the synchronization overhead between the two nodes. (2) We propose an intuitive heuristic method for effective parameter selections for different modes (conventional vs. offloading). (3) We analyze the energy overhead of offloading and, based on it, the protocol dynamically selects affluent and depleting nodes while ensuring that an affluent node is not overwhelmed by the depleting ones. Simulations in NS 3 as well as real experiments show that our protocol can increase the network lifetime up to 4 times while maintaining the same throughput compared to traditional LoRa network.


Efficiently Estimating Erdos Renyi Graphs with Node Differential Privacy. We give a simple, computationally efficient, and node differentially private algorithm for estimating the parameter of an Erdos Renyi graph that is, estimating p in a G(n,p) with near optimal accuracy. Our algorithm nearly matches the information theoretically optimal exponential time algorithm for the same problem due to Borgs et al. (FOCS 2018). More generally, we give an optimal, computationally efficient, private algorithm for estimating the edge density of any graph whose degree distribution is concentrated on a small interval.


An adaptive central upwind scheme on quadtree grids for variable density shallow water equations. Minimizing computational cost is one of the major challenges in the modelling and numerical analysis of hydrodynamics, and one of the ways to achieve this is by the use of quadtree grids. In this paper, we present an adaptive scheme on quadtree grids for variable density shallow water equations. A scheme for the coupled system is developed based on the well balanced positivity preserving central upwind scheme proposed in 18 . The scheme is capable of exactly preserving "lake at rest" steady states. A continuous piecewise bi linear interpolation of the bottom topography function is used to achieve higher order in space in order to preserve the positivity of water depth for the point values of each computational cell. Necessary conditions are checked to be able to preserve the positivity of water depth and density, and to ensure the achievement of a stable numerical scheme. At each timestep, local gradients are examined to find new seeding points to locally refine coarsen the computational grid.


Blockchain of Things (BCoT) The Fusion of Blockchain and IoT Technologies. Blockchain, as well as Internet of Things (IoT), is considered as two major disruptive emerging technologies. However, both of them suffer from innate technological limitations to some extent. IoT requires strengthening its security features while Blockchain inherently possesses them due to its extensive use of cryptographic mechanisms and Blockchain, in an inverted manner, needs contributions from the distributed nodes for its P2P (Peer to Peer) consensus model while IoT rudimentarily embodies them within its architecture. This chapter, therefore, acutely dissects the viability, along with prospective challenges, of incorporating Blockchain with IoT technologies,inducing the notion of Blockchain of Things (BCoT), as well as the benefits such consolidation can offer.


Minimality of the ball for a model of charged liquid droplets. We deduce that charged liquid droplets minimizing Debye H "uckel type free energy are spherical in the small charge regime. The variational model was proposed by Muratov and Novaga in 2016 to avoid the ill posedness of the classical one. By combining a recent (partial) regularity result with Selection Principle of Cicalese and Leonardi, we prove that the ball is the unique minimizer in the small charge regime.


MathQA Towards Interpretable Math Word Problem Solving with Operation Based Formalisms. We introduce a large scale dataset of math word problems and an interpretable neural math problem solver that learns to map problems to operation programs. Due to annotation challenges, current datasets in this domain have been either relatively small in scale or did not offer precise operational annotations over diverse problem types. We introduce a new representation language to model precise operation programs corresponding to each math problem that aim to improve both the performance and the interpretability of the learned models. Using this representation language, our new dataset, MathQA, significantly enhances the AQuA dataset with fully specified operational programs. We additionally introduce a neural sequence to program model enhanced with automatic problem categorization. Our experiments show improvements over competitive baselines in our MathQA as well as the AQuA dataset. The results are still significantly lower than human performance indicating that the dataset poses new challenges for future research. Our dataset is available at https math qa.github.io math QA


Crown structured optical harmonics. At levels of laser intensity below threshold for multiphoton ionization, the parametric generation of optical harmonics in gases and other isotropic media is subject to selection rules with origins in angular momentum conservation. The recently developed optics of vector polarization modes provides an unprecedented opportunity to exploit these principles in the production of high harmonic beams with distinctive forms of transverse intensity profile, comprising discrete sub wavelength filaments in crown like arrays. A detailed analysis of the fundamental electrodynamics elicits the mechanism, and delivers results illustrating the transverse structures and spatial dimensions of harmonic output that can be achieved.


A Projective Representation of the Modular Group. Quantum Teichmuller theory assigns invariants to three manifolds via projective representations of mapping class groups derived from the representation of a noncommutative torus. Here, we focus on a representation of the simplest non commutative torus which remains fixed by all elements of the mapping class group of the torus, SL 2( mathbb Z ) . Also known as the modular group. We use this representation to associate a matrix to each element of SL 2( mathbb Z ) we then compute the trace and determinant of the associated matrix.


Approximate bi criteria search by efficient representation of subsets of the Pareto optimal frontier. We consider the bi criteria shortest path problem where we want to compute shortest paths on a graph that simultaneously balance two cost functions. While this problem has numerous applications, there is usually no path minimizing both cost functions simultaneously. Thus, we typically consider the set of paths where no path is strictly better then the others in both cost functions, a set called the Pareto optimal frontier. Unfortunately, the size of this set may be exponential in the number of graph vertices and the general problem is NP hard. While existing schemes to approximate this set exist, they may be slower than exact approaches when applied to relatively small instances and running them on graphs with even a moderate number of nodes is often impractical. The crux of the problem lies in how to efficiently approximate the Pareto optimal frontier. Our key insight is that the Pareto optimal frontier can be approximated using pairs of paths. This simple observation allows us to run a best first search while efficiently and effectively pruning away intermediate solutions in order to obtain an approximation of the Pareto frontier for any given approximation factor. We compared our approach with an adaptation of BOA , the state of the art algorithm for computing exact solutions to the bi criteria shortest path problem. Our experiments show that as the problem becomes harder, the speedup obtained becomes more pronounced. Specifically, on large roadmaps, we obtain an average speedup of more than times 8.5 and a maximal speedup of over times 148 .


What is the Minimal Systemic Risk in Financial Exposure Networks?. Management of systemic risk in financial markets is traditionally associated with setting (higher) capital requirements for market participants. There are indications that while equity ratios have been increased massively since the financial crisis, systemic risk levels might not have lowered, but even increased. It has been shown that systemic risk is to a large extent related to the underlying network topology of financial exposures. A natural question arising is how much systemic risk can be eliminated by optimally rearranging these networks and without increasing capital requirements. Overlapping portfolios with minimized systemic risk which provide the same market functionality as empirical ones have been studied by pichler2018 . Here we propose a similar method for direct exposure networks, and apply it to cross sectional interbank loan networks, consisting of 10 quarterly observations of the Austrian interbank market. We show that the suggested framework rearranges the network topology, such that systemic risk is reduced by a factor of approximately 3.5, and leaves the relevant economic features of the optimized network and its agents unchanged. The presented optimization procedure is not intended to actually re configure interbank markets, but to demonstrate the huge potential for systemic risk management through rearranging exposure networks, in contrast to increasing capital requirements that were shown to have only marginal effects on systemic risk poledna2017 . Ways to actually incentivize a self organized formation toward optimal network configurations were introduced in thurner2013 and poledna2016 . For regulatory policies concerning financial market stability the knowledge of minimal systemic risk for a given economic environment can serve as a benchmark for monitoring actual systemic risk in markets.


Algebraic and Giroux torsion in higher dimensional contact manifolds. We construct examples in any odd dimension of contact manifolds with finite and non zero algebraic torsion (in the sense of Latschev Wendl), which are therefore tight and do not admit strong symplectic fillings. We prove that Giroux torsion implies algebraic 1 torsion in any odd dimension, which proves a conjecture by Massot Niederkrueger Wendl. These results are part of the author's PhD thesis.


The Integrated Vehicle and Pollster Routing Problem. The National Statistics Bureau of Ecuador carries out monthly polls to monitor the evolution of an economic indicator called "Consumer Price Index", which measures the consumer prices of basic commodities. A set of stores is selected to apply these polls. Further, a set of vehicles transports pollsters from the headquarters of the bureau to the stores to perform this activity. Moreover, pollsters move between stores using pedestrian paths or using a vehicle to shorten the travel time. This paper introduces the Integrated Vehicle and Pollster Routing Problem alongside an integer program to model the integrated task of scheduling visits of pollsters to selected stores, as well as routing the vehicle fleet used to transport them. Results on the computational complexity of the aforementioned problem, a three phase algorithm, and computational experience based on real world instances are provided.


Every Action Based Sensor. In studying robots and planning problems, a basic question is what is the minimal information a robot must obtain to guarantee task completion. Erdmann's theory of action based sensors is a classical approach to characterizing fundamental information requirements. That approach uses a plan to derive a type of virtual sensor which prescribes actions that make progress toward a goal. We show that the established theory is incomplete the previous method for obtaining such sensors, using backchained plans, overlooks some sensors. Furthermore, there are plans, that are guaranteed to achieve goals, where the existing methods are unable to provide any action based sensor. We identify the underlying feature common to all such plans. Then, we show how to produce action based sensors even for plans where the existing treatment is inadequate, although for these cases they have no single canonical sensor. Consequently, the approach is generalized to produce sets of sensors. Finally, we show also that this is a complete characterization of action based sensors for planning problems and discuss how an action based sensor translates into the traditional conception of a sensor.


Interaction between Surface Waves on Wire Lines. This paper investigates the coupling properties between surface waves on parallel wires. Finite Element Method (FEM) based and analytical models are developed for both single wire Sommerfeld and Goubau lines. Starting with the Sommerfeld type wave, we derive the analytical expression based on the assumption that the two wire surface wave is a superposition of the two surface waves on the individual wires. Models are validated via measurements and a comparison study conducted between the analytic and the FEM based computations for coupled Sommerfeld type lines. We then investigate the coupling between two Goubau lines with the FEM model. The measurement and calculations show remarkable agreement. The FEM based and the analytical models match remarkably well too. The results exhibit new properties of favourable effects on surface waves propagation over multiple conductors. The short range behaviour of the coupled wires and consequently the existence of an optimum separation of coupled wires, is one of the most significant findings of this paper. We comment on the relevance of our results especially in relation to applications of high bandwidth demands and immanent cross coupling effects.


Unilateral weighted shifts on ell 2 . Given a unilateral shift B w (determined by a bounded sequence w ), a sequence x in ell 2 is "hypercyclic" for w iff the forward iterates of x under B w are dense in ell 2 . We show that it is possible to make the set of x in ell 2 which are simultaneously hypercyclic for all w in a fixed W subseteq ell infty arbitrarily complicated by choosing W appropriately.


On solutions related to FitzHugh Rinzel type model. A ternary autonomous dynamical system of FitzHugh Rinzel type is analyzed. The system, at start, is reduced to a nonlinear integro differential equation. The fundamental solution H(x,t) is explicitly determined and the initial value problem is analyzed in the whole space. The solution is expressed by means of an integral equation involving H(x,t) . Moreover, adding an extra control term, explicit solutions are achieved.


Shape optimization for superconductors governed by H(curl) elliptic variational inequalities. This paper is devoted to the theoretical and numerical study of an optimal design problem in high temperature superconductivity (HTS). The shape optimization problem is to find an optimal superconductor shape which minimizes a certain cost functional under a given target on the electric field over a specific domain of interest. For the governing PDE model, we consider an elliptic curl curl variational inequality (VI) of the second kind with an L1 type nonlinearity. In particular, the non smooth VI character and the involved H(curl) structure make the corresponding shape sensitivity analysis challenging. To tackle the non smoothness, a penalized dual VI formulation is proposed, leading to the G a teaux differentiability of the corresponding dual variable mapping. This property allows us to derive the distributed shape derivative of the cost functional through rigorous shape calculus on the basis of the averaged adjoint method. The developed shape derivative turns out to be uniformly stable with respect to the penalization parameter, and strong convergence of the penalized problem is guaranteed. Based on the achieved theoretical findings, we propose 3D numerical solutions, realized using a level set algorithm and a Newton method with the Nedelec edge element discretization. Numerical results indicate a favourable and efficient performance of the proposed approach for a specific HTS application in superconducting shielding.


The Optimal Gradient Estimates for Perfect Conductivity Problem with C 1, alpha inclusions. In high contrast composite materials, the electric field concentration is a common phenomenon when two inclusions are close to touch. It is important from an engineering point of view to study the dependence of the electric field on the distance between two adjacent inclusions. In this paper, we derive the upper and lower bounds of the gradient of solutions to the conductivity problem where two perfectly conducting inclusions are located very close to each other. To be specific, we extend the known results of Bao Li Yin (ARMA 2009) in two folds First, we weaken the smoothness of the inclusions from C 2, alpha to C 1, alpha . To obtain an pointwise upper bound of the gradient, we follow an iteration technique developed by Bao Li Li (ARMA 2015), who mainly deal with the system of linear elasticity. However, when the inclusions are of C 1, alpha , we can not use W 2,p estimates for elliptic equations any more. In order to overcome this new difficulty, we take advantage of De Giorgi Nash estimates and Campanato's approach to apply an adapted version of the iteration technique with respect to the energy. A lower bound in the shortest line between two inclusions is also obtained to show the optimality of the blow up rate. Second, when two inclusions are only convex but not strictly convex, we prove that blow up does not occur any more. Moreover, the establishment of the relationship between the blow up rate of the gradient and the order of the convexity of the inclusions reveals the mechanism of such concentration phenomenon.


Robust Neural Machine Translation with Doubly Adversarial Inputs. Neural machine translation (NMT) often suffers from the vulnerability to noisy perturbations in the input. We propose an approach to improving the robustness of NMT models, which consists of two parts (1) attack the translation model with adversarial source examples (2) defend the translation model with adversarial target inputs to improve its robustness against the adversarial source inputs.For the generation of adversarial inputs, we propose a gradient based method to craft adversarial examples informed by the translation loss over the clean inputs.Experimental results on Chinese English and English German translation tasks demonstrate that our approach achieves significant improvements ( 2.8 and 1.6 BLEU points) over Transformer on standard clean benchmarks as well as exhibiting higher robustness on noisy data.


Three Affine SL(2,8) Unitals. operatorname SL (2,q) unitals are unitals of order q admitting a regular action of operatorname SL (2,q) on the complement of some block. We introduce three non classical affine operatorname SL (2,8) unitals and their full automorphism groups. Each of those three affine unitals can be completed to at least two non isomorphic unitals, leading to six pairwise non isomorphic unitals of order 8 .


Password authenticated Decentralized Identities. Password authenticated identities, where users establish username password pairs with individual servers and use them later on for authentication, is the most widespread user authentication method over the Internet. Although they are simple, user friendly, and broadly adopted, they offer insecure authentication and position server operators as trusted parties, giving them full control over users' identities. To mitigate these limitations, many identity systems have embraced public key cryptography and the concept of decentralization. All these systems, however, require users to create and manage public private keypairs. Unfortunately, users usually do not have the required knowledge and resources to properly handle their cryptographic secrets, which arguably contributed to failures of many end user focused public key infrastructures (PKIs). In fact, as for today, no end user PKI, able to authenticate users to web servers, has a significant adoption rate. In this paper, we propose Password authenticated Decentralized Identities (PDIDs), an identity and authentication framework where users can register their self sovereign username password pairs and use them as universal credentials. Our system provides global namespace, human meaningful usernames, and resilience against username collision attacks. A user's identity can be used to authenticate the user to any server without revealing that server anything about the password, such that no offline dictionary attacks are possible against the password. We analyze PDIDs and implement it using existing infrastructures and tools. We report on our implementation and evaluation.


On the Observability of Attitude with Single Direction Measurements. The attitude of a rigid body evolves on the three dimensional special orthogonal group, and it is often estimated by measuring reference directions, such as gravity or magnetic field, using an onboard sensor. As a single direction measurement provides a two dimensional constraint, it has been widely accepted that at least two non parallel reference directions should be measured, or the reference direction should change over time, to determine the attitude completely. This paper uncovers an intriguing fact that the attitude can actually be estimated by using multiple measurements of a single, fixed reference direction, provided that the angular velocity and the direction measurements are resolved in appropriate frames, respectively. More specifically, after recognizing that the attitude uncertainties propagated over the left trivialized stochastic kinematics are distinct from those over the right trivialized one, stochastic attitude observability with single direction measurements is formulated by an information theoretic analysis. These are further illustrated by numerical simulations and experiments.


Visual Hide and Seek. We train embodied agents to play Visual Hide and Seek where a prey must navigate in a simulated environment in order to avoid capture from a predator. We place a variety of obstacles in the environment for the prey to hide behind, and we only give the agents partial observations of their environment using an egocentric perspective. Although we train the model to play this game from scratch, experiments and visualizations suggest that the agent learns to predict its own visibility in the environment. Furthermore, we quantitatively analyze how agent weaknesses, such as slower speed, effect the learned policy. Our results suggest that, although agent weaknesses make the learning problem more challenging, they also cause more useful features to be learned. Our project website is available at http www.cs.columbia.edu bchen visualhideseek .


Self supervised Training of Proposal based Segmentation via Background Prediction. While supervised object detection methods achieve impressive accuracy, they generalize poorly to images whose appearance significantly differs from the data they have been trained on. To address this in scenarios where annotating data is prohibitively expensive, we introduce a self supervised approach to object detection and segmentation, able to work with monocular images captured with a moving camera. At the heart of our approach lies the observation that segmentation and background reconstruction are linked tasks, and the idea that, because we observe a structured scene, background regions can be re synthesized from their surroundings, whereas regions depicting the object cannot. We therefore encode this intuition as a self supervised loss function that we exploit to train a proposal based segmentation network. To account for the discrete nature of object proposals, we develop a Monte Carlo based training strategy that allows us to explore the large space of object proposals. Our experiments demonstrate that our approach yields accurate detections and segmentations in images that visually depart from those of standard benchmarks, outperforming existing self supervised methods and approaching weakly supervised ones that exploit large annotated datasets.


Matrix and tensor rigidity and L p approximation. In this paper we apply methods originated in Complexity theory to some problems of Approximation. We notice that the construction of Alman and Williams that disproves the rigidity of Walsh Hadamard matrices, provides good ell p approximation for p 2 . It follows that the first n functions of Walsh system can be approximated with an error n delta by a linear space of dimension n 1 delta d n 1 delta ( w 1, ldots,w n , L p 0,1 ) le n delta , quad p in 1,2), delta delta(p) 0. We do not know if this is possible for the trigonometric system. We show that the algebraic method of Alon Frankl R "odl for bounding the number of low signum rank matrices, works for tensors almost all signum tensors have large signum rank and can't be ell 1 approximated by low rank tensors. This implies lower bounds for Theta m the error of m term approximation of multivariate functions by sums of tensor products u 1(x 1) cdots u d(x d) . In particular, for the set of trigonometric polynomials with spectrum in prod j 1 d n j,n j and of norm t infty le 1 we have Theta m( mathcal T(n 1, ldots,n d) infty,L 1 pi, pi d) ge c 1(d) 0, quad m le c 2(d) frac prod n j max n j . Sharp bounds follow for classes of dominated mixed smoothness Theta m(W (r,r, ldots,r) p,L q 0,1 d) asymp m frac rd d 1 , quad mbox 2 le p le infty, 1 le q le 2.


Characterization and Automatic Update of Deprecated Machine Learning API Usages. Due to the rise of AI applications, machine learning libraries have become far more accessible, with Python being the most common programming language to write them. Machine learning libraries tend to be updated periodically, which may deprecate existing APIs, making it necessary for developers to update their usages. However, updating usages of deprecated APIs are typically not a priority for developers, leading to widespread usages of deprecated APIs which expose library users to vulnerability issues. In this paper, we built a tool to automate these updates. We first conducted an empirical study to seek a better understanding on how updates of deprecated machine learning API usages in Python can be done. The study involved a dataset of 112 deprecated APIs from Scikit Learn, TensorFlow, and PyTorch. We found dimensions of deprecated API migration related to its update operation (i.e., the required operation to perform the migration), API mapping (i.e., the number of deprecated and its corresponding updated APIs),and context dependency (i.e., whether we need to consider surrounding contexts when performing the migration). Guided by the findings on our empirical study, we created MLCatchUp, a tool to automate the update of Python deprecated API usage that automatically infers the API migration transformation through comparison of the deprecated and updated API signatures. These transformations are expressed in a Domain Specific Language (DSL). We evaluated MLCatchUp using test dataset containing 258 files with 514 API usages that we collected from public GitHub repositories. In this evaluation, MLCatchUp achieves a precision of 86.19 . We further improve the precision of MLCatchUp by adding a feature that allows it to accept additional user input to specify the transformation constraints in the DSL for context dependent API migration, where MLCatchUp achieves a precision of 93.58 .


Laser Wake Field Collider. Recently NAano Plasmonic, Laser Inertial Fusion Experiments (NAPLIFE) were proposed, as an improved way to achieve laser driven fusion. The improvement is the combination of two basic research discoveries (i) The possibility of detonations on space time hyper surfaces with time like normal (i.e. simultaneous detonation in a whole volume) and (ii) to increase this volume to the whole target, by regulating the laser light absorption using nano shells or nano rods as antennas. These principles can be realized in an in line, one dimensional configuration, in the simplest way with two opposing laser beams as in particle colliders. Such, opposing laser beam experiments were also performed recently. Here we study the consequences of the Laser Wake Field Acceleration (LWFA) if we experience it in a colliding laser beam set up. These studies can be applied to laser driven fusion, but also to other rapid phase transition, combustion, or ignition studies in other materials.


Abhyankar's Inertia Conjecture for Some Sporadic Groups. This paper verifies Abhyankar's Inertia Conjecture for certain sporadic groups G in particular characteristics by showing that all possible inertia groups occur for G Galois covers of the affine line. For a larger set of sporadic groups, all but finitely many possible ramification invariants are shown to occur. In particular, we prove that all but eight of the possible ramification invariants are realizable for text M 11 Galois covers of the affine line.