An Efficient Index Method for the Optimal Route Query over Multi Cost Networks. Smart city has been consider the wave of the future and the route recommendation in networks is a fundamental problem in it. Most existing approaches for the shortest route problem consider that there is only one kind of cost in networks. However, there always are several kinds of cost in networks and users prefer to select an optimal route under the global consideration of these kinds of cost. In this paper, we study the problem of finding the optimal route in the multi cost networks. We prove this problem is NP hard and the existing index techniques cannot be used to this problem. We propose a novel partition based index with contour skyline techniques to find the optimal route. We propose a vertex filtering algorithm to facilitate the query processing. We conduct extensive experiments on six real life networks and the experimental results show that our method has an improvement in efficiency by an order of magnitude compared to the previous heuristic algorithms.


Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers. A novel way to use SMT (Satisfiability Modulo Theories) solvers to compute the tropical prevariety (resp. equilibrium) of a polynomial system is presented. The new method is benchmarked against a naive approach that uses purely polyhedral methods. It turns out that the SMT approach is faster than the polyhedral approach for models that would otherwise take more than one minute to compute, in many cases by a factor of 60 or more, and in the worst case is only slower by a factor of two. Furthermore, the new approach is an anytime algorithm, thus offering a way to compute parts of the solution when the polyhedral approach is infeasible.


On canonical splittings of relatively hyperbolic groups. A JSJ decomposition of a group is a splitting that allows one to classify all possible splittings of the group over a certain family of edge groups. Although JSJ decompositions are not unique in general, Guirardel Levitt have constructed a canonical JSJ decomposition, the tree of cylinders, which classifies splittings of relatively hyperbolic groups over elementary subgroups. In this paper, we give a new topological construction of the Guirardel Levitt tree of cylinders, and we show that this tree depends only on the homeomorphism type of the Bowditch boundary. Furthermore, the tree of cylinders admits a natural action by the group of homeomorphisms of the boundary. In particular, the quasi isometry group of (G, mathbb P ) acts naturally on the tree of cylinders.


Modeling the excess velocity of low viscous Taylor droplets in square microchannels. Microscopic multiphase flows have gained broad interest due to their capability to transfer processes into new operational windows and achieving significant process intensification. However, the hydrodynamic behavior of Taylor droplets is not yet entirely understood. In this work, we introduce a model to determine the excess velocity of Taylor droplets in square microchannels. This velocity difference between the droplet and the total superficial velocity of the flow has a direct influence on the droplet residence time and is linked to the pressure drop. Since the droplet does not occupy the entire channel cross section, it enables the continuous phase to bypass the droplet through the corners. A consideration of the continuity equation generally relates the excess velocity to the mean flow velocity. We base the quantification of the bypass flow on a correlation for the droplet cap deformation from its static shape. The cap deformation reveals the forces of the flowing liquids exerted onto the interface and allows estimating the local driving pressure gradient for the bypass flow. The characterizing parameters are identified as the bypass length, the wall film thickness, the viscosity ratio between both phases and the Ca number. The proposed model is adapted with a stochastic, metaheuristic optimization approach based on high speed camera measurements. In addition, our model is successfully verified with published empirical data.


Spectrum of non degenerate functions with simplicial Newton polyhedra. We prove a simple formula for the spectrum of non degenerate functions of 3 variables with simplicial convenient Newton polyhedra (which does not hold in the non simplicial case) generalizing a picture of Arnold in the 2 variable case. Combining this with Steenbrink's conjecture on a refinement of Yomdin's formula (proved long ago), we can deduce a formula for the spectrum of certain non isolated surface singularities with simplicial non degenerate Newton boundaries.


Learning Adaptive Language Interfaces through Decomposition. Our goal is to create an interactive natural language interface that efficiently and reliably learns from users to complete tasks in simulated robotics settings. We introduce a neural semantic parsing system that learns new high level abstractions through decomposition users interactively teach the system by breaking down high level utterances describing novel behavior into low level steps that it can understand. Unfortunately, existing methods either rely on grammars which parse sentences with limited flexibility, or neural sequence to sequence models that do not learn efficiently or reliably from individual examples. Our approach bridges this gap, demonstrating the flexibility of modern neural systems, as well as the one shot reliable generalization of grammar based methods. Our crowdsourced interactive experiments suggest that over time, users complete complex tasks more efficiently while using our system by leveraging what they just taught. At the same time, getting users to trust the system enough to be incentivized to teach high level utterances is still an ongoing challenge. We end with a discussion of some of the obstacles we need to overcome to fully realize the potential of the interactive paradigm.


Quadratic Maximization over the Reachable Values Set of a Convergent Discrete time Affine System The diagonalizable case. In this paper, we solve a maximization problem where the objective function is quadratic and convex or concave and the constraints set is the reachable value set of a convergent discrete time affine system. Moreover, we assume that the matrix defining the system is diagonalizable. The difficulty of the problem lies in the infinite sequence to handle in the constraint set. Equivalently, the problem requires to solve an infinite number of quadratic programs. Therefore, the main idea is to extract a finite of them and to guarantee that the resolution of the extracted problems provides the optimal value and a maximizer for the initial problem. The number of quadratic programs to solve has to be the smallest possible. Actually, we construct a family of integers that over approximate the exact number of quadratic programs to solve using basic ideas of linear algebra. This family of integers is used in the final algorithm. A new computation of an integer of the family within the algorithm ensures a reduction of the number of loop iterations. The method proposed in the paper is illustrated on small academic examples. Finally, the algorithm is experimented on randomly generated instances of the problem.


Practical Robot Learning from Demonstrations using Deep End to End Training. Robots need to learn behaviors in intuitive and practical ways for widespread deployment in human environments. To learn a robot behavior end to end, we train a variant of the ResNet that maps eye in hand camera images to end effector velocities. In our setup, a human teacher demonstrates the task via joystick. We show that a simple servoing task can be learned in less than an hour including data collection, model training and deployment time. Moreover, 16 minutes of demonstrations were enough for the robot to learn the task.


Transversality of sections on elliptic surfaces with applications to elliptic divisibility sequences and geography of surfaces. We consider elliptic surfaces mathcal E over a field k equipped with zero section O and another section P of infinite order. If k has characteristic zero, we show there are only finitely many points where O is tangent to a multiple of P . Equivalently, there is a finite list of integers such that if n is not divisible by any of them, then nP is not tangent to O . Such tangencies can be interpreted as unlikely intersections. If k has characteristic zero or p 3 and mathcal E is very general, then we show there are no tangencies between O and nP . We apply these results to square freeness of elliptic divisibility sequences and to geography of surfaces. In particular, we construct mildly singular surfaces of arbitrary fixed geometric genus with K ample and K 2 unbounded.


Census of bounded curvature paths. A bounded curvature path is a continuously differentiable piece wise C 2 path with bounded absolute curvature connecting two points in the tangent bundle of a surface. These paths have been widely considered in computer science and engineering since the bound on curvature models the trajectory of the motion of robots under turning circle constraints. Analyzing global properties of spaces of bounded curvature paths is not a simple matter since the length variation between length minimizers of arbitrary close endpoints or directions is in many cases discontinuous. In this note, we develop a simple technology allowing us to partition the space of spaces of bounded curvature paths into one parameter families. These families of spaces are classified in terms of the type of connected components their elements have (homotopy classes, isotopy classes, or isolated points) as we vary a parameter defined in the reals. Consequently, we answer a question raised by Dubins (Pac J Math 11(2), 1961).


Spherical Supervarieties. We give a definition of the notion of spherical varieties in the world of complex supervarieties with actions of algebraic supergroups. A characterization of affine spherical supervarieties is given which generalizes a characterization in the classical case. We also explain some general properties of the monoid of highest weights. Several examples are given that are interesting in their own right and highlight differences with the classical case, including the regular representation, symmetric supervarieties, and actions of split supergroups.


On the interaction of metric trapping and a boundary. By considering a two ended warped product manifold, we demonstrate a bifurcation that can occur when metric trapping interacts with a boundary. In this highly symmetric example, as the boundary passes through the trapped set, one goes from a nontrapping scenario where lossless local energy estimates are available for the wave equation to the case of stably trapped rays where all but a logarithmic amount of decay is lost.


Passive Quadrupedal Gait Synchronization for Extra Robotic Legs Using a Dynamically Coupled Double Rimless Wheel Model. The Extra Robotic Legs (XRL) system is a robotic augmentation worn by a human operator consisting of two articulated robot legs that walk with the operator and help bear a heavy backpack payload. It is desirable for the Human XRL quadruped system to walk with the rear legs lead the front by 25 of the gait period, minimizing the energy lost from foot impacts while maximizing balance stability. Unlike quadrupedal robots, the XRL cannot command the human's limbs to coordinate quadrupedal locomotion. Using a pair of Rimless Wheel models, it is shown that the systems coupled with a spring and damper converge to the desired 25 phase difference. A Poincar 'e return map was generated using numerical simulation to examine the convergence properties to different coupler design parameters, and initial conditions. The Dynamically Coupled Double Rimless Wheel system was physically realized with a spring and dashpot chosen from the theoretical results, and initial experiments indicate that the desired synchronization properties may be achieved within several steps using this set of passive components alone.


