Contextualized moral inference. Developing moral awareness in intelligent systems has shifted from a topic of philosophical inquiry to a critical and practical issue in artificial intelligence over the past decades. However, automated inference of everyday moral situations remains an under explored problem. We present a text based approach that predicts people's intuitive judgment of moral vignettes. Our methodology builds on recent work in contextualized language models and textual inference of moral sentiment. We show that a contextualized representation offers a substantial advantage over alternative representations based on word embeddings and emotion sentiment in inferring human moral judgment, evaluated and reflected in three independent datasets from moral psychology. We discuss the promise and limitations of our approach toward automated textual moral reasoning.


Observability and Controllability of Second Order Linear Time Invariant Systems and Kalman Type Conditions. In the present paper we consider controllability and observability of second order linear time invariant systems in matrix form. Without reducing into first order systems we show how the classical conditions for first order linear systems can be generalized to this case. In term of Kalman type criterions these concepts are investigated for second order discrete and continuous time linear systems. It should be pointed out that by repeated differentiation of state and output vector functions we derive two different systems of linear algebraic equations. Then the initial values x 0, x 1 and input functions can be determined uniquely from these systems if and only if the observability and controllability matrices have full rank, respectively. Also the transfer function of the second order continuous time linear state space system is constructed. A numerical example is given to illustrate the feasibility and effectiveness of the theoretic results obtained.


Opinion Transmission Network for Jointly Improving Aspect oriented Opinion Words Extraction and Sentiment Classification. Aspect level sentiment classification (ALSC) and aspect oriented opinion words extraction (AOWE) are two highly relevant aspect based sentiment analysis (ABSA) subtasks. They respectively aim to detect the sentiment polarity and extract the corresponding opinion words toward a given aspect in a sentence. Previous works separate them and focus on one of them by training neural models on small scale labeled data, while neglecting the connections between them. In this paper, we propose a novel joint model, Opinion Transmission Network (OTN), to exploit the potential bridge between ALSC and AOWE to achieve the goal of facilitating them simultaneously. Specifically, we design two tailor made opinion transmission mechanisms to control opinion clues flow bidirectionally, respectively from ALSC to AOWE and AOWE to ALSC. Experiment results on two benchmark datasets show that our joint model outperforms strong baselines on the two tasks. Further analysis also validates the effectiveness of opinion transmission mechanisms.


Seifert fibrations of lens spaces over non orientable bases. We classify the Seifert fibrations of lens spaces where the base orbifold is non orientable. This is an addendum to our earlier paper Seifert fibrations of lens spaces'. We correct Lemma 4.1 of that paper and fill the gap in the classification that resulted from the erroneous lemma.


R triviality of Groups of Type rm F 4 Arising from the First Tits Construction. Any group of type rm F 4 is obtained as the automorphism group of an Albert algebra. We prove that such a group is R trivial whenever the Albert algebra is obtained from the first Tits construction. Our proof uses cohomological techniques and the corresponding result on the structure group of such Albert algebras.


Singular Diffusion with Neumann boundary conditions. In this paper we develop an existence theory for the nonlinear initial boundary value problem with singular diffusion partial t u text div (k(x) nabla G(u)) , u t 0 u 0 with Neumann boundary conditions k(x) nabla G(u) cdot nu 0 . Here x in B subset mathbb R d , a bounded open set with locally Lipchitz boundary, and with nu as the unit outer normal. The function G is Lipschitz continuous and nondecreasing, while k(x) is diagonal matrix. We show that any two weak entropy solutions u and v satisfy Vert u(t) v(t) Vert L 1(B) le Vert u t 0 v t 0 Vert L 1(B) e Ct , for almost every t ge 0 , and a constant C C(k,G,B) . If we restrict to the case when the entries k i of k depend only on the corresponding component, k i k i(x i) , we show that there exists an entropy solution, thus establishing in this case that the problem is well posed in the sense of Hadamard.


Generalized Elastodynamic Model for Nanophotonics. A self consistent theory for the classical description of the interaction of light and matter at the nano scale is presented, which takes into account spatial dispersion. Up to now, the Maxwell equations in nanostructured materials with spatial dispersion have been solved by the introduction of the so called Additional Boundary Conditions. In this paper, we derive an approach where non local effects are studied in a precise and uniquely defined way, thus allowing the treatment of all solid solid interfaces (metals, semiconductors or insulators), as well as solid vacuum interfaces in the same framework. The theory is based on the derivation of a potential energy for an ensemble of electrons in a given potential, where the deformation of the ensemble is treated as in a solid, including both shear and compressional deformations, instead of a fluid described only by a bulk compressibility like in the hydrodynamical approach. The derived classical equation of motion for the ensemble describes the deformation vector and the corresponding polarization vector as an elastodynamic field, including viscous forces, from which a generalized non local constitutive equation for the dielectric constant is derived. Boundary conditions are identical to that of elastodynamics and they emerge in a natural way, without any physical hypothesis outside the current description, as it is commonly required in other non local approaches. This description does not require the discontinuity of any component of the electric, magnetic or polarization fields and, consequently, no bounded currents or charges are present at the interface, which is a more suitable description from the microscopic point of view. It is shown that the method converges to the local boundary conditions in the low spatial dispersion limit for insulators and conductors, quantified by means of a parameter defined as the "characteristic length".


MOLAM A Mobile Multimodal Learning Analytics Conceptual Framework to Support Student Self Regulated Learning. Online distance learning is highly learner centred, requiring different skills and competences from learners, as well as alternative approaches for instructional design, student support, and provision of resources. Learner autonomy and self regulated learning (SRL) in online learning settings are considered key success factors that predict student performance. SRL comprises processes of planning, monitoring, action and reflection according to Zimmerman. And typically focuses on three key features of learners (1) use of SRL strategies, (2) responsiveness to self oriented feedback about learning effectiveness, and (3) motivational processes. SRL has been identified as having a direct correlation with students success, including improvements in grades and the development of relevant skills and strategies. Such skills and strategies are needed to become a successful lifelong learner. This chapter introduces a Mobile Multimodal Learning Analytics approach (MOLAM). I argue that the development of student Self Regulated Learning would benefit from the adoption of this approach, and that its use would allow continuous measurement and provision of in time support of student SRL in online learning contexts.


Attribute based Multi Signature and Encryption for EHR Management A Blockchain based Solution. The global Electronic Health Record (EHR) market is growing dramatically and has already hit 31.5 billion in 2018. To safeguard the security of EHR data and privacy of patients, fine grained information access and sharing mechanisms are essential for EHR management. This paper proposes a hybrid architecture of blockchain and edge nodes to facilitate EHR management. In this architecture, we utilize attribute based multi signature (ABMS) scheme to authenticate user's signatures without revealing the sensitive information and multi authority attribute based encryption (ABE) scheme to encrypt EHR data which is stored on the edge node. We develop the blockchain module on Hyperledger Fabric platform and the ABMS module on Hyperledger Ursa library. We measure the signing and verifying time of the ABMS scheme under different settings, and experiment with the authentication events and access activities which are logged as transactions in blockchain.


Application of integral equations to simulate local fields in carbon nanotube reinforced composites. We consider the steady heat conduction problem within a thermal isotropic and homogeneous square ring composite reinforced by non overlapping and randomly distributed carbon nanotubes (CNTs). We treat the CNTs as rigid line inclusions and assume their temperature distribution to be fixed to an undetermined constant value along each line. We suppose also that the temperature distribution is known on the outer boundary and that there is no heat flux through the inner square. The equations for the temperature distribution are governed by the two dimensional Laplace equation with mixed Dirichlet Neumann boundary conditions. This boundary value problem is solved using a boundary integral equation method. We demonstrate the performance of our approach through four numerical examples with small and large numbers of CNTs and different side length of the inner square.


Einstein Manifolds, Self Dual Weyl Curvature, and Conformally Kaehler Geometry. Peng Wu recently announced a beautiful characterization of conformally Kaehler, Einstein metrics of positive scalar curvature on compact oriented 4 manifolds via the condition det (W ) 0. In this note, we buttress his claim by providing an entirely different proof of his result. We then present further consequences of our method, which builds on techniques previously developed in (LeBrun 2015).


Multi level tree based approach for interactive graph visualization with semantic zoom. Human subject studies that map like visualizations are as good or better than standard node link representations of graphs, in terms of task performance, memorization and recall of the underlying data, and engagement SSKB14, SSKB15 . With this in mind, we propose the Zoomable Multi Level Tree (ZMLT) algorithm for multi level tree based, map like visualization of large graphs. We propose seven desirable properties that such visualization should maintain and an algorithm that accomplishes them. (1) The abstract trees represent the underlying graph appropriately at different level of details (2) The embedded trees represent the underlying graph appropriately at different levels of details (3) At every level of detail we show real vertices and real paths from the underlying graph (4) If any node or edge appears in a given level, then they also appear in all deeper levels (5) All nodes at the current level and higher levels are labeled and there are no label overlaps (6) There are no edge crossings on any level (7) The drawing area is proportional to the total area of the labels. This algorithm is implemented and we have a functional prototype for the interactive interface in a web browser.


On the symmetric Gelfand pair ( mathcal H n times mathcal H n 1 ,diag ( mathcal H n 1 )) . We show that the mathcal H n 1 conjugacy classes of mathcal H n, where mathcal H n is the hyperoctahedral group on 2n elements, are indexed by marked bipartitions of n. This will lead us to prove that ( mathcal H n times mathcal H n 1 ,diag ( mathcal H n 1 )) is a symmetric Gelfand pair and that the induced representation 1 diag ( mathcal H n 1 ) mathcal H n times mathcal H n 1 is multiplicity free.


