On the quality of matching based aggregates for algebraic coarsening of SPD matrices in AMG. In this paper, we discuss a quality measure for an aggregation based coarsening algorithm, named coarsening based on compatible weighted matching, which relies on the interplay between the principle of compatible relaxation and the maximum product matching in weighted graphs. The measure is based on a general convergence analysis theory applied to the class of algebraic multigrid methods employing unsmoothed aggregation it was originally introduced and applied to similar methods as tool to obtain good quality aggregates leading to optimal convergence. The analysis, as well as the coarsening procedure, is purely algebraic and, in our case, allows an a posteriori evaluation of the quality of the aggregation procedure which we apply to analyze the impact of approximate algorithms for matching computation and graph edge weights. The connection between the choice of the aggregates and the compatible relaxation convergence is also highlighted, confirming the consistency between available theories for designing effective coarsening procedure in purely algebraic multigrid methods and the effectiveness of the coarsening based on compatible weighted matching. We discuss various completely automatic algorithmic approaches to obtain aggregates for which good convergence properties are achieved on various test cases.


On the commuting graphs of Brandt semigroups. The commuting graph of a finite non commutative semigroup S, denoted by Delta(S), is the simple graph whose vertices are the non central elements of S and two distinct vertices x y are adjacent if xy yx. In the present paper, we study various graph theoretic properties of the commuting graph Delta(B n) of Brandt semigroup B n including its diameter, clique number, chromatic number, independence number, strong metric dimension and dominance number. Moreover, we obtain the automorphism group Aut( Delta(Bn)) and the endomorphism monoid End( Delta(Bn)) of Delta(Bn). We show that Aut( Delta(Bn)) S n times Z 2, where S n is the symmetric group of degree n and Z 2 is the additive group of integers modulo 2. Further, for n geq 4, we prove that End( Delta(Bn)) Aut( Delta(Bn)). In order to provide an answer to the question posed in 2 , we ascertained a class of inverse semigroups whose commuting graph is Hamiltonian.


On the Effectiveness of Laser Speckle Contrast Imaging and Deep Neural Networks for Detecting Known and Unknown Fingerprint Presentation Attacks. Fingerprint presentation attack detection (FPAD) is becoming an increasingly challenging problem due to the continuous advancement of attack techniques, which generate realistic looking' fake fingerprint presentations. Recently, laser speckle contrast imaging (LSCI) has been introduced as a new sensing modality for FPAD. LSCI has the interesting characteristic of capturing the blood flow under the skin surface. Toward studying the importance and effectiveness of LSCI for FPAD, we conduct a comprehensive study using different patch based deep neural network architectures. Our studied architectures include 2D and 3D convolutional networks as well as a recurrent network using long short term memory (LSTM) units. The study demonstrates that strong FPAD performance can be achieved using LSCI. We evaluate the different models over a new large dataset. The dataset consists of 3743 bona fide samples, collected from 335 unique subjects, and 218 presentation attack samples, including six different types of attacks. To examine the effect of changing the training and testing sets, we conduct a 3 fold cross validation evaluation. To examine the effect of the presence of an unseen attack, we apply a leave one attack out strategy. The FPAD classification results of the networks, which are separately optimized and tuned for the temporal and spatial patch sizes, indicate that the best performance is achieved by LSTM.


A Theory of Auto Scaling for Resource Reservation in Cloud Services. We consider a distributed server system consisting of a large number of servers, each with limited capacity on multiple resources (CPU, memory, disk, etc.). Jobs with different rewards arrive over time and require certain amounts of resources for the duration of their service. When a job arrives, the system must decide whether to admit it or reject it, and if admitted, in which server to schedule the job. The objective is to maximize the expected total reward received by the system. This problem is motivated by control of cloud computing clusters, in which, jobs are requests for Virtual Machines or Containers that reserve resources for various services, and rewards represent service priority of requests or price paid per time unit of service by clients. We study this problem in an asymptotic regime where the number of servers and jobs' arrival rates scale by a factor L , as L becomes large. We propose a resource reservation policy that asymptotically achieves at least 1 2 , and under certain monotone property on jobs' rewards and resources, at least 1 1 e of the optimal expected reward. The policy automatically scales the number of VM slots for each job type as the demand changes, and decides in which servers the slots should be created in advance, without the knowledge of traffic rates. It effectively tracks a low complexity greedy packing of existing jobs in the system while maintaining only a small number, g(L) omega( log L) , of reserved VM slots for high priority jobs that pack well.


Tempered homogeneous spaces III. Let G be a real semisimple algebraic Lie group and H a real reductive algebraic subgroup. We describe the pairs (G,H) for which the representation of G in L 2(G H) is tempered. When G and H are complex Lie groups, the temperedness condition is characterized by the fact that the stabilizer in H of a generic point on G H is virtually abelian.


Approximation of the zero index transmission eigenvalues with a conductive boundary and parameter estimation. In this paper, we present a Spectral Galerkin Method to approximate the zero index transmission eigenvalues with a conductive boundary condition. This is a new eigenvalue problem derived from the scalar inverse scattering problem for an isotropic media with a conductive boundary condition. In our analysis, we will consider the equivalent fourth order eigenvalue problem where we establish the convergence when the approximation space is the span of finitely many Dirichlet eigenfunctions for the Laplacian. We establish the convergence rate of the spectral approximation by appealing to Weyl's law. Numerical examples for computing the eigenvalues and eigenfunctions for the unit disk and unit square are presented. Lastly, we provide a method for estimating the refractive index assuming the conductivity parameter is either sufficiently large or small but otherwise unknown.


Gaps between divisible terms in a 2 (a 2 1) . Suppose a 2 (a 2 1) divides b 2 (b 2 1) with b a . In this paper, we improve a previous result and prove a gap principle, without any additional assumptions, namely b gg a ( log a) 1 8 ( log log a) 12 . We also obtain b gg epsilon a 15 14 epsilon under the abc conjecture.


Historic behavior in non hyperbolic homoclinic classes. We show that C 1 generically for diffeomorphisms of manifolds of dimension d geq3 , a homoclinic class containing saddles of different indices has a residual subset where the orbit of any point has historic behavior.


The algebraic structure of left semi trusses. The distributive laws of ring theory are fundamental equalities in algebra. However, recently in the study of the Yang Baxter equation, many algebraic structures with alternative "distributive" laws were defined. In an effort to study these "left distributive" laws and the interaction they entail on the algebraic structures, Brzezi 'nski introduced skew left trusses and left semi trusses. In particular the class of left semi trusses is very wide, since it contains all rings, associative algebras and distributive lattices. In this paper, we investigate the subclass of left semi trusses that behave like the algebraic structures that came up in the study of the Yang Baxter equation. We study the interaction of the operations and what this interaction entails on their respective semigroups. In particular, we prove that in the finite case the additive structure is a completely regular semigroup. Secondly, we apply our results on a particular instance of a left semi truss called an almost left semi brace, introduced by Miccoli to study its algebraic structure. In particular, we show that one can associate a left semi brace to any almost left semi brace. Furthermore, we show that the set theoretic solutions of the Yang Baxter equation originating from almost left semi braces arise from this correspondence.


Smooth classification of locally standard T k manifolds. We study locally standard T k manifolds M . In particular, we study the case where there is a continuous section to the orbit map pi M rightarrow M T . We give a classification of T k manifolds satisfying these conditions up to equivariant diffeomorphism.


Designing Security and Privacy Requirements in Internet of Things A Survey. The design and development process for the Internet of Things (IoT) applications is more complicated than that for desktop, mobile, or web applications. First, IoT applications require both software and hardware to work together across different nodes with different capabilities under different conditions. Secondly, IoT application development involves different software engineers such as desktop, web, embedded and mobile to cooperate. In addition, the development process required different software hardware stacks to integrated together. Due to above complexities, more often non functional requirements (such as security and privacy) tend to get ignored in IoT application development process. In this paper, we have reviewed techniques, methods and tools that are being developed to support incorporating security and privacy requirements into traditional application designs. By doing so, we aim to explore how those techniques could be applicable to the IoT domain. In this paper, we primarily focused on two different aspects (1) design notations, models, and languages that facilitate capturing non functional requirements (i.e., security and privacy), and (2) proactive and reactive interaction techniques that can be used to support and augment the IoT application design process. Our goal is not only to analyse past research work but also to discuss their applicability towards the IoT.


Random sampling and reconstruction of concentrated signals in a reproducing kernel space. In this paper, we consider (random) sampling of signals concentrated on a bounded Corkscrew domain Omega of a metric measure space, and reconstructing concentrated signals approximately from their (un)corrupted sampling data taken on a sampling set contained in Omega . We establish a weighted stability of bi Lipschitz type for a (random) sampling scheme on the set of concentrated signals in a reproducing kernel space. The weighted stability of bi Lipschitz type provides a weak robustness to the sampling scheme, however due to the nonconvexity of the set of concentrated signals, it does not imply the unique signal reconstruction. From (un)corrupted samples taken on a finite sampling set contained in Omega , we propose an algorithm to find approximations to signals concentrated on a bounded Corkscrew domain Omega . Random sampling is a sampling scheme where sampling positions are randomly taken according to a probability distribution. Next we show that, with high probability, signals concentrated on a bounded Corkscrew domain Omega can be reconstructed approximately from their uncorrupted (or randomly corrupted) samples taken at i.i.d. random positions drawn on Omega , provided that the sampling size is at least of the order mu( Omega) ln ( mu( Omega)) , where mu( Omega) is the measure of the concentrated domain Omega . Finally, we demonstrate the performance of proposed approximations to the original concentrated signal when the sampling procedure is taken either with small density or randomly with large size.