Implementation of Self Organizing Network (SON) on Cellular Technology base on Big Data Analytic. The development of cellular technology will be directly proportional to the increasing requirement in various aspects, such as the speed of data transmission (velocity), data variations (variety), and data storage media (volume). The increase in various aspects will have a direct impact on the growth of internet users worldwide. In relation to that, the demand for increased capacity and coverage becomes a necessity because users access the networks using the same resources by utilizing resource sharing mechanism. Self Organizing Network (SON) is one of the solutions to make the system more efficient with guaranteed Quality of Experiment (QoE). SON can create an automated network with a self optimization, self configuration and self healing mechanism. Big Data is leveraged in the network analytics as a reference for decision making activities in the network automation process. In this paper, SON using Big Data analytics on 5G network is compared with SON on 4G network as the previous network technology. It is suggested that on 5G networks, Big Data changes the SON detection paradigm from reactive to proactive. Detecting problems starts with data collection and analysis of possible network problems. By predicting network problems early, solving network problems can be done faster. Additionally, by using Multi hop relay, the distance between User Equipment (EU) and Base Station (BS) will be shorter. Therefore, the aim of increasing capacity and coverage can be fulfilled.


Electron acceleration in direct laser solid interactions far beyond the ponderomotive limit. In laser solid interactions, electrons may be generated and subsequently accelerated to energies of the order of magnitude of the ponderomotive limit, with the underlying process dominated by direct laser acceleration. Breaking this limit, realized here by a radially polarized laser pulse incident upon a wire target, can be associated with several novel effects. Three dimensional Particle In Cell simulations show a relativistic intense laser pulse can extract electrons from the wire and inject them into the accelerating field. Anti dephasing, resulting from collective plasma effects, are shown here to enhance the accelerated electron energy by two orders of magnitude compared to the ponderomotive limit. It is demonstrated that ultra short radially polarized pulses produce super ponderomotive electrons more efficiently than pulses of the linear and circular polarization varieties.


Herding stochastic autonomous agents via local control rules and online global target selection strategies. In this Paper we propose a simple yet effective set of local control rules to make a group of "herder agents" collect and contain in a desired region an ensemble of non cooperative stochastic "target agents" in the plane. We investigate the robustness of the proposed strategies to variations of the number of target agents and the strength of the repulsive force they feel when in proximity of the herders. Extensive numerical simulations confirm the effectiveness of the approach and are complemented by a more realistic validation on commercially available robotic agents via ROS.


Steane Enlargement of Quantum Codes from the Hermitian Curve. In this paper, we study the construction of quantum codes by applying Steane enlargement to codes from the Hermitian curve. We cover Steane enlargement of both usual one point Hermitian codes and of order bound improved Hermitian codes. In particular, the paper contains two constructions of quantum codes whose parameters are described by explicit formulae, and we show that these codes compare favourably to existing, comparable constructions in the literature.


Cohomology of vector bundles and non pluriharmonic loci. In this paper, we study cohomology groups of vector bundles on neighborhoods of a non pluriharmonic locus in Stein manifolds and in projective manifolds. By using our results, we show variants of the Lefschetz hyperplane theorem.


Hybrid Dynamic static Context aware Attention Network for Action Assessment in Long Videos. The objective of action quality assessment is to score sports videos. However, most existing works focus only on video dynamic information (i.e., motion information) but ignore the specific postures that an athlete is performing in a video, which is important for action assessment in long videos. In this work, we present a novel hybrid dynAmic static Context aware attenTION NETwork (ACTION NET) for action assessment in long videos. To learn more discriminative representations for videos, we not only learn the video dynamic information but also focus on the static postures of the detected athletes in specific frames, which represent the action quality at certain moments, along with the help of the proposed hybrid dynamic static architecture. Moreover, we leverage a context aware attention module consisting of a temporal instance wise graph convolutional network unit and an attention unit for both streams to extract more robust stream features, where the former is for exploring the relations between instances and the latter for assigning a proper weight to each instance. Finally, we combine the features of the two streams to regress the final video score, supervised by ground truth scores given by experts. Additionally, we have collected and annotated the new Rhythmic Gymnastics dataset, which contains videos of four different types of gymnastics routines, for evaluation of action quality assessment in long videos. Extensive experimental results validate the efficacy of our proposed method, which outperforms related approaches. The codes and dataset are available at url https github.com lingan1996 ACTION NET .


Planted Models for k way Edge and Vertex Expansion. Graph partitioning problems are a central topic of study in algorithms and complexity theory. Edge expansion and vertex expansion, two popular graph partitioning objectives, seek a 2 partition of the vertex set of the graph that minimizes the considered objective. However, for many natural applications, one might require a graph to be partitioned into k parts, for some k geq 2 . For a k partition S 1, ldots, S k of the vertex set of a graph G (V,E) , the k way edge expansion (resp. vertex expansion) of S 1, ldots, S k is defined as max i in k Phi(S i) , and the balanced k way edge expansion (resp. vertex expansion) of G is defined as min S 1, ldots, S k in mathcal P k max i in k Phi(S i) , , where mathcal P k is the set of all balanced k partitions of V (i.e each part of a k partition in mathcal P k should have cardinality V k ), and Phi(S) denotes the edge expansion (resp. vertex expansion) of S subset V . We study a natural planted model for graphs where the vertex set of a graph has a k partition S 1, ldots, S k such that the graph induced on each S i has large expansion, but each S i has small edge expansion (resp. vertex expansion) in the graph. We give bi criteria approximation algorithms for computing the balanced k way edge expansion (resp. vertex expansion) of instances in this planted model.


A Framework based on Deep Neural Networks to Extract Anatomy of Mosquitoes from Images. We design a framework based on Mask Region based Convolutional Neural Network (Mask R CNN) to automatically detect and separately extract anatomical components of mosquitoes thorax, wings, abdomen and legs from images. Our training dataset consisted of 1500 smartphone images of nine mosquito species trapped in Florida. In the proposed technique, the first step is to detect anatomical components within a mosquito image. Then, we localize and classify the extracted anatomical components, while simultaneously adding a branch in the neural network architecture to segment pixels containing only the anatomical components. Evaluation results are favorable. To evaluate generality, we test our architecture trained only with mosquito images on bumblebee images. We again reveal favorable results, particularly in extracting wings. Our techniques in this paper have practical applications in public health, taxonomy and citizen science efforts.


Generation of Multimodal Justification Using Visual Word Constraint Model for Explainable Computer Aided Diagnosis. The ambiguity of the decision making process has been pointed out as the main obstacle to applying the deep learning based method in a practical way in spite of its outstanding performance. Interpretability could guarantee the confidence of deep learning system, therefore it is particularly important in the medical field. In this study, a novel deep network is proposed to explain the diagnostic decision with visual pointing map and diagnostic sentence justifying result simultaneously. For the purpose of increasing the accuracy of sentence generation, a visual word constraint model is devised in training justification generator. To verify the proposed method, comparative experiments were conducted on the problem of the diagnosis of breast masses. Experimental results demonstrated that the proposed deep network could explain diagnosis more accurately with various textual justifications.


A Self Assessing Compilation Based Search Approach for Analytical Research and Data Retrieval. While meta analytic research is performed, it becomes time consuming to filter through the sheer amount of sources made available by individual databases and search engines and therefore degrades the specificity of source analysis. This study sought to predict the feasibility of a research oriented searching algorithm across all topics and a search technique to combat flaws in dealing with large datasets by automating three key components of meta analysis a query based search associated with the intended research topic, selecting given sources and determining their relevance to the original query, and extracting applicable information including excerpts and citations. The algorithm was evaluated using 5 key historical topics, and results were broken down into 4 categories the total number of relevant sources retrieved, the efficiency given a particular search, the total time it takes to finish a complete cycle, and the quality of the extracted sources when compared to results from current searching methods. Although results differed through several searches, on average, the program collected a total of 126 sources per search with an average efficiency of 19.55 sources per second which, when compared and qualitatively evaluated for definitive results, indicates that an algorithm developed across all subject areas will make progress in future research methods.


On the identification of source term in the heat equation from sparse data. We consider the recovery of a source term f(x,t) p(x)q(t) for the nonhomogeneous heat equation in Omega times (0, infty) where Omega is a bounded domain in mathbb R 2 with smooth boundary partial Omega from overposed lateral data on a sparse subset of partial Omega times(0, infty) . Specifically, we shall require a small finite number N of measurement points on partial Omega and prove a uniqueness result namely the recovery of the pair (p,q) within a given class, by a judicious choice of N 2 points. Naturally, with this paucity of overposed data, the problem is severely ill posed. Nevertheless we shall show that provided the data noise level is low, effective numerical reconstructions may be obtained.


Future Directions of the Cyberinfrastructure for Sustained Scientific Innovation (CSSI) Program. The CSSI 2019 workshop was held on October 28 29, 2019, in Austin, Texas. The main objectives of this workshop were to (1) understand the impact of the CSSI program on the community over the last 9 years, (2) engage workshop participants in identifying gaps and opportunities in the current CSSI landscape, (3) gather ideas on the cyberinfrastructure needs and expectations of the community with respect to the CSSI program, and (4) prepare a report summarizing the feedback gathered from the community that can inform the future solicitations of the CSSI program. The workshop brought together different stakeholders interested in provisioning sustainable cyberinfrastructure that can power discoveries impacting the various fields of science and technology and maintaining the nation's competitiveness in the areas such as scientific software, HPC, networking, cybersecurity, and data information science. The workshop served as a venue for gathering the community feedback on the current state of the CSSI program and its future directions.


