Optimal networks measured by global mean first return time. Random walks have wide application in real lives, ranging from target search, reaction kinetics, polymer chains, to the forecast of the arrive time of extreme events, diseases or opinions. In this paper, we consider discrete random walks on general connected networks and focus on the analysis of the global mean first return time (GMFRT), which is defined as the mean first return time averaged over all the possible starting positions (vertices), aiming at finding the structures who have the maximal (or the minimal) GMFRT among all connected graphs with the same number of vertices and edges. Our results show that, among all trees with the same number of vertices, trees with linear structure are the structures with the minimal GMFRT and stars are the structures with the maximal GMFRT. We also find that, among all connected graphs with the same number of vertices, the graphs whose vertices have the same degree, are the structures with the minimal GMFRT and the graphs whose vertex degrees have the biggest difference, are the structures with the maximal GMFRT. We also present the methods for constructing the graphs with the maximal GMFRT (or the minimal GMFRT), among all connected graphs with the same number of vertices and edges.


Symbiosis Promotes Fitness Improvements in the Game of Life. We present a computational simulation of evolving entities that includes symbiosis with shifting levels of selection. Evolution by natural selection shifts from the level of the original entities to the level of the new symbiotic entity. In the simulation, the fitness of an entity is measured by a series of one on one competitions in the Immigration Game, a two player variation of Conway's Game of Life. Mutation, reproduction, and symbiosis are implemented as operations that are external to the Immigration Game. Because these operations are external to the game, we are able to freely manipulate the operations and observe the effects of the manipulations. The simulation is composed of four layers, each layer building on the previous layer. The first layer implements a simple form of asexual reproduction, the second layer introduces a more sophisticated form of asexual reproduction, the third layer adds sexual reproduction, and the fourth layer adds symbiosis. The experiments show that a small amount of symbiosis, added to the other layers, significantly increases the fitness of the population. We suggest that the model may provide new insights into symbiosis in biological and cultural evolution.


An Overview of Attacks and Defences on Intelligent Connected Vehicles. Cyber security is one of the most significant challenges in connected vehicular systems and connected vehicles are prone to different cybersecurity attacks that endanger passengers' safety. Cyber security in intelligent connected vehicles is composed of in vehicle security and security of inter vehicle communications. Security of Electronic Control Units (ECUs) and the Control Area Network (CAN) bus are the most significant parts of in vehicle security. Besides, with the development of 4G LTE and 5G remote communication technologies for vehicle toeverything (V2X) communications, the security of inter vehicle communications is another potential problem. After giving a short introduction to the architecture of next generation vehicles including driverless and intelligent vehicles, this review paper identifies a few major security attacks on the intelligent connected vehicles. Based on these attacks, we provide a comprehensive survey of available defences against these attacks and classify them into four categories, i.e. cryptography, network security, software vulnerability detection, and malware detection. We also explore the future directions for preventing attacks on intelligent vehicle systems.


Perfect Multi Deletion Codes Achieve the Asymptotic Optimality of Code Size. This paper studies on the cardinality of perfect multi deletion binary codes. The lower bound for any perfect deletion code with the fixed code length and the number of deletions, and the asymptotic achievable of Levenshtein's upper bound are shown.


Spontaneous Cyclogenesis without Radiative and Surface Flux Feedbacks. Tropical cyclones (TCs) are among the most intense and feared storms in the world. What physical processes lead to cyclogenesis remains the most mysterious aspect of TC physics. Here, we study spontaneous TC genesis in rotating radiative convective equilibrium using cloud resolving simulations over an f plane with constant sea surface temperature. Previous studies proposed that spontaneous TC genesis requires either radiative or surface flux feedbacks. To test this hypothesis, we perform mechanism denial experiments, in which we switch off both feedback processes in numerical simulations. We find that TCs can self emerge even without radiative and surface flux feedbacks. Although these feedbacks accelerate the genesis and impact the size of the TCs, TCs in the experiments without them can reach similar intensities as those in the control experiment. We show that TC genesis is associated with an increase in the Available Potential Energy (APE) and that convective heating dominates the APE production. Our result suggests that spontaneous TC genesis may result from a cooperative interaction between convection and circulation, and that radiative and surface flux feedbacks accelerate the process. Furthermore, we find that increasing the planetary rotation favors spontaneous TC genesis.


Polynomial Time Algorithms for Tracking Path Problems. Given a graph G , and terminal vertices s and t , the TRACKING PATHS problem asks to compute a minimum number of vertices to be marked as trackers, such that the sequence of trackers encountered in each s t path is unique. TRACKING PATHS is NP hard in both directed and undirected graphs in general. In this paper we give a collection of polynomial time algorithms for some restricted versions of TRACKING PATHS. We prove that TRACKING PATHS is polynomial time solvable for chordal graphs and tournament graphs. We prove that TRACKING PATHS is NP hard in graphs with bounded maximum degree delta geq 6 , and give a 2( delta 1) approximate algorithm for the same. We also analyze the version of tracking s t paths where paths are tracked using edges instead of vertices, and we give a polynomial time algorithm for the same. Finally, we show how to reconstruct an s t path, given a sequence of trackers and a tracking set for the graph in consideration.


Constrained Motion Planning Networks X. Constrained motion planning is a challenging field of research, aiming for computationally efficient methods that can find a collision free path on the constraint manifolds between a given start and goal configuration. These planning problems come up surprisingly frequently, such as in robot manipulation for performing daily life assistive tasks. However, few solutions to constrained motion planning are available, and those that exist struggle with high computational time complexity in finding a path solution on the manifolds. To address this challenge, we present Constrained Motion Planning Networks X (CoMPNetX). It is a neural planning approach, comprising a conditional deep neural generator and discriminator with neural gradients based fast projection operator. We also introduce neural task and scene representations conditioned on which the CoMPNetX generates implicit manifold configurations to turbo charge any underlying classical planner such as Sampling based Motion Planning methods for quickly solving complex constrained planning tasks. We show that our method finds path solutions with high success rates and lower computation times than state of the art traditional path finding tools on various challenging scenarios.


A note on undecidability of propositional non associative linear logics. We introduce a non associative and non commutative version of propositional intuitionistic linear logic, called propositional non associative non commutative intuitionistic linear logic (NACILL for short). We prove that NACILL and any of its extensions by the rules of exchange and or contraction are undecidable. Furthermore, we introduce two types of classical versions of NACILL, i.e., an involutive version of NACILL and a cyclic and involutive version of NACILL. We show that both of these logics are also undecidable.


Max compound Cox processes. III. Extreme values are considered in samples with random size that has a mixed Poisson distribution being generated by a doubly stochastic Poisson process. We prove some inequalities providing bounds on the rate of convergence in limit theorems for the distributions of max compound Cox processes.


Characterizing and Detecting CUDA Program Bugs. While CUDA has become a major parallel computing platform and programming model for general purpose GPU computing, CUDA induced bug patterns have not yet been well explored. In this paper, we conduct the first empirical study to reveal important categories of CUDA program bug patterns based on 319 bugs identified within 5 popular CUDA projects in GitHub. Our findings demonstrate that CUDA specific characteristics may cause program bugs such as synchronization bugs that are rather difficult to detect. To efficiently detect such synchronization bugs, we establish the first lightweight general CUDA bug detection framework, namely Simulee, to simulate CUDA program execution by interpreting the corresponding llvm bytecode and collecting the memory access information to automatically detect CUDA synchronization bugs. To evaluate the effectiveness and efficiency of Simulee, we conduct a set of experiments and the experimental results suggest that Simulee can detect 20 out of the 27 studied synchronization bugs and successfully detects 26 previously unknown synchronization bugs, 10 of which have been confirmed by the developers.


Vortex dynamics and applications to gaseous optical elements. Experimental studies of the optical properties of compressible, viscous and rapidly rotating gas flows (vortices) are presented. Gas vortices can function as optical elements such as lenses or waveguides. The optical properties are determined from direct interferometric phase measurements and beam propagation analysis. Output beams are analyzed in terms of Zernike polynomials for a range of gas flow parameters, including choked flow. The absolute radial gas density distribution is measured and a technique for adjusting it is demonstrated.