An exact method for optimizing two linear fractional functions over the efficient set of a Multiobjective Integer Linear Fractional Program. In this paper, an exact method is proposed to optimize two fractional linear functions over the efficient set of a fractional multiobjective linear problem (MOILFP). This type of problems is encountered when there are two decision makers and each has his own utility function that he wants to optimize over the efficient set of multiobjective problem. The proposed method uses Branch and Bound method combined with a cutting plane technique to find the efficient solutions for both utility functions and (MOILFP) without going through all the efficient solutions of the two problems. An illustrative example and a computational study are reported.


Existence of (Dirac )harmonic Maps from Degenerating (Spin) Surfaces. We study the existence of harmonic maps and Dirac harmonic maps from degenerating surfaces to non positive curved manifold via the scheme of Sacks and Uhlenbeck. By choosing a suitable sequence of alpha (Dirac )harmonic maps from a sequence of suitable closed surfaces degenerating to a hyperbolic surface, we get the convergence and a cleaner energy identity under the uniformly bounded energy assumption. In this energy identity, there is no energy loss near the punctures. As an application, we obtain an existence result about (Dirac )harmonic maps from degenerating (spin) surfaces. If the energies of the map parts also stay away from zero, which is a necessary condition, both the limiting harmonic map and Dirac harmonic map are nontrivial.


Short models of global fields. We construct compact descriptions of function fields and number fields.


Agile Ways of Working A Team Maturity Perspective. With the agile approach to managing software development projects comes an increased dependability on well functioning teams, since many of the practices are built on teamwork. The objective of this study was to investigate if, and how, team development from a group psychological perspective is related to some work practices of agile teams. Data were collected from 34 agile teams (200 individuals) from six software development organizations and one university in both Brazil and Sweden using the Group Development Questionnaire (Scale IV) and the Perceptive Agile Measurement (PAM). The result indicates a strong correlation between levels of group maturity and the two agile practices emph iterative development and emph retrospectives . We, therefore, conclude that agile teams at different group development stages adopt parts of team agility differently, thus confirming previous studies but with more data and by investigating concrete and applied agile practices. We thereby add evidence to the hypothesis that an agile implementation and management of agile projects need to be adapted to the group maturity levels of the agile teams.


Large values of the argument of the Riemann zeta function and its iterates. Let S( sigma,t) frac 1 pi arg zeta( sigma it) be the argument of the Riemann zeta function at the point sigma it in the critical strip. For n geq 1 and t 0 , we define begin equation S n ( sigma,t) int 0 t S n 1 ( sigma, tau) ,d tau delta n, sigma , , end equation where delta n, sigma is a specific constant depending on sigma and n . Let 0 leq beta 1 be a fixed real number. Assuming the Riemann hypothesis, we establish lower bounds for the maximum of S n( sigma,t h) S n( sigma,t) near the critical line, on the interval T beta leq t leq T and in a small range of h . This improves some results of the first author and generalizes a result of the authors on S(t) . We also give new omega results for S n(t) , improving a result by Selberg.


The delta invariant of curves on rational surfaces II Poincar 'e series and topological aspects. In this article we study abstract and embedded invariants of reduced curve germs via topological techniques. One of the most important numerical analytic invariants of an abstract curve is its delta invariant. Our primary goal is to develop delta invariant formulae for curves embedded in rational singularities in terms of embedded data. The topological machinery not only produces formulae, but it also creates deep connections with the theory of (analytical and topological) multivariable Poincar 'e series.


An Estimator for Matching Size in Low Arboricity Graphs with Two Applications. In this paper, we present a new simple degree based estimator for the size of maximum matching in bounded arboricity graphs. When the arboricity of the graph is bounded by alpha , the estimator gives a alpha 2 factor approximation of the matching size. For planar graphs, we show the estimator does better and returns a 3.5 approximation of the matching size. Using this estimator, we get new results for approximating the matching size of planar graphs in the streaming and distributed models of computation. In particular, in the vertex arrival streams, we get a randomized O( frac sqrt n epsilon 2 log n) space algorithm for approximating the matching size within (3.5 epsilon) factor in a planar graph on n vertices. Similarly, we get a simultaneous protocol in the vertex partition model for approximating the matching size within (3.5 epsilon) factor using O( frac n 2 3 epsilon 2 log n) communication from each player. In comparison with the previous estimators, the estimator in this paper does not need to know the arboricity of the input graph and improves the approximation factor for the case of planar graphs.


Serverless Applications Why, When, and How?. Serverless computing shows good promise for efficiency and ease of use. Yet, there are only a few, scattered and sometimes conflicting reports on questions such as 'Why do so many companies adopt serverless?', 'When are serverless applications well suited?', and 'How are serverless applications currently implemented?' To address these questions, we analyze 89 serverless applications from open source projects, industrial sources, academic literature, and scientific computing the most extensive study to date.


An Automatic Attribute Based Access Control Policy Extraction from Access Logs. With the rapid advances in computing and information technologies, traditional access control models have become inadequate in terms of capturing fine grained, and expressive security requirements of newly emerging applications. An attribute based access control (ABAC) model provides a more flexible approach for addressing the authorization needs of complex and dynamic systems. While organizations are interested in employing newer authorization models, migrating to such models pose as a significant challenge. Many large scale businesses need to grant authorization to their user populations that are potentially distributed across disparate and heterogeneous computing environments. Each of these computing environments may have its own access control model. The manual development of a single policy framework for an entire organization is tedious, costly, and error prone. In this paper, we present a methodology for automatically learning ABAC policy rules from access logs of a system to simplify the policy development process. The proposed approach employs an unsupervised learning based algorithm for detecting patterns in access logs and extracting ABAC authorization rules from these patterns. In addition, we present two policy improvement algorithms, including rule pruning and policy refinement algorithms to generate a higher quality mined policy. Finally, we implement a prototype of the proposed approach to demonstrate its feasibility.


The strength for line bundles. We introduce the strength for sections of a line bundle on an algebraic variety. This generalizes the strength of homogeneous polynomials that has been recently introduced to resolve Stillman's conjecture, an important problem in commutative algebra. We establish the first properties of this notion and give some tool to obtain upper bounds on the strength in this framework. Moreover, we show some results on the usual strength such as the reducibility of the set of strength two homogeneous polynomials.


Approaches, Challenges, and Applications for Deep Visual Odometry Toward to Complicated and Emerging Areas. Visual odometry (VO) is a prevalent way to deal with the relative localization problem, which is becoming increasingly mature and accurate, but it tends to be fragile under challenging environments. Comparing with classical geometry based methods, deep learning based methods can automatically learn effective and robust representations, such as depth, optical flow, feature, ego motion, etc., from data without explicit computation. Nevertheless, there still lacks a thorough review of the recent advances of deep learning based VO (Deep VO). Therefore, this paper aims to gain a deep insight on how deep learning can profit and optimize the VO systems. We first screen out a number of qualifications including accuracy, efficiency, scalability, dynamicity, practicability, and extensibility, and employ them as the criteria. Then, using the offered criteria as the uniform measurements, we detailedly evaluate and discuss how deep learning improves the performance of VO from the aspects of depth estimation, feature extraction and matching, pose estimation. We also summarize the complicated and emerging areas of Deep VO, such as mobile robots, medical robots, augmented reality and virtual reality, etc. Through the literature decomposition, analysis, and comparison, we finally put forward a number of open issues and raise some future research directions in this field.


An Algebraic Topological Approach to Processing Cross Blockchain Transactions. The state of the art techniques for processing cross blockchain transactions take a simple centralized approach when the assets on blockchain X , say X coins, are exchanged with the assets on blockchain Y the Y coins, those X coins need to be exchanged to a "middle" medium (such as Bitcoin) that is then exchanged to Y coins. If there are more than two parties involved in a single global transaction, the global transaction is split into multiple local two party transactions, each of which follows the above central exchange protocol. Unfortunately, the atomicity of the global transaction is violated with the central exchange approach those local two party transactions, once committed, cannot be rolled back if the global transaction decides to abort. In a more general sense, the graph based model of (two party) transactions can hardly be extended to an arbitrary number of parties in a cross blockchain transaction. from why to how In this paper, we introduce a higher level abstraction of cross blockchain transactions. We adopt the textit abstract simplicial complex , an extensively studied mathematical object in algebraic topology, to represent an arbitrary number of parties involved in the blockchain transactions. Essentially, each party in the global transaction is modeled as a vertex and the global transaction among n 1 ( n in mathbb Z , n 0 ) parties compose a n dimensional simplex. While this higher level abstraction seems plausibly trivial, we will show how this simple extension leads to a new line of modeling methods and protocols for better processing cross blockchain transactions.


Modelisation de l'incertitude et de l'imprecision de donnees de crowdsourcing MONITOR. Crowdsourcing is defined as the outsourcing of tasks to a crowd of contributors. The crowd is very diverse on these platforms and includes malicious contributors attracted by the remuneration of tasks and not conscientiously performing them. It is essential to identify these contributors in order to avoid considering their responses. As not all contributors have the same aptitude for a task, it seems appropriate to give weight to their answers according to their qualifications. This paper, published at the ICTAI 2019 conference, proposes a method, MONITOR, for estimating the profile of the contributor and aggregating the responses using belief function theory.