The Picard group in equivariant homotopy theory via stable module categories. We develop a mechanism of "isotropy separation for compact objects" that explicitly describes an invertible G spectrum through its collection of geometric fixed points and gluing data located in certain variants of the stable module category. As an application, we carry out a complete analysis of invertible G spectra in the case G A 5 . A further application is given by showing that the Picard groups of mathrm Sp G and a category of derived Mackey functors agree.


Parts4Feature Learning 3D Global Features from Generally Semantic Parts in Multiple Views. Deep learning has achieved remarkable results in 3D shape analysis by learning global shape features from the pixel level over multiple views. Previous methods, however, compute low level features for entire views without considering part level information. In contrast, we propose a deep neural network, called Parts4Feature, to learn 3D global features from part level information in multiple views. We introduce a novel definition of generally semantic parts, which Parts4Feature learns to detect in multiple views from different 3D shape segmentation benchmarks. A key idea of our architecture is that it transfers the ability to detect semantically meaningful parts in multiple views to learn 3D global features. Parts4Feature achieves this by combining a local part detection branch and a global feature learning branch with a shared region proposal module. The global feature learning branch aggregates the detected parts in terms of learned part patterns with a novel multi attention mechanism, while the region proposal module enables locally and globally discriminative information to be promoted by each other. We demonstrate that Parts4Feature outperforms the state of the art under three large scale 3D shape benchmarks.


Powering One shot Topological NAS with Stabilized Share parameter Proxy. One shot NAS method has attracted much interest from the research community due to its remarkable training efficiency and capacity to discover high performance models. However, the search spaces of previous one shot based works usually relied on hand craft design and were short for flexibility on the network topology. In this work, we try to enhance the one shot NAS by exploring high performing network architectures in our large scale Topology Augmented Search Space (i.e., over 3.4 10 10 different topological structures). Specifically, the difficulties for architecture searching in such a complex space has been eliminated by the proposed stabilized share parameter proxy, which employs Stochastic Gradient Langevin Dynamics to enable fast shared parameter sampling, so as to achieve stabilized measurement of architecture performance even in search space with complex topological structures. The proposed method, namely Stablized Topological Neural Architecture Search (ST NAS), achieves state of the art performance under Multiply Adds (MAdds) constraint on ImageNet. Our lite model ST NAS A achieves 76.4 top 1 accuracy with only 326M MAdds. Our moderate model ST NAS B achieves 77.9 top 1 accuracy just required 503M MAdds. Both of our models offer superior performances in comparison to other concurrent works on one shot NAS.


Isomorphic Dilations of the skew fields constructed over parallel lines in the Desargues affine plane. This paper considers dilations and translations of lines in the Desargues affine plane. A dilation of a line transforms each line into a parallel line whose length is a multiple of the length of the original line. In addition to the usual Playfair axiom for parallel lines in an affine plane, further conditions are given for distinct lines to be parallel in the Desargues affine plane. This paper introduces the dilation of parallel lines in a finite Desargues affine plane that is a bijection of the lines. Two main results are given in this paper, namely, each dilation in a finite Desarguesian plane is an isomorphism between skew fields constructed over isomorphic lines and each dilation in a finite Desarguesian plane occurs in a Pappian space.


Charge Transport Equation for Bidisperse Collisional Granular Flows with Nonequipartitioned Fluctuating Kinetic Energy. Starting from the Boltzmann Enskog kinetic equations, the charge transport equation for bidisperse granular flows with contact electrification is derived with separate mean velocities, total kinetic energies, charges and charge variances for each solid phase. To close locally averaged transport equations, a Maxwellian distribution is presumed for both particle velocity and charge. The hydrodynamic equations for bidisperse solid mixtures are first revisited and the resulting model consisting of the transport equations of mass, momentum, total kinetic energy, which is the sum of the granular temperature and the trace of fluctuating kinetic tensor, and charge is then presented. The charge transfer between phases and the charge build up within a phase are modelled with local charge and effective work function differences between phases and the local electric field. The revisited hydrodynamic equations and the derived charge transport equation with constitutive relations are assessed through hard sphere simulations of three dimensional spatially homogeneous, quasi onedimensional spatially inhomogeneous bidisperse granular gases and a three dimensional segregating bidisperse granular flow with conducting walls.


Deciding when two curves are of the same type. Given two closed curves in a surface, we propose an algorithm to detect whether they are of the same type or not.


What is the people posting about symptoms related to Coronavirus in Bogota, Colombia?. During the last months, there is an increasing alarm about a new mutation of coronavirus, covid 19 coined by World Health Organization(WHO) with an impact in many areas economy, health, politics and others. This situation was declared a pandemic by WHO, because of the fast expansion over many countries. At the same time, people is using Social Networks to express what they think, feel or experiment, so this people are Social Sensors and helps to analyze what is happening in their city. The objective of this paper is analyze the publications of Colombian people living in Bogota with a radius of 50 km using Text Mining techniques from symptomatology approach. The results support the understanding of the spread in Colombia related to symptoms of covid19.


A generalized Gauss curvature flow related to the Orlicz Minkowski problem. In this paper a generalized Gauss curvature flow about a convex hypersurface in the Euclidean n space is studied. This flow is closely related to the Orlicz Minkowski problem, which involves Gauss curvature and a function of support function. Under some appropriate assumptions, we prove the long time existence and convergence of this flow. As a byproduct, two existence results of solutions to the even Orlicz Minkowski problem are obtained, one of which improves the known result.


Importance of Signal and Image Processing in Photoacoustic Imaging. Photoacoustic imaging (PAI) is a powerful imaging modality that relies on the PA effect. PAI works on the principle of electromagnetic energy absorption by the exogenous contrast agents and or endogenous molecules present in the biological tissue, consequently generating ultrasound waves. PAI combines a high optical contrast with a high acoustic spatiotemporal resolution, allowing the non invasive visualization of absorbers at deep structures. However, due to the optical diffusion and ultrasound attenuation in heterogeneous turbid biological tissue, the quality of the PA images is deteriorated. Therefore, signal and image processing techniques are imperative in PAI to provide high quality images with detailed structural and functional information in deep tissues. Here, we review various signal and image processing techniques that have been developed implemented in PAI. Our goal is to highlight the importance of image computing in photoacoustic imaging.


Consistency and Coherency Enhanced Story Generation. Story generation is a challenging task, which demands to maintain consistency of the plots and characters throughout the story. Previous works have shown that GPT2, a large scale language model, has achieved good performance on story generation. However, we observe that several serious issues still exist in the stories generated by GPT2 which can be categorized into two folds consistency and coherency. In terms of consistency, on one hand, GPT2 cannot guarantee the consistency of the plots explicitly. On the other hand, the generated stories usually contain coreference errors. In terms of coherency, GPT2 does not take account of the discourse relations between sentences of stories directly. To enhance the consistency and coherency of the generated stories, we propose a two stage generation framework, where the first stage is to organize the story outline which depicts the story plots and events, and the second stage is to expand the outline into a complete story. Therefore the plots consistency can be controlled and guaranteed explicitly. In addition, coreference supervision signals are incorporated to reduce coreference errors and improve the coreference consistency. Moreover, we design an auxiliary task of discourse relation modeling to improve the coherency of the generated stories. Experimental results on a story dataset show that our model outperforms the baseline approaches in terms of both automatic metrics and human evaluation.


Fine granularity access in interactive compression of 360 degree images based on rate adaptive channel codes. In this paper, we propose a new interactive compression scheme for omnidirectional images. This requires two characteristics efficient compression of data, to lower the storage cost, and random access ability to extract part of the compressed stream requested by the user (for reducing the transmission rate). For efficient compression, data needs to be predicted by a series of references that have been pre defined and compressed. This contrasts with the spirit of random accessibility. We propose a solution for this problem based on incremental codes implemented by rate adaptive channel codes. This scheme encodes the image while adapting to any user request and leads to an efficient coding that is flexible in extracting data depending on the available information at the decoder. Therefore, only the information that is needed to be displayed at the user's side is transmitted during the user's request, as if the request was already known at the encoder. The experimental results demonstrate that our coder obtains a better transmission rate than the state of the art tile based methods at a small cost in storage. Moreover, the transmission rate grows gradually with the size of the request and avoids a staircase effect, which shows the perfect suitability of our coder for interactive transmission.


On the independence number of (3, 3) Ramsey graphs and the Folkman number F e(3, 3 4) . The graph G is called a (3, 3) Ramsey graph if in every coloring of the edges of G in two colors there is a monochromatic triangle. The minimum number of vertices of the (3, 3) Ramsey graphs without 4 cliques is denoted by F e(3, 3 4) . The number F e(3, 3 4) is referred to as the most wanted Folkman number. It is known that 20 leq F e(3, 3 4) leq 786 . In this paper we prove that if G is an n vertex (3, 3) Ramsey graph without 4 cliques, then alpha(G) leq n 16 , where alpha(G) denotes the independence number of G . Using the newly obtained bound on alpha(G) and complex computer calculations we obtain the new lower bound F e(3, 3 4) geq 21.


Efficient Restrictions of Immediate Observation Petri Nets. In a previous paper we introduced immediate observation Petri nets, a subclass of Petri nets with application domains in distributed protocols (population protocols) and theoretical chemistry (chemical reaction networks). IO nets enjoy many useful properties, but like the general case of conservative Petri nets they have a PSPACE complete reachability problem. In this paper we explore two restrictions of the reachability problem for IO nets which lower the complexity of the problem drastically. The complexity is NP complete for the first restriction with applications in distributed protocols, and it is polynomial for the second restriction with applications in chemical settings.