ALFWorld Aligning Text and Embodied Environments for Interactive Learning. Given a simple request like Put a washed apple in the kitchen fridge, humans can reason in purely abstract terms by imagining action sequences and scoring their likelihood of success, prototypicality, and efficiency, all without moving a muscle. Once we see the kitchen in question, we can update our abstract plans to fit the scene. Embodied agents require the same abilities, but existing work does not yet provide the infrastructure necessary for both reasoning abstractly and executing concretely. We address this limitation by introducing ALFWorld, a simulator that enables agents to learn abstract, text based policies in TextWorld (C ot 'e et al., 2018) and then execute goals from the ALFRED benchmark (Shridhar et al., 2020) in a rich visual environment. ALFWorld enables the creation of a new BUTLER agent whose abstract knowledge, learned in TextWorld, corresponds directly to concrete, visually grounded actions. In turn, as we demonstrate empirically, this fosters better agent generalization than training only in the visually grounded environment. BUTLER's simple, modular design factors the problem to allow researchers to focus on models for improving every piece of the pipeline (language understanding, planning, navigation, and visual scene understanding).


Non Prehensile Manipulation in Clutter with Human In The Loop. We propose a human operator guided planning approach to pushing based manipulation in clutter. Most recent approaches to manipulation in clutter employs randomized planning. The problem, however, remains a challenging one where the planning times are still in the order of tens of seconds or minutes, and the success rates are low for difficult instances of the problem. We build on these control based randomized planning approaches, but we investigate using them in conjunction with human operator input. In our framework, the human operator supplies a high level plan, in the form of an ordered sequence of objects and their approximate goal positions. We present experiments in simulation and on a real robotic setup, where we compare the success rate and planning times of our human in the loop approach with fully autonomous sampling based planners. We show that with a minimal amount of human input, the low level planner can solve the problem faster and with higher success rates.


Social Adaptive Module for Weakly supervised Group Activity Recognition. This paper presents a new task named weakly supervised group activity recognition (GAR) which differs from conventional GAR tasks in that only video level labels are available, yet the important persons within each frame are not provided even in the training data. This eases us to collect and annotate a large scale NBA dataset and thus raise new challenges to GAR. To mine useful information from weak supervision, we present a key insight that key instances are likely to be related to each other, and thus design a social adaptive module (SAM) to reason about key persons and frames from noisy data. Experiments show significant improvement on the NBA dataset as well as the popular volleyball dataset. In particular, our model trained on video level annotation achieves comparable accuracy to prior algorithms which required strong labels.


On the spectral characterization of Besse and Zoll Reeb flows. A closed contact manifold is called Besse when all its Reeb orbits are closed, and Zoll when they have the same minimal period. In this paper, we provide a characterization of Besse contact forms for convex contact spheres and Riemannian unit tangent bundles in terms of S 1 equivariant spectral invariants. Furthermore, for restricted contact type hypersurfaces of symplectic Euclidean spaces, we give a sufficient condition for the Besse property via the Ekeland Hofer capacities.


Data driven modelling and characterisation of task completion sequences in online courses. The intrinsic temporality of learning demands the adoption of methodologies capable of exploiting time series information. In this study we leverage the sequence data framework and show how data driven analysis of temporal sequences of task completion in online courses can be used to characterise personal and group learners' behaviors, and to identify critical tasks and course sessions in a given course design. We also introduce a recently developed probabilistic Bayesian model to learn sequence trajectories of students and predict student performance. The application of our data driven sequence based analyses to data from learners undertaking an on line Business Management course reveals distinct behaviors within the cohort of learners, identifying learners or groups of learners that deviate from the nominal order expected in the course. Using course grades a posteriori, we explore differences in behavior between high and low performing learners. We find that high performing learners follow the progression between weekly sessions more regularly than low performing learners, yet within each weekly session high performing learners are less tied to the nominal task order. We then model the sequences of high and low performance students using the probablistic Bayesian model and show that we can learn engagement behaviors associated with performance. We also show that the data sequence framework can be used for task centric analysis we identify critical junctures and differences among types of tasks within the course design. We find that non rote learning tasks, such as interactive tasks or discussion posts, are correlated with higher performance. We discuss the application of such analytical techniques as an aid to course design, intervention, and student supervision.


Generalized superharmonic functions with strongly nonlinear operator. We study properties of mathcal A harmonic and mathcal A superharmonic functions involving an operator having generalized Orlicz growth embracing besides Orlicz case also natural ranges of variable exponent and double phase cases. In particular, Harnack's Principle and Minimum Principle are provided for mathcal A superharmonic functions and boundary Harnack inequality is proven for mathcal A harmonic functions.


Finite dimensional Nichols algebras over dual Radford algebras. For n,m in mathbb N , let H n,m be the dual of the Radford algebra of dimension n 2 m . We present new finite dimensional Nichols algebras arising from the study of simple Yetter Drinfeld modules over H n,m . Along the way, we describe the simple objects in H n,m H n,m mathcal YD and their projective envelopes. Then, we determine those simple modules that give rise to finite dimensional Nichols algebras for the case n 2 . There are 18 possible cases. We present by generators and relations the corresponding Nichols algebras on five of these eighteen cases. As an application, we characterize finite dimensional Nichols algebras over indecomposable modules for n 2 m and n 2 , m 3 , which recovers some results of the second and third author in the former case, and of Xiong in the latter.


A Generalized Training Approach for Multiagent Learning. This paper investigates a population based training regime based on game theoretic principles called Policy Spaced Response Oracles (PSRO). PSRO is general in the sense that it (1) encompasses well known algorithms such as fictitious play and double oracle as special cases, and (2) in principle applies to general sum, many player games. Despite this, prior studies of PSRO have been focused on two player zero sum games, a regime wherein Nash equilibria are tractably computable. In moving from two player zero sum games to more general settings, computation of Nash equilibria quickly becomes infeasible. Here, we extend the theoretical underpinnings of PSRO by considering an alternative solution concept, alpha Rank, which is unique (thus faces no equilibrium selection issues, unlike Nash) and applies readily to general sum, many player settings. We establish convergence guarantees in several games classes, and identify links between Nash equilibria and alpha Rank. We demonstrate the competitive performance of alpha Rank based PSRO against an exact Nash solver based PSRO in 2 player Kuhn and Leduc Poker. We then go beyond the reach of prior PSRO applications by considering 3 to 5 player poker games, yielding instances where alpha Rank achieves faster convergence than approximate Nash solvers, thus establishing it as a favorable general games solver. We also carry out an initial empirical validation in MuJoCo soccer, illustrating the feasibility of the proposed approach in another complex domain.


On compact classes of solutions of the Dirichlet problem with integral restrictions. We have proved theorems on compact classes of homeomorphisms with hydrodynamic normalization that are solutions of the Beltrami equation, whose characteristics are compactly supported and satisfy certain constraints of an integral type. As a consequence, we obtained results on compact classes of solutions of corresponding Dirichlet problems considered in some Jordan domain.


ECG beats classification via online sparse dictionary and time pyramid matching. Recently, the Bag Of Word (BOW) algorithm provides efficient features and promotes the accuracy of the ECG classification system. However, BOW algorithm has two shortcomings (1). it has large quantization errors and poor reconstruction performance (2). it loses heart beat's time information, and may provide confusing features for different kinds of heart beats. Furthermore, ECG classification system can be used for long time monitoring and analysis of cardiovascular patients, while a huge amount of data will be produced, so we urgently need an efficient compression algorithm. In view of the above problems, we use the wavelet feature to construct the sparse dictionary, which lower the quantization error to a minimum. In order to reduce the complexity of our algorithm and adapt to large scale heart beats operation, we combine the Online Dictionary Learning with Feature sign algorithm to update the dictionary and coefficients. Coefficients matrix is used to represent ECG beats, which greatly reduces the memory consumption, and solve the problem of quantitative error simultaneously. Finally, we construct the pyramid to match coefficients of each ECG beat. Thus, we obtain the features that contain the beat time information by time stochastic pooling. It is efficient to solve the problem of losing time information. The experimental results show that on the one hand, the proposed algorithm has advantages of high reconstruction performance for BOW, this storage method is high fidelity and low memory consumption on the other hand, our algorithm yields highest accuracy in ECG beats classification so this method is more suitable for large scale heart beats data storage and classification.


Giant voltage control of spin Hall nano oscillator damping. Spin Hall nano oscillators (SHNOs) are emerging spintronic devices for microwave signal generation and oscillator based neuromorphic computing combining nano scale footprint, fast and ultra wide microwave frequency tunability, CMOS compatibility, and strong non linear properties providing robust large scale mutual synchronization in chains and two dimensional arrays. While SHNOs can be tuned via magnetic fields and the drive current, neither approach is conducive for individual SHNO control in large arrays. Here, we demonstrate electrically gated W CoFeB MgO nano constrictions in which the voltage dependent perpendicular magnetic anisotropy, tunes the frequency and, thanks to nano constriction geometry, drastically modifies the spin wave localization in the constriction region resulting in a giant 42 variation of the effective damping over four volts. As a consequence, the SHNO threshold current can be strongly tuned. Our demonstration adds key functionality to nano constriction SHNOs and paves the way for energy efficient control of individual oscillators in SHNO chains and arrays for neuromorphic computing.


Incorporating User Micro behaviors and Item Knowledge into Multi task Learning for Session based Recommendation. Session based recommendation (SR) has become an important and popular component of various e commerce platforms, which aims to predict the next interacted item based on a given session. Most of existing SR models only focus on exploiting the consecutive items in a session interacted by a certain user, to capture the transition pattern among the items. Although some of them have been proven effective, the following two insights are often neglected. First, a user's micro behaviors, such as the manner in which the user locates an item, the activities that the user commits on an item (e.g., reading comments, adding to cart), offer fine grained and deep understanding of the user's preference. Second, the item attributes, also known as item knowledge, provide side information to model the transition pattern among interacted items and alleviate the data sparsity problem. These insights motivate us to propose a novel SR model MKM SR in this paper, which incorporates user Micro behaviors and item Knowledge into Multi task learning for Session based Recommendation. Specifically, a given session is modeled on micro behavior level in MKM SR, i.e., with a sequence of item operation pairs rather than a sequence of items, to capture the transition pattern in the session sufficiently. Furthermore, we propose a multi task learning paradigm to involve learning knowledge embeddings which plays a role as an auxiliary task to promote the major task of SR. It enables our model to obtain better session representations, resulting in more precise SR recommendation results. The extensive evaluations on two benchmark datasets demonstrate MKM SR's superiority over the state of the art SR models, justifying the strategy of incorporating knowledge learning.


The trouble with imaginary eigenvalues. Optimal control, controllability, frequency response. We investigate a few problems in the theory of linear time invariant systems that arise when the open loop system possesses imaginary eigenvalues. The problems are (1) the infinite horizon, minimum energy optimal control problem (2) the matter of defining the controllability Gramian for systems that are not stable (3) the regularity as a distribution of the Fourier transform of the state impulse response. Apart from separately investigating these problems, we also indicate how they are interconnected.


Efficient Planning under Partial Observability with Unnormalized Q Functions and Spectral Learning. Learning and planning in partially observable domains is one of the most difficult problems in reinforcement learning. Traditional methods consider these two problems as independent, resulting in a classical two stage paradigm first learn the environment dynamics and then plan accordingly. This approach, however, disconnects the two problems and can consequently lead to algorithms that are sample inefficient and time consuming. In this paper, we propose a novel algorithm that combines learning and planning together. Our algorithm is closely related to the spectral learning algorithm for predicitive state representations and offers appealing theoretical guarantees and time complexity. We empirically show on two domains that our approach is more sample and time efficient compared to classical methods.


DevOps in an ISO 13485 Regulated Environment A Multivocal Literature Review. Background Medical device development projects must follow proper directives and regulations to be able to market and sell the end product in their respective territories. The regulations describe requirements that seem to be opposite to efficient software development and short time to market. As agile approaches, like DevOps, are becoming more and more popular in software industry, a discrepancy between these modern methods and traditional regulated development has been reported. Although examples of successful adoption in this context exist, the research is sparse. Aims The objective of this study is twofold to review the current state of DevOps adoption in regulated medical device environment and to propose a checklist based on that review for introducing DevOps in that context. Method A multivocal literature review is performed and evidence is synthesized from sources published between 2015 to March of 2020 to capture the opinions of experts and community in this field. Results Our findings reveal that adoption of DevOps in a regulated medical device environment such as ISO 13485 has its challenges, but potential benefits may outweigh those in areas such as regulatory, compliance, security, organizational and technical. Conclusion DevOps for regulated medical device environments is a highly appealing approach as compared to traditional methods and could be particularly suited for regulated medical development. However, an organization must properly anchor a transition to DevOps in top level management and be supportive in the initial phase utilizing professional coaching and space for iterative learning as such an initiative is a complex organizational and technical task.


Homozygous GRN mutations unexpected phenotypes and new insights into pathological and molecular mechanisms. Homozygous mutations in the progranulin gene (GRN) are associated with neuronal ceroid lipofuscinosis 11 (CLN11), a rare lysosomal storage disorder characterized by cerebellar ataxia, seizures, retinitis pigmentosa, and cognitive disorders, usually beginning between 13 and 25 years of age. This is a rare condition, previously reported in only four families. In contrast, heterozygous GRN mutations are a major cause of frontotemporal dementia associated with neuronal cytoplasmic TDP 43 inclusions. We identified homozygous GRN mutations in six new patients. The phenotypic spectrum is much broader than previously reported, with two remarkably distinct presentations, depending on the age of onset. A childhood juvenile form is characterized by classical CLN11 symptoms at an early age at onset. Unexpectedly, other homozygous patients presented a distinct delayed phenotype of frontotemporal dementia and parkinsonism after 50 years none had epilepsy or cerebellar ataxia. Another major finding of this study is that all GRN mutations may not have the same impact on progranulin protein synthesis. A hypomorphic effect of some mutations is supported by the presence of residual levels of plasma progranulin and low levels of normal transcript detected in one case with a homozygous splice site mutation and late onset frontotemporal dementia. This is a new critical finding that must be considered in therapeutic trials based on replacement strategies. The first neuropathological study in a homozygous carrier provides new insights into the pathological mechanisms of the disease. Hallmarks of neuronal ceroid lipofuscinosis were present. The absence of TDP 43 cytoplasmic inclusions markedly differs from observations of heterozygous mutations, suggesting a pathological shift between lysosomal and TDP 43 pathologies depending on the mono or bi allelic status. An intriguing observation was the loss of normal TDP 43 staining in the nucleus of some neurons, which could be the first stage of the TDP 43 pathological process preceding the formation of typical cytoplasmic inclusions. Finally, this study has important implications for genetic counselling and molecular diagnosis. Semi dominant inheritance of GRN mutations implies that specific genetic counseling should be delivered to children and parents of CLN11 patients, as they are heterozygous carriers with a high risk of developing dementia. More broadly, this study illustrates the fact that genetic variants can lead to different phenotypes according to their mono or bi allelic state, which is a challenge for genetic diagnosis.


ProLFA Representative Prototype Selection for Local Feature Aggregation. Given a set of hand crafted local features, acquiring a global representation via aggregation is a promising technique to boost computational efficiency and improve task performance. Existing feature aggregation (FA) approaches, including Bag of Words and Fisher Vectors, usually fail to capture the desired information due to their pipeline mode. In this paper, we propose a generic formulation to provide a systematical solution (named ProLFA) to aggregate local descriptors. It is capable of producing compact yet interpretable representations by selecting representative prototypes from numerous descriptors, under relaxed exclusivity constraint. Meanwhile, to strengthen the discriminability of the aggregated representation, we rationally enforce the domain invariant projection of bundled descriptors along a task specific direction. Furthermore, ProLFA is also provided with a powerful generalization ability to deal flexibly with the semi supervised and fully supervised scenarios in local feature aggregation. Experimental results on various descriptors and tasks demonstrate that the proposed ProLFA is considerably superior over currently available alternatives about feature aggregation.


Select, Label, and Mix Learning Discriminative Invariant Feature Representations for Partial Domain Adaptation. Partial domain adaptation which assumes that the unknown target label space is a subset of the source label space has attracted much attention in computer vision. Despite recent progress, existing methods often suffer from three key problems negative transfer, lack of discriminability and domain invariance in the latent space. To alleviate the above issues, we develop a novel 'Select, Label, and Mix' (SLM) framework that aims to learn discriminative invariant feature representations for partial domain adaptation. First, we present a simple yet efficient "select" module that automatically filters out the outlier source samples to avoid negative transfer while aligning distributions across both domains. Second, the "label" module iteratively trains the classifier using both the labeled source domain data and the generated pseudo labels for the target domain to enhance the discriminability of the latent space. Finally, the "mix" module utilizes domain mixup regularization jointly with the other two modules to explore more intrinsic structures across domains leading to a domain invariant latent space for partial domain adaptation. Extensive experiments on several benchmark datasets demonstrate the superiority of our proposed framework over state of the art methods.


Sufficient optimality conditions in bilevel programming. This paper is concerned with the derivation of first and second order sufficient optimality conditions for optimistic bilevel optimization problems involving smooth functions. First order sufficient optimality conditions are obtained by estimating the tangent cone to the feasible set of the bilevel program in terms of initial problem data. This is done by exploiting several different reformulations of the hierarchical model as a single level problem. To obtain second order sufficient optimality conditions, we exploit the so called value function reformulation of the bilevel optimization problem, which is then tackled with the aid of second order directional derivatives. The resulting conditions can be stated in terms of initial problem data in several interesting situations comprising the settings where the lower level is linear or possesses strongly stable solutions.


Improved Upper and Lower Bounds for LR Drawings of Binary Trees. In SODA'99, Chan introduced a simple type of planar straight line upward order preserving drawings of binary trees, known as LR drawings such a drawing is obtained by picking a root to leaf path, drawing the path as a straight line, and recursively drawing the subtrees along the paths. Chan proved that any binary tree with n nodes admits an LR drawing with O(n 0.48 ) width. In SODA'17, Frati, Patrignani, and Roselli proved that there exist families of n node binary trees for which any LR drawing has Omega(n 0.418 ) width. In this note, we improve Chan's upper bound to O(n 0.437 ) and Frati et al.'s lower bound to Omega(n 0.429 ) .


Empirical Notes on the Interaction Between Continuous Kernel Fuzzing and Development. Fuzzing has been studied and applied ever since the 1990s. Automated and continuous fuzzing has recently been applied also to open source software projects, including the Linux and BSD kernels. This paper concentrates on the practical aspects of continuous kernel fuzzing in four open source kernels. According to the results, there are over 800 unresolved crashes reported for the four kernels by the syzkaller syzbot framework. Many of these have been reported relatively long ago. Interestingly, fuzzing induced bugs have been resolved in the BSD kernels more rapidly. Furthermore, assertions and debug checks, use after frees, and general protection faults account for the majority of bug types in the Linux kernel. About 23 of the fixed bugs in the Linux kernel have either went through code review or additional testing. Finally, only code churn provides a weak statistical signal for explaining the associated bug fixing times in the Linux kernel.


Deciding Accuracy of Differential Privacy Schemes. Differential privacy is a mathematical framework for developing statistical computations with provable guarantees of privacy and accuracy. In contrast to the privacy component of differential privacy, which has a clear mathematical and intuitive meaning, the accuracy component of differential privacy does not have a generally accepted definition accuracy claims of differential privacy algorithms vary from algorithm to algorithm and are not instantiations of a general definition. We identify program discontinuity as a common theme in existing emph ad hoc definitions and introduce an alternative notion of accuracy parametrized by, what we call, distance the distance of an input x w.r.t., a deterministic computation f and a distance d , is the minimal distance d(x,y) over all y such that f(y) neq f(x) . We show that our notion of accuracy subsumes the definition used in theoretical computer science, and captures known accuracy claims for differential privacy algorithms. In fact, our general notion of accuracy helps us prove better claims in some cases. Next, we study the decidability of accuracy. We first show that accuracy is in general undecidable. Then, we define a non trivial class of probabilistic computations for which accuracy is decidable (unconditionally, or assuming Schanuel's conjecture). We implement our decision procedure and experimentally evaluate the effectiveness of our approach for generating proofs or counterexamples of accuracy for common algorithms from the literature.


The Shafarevich conjecture for hypersurfaces in abelian varieties. Faltings proved that there are finitely many abelian varieties of genus g of a number field K , with good reduction outside a finite set of primes S . Fixing one of these abelian varieties A , we prove that there are finitely many smooth hypersurfaces in A , with good reduction outside S , representing a given ample class in the Neron Severi group of A , up to translation, as long as the dimension of A is at least 4 . Our approach builds on the approach of arXiv 1807.02721 which studies p adic variations of Hodge structure to turn finiteness results for p adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.


On the normal form of the Kirchhoff equation. Consider the Kirchhoff equation partial tt u Delta u Big( 1 int mathbb T d nabla u 2 Big) 0 on the d dimensional torus mathbb T d . In a previous paper we proved that, after a first step of quasilinear normal form, the resonant cubic terms show an integrable behavior, namely they give no contribution to the energy estimates. This leads to the question whether the same structure also emerges at the next steps of normal form. In this paper, we perform the second step and give a negative answer to the previous question the quintic resonant terms give a nonzero contribution to the energy estimates. This is not only a formal calculation, as we prove that the normal form transformation is bounded between Sobolev spaces.


Parity Labeling in Signed Graphs. Let S (G, sigma) be a signed graph where G (V, E) is a graph called the underlying graph of S and sigma E(G) rightarrow , . Let f V(G) rightarrow 1,2, dots, V(G) such that sigma(uv) if and only if f(u) and f(v) are of same parity and sigma(uv) if and only if f(u) and f(v) are of opposite parity. Under f we get a signed graph G f denoted as S , which is a parity signed graph. In this paper, we initiate the study of parity labeling in signed graphs and we define and find rna' number denoted as sigma (S) for some classes of signed graphs. We also characterize some signed graphs which are parity signed graphs. Some directions for further research are also suggested.


Synthetic Humans for Action Recognition from Unseen Viewpoints. Although synthetic training data has been shown to be beneficial for tasks such as human pose estimation, its use for RGB human action recognition is relatively unexplored. Our goal in this work is to answer the question whether synthetic humans can improve the performance of human action recognition, with a particular focus on generalization to unseen viewpoints. We make use of the recent advances in monocular 3D human body reconstruction from real action sequences to automatically render synthetic training videos for the action labels. We make the following contributions (i) we investigate the extent of variations and augmentations that are beneficial to improving performance at new viewpoints. We consider changes in body shape and clothing for individuals, as well as more action relevant augmentations such as non uniform frame sampling, and interpolating between the motion of individuals performing the same action (ii) We introduce a new data generation methodology, SURREACT, that allows training of spatio temporal CNNs for action classification (iii) We substantially improve the state of the art action recognition performance on the NTU RGB D and UESTC standard human action multi view benchmarks Finally, (iv) we extend the augmentation approach to in the wild videos from a subset of the Kinetics dataset to investigate the case when only one shot training data is available, and demonstrate improvements in this case as well.


Addressing Design Issues in Medical Expert System for Low Back Pain Management Knowledge Representation, Inference Mechanism, and Conflict Resolution Using Bayesian Network. Aiming at developing a medical expert system for low back pain management, the paper proposes an efficient knowledge representation scheme using frame data structures, and also derives a reliable resolution logic through Bayesian Network. When a patient comes to the intended expert system for diagnosis, the proposed inference engine outputs a number of probable diseases in sorted order, with each disease being associated with a numeric measure to indicate its possibility of occurrence. When two or more diseases in the list have the same or closer possibility of occurrence, Bayesian Network is used for conflict resolution. The proposed scheme has been validated with cases of empirically selected thirty patients. Considering the expected value 0.75 as level of acceptance, the proposed system offers the diagnostic inference with the standard deviation of 0.029. The computational value of Chi Squared test has been obtained as 11.08 with 12 degree of freedom, implying that the derived results from the designed system conform the homogeneity with the expected outcomes. Prior to any clinical investigations on the selected low back pain patients, the accuracy level (average) of 73.89 has been achieved by the proposed system, which is quite close to the expected clinical accuracy level of 75 .


Delay Aware Wireless Network Coding in Adversarial Traffic. We analyze a wireless line network employing wireless network coding. The two end nodes exchange their packets through relays. While a packet at a relay might not find its coding pair upon arrival, a transmission cost can be reduced by waiting for coding with a packet from the other side. To strike a balance between the reduced transmission cost and the cost incurred by the delay, a scheduling algorithm determining either to transmit an uncoded packet or to wait for coding is needed. Because of highly uncertain traffic injections, scheduling with no assumption of the traffic is critical. This paper proposes a randomized online scheduling algorithm for a relay in arbitrary traffic, which can be non stationary or adversarial. The expected total cost (including a transmission cost and a delay cost) incurred by the proposed algorithm is at most e (e 1) 1.58 times the minimum achievable total cost. In particular, the proposed algorithm is universal in the sense that the ratio is independent of the traffic. With the universality, the proposed algorithm can be implemented at each relay distributedly (in a multi relay network) with the same ratio. Moreover, the proposed algorithm turns out to generalize the classic ski rental online algorithm.


Voter and Majority Dynamics with Biased and Stubborn Agents. We study binary opinion dynamics in a fully connected network of interacting agents. The agents are assumed to interact according to one of the following rules (1) Voter rule An updating agent simply copies the opinion of another randomly sampled agent (2) Majority rule An updating agent samples multiple agents and adopts the majority opinion in the selected group. We focus on the scenario where the agents are biased towards one of the opinions called the em preferred opinion . Using suitably constructed branching processes, we show that under both rules the mean time to reach consensus is Theta( log N) , where N is the number of agents in the network. Furthermore, under the majority rule model, we show that consensus can be achieved on the preferred opinion with high probability even if it is initially the opinion of the minority. We also study the majority rule model when stubborn agents with fixed opinions are present. We find that the stationary distribution of opinions in the network in the large system limit using mean field techniques.


Exploring AI Futures Through Role Play. We present an innovative methodology for studying and teaching the impacts of AI through a role play game. The game serves two primary purposes 1) training AI developers and AI policy professionals to reflect on and prepare for future social and ethical challenges related to AI and 2) exploring possible futures involving AI technology development, deployment, social impacts, and governance. While the game currently focuses on the inter relations between short , mid and long term impacts of AI, it has potential to be adapted for a broad range of scenarios, exploring in greater depths issues of AI policy research and affording training within organizations. The game presented here has undergone two years of development and has been tested through over 30 events involving between 3 and 70 participants. The game is under active development, but preliminary findings suggest that role play is a promising methodology for both exploring AI futures and training individuals and organizations in thinking about, and reflecting on, the impacts of AI and strategic mistakes that can be avoided today.