From climate change to pandemics decision science can help scientists have impact. Scientific knowledge and advances are a cornerstone of modern society. They improve our understanding of the world we live in and help us navigate global challenges including emerging infectious diseases, climate change and the biodiversity crisis. For any scientist, whether they work primarily in fundamental knowledge generation or in the applied sciences, it is important to understand how science fits into a decision making framework. Decision science is a field that aims to pinpoint evidence based management strategies. It provides a framework for scientists to directly impact decisions or to understand how their work will fit into a decision process. Decision science is more than undertaking targeted and relevant scientific research or providing tools to assist policy makers it is an approach to problem formulation, bringing together mathematical modelling, stakeholder values and logistical constraints to support decision making. In this paper we describe decision science, its use in different contexts, and highlight current gaps in methodology and application. The COVID 19 pandemic has thrust mathematical models into the public spotlight, but it is one of innumerable examples in which modelling informs decision making. Other examples include models of storm systems (eg. cyclones, hurricanes) and climate change. Although the decision timescale in these examples differs enormously (from hours to decades), the underlying decision science approach is common across all problems. Bridging communication gaps between different groups is one of the greatest challenges for scientists. However, by better understanding and engaging with the decision making processes, scientists will have greater impact and make stronger contributions to important societal problems.


On Voronoi diagrams and dual Delaunay complexes on the information geometric Cauchy manifolds. We study the Voronoi diagrams of a finite set of Cauchy distributions and their dual complexes from the viewpoint of information geometry by considering the Fisher Rao distance, the Kullback Leibler divergence, the chi square divergence, and a flat divergence derived from Tsallis' quadratic entropy related to the conformal flattening of the Fisher Rao curved geometry. We prove that the Voronoi diagrams of the Fisher Rao distance, the chi square divergence, and the Kullback Leibler divergences all coincide with a hyperbolic Voronoi diagram on the corresponding Cauchy location scale parameters, and that the dual Cauchy hyperbolic Delaunay complexes are Fisher orthogonal to the Cauchy hyperbolic Voronoi diagrams. The dual Voronoi diagrams with respect to the dual forward reverse flat divergences amount to dual Bregman Voronoi diagrams, and their dual complexes are regular triangulations. The primal Bregman Tsallis Voronoi diagram corresponds to the hyperbolic Voronoi diagram and the dual Bregman Tsallis Voronoi diagram coincides with the ordinary Euclidean Voronoi diagram. Besides, we prove that the square root of the Kullback Leibler divergence between Cauchy distributions yields a metric distance which is Hilbertian for the Cauchy scale families.


On the Expressiveness of LARA A Unified Language for Linear and Relational Algebra. We study the expressive power of the LARA language a recently proposed unified model for expressing relational and linear algebra operations both in terms of traditional database query languages and some analytic tasks often performed in machine learning pipelines. We start by showing LARA to be expressive complete with respect to first order logic with aggregation. Since LARA is parameterized by a set of user defined functions which allow to transform values in tables, the exact expressive power of the language depends on how these functions are defined. We distinguish two main cases depending on the level of genericity queries are enforced to satisfy. Under strong genericity assumptions the language cannot express matrix convolution, a very important operation in current machine learning operations. This language is also local, and thus cannot express operations such as matrix inverse that exhibit a recursive behavior. For expressing convolution, one can relax the genericity requirement by adding an underlying linear order on the domain. This, however, destroys locality and turns the expressive power of the language much more difficult to understand. In particular, although under complexity assumptions the resulting language can still not express matrix inverse, a proof of this fact without such assumptions seems challenging to obtain.


Reducing Honeypot Log Storage Capacity Consumption Cron Job with Perl Script Approach. Honeypot is a decoy computer system that is used to attract and monitor hackers' activities in the network. The honeypot aims to collect information from the hackers in order to create a more secure system. However, the log file generated by honeypot can grow very large when heavy traffic occurred in the system, such as Distributed Denial of Services' (DDoS) attack. The DDoS possesses difficulty when it is being processed and analyzed by the network administrator as it required a lot of time and resources. Therefore, in this paper, we propose an approach to decrease the log size that is by using a Cron job that will run with a Perl script. This approach parses the collected data into the database periodically to decrease the log size. Three DDoS attack cases were conducted in this study to show the increasing of the log size by sending a different amount of packet per second for 8 hours in each case. The results have shown that by utilizing the Cron job with Perl script, the log size has been significantly reduced, the disk space used in the system has also decreased. Consequently, this approach capable of speeding up the process of parsing the log file into the database and thus, improving the overall system performance. This study contributes to providing a pathway in reducing honeypot log storage using the Cron job with Perl Script.


An Overview of Generic Tools for Information Theoretic Secrecy Performance Analysis over Wiretap Fading Channels. An alternative or supplementary approach named as physical layer security has been proposed to afford an extra security layer on top of the conventional cryptography technique. In this paper, an overview of secrecy performance investigations over the classic Alice Bob Eve wiretap fading channels is conducted. On the basis of the classic wiretap channel model, we have comprehensively listed and thereafter compared the existing works on physical layer secrecy analysis considering the small scale, large scale, composite, and cascaded fading channel models. Exact secrecy metrics expressions, including secrecy outage probability (SOP), the probability of non zero secrecy capacity (PNZ), average secrecy capacity (ASC), and secrecy bounds, including the lower bound of SOP and ergodic secrecy capacity, are presented. In order to encompass the aforementioned four kinds of fading channel models with a more generic and flexible distribution, the mixture gamma (MG), mixture of Gaussian (MoG), and Fox's H function distributions are three useful candidates to largely include the above mentioned four kinds of fading channel models. It is shown that they are flexible and general when assisting the secrecy analysis to obtain closed form expressions. Their advantages and limitations are also highlighted. Conclusively, these three approaches are proven to provide a unified secrecy analysis framework and can cover all types of independent wiretap fading channel models. Apart from those, revisiting the existing secrecy enhancement techniques based on our system configuration, the on off transmission scheme, jamming approach (including artificial noise (AN) artificial fast fading (AFF)), antenna selection, and security region are presented.


Balance Maximization in Signed Networks via Edge Deletions. In signed networks, each edge is labeled as either positive or negative. The edge sign captures the polarity of a relationship. Balance of signed networks is a well studied property in graph theory. In a balanced (sub)graph, the vertices can be partitioned into two subsets with negative edges present only across the partitions. Balanced portions of a graph have been shown to increase coherence among its members and lead to better performance. While existing works have focused primarily on finding the largest balanced subgraph inside a graph, we study the network design problem of maximizing balance of a target community (subgraph). In particular, given a budget b and a community of interest within the signed network, we aim to make the community as close to being balanced as possible by deleting up to b edges. Besides establishing NP hardness, we also show that the problem is non monotone and non submodular. To overcome these computational challenges, we propose heuristics based on the spectral relation of balance with the Laplacian spectrum of the network. Since the spectral approach lacks approximation guarantees, we further design a greedy algorithm, and its randomized version, with provable bounds on the approximation quality. The bounds are derived by exploiting pseudo submodularity of the balance maximization function. Empirical evaluation on eight real world signed networks establishes that the proposed algorithms are effective, efficient, and scalable to graphs with millions of edges.


Schema2QA High Quality and Low Cost Q A Agents for the Structured Web. Building a question answering agent currently requires large annotated datasets, which are prohibitively expensive. This paper proposes Schema2QA, an open source toolkit that can generate a Q A system from a database schema augmented with a few annotations for each field. The key concept is to cover the space of possible compound queries on the database with a large number of in domain questions synthesized with the help of a corpus of generic query templates. The synthesized data and a small paraphrase set are used to train a novel neural network based on the BERT pretrained model. We use Schema2QA to generate Q A systems for five Schema.org domains, restaurants, people, movies, books and music, and obtain an overall accuracy between 64 and 75 on crowdsourced questions for these domains. Once annotations and paraphrases are obtained for a Schema.org schema, no additional manual effort is needed to create a Q A agent for any website that uses the same schema. Furthermore, we demonstrate that learning can be transferred from the restaurant to the hotel domain, obtaining a 64 accuracy on crowdsourced questions with no manual effort. Schema2QA achieves an accuracy of 60 on popular restaurant questions that can be answered using Schema.org. Its performance is comparable to Google Assistant, 7 lower than Siri, and 15 higher than Alexa. It outperforms all these assistants by at least 18 on more complex, long tail questions.


New Results on Nyldon Words and Nyldon like Sets. Grinberg defined Nyldon words as those words which cannot be factorized into a sequence of lexicographically nondecreasing smaller Nyldon words. He was inspired by Lyndon words, defined the same way except with "nondecreasing" replaced by "nonincreasing." Charlier, Philibert, and Stipulanti proved that, like Lyndon words, any word has a unique nondecreasing factorization into Nyldon words. They also show that the Nyldon words form a right Lazard set, and equivalently, a right Hall set. In this paper, we provide a new proof of unique factorization into Nyldon words related to Hall set theory and resolve several questions of Charlier et al. In particular, we prove that Nyldon words of a fixed length form a circular code, we prove a result on factorizing powers of words into Nyldon words, and we investigate the Lazard procedure for generating Nyldon words. We show that these results generalize to a new class of Hall sets, of which Nyldon words are an example, that we name "Nyldon like sets."