L 'evy processes on smooth manifolds with a connection. We define a L 'evy process on a smooth manifold M with a connection as a projection of a solution of a Marcus stochastic differential equation on a holonomy bundle of M , driven by a holonomy invariant L 'evy process on a Euclidean space. On a Riemannian manifold, our definition (with Levi Civita connection) generalizes the Eells Elworthy Malliavin construction of the Brownian motion and extends the class of isotropic L 'evy process introduced in Applebaum and Estrade AE00 . On a Lie group with a surjective exponential map, our definition (with left invariant connection) coincides with the classical definition of a (left) L 'evy process given in terms of its increments. Our main theorem characterizes the class of L 'evy processes via their generators on M , generalizing the fact that the Laplace Beltrami operator generates Brownian motion on a Riemannian manifold. Its proof requires a path wise construction of the stochastic horizontal lift and anti development of a discontinuous semimartingale, leading to a generalization of Pontier and Estrade PE92 to smooth manifolds with non unique geodesics between distinct points.


Invariant manifolds of partially normally hyperbolic invariant manifolds in Banach spaces. We investigate the existence and regularity of (locally) invariant manifolds nearby an approximately invariant set satisfying certain (geometric) hyperbolicity with respect to an abstract generalized' dynamical system in a Banach space such hyperbolicity is between normal hyperbolicity and partial hyperbolicity which has being studied in the finite dimension and in some concrete PDEs. The generalized' dynamical system is allowed to be non smooth, non Lipschitz, or even non mapping', making it applicable to both well posed and ill posed differential equations. As an illustration, we apply our results to study the dynamics of the whiskered tori.


QASC A Dataset for Question Answering via Sentence Composition. Composing knowledge from multiple pieces of texts is a key challenge in multi hop question answering. We present a multi hop reasoning dataset, Question Answering via Sentence Composition(QASC), that requires retrieving facts from a large corpus and composing them to answer a multiple choice question. QASC is the first dataset to offer two desirable properties (a) the facts to be composed are annotated in a large corpus, and (b) the decomposition into these facts is not evident from the question itself. The latter makes retrieval challenging as the system must introduce new concepts or relations in order to discover potential decompositions. Further, the reasoning model must then learn to identify valid compositions of these retrieved facts using common sense reasoning. To help address these challenges, we provide annotation for supporting facts as well as their composition. Guided by these annotations, we present a two step approach to mitigate the retrieval challenges. We use other multiple choice datasets as additional training data to strengthen the reasoning model. Our proposed approach improves over current state of the art language models by 11 (absolute). The reasoning and retrieval problems, however, remain unsolved as this model still lags by 20 behind human performance.


Large deviations of mean field interacting particle systems in a fast varying environment. This paper studies large deviations of a fully coupled" finite state mean field interacting particle system in a fast varying environment. The empirical measure of the particles evolves in the slow time scale and the random environment evolves in the fast time scale. Our main result is the path space large deviation principle for the joint law of the empirical measure process of the particles and the occupation measure process of the fast environment. This extends previous results known for two time scale diffusions to two time scale mean field models with jumps. Our proof is based on the method of stochastic exponentials. We characterise the rate function by studying a certain variational problem associated with an exponential martingale.


DFT FE A massively parallel adaptive finite element code for large scale density functional theory calculations. We present an accurate, efficient and massively parallel finite element code, DFT FE, for large scale ab initio calculations (reaching sim 100,000 electrons) using Kohn Sham density functional theory (DFT). DFT FE is based on a local real space variational formulation of the Kohn Sham DFT energy functional that is discretized using a higher order adaptive spectral finite element (FE) basis, and treats pseudopotential and all electron calculations in the same framework, while accommodating non periodic, semi periodic and periodic boundary conditions. We discuss the main aspects of the code, which include, the various strategies of adaptive FE basis generation, and the different approaches employed in the numerical implementation of the solution of the discrete Kohn Sham problem that are focused on significantly reducing the floating point operations, communication costs and latency. We demonstrate the accuracy of DFT FE by comparing the energies, ionic forces and periodic cell stresses on a wide range of problems with popularly used DFT codes. Further, we demonstrate that DFT FE significantly outperforms widely used plane wave codes both in CPU times and wall times, and on both non periodic and periodic systems at systems sizes beyond a few thousand electrons, with over 5 10 fold speedups in systems with more than 10,000 electrons. The benchmark studies also highlight the excellent parallel scalability of DFT FE, with strong scaling demonstrated on up to 192,000 MPI tasks.


A Survey of Smart Contract Formal Specification and Verification. A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain, finance, legal and medical services, there is a strong demand for verification and validation techniques. Yet, the vast majority of smart contracts lack any kind of formal specification, which is essential for establishing their correctness. In this survey, we investigate formal models and specifications of smart contracts presented in the literature and present a systematic overview in order to understand the common trends. We also discuss the current approaches used in verifying such property specifications and identify gaps with the hope to recognize promising directions for future work.


Predicting the Humorousness of Tweets Using Gaussian Process Preference Learning. Most humour processing systems to date make at best discrete, coarse grained distinctions between the comical and the conventional, yet such notions are better conceptualized as a broad spectrum. In this paper, we present a probabilistic approach, a variant of Gaussian process preference learning (GPPL), that learns to rank and rate the humorousness of short texts by exploiting human preference judgments and automatically sourced linguistic annotations. We apply our system, which is similar to one that had previously shown good performance on English language one liners annotated with pairwise humorousness annotations, to the Spanish language data set of the HAHA IberLEF2019 evaluation campaign. We report system performance for the campaign's two subtasks, humour detection and funniness score prediction, and discuss some issues arising from the conversion between the numeric scores used in the HAHA IberLEF2019 data and the pairwise judgment annotations required for our method.


Efficient ADMM and Splitting Methods for Continuous Min cut and Max flow Problems. The Potts model has many applications. It is equivalent to some min cut and max flow models. Primal dual algorithms have been used to solve these problems. Due to the special structure of the models, convergence proof is still a difficult problem. In this work, we developed two novel, preconditioned, and over relaxed alternating direction methods of multipliers (ADMM) with convergence guarantee for these models. Using the proposed preconditioners or block preconditioners, we get accelerations with the over relaxation variants of preconditioned ADMM. The preconditioned and over relaxed Douglas Rachford splitting methods are also considered for the Potts model. Our framework can handle both the two labeling or multi labeling problems with appropriate block preconditioners based on Eckstein Bertsekas and Fortin Glowinski splitting techniques.


Feasibility of Acousto Electric Tomography. In acousto electric tomography the goal is to reconstruct the electric conductivity in a domain from electrostatic boundary measurements of corresponding currents and voltages, while the domain is penetrated by a time dependent acoustic wave. We explicitly model the phenomena, and we propose a complete inversion framework for acousto electric tomography in two steps First the interior power density is obtained from boundary measurements by solving a linear, ill posed problem second the interior conductivity is reconstructed from the power density by solving a non linear, fairly well posed problem. We perform numerical experiments on synthetic data with realistically chosen parameters. We investigate how feasibility of reconstructing the electrical conductivity from boundary measurements depends on the acousto electric coupling constant and measurement noise. Our findings are positive, and indicate that AET is indeed feasible for interesting applications in for example medical imaging. Finally, we consider a limited angle setup and show that the conductivity is well reconstructed near the measurement boundary.


On the Davis Wielandt radius inequalities of Hilbert space operators. In this work, some new upper and lower bounds of the Davis Wielandt radius are introduced. Generalizations of some presented results are obtained. Some bounds of the Davis Wielandt radius for n times n operator matrices are established. An extension of the Davis Wielandt radius to the Euclidean operator radius is introduced.


Computational Fluid Dynamic Simulations In a Model of a Carotid Bifurcation Under Steady Flow Conditions. Strokes are still one of the leading causes for death after heart diseases and cancer in all over the world. Most strokes happen because an artery that carries blood uphill from the heart to the head gets clogged. Most of the time, as with heart attacks, the problem is atherosclerosis, hardening of the arteries, calcified buildup of fatty deposits on the vessel wall. The primary troublemaker is the carotid artery, one on each side of the neck, the main thoroughfare for blood to the brain. Only within the last 25 years, though, have researchers been able to put their finger on why the carotid is especially susceptible to atherosclerosis. In this study, the fluid dynamic simulations were done in a carotid bifurcation under the steady flow conditions computationally. In vivo geometry and boundary conditions were obtained from a diseased who has both sides of stenosis located in his carotid artery patients. The location of critical flow fields such as low wall shear stress (WSS), stagnation regions and separation regions were detected. Low WSS was found at the downstream of the bifurcation.


A posteriori probabilistic feasibility guarantees for Nash equilibria in uncertain multi agent games. In this paper a distribution free methodology is presented for providing robustness guarantees for Nash equilibria (NE) of multi agent games. Leveraging recent a posteriori developments of the so called scenario approach (Campi et al., 2018), we provide probabilistic guarantees for feasibility problems with polytopic constraints. This result is then used in the context of multi agent games, allowing to provide robustness certificates for constraint violation of any NE of a given game. Our guarantees can be used alongside any NE seeking algorithm that returns some equilibrium solution. Finally, by exploiting the structure of our problem, we circumvent the need of employing computationally prohibitive algorithms to find an irreducible support subsample, a concept at the core of the scenario approach. Our theoretical results are accompanied by simulation studies that investigate the robustness of the solutions of two different problems, namely, a 2 dimensional feasibility problem and an electric vehicle (EV) charging control problem.