Argument Generation with Retrieval, Planning, and Realization. Automatic argument generation is an appealing but challenging task. In this paper, we study the specific problem of counter argument generation, and present a novel framework, CANDELA. It consists of a powerful retrieval system and a novel two step generation model, where a text planning decoder first decides on the main talking points and a proper language style for each sentence, then a content realization decoder reflects the decisions and constructs an informative paragraph level argument. Furthermore, our generation model is empowered by a retrieval system indexed with 12 million articles collected from Wikipedia and popular English news media, which provides access to high quality content with diversity. Automatic evaluation on a large scale dataset collected from Reddit shows that our model yields significantly higher BLEU, ROUGE, and METEOR scores than the state of the art and non trivial comparisons. Human evaluation further indicates that our system arguments are more appropriate for refutation and richer in content.


Large deviations for the largest eigenvalue of sub Gaussian matrices. We establish large deviations estimates for the largest eigenvalue of Wigner matrices with sub Gaussian entries. Under technical assumptions, we show that the large deviation behavior of the largest eigenvalue is universal for small deviations, in the sense that the speed and the rate function are the same as in the case of the GOE. In contrast, in the regime of very large deviations, we obtain a non universal rate function and we prove that the associated eigenvector is localized given the large deviation event, thus establishing the existence of a transition between two different large deviation mechanisms.


Transport equations of nonlinear geometric optics in stratified media exhibiting mixed nonlinearity. In this paper, we concerned with the propagation of sound waves through stratified media. Transport equation of nonlinear geometric optics in media with mixed nonlinearity, in the case of spatially varying density and entropy fields, is derived this equation contains a cubic nonlinear term in addition to the quadratic nonlinearity. We consider an atmosphere where thermodynamic quantities depend on the height only. Effects of real gas parameters, density, and entropy attenuation parameters on the breakdown of the solution are investigated numerically.


Monotone Arc Diagrams with few Biarcs. We show that every planar graph can be represented by a monotone topological 2 page book embedding where at most 15n 16 (of potentially 3n 6) edges cross the spine exactly once.


Researcher Bias in Software Engineering Experiments a Qualitative Investigation. Researcher Bias (RB) occurs when researchers influence the results of an empirical study based on their expectations.RB might be due to the use of Questionable Research Practices(QRPs). In research fields like medicine, blinding techniques have been applied to counteract RB. We conducted an explorative qualitative survey to investigate RB in Software Engineering (SE)experiments, with respect to (i) QRPs potentially leading to RB, (ii) causes behind RB, and (iii) possible actions to counteract including blinding techniques. Data collection was based on semi structured interviews. We interviewed nine active experts in the empirical SE community. We then analyzed the transcripts of these interviews through thematic analysis. We found that some QRPs are acceptable in certain cases. Also, it appears that the presence of RB is perceived in SE and, to counteract RB, a number of solutions have been highlighted some are intended for SE researchers and others for the boards of SE research outlets.


Multi dimensional Spectral Super Resolution with Prior Knowledge via Frequency Selective Vandermonde Decomposition and ADMM. This paper is concerned with estimation of multiple frequencies from incomplete and or noisy samples based on a low CP rank tensor data model where each CP vector is an array response vector of one frequency. Suppose that it is known a priori that the frequencies lie in some given intervals, we develop efficient super resolution estimators by exploiting such prior knowledge based on frequency selective (FS) atomic norm minimization. We study the MD Vandermonde decomposition of block Toeplitz matrices in which the frequencies are restricted to lie in given intervals. We then propose to solve the FS atomic norm minimization problems for the low rank spectral tensor recovery by converting them into semidefinite programs based on the MD Vandermonde decomposition. We also develop fast solvers for solving these semidefinite programs via the alternating direction method of multipliers (ADMM), where each iteration involves a number of refinement steps to utilize the prior knowledge. Extensive simulation results are presented to illustrate the high performance of the proposed methods.


Benchmarking High Bandwidth Memory on FPGAs. FPGAs are starting to be enhanced with High Bandwidth Memory (HBM) as a way to reduce the memory bandwidth bottleneck encountered in some applications and to give the FPGA more capacity to deal with application state. However, the performance characteristics of HBM are still not well specified, especially in the context of FPGAs. In this paper, we bridge the gap between nominal specifications and actual performance by benchmarkingHBM on a state of the art FPGA, i.e., a Xilinx Alveo U280 featuring a two stack HBM subsystem. To this end, we propose Shuhai, a benchmarking tool that allows us to demystify all the underlying details of HBM on an FPGA. FPGA based benchmarking should also provide a more accurate picture of HBM than doing so on CPUs GPUs, since CPUs GPUs are noisier systems due to their complex control logic and cache hierarchy. Since the memory itself is complex, leveraging custom hardware logic to benchmark inside an FPGA provides more details as well as accurate and deterministic measurements. We observe that 1) HBM is able to provide up to 425GB s memory bandwidth, and 2) how HBM is used has a significant impact on performance, which in turn demonstrates the importance of unveiling the performance characteristics of HBM so as to select the best approach. As a yardstick, we also applyShuhaito DDR4to show the differences between HBM and DDR4.Shuhai can be easily generalized to other FPGA boards or other generations of memory, e.g., HBM3, and DDR3. We will makeShuhaiopen source, benefiting the community


MADRaS Multi Agent Driving Simulator. In this work, we present MADRaS, an open source multi agent driving simulator for use in the design and evaluation of motion planning algorithms for autonomous driving. MADRaS provides a platform for constructing a wide variety of highway and track driving scenarios where multiple driving agents can train for motion planning tasks using reinforcement learning and other machine learning algorithms. MADRaS is built on TORCS, an open source car racing simulator. TORCS offers a variety of cars with different dynamic properties and driving tracks with different geometries and surface properties. MADRaS inherits these functionalities from TORCS and introduces support for multi agent training, inter vehicular communication, noisy observations, stochastic actions, and custom traffic cars whose behaviours can be programmed to simulate challenging traffic conditions encountered in the real world. MADRaS can be used to create driving tasks whose complexities can be tuned along eight axes in well defined steps. This makes it particularly suited for curriculum and continual learning. MADRaS is lightweight and it provides a convenient OpenAI Gym interface for independent control of each car. Apart from the primitive steering acceleration brake control mode of TORCS, MADRaS offers a hierarchical track position speed control that can potentially be used to achieve better generalization. MADRaS uses multiprocessing to run each agent as a parallel process for efficiency and integrates well with popular reinforcement learning libraries like RLLib.


Low light Environment Neural Surveillance. We design and implement an end to end system for real time crime detection in low light environments. Unlike Closed Circuit Television, which performs reactively, the Low Light Environment Neural Surveillance provides real time crime alerts. The system uses a low light video feed processed in real time by an optical flow network, spatial and temporal networks, and a Support Vector Machine to identify shootings, assaults, and thefts. We create a low light action recognition dataset, LENS 4, which will be publicly available. An IoT infrastructure set up via Amazon Web Services interprets messages from the local board hosting the camera for action recognition and parses the results in the cloud to relay messages. The system achieves 71.5 accuracy at 20 FPS. The user interface is a mobile app which allows local authorities to receive notifications and to view a video of the crime scene. Citizens have a public app which enables law enforcement to push crime alerts based on user proximity.


Towards Recognizing Phrase Translation Processes Experiments on English French. When translating phrases (words or group of words), human translators, consciously or not, resort to different translation processes apart from the literal translation, such as Idiom Equivalence, Generalization, Particularization, Semantic Modulation, etc. Translators and linguists (such as Vinay and Darbelnet, Newmark, etc.) have proposed several typologies to characterize the different translation processes. However, to the best of our knowledge, there has not been effort to automatically classify these fine grained translation processes. Recently, an English French parallel corpus of TED Talks has been manually annotated with translation process categories, along with established annotation guidelines. Based on these annotated examples, we propose an automatic classification of translation processes at subsentential level. Experimental results show that we can distinguish non literal translation from literal translation with an accuracy of 87.09 , and 55.20 for classifying among five non literal translation processes. This work demonstrates that it is possible to automatically classify translation processes. Even with a small amount of annotated examples, our experiments show the directions that we can follow in future work. One of our long term objectives is leveraging this automatic classification to better control paraphrase extraction from bilingual parallel corpora.


On the monotonicity property of the generalized eigenvalue for weakly coupled cooperative elliptic systems. We consider general linear non degenerate weakly coupled cooperative elliptic systems and study certain monotonicity properties of the generalized principal eigenvalue in mathbb R d with respect to the potential. It is shown that monotonicity on the right is equivalent to the recurrence property of the twisted operator which is, in turn, equivalent to the minimal growth property at infinity of the principal eigenfunctions. The strict monotonicity property of the principal eigenvalue is shown to be equivalent with the exponential stability of the twisted operators. An equivalence between the monotonicity property on the right and the stochastic representation of the principal eigenfunction is also established.


Fixed point properties for predicate modal logics. It is well known that the propositional modal logic mathbf GL of provability satisfies the de Jongh Sambin fixed point property. On the other hand, Montagna showed that the predicate modal system mathbf QGL , which is the natural variant of mathbf GL , loses the fixed point property. In this paper, we discuss some versions of the fixed point property for predicate modal logics. First, we prove that several extensions of mathbf QGL including mathbf NQGL do not have the fixed point property. Secondly, we prove the fixed point theorem for the logic mathbf QK Box n 1 bot . As a consequence, we obtain that the class mathsf FH of Kripke frames which are transitive and finite height satisfies the fixed point property locally. We also show the failure of the Craig interpolation property for mathbf NQGL . Finally, we give a sufficient condition for formulas to have a fixed point in mathbf QGL .


