Modeling infection methods of computer malware in the presence of vaccinations using epidemiological models An analysis of real world data. Computer malware and biological pathogens often use similar mechanisms of infections. For this reason, it has been suggested to model malware spread using epidemiological models developed to characterize the spread of biological pathogens. However, most work examining the similarities between malware and pathogens using such methods was based on theoretical analysis and simulation. Here we extend the classical Susceptible Infected Recovered (SIR) epidemiological model to describe two of the most common infection methods used by malware. We fit the proposed model to malware collected over a period of one year from a major anti malware vendor. We show that by fitting the proposed model it is possible to identify the method of transmission used by the malware, its rate of infection, and the number of machines which will be infected unless blocked by anti virus software. The Spearman correlation between the number of actual and predicted infected machines is 0.84. Examining cases where an anti malware "signature" was transmitted to susceptible computers by the anti virus provider, we show that the time to remove the malware will be short and independent of the number of infected computers if fewer than approximately 60 of susceptible computers have been infected. If more computers were infected, the time to removal will be approximately 3.2 greater, and will depend on the fraction of infected computers. Our results show that the application of epidemiological models of infection to malware can provide anti virus providers with information on malware spread and its potential damage. We further propose that similarities between computer malware and biological pathogens, the availability of data on the former and the dearth of data on the latter, make malware an extremely useful model for testing interventions which could later be applied to improve medicine.


Multi View Photometric Stereo A Robust Solution and Benchmark Dataset for Spatially Varying Isotropic Materials. We present a method to capture both 3D shape and spatially varying reflectance with a multi view photometric stereo (MVPS) technique that works for general isotropic materials. Our algorithm is suitable for perspective cameras and nearby point light sources. Our data capture setup is simple, which consists of only a digital camera, some LED lights, and an optional automatic turntable. From a single viewpoint, we use a set of photometric stereo images to identify surface points with the same distance to the camera. We collect this information from multiple viewpoints and combine it with structure from motion to obtain a precise reconstruction of the complete 3D shape. The spatially varying isotropic bidirectional reflectance distribution function (BRDF) is captured by simultaneously inferring a set of basis BRDFs and their mixing weights at each surface point. In experiments, we demonstrate our algorithm with two different setups a studio setup for highest precision and a desktop setup for best usability. According to our experiments, under the studio setting, the captured shapes are accurate to 0.5 millimeters and the captured reflectance has a relative root mean square error (RMSE) of 9 . We also quantitatively evaluate state of the art MVPS on a newly collected benchmark dataset, which is publicly available for inspiring future research.


Batch 1 Definition of several Weather Climate Dwarfs. This document is one of the deliverable reports created for the ESCAPE project. ESCAPE stands for Energy efficient Scalable Algorithms for Weather Prediction at Exascale. The project develops world class, extreme scale computing capabilities for European operational numerical weather prediction and future climate models. This is done by identifying weather climate dwarfs which are key patterns in terms of computation and communication (in the spirit of the Berkeley dwarfs). These dwarfs are then optimised for different hardware architectures (single and multi node) and alternative algorithms are explored. Performance portability is addressed through the use of domain specific languages. This deliverable contains the description of the characteristics of the weather climate dwarfs that form key functional components of prediction models in terms of the science that they encapsulate and in terms of computational cost they impose on the forecast production. The ESCAPE work flow between work packages centres on these dwarfs and hence their selection, their performance assessment, code adaptation and optimization is crucial for the success of the project. At this stage of ESCAPE, a selection of established and new dwarfs has been made, their documentation been compiled and the software been made available on the software exchange platform. The selection of dwarfs will be extended throughout the course of the project (see Deliverable D1.2). The current selection includes the spectral transforms, the cloud microphysics scheme, two and three dimensional elliptic solvers, a bi Fourier spectral transform, an interpolation needed for the semi Lagrangian advection scheme and a first version of the semi Lagrangian advection scheme itself. This deliverable includes their scientific description and the guidance for installation, execution and testing.


Optimal Liouville theorems for superlinear parabolic problems. Liouville theorems for scaling invariant nonlinear parabolic equations and systems (saying that the equation or system does not possess positive entire solutions) guarantee optimal universal estimates of solutions of related initial and initial boundary value problems. In the case of the nonlinear heat equation u t Delta u u p quad hbox in quad R n times R , qquad p 1, the nonexistence of positive classical solutions in the subcritical range p(n 2) n 2 has been conjectured for a long time, but all known results require either a more restrictive assumption on p or deal with a special class of solutions (time independent or radially symmetric or satisfying suitable decay conditions). We solve this open problem and by using the same arguments we also prove optimal Liouville theorems for a class of superlinear parabolic systems. In the case of the nonlinear heat equation, straightforward applications of our Liouville theorem solve several related long standing problems. For example, they guarantee an optimal Liouville theorem for ancient solutions, optimal decay estimates for global solutions of the coresponding Cauchy problem, optimal blow up rate estimate for solutions in non convex domains, optimal universal estimates for solutions of the corresponding initial boundary value problems. The proof of our main result is based on refined energy estimates for suitably rescaled solutions.


Using graph theory to compute Laplace operators arising in a model for blood flow in capillary network. Maintaining cerebral blood flow is critical for adequate neuronal function. Previous computational models of brain capillary networks have predicted that heterogeneous cerebral capillary flow patterns result in lower brain tissue partial oxygen pressures. It has been suggested that this may lead to number of diseases such as Alzheimer's disease, acute ischemic stroke, traumatic brain injury and ischemic heart disease. We have previously developed a computational model that was used to describe in detail the effect of flow heterogeneities on tissue oxygen levels. The main result in that paper was that, for a general class of capillary networks, perturbations of segment diameters or conductances always lead to decreased oxygen levels. This result was verified using both numerical simulations and mathematical analysis. However, the analysis depended on a novel conjecture concerning the Laplace operator of functions related to the segment flow rates and how they depend on the conductances. The goal of this paper is to give a mathematically rigorous proof of the conjecture for a general class of networks. The proof depends on determining the number of trees and forests in certain graphs arising from the capillary network.


State of the Art Vietnamese Word Segmentation. Word segmentation is the first step of any tasks in Vietnamese language processing. This paper reviews stateof the art approaches and systems for word segmentation in Vietnamese. To have an overview of all stages from building corpora to developing toolkits, we discuss building the corpus stage, approaches applied to solve the word segmentation and existing toolkits to segment words in Vietnamese sentences. In addition, this study shows clearly the motivations on building corpus and implementing machine learning techniques to improve the accuracy for Vietnamese word segmentation. According to our observation, this study also reports a few of achivements and limitations in existing Vietnamese word segmentation systems.


Ollivier curvature of random geometric graphs converges to Ricci curvature of their Riemannian manifolds. Curvature is a fundamental geometric characteristic of smooth spaces. In recent years different notions of curvature have been developed for combinatorial discrete objects such as graphs. However, the connections between such discrete notions of curvature and their smooth counterparts remain lurking and moot. In particular, it is not rigorously known if any notion of graph curvature converges to any traditional notion of curvature of smooth space. Here we prove that in proper settings the Ollivier Ricci curvature of random geometric graphs in Riemannian manifolds converges to the Ricci curvature of the manifold. This is the first rigorous result linking curvature of random graphs to curvature of smooth spaces. Our results hold for different notions of graph distances, including the rescaled shortest path distance, and for different graph densities. With the scaling of the average degree, as a function of the graph size, ranging from nearly logarithmic to nearly linear.


Slightly Compressible Forchheimer Flows in Rotating Porous Media. We formulate the the generalized Forchheimer equations for the three dimensional fluid flows in rotating porous media. By implicitly solving the momentum in terms of the pressure's gradient, we derive a degenerate parabolic equation for the density in the case of slightly compressible fluids and study its corresponding initial, boundary value problem. We investigate the nonlinear structure of the parabolic equation. The maximum principle is proved and used to obtain the maximum estimates for the solution. Various estimates are established for the solution's gradient, in the Lebesgue norms of any order, in terms of the initial and boundary data. All estimates contain explicit dependence on key physical parameters including the angular speed.


Kirchhoff's theorem for Prym varieties. We prove an analogue of Kirchhoff's matrix tree theorem for computing the volume of the tropical Prym variety for double covers of metric graphs. We interpret the formula in terms of a semi canonical decomposition of the tropical Prym variety, via a careful study of the tropical Abel Prym map. In particular, we show that the map is harmonic, determine its degree at every cell of the decomposition, and prove that its global degree is 2 g 1 . Along the way, we use the Ihara zeta function to provide a new proof of the analogous result for finite graphs. As a counterpart, the appendix by Sebastian Casalaina Martin shows that the degree of the algebraic Abel Prym map is 2 g 1 as well.


Clinical Predictive Keyboard using Statistical and Neural Language Modeling. A language model can be used to predict the next word during authoring, to correct spelling or to accelerate writing (e.g., in sms or emails). Language models, however, have only been applied in a very small scale to assist physicians during authoring (e.g., discharge summaries or radiology reports). But along with the assistance to the physician, computer based systems which expedite the patient's exit also assist in decreasing the hospital infections. We employed statistical and neural language modeling to predict the next word of a clinical text and assess all the models in terms of accuracy and keystroke discount in two datasets with radiology reports. We show that a neural language model can achieve as high as 51.3 accuracy in radiology reports (one out of two words predicted correctly). We also show that even when the models are employed only for frequent words, the physician can save valuable time.