New Optimizations and Heuristics for Determinization of B "uchi Automata. In this work, we present multiple new optimizations and heuristics for the determinization of B "uchi automata that exploit a number of semantic and structural properties, most of which may be applied together with any determinization procedure. We built a prototype implementation where all the presented heuristics can be freely combined and evaluated them, comparing our implementation with the state of the art tool spot on multiple data sets with different characteristics. Our results show that the proposed optimizations and heuristics can in some cases significantly decrease the size of the resulting deterministic automaton.


Universal codes in the shared randomness model for channels with general distortion capabilities. We put forth new models for universal channel coding. Unlike standard codes which are designed for a specific type of channel, our most general universal code makes communication resilient on every channel, provided the noise level is below the tolerated bound, where the noise level t of a channel is the logarithm of its ambiguity (the maximum number of strings that can be distorted into a given one). The other more restricted universal codes still work for large classes of natural channels. In a universal code, encoding is channel independent, but the decoding function knows the type of channel. We allow the encoding and the decoding functions to share randomness, which is unavailable to the channel. There are two scenarios for the type of attack that a channel can perform. In the oblivious scenario, codewords belong to an additive group and the channel distorts a codeword by adding a vector from a fixed set. The selection is based on the message and the encoding function, but not on the codeword. In the Hamming scenario, the channel knows the codeword and is fully adversarial. For a universal code, there are two parameters of interest the rate, which is the ratio between the message length k and the codeword length n, and the number of shared random bits. We show the existence in both scenarios of universal codes with rate 1 t n o(1), which is optimal modulo the o(1) term. The number of shared random bits is O(log n) in the oblivious scenario, and O(n) in the Hamming scenario, which, for typical values of the noise level, we show to be optimal, modulo the constant hidden in the O() notation. In both scenarios, the universal encoding is done in time polynomial in n, but the channel dependent decoding procedures are in general not efficient. For some weaker classes of channels we construct universal codes with polynomial time encoding and decoding.