Global Roaming Trust based Model for V2X Communications. Smart cities need to connect physical devices as a network to improve the efficiency of city operations and services. Intelligent Transportation System (ITS) is one of the key components in smart cities, due to its capability of supporting communications between vehicles to improve the driving experience. Whilst Vehicle to Everything (V2X) communications are essential, cyber security poses a significant challenge in V2X communications. A V2X communication link is vulnerable to various cyber attacks including internal and external attacks. Internal attacks cannot be detected by conventional security schemes because the compromised nodes have valid credentials. Thus, a new trust model is urgently needed to mitigate cyber security risks. In this paper, a global roaming trust based security model is proposed for V2X communications. Each vehicle has a global knowledge about malicious nodes in the network. In addition, various experiments are conducted with different percentage of malicious nodes to measure the performance of the proposed model. Simulation results show that the proposed model improves False Negative Rate (FNR) by 33.5 in comparison with the existing method.


Relaxing Common Belief for Social Networks. We propose a relaxation of common belief called factional belief that is suitable for the analysis of strategic coordination on social networks. We show how this definition can be used to analyze revolt games on general graphs, including by giving an efficient algorithm that characterizes a structural result about the possible equilibria of such games. This extends prior work on common knowledge and common belief, which has been too restrictive for use in understanding strategic coordination and cooperation in social network settings.


Millimeter Wave Integrated Side Fire Leaky Wave Antenna and its Application as a Spectrum Analyzer. An analog, low profile and shielded spectrum analyzer is proposed for operation at mm wave frequencies around the 60 GHz band based on a novel side fire Leaky Wave Antenna (LWA) configuration. The proposed side fire periodic LWA is systematically developed from a conventional 3 port waveguide T junction which is modified to a LWA unit cell with an internal matching mechanism to suppress the stop band and enable broadside radiation based on unit cell symmetry considerations. The resulting periodic side fire antenna radiates in the plane of the antenna, whereby the leakage power be either be allowed to radiate in free space or kept confined inside a PPW structure. The proposed side fire structure thus can be completely shielded useful as an analog broadband spectrum analyzer using Substrate Integrated Waveguide (SIW) Technology. Furthermore, a convex side fire antenna is demonstrated to focus the radiated beams in the near field of the structure to make the entire system compact. The integrated spectrum analyzer is experimentally demonstrated between 59 GHz 66 GHz providing 1 GHz frequency resolution. Furthermore, a simple mathematical model consisting of array of line sources is proposed to efficiently model the beam scanning characteristics of the curved side fire LWA in the near field of the structure.


Grand Lebesgue Spaces are really Banach algebras relative to the convolution on unimodular locally compact groups. We prove that the Grand Lebesgue Space, builded on a unimodular locally compact topological group, forms a Banach algebra relative to the convolution.


Gaussian analytic functions and operator symbols of Dirichlet type. Let calH be a separable infinite dimensional C linear Hilbert space, with sesquilinear inner product langle cdot, cdot rangle calH . Given any two orthonormal systems x 1,x 2,x 3, ldots and y 1,y 2,y 3, ldots in calH , we show that the weighted sums S(l) sum j,k j k l bigg( frac l jk bigg) frac12 , langle x j,y k rangle calH satisfy S(l) 2 lessapprox2 holds in an average sense. A construction due to Zachary Chase shows that this would not be true if the number 2 is replaced by the smaller number 1.72 . In the construction, the system y 1,y 2,y 3, ldots is a permutation of the system x 1,x 2,x 3, ldots . We interpret our bound in terms of the correlation expect Phi(z) Psi(z) of two copies of a Gaussian analytic function with possibly intricate Gaussian correlation structure between them. The Gaussian analytic function we study arises in connection with the classical Dirichlet space, which is naturally M "obius invariant. The study of the correlations expect Phi(z) Psi(z) leads us to introduce a new space, the emph mock Bloch space , which is slightly bigger than the standard Bloch space. Our bound has an interpretation in terms of McMullen's asymptotic variance, originally considered for functions in the Bloch space. Finally, we show that the correlations expect Phi(z) Psi(w) may be expressed as Dirichlet symbols of contractions on L 2( D) , and show that the Dirichlet symbols of Grunsky operators associated with univalent functions find a natural characterization in terms of a nonlinear wave equation.


Nanofilm Materials for Devices of Magnetic Field Measurement in Radiation Environment. The prospects of using nanofilms of indium containing III V semiconductors, gold and single layer graphene in magnetic field sensors, intended for application in radiation environment were evaluated on the results of testing in neutron fluxes. Semiconductor sensors are capable of withstanding radiation levels typical for the ITER type fusion reactors, while gold sensors are stable even under environment expected in the first fusion power plant DEMO. Graphene is promising for creating sensors that combine high magnetic field sensitivity and high irradiation resistance.


A Formal Critique of the Value of the Colombian P 'aramo. This article presents conceptual and methodological frameworks to prioritise interventions on the Colombian P 'aramo. The mode of analysis that our work takes up is that of questioning value and related categories as definite empirically perceived phenomena. We contend that the valuation of ecosystem services even in its post normal forms and the ecosystem services framework not only fail to examine value based categories, but reproduce the problematic aspects of value based social relations, which ultimately bear on the ecological issues affecting the P 'aramo. Upon this premise we set out to formalise a (computational) dialogical scenario where arguments stating distinct, and often contradictory, actions delineate possible forms of appropriating the P 'aramo, while motivating the examination of their defining sociality.


An equivariant quantum Pieri rule for the Grassmannian on cylindric shapes. The quantum cohomology ring of the Grassmannian is determined by the quantum Pieri rule for multiplying by Schubert classes indexed by row or column shaped partitions. We provide a direct equivariant generalization of Postnikov's quantum Pieri rule for the Grassmannian in terms of cylindric shapes, complementing related work of Gorbounov and Korff in quantum integrable systems. The equivariant terms in our Graham positive rule simply encode the positions of all possible addable boxes within one cylindric skew diagram. As such, unlike the earlier equivariant quantum Pieri rule of Huang and Li and known equivariant quantum Littlewood Richardson rules, our formula does not require any calculations in a different Grassmannian or two step flag variety.


Fisheye Distortion Rectification from Deep Straight Lines. This paper presents a novel line aware rectification network (LaRecNet) to address the problem of fisheye distortion rectification based on the classical observation that straight lines in 3D space should be still straight in image planes. Specifically, the proposed LaRecNet contains three sequential modules to (1) learn the distorted straight lines from fisheye images (2) estimate the distortion parameters from the learned heatmaps and the image appearance and (3) rectify the input images via a proposed differentiable rectification layer. To better train and evaluate the proposed model, we create a synthetic line rich fisheye (SLF) dataset that contains the distortion parameters and well annotated distorted straight lines of fisheye images. The proposed method enables us to simultaneously calibrate the geometric distortion parameters and rectify fisheye images. Extensive experiments demonstrate that our model achieves state of the art performance in terms of both geometric accuracy and image quality on several evaluation metrics. In particular, the images rectified by LaRecNet achieve an average reprojection error of 0.33 pixels on the SLF dataset and produce the highest peak signal to noise ratio (PSNR) and structure similarity index (SSIM) compared with the groundtruth.


Effects of the body force on the pedestrian and the evacuation dynamics. The Social Force Model (SFM) is a suitable model for describing crowd behaviors under emotional stress. This research analyzes the role of the body force in the original SFM. We focused on the parameter associated with the body stiffness (kn) and its impact on the pedestrian dynamics for two different geometries bottlenecks and corridors. Increasing kn produces opposite effects on the crowd dynamics for each geometry an increase of the crowd velocity for bottlenecks, and a decrease for corridors. The former reflects the fact that an increase in the stiffness reduces the overlap between pedestrians and, as a consequence, the sliding friction is diminished. This phenomenon reduces the number of blocking clusters close to the exit door. In the case of the corridor, instead, due to the confining walls, the pedestrians get tight into a lattice like configuration due to space limitations. The friction interaction with the walls determines the velocity of the whole crowd along the corridor. Additionally, the corridor geometry generates a flux slowing down for very crowded environments, as observed in many real life situations. We also explored the dimensionless parameters that arose from the reduced in units equation of motion and tuned them to reproduce the qualitative behavior of the empirical fundamental diagram.


The Case for Writing Network Drivers in High Level Programming Languages. Drivers are written in C or restricted subsets of C on all production grade server, desktop, and mobile operating systems. They account for 66 of the code in Linux, but 39 out of 40 security bugs related to memory safety found in Linux in 2017 are located in drivers. These bugs could have been prevented by using high level languages for drivers. We present user space drivers for the Intel ixgbe 10 Gbit s network cards implemented in Rust, Go, C , Java, OCaml, Haskell, Swift, JavaScript, and Python written from scratch in idiomatic style for the respective languages. We quantify costs and benefits of using these languages High level languages are safer (fewer bugs, more safety checks), but run time safety checks reduce throughput and garbage collection leads to latency spikes. Out of order CPUs mitigate the cost of safety checks Our Rust driver executes 63 more instructions per packet but is only 4 slower than a reference C implementation. Go's garbage collector keeps latencies below 100 mu s even under heavy load. Other languages fare worse, but their unique properties make for an interesting case study. All implementations are available as free and open source at https github.com ixy languages ixy languages.