PDE models for the valuation of a non callable defaultable coupon bond under an extended JDCEV model. We consider a two factor model for the valuation of a non callable defaultable bond which pays coupons at certain given dates. The model under consideration is the Jump to Default Constant Elasticity of Variance (JDCEV) model. The JDCEV model is an improvement of the reduced form approach, which unifies credit and equity models into a single framework allowing for stochastic and possible negative interest rates. From the mathematical point of view, the valuation involves two partial differential equation (PDE) problems for each coupon. First, we obtain the existence of solution for these PDE problems. In order to solve them, we propose appropriate numerical schemes based on a Crank Nicolson semi Lagrangian method for time discretization combined with bi quadratic Lagrange finite elements for space discretization. Once the numerical solutions of the PDEs are obtained, a post processing procedure is carried out in order to achieve the value of the bond. This post processing includes the computation of an integral term which is approximated by using the composite trapezoidal rule. Finally, we present some numerical results for real market bonds issued by different firms in order to illustrate the proper behaviour of the numerical schemes. Moreover, we obtain an agreement between the numerical results from the PDE approach and those ones obtained by applying a Monte Carlo technique and an asymptotic approximation method.


Kimera an Open Source Library for Real Time Metric Semantic Localization and Mapping. We provide an open source C library for real time metric semantic visual inertial Simultaneous Localization And Mapping (SLAM). The library goes beyond existing visual and visual inertial SLAM libraries (e.g., ORB SLAM, VINS Mono, OKVIS, ROVIO) by enabling mesh reconstruction and semantic labeling in 3D. Kimera is designed with modularity in mind and has four key components a visual inertial odometry (VIO) module for fast and accurate state estimation, a robust pose graph optimizer for global trajectory estimation, a lightweight 3D mesher module for fast mesh reconstruction, and a dense 3D metric semantic reconstruction module. The modules can be run in isolation or in combination, hence Kimera can easily fall back to a state of the art VIO or a full SLAM system. Kimera runs in real time on a CPU and produces a 3D metric semantic mesh from semantically labeled images, which can be obtained by modern deep learning methods. We hope that the flexibility, computational efficiency, robustness, and accuracy afforded by Kimera will build a solid basis for future metric semantic SLAM and perception research, and will allow researchers across multiple areas (e.g., VIO, SLAM, 3D reconstruction, segmentation) to benchmark and prototype their own efforts without having to start from scratch.


Investigating Potential Factors Associated with Gender Discrimination in Collaborative Recommender Systems. The proliferation of personalized recommendation technologies has raised concerns about discrepancies in their recommendation performance across different genders, age groups, and racial or ethnic populations. This varying degree of performance could impact users' trust in the system and may pose legal and ethical issues in domains where fairness and equity are critical concerns, like job recommendation. In this paper, we investigate several potential factors that could be associated with discriminatory performance of a recommendation algorithm for women versus men. We specifically study several characteristics of user profiles and analyze their possible associations with disparate behavior of the system towards different genders. These characteristics include the anomaly in rating behavior, the entropy of users' profiles, and the users' profile size. Our experimental results on a public dataset using four recommendation algorithms show that, based on all the three mentioned factors, women get less accurate recommendations than men indicating an unfair nature of recommendation algorithms across genders.


Generalized Insider Attack Detection Implementation using NetFlow Data. Insider Attack Detection in commercial networks is a critical problem that does not have any good solutions at this current time. The problem is challenging due to the lack of visibility into live networks and a lack of a standard feature set to distinguish between different attacks. In this paper, we study an approach centered on using network data to identify attacks. Our work builds on unsupervised machine learning techniques such as One Class SVM and bi clustering as weak indicators of insider network attacks. We combine these techniques to limit the number of false positives to an acceptable level required for real world deployments by using One Class SVM to check for anomalies detected by the proposed Bi clustering algorithm. We present a prototype implementation in Python and associated results for two different real world representative data sets. We show that our approach is a promising tool for insider attack detection in realistic settings.


Untangling Dense Knots by Learning Task Relevant Keypoints. Untangling ropes, wires, and cables is a challenging task for robots due to the high dimensional configuration space, visual homogeneity, self occlusions, and complex dynamics. We consider dense (tight) knots that lack space between self intersections and present an iterative approach that uses learned geometric structure in configurations. We instantiate this into an algorithm, HULK Hierarchical Untangling from Learned Keypoints, which combines learning based perception with a geometric planner into a policy that guides a bilateral robot to untangle knots. To evaluate the policy, we perform experiments both in a novel simulation environment modelling cables with varied knot types and textures and in a physical system using the da Vinci surgical robot. We find that HULK is able to untangle cables with dense figure eight and overhand knots and generalize to varied textures and appearances. We compare two variants of HULK to three baselines and observe that HULK achieves 43.3 higher success rates on a physical system compared to the next best baseline. HULK successfully untangles a cable from a dense initial configuration containing up to two overhand and figure eight knots in 97.9 of 378 simulation experiments with an average of 12.1 actions per trial. In physical experiments, HULK achieves 61.7 untangling success, averaging 8.48 actions per trial. Supplementary material, code, and videos can be found at https tinyurl.com y3a88ycu.


Roots of Trumpism Homophily and Social Feedback in Donald Trump Support on Reddit. We study the emergence of support for Donald Trump in Reddit's political discussion. With almost 800k subscribers, "r The Donald" is one of the largest communities on Reddit, and one of the main hubs for Trump supporters. It was created in 2015, shortly after Donald Trump began his presidential campaign. By using only data from 2012, we predict the likelihood of being a supporter of Donald Trump in 2016, the year of the last US presidential elections. To characterize the behavior of Trump supporters, we draw from three different sociological hypotheses homophily, social influence, and social feedback. We operationalize each hypothesis as a set of features for each user, and train classifiers to predict their participation in r The Donald. We find that homophily based and social feedback based features are the most predictive signals. Conversely, we do not observe a strong impact of social influence mechanisms. We also perform an introspection of the best performing model to build a "persona" of the typical supporter of Donald Trump on Reddit. We find evidence that the most prominent traits include a predominance of masculine interests, a conservative and libertarian political leaning, and links with politically incorrect and conspiratorial content.


Rule based Graph Repair. Model repair is an essential topic in model driven engineering. Since models are suitably formalized as graph like structures, we consider the problem of rule based graph repair Given a rule set and a graph constraint, try to construct a graph program based on the given set of rules, such that the application to any graph yields a graph satisfying the graph constraint. We show the existence of repair programs for specific constraints, and show the existence of rule based repair programs for specific constraints compatible with the rule set.


xRAC Execution and Access Control for Restricted Application Containers on Managed Hosts. We propose xRAC to permit users to run special applications on managed hosts and to grant them access to protected network resources. We use restricted application containers (RACs) for that purpose. A RAC is a virtualization container with only a selected set of applications. Authentication verifies the RAC user's identity and the integrity of the RAC image. If the user is permitted to use the RAC on a managed host, launching the RAC is authorized and access to protected network resources may be given, e.g., to internal networks, servers, or the Internet. xRAC simplifies traffic control as the traffic of a RAC has a unique IPv6 address so that it can be easily identified in the network. The architecture of xRAC reuses standard technologies, protocols, and infrastructure. Those are the Docker virtualization platform and 802.1X including EAP over UDP and RADIUS. Thus, xRAC improves network security without modifying core parts of applications, hosts, and infrastructure. In this paper, we review the technological background of xRAC, explain its architecture, discuss selected use cases, and investigate on the performance. To demonstrate the feasibility of xRAC, we implement it based on standard components with only a few modifications. Finally, we validate xRAC through experiments.


Faster Depth Adaptive Transformers. Depth adaptive neural networks can dynamically adjust depths according to the hardness of input words, and thus improve efficiency. The main challenge is how to measure such hardness and decide the required depths (i.e., layers) to conduct. Previous works generally build a halting unit to decide whether the computation should continue or stop at each layer. As there is no specific supervision of depth selection, the halting unit may be under optimized and inaccurate, which results in suboptimal and unstable performance when modeling sentences. In this paper, we get rid of the halting unit and estimate the required depths in advance, which yields a faster depth adaptive model. Specifically, two approaches are proposed to explicitly measure the hardness of input words and estimate corresponding adaptive depth, namely 1) mutual information (MI) based estimation and 2) reconstruction loss based estimation. We conduct experiments on the text classification task with 24 datasets in various sizes and domains. Results confirm that our approaches can speed up the vanilla Transformer (up to 7x) while preserving high accuracy. Moreover, efficiency and robustness are significantly improved when compared with other depth adaptive approaches.


Regularity of inhomogeneous Quasi linear equations on the Heisenberg Group. We establish Holder continuity of the horizontal gradient of weak solutions to quasi linear p Laplacian type non homogeneous equations in the Heisenberg Group.


Algorithms for deletion problems on split graphs. In the Split to Block Vertex Deletion and Split to Threshold Vertex Deletion problems the input is a split graph G and an integer k , and the goal is to decide whether there is a set S of at most k vertices such that G S is a block graph and G S is a threshold graph, respectively. In this paper we give algorithms for these problems whose running times are O (2.076 k) and O (2.733 k) , respectively.


On the local doubling gamma factor for classical groups over function fields. In this paper, we give a precise definition of an analytic gamma factor of an irreducible representation of a classical group over a local function field of odd characteristic so that it satisfies some notable properties which are enough to define it uniquely. We use the doubling method to define the gamma factor, and the main theorem extends works of Lapid Rallis, Gan, Yamana, and the author to a classical group over a local function field of odd characteristic.