Connecting Program Synthesis and Reachability Automatic Program Repair using Test Input Generation. We prove that certain formulations of program synthesis and reachability are equivalent. Specifically, our constructive proof shows the reductions between the template based synthesis problem, which generates a program in a pre specified form, and the reachability problem, which decides the reachability of a program location. This establishes a link between the two research fields and allows for the transfer of techniques and results between them. To demonstrate the equivalence, we develop a program repair prototype using reachability tools. We transform a buggy program and its required specification into a specific program containing a location reachable only when the original program can be repaired, and then apply an off the shelf test input generation tool on the transformed program to find test values to reach the desired location. Those test values correspond to repairs for the original programm. Preliminary results suggest that our approach compares favorably to other repair methods.


Asynchronous Decentralized Successive Convex Approximation. We study decentralized asynchronous multiagent optimization over networks, modeled as static (possibly directed) graphs. The optimization problem consists of minimizing a (possibly nonconvex) smooth function the sum of the agents' local costs plus a convex (possibly nonsmooth) regularizer, subject to convex constraints. Agents can perform their local computations as well as communicate with their immediate neighbors at any time, without any form of coordination or centralized scheduling furthermore, when solving their local subproblems, they can use outdated information from their neighbors. We propose the first distributed asynchronous algorithm, termed ASY DSCA, that converges at an R linear rate to the optimal solution of convex problems whose objective function satisfies a general error bound condition this condition is weaker than the more frequently used strong convexity, and it is satisfied by several empirical risk functions that are not strongly convex examples include LASSO and logistic regression problems. When the objective function is nonconvex, ASY DSCA converges to a stationary solution of the problem at a sublinear rate.