Fast assembly of Galerkin matrices for 3D solid laminated composites using finite element and isogeometric discretizations. This work presents a novel methodology for speeding up the assembly of stiffness matrices for laminate composite 3D structures in the context of isogeometric and finite element discretizations. By splitting the involved terms into their in plane and out of plane contributions, this method computes the problems's 3D stiffness matrix as a combination of 2D (in plane) and 1D (out of plane) integrals. Therefore, the assembly's computational complexity is reduced to the one of a 2D problem. Additionally, the number of 2D integrals to be computed becomes independent of the number of material layers that constitute the laminated composite, it only depends on the number of different materials used (or different orientations of the same anisotropic material). Hence, when a high number of layers is present, the proposed technique reduces by orders of magnitude the computational time required to create the stiffness matrix with standard methods, being the resulting matrices identical up to machine precision. The predicted performance is illustrated through numerical experiments.


Differential Codes on Higher Dimensional Varieties Via Grothendieck's Residue Symbol. We give a new construction of linear codes over finite fields on higher dimensional varieties using Grothendieck's theory of residues. This generalizes the construction of differential codes over curves to varieties of higher dimensions.


Interpretation of Deep Temporal Representations by Selective Visualization of Internally Activated Nodes. Recently deep neural networks demonstrate competitive performances in classification and regression tasks for many temporal or sequential data. However, it is still hard to understand the classification mechanisms of temporal deep neural networks. In this paper, we propose two new frameworks to visualize temporal representations learned from deep neural networks. Given input data and output, our algorithm interprets the decision of temporal neural network by extracting highly activated periods and visualizes a sub sequence of input data which contributes to activate the units. Furthermore, we characterize such sub sequences with clustering and calculate the uncertainty of the suggested type and actual data. We also suggest Layer wise Relevance from the output of a unit, not from the final output, with backward Monte Carlo dropout to show the relevance scores of each input point to activate units with providing a visual representation of the uncertainty about this impact.


Two classes of linear codes and their generalized Hamming weights. The generalized Hamming weights (GHWs) are fundamental parameters of linear codes. In this paper, we investigate the generalized Hamming weights of two classes of linear codes constructed from defining sets and determine them completely employing a number theoretic approach.


Enhanced persistence and collective migration in cooperatively aligning cell clusters. Most cells possess the capacity to locomote. Alone or collectively, this allows them to adapt, to rearrange, and to explore their surroundings. The biophysical characterization of such motile processes, in health and disease, has so far focused mostly on two limiting cases single cell motility on the one hand, and the dynamics of confluent tissues such as the epithelium on the other. The in between regime of clusters, composed of relatively few cells, moving as a coherent unit has received less attention. Such small clusters are, however, deeply relevant in development but also in cancer metastasis. In this work, we use cellular Potts models and analytical active matter theory to understand how the motility of small cell clusters changes with N, the number of cells in the cluster. Modeling and theory reveal our two main findings Cluster persistence time increases with N while the intrinsic diffusivity decreases with N. We discuss a number of settings in which the motile properties of more complex clusters can be analytically understood, revealing that the focusing effects of small scale cooperation and cell cell alignment can overcome the increased bulkiness and internal disorder of multicellular clusters to enhance overall migrational efficacy. We demonstrate this enhancement for small cluster collective durotaxis, which is shown to proceed more effectively than for single cells. Our results may provide some novel insights into the connection between single cell and large scale collective motion and may point the way to the biophysical origins of the enhanced metastatic potential of small tumor cell clusters.


On asymptotic behavior of Bell polynomials and concentration of vertex degree of large random graphs. We study concentration properties of vertex degrees of n dimensional Erdos R 'enyi random graphs with the edge probability rho n by means of high moments of these random variables in the limit when n and rho tend to infinity. These moments are asymptotically close to one variable Bell polynomials cal B k( rho), k in bf N that represent moments of the Poisson probability distribution cal P ( rho) . We study asymptotic behavior of the Bell polynomials and modified Bell polynomials for large values of k and rho with the help of the local limit theorem for auxiliary random variables. Using the results obtained, we get the upper bounds for the deviation probabilities of the normalized maximal vertex degree of the Erdos R 'enyi random graphs in the limit n, rho to infty such that the ratio rho log n remains finite or infinitely increases.


Modified Segmentation Algorithm for Recognition of Older Geez Scripts Written on Vellum. Recognition of handwritten document aims at transforming document images into a machine understandable format. Handwritten document recognition is the most challenging area in the field of pattern recognition. It becomes more complex when a document was written on vellum before hundreds of years, like older Geez scripts. In this study, we introduced a modified segmentation approach to recognize older Geez scripts. We used adaptive filtering for noise reduction, Isodata iterative global thresholding for document image binarization, modified bounding box projection to segment distinct strokes between Geez characters, numbers, and punctuation marks. SVM multiclass classifier scored 79.32 recognition accuracy with the modified segmentation algorithm.