Handoff All Your Privacy A Review of Apple's Bluetooth Low Energy Continuity Protocol. We investigate Apple's Bluetooth Low Energy (BLE) Continuity protocol, designed to support interoperability and communication between iOS and macOS devices, and show that the price for this seamless experience is leakage of identifying information and behavioral data to passive adversaries. First, we reverse engineer numerous Continuity protocol message types and identify data fields that are transmitted unencrypted. We show that Continuity messages are broadcast over BLE in response to actions such as locking and unlocking a device's screen, copying and pasting information, making and accepting phone calls, and tapping the screen while it is unlocked. Laboratory experiments reveal a significant flaw in the most recent versions of macOS that defeats BLE Media Access Control (MAC) address randomization entirely by causing the public MAC address to be broadcast. We demonstrate that the format and content of Continuity messages can be used to fingerprint the type and Operating System (OS) version of a device, as well as behaviorally profile users. Finally, we show that predictable sequence numbers in these frames can allow an adversary to track Apple devices across space and time, defeating existing anti tracking techniques such as MAC address randomization.


DivGraphPointer A Graph Pointer Network for Extracting Diverse Keyphrases. Keyphrase extraction from documents is useful to a variety of applications such as information retrieval and document summarization. This paper presents an end to end method called DivGraphPointer for extracting a set of diversified keyphrases from a document. DivGraphPointer combines the advantages of traditional graph based ranking methods and recent neural network based approaches. Specifically, given a document, a word graph is constructed from the document based on word proximity and is encoded with graph convolutional networks, which effectively capture document level word salience by modeling long range dependency between words in the document and aggregating multiple appearances of identical words into one node. Furthermore, we propose a diversified point network to generate a set of diverse keyphrases out of the word graph in the decoding process. Experimental results on five benchmark data sets show that our proposed method significantly outperforms the existing state of the art approaches.


Multifactorial Cellular Genetic Algorithm (MFCGA) Algorithmic Design, Performance Comparison and Genetic Transferability Analysis. Multitasking optimization is an incipient research area which is lately gaining a notable research momentum. Unlike traditional optimization paradigm that focuses on solving a single task at a time, multitasking addresses how multiple optimization problems can be tackled simultaneously by performing a single search process. The main objective to achieve this goal efficiently is to exploit synergies between the problems (tasks) to be optimized, helping each other via knowledge transfer (thereby being referred to as Transfer Optimization). Furthermore, the equally recent concept of Evolutionary Multitasking (EM) refers to multitasking environments adopting concepts from Evolutionary Computation as their inspiration for the simultaneous solving of the problems under consideration. As such, EM approaches such as the Multifactorial Evolutionary Algorithm (MFEA) has shown a remarkable success when dealing with multiple discrete, continuous, single , and or multi objective optimization problems. In this work we propose a novel algorithmic scheme for Multifactorial Optimization scenarios the Multifactorial Cellular Genetic Algorithm (MFCGA) that hinges on concepts from Cellular Automata to implement mechanisms for exchanging knowledge among problems. We conduct an extensive performance analysis of the proposed MFCGA and compare it to the canonical MFEA under the same algorithmic conditions and over 15 different multitasking setups (encompassing different reference instances of the discrete Traveling Salesman Problem). A further contribution of this analysis beyond performance benchmarking is a quantitative examination of the genetic transferability among the problem instances, eliciting an empirical demonstration of the synergies emerged between the different optimization tasks along the MFCGA search process.


Pfaffian Pairs and Parities Counting on Linear Matroid Intersection and Parity Problems. Spanning trees are a representative example of linear matroid bases that are efficiently countable. Perfect matchings of Pfaffian bipartite graphs are a countable example of common bases of two matrices. Generalizing these two examples, Webb (2004) introduced the notion of Pfaffian pairs as a pair of matrices for which counting of their common bases is tractable via the Cauchy Binet formula. This paper studies counting on linear matroid problems extending Webb's work. We first introduce "Pfaffian parities" as an extension of Pfaffian pairs to the linear matroid parity problem, which is a common generalization of the linear matroid intersection problem and the matching problem. We enumerate combinatorial examples of Pfaffian pairs and parities. The variety of the examples illustrates that Pfaffian pairs and parities serve as a unified framework of efficiently countable discrete structures. Based on this framework, we derive celebrated counting theorems, such as Kirchhoff's matrix tree theorem, Tutte's directed matrix tree theorem, the Pfaffian matrix tree theorem, and the Lindstr "om Gessel Viennot lemma. Our study then turns to algorithmic aspects. We observe that the fastest randomized algorithms for the linear matroid intersection and parity problems by Harvey (2009) and Cheung Lau Leung (2014) can be derandomized for Pfaffian pairs and parities. We further present polynomial time algorithms to count the number of minimum weight solutions on weighted Pfaffian pairs and parities. Our algorithms make use of Frank's weight splitting lemma for the weighted matroid intersection problem and the algebraic optimality criterion of the weighted linear matroid parity problem given by Iwata Kobayashi (2017).


A new polynomially solvable class of quadratic optimization problems with box constraints. We consider the quadratic optimization problem max x in C x T Q x q T x , where C subseteq mathbb R n is a box and r mathrm rank (Q) is assumed to be mathcal O (1) (i.e., fixed). We show that this case can be solved in polynomial time for an arbitrary Q and q . The idea is based on a reduction of the problem to enumeration of faces of a certain zonotope in dimension O(r) . This paper generalizes previous results where Q had been assumed to be positive semidefinite and no linear term was allowed in the objective function. Positive definiteness was a strong restriction and it is now relaxed. Generally, the problem is NP hard this paper describes a new polynomially solvable class of instances, larger than those known previously.


Martingale optimal transport duality. We obtain a dual representation of the Kantorovich functional defined for functions on the Skorokhod space using quotient sets. Our representation takes the form of a Choquet capacity generated by martingale measures satisfying additional constraints to ensure compatibility with the quotient sets. These sets contain stochastic integrals defined pathwise and two such definitions starting with simple integrands are given. Another important ingredient of our analysis is a regularized version of Jakubowski's S topology on the Skorokhod space.


Learning to Recognise Words using Visually Grounded Speech. We investigated word recognition in a Visually Grounded Speech model. The model has been trained on pairs of images and spoken captions to create visually grounded embeddings which can be used for speech to image retrieval and vice versa. We investigate whether such a model can be used to recognise words by embedding isolated words and using them to retrieve images of their visual referents. We investigate the time course of word recognition using a gating paradigm and perform a statistical analysis to see whether well known word competition effects in human speech processing influence word recognition. Our experiments show that the model is able to recognise words, and the gating paradigm reveals that words can be recognised from partial input as well and that recognition is negatively influenced by word competition from the word initial cohort.


HyperLogLog Sketch Acceleration on FPGA. Data sketches are a set of widely used approximated data summarizing techniques. Their fundamental property is sub linear memory complexity on the input cardinality, an important aspect when processing streams or data sets with a vast base domain (URLs, IP addresses, user IDs, etc.). Among the many data sketches available, HyperLogLog has become the reference for cardinality counting (how many distinct data items there are in a data set). Although it does not count every data item (to reduce memory consumption), it provides probabilistic guarantees on the result, and it is, thus, often used to analyze data streams. In this paper, we explore how to implement HyperLogLog on an FPGA to benefit from the parallelism available and the ability to process data streams coming from high speed networks. Our multi pipelined high cardinality HyperLogLog implementation delivers 1.8x higher throughput than an optimized HyperLogLog running on a dual socket Intel Xeon E5 2630 v3 system with a total of 16 cores and 32 hyper threads.


Towards Flops constrained Face Recognition. Large scale face recognition is challenging especially when the computational budget is limited. Given a textit flops upper bound, the key is to find the optimal neural network architecture and optimization method. In this article, we briefly introduce the solutions of team 'trojans' for the ICCV19 Lightweight Face Recognition Challenge cite lfr . The challenge requires each submission to be one single model with the computational budget no higher than 30 GFlops. We introduce a searched network architecture Efficient PolyFace' based on the Flops constraint, a novel loss function ArcNegFace', a novel frame aggregation method QAN ', together with a bag of useful tricks in our implementation (augmentations, regular face, label smoothing, anchor finetuning, etc.). Our basic model, Efficient PolyFace', takes 28.25 Gflops for the deepglint large' image based track, and the PolyFace QAN ' solution takes 24.12 Gflops for the iQiyi large' video based track. These two solutions achieve 94.198 1e 8 and 72.981 1e 4 in the two tracks respectively, which are the state of the art results.


On the existence of three non negative solutions for a (p,q) Laplacian system. The present paper studies the existence of weak solutions for begin equation ( mathcal P ) left begin aligned ( Delta) s 1 p 1 u la f 1 ,(x,u,v) g 1(x,u) , mbox in , Om, ( Delta) s 2 p 2 v la f 2 ,(x,u,v) g 2(x,v) , mbox in , Om, u v 0 , mbox in , Rn setminus Om, end aligned right. end equation where Om subset Rn is a smooth bounded domain with smooth boundary, s 1,s 2 in (0,1) , 1 p i frac N s i , i 1,2 , f i and g i has certain growth assumptions for i 1,2 . We prove existence of at least three non negative solutions of ( mathcal P) under restrictive range of lambda using variational methods. As a consequence, we also conclude that a similar result can be obtained when we consider a more general non local operator mathcal L phi i instead of ( Delta) s i p i in ( mathcal P) .