Towards robust word embeddings for noisy texts. Research on word embeddings has mainly focused on improving their performance on standard corpora, disregarding the difficulties posed by noisy texts in the form of tweets and other types of non standard writing from social media. In this work, we propose a simple extension to the skipgram model in which we introduce the concept of bridge words, which are artificial words added to the model to strengthen the similarity between standard words and their noisy variants. Our new embeddings outperform baseline models on noisy texts on a wide range of evaluation tasks, both intrinsic and extrinsic, while retaining a good performance on standard texts. To the best of our knowledge, this is the first explicit approach at dealing with this type of noisy texts at the word embedding level that goes beyond the support for out of vocabulary words.


Estimating Motion Uncertainty with Bayesian ICP. Accurate uncertainty estimation associated with the pose transformation between two 3D point clouds is critical for autonomous navigation, grasping, and data fusion. Iterative closest point (ICP) is widely used to estimate the transformation between point cloud pairs by iteratively performing data association and motion estimation. Despite its success and popularity, ICP is effectively a deterministic algorithm, and attempts to reformulate it in a probabilistic manner generally do not capture all sources of uncertainty, such as data association errors and sensor noise. This leads to overconfident transformation estimates, potentially compromising the robustness of systems relying on them. In this paper we propose a novel method to estimate pose uncertainty in ICP with a Markov Chain Monte Carlo (MCMC) algorithm. Our method combines recent developments in optimization for scalable Bayesian sampling such as stochastic gradient Langevin dynamics (SGLD) to infer a full posterior distribution of the pose transformation between two point clouds. We evaluate our method, called Bayesian ICP, in experiments using 3D Kinect data demonstrating that our method is capable of both quickly and accuractely estimating pose uncertainty, taking into account data association uncertainty as reflected by the shape of the objects.


A formula on Stirling numbers of the second kind and its application to the unstable K theory of stunted complex projective spaces. A formula on Stirling numbers of the second kind S(n, k) is proved. As a corollary, for odd n and even k , it is shown that k!S(n, k) is a positive multiple of the greatest common divisor of j!S(n, j) for k 1 leq j leq n . Also, as an application to algebraic topology, some isomorphisms of unstable K 1 groups of stunted complex projective spaces are deduced.


Energy exchange between surface plasmon polaritons and CdSe ZnS quantum dots. Evidence is presented for energy exchange between surface plasmon polaritons (SPPs) excited in waveguide coupled Ag Si3N4 Au structures and CdSe ZnS quantum dot (QD) emitters. The QD dispersion is coated on the surface of Ag Si3N4 Au nanostructure, surface plasmon resonance (SPR) is excited on surface of multilayered structure and the photoluminescence (PL) emission by the QDs is monitored as a function of the evanescent electric field by using fixed detector pump probe spectroscopy. We observe relatively large shift in the PL emission wavelength (corresponding to 4 5 meV) with accompanying electric field induced quenching (up to 50 ) of the emission. Under the influence of the evanescent field, the PL emission peak splits into two components corresponding to two frequencies (Rabi splitting). Computer simulations are used to understand conditions under which Rabi splitting should occur.


Complexity of the dynamics of reaction systems. Reaction systems are discrete dynamical systems inspired by bio chemical processes, whose dynamical behaviour is expressed by set theoretic operations on finite sets. Reaction systems thus provide a description of bio chemical phenomena that complements the more traditional approaches, for instance those based on differential equations. A comprehensive list of decision problems about the dynamical behavior of reaction systems (such as cycles and fixed periodic points, attractors, and reachability) is provided along with the corresponding computational complexity, which ranges from tractable problems to PSPACE complete problems.


Modelling COVID 19 transmission in supermarkets using an agent based model. Since the outbreak of COVID 19 in early March 2020, UK supermarkets have implemented different policies to reduce the virus transmission in stores to protect both customers and staff, such as restricting the maximum number of customers in a store, changes to the store layout, or enforcing a mandatory face covering policy. To quantitatively assess these mitigation methods, we formulate an agent based model of customer movement in a supermarket (which we represent by a network) with a simple virus transmission model based on the amount of time a customer spends in close proximity to infectious customers. We apply our model to synthetic store and shopping data to show how one can use our model to estimate the number of infections due to human to human contact in stores and how to model different store interventions. The source code is openly available at https github.com fabianying covid19 supermarket abm. We encourage retailers to use the model to find the most effective store policies that reduce virus transmission in stores and thereby protect both customers and staff.


UNKs Everywhere Adapting Multilingual Language Models to New Scripts. Massively multilingual language models such as multilingual BERT offer state of the art cross lingual transfer performance on a range of NLP tasks. However, due to limited capacity and large differences in pretraining data sizes, there is a profound performance gap between resource rich and resource poor target languages. The ultimate challenge is dealing with under resourced languages not covered at all by the models and written in scripts unseen during pretraining. In this work, we propose a series of novel data efficient methods that enable quick and effective adaptation of pretrained multilingual models to such low resource languages and unseen scripts. Relying on matrix factorization, our methods capitalize on the existing latent knowledge about multiple languages already available in the pretrained model's embedding matrix. Furthermore, we show that learning of the new dedicated embedding matrix in the target language can be improved by leveraging a small number of vocabulary items (i.e., the so called lexically overlapping tokens) shared between mBERT's and target language vocabulary. Our adaptation techniques offer substantial performance gains for languages with unseen scripts. We also demonstrate that they can yield improvements for low resource languages written in scripts covered by the pretrained model.


Computational methods for cancer driver discovery A survey. Motivation Uncovering the genomic causes of cancer, known as cancer driver genes, is a fundamental task in biomedical research. Cancer driver genes drive the development and progression of cancer, thus identifying cancer driver genes and their regulatory mechanism is crucial to the design of cancer treatment and intervention. Many computational methods, which take the advantages of computer science and data science, have been developed to utilise multiple types of genomic data to reveal cancer drivers and their regulatory mechanism behind cancer development and progression. Due to the complexity of the mechanistic insight of cancer genes in driving cancer and the fast development of the field, it is necessary to have a comprehensive review about the current computational methods for discovering different types of cancer drivers. Results We survey computational methods for identifying cancer drivers from genomic data. We categorise the methods into three groups, methods for single driver identification, methods for driver module identification, and methods for identifying personalised cancer drivers. We also conduct a case study to compare the performance of the current methods. We further analyse the advantages and limitations of the current methods, and discuss the challenges and future directions of the topic. In addition, we investigate the resources for discovering and validating cancer drivers in order to provide a one stop reference of the tools to facilitate cancer driver discovery. The ultimate goal of the paper is to help those interested in the topic to establish a solid background to carry out further research in the field.


On the compactness of Bergman type integral operators. Bergman type integral operators are classical operators in complex analysis and operator theory. Recently, the first author and his collaborator cite DiW completely characterized the L p L q boundedness of Bergman type integral operators K alpha,K alpha and the L p L q compactness of K alpha on the unit ball. In this paper, we will use a substantially new method to completely characterize the L p L q compactness of K alpha , but also prove that the L p L q compactness of operators K alpha,K alpha is in fact equivalent. Moreover, we completely characterize Schatten class and Macaev class Bergman type integral operator K alpha on L 2 space and Bergman space via inequalities related to the dimension of the unit ball, and we also give an intrinsic characterization by introducing the concept of Hausdorff dimension of compact operators. The Dixmier trace of K alpha are also calculated in this paper.


A path formula for the sock sorting problem. Suppose n different pairs of socks are put in a tumble dryer. When the dryer is finished socks are taken out one by one, if a sock matches one of the socks on the sorting table both are removed, otherwise it is put on the table until its partner emerges from the dryer. We note the number of socks on the table after each of the 2n socks is taken from the dryer and give an explicit formula for the probability that this sequence equals a given sequence of length 2n .


Crossing The Gap A Deep Dive into Zero Shot Sim to Real Transfer for Dynamics. Zero shot sim to real transfer of tasks with complex dynamics is a highly challenging and unsolved problem. A number of solutions have been proposed in recent years, but we have found that many works do not present a thorough evaluation in the real world, or underplay the significant engineering effort and task specific fine tuning that is required to achieve the published results. In this paper, we dive deeper into the sim to real transfer challenge, investigate why this is such a difficult problem, and present objective evaluations of a number of transfer methods across a range of real world tasks. Surprisingly, we found that a method which simply injects random forces into the simulation performs just as well as more complex methods, such as those which randomise the simulator's dynamics parameters, or adapt a policy online using recurrent network architectures.