Digital Twin Enabling Technologies, Challenges and Open Research. Digital Twin technology is an emerging concept that has become the centre of attention for industry and, in more recent years, academia. The advancements in industry 4.0 concepts have facilitated its growth, particularly in the manufacturing industry. The Digital Twin is defined extensively but is best described as the effortless integration of data between a physical and virtual machine in either direction. The challenges, applications, and enabling technologies for Artificial Intelligence, Internet of Things (IoT) and Digital Twins are presented. A review of publications relating to Digital Twins is performed, producing a categorical review of recent papers. The review has categorised them by research areas manufacturing, healthcare and smart cities, discussing a range of papers that reflect these areas and the current state of research. The paper provides an assessment of the enabling technologies, challenges and open research for Digital Twins.


A compatible embedded hybridized discontinuous Galerkin method for the Stokes Darcy transport problem. We present a stability and error analysis of an embedded hybridized discontinuous Galerkin (EDG HDG) finite element method for coupled Stokes Darcy flow and transport. The flow problem, governed by the Stokes Darcy equations, is discretized by a recently introduced exactly mass conserving EDG HDG method while an embedded discontinuous Galerkin (EDG) method is used to discretize the transport equation. We show that the coupled flow and transport discretization is compatible and stable. Furthermore, we show existence and uniqueness of the semi discrete transport problem and develop optimal a priori error estimates. We provide numerical examples illustrating the theoretical results. In particular, we compare the compatible EDG HDG discretization to a discretization of the coupled Stokes Darcy and transport problem that is not compatible. We demonstrate that where the incompatible discretization may result in spurious oscillations in the solution to the transport problem, the compatible discretization is free of oscillations. An additional numerical example with realistic parameters is also presented.


Analytic solutions of a two fluid hydrodynamic model. We investigate a one dimensional flow described with the non compressible coupled Euler and non compressible Navier Stokes equations in Cartesian coordinate systems. We couple the two fluids through the continuity equation where different void fractions can be considered. The well known self similar Ansatz was applied and analytic solutions were derived for both velocity and pressure field as well. The solutions can be expressed with the error functions.


Smooth times of a flow in dimension 1. Let alpha be an irrational number and I an interval of mathbb R . If alpha is diophantine, we show that any one parameter group of homeomorphisms of I whose time 1 and alpha maps are C infty is in fact the flow of a C infty vector field. If alpha is Liouville on the other hand, we construct a one parameter group of homeomorphisms of I whose time 1 and alpha maps are C infty but which is not the flow of a C 2 vector field (though, if I has boundary, we explain that the hypotheses force it to be the flow of a C 1 vector field). We extend both results to families of irrational numbers, the critical arithmetic condition in this case being simultaneous "diophantinity". For one parameter groups defining a free action of ( mathbb R , ) on I , these results follow from famous linearization theorems for circle diffeomorphisms. The novelty of this work concerns non free actions.


9th Low Level RF Workshop (LLRF2019). This volume contains contributions presented at LLRF2019 the 9th Low Level RF Workshop held in Chicago, USA on September 29 October 3, 2019.


The FACTS of Technology Assisted Sensitivity Review. At least ninety countries implement Freedom of Information laws that state that government documents must be made freely available, or opened, to the public. However, many government documents contain sensitive information, such as personal or confidential information. Therefore, all government documents that are opened to the public must first be reviewed to identify, and protect, any sensitive information. Historically, sensitivity review has been a completely manual process. However, with the adoption of born digital documents, such as e mail, human only sensitivity review is not practical and there is a need for new technologies to assist human sensitivity reviewers. In this paper, we discuss how issues of fairness, accountability, confidentiality, transparency and safety (FACTS) impact technology assisted sensitivity review. Moreover, we outline some important areas of future FACTS research that will need to be addressed within technology assisted sensitivity review.


Modelling multi period carbon markets using singular forward backward SDEs. We introduce a model for the evolution of emissions and the price of emissions allowances in a carbon market such as the European Union Emissions Trading System (EU ETS). The model accounts for multiple trading periods, or phases, with multiple times at which compliance can occur. At the end of each trading period, the participating firms must surrender allowances for their emissions made during that period, and additional allowances can be used for compliance in the following periods. We show that the multi period allowance pricing problem is well posed for various mechanisms (such as banking, borrowing and withdrawal of allowances) linking the trading periods. The results are based on the analysis of a forward backward stochastic differential equation with coupled forward and backward components, a discontinuous terminal condition and a forward component that is degenerate. We also introduce an infinite period model, for a carbon market with a sequence of compliance times and with no end date. We show that, under appropriate conditions, the value function for the multi period pricing problem converges, as the number of periods increases, to a value function for this infinite period model, and that such functions are unique.


Comparison of Kummer logarithmic topologies with classical topologies. We compare the Kummer flat (resp. Kummer etale) cohomology with the flat (resp. etale) cohomology with coefficients in smooth commutative group schemes, finite flat group schemes and the logarithmic multiplicative group of Kato. We will be particularly interested in the case of algebraic tori in the Kummer flat topology. We also make some computations for certain special cases of the base log scheme.


Universal Adversarial Perturbations A Survey. Over the past decade, Deep Learning has emerged as a useful and efficient tool to solve a wide variety of complex learning problems ranging from image classification to human pose estimation, which is challenging to solve using statistical machine learning algorithms. However, despite their superior performance, deep neural networks are susceptible to adversarial perturbations, which can cause the network's prediction to change without making perceptible changes to the input image, thus creating severe security issues at the time of deployment of such systems. Recent works have shown the existence of Universal Adversarial Perturbations, which, when added to any image in a dataset, misclassifies it when passed through a target model. Such perturbations are more practical to deploy since there is minimal computation done during the actual attack. Several techniques have also been proposed to defend the neural networks against these perturbations. In this paper, we attempt to provide a detailed discussion on the various data driven and data independent methods for generating universal perturbations, along with measures to defend against such perturbations. We also cover the applications of such universal perturbations in various deep learning tasks.


Bacterial Metabolic Heterogeneity from Stochastic to Deterministic Models. We revisit the modeling of the diauxic growth of a pure microorganism on two distinct sugars which was first described by Monod. Most available models are deterministic and make the assumption that all cells of the microbial ecosystem behave homogeneously with respect to both sugars, all consuming the first one and then switching to the second when the first is exhausted. We propose here a stochastic model which describes what is called "metabolic heterogeneity". It allows to consider small populations as in microfluidics as well as large populations where billions of individuals coexist in the medium in a batch or chemostat. We highlight the link between the stochastic model and the deterministic behavior in real large cultures using a large population approximation. Then the influence of model parameter values on model dynamics is studied, notably with respect to the lag phase observed in real systems depending on the sugars on which the microorganism grows. It is shown that both metabolic parameters as well as initial conditions play a crucial role on system dynamics.


String topology and configuration spaces of two points. Given a closed manifold M . We give an algebraic model for the Chas Sullivan product and the Goresky Hingston coproduct. In the simply connected case, this admits a particularly nice description in terms of a Poincar 'e duality model of the manifold, and involves the configuration space of two points on M . We moreover, construct an IBL infty structure on (a model of) cyclic chains on the cochain algebra of M , such that the natural comparison map to the S 1 equivariant loop space homology intertwines the Lie bialgebra structure on homology. The construction of the coproduct cobracket depends on the perturbative partition function of a Chern Simons type topological field theory. Furthermore, we give a construction for these string topology operations on the absolute loop space (not relative to constant loops) in case that M carries a non vanishing vector field and obtain a similar description. Finally, we show that the cobracket is sensitive to the manifold structure of M beyond its homotopy type. More precisely, the action of rm Diff (M) does not (in general) factor through rm aut (M) .


Bregman Augmented Lagrangian and Its Acceleration. We study the Bregman Augmented Lagrangian method (BALM) for solving convex problems with linear constraints. For classical Augmented Lagrangian method, the convergence rate and its relation with the proximal point method is well understood. However, the convergence rate for BALM has not yet been thoroughly studied in the literature. In this paper, we analyze the convergence rates of BALM in terms of the primal objective as well as the feasibility violation. We also develop, for the first time, an accelerated Bregman proximal point method, that improves the convergence rate from O(1 sum k 0 T 1 eta k) to O(1 ( sum k 0 T 1 sqrt eta k ) 2) , where eta k k 0 T 1 is the sequence of proximal parameters. When applied to the dual of linearly constrained convex programs, this leads to the construction of an accelerated BALM, that achieves the improved rates for both primal and dual convergences.


2D moment invariants from the point of view of the classical invariant theory. Invariants allow to classify images up to the action of a group of transformations. In this paper we introduce notions of the algebras of simultaneous polynomial and rational 2D moment invariants and prove that they are isomorphic to the algebras of joint polynomial and rational SO(2) invariants of binary forms. Also, to simplify the calculating of invariants we pass from an action of Lie group SO(2) to an action of its Lie algebra mathfrak so 2 . This allow us to reduce the problem to standard problems of the classical invariant theory.