Distributed Verifiers in PCP. Traditional proof systems involve a resource bounded verifier communicating with a powerful (but untrusted) prover. Distributed verifier proof systems are a new family of proof models that involve a network of verifier nodes communicating with a single independent prover that has access to the complete network structure of the verifiers. The prover is tasked with convincing all verifiers of some global property of the network graph. In addition, each individual verifier may be given some input string they will be required to verify during the course of computation. Verifier nodes are allowed to exchange messaged with nodes a constant distance away, and accept reject the input after some computation. Because individual nodes are limited to a local view, communication with the prover is potentially necessary to prove global properties about the network graph of nodes, which only the prover has access to. In this system of models, the entire model accepts the input if and only if every individual node has accepted. There are three models in the distributed verifier proof system family mathsf LCP , mathsf dIP , and our proposed mathsf dPCP , with the fundamental difference between these coming from the type of communication established between the verifiers and the prover. In this paper, we will first go over the past work in the mathsf LCP and mathsf dIP space before showing properties and proofs in our mathsf dPCP system.


Standard elements of the lattice of monoid varieties. We completely classify all standard elements in the lattice of all monoid varieties. In particular, we prove that an element of this lattice is standard if and only if it is neutral.


A Road Map to Strong Intelligence. I wrote this paper because technology can really improve people's lives. With it, we can live longer in a healthy body, save time through increased efficiency and automation, and make better decisions. To get to the next level, we need to start looking at intelligence from a much broader perspective, and promote international interdisciplinary collaborations. Section 1 of this paper delves into sociology and social psychology to explain that the mechanisms underlying intelligence are inherently social. Section 2 proposes a method to classify intelligence, and describes the differences between weak and strong intelligence. Section 3 examines the Chinese Room argument from a different perspective. It demonstrates that a Turing complete machine cannot have strong intelligence, and considers the modifications necessary for a computer to be intelligent and have understanding. Section 4 argues that the existential risk caused by the technological explosion of a single agent should not be of serious concern. Section 5 looks at the AI control problem and argues that it is impossible to build a super intelligent machine that will do what it creators want. By using insights from biology, it also proposes a solution to the control problem. Section 6 discusses some of the implications of strong intelligence. Section 7 lists the main challenges with deep learning, and asserts that radical changes will be required to reach strong intelligence. Section 8 examines a neuroscience framework that could help explain how a cortical column works. Section 9 lays out the broad strokes of a road map towards strong intelligence. Finally, section 10 analyzes the impacts and the challenges of greater intelligence.


Modeling and measuring the non ideal characteristics of transmission lines. We describe a simple method to experimentally determine the frequency dependencies of the per unit length resistance and conductance of transmission lines. The experiment is intended as a supplement to the classic measurement of the transient response of a transmission line to a voltage step or pulse. In the transient experiment, an ideal (lossless) model of the transmission line is used to determine the characteristic impedance and signal propagation speed. In our experiment, the insertion losses of various coaxial cables are measured as a function of frequency from 1 to 2000 MHz. A full distributed circuit model of the transmission line that includes both conductor and dielectric losses is needed to fit the frequency dependence of the measured insertion losses. Our model assumes physically sensible frequency dependencies for the per unit length resistance and conductance that are determined by the geometry of the coaxial transmission lines used in the measurements.


Lamb dips and Lamb peaks in the saturation spectrum of HD. The saturation spectrum of the R(1) transition in the (2 0) band in HD is found to exhibit a composite line shape, involving a Lamb dip and a Lamb peak. We propose an explanation for such behavior based on the effects of cross over resonances in the hyperfine substructure, which is made quantitative in a density matrix calculation. This resolves an outstanding discrepancy on the rovibrational R(1) transition frequency, which is now determined at 217 105 181 901 (50) kHz and in agreement with current theoretical calculations.


Generalized difference sets and autocorrelation integrals. In 2010, Cilleruelo, Ruzsa, and Vinuesa established a surprising connection between the maximum possible size of a generalized Sidon set in the first N natural numbers and the optimal constant in an analogous'' problem concerning nonnegative valued functions on 0,1 with autoconvolution integral uniformly bounded above. Answering a recent question of Barnard and Steinerberger, we prove the corresponding dual result about the minimum size of a so called generalized difference set that covers the first N natural numbers and the optimal constant in an analogous problem concerning nonnegative valued functions on mathbb R with autocorrelation integral bounded below on 0,1 . These results show that the correspondence of Cilleruelo, Ruzsa, and Vinuesa is representative of a more general phenomenon relating discrete problems in additive combinatorics to questions in the continuous world.


Can determinism and compositionality coexist in RML?. Runtime verification (RV) consists in dynamically verifying that the event traces generated by single runs of a system under scrutiny (SUS) are compliant with the formal specification of its expected properties. RML (Runtime Monitoring Language) is a simple but expressive Domain Specific Language for RV its semantics is based on a trace calculus formalized by a deterministic rewriting system which drives the implementation of the interpreter of the monitors generated by the RML compiler from the specifications. While determinism of the trace calculus ensures better performances of the generated monitors, it makes the semantics of its operators less intuitive. In this paper we move a first step towards a compositional semantics of the RML trace calculus, by interpreting its basic operators as operations on sets of instantiated event traces and by proving that such an interpretation is equivalent to the operational semantics of the calculus.


Existence of coLegendrians in contact 5 manifolds. We introduce the notion of coLegendrian submanifold in a contact manifold as a middle dimensional coisotropic submanifold and study its existence in dimension 5 via contact Morse theory. As an application, the second generation of Orange is now available.


Imagination enabled Robot Perception. Many of today's robot perception systems aim at accomplishing perception tasks that are too simplistic and too hard. They are too simplistic because they do not require the perception systems to provide all the information needed to accomplish manipulation tasks. Typically the perception results do not include information about the part structure of objects, articulation mechanisms and other attributes needed for adapting manipulation behavior. On the other hand, the perception problems stated are also too hard because unlike humans the perception systems cannot leverage the expectations about what they will see to their full potential. Therefore, we investigate a variation of robot perception tasks suitable for robots accomplishing everyday manipulation tasks, such as household robots or a robot in a retail store. In such settings it is reasonable to assume that robots know most objects and have detailed models of them. We propose a perception system that maintains its beliefs about its environment as a scene graph with physics simulation and visual rendering. When detecting objects, the perception system retrieves the model of the object and places it at the corresponding place in a VR based environment model. The physics simulation ensures that object detections that are physically not possible are rejected and scenes can be rendered to generate expectations at the image level. The result is a perception system that can provide useful information for manipulation tasks.


Branch crossing behavior and interface states in 1D Inversion Symmetric Quaternary Photonic Crystals using Effective Medium Theory. Effective medium theory is used to model a one dimensional lossy dielectric quaternary photonic crystal as a homogeneous slab. The unit cell of the original crystal is inversion symmetric with layer sequence ACBCA. The behavior of the branch frequency singularities in the effective refractive index is investigated as parameters in the layered structure change. A heterostructure composed of multiple photonic crystals is also modeled with effective medium theory. It is shown that the effective refractive index of such a structure possesses regions of normal dispersion that correspond to localized interface states within the overall regions of anomalous dispersion representing the photonic band gap.


Spiking Neural Predictive Coding for Continual Learning from Data Streams. For energy efficient computation in specialized neuromorphic hardware, we present the Spiking Neural Coding Network, an instantiation of a family of artificial neural models strongly motivated by the theory of predictive coding. The model, in essence, works by operating in a never ending process of "guess and check", where neurons predict the activity values of one another and then immediately adjust their own activities to make better future predictions. The interactive, iterative nature of our neural system fits well into the continuous time formulation of data sensory stream prediction and, as we show, the model's structure yields a simple, local synaptic update rule, which could be used to complement or replace online spike timing dependent plasticity. In this article, we experiment with an instantiation of our model that consists of leaky integrate and fire units. However, the general framework within which our model is situated can naturally incorporate more complex, formal neurons such as the Hodgkin Huxley model. Our experimental results in pattern recognition demonstrate the potential of the proposed model when binary spike trains are the primary paradigm for inter neuron communication. Notably, our model is competitive in terms of classification performance, can conduct online semi supervised learning, naturally experiences less forgetting when learning from a sequence of tasks, and is more computationally economical and biologically plausible than popular artificial neural networks.


Secure Digital Administration in Medical Environment. The efficiency and service quality in a medical environment can be improved by using electronic documents (or e docs) and digital signatures to speed up both doctors' activity and to provide in the same time easy retrieval and use of needed data without loosing convenience. Our proposed solution satisfies these needs by making use of the AIDA system and many cutting edge techniques to build a digitalized management system. To be more specific, we present firstly the AIDA document exchange framework for the management (creation, search, storage) of e docs expressed in XML format. The framework provides security services, like privacy, authorization, authentication and non repudiation. We describe next the use of AIDA in a real world medical service, namely the creation of electronic medical records (e MRs). Doctors can use mobile devices that embed a secure trustworthy environment defined also in AIDA for digitally signing the e MRs. Technically speaking a handheld PC equipped with a smart card reader and integrating What You See Is What You Sign (WYSIWYS) features will be used for viewing and signing the e MRs. Furthermore the proposed system is easily integrated with the infrastructure (e.g., database system) already in use at hospital's administration site and allows easy handling and updating of data processed on the mobile devices. The use of web interface for the operations to be executed on the mobile device or for those executed on the remote part of the system makes the whole application homogeneous and easy to use.