ADAPS Autonomous Driving Via Principled Simulations. Autonomous driving has gained significant advancements in recent years. However, obtaining a robust control policy for driving remains challenging as it requires training data from a variety of scenarios, including rare situations (e.g., accidents), an effective policy architecture, and an efficient learning mechanism. We propose ADAPS for producing robust control policies for autonomous vehicles. ADAPS consists of two simulation platforms in generating and analyzing accidents to automatically produce labeled training data, and a memory enabled hierarchical control policy. Additionally, ADAPS offers a more efficient online learning mechanism that reduces the number of iterations required in learning compared to existing methods such as DAGGER. We present both theoretical and experimental results. The latter are produced in simulated environments, where qualitative and quantitative results are generated to demonstrate the benefits of ADAPS.


Brain Computer Interfaces and the Dangers of Neurocapitalism. We review how existing trends are relevant to the discussion of brain computer interfaces and the data they would generate. Then, we posit how the commerce of neural data, dubbed Neurocapitalism, could be impacted by the maturation of brain computer interface technology. We explore how this could pose fundamental changes to our way of interacting, as well as our sense of autonomy and identity. Because of the power inherent in the technology, and its potentially ruinous abuses, action must be taken before the appearance of the technology, and not come as a reaction to it. The widespread adoption of brain computer interface technology will certainly change our way of life. Whether it is changed for the better or worse, depends on how well we prepare for its arrival.


BCFA Bespoke Control Flow Analysis for CFA at Scale. Many data driven software engineering tasks such as discovering programming patterns, mining API specifications, etc., perform source code analysis over control flow graphs (CFGs) at scale. Analyzing millions of CFGs can be expensive and performance of the analysis heavily depends on the underlying CFG traversal strategy. State of the art analysis frameworks use a fixed traversal strategy. We argue that a single traversal strategy does not fit all kinds of analyses and CFGs and propose bespoke control flow analysis (BCFA). Given a control flow analysis (CFA) and a large number of CFGs, BCFA selects the most efficient traversal strategy for each CFG. BCFA extracts a set of properties of the CFA by analyzing the code of the CFA and combines it with properties of the CFG, such as branching factor and cyclicity, for selecting the optimal traversal strategy. We have implemented BCFA in Boa, and evaluated BCFA using a set of representative static analyses that mainly involve traversing CFGs and two large datasets containing 287 thousand and 162 million CFGs. Our results show that BCFA can speedup the large scale analyses by 1 28 . Further, BCFA has low overheads less than 0.2 , and low misprediction rate less than 0.01 .


A Large Scale Database for Graph Representation Learning. With the rapid emergence of graph representation learning, the construction of new large scale datasets is necessary to distinguish model capabilities and accurately assess the strengths and weaknesses of each technique. By carefully analyzing existing graph databases, we identify 3 critical components important for advancing the field of graph representation learning (1) large graphs, (2) many graphs, and (3) class diversity. To date, no single graph database offers all these desired properties. We introduce MalNet, the largest public graph database ever constructed, representing a large scale ontology of malicious software function call graphs. MalNet contains over 1.2 million graphs, averaging over 15k nodes and 35k edges per graph, across a hierarchy of 47 types and 696 families. Compared to the popular REDDIT 12K database, MalNet offers 105x more graphs, 39x larger graphs on average, and 63x more classes. We provide a detailed analysis of MalNet, discussing its properties and provenance, along with the evaluation of state of the art machine learning and graph neural network techniques. The unprecedented scale and diversity of MalNet offers exciting opportunities to advance the frontiers of graph representation learning enabling new discoveries and research into imbalanced classification, explainability and the impact of class hardness. The database is publicly available at www.mal net.org.


Space of Invariant bilinear forms under representation of a group of order 8. Let G be a group of order 8 and F an algebraically closed field with char 2. In this paper we compute the number of n degree representations of G and subsequent dimensions of the corresponding spaces of invatiant bilinear forms over the field F. We explicitly discuss about the existence of non degenerate invariant bilinear forms.


Unconstrained Facial Action Unit Detection via Latent Feature Domain. Facial action unit (AU) detection in the wild is a challenging problem, due to the unconstrained variability in facial appearances and the lack of accurate annotations. Most existing methods depend on either impractical labor intensive labeling or inaccurate pseudo labels. In this paper, we propose an end to end unconstrained facial AU detection framework based on domain adaptation, which transfers accurate AU labels from a constrained source domain to an unconstrained target domain by exploiting labels of AU related facial landmarks. Specifically, we map a source image with label and a target image without label into a latent feature domain by combining source landmark related feature with target landmark free feature. Due to the combination of source AU related information and target AU free information, the latent feature domain with transferred source label can be learned by maximizing the target domain AU detection performance. Moreover, we introduce a novel landmark adversarial loss to disentangle the landmark free feature from the landmark related feature by treating the adversarial learning as a multi player minimax game. Our framework can also be naturally extended for use with target domain pseudo AU labels. Extensive experiments show that our method soundly outperforms lower bounds and upper bounds of the basic model, as well as state of the art approaches on the challenging in the wild benchmarks. The code is available at https github.com ZhiwenShao ADLD.


Diagnosing Disagreements The Authentication of the Positron 1931 1934. This paper bridges a historiographical gap in accounts of the prediction and discovery of the positron by combining three ingredients. First, the prediction and discovery of the positron are situated in the broader context of a period of 'crystallisation' of a research tradition. Second, the prediction and discovery of the positron are discussed in the context of the 'authentication' of the particle. Third, the attitude of the relevant scientists to both prediction and discovery are conceptualised in terms of the idea of 'perspectives'. It will be argued that by examining the prediction and discovery of the positron in the context of authentication within a period of crystallisation, we can better understand disagreements regarding the positron between relevant scientists (Dirac, Bohr, and Pauli) in the period 1931 34.


Global Sobolev persistence for the fractional Boussinesq equations with zero diffusivity. We address the persistence of regularity for the 2D alpha fractional Boussinesq equations with positive viscosity and zero diffusivity in general Sobolev spaces, i.e., for (u 0 , rho 0 ) in W s,q ( mathbb R 2) times W s,q ( mathbb R 2) , where s 1 and q in (2, infty) . We prove that the solution (u(t), rho(t)) exists and belongs to W s,q ( mathbb R 2) times W s,q ( mathbb R 2) for all positive time t for q 2 , where alpha in(1,2) is arbitrary.


Stereodynamics of rotationally inelastic scattering in cold He HD collisions. Stereodynamics of cold collisions has become a fertile ground for quantized studies of molecular collisions and control of the collision outcome. A benchmark process for stereodynamic control is rotational transition in He HD collisions. This process was recently probed experimentally by Perreault et al. by examining quenching from j 2 to j' 0 state in the v 1 vibrational manifold. Here, through explicit quantum scattering calculations on a highly accurate ab initio interaction potential for He H 2 , we reveal how a combination of two shape resonances arising from l 1 and l 2 partial waves controls the stereodynamic outcome rather than a single l 2 partial wave attributed in the experiment. Further, for collision energies below 0.5 cm 1 , it is shown that stereodynamic preference for integral cross section follows a simple universal trend.


Beam data modeling of linear accelerators (linacs) through machine learning and its potential applications in fast and robust linac commissioning and quality assurance. Background and purpose To propose a novel machine learning based method for reliable and accurate modeling of linac beam data applicable to the processes of linac commissioning and QA. Materials and methods We hypothesize that the beam data is a function of inherent linac features and percentage depth doses (PDDs) and profiles of different field sizes are correlated with each other. The correlation is formulated as a multivariable regression problem using a machine learning framework. Varian TrueBeam beam data sets (n 43) acquired from multiple institutions were used to evaluate the framework. The data sets included PDDs and profiles across different energies and field sizes. A multivariate regression model was trained for prediction of beam specific PDDs and profiles of different field sizes using a 10x10cm 2 field as input. Results Predictions of PDDs were achieved with a mean absolute percent relative error ( RE) of 0.19 0.35 across the different beam energies investigated. The maximum mean absolute RE was 0.93 . For profile prediction, the mean absolute RE was 0.66 0.93 with a maximum absolute RE of 3.76 . The largest uncertainties in the PDD and profile predictions were found at the build up region and at the field penumbra, respectively. The prediction accuracy increased with the number of training sets up to around 20 training sets. Conclusions Through this novel machine learning based method we have shown accurate and reproducible generation of beam data for linac commissioning for routine radiation therapy. This method has the potential to simplify the linac commissioning procedure, save time and manpower while increasing the accuracy of the commissioning process.


Towards Accurate Vehicle Behaviour Classification With Multi Relational Graph Convolutional Networks. Understanding on road vehicle behaviour from a temporal sequence of sensor data is gaining in popularity. In this paper, we propose a pipeline for understanding vehicle behaviour from a monocular image sequence or video. A monocular sequence along with scene semantics, optical flow and object labels are used to get spatial information about the object (vehicle) of interest and other objects (semantically contiguous set of locations) in the scene. This spatial information is encoded by a Multi Relational Graph Convolutional Network (MR GCN), and a temporal sequence of such encodings is fed to a recurrent network to label vehicle behaviours. The proposed framework can classify a variety of vehicle behaviours to high fidelity on datasets that are diverse and include European, Chinese and Indian on road scenes. The framework also provides for seamless transfer of models across datasets without entailing re annotation, retraining and even fine tuning. We show comparative performance gain over baseline Spatio temporal classifiers and detail a variety of ablations to showcase the efficacy of the framework.