Enriched categories and tropical mathematics. This is a survey paper on the connection of enriched category theory over a quantale and tropical mathematics. Quantales or complete idempotent semirings, as well as matrices with coefficients in them, are fundamental objects in both fields. We first explain standard category theoretic constructions on matrices, namely composition, right extension, right lifting and the Isbell hull. Along the way, we review known reformulations (due to Elliott and Willerton) of tropical polytopes, directed tight spans and the Legendre Fenchel transform by means of these constructions, illustrating their ubiquity in tropical mathematics and related fields. We then consider complete semimodules over a quantale mathcal Q , a tropical analogue of vector spaces over a field, and mention Stubbe's result identifying them with skeletal and complete mathcal Q categories. With the aim to bridge a gap between enriched category theory and tropical mathematics, we assume no knowledge in either field.


An End to End Encryption Solution for Enterprise Content Applications. The content host services (like Dropbox, OneDrive, and Google Drive) used by enterprise customers are deployed either on premise or in cloud. Because users may store business sensitive data (contents) in these hosting services, they may want to protect their data from disclosure to anyone else, even IT administrators. Unfortunately, even contents (files) are encrypted in the hosting services, they sometimes are still accessible to IT administrators today. The sensitive data could be exposed to public if the IT administrator turns malicious (like disgruntled employee) or his account is compromised by hackers. We propose an end to end encryption (E2EE) solution to address this challenge. The user data is encrypted at client side (mobile device) and remains encrypted in transit and at rest on server. Specifically, we design a new method to allow master secret recover and escrow, while protecting them from being accessed by malicious administrators. In addition, we present a content (file) encryption scheme that achieves privacy, and granular access control. And it can be seamlessly integrated with major content host services used by business users today.


On chip directional octave spanning supercontinuum generation from high order mode in near ultraviolet to infrared spectrum using AlN waveguides. On chip ultraviolet to infrared (UV IR) spectrum frequency metrology is of crucial importance as a characterization tool for fundamental studies on quantum physics, chemistry, and biology. Due to the strong material dispersion, traditional techniques fail to demonstrate the device that can be applied to generate coherent broadband spectrum that covers the full UV IR wavelengths. In this work, we explore several novel techniques for supercontinuum generation covering near UV to near IR spectrum using AlN micro photonic waveguides, which is essential for frequency metrology applications First, to create anomalous dispersion, high order mode (TE10) was adopted, together with its carefully designed high efficiency excitation strategies. Second, the spectrum was broadened by soliton fission through third order dispersion and second harmonic generation, by which directional energy transfer from near IR to near UV can be obtained. Finally, high quality single crystalline AlN material was used to provide broadband transparency from UV to IR. Under decently low pulse energy of 0.36 nJ, the experimental spectrum from supercontinuum generation covers from 490 nm to over 1100 nm, with a second harmonic generation band covering from 405 nm to 425 nm. This work paves the way towards UV IR full spectrum on chip frequency metrology applications.


Irreducibility of moduli of vector bundles over a very general sextic Surface. Let S be a very general smooth hypersurface of degree 6 in mathbb P 3 . In this paper we will prove that the moduli space of mu stable rank 2 torsion free sheaves with respect to hyperplane section having c 1 mathcal O S(1) , with fixed c 2 ge 27 is irreducible.


On stabilization of nonlinear systems with drift by time varying feedback laws. This paper deals with the stabilization problem for nonlinear control affine systems with the use of oscillating feedback controls. We assume that the local controllability around the origin is guaranteed by the rank condition with Lie brackets of length up to 3. This class of systems includes, in particular, mathematical models of rotating rigid bodies. We propose an explicit control design scheme with time varying trigonometric polynomials whose coefficients depend on the state of the system. The above coefficients are computed in terms of the inversion of the matrix appearing in the controllability condition. It is shown that the proposed controllers can be used to solve the stabilization problem by exploiting the Chen Fliess expansion of solutions of the closed loop system. We also present results of numerical simulations for controlled Euler's equations and a mathematical model of underwater vehicle to illustrate the efficiency of the obtained controllers.


Structures and bimodules of simple Hom alternative algebras. This paper is mainly devoted to a structure study of Hom alternative algebras . Equivalent conditions for Hom alternative algebras being solvable, simple and semi simple are displayed. Moreover some results about Hom alternative bimodule are found.


MV PBT Multi Version Index for Large Datasets and HTAP Workloads. Modern mixed (HTAP) workloads execute fast update transactions and long running analytical queries on the same dataset and system. In multi version (MVCC) systems, such workloads result in many short lived versions and long version chains as well as in increased and frequent maintenance overhead. Consequently, the index pressure increases significantly. Firstly, the frequent modifications cause frequent creation of new versions, yielding a surge in index maintenance overhead. Secondly and more importantly, index scans incur extra I O overhead to determine, which of the resulting tuple versions are visible to the executing transaction (visibility check) as current designs only store version timestamp information in the base table not in the index. Such index only visibility check is critical for HTAP workloads on large datasets. In this paper we propose the Multi Version Partitioned B Tree (MV PBT) as a version aware index structure, supporting index only visibility checks and flash friendly I O patterns. The experimental evaluation indicates a 2x improvement for analytical queries and 15 higher transactional throughput under HTAP workloads (CH Benchmark). MV PBT offers 40 higher transactional throughput compared to WiredTiger's LSM Tree implementation under YCSB.


Subtrees and independent subsets in unicyclic graphs and unicyclic graphs with fixed segment sequence. In the study of topological indices two negative correlations are well known that between the number of subtrees and the Wiener index (sum of distances), and that between the Merrifield Simmons index (number of independent vertex subsets) and the Hosoya index (number of independent edge subsets). That is, among a certain class of graphs, the extremal graphs that maximize one index usually minimize the other, and vice versa. In this paper, we first study the numbers of subtrees in unicyclic graphs and unicyclic graphs with a given girth, further confirming its opposite behavior to the Wiener index by comparing with known results. We then consider the unicyclic graphs with a given segment sequence and characterize the extremal structure with the maximum number of subtrees. Furthermore, we show that these graphs are not extremal with respect to the Wiener index. We also identify the extremal structures that maximize the number of independent vertex subsets among unicyclic graphs with a given segment sequence, and show that they are not extremal with respect to the number of independent edge subsets. These results may be the first examples where the above negative correlation failed in the extremal structures between these two pairs of indices.


Towards an Appropriate Query, Key, and Value Computation for Knowledge Tracing. Knowledge tracing, the act of modeling a student's knowledge through learning activities, is an extensively studied problem in the field of computer aided education. Although models with attention mechanism have outperformed traditional approaches such as Bayesian knowledge tracing and collaborative filtering, they share two limitations. Firstly, the models rely on shallow attention layers and fail to capture complex relations among exercises and responses over time. Secondly, different combinations of queries, keys and values for the self attention layer for knowledge tracing were not extensively explored. Usual practice of using exercises and interactions (exercise response pairs) as queries and keys values respectively lacks empirical support. In this paper, we propose a novel Transformer based model for knowledge tracing, SAINT Separated Self AttentIve Neural Knowledge Tracing. SAINT has an encoder decoder structure where exercise and response embedding sequence separately enter the encoder and the decoder respectively, which allows to stack attention layers multiple times. To the best of our knowledge, this is the first work to suggest an encoder decoder model for knowledge tracing that applies deep self attentive layers to exercises and responses separately. The empirical evaluations on a large scale knowledge tracing dataset show that SAINT achieves the state of the art performance in knowledge tracing with the improvement of AUC by 1.8 compared to the current state of the art models.


The Cauchy Problem for Dissipative Benjamin Ono equation in Weighted Sobolev spaces. We study the well posedness in weighted Sobolev spaces, for the initial value problem (IVP) associated with the dissipative Benjamin Ono (dBO) equation. We establish persistence properties of the solution flow in the weighted Sobolev spaces z s,r H s( R) cap L 2( x 2r dx) , s geq r 0 . We also prove some unique continuation properties in these spaces. In particular, such results of unique continuation show that our results of well posedness are sharp.


A marine radioisotope gamma ray spectrum analysis method based on Monte Carlo simulation and MLP neural network. The monitoring of Cs 137 in seawater using scintillation detector relies on the spectrum analysis method to extract the Cs 137 concentration. And when in poor statistic situation, the calculation result of the traditional net peak area (NPA) method has a large uncertainty. We present a machine learning based method to better analyze the gamma ray spectrum with low Cs 137 concentration. We apply multilayer perceptron (MLP) to analyze the 662 keV full energy peak of Cs 137 in the seawater spectrum. And the MLP can be trained with a few measured background spectrums by combining the simulated Cs 137 signal with measured background spectrums. Thus, it can save the time of preparing and measuring the standard samples for generating the training dataset. To validate the MLP based method, we use Geant4 and background gamma ray spectrums measured by a seaborne monitoring device to generate an independent test dataset to test the result by our method and the traditional NPA method. We find that the MLP based method achieves a root mean squared error of 0.159, 2.3 times lower than that of the traditional net peak area method, indicating the MLP based method improves the precision of Cs 137 concentration calculation


Zoom CAM Generating Fine grained Pixel Annotations from Image Labels. Current weakly supervised object localization and segmentation rely on class discriminative visualization techniques to generate pseudo labels for pixel level training. Such visualization methods, including class activation mapping (CAM) and Grad CAM, use only the deepest, lowest resolution convolutional layer, missing all information in intermediate layers. We propose Zoom CAM going beyond the last lowest resolution layer by integrating the importance maps over all activations in intermediate layers. Zoom CAM captures fine grained small scale objects for various discriminative class instances, which are commonly missed by the baseline visualization methods. We focus on generating pixel level pseudo labels from class labels. The quality of our pseudo labels evaluated on the ImageNet localization task exhibits more than 2.8 improvement on top 1 error. For weakly supervised semantic segmentation our generated pseudo labels improve a state of the art model by 1.1 .