Mobility Aware Content Placement for Device to Device Caching Systems. User mobility has a large effect on optimal content placement in D2D caching networks. Since a typical user can communicate neighboring users who stay in the D2D communication area of the typical user, the optimal content placement should be changed according to the user mobility. Under consideration of randomness of incoming and outgoing users, we formulate an optimization problem to minimize the average data load of a BS. It is proved that minimization of the average data load of a BS can be transformed to maximization of a monotonic submodular function with a matroid constraint, for which a greedy algorithm can find near optimal solutions. Moreover, when motions of neighboring users are rapid, the optimal content placement is derived in closed form, aided by reasonable approximation and relaxation. In the high mobility regime, the optimal content placement is shown to cache partial amounts of the most popular contents.


Feedback Gains modulate with Motor Memory Uncertainty. A sudden change in dynamics produces large errors leading to increases in muscle co contraction and feedback gains during early adaptation. We previously proposed that internal model uncertainty drives these changes, whereby the sensorimotor system reacts to the change in dynamics by up regulating stiffness and feedback gains to reduce the effect of model errors. However, these feedback gain increases have also been suggested to represent part of the adaptation mechanism. Here, we investigate this by examining changes in visuomotor feedback gains during gradual or abrupt force field adaptation. Participants grasped a robotic manipulandum and reached while a curl force field was introduced gradually or abruptly. Abrupt introduction of dynamics elicited large initial increases in kinematic error, muscle co contraction and visuomotor feedback gains, while gradual introduction showed little initial change in these measures despite evidence of adaptation. After adaptation had plateaued,there was a change in the co contraction and visuomotor feedback gains relative to null field movements, but no differences (apart from the final muscle activation pattern) between the abrupt and gradual introduction of dynamics. This suggests that the initial increase in feedback gains is not part of the adaptation process, but instead an automatic reactive response to internal model uncertainty. In contrast, the final level of feedback gains is a predictive tuning of the feedback gains to the external dynamics as part of the internal model adaptation. Together, the reactive and predictive feedback gains explain the wide variety of previous experimental results of feedback changes during adaptation.


Engineering Gender Inclusivity into Software Tales from the Trenches. Although the need for gender inclusivity in software itself is gaining attention among both SE researchers and SE practitioners, and methods have been published to help, little has been reported on how to make such methods work in real world settings. For example, how do busy software practitioners use such methods in low cost ways? How do they endeavor to maximize benefits from using them? How do they avoid the controversies that can arise in talking about gender? To find out how teams were handling these and similar questions, we turned to 10 real world software teams. We present these teams experiences "in the trenches," in the form of 12 practices and 3 potential pitfalls, so as to provide their insights to other real world software teams trying to engineer gender inclusivity into their software products.


Hierarchical Multi Task Learning with Subword Contextual Embeddings for Languages with Rich Morphology. Morphological information is important for many sequence labeling tasks in Natural Language Processing (NLP). Yet, existing approaches rely heavily on manual annotations or external software to capture this information. In this study, we propose using subword contextual embeddings to capture the morphological information for languages with rich morphology. In addition, we incorporate these embeddings in a hierarchical multi task setting which is not employed before, to the best of our knowledge. Evaluated on Dependency Parsing (DEP) and Named Entity Recognition (NER) tasks, which are shown to benefit greatly from morphological information, our final model outperforms previous state of the art models on both tasks for the Turkish language. Besides, we show a net improvement of 18.86 and 4.61 F 1 over the previously proposed multi task learner in the same setting for the DEP and the NER tasks, respectively. Empirical results for five different MTL settings show that incorporating subword contextual embeddings brings significant improvements for both tasks. In addition, we observed that multi task learning consistently improves the performance of the DEP component.


Non uniform recovery guarantees for binary measurements and infinite dimensional compressed sensing. Due to the many applications in Magnetic Resonance Imaging (MRI), Nuclear Magnetic Resonance (NMR), radio interferometry, helium atom scattering etc., the theory of compressed sensing with Fourier transform measurements has reached a mature level. However, for binary measurements via the Walsh transform, the theory has been merely non existent, despite the large number of applications such as fluorescence microscopy, single pixel cameras, lensless cameras, compressive holography, laser based failure analysis etc. Binary measurements are a mainstay in signal and image processing and can be modelled by the Walsh transform and Walsh series that are binary cousins of the respective Fourier counterparts. We help bridging the theoretical gap by providing non uniform recovery guarantees for infinite dimensional compressed sensing with Walsh samples and wavelet reconstruction. The theoretical results demonstrate that compressed sensing with Walsh samples, as long as the sampling strategy is highly structured and follows the structured sparsity of the signal, is as effective as in the Fourier case. However, there is a fundamental difference in the asymptotic results when the smoothness and vanishing moments of the wavelet increase. In the Fourier case, this changes the optimal sampling patterns, whereas this is not the case in the Walsh setting.


The Minimum Leidenfrost Temperature on Smooth Surfaces. During the Leidenfrost effect, a thin insulating vapor layer separates an evaporating liquid from a hot solid. Here we demonstrate that Leidenfrost vapor layers can be sustained at much lower temperatures than those required for formation. Using a high speed electrical technique to measure the thickness of water vapor layers over smooth, metallic surfaces, we find that the explosive failure point is nearly independent of material and fluid properties, suggesting a purely hydrodynamic mechanism determines this threshold. For water vapor layers of several millimeters in size, the minimum temperature for stability is approx 140 circ C, corresponding to an average vapor layer thickness of 10 20 mu m.


Detecting infected asymptomatic cases in a stochastic model for spread of Covid 19. The case of Argentina. We have studied the dynamic evolution of the Covid 19 pandemic in Argentina. The marked heterogeneity in population density and the very extensive geography of the country becomes a challenge itself. Standard compartment models fail when they are implemented in the Argentina case. We extended a previous successful model to describe the geographical spread of the AH1N1 influenza epidemic of 2009 in two essential ways we added a stochastic local mobility mechanism, and we introduced a new compartment in order to take into account the isolation of infected asymptomatic detected people. Two fundamental parameters drive the dynamics the time elapsed between contagious and isolation of infected individuals ( alpha ) and the ratio of people isolated over the total infected ones ( p ). The evolution is more sensitive to the p parameter. The model not only reproduces the real data but also predicts the second wave before the former vanishes. This effect is intrinsic of extensive countries with heterogeneous population density and interconnection. The model presented here becomes a good predictor of the effects of public policies as, for instance, the unavoidable vaccination campaigns starting at present in the world.


A Lyapunov framework for nested dynamical systems on multiple time scales with application to converter based power systems. In this work, we present a Lyapunov framework for establishing stability with respect to a compact set for a nested interconnection of nonlinear dynamical systems ordered from slow to fast according to their convergence rates, where each of the dynamics are influenced only by the slower dynamics and the successive fastest one. The proposed approach explicitly considers more than two time scales, it does not require modeling multiple time scales via scalar time constants, and provides analytic bounds that make ad hoc time scale separation arguments rigorous. Motivated by the technical results, we develop a novel control strategy for a grid forming power converter that consists of an inner cascaded two degree of freedom controller and dispatchable virtual oscillator control as a reference model. The resulting closed loop converter based AC power system is in the form of a nested system with multiple time scales. We apply our technical results to obtain explicit bounds on the controller set points, branch powers, and control gains that guarantee almost global asymptotic stability of the multi converter AC power system with respect to a pre specified solution of the AC power flow equations. Finally, we validate the performance of the proposed control structure in a case study using a high fidelity simulation with detailed hardware validated converter models.


Successive Halving Top k Operator. We propose a differentiable successive halving method of relaxing the top k operator, rendering gradient based optimization possible. The need to perform softmax iteratively on the entire vector of scores is avoided by using a tournament style selection. As a result, a much better approximation of top k with lower computational cost is achieved compared to the previous approach.


Decomposition of the first Vassiliev derivative of Khovanov homology and its application. Khovanov homology extends to singular links via a categorified analogue of Vassiliev skein relation. In view of Vassiliev theory, the extended Khovanov homology can be seen as Vassiliev derivatives of Khovanov homology. In this paper, we develop a new method to compute the first derivative. Namely, we introduce a complex, called a crux complex, and prove that the Khovanov homologies of singular links with unique double points are homotopic to cofibers of endomorphisms on crux complexes. Since crux complexes are actually small for some links, the result enables a direct computation of the first derivative of Khovanov homology. Furthermore, it together with a categorified Vassiliev skein relation provides a brand new method for the computation of Khovanov homology. In fact, we apply the result to determine the Khovanov complexes of all twist knots in a universal way.