An Integrated Approach Towards the Construction of an HCI Methodological Framework. We present a methodological framework aiming at the support of HCI practitioners and researchers in selecting and applying the most appropriate combination of HCI methods for particular problems. We highlight the need for a clear and effective overview of methods and provide further discussion on possible extensions that can support recent trends and needs, such as the focus on specific application domains.


Growth and Duplication of Public Source Code over Time Provenance Tracking at Scale. We study the evolution of the largest known corpus of publicly available source code, i.e., the Software Heritage archive (4B unique source code files, 1B commits capturing their development histories across 50M software projects). On such corpus we quantify the growth rate of original, never seen before source code files and commits. We find the growth rates to be exponential over a period of more than 40 years.We then estimate the multiplication factor, i.e., how much the same artifacts (e.g., files or commits) appear in different contexts (e.g., commits or source code distribution places). We observe a combinatorial explosion in the multiplication of identical source code files across different commits.We discuss the implication of these findings for the problem of tracking the provenance of source code artifacts (e.g., where and when a given source code file or commit has been observed in the wild) for the entire body of publicly available source code. To that end we benchmark different data models for capturing software provenance information at this scale and growth rate. We identify a viable solution that is deployable on commodity hardware and appears to be maintainable for the foreseeable future.


Modeling the Invariance of Virtual Pointers in LLVM. Devirtualization is a compiler optimization that replaces indirect (virtual) function calls with direct calls. It is particularly effective in object oriented languages, such as Java or C , in which virtual methods are typically abundant. We present a novel abstract model to express the lifetimes of C dynamic objects and invariance of virtual table pointers in the LLVM intermediate representation. The model and the corresponding implementation in Clang and LLVM enable full devirtualization of virtual calls whenever the dynamic type is statically known and elimination of redundant virtual table loads in other cases. Due to the complexity of C , this has not been achieved by any other C compiler so far. Although our model was designed for C , it is also applicable to other languages that use virtual dispatch. Our benchmarks show an average of 0.8 performance improvement on real world C programs, with more than 30 speedup in some cases. The implementation is already a part of the upstream LLVM Clang and can be enabled with the fstrict vtable pointers flag.


Craquelure as a Graph Application of Image Processing and Graph Neural Networks to the Description of Fracture Patterns. Cracks on a painting is not a defect but an inimitable signature of an artwork which can be used for origin examination, aging monitoring, damage identification, and even forgery detection. This work presents the development of a new methodology and corresponding toolbox for the extraction and characterization of information from an image of a craquelure pattern. The proposed approach processes craquelure network as a graph. The graph representation captures the network structure via mutual organization of junctions and fractures. Furthermore, it is invariant to any geometrical distortions. At the same time, our tool extracts the properties of each node and edge individually, which allows to characterize the pattern statistically. We illustrate benefits from the graph representation and statistical features individually using novel Graph Neural Network and hand crafted descriptors correspondingly. However, we also show that the best performance is achieved when both techniques are merged into one framework. We perform experiments on the dataset for paintings' origin classification and demonstrate that our approach outperforms existing techniques by a large margin.


Liquidity Provider Returns in Geometric Mean Markets. Geometric mean market makers (G3Ms), such as Uniswap and Balancer, comprise a popular class of automated market makers (AMMs) defined by the following rule the reserves of the AMM before and after each trade must have the same (weighted) geometric mean. This paper extends several results known for constant weight G3Ms to the general case of G3Ms with time varying and potentially stochastic weights. These results include the returns and no arbitrage prices of liquidity pool (LP) shares that investors receive for supplying liquidity to G3Ms. Using these expressions, we show how to create G3Ms whose LP shares replicate the payoffs of financial derivatives. The resulting hedges are model independent and exact for derivative contracts whose payoff functions satisfy an elasticity constraint. These strategies allow LP shares to replicate various trading strategies and financial contracts, including standard options. G3Ms are thus shown to be capable of recreating a variety of active trading strategies through passive positions in LP shares.


A clique graph based merging strategy for decomposable SDPs. Chordal decomposition techniques are used to reduce large structured positive semidefinite matrix constraints in semidefinite programs (SDPs). The resulting equivalent problem contains multiple smaller constraints on the nonzero blocks (or cliques) of the original problem matrices. This usually leads to a significant reduction in the overall solve time. A further reduction is possible by remerging cliques with significant overlap. The degree of overlap for which this is effective is dependent on the particular solution algorithm and hardware to be employed. We propose a novel clique merging approach that utilizes the clique graph to identify suitable merge candidates. We show its performance by comparing it with two existing methods on selected problems from a benchmark library. Our approach is implemented in the latest version of the conic ADMM solver COSMO.


Compatibility degree of cluster complexes. We introduce a new function on the set of pairs of cluster variables via f vectors, which we call it the compatibility degree (of cluster complexes). The compatibility degree is a natural generalization of the classical compatibility degree introduced by Fomin and Zelevinsky. In particular, we prove that the compatibility degree has the duality property, the symmetry property, the embedding property and the compatibility property, which the classical one has. We also conjecture that the compatibility degree has the exchangeability property. As pieces of evidence of this conjecture, we establish the exchangeability property for cluster algebras of rank 2, acyclic skew symmetric cluster algebras, cluster algebras arising from weighted projective lines, and cluster algebras arising from marked surfaces.


VJA 'G 'G A Thick Client Smart Phone Journey Detection Algorithm. In this paper we describe Vja dot g dot g , a battery aware journey detection algorithm that executes on the mobile device. The algorithm can be embedded in the client app of the transport service provider or in a general purpose mobility data collector. The thick client setup allows the customer participant to select which journeys are transferred to the server, keeping customers in control of their personal data and encouraging user uptake. The algorithm is tested in the field and optimised for both accuracy in registering complete journeys and battery power consumption. Typically the algorithm can run for a full day without the need of recharging and more than 88 of journeys are correctly detected from origin to destination, whilst 12 would be missing part of the journey.


Invariants of formal pseudodifferential operator algebras and algebraic modular forms. We study from an algebraic point of view the question of extending an action of a group ( Gamma ) on a commutative domain (R ) to a formal pseudodifferential operator ring (B R( !(x , ,d) !) ) with coefficients in (R ), as well as to some canonical quadratic extension (C R( !(x 1 2 , , frac 12 d) !) 2 ) of (B ). We give a necessary and sufficient condition of compatibility between the action and the derivation d of R for such an extension to exist, and we determine all possible extensions of the action to (B ) and (C ). We describe under suitable assumptions the invariant subalgebras (B Gamma ) and (C Gamma ) as Laurent series rings with coefficients in (R Gamma ). The main results of this general study are applied in a numbertheoretical context to the case where ( Gamma ) is a subgroup of ( rm SL (2, C) ) acting by homographies on an algebra (R ) of functions in one complex variable. Denoting by (M j ) the vector space of algebraic modular forms in R of weight (j ) (even or odd), we build for any nonnegative integer (k ) a linear isomorphism between the subspace (C k Gamma ) of invariant operators of order ( geq k ) in (C Gamma ) and the product space ( mathcal M k prod j geq k M j ), which can be identified with a space of algebraic Jacobi forms of weight (k ). It results in particular a structure of noncommutative algebra on ( mathcal M 0 ) and an algebra isomorphism ( Psi mathcal M 0 to C 0 Gamma ), whose restriction to the particular case of even weights was previously known in the litterature. We study properties of this correspondence combining arithmetical arguments and the use of the algebraic results of the first part of the article.


High harmonic generation from metasurfaces empowered by bound states in the continuum. The concept of optical bound states in the continuum (BICs) underpins the existence of strongly localized waves embedded into the radiation spectrum that can enhance the electromagnetic fields in subwavelength photonic structures. Early studies of optical BICs in waveguides and photonic crystals uncovered their topological properties, and the concept of quasi BIC metasurfaces facilitated applications of strong light matter interactions to biosensing, lasing, and low order nonlinear processes. Here we employ BIC empowered dielectric metasurfaces to generate efficiently high optical harmonics up to the 11th order. We optimize a BIC mode for the first few harmonics and observe a transition between perturbative and nonperturbative nonlinear regimes. We also suggest a general strategy for designing subwavelength structures with strong resonances and nonperturbative nonlinearities. Our work bridges the fields of perturbative and nonperturbative nonlinear optics on the subwavelength scale.


H.264 SVC Mode Decision Based on Mode Correlation and Desired Mode List. The design of video encoders involves the implementation of fast mode decision (FMD) algorithm to reduce computation complexity while maintaining the performance of the coding. Although H.264 scalable video coding (SVC) achieves high scalability and coding efficiency, it also has high complexity in implementing its exhaustive computation. In this paper, a novel algorithm is proposed to reduce the redundant candidate modes by making use of the correlation among layers. The desired mode list is created based on the probability to be the best mode for each block in the base layer and a candidate mode selection in the enhancement layer by the correlations of modes among the reference frame and current frame. Our algorithm is implemented in joint scalable video model (JSVM) 9.19.15 reference software and the performance is evaluated based on the average encoding time, peak signal to noise ratio (PSNR) and bit rate. The experimental results show 41.89 improvement in encoding time with minimal loss of 0.02dB in PSNR and 0.05 increase in bit rate.