Large scale Causal Approaches to Debiasing Post click Conversion Rate Estimation with Multi task Learning. Post click conversion rate (CVR) estimation is a critical task in e commerce recommender systems. This task is deemed quite challenging under the industrial setting with two major issues 1) selection bias caused by user self selection, and 2) data sparsity due to the rare click events. A successful conversion typically has the following sequential events "exposure click conversion". Conventional CVR estimators are trained in the click space, but the inference is done in the entire exposure space. They fail to account for the causes of the missing data and treat them as missing at random. Hence, their estimations are highly likely to deviate from the real values by large. In addition, the data sparsity issue can also handicap many industrial CVR estimators which usually have large parameter spaces. In this paper, we propose two principled, efficient and highly effective CVR estimators for industrial CVR estimation, namely, Multi IPW and Multi DR. The proposed models approach the CVR estimation from a causal perspective and account for the causes of missing not at random. In addition, our methods are based on the multi task learning framework and mitigate the data sparsity issue. Extensive experiments on industrial level datasets show that our methods outperform the state of the art CVR models.


Many Server Asymptotics for Join the Shortest Queue Large Deviations and Rare Events. The Join the Shortest Queue routing policy is studied in an asymptotic regime where the number of processors n scales with the arrival rate. A large deviation principle (LDP) for the occupancy process is established, as n to infty , in a suitable infinite dimensional path space. Model features that present technical challenges include, Markovian dynamics with discontinuous statistics, a diminishing rate property of the transition probability rates, and an infinite dimensional state space. The difficulty is in the proof of the Laplace lower bound which requires establishing the uniqueness of solutions of certain infinite dimensional systems of controlled ordinary differential equations. The LDP gives information on the rate of decay of probabilities of various types of rare events associated with the system. We illustrate this by establishing explicit exponential decay rates for probabilities of long queues. In particular, denoting by E j n(T) the event that there is at least one queue with j or more jobs at some time instant over 0,T , we show that, in the critical case, for large n and T , mathbb P (E n j(T)) approx exp left frac n (j 2) 2 4T right .


Jump diffusion approximation for the price dynamics of a fully state dependent limit order book model. We study a microscopic limit order book model, in which the order dynamics depend on the current best bid and ask price and the current volume density functions, simultaneously, and derive its macroscopic high frequency dynamics. As opposed to the existing literature on scaling limits for limit order book models, we include price changes which do not scale with the tick size in our model to account for large price movement, being for example triggered by highly unforeseen events. Our main result states that, when the size of an individual limit order and the tick size tend to zero while the order arrival rate tends to infinity, the microscopic limit order book model dynamics converge to two one dimensional jump diffusion processes describing the prices coupled with two infinite dimensional fluid processes describing the standing volumes at the buy and sell side.


Frontiers in Mortar Methods for Isogeometric Analysis. Complex geometries as common in industrial applications consist of multiple patches, if spline based parametrizations are used. The requirements for the generation of analysis suitable models are increasing dramatically since isogeometric analysis is directly based on the spline parametrization and nowadays used for the calculation of higher order partial differential equations. The computational, or more general, the engineering analysis necessitates suitable coupling techniques between the different patches. Mortar methods have been successfully applied for coupling of patches and for contact mechanics in recent years to resolve the arising issues within the interface. We present here current achievements in the design of mortar technologies in isogeometric analysis within the Priority Program SPP 1748, Reliable Simulation Techniques in Solid Mechanics. Development of Non standard Discretisation Methods, Mechanical and Mathematical Analysis.


Profiling minisat based on user defined execution time GPROF. This paper focuses on the explanation of the architecture of profilers particularly gprof and how to profile a program according to the user defined input of execution time . Gprof is a profiler available open source in the package of binutils. Gprof records the flow of the program including the callee and caller information and their respective execution time. This information is represented in the form of a call graph. Profilers at the time of execution creates a call graph file which indicates the full flow of the program including the individual execution time as well. This paper aims at providing a better understanding of the data structure used to store the information and how is a profiler(gprof) actually using this data structure to give user a readable format. The next section of this paper solves one of the limitation of gprof i.e. edit the time of block of code without understanding the call graph. Any changes in the execution time of a particular block of code would affect the total execution time. So if we edit the gprof in such a way that its consistent and platform independent, then it can yield various results like testing execution time after parallelism, before even designing it by replacing the values with theoretical emulated ones and see if the total execution time is getting reduced by a desired number or not? Gprof edit can help us figure out that what section of code can be parallelized or which part of code is taking the most time and which call or part can be changed to reduce the execution time. The last section of the paper walks through the application of gprof in minisat and how gprof helps in the hardware acceleration in minisat by suggesting which part to be parallelised and how does it affect the total percentage.


IDEALEM Statistical Similarity Based Data Reduction. Many applications such as scientific simulation, sensing, and power grid monitoring tend to generate massive amounts of data, which should be compressed first prior to storage and transmission. These data, mostly comprised of floating point values, are known to be difficult to compress using lossless compression. A few compression methods based on lossy compression have been proposed to compress this seemingly incompressible data. Unfortunately, they are all designed to minimize the Euclidean distance between the original data and the decompressed data, which fundamentally limits compression performance. We recently proposed a new class of lossy compression based on statistical similarity, called IDEALEM, which was also provided as a software package. IDEALEM has demonstrated its performance by reducing data volume much more than state of the art compression methods while preserving unique patterns of data. IDEALEM can operate in two different modes depending on the stationarity of input data. This paper presents compression performance analyses of these two modes, and investigates the difference between two transform techniques targeted for non stationary data. This paper also discusses the data reconstruction quality of IDEALEM using spectral analysis and shows that important frequency components in application domain are well preserved. We expand the capability of IDEALEM by adding a new min max check that facilitates preserving significant patterns lasting only for a brief duration which were previously hard to capture. This min max check also accelerates the encoding process significantly. Experiments show IDEALEM preserves significant patterns in the original data with faster encoding time.


Complex Relation Extraction Challenges and Opportunities. Relation extraction aims to identify the target relations of entities in texts. Relation extraction is very important for knowledge base construction and text understanding. Traditional binary relation extraction, including supervised, semi supervised and distant supervised ones, has been extensively studied and significant results are achieved. In recent years, many complex relation extraction tasks, i.e., the variants of simple binary relation extraction, are proposed to meet the complex applications in practice. However, there is no literature to fully investigate and summarize these complex relation extraction works so far. In this paper, we first report the recent progress in traditional simple binary relation extraction. Then we summarize the existing complex relation extraction tasks and present the definition, recent progress, challenges and opportunities for each task.


Rigorous FEM for 1D Burgers equation. We propose a method to integrate dissipative PDEs rigorously forward in time with the use of Finite Element Method (FEM). The technique is based on the Galerkin projection on the FEM space and estimates on the residual terms. The proposed approach is illustrated on a periodically forced one dimensional Burgers equation with Dirichlet conditions. For two particular choices of the forcing we prove the existence of the periodic globally attracting trajectory and give precise bounds on its shape.


How Does NLP Benefit Legal System A Summary of Legal Artificial Intelligence. Legal Artificial Intelligence (LegalAI) focuses on applying the technology of artificial intelligence, especially natural language processing, to benefit tasks in the legal domain. In recent years, LegalAI has drawn increasing attention rapidly from both AI researchers and legal professionals, as LegalAI is beneficial to the legal system for liberating legal professionals from a maze of paperwork. Legal professionals often think about how to solve tasks from rule based and symbol based methods, while NLP researchers concentrate more on data driven and embedding methods. In this paper, we introduce the history, the current state, and the future directions of research in LegalAI. We illustrate the tasks from the perspectives of legal professionals and NLP researchers and show several representative applications in LegalAI. We conduct experiments and provide an in depth analysis of the advantages and disadvantages of existing works to explore possible future directions. You can find the implementation of our work from https github.com thunlp CLAIM.


Deep Submodular Networks for Extractive Data Summarization. Deep Models are increasingly becoming prevalent in summarization problems (e.g. document, video and images) due to their ability to learn complex feature interactions and representations. However, they do not model characteristics such as diversity, representation, and coverage, which are also very important for summarization tasks. On the other hand, submodular functions naturally model these characteristics because of their diminishing returns property. Most approaches for modelling and learning submodular functions rely on very simple models, such as weighted mixtures of submodular functions. Unfortunately, these models only learn the relative importance of the different submodular functions (such as diversity, representation or importance), but cannot learn more complex feature representations, which are often required for state of the art performance. We propose Deep Submodular Networks (DSN), an end to end learning framework that facilitates the learning of more complex features and richer functions, crafted for better modelling of all aspects of summarization. The DSN framework can be used to learn features appropriate for summarization from scratch. We demonstrate the utility of DSNs on both generic and query focused image collection summarization, and show significant improvement over the state of the art. In particular, we show that DSNs outperform simple mixture models using off the shelf features. Secondly, we also show that just using four submodular functions in a DSN with end to end learning performs comparably to the state of the art mixture model with a hand crafted set of 594 components and outperforms other methods for image collection summarization.


Computation of Tight Enclosures for Laplacian Eigenvalues. Recently, there has been interest in high precision approximations of the first eigenvalue of the Laplace Beltrami operator on spherical triangles for combinatorial purposes. We compute improved and certified enclosures to these eigenvalues. This is achieved by applying the method of particular solutions in high precision, the enclosure being obtained by a combination of interval arithmetic and Taylor models. The index of the eigenvalue is certified by exploiting the monotonicity of the eigenvalue with respect to the domain. The classically troublesome case of singular corners is handled by combining expansions at all corners and an expansion from an interior point. In particular, this allows us to compute 100 digits of the fundamental eigenvalue for the 3D Kreweras model that has been the object of previous efforts.