Endo Sim2Real Consistency learning based domain adaptation for instrument segmentation. Surgical tool segmentation in endoscopic videos is an important component of computer assisted interventions systems. Recent success of image based solutions using fully supervised deep learning approaches can be attributed to the collection of big labeled datasets. However, the annotation of a big dataset of real videos can be prohibitively expensive and time consuming. Computer simulations could alleviate the manual labeling problem, however, models trained on simulated data do not generalize to real data. This work proposes a consistency based framework for joint learning of simulated and real (unlabeled) endoscopic data to bridge this performance generalization issue. Empirical results on two data sets (15 videos of the Cholec80 and EndoVis'15 dataset) highlight the effectiveness of the proposed emph Endo Sim2Real method for instrument segmentation. We compare the segmentation of the proposed approach with state of the art solutions and show that our method improves segmentation both in terms of quality and quantity.


Right Scaling for Right Pricing A Case Study on Total Cost of Ownership Measurement for Cloud Migration. Cloud computing promises traditional enterprises and independent software vendors a myriad of advantages over on premise installations including cost, operational and organizational efficiencies. The decision to migrate software configured for on premise delivery to the cloud requires careful technical consideration and planning. In this chapter, we discuss the impact of right scaling on the cost modelling for migration decision making and price setting of software for commercial resale. An integrated process is presented for measuring total cost of ownership, taking in to account IaaS PaaS resource consumption based on forecast SaaS usage levels. The process is illustrated with a real world case study.


Formulating basic notions of finite group theory via the lifting property. We reformulate several basic notions of notions in finite group theory in terms of iterations of the lifting property (orthogonality) with respect to particular morphisms. Our examples include the notions being nilpotent, solvable, perfect, torsion free p groups and prime to p groups Fitting subgroup, perfect core, p core, and prime to p core. We also reformulate as in similar terms the conjecture that a localisation of a (transfinitely) nilpotent group is (transfinitely) nilpotent.


Circular dichroism mode splitting and bounds to its enhancement with cavity plasmon polaritons. The ability to differentiate chiral molecules of different handedness is of great importance for chemical and life sciences. Since most of the relevant chiral molecules have their chiral transitions in the UV region, detecting their circular dichroism (CD) signal is associated with practical experimental challenges of performing optical measurements in that spectral range. To address this problem, here, we study the possibility of shifting CD signal of a model chiral medium by reaching the strong coupling regime with an optical microcavity. Specifically, we show that by strongly coupling chiral plasmonic nanoparticles to a non chiral Fabry P 'erot microcavity one can imprint the hybrid mode splitting, the hallmark of strongly coupled systems, on the CD spectrum of the coupled system and thereby effectively shift the chiral resonance of the model system to lower energies. We first predict the effect using analytical transfer matrix method as well as numerical finite difference time domain (FDTD) simulations. Furthermore, we confirm the validity of theoretical predictions in a proof of principle experiment involving chiral plasmonic nanoparticles coupled to a Fabry P 'erot microcavity.


Two toy models for the motion of a leaky tank car. I present two toy models for the motion of a tank car as fluid drains out of an off center opening, based on replacing the fluid with particles. No knowledge beyond simple Lagrangian mechanics is required. The first toy model is solved analytically and the second can be simulated numerically for a variety of initial conditions and mass ratios. Both toy models show the car turning around once as is required by conservation of momentum.


Diverging orbits for the Ehrlich Aberth and the Weierstrass root finders. We show that the higher dimensional Weierstrass and Ehrlich Aberth methods for finding roots of polynomials have infinite orbits that diverge to infinity. This is possible for the Jacobi update scheme (all coordinates are updated in parallel) as well as Gauss Seidel (any coordinate update is used for all subsequent coordinates).


A Survey of Information Cascade Analysis Models, Predictions, and Recent Advances. The deluge of digital information in our daily life from user generated content, such as microblogs and scientific papers, to online business, such as viral marketing and advertising offers unprecedented opportunities to explore and exploit the trajectories and structures of the evolution of information cascades. Abundant research efforts, both academic and industrial, have aimed to reach a better understanding of the mechanisms driving the spread of information and quantifying the outcome of information diffusion. This article presents a comprehensive review and categorization of information popularity prediction methods, from feature engineering and stochastic processes, through graph representation, to deep learning based approaches. Specifically, we first formally define different types of information cascades and summarize the perspectives of existing studies. We then present a taxonomy that categorizes existing works into the aforementioned three main groups as well as the main subclasses in each group, and we systematically review cutting edge research work. Finally, we summarize the pros and cons of existing research efforts and outline the open challenges and opportunities in this field.


Tailoring and Evaluating the Wikipedia for in Domain Comparable Corpora Extraction. We propose an automatic language independent graph based method to build a la carte article collections on user defined domains from the Wikipedia. The core model is based on the exploration of the encyclopaedia's category graph and can produce both monolingual and multilingual comparable collections. We run thorough experiments to assess the quality of the obtained corpora in 10 languages and 743 domains. According to an extensive manual evaluation, our graph based model outperforms a retrieval based approach and reaches an average precision of 84 on in domain articles. As manual evaluations are costly, we introduce the concept of "domainness" and design several automatic metrics to account for the quality of the collections. Our best metric for domainness shows a strong correlation with the human judged precision, representing a reasonable automatic alternative to assess the quality of domain specific corpora. We release the WikiTailor toolkit with the implementation of the extraction methods, the evaluation measures and several utilities. WikiTailor makes obtaining multilingual in domain data from the Wikipedia easy.


Tractometry based Anomaly Detection for Single subject White Matter Analysis. There is an urgent need for a paradigm shift from group wise comparisons to individual diagnosis in diffusion MRI (dMRI) to enable the analysis of rare cases and clinically heterogeneous groups. Deep autoencoders have shown great potential to detect anomalies in neuroimaging data. We present a framework that operates on the manifold of white matter (WM) pathways to learn normative microstructural features, and discriminate those at genetic risk from controls in a paediatric population.


ASV Accelerated Stereo Vision System. Estimating depth from stereo vision cameras, i.e., "depth from stereo", is critical to emerging intelligent applications deployed in energy and performance constrained devices, such as augmented reality headsets and mobile autonomous robots. While existing stereo vision systems make trade offs between accuracy, performance and energy efficiency, we describe ASV, an accelerated stereo vision system that simultaneously improves both performance and energy efficiency while achieving high accuracy. The key to ASV is to exploit unique characteristics inherent to stereo vision, and apply stereo specific optimizations, both algorithmically and computationally. We make two contributions. Firstly, we propose a new stereo algorithm, invariant based stereo matching (ISM), that achieves significant speedup while retaining high accuracy. The algorithm combines classic "hand crafted" stereo algorithms with recent developments in Deep Neural Networks (DNNs), by leveraging the correspondence invariant unique to stereo vision systems. Secondly, we observe that the bottleneck of the ISM algorithm is the DNN inference, and in particular the deconvolution operations that introduce massive compute inefficiencies. We propose a set of software optimizations that mitigate these inefficiencies. We show that with less than 0.5 hardware area overhead, these algorithmic and computational optimizations can be effectively integrated within a conventional DNN accelerator. Overall, ASV achieves 5x speedup and 85 energy saving with 0.02 accuracy loss compared to today DNN based stereo vision systems.


Solving singular evolution problems in sub Riemannian groups via deterministic games. In this manuscript, we prove existence of viscosity solutions to singular parabolic equations in Carnot groups. We develop the analysis by constructing appropriate deterministic games adapted to the algebraic and differential structures of Carnot groups. We point out that the proof of existence does not require comparison and it is based on an Arzela Ascoli type theorem.


Observing Responses to the COVID 19 Pandemic using Worldwide Network Cameras. COVID 19 has resulted in a worldwide pandemic, leading to "lockdown" policies and social distancing. The pandemic has profoundly changed the world. Traditional methods for observing these historical events are difficult because sending reporters to areas with many infected people can put the reporters' lives in danger. New technologies are needed for safely observing responses to these policies. This paper reports using thousands of network cameras deployed worldwide for the purpose of witnessing activities in response to the policies. The network cameras can continuously provide real time visual data (image and video) without human efforts. Thus, network cameras can be utilized to observe activities without risking the lives of reporters. This paper describes a project that uses network cameras to observe responses to governments' policies during the COVID 19 pandemic (March to April in 2020). The project discovers over 30,000 network cameras deployed in 110 countries. A set of computer tools are created to collect visual data from network cameras continuously during the pandemic. This paper describes the methods to discover network cameras on the Internet, the methods to collect and manage data, and preliminary results of data analysis. This project can be the foundation for observing the possible "second wave" in fall 2020. The data may be used for post pandemic analysis by sociologists, public health experts, and meteorologists.


Dual stream Maximum Self attention Multi instance Learning. Multi instance learning (MIL) is a form of weakly supervised learning where a single class label is assigned to a bag of instances while the instance level labels are not available. Training classifiers to accurately determine the bag label and instance labels is a challenging but critical task in many practical scenarios, such as computational histopathology. Recently, MIL models fully parameterized by neural networks have become popular due to the high flexibility and superior performance. Most of these models rely on attention mechanisms that assign attention scores across the instance embeddings in a bag and produce the bag embedding using an aggregation operator. In this paper, we proposed a dual stream maximum self attention MIL model (DSMIL) parameterized by neural networks. The first stream deploys a simple MIL max pooling while the top activated instance embedding is determined and used to obtain self attention scores across instance embeddings in the second stream. Different from most of the previous methods, the proposed model jointly learns an instance classifier and a bag classifier based on the same instance embeddings. The experiments results show that our method achieves superior performance compared to the best MIL methods and demonstrates state of the art performance on benchmark MIL datasets.


On some finite dimensional complex representations of mapping class groups and Fox derivation. We study the finite dimensional complex representations of the mapping class group mathcal M g,1 that are derived from some finite Galois coverings of the compact oriented surface with one boundary component Sigma g,1 . The key ingredients are Fox derivation, Magnus modules and the Skolem Noether theorem, which enable us to compute the mathcal M g,1 action on the module L g eta very explicitly, where eta is a primitive p the root of unity for an odd prime p .


Cascade Attention Guided Residue Learning GAN for Cross Modal Translation. Since we were babies, we intuitively develop the ability to correlate the input from different cognitive sensors such as vision, audio, and text. However, in machine learning, this cross modal learning is a nontrivial task because different modalities have no homogeneous properties. Previous works discover that there should be bridges among different modalities. From neurology and psychology perspective, humans have the capacity to link one modality with another one, e.g., associating a picture of a bird with the only hearing of its singing and vice versa. Is it possible for machine learning algorithms to recover the scene given the audio signal? In this paper, we propose a novel Cascade Attention Guided Residue GAN (CAR GAN), aiming at reconstructing the scenes given the corresponding audio signals. Particularly, we present a residue module to mitigate the gap between different modalities progressively. Moreover, a cascade attention guided network with a novel classification loss function is designed to tackle the cross modal learning task. Our model keeps the consistency in high level semantic label domain and is able to balance two different modalities. The experimental results demonstrate that our model achieves the state of the art cross modal audio visual generation on the challenging Sub URMP dataset. Code will be available at https github.com tuffr5 CAR GAN.


Neural relation extraction a survey. Neural relation extraction discovers semantic relations between entities from unstructured text using deep learning methods. In this study, we present a comprehensive review of methods on neural network based relation extraction. We discuss advantageous and incompetent sides of existing studies and investigate additional research directions and improvement ideas in this field.


Large equilateral sets in subspaces of ell infty n of small codimension. For fixed k we prove exponential lower bounds on the equilateral number of subspaces of ell infty n of codimension k . In particular, we show that if the unit ball of a normed space of dimension n is a centrally symmetric polytope with at most frac 4n 3 o(n) pairs of facets, then it has an equilateral set of cardinality at least n 1 . These include subspaces of codimension 2 of ell infty n 2 for n geq 9 and of codimension 3 of ell infty n 3 for n geq 15 .


Existence results for pentagonal geometries. New results on pentagonal geometries PENT(k,r) with block sizes k 3 or k 4 are given. In particular we completely determine the existence spectra for PENT(3,r) systems with the maximum number of opposite line pairs as well as those without any opposite line pairs. A wide ranging result about PENT(3,r) with any number of opposite line pairs is proved. We also determine the existence spectrum of PENT(4,r) systems with eleven possible exceptions.


A Minimizing Valuation is Quasi monomial. We prove a version of Jonsson Musta c t v a 's Conjecture, which says for any graded sequence of ideals, there exists a quasi monomial valuation computing its log canonical threshold. As a corollary, we confirm Chi Li's conjecture that a minimizer of the normalized volume function is always quasi monomial. Applying our techniques to a family of klt singularities, we show that the volume of klt singularities is a constructible function. As a corollary, we prove that in a family of klt log Fano pairs, the K semistable ones form a Zariski open set. Together with Jia17 , we conclude that all K semistable klt Fano varieties with a fixed dimension and volume are parametrized by an Artin stack of finite type, which then admits a separated good moduli space by BX18, ABHLX19 , whose geometric points parametrize K polystable klt Fano varieties.


Component Analysis for Visual Question Answering Architectures. Recent research advances in Computer Vision and Natural Language Processing have introduced novel tasks that are paving the way for solving AI complete problems. One of those tasks is called Visual Question Answering (VQA). A VQA system must take an image and a free form, open ended natural language question about the image, and produce a natural language answer as the output. Such a task has drawn great attention from the scientific community, which generated a plethora of approaches that aim to improve the VQA predictive accuracy. Most of them comprise three major components (i) independent representation learning of images and questions (ii) feature fusion so the model can use information from both sources to answer visual questions and (iii) the generation of the correct answer in natural language. With so many approaches being recently introduced, it became unclear the real contribution of each component for the ultimate performance of the model. The main goal of this paper is to provide a comprehensive analysis regarding the impact of each component in VQA models. Our extensive set of experiments cover both visual and textual elements, as well as the combination of these representations in form of fusion and attention mechanisms. Our major contribution is to identify core components for training VQA models so as to maximize their predictive performance.


A note on HOMFLY polynomial of positive braid links. For a positive braid link, a link represented as a closed positive braids, we determine the first few coefficients of its HOMFLY polynomial in terms of geometric invariants such as, the maximum euler characteristics, the number of split factors, and the number of prime factors. Our results give improvements of known results for Conway and Jones polynomial of positive braid links. In Appendix, we present a simpler proof of theorem of Cromwell, a positive braid diagram represent composite link if and only if the the diagram is composite.


Magnetic Immunoassays A Review of Virus and Pathogen Detection Before and Amidst the Coronavirus Disease 19 (COVID 19). The novel severe acute respiratory syndrome coronavirus 2 (SARS CoV 2), which causes coronavirus disease 2019 (COVID 19), is a threat to the global healthcare system and economic security. As of July 2020, no specific drugs or vaccines are yet available for COVID 19, fast and accurate diagnosis for SARS CoV 2 is essential in slowing down the spread of COVID 19 and for efficient implementation of control and containment strategies. Magnetic immunoassay is a novel and emerging topic representing the frontiers of current biosensing and magnetics areas. The past decade has seen rapid growth in applying magnetic tools for biological and biomedical applications. Recent advances in magnetic materials and nanotechnologies have transformed current diagnostic methods to nanoscale and pushed the detection limit to early stage disease diagnosis. Herein, this review covers the literatures of magnetic immunoassay platforms for virus and pathogen detections, before COVID 19. We reviewed the popular magnetic immunoassay platforms including magnetoresistance (MR) sensors, magnetic particle spectroscopy (MPS), and nuclear magnetic resonance (NMR). Magnetic Point of Care (POC) diagnostic kits are also reviewed aiming at developing plug and play diagnostics to manage the SARS CoV 2 outbreak as well as preventing future epidemics. In addition, other platforms that use magnetic materials as auxiliary tools for enhanced pathogen and virus detections are also covered. The goal of this review is to inform the researchers of diagnostic and surveillance platforms for SARS CoV 2 and their performances.


Asymptotic dimension of minor closed families and beyond. The asymptotic dimension of metric spaces is an important notion in geometric group theory introduced by Gromov. The metric spaces considered in this paper are the ones whose underlying spaces are the vertex sets of graphs and whose metrics are the distance functions in graphs. A standard compactness argument shows that it suffices to consider the asymptotic dimension of classes of finite graphs. In this paper we prove that the asymptotic dimension of any proper minor closed family, any class of graphs of bounded tree width, and any class of graphs of bounded layered tree width are at most 2, 1, and 2, respectively. The first result solves a question of Fujiwara and Papasoglu the second and third results solve a number of questions of Bonamy, Bousquet, Esperet, Groenland, Pirot and Scott. These bounds for asymptotic dimension are optimal and improve a number of results in the literature. Our proofs can be transformed into linear or quadratic time algorithms for finding coverings witnessing the asymptotic dimension which is equivalent to finding weak diameter colorings for graphs. The key ingredient of our proof is a unified machinery about the asymptotic dimension of classes of graphs that have tree decompositions of bounded adhesion over hereditary classes with known asymptotic dimension, which might be of independent interest.


Self duality of the local cohomology of the Jacobian ring and Gherardelli's Theorem. We prove that the 0 th local cohomology of the jacobian ring of a projective hypersurface with isolated singularities has a nice interpretation it in the context of linkage theory. Roughly speaking, it represents a measure of the failure of Gherardelli's theorem for the corresponding graded modules. This leads us to a different and characteristic free proof of its self duality, which turns out to be an easy consequence of Grothendieck's local duality theorem.


A Practical Phase Field Method for an Elliptic Surface PDE. We consider a diffuse interface approach for solving an elliptic PDE on a given closed hypersurface. The method is based on a (bulk) finite element scheme employing numerical quadrature for the phase field function and hence is very easy to implement compared to other approaches. We estimate the error in natural norms in terms of the spatial grid size, the interface width and the order of the underlying quadrature rule. Numerical test calculations are presented which confirm the form of the error bounds.


Two dimensional cycle classes on overline mathcal M 0,n . For each n ge5 , we give an S n equivariant basis for H 4( overline mathcal M 0,n , mathbb Q ) , as well as for H 2(n 5) ( overline mathcal M 0,n , mathbb Q ) . Such a basis exists for H 2( overline mathcal M 0,n , mathbb Q ) and for H 2(n 4) ( overline mathcal M 0,n , mathbb Q ) , but it is not known whether one exists for H 2k ( overline mathcal M 0,n , mathbb Q ) when 3 le k le n 6 .


The coset factorization of finite cyclic group. Let G be a finite cyclic group, written additively, and let A, B be nonempty subsets of G . We will say that G A B is a textit factorization if for each g in G there are unique elements a, b of G such that g a b, a in A, b in B . In particular, if A is a complete set of residues modulo A , then we call the factorization a textit coset factorization of G . In this paper, we mainly study a factorization G A B , where G is a finite cyclic group and A 0,n k 1 cup i 0,i 1, ldots i k 1 with A n and n geq 2k 1 . We obtain the following conclusion If (i) k leq 2 or (ii) The number of distinct prime divisors of gcd( A , B ) is at most 1 or (iii) gcd( A , B ) pq with gcd(pq, frac B gcd( A , B ) ) 1 , then A is a complete set of residues modulo n .


Entity Enriched Neural Models for Clinical Question Answering. We explore state of the art neural models for question answering on electronic medical records and improve their ability to generalize better on previously unseen (paraphrased) questions at test time. We enable this by learning to predict logical forms as an auxiliary task along with the main task of answer span detection. The predicted logical forms also serve as a rationale for the answer. Further, we also incorporate medical entity information in these models via the ERNIE architecture. We train our models on the large scale emrQA dataset and observe that our multi task entity enriched models generalize to paraphrased questions 5 better than the baseline BERT model.