Ease.ML Snoopy Towards Automatic Feasibility Studies for ML via Quantitative Understanding of "Data Quality for ML". In our experience of working with domain experts who are using today's AutoML systems, a common problem we encountered is what we call "unrealistic expectations" when users are facing a very challenging task with a noisy data acquisition process, while being expected to achieve startlingly high accuracy with machine learning (ML). Many of these are predestined to fail from the beginning. In traditional software engineering, this problem is addressed via a feasibility study, an indispensable step before developing any software system. In this paper, we present Snoopy, with the goal of supporting data scientists and machine learning engineers performing a systematic and theoretically founded feasibility study before building ML applications. We approach this problem by estimating the irreducible error of the underlying task, also known as the Bayes error rate (BER), which stems from data quality issues in datasets used to train or evaluate ML model artifacts. We design a practical Bayes error estimator that is compared against baseline feasibility study candidates on 6 datasets (with additional real and synthetic noise of different levels) in computer vision and natural language processing. Furthermore, by including our systematic feasibility study with additional signals into the iterative label cleaning process, we demonstrate in end to end experiments how users are able to save substantial labeling time and monetary efforts.


Two Way Source Channel Coding. We propose an adaptive lossy joint source channel coding (JSCC) scheme for sending correlated sources over two terminal discrete memoryless two way channels (DM TWCs). The main idea is to couple the independent operations of the terminals via an adaptive coding mechanism, which can mitigate cross interference resulting from simultaneous channel transmissions and concurrently exploit the sources' correlation to reduce the end to end reconstruction distortions. Our adaptive JSCC scheme not only subsumes existing lossy coding methods for two way simultaneous communication but also improves their performance. Furthermore, we derive outer bounds for our two way lossy transmission problem and establish complete JSCC theorems in some special settings. In these special cases, a non adaptive separate source channel coding (SSCC) scheme achieves the optimal performance, thus simplifying the design of the source channel communication system.


Variations on twins in permutations. Let pi be a permutation of the set n 1,2, dots, n . Two disjoint order isomorphic subsequences of pi are called twins. How long twins are contained in every permutation? The well known Erd H o s Szekeres theorem implies that there is always a pair of twins of length Omega( sqrt n ) . On the other hand, by a simple probabilistic argument Gawron proved that for every n geqslant 1 there exist permutations with all twins having length O(n 2 3 ) . He conjectured that the latter bound is the correct size of the longest twins guaranteed in every permutation. We support this conjecture by showing that almost all permutations contain twins of length Omega(n 2 3 log n 1 3 ) . Recently, Bukh and Rudenko have tweaked our proof and removed the log factor. For completeness, we also present our version of their proof (see Remark 1.2 below on the interrelation between the two proofs). In addition, we study several variants of the problem with diverse restrictions imposed on the twins. For instance, if we restrict attention to twins avoiding a fixed permutation tau , then the corresponding extremal function equals Theta( sqrt n ) , provided that tau is not monotone. In case of block twins (each twin occupies a segment) we prove that it is (1 o(1)) frac log n log log n , while for random permutations it is twice as large. For twins that jointly occupy a segment (tight twins), we prove that for every n there are permutations avoiding them on all segments of length greater than 24 .


LogLatt A computational library for the calculus and flows on logarithmic lattices. We introduce LogLatt, an efficient MATLAB library for the calculus and operations between functions on multi dimensional lattices of logarithmically distributed nodes in Fourier space. The computational applicabilities are available in one, two and three dimensions and include common differential operators, norms and functional products, which are local convolutions in Fourier space. All operations are encoded as MATLAB function handles, so their implementations result in elegant and intuitive scripts. Particularly, when applied to dynamics, governing equations may be coded exactly as they are mathematically written. Codes and results for some problems of fluid flow are given as examples of implementation. We expect that this library will serve as an efficient and accessible computational tool in the study of logarithmic models for nonlinear differential equations.


Complex solutions and stationary scattering for the nonlinear Helmholtz equation. We study a stationary scattering problem related to the nonlinear Helmholtz equation Delta u k 2 u f(x,u) text in mathbb R N , where N ge 3 and k 0 . For a given incident free wave varphi in L infty( mathbb R N) , we prove the existence of complex valued solutions of the form u varphi u text sc , where u text sc satisfies the Sommerfeld outgoing radiation condition. Since neither a variational framework nor maximum principles are available for this problem, we use topological fixed point theory and global bifurcation theory to solve an associated integral equation involving the Helmholtz resolvent operator. The key step of this approach is the proof of suitable a priori bounds.


Fluid structure interaction using volume penalization and mass spring models with application to flapping bumblebee flight. Wing flexibility plays an essential role in the aerodynamic performance of insects due to the considerable deformation of their wings during flight under the impact of inertial and aerodynamic forces. These forces come from the complex wing kinematics of insects. In this study, both wing structural dynamics and flapping wing motion are taken into account to investigate the effect of wing deformation on the aerodynamic efficiency of a bumblebee in tethered flight. A fluid structure interaction solver, coupling a mass spring model for the flexible wing with a pseudo spectral code solving the incompressible Navier Stokes equations, is implemented for this purpose. We first consider a tethered bumblebee flying in laminar flow with flexible wings. Compared to the rigid model, flexible wings generate smaller aerodynamic forces but require much less power. Finally, the bumblebee model is put into a turbulent flow to investigate its influence on the force production of flexible wings.


Empirically Characterizing the Buffer Behaviour of Real Devices. All the routers include a buffer in order to enqueue packets waiting to be transmitted. The behaviour of the routers' buffer is of primary importance when studying network traffic, since it may modify some characteristics, as delay or jitter, and may also drop packets. As a consequence, the characterization of this buffer is interesting, especially when real time flows are being transmitted if the buffer characteristics are known, then different techniques can be used so as to adapt the traffic multiplexing a number of small packets into a big one, fragmentation, etc. This work presents a preliminary study of how to determine the technical and functional characteristics of the buffer of a certain device (as e.g. behaviour, size, limits, input and output rate), or even in a remote Internet network node. Two different methodologies are considered, and tested on two real scenarios which have been implemented real measurements permit the estimation of the buffer size, and the input and output rates, when there is physical or remote access to the "System Under Test". In case of having physical access, the maximum number of packets in the queue can be determined by counting. In contrast, if the node is remote, its buffer size has to be estimated. We have obtained accurate results in wired and wireless networks.


Bilevel Optimization for On Demand Multimodal Transit Systems. This study explores the design of an On Demand Multimodal Transit System (ODMTS) that includes segmented mode switching models that decide whether potential riders adopt the new ODMTS or stay with their personal vehicles. It is motivated by the desire of transit agencies to design their network by taking into account both existing and latent demand, as quality of service improves. The paper presents a bilevel optimization where the leader problem designs the network and each rider has a follower problem to decide her best route through the ODMTS. The bilevel model is solved by a decomposition algorithm that combines traditional Benders cuts with combinatorial cuts to ensure the consistency of mode choices by the leader and follower problems. The approach is evaluated on a case study using historical data from Ann Arbor, Michigan, and a user choice model based on the income levels of the potential transit riders.


Collaborative Adversarial Learning for RelationalLearning on Multiple Bipartite Graphs. Relational learning aims to make relation inference by exploiting the correlations among different types of entities. Exploring relational learning on multiple bipartite graphs has been receiving attention because of its popular applications such as recommendations. How to make efficient relation inference with few observed links is the main problem on multiple bipartite graphs. Most existing approaches attempt to solve the sparsity problem via learning shared representations to integrate knowledge from multi source data for shared entities. However, they merely model the correlations from one aspect (e.g. distribution, representation), and cannot impose sufficient constraints on different relations of the shared entities. One effective way of modeling the multi domain data is to learn the joint distribution of the shared entities across domains.In this paper, we propose Collaborative Adversarial Learning (CAL) that explicitly models the joint distribution of the shared entities across multiple bipartite graphs. The objective of CAL is formulated from a variational lower bound that maximizes the joint log likelihoods of the observations. In particular, CAL consists of distribution level and feature level alignments for knowledge from multiple bipartite graphs. The two level alignment acts as two different constraints on different relations of the shared entities and facilitates better knowledge transfer for relational learning on multiple bipartite graphs. Extensive experiments on two real world datasets have shown that the proposed model outperforms the existing methods.


Orbital Stability of smooth solitary waves for the Degasperis Procesi Equation. The Degasperis Procesi equation is the integrable Camassa Holm type model which is an asymptotic approximation for the unidirectional propagation of shallow water waves. This work establishes the orbital stability of localized smooth solitary waves to the Desgasperis Procesi (DP) equation on the real line. extending our previous work on their spectral stability cite LLW . The main difficulty stems from the fact that the translation symmetry for the DP equation gives rise to a conserved quantity equivalent to the L 2 norm, which by itself can not bound the higher order nonlinear terms in the Lagrangian. The remedy is to observe that, given a sufficiently smooth initial condition satisfying a measurable constraint, the L infty orbital norm of the perturbation is bounded above by a function of its L 2 orbital norm, yielding the orbital stability in the L 2 cap L infty space.


Boundary asymptotics of the relative Bergman kernel metric for curves. We study the behaviors of the relative Bergman kernel metrics on holomorphic families of degenerating hyperelliptic Riemann surfaces and their Jacobian varieties. Near a node or cusp, we obtain precise asymptotic formulas with explicit coefficients. In general the Bergman kernels on a given cuspidal family do not always converge to that on the regular part of the limiting surface, which is different from the nodal case. It turns out that information on both the singularity and complex structure contributes to various asymptotic behaviors of the Bergman kernel. Our method involves the classical Taylor expansion for Abelian differentials and period matrices.