Generators of finite fields with prescribed traces. This paper explores the existence and distribution of primitive elements in finite field extensions with prescribed traces in several intermediate field extensions. Our main result provides an inequality like condition to ensure the existence of such elements. We then derive concrete existence results for a special class of intermediate extensions.


SongNet Rigid Formats Controlled Text Generation. Neural text generation has made tremendous progress in various tasks. One common characteristic of most of the tasks is that the texts are not restricted to some rigid formats when generating. However, we may confront some special text paradigms such as Lyrics (assume the music score is given), Sonnet, SongCi (classical Chinese poetry of the Song dynasty), etc. The typical characteristics of these texts are in three folds (1) They must comply fully with the rigid predefined formats. (2) They must obey some rhyming schemes. (3) Although they are restricted to some formats, the sentence integrity must be guaranteed. To the best of our knowledge, text generation based on the predefined rigid formats has not been well investigated. Therefore, we propose a simple and elegant framework named SongNet to tackle this problem. The backbone of the framework is a Transformer based auto regressive language model. Sets of symbols are tailor designed to improve the modeling performance especially on format, rhyme, and sentence integrity. We improve the attention mechanism to impel the model to capture some future information on the format. A pre training and fine tuning framework is designed to further improve the generation quality. Extensive experiments conducted on two collected corpora demonstrate that our proposed framework generates significantly better results in terms of both automatic metrics and the human evaluation.


Robust Optimization with Decision Dependent Information Discovery. Robust optimization is a popular paradigm for modeling and solving two and multi stage decision making problems affected by uncertainty. Most approaches assume that the uncertain parameters can be observed for free and that the sequence in which they are revealed is independent of the decision maker's actions. Yet, these assumptions fail to hold in many real world applications where the time of information discovery is decision dependent and the uncertain parameters only become observable after an often costly investment. To fill this gap, we consider two and multi stage robust optimization problems in which part of the decision variables control the time of information discovery. Thus, information available at any given time is decision dependent and can be discovered (at least in part) by making strategic exploratory investments in previous stages. We propose a novel dynamic formulation of the problem and prove its correctness. We leverage our model to provide a solution method inspired from the K adaptability approximation, whereby K candidate strategies for each decision stage are chosen here and now and, at the beginning of each period, the best of these strategies is selected after the uncertain parameters that were chosen to be observed are revealed. We reformulate the problem as a finite program solvable with off the shelf solvers. We generalize our approach to the minimization of piecewise linear convex functions. We demonstrate the effectiveness of our method on synthetic instances of the Pandora box problem, the best box problem, and the R D project portfolio optimization problem. Finally, we evaluate it on an instance of the active preference elicitation problem used to recommend kidney allocation policies to policy makers at the United Network for Organ Sharing based on real data from the U.S. Kidney Allocation System.


A systematic approach to reduced GLT. This paper concerns the spectral analysis of matrix sequences that are generated by the discretization and numerical approximation of partial differential equations (PDEs), in case the domain is a generic Peano Jordan measurable set. It is observed that such matrix sequences often present a spectral symbol, that is a measurable function describing the asymptotic behaviour of the eigenvalues. When the domain is a hypercube, the analysis can be conducted using the theory of generalized locally Toeplitz (GLT) sequences, but in case of generic domain, a new kind of matrix sequences and theory has to be formalized. We thus introduce the Reduced GLT sequences and symbols, developing in full detail its theory, and presenting some application to finite differences and finite elements discretization for convection diffusion reaction differential equations.


Beyond Triplet Loss Person Re identification with Fine grained Difference aware Pairwise Loss. Person Re IDentification (ReID) aims at re identifying persons from different viewpoints across multiple cameras. Capturing the fine grained appearance differences is often the key to accurate person ReID, because many identities can be differentiated only when looking into these fine grained differences. However, most state of the art person ReID approaches, typically driven by a triplet loss, fail to effectively learn the fine grained features as they are focused more on differentiating large appearance differences. To address this issue, we introduce a novel pairwise loss function that enables ReID models to learn the fine grained features by adaptively enforcing an exponential penalization on the images of small differences and a bounded penalization on the images of large differences. The proposed loss is generic and can be used as a plugin to replace the triplet loss to significantly enhance different types of state of the art approaches. Experimental results on four benchmark datasets show that the proposed loss substantially outperforms a number of popular loss functions by large margins and it also enables significantly improved data efficiency.


An Ansatz for undecidable computation in RNA automata. In this Ansatz we consider theoretical constructions of RNA polymers into automata, a form of computational structure. The basis for transitions in our automata are plausible RNA enzymes that may perform ligation or cleavage. Limited to these operations, we construct RNA automata of increasing complexity from the Finite Automaton (RNA FA) to the Turing Machine equivalent 2 stack PDA (RNA 2PDA) and the universal RNA UPDA. For each automaton we show how the enzymatic reactions match the logical operations of the RNA automaton. A critical theme of the Ansatz is the self reference in RNA automata configurations which exploits the program data duality but results in undecidable computation. We describe how undecidable computation is exemplified in the self referential Liar paradox that places a boundary on a logical system, and by construction, any RNA automata. We argue that an expansion of the evolutionary space for RNA 2PDA automata can be interpreted as a hierarchical resolution of the undecidable computation by a meta system (akin to Turing's oracle), in a continual process analogous to Turing's ordinal logics and Post's extensible recursively generated logics. On this basis, we put forward the hypothesis that the resolution of undecidable configurations in RNA automata represent a novelty generation mechanism and propose avenues for future investigation of biological automata.


Inducing Syntactic Trees from BERT Representations. We use the English model of BERT and explore how a deletion of one word in a sentence changes representations of other words. Our hypothesis is that removing a reducible word (e.g. an adjective) does not affect the representation of other words so much as removing e.g. the main verb, which makes the sentence ungrammatical and of "high surprise" for the language model. We estimate reducibilities of individual words and also of longer continuous phrases (word n grams), study their syntax related properties, and then also use them to induce full dependency trees.


Distance measurements between carbon and bromine using a split pulse PM RESPDOR solid state NMR experiment. Solid state NMR have been long used to probe atomic distances between nearby nuclear spins by virtue of the dipolar interaction. New technological advances have enabled simultaneous tuning of the radio frequency resonance circuits to nuclei with close Larmor frequencies, bringing a great promise also to distance measurements between such nuclei, in particular for nuclei with a spin larger than one half. However, this new possibility has also required modifications of those experiments since the two nuclei cannot be irradiated simultaneously. When measuring distances between a spin S 1 2 and a quadrupolar spin (S 1 2), this drawback can be overcome by splitting the continuous wave recoupling pulse applied to the quadrupolar nucleus. We show here that a similar adjustment to a highly efficient phase modulated (PM) recoupling pulse enables distance measurements between nuclei with close Larmor frequencies, where the coupled spin experiences a very large coupling. Such an experiment, split phase modulated RESPDOR, is demonstrated on a 13C 81Br system, where the difference in Larmor frequencies is only 7 , or 11.2 MHz on a 14.1T magnet. The inter nuclear distances are extracted using an unscaled analytical formula. Since bromine usually experiences particularly high quadrupolar couplings, as in the current case, we suggest that the split PM RESPDOR experiment can be highly beneficial for the research of bromo compounds, including many pharmaceuticals, where carbon bromine bonds are prevalent, and organo catalysts utilizing the high reactivity of bromides. We show that for butyl triphenylphosphonium bromide, distances are in agreement with a low hydration compound rather than a semi clathrate form. The split PM RESPDOR experiment is suitable for distance measurement between any quadrupolar spin 1 2 pairs, in particular when the quadrupolar spin experiences a significantly large coupling.


X Dispersionless Maxwell solver for plasma based particle acceleration. A semi implicit finite difference time domain (FDTD) numerical Maxwell solver is developed for full electromagnetic Particle in Cell (PIC) codes for the simulations of plasma based acceleration. The solver projects the volumetric Yee lattice into planes transverse to a selected axis (the particle acceleration direction) that makes the scheme quasi one dimensional. The scheme removes the numerical dispersion of electromagnetic waves running parallel the selected axis. The fields locations in the transverse plane are selected so that the scheme is Lorentz invariant for relativistic transformations along the selected axis. The solver results in "Galilean shift" of transverse fields by exactly one cell per time step. This removes the problem of numerical Cerenkov instability (NCI). The fields positions build rhombi in plane (RIP) patterns. The RIP scheme uses a compact local stencil that makes it perfectly suitable for massively parallel processing via domain decomposition along all three dimensions. No global local spectral methods are involved.


Completeness Theorems for First Order Logic Analysed in Constructive Type Theory (Extended Version). We study various formulations of the completeness of first order logic phrased in constructive type theory and mechanised in the Coq proof assistant. Specifically, we examine the completeness of variants of classical and intuitionistic natural deduction and sequent calculi with respect to model theoretic, algebraic, and game theoretic semantics. As completeness with respect to the standard model theoretic semantics a la Tarski and Kripke is not readily constructive, we analyse connections of completeness theorems to Markov's Principle and Weak K "onig's Lemma and discuss non standard semantics admitting assumption free completeness. We contribute a reusable Coq library for first order logic containing all results covered in this paper.


Gradient Bounded Dynamic Programming for Submodular and Concave Extensible Value Functions with Probabilistic Performance Guarantees. We consider stochastic dynamic programming problems with high dimensional, discrete state spaces and finite, discrete time horizons that prohibit direct computation of the value function from a given Bellman equation for all states and time steps due to the "curse of dimensionality". For the case where the value function of the dynamic program is concave extensible and submodular in its state space, we present a new algorithm that computes deterministic upper and stochastic lower bounds of the value function in the realm of dual dynamic programming. We show that the proposed algorithm terminates after a finite number of iterations. Furthermore, we derive probabilistic guarantees on the value accumulated under the associated policy for a single realisation of the dynamic program and for the expectation of this value. Finally, we demonstrate the efficacy of our approach on a high dimensional numerical example from delivery slot pricing in attended home delivery.


Free inverse monoids are not FP 2 . We give a topological proof that a free inverse monoid on one or more generators is neither of type left FP 2 nor right FP 2 . This strengthens a classical result of Schein that such monoids are not finitely presented as monoids.


Stieltjes moment sequences for pattern avoiding permutations. A small set of combinatorial sequences have coefficients that can be represented as moments of a nonnegative measure on 0, infty) . Such sequences are known as Stieltjes moment sequences. This article focuses on some classical sequences in enumerative combinatorics, denoted Av( mathcal P ) , and counting permutations of 1, 2, ldots, n that avoid some given pattern mathcal P . For increasing patterns mathcal P (12 ldots k) , we recall that the corresponding sequences, Av(123 ldots k) , are Stieltjes moment sequences, and we explicitly find the underlying density function, either exactly or numerically, by using the Stieltjes inversion formula as a fundamental tool. We show that the generating functions of the sequences , Av(1234) and , Av(12345) correspond, up to simple rational functions, to an order one linear differential operator acting on a classical modular form given as a pullback of a Gaussian , 2F 1 hypergeometric function, respectively to an order two linear differential operator acting on the square of a classical modular form given as a pullback of a , 2F 1 hypergeometric function. We demonstrate that the density function for the Stieltjes moment sequence Av(123 ldots k) is closely, but non trivially, related to the density attached to the distance traveled by a walk in the plane with k 1 unit steps in random directions. Finally, we study the challenging case of the Av(1324) sequence and give compelling numerical evidence that this too is a Stieltjes moment sequence. Accepting this, we show how rigorous lower bounds on the growth constant of this sequence can be constructed, which are stronger than existing bounds. A further unproven assumption leads to even better bounds, which can be extrapolated to give an estimate of the (unknown) growth constant.