Towards Optimal Moment Estimation in Streaming and Distributed Models. One of the oldest problems in the data stream model is to approximate the p th moment mathcal X p p sum i 1 n mathcal X i p of an underlying vector mathcal X in mathbb R n , which is presented as a sequence of poly (n) updates to its coordinates. Of particular interest is when p in (0,2 . Although a tight space bound of Theta( epsilon 2 log n) bits is known for this problem when both positive and negative updates are allowed, surprisingly there is still a gap in the space complexity when all updates are positive. Specifically, the upper bound is O( epsilon 2 log n) bits, while the lower bound is only Omega( epsilon 2 log n) bits. Recently, an upper bound of tilde O ( epsilon 2 log n) bits was obtained assuming that the updates arrive in a random order. We show that for p in (0, 1 , the random order assumption is not needed. Namely, we give an upper bound for worst case streams of tilde O ( epsilon 2 log n) bits for estimating mathcal X p p . Our techniques also give new upper bounds for estimating the empirical entropy in a stream. On the other hand, we show that for p in (1,2 , in the natural coordinator and blackboard communication topologies, there is an tilde O ( epsilon 2 ) bit max communication upper bound based on a randomized rounding scheme. Our protocols also give rise to protocols for heavy hitters and approximate matrix product. We generalize our results to arbitrary communication topologies G , obtaining an tilde O ( epsilon 2 log d) max communication upper bound, where d is the diameter of G . Interestingly, our upper bound rules out natural communication complexity based approaches for proving an Omega( epsilon 2 log n) bit lower bound for p in (1,2 for streaming algorithms. In particular, any such lower bound must come from a topology with large diameter.


Concentration of mass in the pressureless limit of the Euler equations of one dimensional compressible fluid flow. In this paper, we study the limiting behavior of Riemann solutions to the Euler equations of one dimensional compressible fluid flow as gamma tends to one. We show that the limit solution forms the delta wave to the pressureless Euler system of one dimensional compressible fluid flow in the distribution sense. Some numerical results exhibiting the phenomena of concentration are also presented.


Cartolabe A Web Based Scalable Visualization of Large Document Collections. We describe CARTOLABE, a web based multi scale system for visualizing and exploring large textual corpora based on topics, introducing a novel mechanism for the progressive visualization of filtering queries. Initially designed to represent and navigate through scientific publications in different disciplines, CARTOLABE has evolved to become a generic framework and accommodate various corpora, ranging from Wikipedia (4.5M entries) to the French National Debate (4.3M entries). CARTOLABE is made of two modules the first relies on Natural Language Processing methods, converting a corpus and its entities (documents, authors, concepts) into high dimensional vectors, computing their projection on the 2D plane, and extracting meaningful labels for regions of the plane. The second module is a web based visualization, displaying tiles computed from the multidimensional projection of the corpus using the U MAP projection method. This visualization module aims at enabling users with no expertise in visualization and data analysis to get an overview of their corpus, and to interact with it exploring, querying, filtering, panning and zooming on regions of semantic interest. Three use cases are discussed to illustrate CARTOLABE's versatility and ability to bring large scale textual corpus visualization and exploration to a wide audience.


The fractal structure of elliptical polynomial spirals. We investigate fractal aspects of elliptical polynomial spirals that is, planar spirals with differing polynomial rates of decay in the two axis directions. We give a full dimensional analysis of these spirals, computing explicitly their intermediate, box counting and Assouad type dimensions. An exciting feature is that these spirals exhibit two phase transitions within the Assouad spectrum, the first natural class of fractals known to have this property. We go on to use this dimensional information to obtain bounds for the H "older regularity of maps that can deform one spiral into another, generalising the 'winding problem' of when spirals are bi Lipschitz equivalent to a line segment. A novel feature is the use of fractional Brownian motion and dimension profiles to bound the H "older exponents.


Efficiently Testing Simon's Congruence. Simon's congruence sim k is defined as follows two words are sim k equivalent if they have the same set of subsequences of length at most k . We propose an algorithm which computes, given two words s and t , the largest k for which s sim k t . Our algorithm runs in linear time O( s t ) when the input words are over the integer alphabet 1, ldots, s t (or other alphabets which can be sorted in linear time). This approach leads to an optimal algorithm in the case of general alphabets as well. Our results are based on a novel combinatorial approach and a series of efficient data structures.


Parallel propagating Fluctuations at Proton kinetic Scales in the Solar Wind are Dominated by Kinetic Instabilities. We use magnetic helicity to characterise solar wind fluctuations at proton kinetic scales from Wind observations. For the first time, we separate the contributions to helicity from fluctuations propagating at angles quasi parallel and oblique to the local mean magnetic field, mathbf B 0 . We find that the helicity of quasi parallel fluctuations is consistent with Alfv 'en ion cyclotron and fast magnetosonic whistler modes driven by proton temperature anisotropy instabilities and the presence of a relative drift between alpha particles and protons. We also find that the helicity of oblique fluctuations has little dependence on proton temperature anisotropy and is consistent with fluctuations from the anisotropic turbulent cascade. Our results show that parallel propagating fluctuations at proton kinetic scales in the solar wind are dominated by proton temperature anisotropy instabilities and not the turbulent cascade. We also provide evidence that the behaviour of fluctuations at these scales is independent of the origin and macroscopic properties of the solar wind.


Cycle lengths in expanding graphs. For a positive constant alpha a graph G on n vertices is called an alpha expander if every vertex set U of size at most n 2 has an external neighborhood whose size is at least alpha left U right . We study cycle lengths in expanding graphs. We first prove that cycle lengths in alpha expanders are well distributed. Specifically, we show that for every 0 alpha leq1 there exist positive constants n 0 , C and A O(1 alpha) such that for every alpha expander G on n geq n 0 vertices and every integer ell in left C log n, frac n C right , G contains a cycle whose length is between ell and ell A the order of dependence of the additive error term A on alpha is optimal. Secondly, we show that every alpha expander on n vertices contains Omega left( frac alpha 3 log left(1 alpha right) right)n different cycle lengths. Finally, we introduce another expansion type property, guaranteeing the existence of a linearly long interval in the set of cycle lengths. For beta 0 a graph G on n vertices is called a beta graph if every pair of disjoint sets of size at least beta n are connected by an edge. We prove that for every beta 1 20 there exist positive constants b 1 O left( frac 1 log left(1 beta right) right) and b 2 O left( beta right) such that every beta graph G on n vertices contains a cycle of length ell for every integer ell in left b 1 log n,(1 b 2 )n right the order of dependence of b 1 and b 2 on beta is optimal.


Residuation in finite posets. When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined and satisfying (left) adjointness with the connective conjunction. We have already studied this problem for the logic of quantum mechanics which is based on an orthomodular poset or the logic of quantum effects based on a so called effect algebra which is only partial and need not be lattice ordered. For this, we introduced the so called operator residuation where the values of implication and conjunction need not be elements of the underlying poset, but only certain subsets of it. However, this approach can be generalized for posets satisfying more general conditions. If these posets are even finite, we can focus on maximal or minimal elements of the corresponding subsets and the formulas for the mentioned operators can be essentially simplified. This is shown in the present paper where all theorems are explained by corresponding examples.


An algebraic independence result related to a conjecture of Dixmier on binary form invariants. In order to better understand the structure of classical rings of invariants for binary forms, Dixmier proposed, as a conjectural homogeneous system of parameters, an explicit collection of invariants previously studied by Hilbert. We generalize Dixmier's collection and show that a particular subfamily is algebraically independent. Our proof relies on showing certain alternating sums of products of binomial coefficients are nonzero. Along the way we provide a very elementary proof a la Racah, namely, only using the Chu Vandermonde Theorem, for Dixon's Summation Theorem. We also provide explicit computations of invariants, for the binary octavic, which can serve as ideal introductory examples to Gordan's 1868 method in classical invariant theory.


Reliable Slicing of 5G Transport Networks with Dedicated Protection. In 5G networks, slicing allows partitioning of network resources to meet stringent end to end service requirements across multiple network segments, from access to transport. These requirements are shaping technical evolution in each of these segments. In particular, the transport segment is currently evolving in the direction of the so called elastic optical networks (EONs), a new generation of optical networks supporting a flexible optical spectrum grid and novel elastic transponder capabilities. In this paper, we focus on the reliability of 5G transport network slices in EON. Specifically, we consider the problem of slicing 5G transport networks, i.e., establishing virtual networks on 5G transport, while providing dedicated protection. As dedicated protection requires large amount of backup resources, our proposed solution incorporates two techniques to reduce backup resources (i) bandwidth squeezing, i.e., providing a reduced protection bandwidth with respect to the original request and (ii) survivable multi path provisioning. We leverage the capability of EONs to fine tune spectrum allocation and adapt modulation format and Forward Error Correction (FEC) for allocating rightsize spectrum resources to network slices. Our numerical evaluation over realistic case study network topologies quantifies the spectrum savings achieved by employing EON over traditional fixed grid optical networks, and provides new insights on the impact of bandwidth squeezing and multi path provisioning on spectrum utilization.


A configurable computer simulation model for reducing patient waiting time in oncology departments. Nowadays, the increase in patient demand and the decline in resources are lengthening patient waiting times in many chemotherapy oncology departments. Therefore, enhancing healthcare services is necessary to reduce patient complaints. Reducing the patient waiting times in the oncology departments represents one of the main goals of healthcare manager. Simulation models are considered an effective tool for identifying potential ways to improve patient flow in oncology departments. This paper presents a new agent based simulation model designed to be configurable and adaptable to the needs of oncology departments which have to interact with an external pharmacy. When external pharmacies are utilized, a courier service is needed to deliver the individual therapies from the pharmacy to the oncology department. An oncology department located in southern Italy was studied through the simulation model and different scenarios were compared with the aim of selecting the department configuration capable of reducing the patient waiting times.


Use of in the wild images for anomaly detection in face anti spoofing. The traditional approach to face anti spoofing sees it as a binary classification problem, and binary classifiers are trained and validated on specialized anti spoofing databases. One of the drawbacks of this approach is that, due to the variability of face spoofing attacks, environmental factors, and the typically small sample size, such classifiers do not generalize well to previously unseen databases. Anomaly detection, which approaches face anti spoofing as a one class classification problem, is emerging as an increasingly popular alternative approach. Nevertheless, in all existing work on anomaly detection for face anti spoofing, the proposed training protocols utilize images from specialized anti spoofing databases only, even though only common images of real faces are needed. Here, we explore the use of in the wild images, and images from non specialized face databases, to train one class classifiers for face anti spoofing. Employing a well established technique, we train a convolutional autoencoder on real faces and compare the reconstruction error of the input against a threshold to classify a face image accordingly as either client or imposter. Our results show that the inclusion in the training set of in the wild images increases the discriminating power of the classifier significantly on an unseen database, as evidenced by a large increase in the value of the Area Under the Curve. In a limitation of our approach, we note that the problem of finding a suitable operating point on the unseen database remains a challenge, as evidenced by the values of the Half Total Error Rate.


Numerical Transformation Methods for a Moving Wall Boundary Layer Flow of a Rarefied Gas Free Stream over a Moving Flat Plate. The first contribution of this paper is the extension of the non iterative transformation method, proposed by T "opfer more than a century ago and defined for the numerical solution of the Blasius problem, to a Blasius problem with extended boundary conditions. This method, which makes use of the invariance of two physical parameters with respect to a scaling group of point transformation, allows us to solve numerically the Blasius problem with extended boundary conditions by solving a related initial value problem and then rescaling the obtained numerical solution. Therefore, our method is an initial value method. However, in this way, we cannot fix in advance the physical parameters, and if we need just to compute the numerical solution for given values of the two parameters we have to define an iterative extension of the transformation method, which is the second contribution of this work.


Parametric Majorization for Data Driven Energy Minimization Methods. Energy minimization methods are a classical tool in a multitude of computer vision applications. While they are interpretable and well studied, their regularity assumptions are difficult to design by hand. Deep learning techniques on the other hand are purely data driven, often provide excellent results, but are very difficult to constrain to predefined physical or safety critical models. A possible combination between the two approaches is to design a parametric energy and train the free parameters in such a way that minimizers of the energy correspond to desired solution on a set of training examples. Unfortunately, such formulations typically lead to bi level optimization problems, on which common optimization algorithms are difficult to scale to modern requirements in data processing and efficiency. In this work, we present a new strategy to optimize these bi level problems. We investigate surrogate single level problems that majorize the target problems and can be implemented with existing tools, leading to efficient algorithms without collapse of the energy function. This framework of strategies enables new avenues to the training of parameterized energy minimization models from large data.


Learning definable hypotheses on trees. We study the problem of learning properties of nodes in tree structures. Those properties are specified by logical formulas, such as formulas from first order or monadic second order logic. We think of the tree as a database encoding a large dataset and therefore aim for learning algorithms which depend at most sublinearly on the size of the tree. We present a learning algorithm for quantifier free formulas where the running time only depends polynomially on the number of training examples, but not on the size of the background structure. By a previous result on strings we know that for general first order or monadic second order (MSO) formulas a sublinear running time cannot be achieved. However, we show that by building an index on the tree in a linear time preprocessing phase, we can achieve a learning algorithm for MSO formulas with a logarithmic learning phase.


Circulant preconditioning in the volume integral equation method for silicon photonics. Recently, the volume integral equation (VIE) approach has been proposed as an efficient simulation tool for silicon photonics applications J. Lightw. Technol. 36, 3765 (2018) . However, for the high frequency and strong contrast problems arising in photonics, the convergence of iterative solvers for the solution of the linear system can be extremely slow. The uniform discretization of the volume integral operator leads to a three level Toeplitz matrix, which is well suited to preconditioning via its circulant approximation. In this paper, we describe an effective circulant preconditioning strategy based on the multi level circulant preconditioner of Chan and Olkin Numer. Algorithms 6, 89 (1994) . We show that this approach proves ideal in the canonical photonics problem of propagation within a uniform waveguide, in which the flow is unidirectional. For more complex photonics structures, such as Bragg gratings, directional couplers, and disk resonators, we generalize our preconditioning strategy via geometrical partitioning (leading to a block diagonal circulant preconditioner) and homogenization (for inhomogeneous structures). Finally, we introduce a novel memory reduction technique enabling the preconditioner's memory footprint to remain manageable, even for extremely long structures. The range of numerical results we present demonstrates that the preconditioned VIE is fast and has great utility for the numerical exploration of prototype photonics devices.


Modelling Rayleigh B 'enard convection coupled with electro vortex flow in liquid metal batteries. Liquid Metal Batteries (LMBs) are a promising grid scale energy storage technology that offer low costs per kilowatt hour, high energy and current densities, as well as low fade rates. The all liquid composition of the batteries, as well as the presence of temperature gradients and electric and magnetic fields, result in the occurrence of multiple fluid phenomena. These can affect the hydrodynamic stability of the battery, thereby making their interactions critical to understand. In this work, the interaction of Rayleigh B 'enard convection and Electro vortex flow is investigated as these types of flow will be present in Liquid Metal Batteries from laboratory to grid scale. A single layer electrode is simulated, and the computed results compared with experimental data from the literature. It was found that Rayleigh B 'enard convection is unsteady in the liquid metal electrode. The introduction of a 2 A current stabilises the convection cells, whilst the introduction of a 40 A current leads to the dominance of Electro vortex flow at the central region of the electrode. The results in this work matching experimental data closer than previously published models offering insight into the interaction between Rayleigh B 'enard convection and Electro vortex flow in the anodes of discharging Liquid Metal Batteries.


Isometries between completely regular vector valued function spaces. In this paper, first we study surjective isometries (not necessarily linear) between completely regular subspaces A and B of C 0(X,E) and C 0(Y,F) where X and Y are locally compact Hausdorff spaces and E and F are normed spaces, not assumed to be neither strictly convex nor complete. We show that for a class of normed spaces F satisfying a new defined property related to their T sets, such an isometry is a (generalized) weighted composition operator up to a translation. Then we apply the result to study surjective isometries between A and B whenever A and B are equipped with certain norms rather than the supremum norm. Our results unify and generalize some recent results in this context.


A Sparse Representation of Random Signals. Studies of sparse representation of deterministic signals have been well developed. Amongst there exists one called adaptive Fourier decomposition (AFD) established through adaptive selections of the parameters defining a Takenaka Malmquist system in one complex variable. The AFD type algorithms give rise to sparse representations of signals of finite energy. The multivariate generalization of AFD is one called pre orthogonal AFD (POAFD), the latter being established with the context Hilbert space possessing a dictionary. The purpose of the present study is to generalize both AFD and POAFD to random signals. We work on two types of random signals. One is those expressible as the sum of a deterministic signal with an error term such as a white noise and the other is, in general, as mixture of several classes of random signals obeying certain distributive law. In the first part of the paper we develop an AFD type sparse representation for one dimensional random signals by making use analysis of one complex variable. In the second part, without complex analysis, we treat multivariate random signals in the context of stochastic Hilbert space with a dictionary. Like in the deterministic signal case the established random sparse representations are powerful tools in practical signal analysis.


Essentially commuting dual truncated Toeplitz operators. In this paper, we completely characterize when two dual truncated Toeplitz operators are essentially commuting and when the semicommutator of two dual truncated Toeplitz operators is compact. Our main idea is to study dual truncated Toeplitz operators via Hankel operators, Toeplitz operators and function algebras.


An ASP semantics for Constraints involving Conditional Aggregates. We elaborate upon the formal foundations of hybrid Answer Set Programming (ASP) and extend its underlying logical framework with aggregate functions over constraint values and variables. This is achieved by introducing the construct of conditional expressions, which allow for considering two alternatives while evaluating constraints. Which alternative is considered is interpretation dependent and chosen according to an associated condition. We put some emphasis on logic programs with linear constraints and show how common ASP aggregates can be regarded as particular cases of so called conditional linear constraints. Finally, we introduce a polynomial size, modular and faithful translation from our framework into regular (condition free) Constraint ASP, outlining an implementation of conditional aggregates on top of existing hybrid ASP solvers.


Deep Reinforcement Learning for Asset Allocation in US Equities. Reinforcement learning is a machine learning approach concerned with solving dynamic optimization problems in an almost model free way by maximizing a reward function in state and action spaces. This property makes it an exciting area of research for financial problems. Asset allocation, where the goal is to obtain the weights of the assets that maximize the rewards in a given state of the market considering risk and transaction costs, is a problem easily framed using a reinforcement learning framework. It is first a prediction problem for expected returns and covariance matrix and then an optimization problem for returns, risk, and market impact. Investors and financial researchers have been working with approaches like mean variance optimization, minimum variance, risk parity, and equally weighted and several methods to make expected returns and covariance matrices' predictions more robust. This paper demonstrates the application of reinforcement learning to create a financial model free solution to the asset allocation problem, learning to solve the problem using time series and deep neural networks. We demonstrate this on daily data for the top 24 stocks in the US equities universe with daily rebalancing. We use a deep reinforcement model on US stocks using different architectures. We use Long Short Term Memory networks, Convolutional Neural Networks, and Recurrent Neural Networks and compare them with more traditional portfolio management. The Deep Reinforcement Learning approach shows better results than traditional approaches using a simple reward function and only being given the time series of stocks. In Finance, no training to test error generalization results come guaranteed. We can say that the modeling framework can deal with time series prediction and asset allocation, including transaction costs.


Spectral bounds of the regularized normalized Laplacian for random geometric graphs. In this work, we study the spectrum of the regularized normalized Laplacian for random geometric graphs (RGGs) in both the connectivity and thermodynamic regimes. We prove that the limiting eigenvalue distribution (LED) of the normalized Laplacian matrix for an RGG converges to the Dirac measure in one in the full range of the connectivity regime. In the thermodynamic regime, we propose an approximation for the LED and we provide a bound on the Levy distance between the approximation and the actual distribution. In particular, we show that the LED of the regularized normalized Laplacian matrix for an RGG can be approximated by the LED of the regularized normalized Laplacian for a deterministic geometric graph with nodes in a grid (DGG). Thereby, we obtain an explicit approximation of the eigenvalues in the thermodynamic regime.


Yield Optimization based on Adaptive Newton Monte Carlo and Polynomial Surrogates. In this paper we present an algorithm for yield estimation and optimization exploiting Hessian based optimization methods, an adaptive Monte Carlo (MC) strategy, polynomial surrogates and several error indicators. Yield estimation is used to quantify the impact of uncertainty in a manufacturing process. Since computational efficiency is one main issue in uncertainty quantification, we propose a hybrid method, where a large part of a MC sample is evaluated with a surrogate model, and only a small subset of the sample is re evaluated with a high fidelity finite element model. In order to determine this critical fraction of the sample, an adjoint error indicator is used for both the surrogate error and the finite element error. For yield optimization we propose an adaptive Newton MC method. We reduce computational effort and control the MC error by adaptively increasing the sample size. The proposed method minimizes the impact of uncertainty by optimizing the yield. It allows to control the finite element error, surrogate error and MC error. At the same time it is much more efficient than standard MC approaches combined with standard Newton algorithms.


Geometric transition from hyperbolic to anti de Sitter structures in dimension four. We provide the first examples of geometric transition from hyperbolic to anti de Sitter structures in dimension four, in a fashion similar to Danciger's three dimensional examples. The main ingredient is a deformation of hyperbolic 4 polytopes, discovered by Kerckhoff and Storm, eventually collapsing to a 3 dimensional ideal cuboctahedron. We show the existence of a similar family of collapsing anti de Sitter polytopes, and join the two deformations by means of an opportune half pipe orbifold structure. The desired examples of geometric transition are then obtained by gluing copies of the polytope.


The K Property for Subadditive Equilibrium States. By generalizing Ledrappier's criterion for the K property of equilibrium states, we extend the criterion to subadditive potentials. We apply this result to the singular value potentials of matrix cocycles, and show that equilibrium states of large classes of singular value potentials have the K property.


Stability of Forced Damped Response in Mechanical Systems from a Melnikov Analysis. Frequency responses of multi degree of freedom mechanical systems with weak forcing and damping can be studied as perturbations from their conservative limit. Specifically, recent results show how bifurcations near resonances can be predicted analytically from conservative families of periodic orbits (nonlinear normal modes). However, the stability of forced damped motions is generally determined a posteriori via numerical simulations. In this paper, we present analytic results on the stability of periodic orbits that perturb from conservative nonlinear normal modes. In contrast with prior approaches to the same problem, our method can tackle strongly nonlinear oscillations, high order resonances and arbitrary types of non conservative forces affecting the system, as we show with specific examples.


Universal coacting Poisson Hopf algebras. We introduce the analogue of Manin's universal coacting (bialgebra) Hopf algebra for Poisson algebras. First, for two given Poisson algebras P and U , where U is finite dimensional, we construct a Poisson algebra mathcal B (P, , U) together with a Poisson algebra homomorphism psi mathcal B (P, ,U) colon P to U otimes mathcal B (P, , U) satisfying a suitable universal property. mathcal B (P, , U) is shown to admit a Poisson bialgebra structure for any pair of Poisson algebra homomorphisms subject to certain compatibility conditions. If P U is a finite dimensional Poisson algebra then mathcal B (P) mathcal B (P, , P) admits a unique Poisson bialgebra structure such that psi mathcal B (P) becomes a Poisson comodule algebra and, moreover, the pair bigl( mathcal B (P), , psi mathcal B (P) bigl) is the universal coacting bialgebra of P . The universal coacting Poisson Hopf algebra mathcal H (P) on P is constructed as the initial object in the category of Poisson comodule algebra structures on P by using the free Poisson Hopf algebra on a Poisson bialgebra ( cite A1 ).


A Relative Theory of Interleavings. The interleaving distance, although originally developed for persistent homology, has been generalized to measure the distance between functors modeled on many posets or even small categories. Existing theories require that such a poset have a superlinear family of translations or a similar structure. However, many posets of interest to topological data analysis, such as zig zag posets and the face relation poset of a cell complex, do not admit interesting translations, and consequently don't admit a nice theory of interleavings. In this paper we show how one can side step this limitation by providing a general theory where one maps to a poset that does admit interesting translations, such as the lattice of down sets, and then defines interleavings relative to this map. Part of our theory includes a rigorous notion of discretization or "pixelization" of poset modules, which in turn we use for interleaving inference. We provide an approximation condition that in the setting of lattices gives rise to two possible pixelizations, both of which are guaranteed to be close in the interleaving distance. Finally, we conclude by considering interleaving inference for cosheaves over a metric space and give an explicit description of interleavings over a grid structure on Euclidean space.


Reaction diffusion Equations on Complex Networks and Turing Patterns, via p Adic Analysis. Nakao and Mikhailov proposed using continuous models (mean field models) to study reaction diffusion systems on networks and the corresponding Turing patterns. This work aims to show that p adic analysis is the natural tool to carry out this program. This is possible due to the fact that the discrete Laplacian attached to a network turns out to be a particular case of a p adic Laplacian. By embedding the graph attached to the system into the field of p adic numbers, we construct a continuous p adic version of a reaction diffusion system on a network. The existence and uniqueness of the Cauchy problems for these systems are established. We show that Turing criteria for the p adic continuous reaction diffusion system remain essentially the same as in the classical case. However, the properties of the emergent patterns are very different. The classical Turing patterns consisting of alternating domains do not occur in the p adic continuous case. Instead of this, several domains (clusters) occur. Multistability, that is, coexistence of a number of different patterns with the same parameter values occurs. Clustering and multistability have been observed in the computer simulations of large reaction diffusion systems on networks. Such behavior can be naturally explained in the p adic continuous model, in a rigorous mathematical way, but not in the original discrete model.


Contribution of one cylinder square tiled surfaces to Masur Veech volumes. We compute explicitly the absolute contribution of square tiled surfaces having a single horizontal cylinder to the Masur Veech volume of any ambient stratum of Abelian differentials. The resulting count is particularly simple and efficient in the large genus asymptotics. Using the recent results of Aggarwal and of Chen Moeller Zagier on the long standing conjecture about the large genus asymptotics of Masur Veech volumes, we derive that the relative contribution is asymptotically of the order 1 d, where d is the dimension of the stratum. Similarly, we evaluate the contribution of one cylinder square tiled surfaces to Masur Veech volumes of low dimensional strata in the moduli space of quadratic differentials. We combine this count with our recent result on equidistribution of one cylinder square tiled surfaces translated to the language of interval exchange transformations to compute empirically approximate values of the Masur Veech volumes of strata of quadratic differentials of all small dimensions.


Victim or Perpetrator? Analysis of Violent Characters Portrayals from Movie Scripts. Violent content in the media can influence viewers' perception of the society. For example, frequent depictions of certain demographics as victims or perpetrators of violence can shape stereotyped attitudes. We propose that computational methods can aid in the large scale analysis of violence in movies. The method we develop characterizes aspects of violent content solely from the language used in the scripts. Thus, our method is applicable to a movie in the earlier stages of content creation even before it is produced. This is complementary to previous works which rely on audio or video post production. In this work, we identify stereotypes in character roles (i.e., victim, perpetrator and narrator) based on the demographics of the actor casted for that role. Our results highlight two significant differences in the frequency of portrayals as well as the demographics of the interaction between victims and perpetrators (1) female characters appear more often as victims, and (2) perpetrators are more likely to be White if the victim is Black or Latino. To date, we are the first to show that language used in movie scripts is a strong indicator of violent content, and that there are systematic portrayals of certain demographics as victims and perpetrators in a large dataset. This offers novel computational tools to assist in creating awareness of representations in storytelling


Scholarly migration within Mexico Analyzing internal migration among researchers using Scopus longitudinal bibliometric data. The migration of scholars is a major driver of innovation and of diffusion of knowledge. Although large scale bibliometric data have been used to measure international migration of scholars, our understanding of internal migration among researchers is very limited. This is partly due to a lack of data aggregated at a suitable sub national level. In this study, we analyze internal migration in Mexico based on over 1.1 million authorship records from the Scopus database. We trace the movements of scholars between Mexican states, and provide key demographic measures of internal migration for the 1996 2018 period. From a methodological perspective, we develop a new framework for enhancing data quality, inferring states from affiliations, and detecting moves from modal states for the purposes of studying internal migration among researchers. Substantively, we combine demographic and network science techniques to improve our understanding of internal migration patterns within country boundaries. The migration patterns between states in Mexico appear to be heterogeneous in size and direction across regions. However, while many scholars remain in their regions, there seems to be a preference for Mexico City and the surrounding states as migration destinations. We observed that over the past two decades, there has been a general decreasing trend in the crude migration intensity. However, the migration network has become more dense and more diverse, and has included greater exchanges between states along the Gulf and the Pacific Coast. Our analysis, which is mostly empirical in nature, lays the foundations for testing and developing theories that can rely on the analytical framework developed by migration scholars, and the richness of appropriately processed bibliometric data.


Creating Artificial Modalities to Solve RGB Liveness. Special cameras that provide useful features for face anti spoofing are desirable, but not always an option. In this work we propose a method to utilize the difference in dynamic appearance between bona fide and spoof samples by creating artificial modalities from RGB videos. We introduce two types of artificial transforms rank pooling and optical flow, combined in end to end pipeline for spoof detection. We demonstrate that using intermediate representations that contain less identity and fine grained features increase model robustness to unseen attacks as well as to unseen ethnicities. The proposed method achieves state of the art on the largest cross ethnicity face anti spoofing dataset CASIA SURF CeFA (RGB).


Populating Web Scale Knowledge Graphs using Distantly Supervised Relation Extraction and Validation. In this paper, we propose a fully automated system to extend knowledge graphs using external information from web scale corpora. The designed system leverages a deep learning based technology for relation extraction that can be trained by a distantly supervised approach. In addition to that, the system uses a deep learning approach for knowledge base completion by utilizing the global structure information of the induced KG to further refine the confidence of the newly discovered relations. The designed system does not require any effort for adaptation to new languages and domains as it does not use any hand labeled data, NLP analytics and inference rules. Our experiments, performed on a popular academic benchmark demonstrate that the suggested system boosts the performance of relation extraction by a wide margin, reporting error reductions of 50 , resulting in relative improvement of up to 100 . Also, a web scale experiment conducted to extend DBPedia with knowledge from Common Crawl shows that our system is not only scalable but also does not require any adaptation cost, while yielding substantial accuracy gain.


Listening between the Lines Learning Personal Attributes from Conversations. Open domain dialogue agents must be able to converse about many topics while incorporating knowledge about the user into the conversation. In this work we address the acquisition of such knowledge, for personalization in downstream Web applications, by extracting personal attributes from conversations. This problem is more challenging than the established task of information extraction from scientific publications or Wikipedia articles, because dialogues often give merely implicit cues about the speaker. We propose methods for inferring personal attributes, such as profession, age or family status, from conversations using deep learning. Specifically, we propose several Hidden Attribute Models, which are neural networks leveraging attention mechanisms and embeddings. Our methods are trained on a per predicate basis to output rankings of object values for a given subject predicate combination (e.g., ranking the doctor and nurse professions high when speakers talk about patients, emergency rooms, etc). Experiments with various conversational texts including Reddit discussions, movie scripts and a collection of crowdsourced personal dialogues demonstrate the viability of our methods and their superior performance compared to state of the art baselines.


From generalized arithmetic means to geodesics to Hamilton dynamics to Bregman divergences. Here we examine some connections between the notions of generalized arithmetic means, geodesics, Lagrange Hamilton dynamics and Bregman divergences. In a previous paper we developed a predictive interpretation of generalized arithmetic means. That work was more probabilistically oriented. Here we take a geometric turn, and see that generalized arithmetic means actually minimize a geodesic distance on mathbb R n. Such metrics might result from pull backs of the Euclidean metric in mathbb R n. We shall furthermore see that in some cases these pull backs might coincide with the Hessian of a convex function. This occurs when the Hessian of a convex function has a square root that is the Jacobian of a diffeomorphism in mathbb R n. In this case we obtain a comparison between the Bregman divergence defined by the convex function and the geodesic distance in the metric defined by its Hessian.


A Theoretical Perspective on Differentially Private Federated Multi task Learning. In the era of big data, the need to expand the amount of data through data sharing to improve model performance has become increasingly compelling. As a result, effective collaborative learning models need to be developed with respect to both privacy and utility concerns. In this work, we propose a new federated multi task learning method for effective parameter transfer with differential privacy to protect gradients at the client level. Specifically, the lower layers of the networks are shared across all clients to capture transferable feature representation, while top layers of the network are task specific for on client personalization. Our proposed algorithm naturally resolves the statistical heterogeneity problem in federated networks. We are, to the best of knowledge, the first to provide both privacy and utility guarantees for such a proposed federated algorithm. The convergences are proved for the cases with Lipschitz smooth objective functions under the non convex, convex, and strongly convex settings. Empirical experiment results on different datasets have been conducted to demonstrate the effectiveness of the proposed algorithm and verify the implications of the theoretical findings.


Light sheet imaging for the recording of transverse absolute density distributions of gas phase particle beams from nanoparticle injectors. Imaging biological molecules in the gas phase requires novel sample delivery methods, which generally have to be characterized and optimized to produce high density particle beams. A non destructive characterization method of the transverse particle beam profile is presented. It enables the characterization of the particle beam in parallel to the collection of, for instance, x ray diffraction patterns. As a rather simple experimental method, it requires the generation of a small laser light sheet using a cylindrical telescope and a microscope. The working principle of this technique was demonstrated for the characterization of the fluid dynamic focusing behavior of 220 nm polystyrene beads as prototypical nanoparticles. The particle flux was determined and the velocity distribution was calibrated using Mie scattering calculations.


The EMV Standard Break, Fix, Verify. EMV is the international protocol standard for smartcard payment and is used in over 9 billion cards worldwide. Despite the standard's advertised security, various issues have been previously uncovered, deriving from logical flaws that are hard to spot in EMV's lengthy and complex specification, running over 2,000 pages. We formalize a comprehensive symbolic model of EMV in Tamarin, a state of the art protocol verifier. Our model is the first that supports a fine grained analysis of all relevant security guarantees that EMV is intended to offer. We use our model to automatically identify flaws that lead to two critical attacks one that defrauds the cardholder and a second that defrauds the merchant. First, criminals can use a victim's Visa contactless card to make payments for amounts that require cardholder verification, without knowledge of the card's PIN. We built a proof of concept Android application and successfully demonstrated this attack on real world payment terminals. Second, criminals can trick the terminal into accepting an unauthentic offline transaction, which the issuing bank should later decline, after the criminal has walked away with the goods. This attack is possible for implementations following the standard, although we did not test it on actual terminals for ethical reasons. Finally, we propose and verify improvements to the standard that prevent these attacks, as well as any other attacks that violate the considered security properties. The proposed improvements can be easily implemented in the terminals and do not affect the cards in circulation.


Perspective Essentials of Relativistic Quantum Chemistry. Relativistic quantum chemistry has evolved into a fertile and large field and is now becoming an integrated part of mainstream chemistry. Yet, given the much involved physics and mathematics (as compared with nonrelativistic quantum chemistry), it is still necessary to clean up the essentials underlying the relativistic electronic structure theories and methodologies (such that uninitiated readers can pick up quickly the right ideas and tools for further development or application) and meanwhile pinpoint future directions of the field. To this end, the three aspects of electronic structure calculations, i.e., relativity, correlation, and QED, will be highlighted.


AliMe KG Domain Knowledge Graph Construction and Application in E commerce. Pre sales customer service is of importance to E commerce platforms as it contributes to optimizing customers' buying process. To better serve users, we propose AliMe KG, a domain knowledge graph in E commerce that captures user problems, points of interests (POI), item information and relations thereof. It helps to understand user needs, answer pre sales questions and generate explanation texts. We applied AliMe KG to several online business scenarios such as shopping guide, question answering over properties and recommendation reason generation, and gained positive results. In the paper, we systematically introduce how we construct domain knowledge graph from free text, and demonstrate its business value with several applications. Our experience shows that mining structured knowledge from free text in vertical domain is practicable, and can be of substantial value in industrial settings.


Cyber Physical Mobility Lab An Open Source Platform for Networked and Autonomous Vehicles. This paper introduces our Cyber Physical Mobility Lab (CPM Lab). It is an open source development environment for networked and autonomous vehicles with focus on networked decision making, trajectory planning, and control. The CPM Lab hosts 20 physical model scale vehicles ( mu Cars) which we can seamlessly extend by unlimited simulated vehicles. The code and construction plans are publicly available to enable rebuilding the CPM Lab. Our four layered architecture enables the seamless use of the same software in simulations and in experiments without any further adaptions. A Data Distribution Service (DDS) based middleware allows adapting the number of vehicles during experiments in a seamless manner. The middleware is also responsible for synchronizing all entities following a logical execution time approach to achieve determinism and reproducibility of experiments. This approach makes the CPM Lab a unique platform for rapid functional prototyping of networked decision making algorithms. The CPM Lab allows researchers as well as students from different disciplines to see their ideas developing into reality. We demonstrate its capabilities using two example experiments. We are working on a remote access to the CPM Lab via a webinterface.


Phase Retrieval of Low Rank Matrices by Anchored Regression. We study the low rank phase retrieval problem, where we try to recover a d 1 times d 2 low rank matrix from a series of phaseless linear measurements. This is a fourth order inverse problem, as we are trying to recover factors of matrix that have been put through a quadratic nonlinearity after being multiplied together. We propose a solution to this problem using the recently introduced technique of anchored regression. This approach uses two different types of convex relaxations we replace the quadratic equality constraints for the phaseless measurements by a search over a polytope, and enforce the rank constraint through nuclear norm regularization. The result is a convex program that works in the space of d 1 times d 2 matrices. We analyze two specific scenarios. In the first, the target matrix is rank 1 , and the observations are structured to correspond to a phaseless blind deconvolution. In the second, the target matrix has general rank, and we observe the magnitudes of the inner products against a series of independent Gaussian random matrices. In each of these problems, we show that the anchored regression returns an accurate estimate from a near optimal number of measurements given that we have access to an anchor matrix of sufficient quality. We also show how to create such an anchor in the phaseless blind deconvolution problem, again from an optimal number of measurements, and present a partial result in this direction for the general rank problem.


Boundary Schwarz lemma for harmonic mappings having zero of order p . Suppose w is a sense preserving harmonic mapping of the unit disk mathbb D such that w( mathbb D ) subseteq mathbb D and w has a zero of order p geq1 at z 0 . In this paper, we first improve the Schwarz lemma for w , and then, we establish its boundary Schwarz lemma. Moreover, by using the automorphism of mathbb D , we further generalize this result.


A Survey on Numerical Methods for Spectral Space Fractional Diffusion Problems. The survey is devoted to numerical solution of the fractional equation A alpha u f , 0 alpha 1 , where A is a symmetric positive definite operator corresponding to a second order elliptic boundary value problem in a bounded domain Omega in mathbb R d . The operator fractional power is a non local operator and is defined through the spectrum. Due to growing interest and demand in applications of sub diffusion models to physics and engineering, in the last decade, several numerical approaches have been proposed, studied, and tested. We consider discretizations of the elliptic operator A by using an N dimensional finite element space V h or finite differences over a uniform mesh with N grid points. The numerical solution of this equation is based on the following three equivalent representations of the solution (1) Dunford Taylor integral formula (or its equivalent Balakrishnan formula), (2) extension of the a second order elliptic problem in Omega times (0, infty) subset mathbb R d 1 (with a local operator) or as a pseudo parabolic equation in the cylinder (x,t) in Omega times (0,1) , (3) spectral representation and the best uniform rational approximation (BURA) of z alpha on 0,1 . Though substantially different in origin and their analysis, these methods can be interpreted as some rational approximation of A alpha . In this paper we present the main ideas of these methods and the corresponding algorithms, discuss their accuracy, computational complexity and compare their efficiency and robustness.


On the second homotopy group of spaces of commuting elements in Lie groups. Let G be a compact connected Lie group and n geqslant 1 an integer. Consider the space of ordered commuting n tuples in G , Hom( mathbb Z n,G) , and its quotient under the adjoint action, Rep( mathbb Z n,G) Hom( mathbb Z n,G) G . In this article we study and in many cases compute the homotopy groups pi 2(Hom( mathbb Z n,G)) . For G simply connected and simple we show that pi 2(Hom( mathbb Z 2,G)) cong mathbb Z and pi 2(Rep( mathbb Z 2,G)) cong mathbb Z , and that on these groups the quotient map Hom( mathbb Z 2,G) to Rep( mathbb Z 2,G) induces multiplication by the Dynkin index of G . More generally we show that if G is simple and Hom( mathbb Z 2,G) 1 subseteq Hom( mathbb Z 2,G) is the path component of the trivial homomorphism, then H 2(Hom( mathbb Z 2,G) 1 mathbb Z ) is an extension of the Schur multiplier of pi 1(G) 2 by mathbb Z . We apply our computations to prove that if B com G 1 is the classifying space for commutativity at the identity component, then pi 4(B com G 1 ) cong mathbb Z oplus mathbb Z , and we construct examples of non trivial transitionally commutative structures on the trivial principal G bundle over the sphere mathbb S 4 .


Towards Global Earthquake Early Warning with the MyShake Smartphone Seismic Network Part 1 Detection algorithm and simulation platform. The MyShake project aims to build a global smartphone seismic network to facilitate large scale earthquake early warning and other applications by leveraging the power of crowdsourcing. The MyShake mobile application first detects earthquake shaking on a single phone. The earthquake is then confirmed on the MyShake servers using a "network detection" algorithm that is activated by multiple single phone detections. In this part one of the two paper series, we present a network detection algorithm and a simulation platform to test earthquake scenarios at various locations around the world. The proposed network detection algorithm is built on the DBSCAN classic spatial clustering algorithm, with modifications to take temporal characteristics into account and the association of new triggers. We test our network detection algorithm using real data recorded by MyShake users during the M4.4 January 4th, 2018, Berkeley and the M5.2 June 10th, 2016, Borrego Springs earthquakes to demonstrate the system's utility. In order to test the entire detection procedure and to understand the first order performance of MyShake in various locations around the world representing different population and tectonic characteristics, we then present a software platform which can simulate earthquake triggers in hypothetical MyShake networks. Part two of this paper series explores our MyShake early warning simulation performance in selected regions around the world.