Conflict as an Inverse of Attention in Sequence Relationship. Attention is a very efficient way to model the relationship between two sequences by comparing how similar two intermediate representations are. Initially demonstrated in NMT, it is a standard in all NLU tasks today when efficient interaction between sequences is considered. However, we show that attention, by virtue of its composition, works best only when it is given that there is a match somewhere between two sequences. It does not very well adapt to cases when there is no similarity between two sequences or if the relationship is contrastive. We propose an Conflict model which is very similar to how attention works but which emphasizes mostly on how well two sequences repel each other and finally empirically show how this method in conjunction with attention can boost the overall performance.


Analytic spread and integral closure of integrally decomposable modules. We relate the analytic spread of a module expressed as the direct sum of two submodules with the analytic spread of its components. We also study a class of submodules whose integral closure can be obtained by means of a simple computer algebra procedure once the integral closure of each row ideal is known. In particular, we analyze a class of modules, not necessarily of maximal rank, whose integral closure is determined by the family of Newton polyhedra of their row ideals.


On a class of Lebesgue Ramanujan Nagell equations. We deeply investigate the Diophantine equation cx 2 d 2m 1 2y n in integers x, y geq 1, m geq 0 and n geq 3 , where c and d are given coprime positive integers such that cd not equiv 3 pmod 4 . We first solve this equation for prime n , under the condition n nmid h( cd) , where h( cd) denotes the class number of the quadratic field mathbb Q ( sqrt cd ) . We then completely solve this equation for both c and d primes under the assumption that gcd(n, h( cd)) 1 . We also completely solve this equation for c 1 and d equiv1 pmod 4 , under the condition gcd(n, h( d)) 1 . For some fixed values of c and d , we derive some results concerning the solvability of this equation.


2D Fourier finite element formulation for magnetostatics in curvilinear coordinates with a symmetry direction. We present a numerical method for the solution of linear magnetostatic problems in domains with a symmetry direction, including axial and translational symmetry. The approach uses a Fourier series decomposition of the vector potential formulation along the symmetry direction and covers both, zeroth (non oscillatory) and non zero (oscillatory) harmonics. For the latter it is possible to eliminate one component of the vector potential resulting in a fully transverse vector potential orthogonal to the transverse magnetic field. In addition to the Poisson like equation for the longitudinal component of the non oscillatory problem, a general curl curl Helmholtz equation results for the transverse problem covering both, non oscillatory and oscillatory case. The derivation is performed in the covariant formalism for curvilinear coordinates with a tensorial permeability and symmetry restrictions on metric and permeability tensor. The resulting variational forms are treated by the usual nodal finite element method for the longitudinal problem and by a two dimensional edge element method for the transverse problem. The numerical solution can be computed independently for each harmonic which is favourable with regard to memory usage and parallelisation.


Orthogonality sampling type methods for an inverse acoustic scattering problem. We consider the inverse acoustic scattering problem of determining the location and shape of penetrable scattering objects from multi static Cauchy data of the scattered field. We propose two novel imaging functionals of orthogonality sampling type for solving the inverse problem. These imaging functionals, like the orthogonality sampling method, are fast, simple to implement, and robust with respect to noise in the data. A further advantage is that they are applicable to both near field and far field data. In particular, in the case of far field data, the functionals can be easily modified such that only the scattered field data is needed. The theoretical analysis of the first imaging functional relies on the Factorization method along with the Funk Hecke formula and a relation between the Cauchy data and the scattering amplitude of the scattered field. The second one is justified using the Helmholtz integral representation for the imaginary part of the Green's function of the direct scattering problem. Numerical examples are presented to illustrate the efficiency of the proposed imaging functionals.


Aerial Height Prediction and Refinement Neural Networks with Semantic and Geometric Guidance. Deep learning provides a powerful new approach to many computer vision tasks. Height prediction from aerial images is one of those tasks that benefited greatly from the deployment of deep learning which replaced old multi view geometry techniques. This letter proposes a two stage approach, where first a multi task neural network is used to predict the height map resulting from a single RGB aerial input image. We also include a second refinement step, where a denoising autoencoder is used to produce higher quality height maps. Experiments on two publicly available datasets show that our method is capable of producing state of the art results. Code is available at https github.com melhousni DSMNet.


Attention Based Pruning for Shift Networks. In many application domains such as computer vision, Convolutional Layers (CLs) are key to the accuracy of deep learning methods. However, it is often required to assemble a large number of CLs, each containing thousands of parameters, in order to reach state of the art accuracy, thus resulting in complex and demanding systems that are poorly fitted to resource limited devices. Recently, methods have been proposed to replace the generic convolution operator by the combination of a shift operation and a simpler 1x1 convolution. The resulting block, called Shift Layer (SL), is an efficient alternative to CLs in the sense it allows to reach similar accuracies on various tasks with faster computations and fewer parameters. In this contribution, we introduce Shift Attention Layers (SALs), which extend SLs by using an attention mechanism that learns which shifts are the best at the same time the network function is trained. We demonstrate SALs are able to outperform vanilla SLs (and CLs) on various object recognition benchmarks while significantly reducing the number of float operations and parameters for the inference.


Multiple scattering enabled superdirectivity from a subwavelength ensemble of resonators. An ensemble of resonators arranged on a sub wavelength scale is usually considered as a bulk effective medium, known as a metamaterial, and can offer unusual macroscopic properties. Here, we take a different approach and limit ourselves to the study of only a few number of such elementary components and demonstrate that it still offers uncommon opportunities. Typically, thanks to the multiple scattering and the phase shift that the resonances offer, we observe fields that vary at scales completely independent of the wavelength in freespace. By smartly tuning the resonance frequencies, we can design at will the complex current distribution in those resonators. This way, we design a superdirective antenna, it ie. an antenna that is surprisingly more directive than its size would foreshadow. This approach is verified numerically and experimentally in the context of microwaves, but this applies to any wave field where sub wavelength resonators exist.


Strict log concavity of the Kirchhoff polynomial and its applications to the strong Lefschetz property. Anari, Gharan, and Vinzant proved (complete) log concavity of the basis generating functions for all matroids. From the viewpoint of combinatorial Hodge theory, it is natural to ask whether these functions are "strictly" log concave for simple matroids. In this paper, we show this strictness for simple graphic matroids, that is, we show that Kirchhoff polynomials of simple graphs are strictly log concave. Our key observation is that the Kirchhoff polynomial of a complete graph can be seen as the (irreducible) relative invariant of a certain prehomogeneous vector space, which may be independently interesting in its own right. Furthermore, we prove that for any a i in mathbb R 0 , a 1x 1 cdots a nx n in R 1 M satisfies the strong Lefschetz property (moreover, Hodge Riemann bilinear relation) at degree one of the Artinian Gorenstein algebra R M associated to a graphic matroid M , which is defined by Maeno and Numata for all matroids.


Open Korean Corpora A Practical Report. Korean is often referred to as a low resource language in the research community. While this claim is partially true, it is also because the availability of resources is inadequately advertised and curated. This work curates and reviews a list of Korean corpora, first describing institution level resource development, then further iterate through a list of current open datasets for different types of tasks. We then propose a direction on how open source dataset construction and releases should be done for less resourced languages to promote research.


Structure of geometrically non reduced varieties. We prove a structural result for geometrically non reduced varieties and give applications to Fano varieties. For example, we show that if X is the generic fibre of a Mori fibre space of relative dimension n , and the characteristic is p 2n 1 , then any geometric non reducedness of X comes from the base of some fibration.


SRA free condition by Zolotov for self contracted curves and nondegeneracy of zz distance for M "obius structures on the circle. SRA free condition for metric spaces (that is, spaces without Small Rough Angles) was introduced by Zolotov to study rectifiability of self contracted curves in various metric spaces. We give a Moebius invariant version of this notion which allows to show that zz distance associated with a respective Moebius structure on the circle is nondegenerate. This result is an important part of a solution to the inverse problem of Moebius geometry on the circle.


On multicolor Ramsey numbers of triple system paths of length 3. Let mathcal H be a 3 uniform hypergraph. The multicolor Ramsey number r k( mathcal H ) is the smallest integer n such that every coloring of binom n 3 with k colors has a monochromatic copy of mathcal H . Let mathcal L be the loose 3 uniform path with 3 edges and mathcal M denote the messy 3 uniform path with 3 edges that is, let mathcal L abc, cde, efg and mathcal M abc, bcd, def . In this note we prove r k( mathcal L ) 1.55k and r k( mathcal M ) 1.6k for k sufficiently large. The former result improves on the bound r k( mathcal L ) 1.975k 7 sqrt k , which was recently established by L uczak and Polcyn.


On the Gorensetein (n,d) Flat and Gorensetein (n,d) Injective Modules. Let R be a ring. In this paper, Gorenstein (n,d) flat and (n,d) Gorenstein (n,d) injective modules and some of their basic properties are studied. Moreover, some characterizations of rings over Gorenstein (n,d) flat and (n,d) Gorenstein (n,d) injective modules are given. Also, some known results can be obtained as corollaries


A User centered Design Study in Scientific Visualization Targeting Domain Experts. The development and design of visualization solutions that are truly usable is essential for ensuring both their adoption and effectiveness. User centered design principles, which focus on involving users throughout the entire development process, are well suited for visualization and have been shown to be effective in numerous information visualization endeavors. In this paper, we report a two year long collaboration with combustion scientists that, by applying these design principles, generated multiple results including an in situ visualization technique and a post hoc probability distribution function (PDF) exploration tool. Furthermore, we examine the importance of user centered design principles and describe lessons learned over the design process in an effort to aid others who also seek to work with scientists for developing effective and usable scientific visualization solutions.