Integro differential equations linked to compound birth processes with infinitely divisible addends. Stochastic modelling of fatigue (and other material's deterioration), as well as of cumulative damage in risk theory, are often based on compound sums of independent random variables, where the number of addends is represented by an independent counting process. We consider here a cumulative model where, instead of a renewal process (as in the Poisson case), a linear birth (or Yule) process is used. This corresponds to the assumption that the frequency of textquotedblleft damage" increments accelerates according to the increasing number of textquotedblleft damages". We start from the partial differential equation satisfied by its transition density, in the case of exponentially distributed addends, and then we generalize it by introducing a space derivative of convolution type (i.e. defined in terms of the Laplace exponent of a subordinator). Then we are concerned with the solution of integro differential equations, which, in particular cases, reduce to fractional ones. Correspondingly, we analyze the related cumulative jump processes under a general infinitely divisible distribution of the (positive) jumps. Some special cases (such as the stable, tempered stable, gamma and Poisson) are presented.


Bounds to the Normal Approximation for Linear Recursions with Two Effects. Let X 0 be a non constant random variable with finite variance. Given an integer k ge2 , define a sequence X n n 1 infty of approximately linear recursions with small perturbations Delta n n 0 infty by X n 1 sum i 1 k a n,i X n,i Delta n quad text for all n ge0 where X n,1 , dots,X n,k are independent copies of the X n and a n,1 , dots,a n,k are real numbers. In 2004, Goldstein obtained bounds on the Wasserstein distance between the standard normal distribution and the law of X n which is in the form C gamma n for some constants C 0 and 0 gamma 1 . In this article, we extend the results to the case of two effects by studying a linear model Z n X n Y n for all n ge0 , where Y n n 1 infty is a sequence of approximately linear recursions with an initial random variable Y 0 and perturbations Lambda n n 0 infty , i.e., for some ell ge2 , Y n 1 sum j 1 ell b n,j Y n,j Lambda n quad text for all n ge0 where Y n and Y n,1 , dots,Y n, ell are independent and identically distributed random variables and b n,1 , dots,b n, ell are real numbers. Applying the zero bias transformation in the Stein rq s equation, we also obtain the bound for Z n . Adding further conditions that the two models (X n, Delta n) and (Y n, Lambda n) are independent and that the difference between variance of X n and Y n is smaller than the sum of variances of their perturbation parts, our result is the same as previous work.


Safe Disassociation of Set Valued Datasets. Disassociation introduced by Terrovitis et al. is a bucketization based anonimyzation technique that divides a set valued dataset into several clusters to hide the link between individuals and their complete set of items. It increases the utility of the anonymized dataset, but on the other side, it raises many privacy concerns, one in particular, is when the items are tightly coupled to form what is called, a cover problem. In this paper, we present safe disassociation, a technique that relies on partial suppression, to overcome the aforementioned privacy breach encountered when disassociating set valued datasets. Safe disassociation allows the k m anonymity privacy constraint to be extended to a bucketized dataset and copes with the cover problem. We describe our algorithm that achieves the safe disassociation and we provide a set of experiments to demonstrate its efficiency.


Monge Amp e re measures on contact sets. Let (X, omega) be a compact K "ahler manifold of complex dimension n and theta be a smooth closed real (1,1) form on X such that its cohomology class theta in H 1,1 (X, mathbb R ) is pseudoeffective. Let varphi be a theta psh function, and let f be a continuous function on X with bounded distributional laplacian with respect to omega such that varphi leq f. Then the non pluripolar measure theta varphi n ( theta dd c varphi) n satisfies the equality bf 1 varphi f theta varphi n bf 1 varphi f theta f n, where, for a subset T subseteq X , bf 1 T is the characteristic function. In particular we prove that theta P theta (f) n bf 1 P theta (f) f theta f n qquad rm and qquad theta P theta varphi (f) n bf 1 P theta varphi (f) f theta f n.


A Joint Model for Aspect Category Sentiment Analysis with Shared Sentiment Prediction Layer. Aspect category sentiment analysis (ACSA) aims to predict the aspect categories mentioned in texts and their corresponding sentiment polarities. Some joint models have been proposed to address this task. Given a text, these joint models detect all the aspect categories mentioned in the text and predict the sentiment polarities toward them at once. Although these joint models obtain promising performances, they train separate parameters for each aspect category and therefore suffer from data deficiency of some aspect categories. To solve this problem, we propose a novel joint model which contains a shared sentiment prediction layer. The shared sentiment prediction layer transfers sentiment knowledge between aspect categories and alleviates the problem caused by data deficiency. Experiments conducted on SemEval 2016 Datasets demonstrate the effectiveness of our model.


Convergence of p adic pluricanonical measures to Lebesgue measures on skeleta in Berkovich spaces. Let K be a non archimedean local field, X a smooth and proper K scheme, and fix a pluricanonical form on X . For every finite extension K' of K , the pluricanonical form induces a measure on the K' analytic manifold X(K') . We prove that, when K' runs through all finite tame extensions of K , suitable normalizations of the pushforwards of these measures to the Berkovich analytification of X converge to a Lebesgue type measure on the temperate part of the Kontsevich Soibelman skeleton, assuming the existence of a strict normal crossings model for X . We also prove a similar result for all finite extensions K' under the assumption that X has a log smooth model. This is a non archimedean counterpart of analogous results for volume forms on degenerating complex Calabi Yau manifolds by Boucksom and the first named author. Along the way, we develop a general theory of Lebesgue measures on Berkovich skeleta over discretely valued fields.


High Efficiency Second Harmonic Generation of Low Temporal Coherent Light Pulse. The nonlinear frequency conversion of low temporal coherent light holds a variety of applications and has attracted considerable interest. However, its physical mechanism remains relatively unexplored, and the conversion efficiency and bandwidth are extremely insufficient. Here, considering the instantaneous broadband characteristic, we establish a model of second harmonic generation (SHG) of low temporal coherent pulse, and reveal its differences from the coherent conditions. It is found that the second harmonic (SH) of low temporal coherent light is produced by not only the degenerate SH processes but also crossed sum frequency processes. On the basis of this, we propose a method for realizing low temporal coherent SHG with high efficiency and broad bandwidth, and experimentally demonstrate a conversion efficiency up to 70 with a bandwidth of 3.1 THz (2.9 nm centered at 528 nm). To the best of our knowledge, this is the highest efficiency and broadest bandwidth of low temporal coherent SHG, and its efficiency is almost the same with that of the narrowband coherent condition. Furthermore, the spectral evolution characteristics of the broadband low temporal coherent pulse in SHG process are revealed in experiments, that the SH power spectral density (PSD) is proportional to the self convolution of the fundamental wave PSD, which is greatly different from that of the coherent process. Our research opens a door for the study of the low coherent nonlinear optical processes.


PAGAN Video Affect Annotation Made Easy. How could we gather affect annotations in a rapid, unobtrusive, and accessible fashion? How could we still make sure that these annotations are reliable enough for data hungry affect modelling methods? This paper addresses these questions by introducing PAGAN, an accessible, general purpose, online platform for crowdsourcing affect labels in videos. The design of PAGAN overcomes the accessibility limitations of existing annotation tools, which often require advanced technical skills or even the on site involvement of the researcher. Such limitations often yield affective corpora that are restricted in size, scope and use, as the applicability of modern data demanding machine learning methods is rather limited. The description of PAGAN is accompanied by an exploratory study which compares the reliability of three continuous annotation tools currently supported by the platform. Our key results reveal higher inter rater agreement when annotation traces are processed in a relative manner and collected via unbounded labelling.


Single machine scheduling with an external resource. This paper studies the complexity of single machine scheduling with an external resource, which is rented for a non interrupted period. Jobs that need this external resource are executed only when the external resource is available. There is a cost associated with the scheduling of jobs and a cost associated with the duration of the renting period of the external resource. We look at four classes of problems with an external resource a class of problems where the renting period is budgeted and the scheduling cost needs to be minimized, a class of problems where the scheduling cost is budgeted and the renting period needs to be minimized, a class of two objective problems where both, the renting period and the scheduling cost, are to be minimized, and a class of problems where a linear combination of the scheduling cost and the renting period is minimized. We provide a thorough complexity analysis (NP hardness proofs and (pseudo )polynomial algorithms) for different members of these four classes.


Moir 'e Hyperbolic Metasurfaces. Recent advances in twistronics of low dimensional materials, such as bilayer graphene and transition metal dichalcogenides, have enabled a plethora of unusual phenomena associated with moir 'e physics. However, several of these effects require demanding manipulation of superlattices at the atomic scale, such as the careful control of rotation angle between two closely spaced atomic lattices. Here, we study moir 'e hyperbolic plasmons in pairs of hyperbolic metasurfaces (HMTSs), unveiling analogous phenomena at the mesoscopic scale. HMTSs are known to support confined surface waves collimated towards specific directions determined by the metasurface dispersion. By rotating two evanescently coupled HMTSs with respect to one another, we unveil rich dispersion engineering, topological transitions at magic angles, broadband field canalization, and plasmon spin Hall phenomena. These findings open remarkable opportunities to advance metasurface optics, enriching it with moir 'e physics and twistronic concepts.


A stabilized total Lagrangian SPH method for large deformation and failure in geomaterials. Conventional smoothed particle hydrodynamics based on Eulerian kernels (CESPH) is widely used in large deformation analysis in geomaterials. Despite being popular, it suffers from tensile instability and rank deficiency thus, it needs several numerical treatments to be stable. In this work, we present a stabilized total Lagrangian SPH method (TLSPH), which is inherently free of tensile instability. A stiffness based hourglass control algorithm is employed to cure the hourglass mode caused by rank deficiency. Periodic update of reference configuration is used in simulations to allow TLSPH to model large deformation and post failure flow in geomaterials. Several numerical examples are presented to show the performance of the stabilized TLSPH method. The comparison between TLSPH and CESPH are discussed. The influences of hourglass control and configuration update are also discussed and shown in the numerical examples. It is found that the presented stabilized TLSPH is robust and can model large deformation and plastic flows in geomaterials. Particularly, the stabilized TLSPH delivers accurate and smooth stress results.


In Search of Dense Subgraphs How Good is Greedy Peeling?. The problem of finding the densest subgraph in a given graph has several applications in graph mining, particularly in areas like social network analysis, protein and gene analyses etc. Depending on the application, finding dense subgraphs can be used to determine regions of high importance, similar characteristics or enhanced interaction. The densest subgraph extraction problem is a fundamentally a non linear optimization problem. Nevertheless, it can be solved in polynomial time by an exact algorithm based on the iterative solution of a series of maximum flow sub problems. Despite its polynomial time complexity, the computing time required by the exact algorithms on very large graphs could be prohibitive. Thus, to approach graphs with millions of vertices and edges, one has to resort to heuristic algorithms. We provide an efficient implementation of a greedy heuristic from the literature that is extremely fast and has some nice theoretical properties. We also introduce a new heurisitic algorithm that is built on top of the greedy and the exact methods. An extensive computational study is presented to evaluate the performance of various solution methods on a benchmark composed of 86 instances taken from the literature. This analysis shows that the proposed heuristic algorithm proved very effective on a large number of test instances, often providing either the optimal solution or near optimal solution within short computing times.


Reevaluation of the nuclear electric quadrupole moment for 87Sr by hyperfine structures and relativistic atomic theory. The values of nuclear electric quadrupole moment are different by about 7 for 87Sr nucleus between the recommended value N. J. Stone, At. Data Nucl. Data Tables 111 112, 1 (2016) P. Pyykko, Mol. Phys. 116, 1328 (2018) and earlier results e.g. A. M. Matensson Pendrill, J. Phys. B At. Mol. Opt. Phys. 35, 917 (2002) K. Z. Yu et al., Phys. Rev. A 70, 012506 (2004) . In this work, we reported a new value, Q(87Sr) 328(4) mb, making use of our calculated electric field gradients produced by electrons at nucleus in combination with experimental values for hyperfine structures of the 5s5p 3P1,2 states of the neutral Sr atom. In the framework of the multi configuration Dirac Hartree Fock theory, the electron correlations were taken into account systematically so as to control the uncertainties of the electric field gradient at about 1 level. The present result is different from the recommended value, but in excellent agreement with those by Matensson Pendrill and Yu et al.. We would recommend the present Q value as a reference for 87Sr.


iviz A ROS Visualization App for Mobile Devices. In this work, we introduce iviz, a mobile application for visualizing ROS data. In the last few years, the popularity of ROS has grown enormously, making it the standard platform for open source robotic programming. A key reason for this success is the availability of polished, general purpose modules for many tasks, such as localization, mapping, path planning, and quite importantly, data visualization. However, the availability of the latter is generally restricted to PCs with the Linux operating system. Thus, users that want to see what is happening in the system with a smartphone or a tablet are stuck with solutions such as screen mirroring or using web browser versions of rviz, which are difficult to interact with from a mobile interface. More importantly, this makes newer visualization modalities such as Augmented Reality impossible. Our application iviz, based on the Unity engine, addresses these issues by providing a visualization platform designed from scratch to be usable in mobile platforms, such as iOS, Android, and UWP, and including native support for Augmented Reality for all three platforms. If desired, it can also be used in a PC with Linux, Windows, or macOS without any changes.


Single Photon Stored Light Interferometry. We demonstrate a single photon stored light interferometer, where a photon is stored in a laser cooled atomic ensemble in the form of a Rydberg polariton with a spatial extent of 10 times1 times1 mu m 3 . The photon is subject to a Ramsey sequence, i.e. split' into a superposition of two paths. After a delay of up to 450 ns, the two paths are recombined to give an output dependent on their relative phase. The superposition time of 450 ns is equivalent to a free space propagation distance of 135 m. We show that the interferometer fringes are sensitive to external fields, and suggest that stored light interferometry could be useful for localized sensing applications.


TrajectoryNet a new spatio temporal feature learning network for human motion prediction. Human motion prediction is an increasingly interesting topic in computer vision and robotics. In this paper, we propose a new 2D CNN based network, TrajectoryNet, to predict future poses in the trajectory space. Compared with most existing methods, our model focuses on modeling the motion dynamics with coupled spatio temporal features, local global spatial features and global temporal co occurrence features of the previous pose sequence. Specifically, the coupled spatio temporal features describe the spatial and temporal structure information hidden in the natural human motion sequence, which can be mined by covering the space and time dimensions of the input pose sequence with the convolutional filters. The local global spatial features that encode different correlations of different joints of the human body (e.g. strong correlations between joints of one limb, weak correlations between joints of different limbs) are captured hierarchically by enlarging the receptive field layer by layer and residual connections from the lower layers to the deeper layers in our proposed convolutional network. And the global temporal co occurrence features represent the co occurrence relationship that different subsequences in a complex motion sequence are appeared simultaneously, which can be obtained automatically with our proposed TrajectoryNet by reorganizing the temporal information as the depth dimension of the input tensor. Finally, future poses are approximated based on the captured motion dynamics features. Extensive experiments show that our method achieves state of the art performance on three challenging benchmarks (e.g. Human3.6M, G3D, and FNTU), which demonstrates the effectiveness of our proposed method. The code will be available if the paper is accepted.


Characterizing isolated singularities of conformal hyperbolic metrics. We find the explicit local models of isolated singularities of conformal hyperbolic metrics by Complex Analysis, which is interesting in its own and could potentially be extended to high dimensional case.


Multiset Synchronization with Counting Cuckoo Filters. Set synchronization is a fundamental task in distributed applications and implementations. Existing methods that synchronize simple sets are mainly based on compact data structures such as Bloom filter and its variants. However, these methods are infeasible to synchronize a pair of multisets which allow an element to appear for multiple times. To this end, in this paper, we propose to leverage the counting cuckoo filter (CCF), a novel variant of cuckoo filter, to represent and thereafter synchronize a pair of multisets. The cuckoo filter (CF) is a minimized hash table that uses cuckoo hashing to resolve collisions. CF has an array of buckets, each of which has multiple slots to store element fingerprints. Based on CF, CCF extends each slot as two fields, the fingerprint field and the counter field. The fingerprint field records the fingerprint of element which is stored by this slot while the counter field counts the multiplicity of the stored element. With such a design, CCF is competent to represent any multiset. After generating and exchanging the respective CCFs which represent the local multi sets, we propose the query based and the decoding based methods to identify the different elements between the given multisets. The comprehensive evaluation results indicate that CCF outperforms the counting Bloom filter (CBF) when they are used to synchronize multisets, in terms of both synchronization accuracy and the space efficiency, at the cost of a little higher time consumption.


Learning Lyapunov Functions for Piecewise Affine Systems with Neural Network Controllers. We propose a learning based method for Lyapunov stability analysis of piecewise affine dynamical systems in feedback with piecewise affine neural network controllers. The proposed method consists of an iterative interaction between a learner and a verifier, where in each iteration, the learner uses a collection of samples of the closed loop system to propose a Lyapunov function candidate as the solution to a convex program. The learner then queries the verifier, which solves a mixed integer program to either validate the proposed Lyapunov function candidate or reject it with a counterexample, i.e., a state where the stability condition fails. This counterexample is then added to the sample set of the learner to refine the set of Lyapunov function candidates. We design the learner and the verifier based on the analytic center cutting plane method, in which the verifier acts as the cutting plane oracle to refine the set of Lyapunov function candidates. We show that when the set of Lyapunov functions is full dimensional in the parameter space, the overall procedure finds a Lyapunov function in a finite number of iterations. We demonstrate the utility of the proposed method in searching for quadratic and piecewise quadratic Lyapunov functions.


Aiming Low Is Harder Induction for Lower Bounds in Probabilistic Program Verification. We present a new inductive rule for verifying lower bounds on expected values of random variables after execution of probabilistic loops as well as on their expected runtimes. Our rule is simple in the sense that loop body semantics need to be applied only finitely often in order to verify that the candidates are indeed lower bounds. In particular, it is not necessary to find the limit of a sequence as in many previous rules.


Portfolio Optimisation within a Wasserstein Ball. We study the problem of active portfolio management where an investor aims to outperform a benchmark strategy's risk profile while not deviating too far from it. Specifically, an investor considers alternative strategies whose terminal wealth lie within a Wasserstein ball surrounding a benchmark's being distributionally close and that have a specified dependence copula tying state by state outcomes to it. The investor then chooses the alternative strategy that minimises a distortion risk measure of terminal wealth. In a general (complete) market model, we prove that an optimal dynamic strategy exists and provide its characterisation through the notion of isotonic projections. We further propose a simulation approach to calculate the optimal strategy's terminal wealth, making our approach applicable to a wide range of market models. Finally, we illustrate how investors with different copula and risk preferences invest and improve upon the benchmark using the Tail Value at Risk, inverse S shaped, and lower and upper tail distortion risk measures as examples. We find that investors' optimal terminal wealth distribution has larger probability masses in regions that reduce their risk measure relative to the benchmark while preserving the benchmark's structure.


Event Presence Prediction Helps Trigger Detection Across Languages. The task of event detection and classification is central to most information retrieval applications. We show that a Transformer based architecture can effectively model event extraction as a sequence labeling task. We propose a combination of sentence level and token level training objectives that significantly boosts the performance of a BERT based event extraction model. Our approach achieves a new state of the art performance on ACE 2005 data for English and Chinese. We also test our model on ERE Spanish, achieving an average gain of 2 absolute F1 points over prior best performing model.


ShineOn Illuminating Design Choices for Practical Video based Virtual Clothing Try on. Virtual try on has garnered interest as a neural rendering benchmark task to evaluate complex object transfer and scene composition. Recent works in virtual clothing try on feature a plethora of possible architectural and data representation choices. However, they present little clarity on quantifying the isolated visual effect of each choice, nor do they specify the hyperparameter details that are key to experimental reproduction. Our work, ShineOn, approaches the try on task from a bottom up approach and aims to shine light on the visual and quantitative effects of each experiment. We build a series of scientific experiments to isolate effective design choices in video synthesis for virtual clothing try on. Specifically, we investigate the effect of different pose annotations, self attention layer placement, and activation functions on the quantitative and qualitative performance of video virtual try on. We find that DensePose annotations not only enhance face details but also decrease memory usage and training time. Next, we find that attention layers improve face and neck quality. Finally, we show that GELU and ReLU activation functions are the most effective in our experiments despite the appeal of newer activations such as Swish and Sine. We will release a well organized code base, hyperparameters, and model checkpoints to support the reproducibility of our results. We expect our extensive experiments and code to greatly inform future design choices in video virtual try on. Our code may be accessed at https github.com andrewjong ShineOn Virtual Tryon.


Formally Verified SAT Based AI Planning. We present an executable formally verified SAT encoding of classical AI planning. We use the theorem prover Isabelle HOL to perform the verification. We experimentally test the verified encoding and show that it can be used for reasonably sized standard planning benchmarks. We also use it as a reference to test a state of the art SAT based planner, showing that it sometimes falsely claims that problems have no solutions of certain lengths.


The algebraic dimension of compact complex threefolds with vanishing second Betti numbers. Small changes in sections 4 and 5, results not affected


Classical Kantorovich operators revisited. The main object of this paper is to improve some of the known estimates for classical Kantorovich operators. A quantitative Voronovskaya type result in terms of second moduli of continuity which improves some previous results is obtained. In order to explain non multiplicativity of the Kantorovich operators a Chebyshev Gr "uss inequality is given. Two Gr "uss Voronovskaya theorems for Kantorovich operators are considered as well.


Kinematic wave solutions for dam break floods in non uniform valleys. In non uniform valleys, dam break flood waves can be significantly affected by downstream variations in river width, slope and roughness. To model these effects, we derive new analytical solutions to the kinematic wave equation, applicable to rating curves in the power law form and hydrographs of generic shape as long as they produce a single shock at the wave front. New results are first obtained for uniform channels, using the Gauss Green theorem applied to characteristic bounded regions of the plane. The results are then extended to non uniform valleys, using a change of variable that homogenizes river properties by rescaling the distance coordinate. The solutions are illustrated and validated for idealized cases, then applied to three historical dam failures the 2008 breaching failure of the Tangjiashan landslide dam, the 1976 piping failure of Teton Dam, and the 1959 sudden failure of Malpasset Dam. In spite of the much reduced computational cost and data requirements, the results agree well with the field data and with more elaborate simulations. They also clarify how both river and hydrograph properties affect flood propagation and attenuation.


Scaling limit of Modulation Spaces and Their Applications. Modulation spaces M s p,q were introduced by Feichtinger cite Fei83 in 1983. By resorting to the wavelet basis, B ' e nyi and Oh cite BeOh20 defined a modified version to Feichtinger's modulation spaces for which the symmetry scalings are emphasized for its possible applications in PDE. By carefully investigating the scaling properties of modulation spaces and their connections with the wavelet basis, we will introduce a class of generalized modulation spaces, which contain both Feichtinger's and B ' e nyi and Oh's modulation spaces. As their applications, we will give a local well posedness and a (small data) global well posedness results for NLS in some rougher generalized modulation spaces, which generalize the well posedness results of cite BeOk09 and cite WaHud07 , and certain super critical initial data in H s or in L p are involved in these spaces.


CMOS compatible high performance nanolasing based on perovskite SiN hybrid integration. Coherent light sources in silicon photonics are the long sought holy grail because silicon based materials have indirect bandgap. Traditional strategies for realizing such sources, e.g., heterogeneous photonic integration, strain engineering and nonlinear process, are technologically demanding. Here, we demonstrate a hybrid lasing device composing of perovskite nanocrystals and silicon nitride nanobeam cavity. We fabricate SiN photonic crystal naonobeam cavities on a solid substrate with significantly improved thermal and mechanical stabilities compared to conventional suspended ones. In addition, adding a PMMA encapsulation layer on top of the SiN can significantly boost the Q factor of the cavity mode. By dispersing perovskite nanocrystals as emitters in the PMMA layer, we obtained high performance coherent emissions in terms of lasing threshold, linewidth and mode volumes. Our work offers a compelling way of creating solution processed active integrated photonic devices based on the mature platform of silicon photonics for applications in optical information science and photonic quantum technology.


Non Rigid Structure From Motion by Rank One Basis Shapes. In this paper, we show that the affine, non rigid structure from motion problem can be solved by rank one, thus degenerate, basis shapes. It is a natural reformulation of the classic low rank method by Bregler et al., where it was assumed that the deformable 3D structure is generated by a linear combination of rigid basis shapes. The non rigid shape will be decomposed into the mean shape and the degenerate shapes, constructed from the right singular vectors of the low rank decomposition. The right singular vectors are affinely back projected into the 3D space, and the affine back projections will also be solved as part of the factorisation. By construction, a direct interpretation for the right singular vectors of the low rank decomposition will also follow they can be seen as principal components, hence, the first variant of our method is referred to as Rank 1 PCA. The second variant, referred to as Rank 1 ICA, additionally estimates the orthogonal transform which maps the deformation modes into as statistically independent modes as possible. It has the advantage of pinpointing statistically dependent subspaces related to, for instance, lip movements on human faces. Moreover, in contrast to prior works, no predefined dimensionality for the subspaces is imposed. The experiments on several datasets show that the method achieves better results than the state of the art, it can be computed faster, and it provides an intuitive interpretation for the deformation modes.


Permissioned Blockchain Revisited A Byzantine Game Theoretical Perspective. Despite the popularity and practical applicability of blockchains, there is very limited work on the theoretical foundation of blockchains The lack of rigorous theory and analysis behind the curtain of blockchains has severely staggered its broader applications. This paper attempts to lay out a theoretical foundation for a specific type of blockchains the ones requiring basic authenticity from the participants, also called textit permissioned blockchain . We formulate permissioned blockchain systems and operations into a game theoretical problem by incorporating constraints implied by the wisdom from distributed computing and Byzantine systems. We show that in a noncooperative blockchain game (NBG), a Nash equilibrium can be efficiently found in a closed form even though the game involves more than two players. Somewhat surprisingly, the simulation results of the Nash equilibrium implies that the game can reach a stable status regardless of the number of Byzantine nodes and trustworthy players. We then study a harder problem where players are allowed to form coalitions the coalitional blockchain game (CBG). We show that although the Shapley value for a CBG can be expressed in a more succinct form, its core is empty.


Learning Numeral Embeddings. Word embedding is an essential building block for deep learning methods for natural language processing. Although word embedding has been extensively studied over the years, the problem of how to effectively embed numerals, a special subset of words, is still underexplored. Existing word embedding methods do not learn numeral embeddings well because there are an infinite number of numerals and their individual appearances in training corpora are highly scarce. In this paper, we propose two novel numeral embedding methods that can handle the out of vocabulary (OOV) problem for numerals. We first induce a finite set of prototype numerals using either a self organizing map or a Gaussian mixture model. We then represent the embedding of a numeral as a weighted average of the prototype number embeddings. Numeral embeddings represented in this manner can be plugged into existing word embedding learning approaches such as skip gram for training. We evaluated our methods and showed its effectiveness on four intrinsic and extrinsic tasks word similarity, embedding numeracy, numeral prediction, and sequence labeling.


Concentration results for solutions of a singularly perturbed elliptic system with variable coefficients. In this article we shall study the following elliptic system with coefficients begin equation notag left begin aligned epsilon 2 Delta u c(x)u b(x) v q 1 v, text and epsilon 2 Delta v c(x)v a(x) u p 1 u text in Omega newline u 0, v 0 text in Omega, text and quad frac partial u partial nu 0 frac partial v partial nu text on partial Omega end aligned right. end equation where Omega is a smooth bounded domain in R n, n geq 3 . The coefficients a(x), b(x) and c(x) are positive bounded smooth functions. We shall study the existence of point concentrating solutions and discuss the role of the coefficients to determine the concentration profile of the solutions. We have also discussed some applications of our main theorem towards the existence of solutions concentrating on higher dimensional orbits.


Entity Recognition and Relation Extraction from Scientific and Technical Texts in Russian. This paper is devoted to the study of methods for information extraction (entity recognition and relation classification) from scientific texts on information technology. Scientific publications provide valuable information into cutting edge scientific advances, but efficient processing of increasing amounts of data is a time consuming task. In this paper, several modifications of methods for the Russian language are proposed. It also includes the results of experiments comparing a keyword extraction method, vocabulary method, and some methods based on neural networks. Text collections for these tasks exist for the English language and are actively used by the scientific community, but at present, such datasets in Russian are not publicly available. In this paper, we present a corpus of scientific texts in Russian, RuSERRC. This dataset consists of 1600 unlabeled documents and 80 labeled with entities and semantic relations (6 relation types were considered). The dataset and models are available at https github.com iis research team. We hope they can be useful for research purposes and development of information extraction systems.


To What Extent are Name Variants Used as Named Entities in Turkish Tweets?. Social media texts differ from regular texts in various aspects. One of the main differences is the common use of informal name variants instead of well formed named entities in social media compared to regular texts. These name variants may come in the form of abbreviations, nicknames, contractions, and hypocoristic uses, in addition to names distorted due to capitalization and writing errors. In this paper, we present an analysis of the named entities in a publicly available tweet dataset in Turkish with respect to their being name variants belonging to different categories. We also provide finer grained annotations of the named entities as well formed names and different categories of name variants, where these annotations are made publicly available. The analysis presented and the accompanying annotations will contribute to related research on the treatment of named entities in social media.


An equilibrium problem on the sphere with two equal charges. We study the equilibrium measure on the two dimensional sphere in the presence of an external field generated by two equal point charges. The support of the equilibrium measure is known as the droplet. Brauchart et al. showed that the complement of the droplet consists of two spherical caps when the charges are small. When the charges are bigger the droplet becomes simply connected and we prove that the boundary of the droplet is mapped by stereographic projection to an ellipse in the plane. Moreover, we compute a mother body for the droplet that we derive from an equilibrium problem with a weakly admissible external field on the real line.


An Item Recommendation Approach by Fusing Images based on Neural Networks. There are rich formats of information in the network, such as rating, text, image, and so on, which represent different aspects of user preferences. In the field of recommendation, how to use those data effectively has become a difficult subject. With the rapid development of neural network, researching on multi modal method for recommendation has become one of the major directions. In the existing recommender systems, numerical rating, item description and review are main information to be considered by researchers. However, the characteristics of the item may affect the user's preferences, which are rarely used for recommendation models. In this work, we propose a novel model to incorporate visual factors into predictors of people's preferences, namely MF VMLP, based on the recent developments of neural collaborative filtering (NCF). Firstly, we get visual presentation via a pre trained convolutional neural network (CNN) model. To obtain the nonlinearities interaction of latent vectors and visual vectors, we propose to leverage a multi layer perceptron (MLP) to learn. Moreover, the combination of MF and MLP has achieved collaborative filtering recommendation between users and items. Our experiments conduct Amazon's public dataset for experimental validation and root mean square error (RMSE) as evaluation metrics. To some extent, experimental result on a real world data set demonstrates that our model can boost the recommendation performance.


Quantitative Immunology for Physicists. The adaptive immune system is a dynamical, self organized multiscale system that protects vertebrates from both pathogens and internal irregularities, such as tumours. For these reason it fascinates physicists, yet the multitude of different cells, molecules and sub systems is often also petrifying. Despite this complexity, as experiments on different scales of the adaptive immune system become more quantitative, many physicists have made both theoretical and experimental contributions that help predict the behaviour of ensembles of cells and molecules that participate in an immune response. Here we review some recent contributions with an emphasis on quantitative questions and methodologies. We also provide a more general methods section that presents some of the wide array of theoretical tools used in the field.


Language Agnostic Syllabification with Neural Sequence Labeling. The identification of syllables within phonetic sequences is known as syllabification. This task is thought to play an important role in natural language understanding, speech production, and the development of speech recognition systems. The concept of the syllable is cross linguistic, though formal definitions are rarely agreed upon, even within a language. In response, data driven syllabification methods have been developed to learn from syllabified examples. These methods often employ classical machine learning sequence labeling models. In recent years, recurrence based neural networks have been shown to perform increasingly well for sequence labeling tasks such as named entity recognition (NER), part of speech (POS) tagging, and chunking. We present a novel approach to the syllabification problem which leverages modern neural network techniques. Our network is constructed with long short term memory (LSTM) cells, a convolutional component, and a conditional random field (CRF) output layer. Existing syllabification approaches are rarely evaluated across multiple language families. To demonstrate cross linguistic generalizability, we show that the network is competitive with state of the art systems in syllabifying English, Dutch, Italian, French, Manipuri, and Basque datasets.


Relaxation of the Boussinesq system and applications to the Rayleigh Taylor instability. We consider the evolution of two incompressible fluids with homogeneous densities rho rho subject to gravity described by the inviscid Boussinesq equations and provide the explicit relaxation of the associated differential inclusion. The existence of a subsolution to the relaxation allows one to conclude the existence of turbulently mixing solutions to the original Boussinesq system. As a specific application we investigate subsolutions emanating from the classical Rayleigh Taylor initial configuration where the two fluids are separated by a horizontal interface with the heavier fluid being on top of the lighter. It turns out that among all self similar subsolutions the criterion of maximal initial energy dissipation selects a linear density profile and a quadratic growth of the mixing zone. The subsolution selected this way can be extended in an admissible way to exist for all times. We provide two possible extensions with different long time limits. The first one corresponds to a total mixture of the two fluids, the second corresponds to a full separation with the lighter fluid on top of the heavier. There is no motion in either of the limit states.


RoFT A Tool for Evaluating Human Detection of Machine Generated Text. In recent years, large neural networks for natural language generation (NLG) have made leaps and bounds in their ability to generate fluent text. However, the tasks of evaluating quality differences between NLG systems and understanding how humans perceive the generated text remain both crucial and difficult. In this system demonstration, we present Real or Fake Text (RoFT), a website that tackles both of these challenges by inviting users to try their hand at detecting machine generated text in a variety of domains. We introduce a novel evaluation task based on detecting the boundary at which a text passage that starts off human written transitions to being machine generated. We show preliminary results of using RoFT to evaluate detection of machine generated news articles.


Optimal Energy Efficiency with Delay Constraints for Multi layer Cooperative Fog Computing Networks. We develop a joint offloading and resource allocation framework for a multi layer cooperative fog computing network, aiming to minimize the total energy consumption of multiple mobile devices subject to their service delay requirements. The resulting optimization involves both binary (offloading decisions) and real variables (resource allocations), making it an NP hard and computationally intractable problem. To tackle it, we first propose an improved branch and bound algorithm (IBBA) that is implemented in a centralized manner. However, due to the large size of the cooperative fog computing network, the computational complexity of the proposed IBBA is relatively high. To speed up the optimal solution searching as well as to enable its distributed implementation, we then leverage the unique structure of the underlying problem and the parallel processing at fog nodes. To that end, we propose a distributed framework, namely feasibility finding Benders decomposition (FFBD), that decomposes the original problem into a master problem for the offloading decision and subproblems for resource allocation. The master problem (MP) is then equipped with powerful cutting planes to exploit the fact of resource limitation at fog nodes. The subproblems (SP) for resource allocation can find their closed form solutions using our fast solution detection method. These (simpler) subproblems can then be solved in parallel at fog nodes. The numerical results show that the FFBD always returns the optimal solution of the problem with significantly less computation time (e.g., compared with the centralized IBBA approach). The FFBD with the fast solution detection method, namely FFBD F, can reduce up to 60 and 90 of computation time, respectively, compared with those of the conventional FFBD, namely FFBD S, and IBBA.


Extending the Morphological Hit or Miss Transform to Deep Neural Networks. While most deep learning architectures are built on convolution, alternative foundations like morphology are being explored for purposes like interpretability and its connection to the analysis and processing of geometric structures. The morphological hit or miss operation has the advantage that it takes into account both foreground and background information when evaluating target shape in an image. Herein, we identify limitations in existing hit or miss neural definitions and we formulate an optimization problem to learn the transform relative to deeper architectures. To this end, we model the semantically important condition that the intersection of the hit and miss structuring elements (SEs) should be empty and we present a way to express Don't Care (DNC), which is important for denoting regions of an SE that are not relevant to detecting a target pattern. Our analysis shows that convolution, in fact, acts like a hit miss transform through semantic interpretation of its filter differences. On these premises, we introduce an extension that outperforms conventional convolution on benchmark data. Quantitative experiments are provided on synthetic and benchmark data, showing that the direct encoding hit or miss transform provides better interpretability on learned shapes consistent with objects whereas our morphologically inspired generalized convolution yields higher classification accuracy. Last, qualitative hit and miss filter visualizations are provided relative to single morphological layer.


Exemplary Natural Images Explain CNN Activations Better than State of the Art Feature Visualization. Feature visualizations such as synthetic maximally activating images are a widely used explanation method to better understand the information processing of convolutional neural networks (CNNs). At the same time, there are concerns that these visualizations might not accurately represent CNNs' inner workings. Here, we measure how much extremely activating images help humans to predict CNN activations. Using a well controlled psychophysical paradigm, we compare the informativeness of synthetic images by Olah et al. (2017) with a simple baseline visualization, namely exemplary natural images that also strongly activate a specific feature map. Given either synthetic or natural reference images, human participants choose which of two query images leads to strong positive activation. The experiments are designed to maximize participants' performance, and are the first to probe intermediate instead of final layer representations. We find that synthetic images indeed provide helpful information about feature map activations ( 82 pm4 accuracy chance would be 50 ). However, natural images originally intended as a baseline outperform synthetic images by a wide margin ( 92 pm2 ). Additionally, participants are faster and more confident for natural images, whereas subjective impressions about the interpretability of the feature visualizations are mixed. The higher informativeness of natural images holds across most layers, for both expert and lay participants as well as for hand and randomly picked feature visualizations. Even if only a single reference image is given, synthetic images provide less information than natural images ( 65 pm5 vs. 73 pm4 ). In summary, synthetic images from a popular feature visualization method are significantly less informative for assessing CNN activations than natural images. We argue that visualization methods should improve over this baseline.


Optimising reactive disease management using spatially explicit models at the landscape scale. Increasing rates of global trade and travel, as well as changing climatic patterns, have led to more frequent outbreaks of plant disease epidemics worldwide. Mathematical modelling is a key tool in predicting where and how these new threats will spread, as well as in assessing how damaging they might be. Models can also be used to inform disease management, providing a rational methodology for comparing the performance of possible control strategies against one another. For emerging epidemics, in which new pathogens or pathogen strains are actively spreading into new regions, the spatial component of spread becomes particularly important, both to make predictions and to optimise disease control. In this chapter we illustrate how the spatial spread of emerging plant diseases can be modelled at the landscape scale via spatially explicit compartmental models. Our particular focus is on the crucial role of the dispersal kernel which parameterises the probability of pathogen spread from an infected host to susceptible hosts at any given distance in determining outcomes of epidemics. We add disease management to our model by testing performance of a simple ''one off'' form of reactive disease control, in which sites within a particular distance of locations detected to contain infection are removed in a single round of disease management. We use this simplified model to show how ostensibly arcane decisions made by the modeller most notably whether or not the underpinning disease model allows for stochasticity (i.e. randomness) can greatly impact on disease management recommendations. Our chapter is accompanied by example code in the programming language R available via an online repository, allowing the reader to run the models we present for him herself.


RelEmb A relevance based application embedding for Mobile App retrieval and categorization. Information Retrieval Systems have revolutionized the organization and extraction of Information. In recent years, mobile applications (apps) have become primary tools of collecting and disseminating information. However, limited research is available on how to retrieve and organize mobile apps on users' devices. In this paper, authors propose a novel method to estimate app embeddings which are then applied to tasks like app clustering, classification, and retrieval. Usage of app embedding for query expansion, nearest neighbor analysis enables unique and interesting use cases to enhance end user experience with mobile apps.


The Structure of Cartan Subgroups in Lie Groups. We study properties and the structure of Cartan subgroups in a connected Lie group. We obtain a characterisation of Cartan subgroups which generalises W "ustner's structure theorem for the same. We show that Cartan subgroups are same as those of the centralizers of maximal compact subgroups of the radical. Moreover, we describe a recipe for constructing Cartan subgroups containing certain nilpotent subgroups in a connected solvable Lie group. We characterise the Cartan subgroups in the quotient group modulo a closed normal subgroup as the images of the Cartan subgroups in the ambient group. We also study the density of the images of power maps on a connected Lie group and show that the image of any k th power map has dense image if its restriction to a closed normal subgroup and the corresponding map on the quotient group have dense images.


Riesz Fischer maps, Semiframes and Frames in rigged Hilbert spaces. In this note a review, some considerations and new results about maps with values in a distribution space and domain in a sigma finite measure space X , are obtained. In particular, it is a survey about Bessel, frames and bases (in particular Riesz and Gel'fand bases) in a distribution space. In this setting, the Riesz Fischer maps and semi frames are defined and new results about them are attained. Some example in tempered distributions space are examined.


Narrowband vacuum ultraviolet light via cooperative Raman scattering in dual pumped gas filled photonic crystal fiber. Many fields such as bio spectroscopy and photochemistry often require sources of vacuum ultraviolet (VUV) pulses featuring a narrow linewidth and tunable over a wide frequency range. However, the majority of available VUV light sources do not simultaneously fulfill those two requirements, and few if any are truly compact, cost effective and easy to use by non specialists. Here we introduce a novel approach that goes a long way to meeting this challenge. It is based on hydrogen filled hollow core photonic crystal fiber pumped simultaneously by two spectrally distant pulses. Stimulated Raman scattering enables the generation of coherence waves of collective molecular motion in the gas, which together with careful dispersion engineering and control over the modal content of the pump light, facilitates cooperation between the two separate Raman combs, resulting in a spectrum that reaches deep into the VUV. Using this system, we demonstrate the generation of a dual Raman comb of narrowband lines extending down to 141 nm using only 100 mW of input power delivered by a commercial solid state laser. The approach may enable access to tunable VUV light to any laboratory and therefore boost progress in many research areas across multiple disciplines.


Household epidemic models and McKean Vlasov Poisson driven SDEs. This paper presents a new view of household epidemic models, where the interaction between the households is of mean field type. We thus obtain in the limit of infinitely many households a nonlinear Markov process solution of a McKean Vlasov type Poisson driven SDE, and a propagation of chaos result. We also define a basic reproduction number R0, and show that if R0 1, then the nonlinear Markov process has a unique non trivial ergodic invariant probability measure, whereas if R0 1, it converges to 0 as t tends to infinity.


Cavity probe for real time detection of atom dynamics in an optical lattice. We propose and demonstrate real time sub wavelength cavity QED measurements of the spatial distribution of atoms in an optical lattice. Atoms initially confined in one "trap" standing wave of an optical cavity mode are probed with a second "probe" standing wave. With frequencies offset by one free spectral range, the nodes of the trap fall on the anti nodes of the probe in the approx 10 4 lattice sites around the center of the cavity. This lattice site independent atom cavity coupling enables high sensitivity detection of atom dynamics even with atoms spread over many lattice sites. To demonstrate, we measure the temperature of 20 70 mu K atom ensembles in 10 mu s by monitoring their expansion of approx 100 nm after sudden release from the trap lattice. Atom cavity coupling imprints the atom dynamics on the probe transmission. The new technique will enable improved non destructive detection of Bloch oscillations and other atom dynamics in optical lattices.


Non Wire Alternatives an Additional Value Stream for Distributed Energy Resources. Distributed energy resources (DERs) can serve as non wire alternatives (NWAs) to capacity expansion by managing peak load to avoid or delay traditional expansion projects. However, the value stream derived from using DERs as NWAs is usually not explicitly included in DER planning problems. In this paper, we study a planning problem that co optimizes investment and operation of DERs and the timing of capacity expansion. By including the timing of capacity expansion as a decision variable, we naturally incorporate NWA value stream of DERs into the planning problem. Furthermore, we show that even though the resulting optimization problem could have millions of variables and is non convex, an optimal solution can be found by solving a series of smaller linear problems. Finally, we present a NWAs planning problem using real data from the Seattle Campus of the University of Washington.