Tailoring the Cyber Security Framework How to Overcome the Complexities of Secure Live Virtual Machine Migration in Cloud Computing. This paper proposes a novel secure live virtual machine migration framework by using a virtual trusted platform module instance to improve the integrity of the migration process from one virtual machine to another on the same platform. The proposed framework, called Koror a, is designed and developed on a public infrastructure as a service cloud computing environment and runs concurrently on the same hardware components (Input Output, Central Processing Unit, Memory) and the same hypervisor (Xen) however, a combination of parameters needs to be evaluated before implementing Koror a. The implementation of Koror a is not practically feasible in traditional distributed computing environments. It requires fixed resources with high performance capabilities, connected through a high speed, reliable network. The following research objectives were determined to identify the integrity features of live virtual machine migration in the cloud system To understand the security issues associated with cloud computing, virtual trusted platform modules, virtualization, live virtual machine migration, and hypervisors To identify the requirements for the proposed framework, including those related to live VM migration among different hypervisors To design and validate the model, processes, and architectural features of the proposed framework To propose and implement an end to end security architectural blueprint for cloud environments, providing an integrated view of protection mechanisms, and then to validate the proposed framework to improve the integrity of live VM migration. This is followed by a comprehensive review of the evaluation system architecture and the proposed framework state machine. The overarching aim of this paper, therefore, is to present a detailed analysis of the cloud computing security problem, from the perspective of cloud architectures and the cloud... Abridged


Adversarial Robustness of Deep Learning Theory, Algorithms, and Applications. This tutorial aims to introduce the fundamentals of adversarial robustness of deep learning, presenting a well structured review of up to date techniques to assess the vulnerability of various types of deep learning models to adversarial examples. This tutorial will particularly highlight state of the art techniques in adversarial attacks and robustness verification of deep neural networks (DNNs). We will also introduce some effective countermeasures to improve the robustness of deep learning models, with a particular focus on adversarial training. We aim to provide a comprehensive overall picture about this emerging direction and enable the community to be aware of the urgency and importance of designing robust deep learning models in safety critical data analytical applications, ultimately enabling the end users to trust deep learning classifiers. We will also summarize potential research directions concerning the adversarial robustness of deep learning, and its potential benefits to enable accountable and trustworthy deep learning based data analytical systems and applications.


On the cokernel of the Baumslag rationalization. We prove that for the free group of rank two F the cokernel of the homomorphism to its Baumslag rationalization F to sf Bau (F) is not abelian. Moreover, this cokernel contains a free subgroup of countable rank. This answers a question of Emmanuel Farjoun.


Energy stable arbitrary order ETD MS method for gradient flows with Lipschitz nonlinearity. We present a methodology to construct efficient high order in time accurate numerical schemes for a class of gradient flows with appropriate Lipschitz continuous nonlinearity. There are several ingredients to the strategy the exponential time differencing (ETD), the multi step (MS) methods, the idea of stabilization, and the technique of interpolation. They are synthesized to develop a generic k th order in time efficient linear numerical scheme with the help of an artificial regularization term of the form A tau k frac partial partial t mathcal L p(k) u where mathcal L is the positive definite linear part of the flow, tau is the uniform time step size. The exponent p(k) is determined explicitly by the strength of the Lipschitz nonlinear term in relation to mathcal L together with the desired temporal order of accuracy k . To validate our theoretical analysis, the thin film epitaxial growth without slope selection model is examined with a fourth order ETD MS discretization in time and Fourier pseudo spectral in space discretization. Our numerical results on convergence and energy stability are in accordance with our theoretical results.


Adaptive Affinity for Associations in Multi Target Multi Camera Tracking. Data associations in multi target multi camera tracking (MTMCT) usually estimate affinity directly from re identification (re ID) feature distances. However, we argue that it might not be the best choice given the difference in matching scopes between re ID and MTMCT problems. Re ID systems focus on global matching, which retrieves targets from all cameras and all times. In contrast, data association in tracking is a local matching problem, since its candidates only come from neighboring locations and time frames. In this paper, we design experiments to verify such misfit between global re ID feature distances and local matching in tracking, and propose a simple yet effective approach to adapt affinity estimations to corresponding matching scopes in MTMCT. Instead of trying to deal with all appearance changes, we tailor the affinity metric to specialize in ones that might emerge during data associations. To this end, we introduce a new data sampling scheme with temporal windows originally used for data associations in tracking. Minimizing the mismatch, the adaptive affinity module brings significant improvements over global re ID distance, and produces competitive performance on CityFlow and DukeMTMC datasets.


Optimizing RRH Placement Under a Noise Limited Point to Point Wireless Backhaul. In this paper, we study the deployment decisions and location optimization for the remote radio heads (RRHs) in coordinated distributed networks in the presence of a wireless backhaul. We implement a scheme where the RRHs use zero forcing beamforming (ZF BF) for the access channel to jointly serve multiple users, while on the backhaul the RRHs are connected to their central units (CUs) through point to point wireless links. We investigate the effect of this scheme on the deployment of the RRHs and on the resulting achievable spectral efficiency over the access channel (under a backhaul outage constraint). Our results show that even for noise limited backhaul links, a large bandwidth must be allocated to the backhaul to allow freely distributing the RRHs in the network. Additionally, our results show that distributing the available antennas on more RRHs is favored as compared to a more co located antenna system. This motivates further works to study the efficiency of wireless backhaul schemes and their effect on the performance of coordinated distributed networks with joint transmission.


Kelvin's clouds. In 1900 Lord Kelvin identified two problems for 19th century physics, two "clouds" as he puts it the relative motion of the ether with respect to massive objects, and Maxwell Boltzmann's theorem on the equipartition of energy. These issues were eventually solved by the theory of special relativity and by quantum mechanics. In modern quotations, the content of Kelvin's lecture is almost always distorted and misrepresented. For example, it is commonly claimed that Kelvin was concerned about the UV catastrophe of the Rayleigh Jeans law, while his lecture actually makes no reference at all to blackbody radiation. I rectify these mistakes and explore reasons for their occurrence.


Geometry Aware NMPC Scheme for Morphing Quadrotor Navigation in Restricted Entrances. Geometry morphing Micro Aerial Vehicles (MAVs) are gaining more and more attention lately, since their ability to modify their geometric morphology in flight increases their versatility, while expanding their application range. In this novel research field, most of the works focus on the platform design and on the low level control part for maintaining stability after the deformation. Nevertheless, another aspect of geometry morphing MAVs is the association of the deformation with respect to the shape and structure of the environment. In this article, we propose a novel Nonlinear Model Predictive Control (NMPC) structure that modifies the morphology of a quadrotor based on the environmental entrances geometrical shape. The proposed method considers restricted entrances as a constraint in the NMPC and modifies the arm configuration of the MAV to provide a collision free path from the initial position to the desired goal, while passing through the entrance. To the authors' best knowledge, this work is the first to connect the in flight morphology with the characteristics of environmental shapes. Multiple simulation results depict the performance and efficiency of the proposed scheme in scenarios where the quadrotor is commanded to pass through restricted areas.


A New Algorithm for Equivalence of Cyclic Codes and Its Applications. Cyclic codes are among the most important families of codes in coding theory for both theoretical and practical reasons. Despite their prominence and intensive research on cyclic codes for over a half century, there are still open problems related to cyclic codes. In this work, we use recent results on the equivalence of cyclic codes to create a more efficient algorithm to partition cyclic codes by equivalence based on cyclotomic cosets. This algorithm is then implemented to carry out computer searches for both cyclic codes and quasi cyclic (QC) codes with good parameters. We also generalize these results to repeated root cases. We have found several new linear codes that are cyclic or QC as an application of the new approach, as well as more desirable constructions for linear codes with best known parameters. With the additional new codes obtained through standard constructions, we have found a total of 14 new linear codes.


Predictive Dynamic Scaling Multi Slice in Slice Connected Users for 5G System Resource Scheduling. Network slicing is an effective 5G concept for improved resource utilization and service scalability tailored to users (UEs) requirements. According to the standardization, 5G system should support UEs through specification of its heterogenous requirements such as, high data rates, traffic density, latency, reliability, UE density, system efficiency and service availability. These requirements are specified as Service Level Agreements (SLAs) between UEs and network operators resulting in increased interest to develop novel challenging mechanisms for improved interference free resource efficient performances. An emerging concept that enables such demanding SLA assurances is Open Radio Access Network (O RAN). In this paper, we study a novel resource scheduling problem for UE services conditioned on other services in network slicing. To improve system performance, we propose that UEs are connected across network slices to serve several applications. UEs of similar service classes (defined by SLAs) are grouped to form optimized slice in slice category(s) within network slice(s).We propose novel Predictive Dynamic Scaling Multi UE service specific System Resource Optimized Scheduling (DMUSO) algorithm(s). Multiobjective multi constraint optimization problems (MOP) are formed to learn the dynamic system resource allocation and throughput for UE services conditioned on new services entering the network slice. An epsilon constraint line search algorithm is presented to estimate UE service bandwidth. Using the theoretical models, DMUSO forms optimal slice in slice categories and estimates the maximum dynamic additional slice in slice categories, throughput served across network slices. Finally, compared to state of the art literatures, DMUSO guarantees UEs SLAs with 4.4 and 7.5 times performance gains


GPCO An Unsupervised Green Point Cloud Odometry Method. Visual odometry aims to track the incremental motion of an object using the information captured by visual sensors. In this work, we study the point cloud odometry problem, where only the point cloud scans obtained by the LiDAR (Light Detection And Ranging) are used to estimate object's motion trajectory. A lightweight point cloud odometry solution is proposed and named the green point cloud odometry (GPCO) method. GPCO is an unsupervised learning method that predicts object motion by matching features of consecutive point cloud scans. It consists of three steps. First, a geometry aware point sampling scheme is used to select discriminant points from the large point cloud. Second, the view is partitioned into four regions surrounding the object, and the PointHop method is used to extract point features. Third, point correspondences are established to estimate object motion between two consecutive scans. Experiments on the KITTI dataset are conducted to demonstrate the effectiveness of the GPCO method. It is observed that GPCO outperforms benchmarking deep learning methods in accuracy while it has a significantly smaller model size and less training time.


Hierarchical Orthogonal Factorization Sparse Least Squares Problems. In this work, we develop a fast hierarchical solver for solving large, sparse least squares problems. We build upon the algorithm, spaQR (sparsified QR), that was developed by the authors to solve large sparse linear systems. Our algorithm is built on top of a Nested Dissection based multifrontal QR approach. We use low rank approximations on the frontal matrices to sparsify the vertex separators at every level in the elimination tree. Using a two step sparsification scheme, we reduce the number of columns and maintain the ratio of rows to columns in each front without introducing any additional fill in. With this improvised scheme, we show that the runtime of the algorithm scales as mathcal O (M log N) and uses mathcal O (M) memory to store the factorization. This is achieved at the expense of a small and controllable approximation error. The end result is an approximate factorization of the matrix stored as a sequence of sparse orthogonal and upper triangular factors and hence easy to apply solve with a vector. Finally, we compare the performance of the spaQR algorithm in solving sparse least squares problems with direct multifrontal QR and CGLS iterative method with a standard diagonal preconditioner.


Slowdown of interpenetration of two counterpropagating plasma slab due to collective effects. The nonlinear evolution of electromagnetic instabilities driven by the interpenetration of two e ,e plasma clouds is explored using it ab initio kinetic plasma simulations. We show that the plasma clouds slow down due to both oblique and Weibel generated electromagnetic fields, which deflect the particle trajectories, transferring bulk forward momentum into transverse momentum and thermal velocity spread. This process causes the flow velocity v inst to decrease approximately by a factor of sqrt 1 3 in a time interval Delta t alpha B omega p sim c (v fl sqrt alpha B ) , where alpha B is the magnetic equipartition parameter determined by the non linear saturation of the instabilities, v fl is the initial flow speed, and omega p is the plasma frequency. For the alpha B measured in our simulations, Delta t alpha B is close to 10 times the instability growth time. We show that as long as the plasma slab length L v fl Delta t alpha B , the plasma flow is expected to slow down by a factor close to 1 sqrt 3 .


Distilling Object Detectors via Decoupled Features. Knowledge distillation is a widely used paradigm for inheriting information from a complicated teacher network to a compact student network and maintaining the strong performance. Different from image classification, object detectors are much more sophisticated with multiple loss functions in which features that semantic information rely on are tangled. In this paper, we point out that the information of features derived from regions excluding objects are also essential for distilling the student detector, which is usually ignored in existing approaches. In addition, we elucidate that features from different regions should be assigned with different importance during distillation. To this end, we present a novel distillation algorithm via decoupled features (DeFeat) for learning a better student detector. Specifically, two levels of decoupled features will be processed for embedding useful information into the student, i.e., decoupled features from neck and decoupled proposals from classification head. Extensive experiments on various detectors with different backbones show that the proposed DeFeat is able to surpass the state of the art distillation methods for object detection. For example, DeFeat improves ResNet50 based Faster R CNN from 37.4 to 40.9 mAP, and improves ResNet50 based RetinaNet from 36.5 to 39.7 mAP on COCO benchmark. Our implementation is available at https github.com ggjy DeFeat.pytorch.


Automating Speedrun Routing Overview and Vision. Speedrunning in general means to play a video game fast, i.e. using all means at one's disposal to achieve a given goal in the least amount of time possible. To do so, a speedrun must be planned in advance, or routed, as referred to by the community. This paper focuses on discovering challenges and defining models needed when trying to approach the problem of routing algorithmically. To do so, this paper is split in two parts. The first part provides an overview of relevant speedrunning literature, extracting vital information and formulating criticism. Important categorizations are pointed out and a nomenclature is built to support professional discussion. The second part of this paper then refers to the actual speedrun routing optimization problem. Different concepts of graph representations are presented and their potential is discussed. Visions both for problem modeling as well as solving are presented and assessed regarding suitability and expected challenges. Finally, a first assessment of the applicability of existing optimization methods to the defined problem is made, including metaheuristics EA and Deep Learning methods.


CodeNet A Large Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. Over the last several decades, software has been woven into the fabric of every aspect of our society. As software development surges and code infrastructure of enterprise applications ages, it is now more critical than ever to increase software development productivity and modernize legacy applications. Advances in deep learning and machine learning algorithms have enabled numerous breakthroughs, motivating researchers to leverage AI techniques to improve software development efficiency. Thus, the fast emerging research area of AI for Code has garnered new interest and gathered momentum. In this paper, we present a large scale dataset CodeNet, consisting of over 14 million code samples and about 500 million lines of code in 55 different programming languages, which is aimed at teaching AI to code. In addition to its large scale, CodeNet has a rich set of high quality annotations to benchmark and help accelerate research in AI techniques for a variety of critical coding tasks, including code similarity and classification, code translation between a large variety of programming languages, and code performance (runtime and memory) improvement techniques. Additionally, CodeNet provides sample input and output test sets for 98.5 of the code samples, which can be used as an oracle for determining code correctness and potentially guide reinforcement learning for code quality improvements. As a usability feature, we provide several pre processing tools in CodeNet to transform source code into representations that can be readily used as inputs into machine learning models. Results of code classification and code similarity experiments using the CodeNet dataset are provided as a reference. We hope that the scale, diversity and rich, high quality annotations of CodeNet will offer unprecedented research opportunities at the intersection of AI and Software Engineering.


An open source implementation of a phase field model for brittle fracture using Gridap in Julia. This article proposes an open source implementation of a phase field model for brittle fracture using a recently developed finite element toolbox, Gridap in Julia. The present work exploits the advantages of both the phase field model and Gridap toolbox for simulating fracture in brittle materials. On one hand, the use of the phase field model, which is a continuum approach and uses a diffuse representation of sharp cracks, enables the proposed implementation to overcome such well known drawbacks of the discrete approach for predicting complex crack paths as the need for re meshing, enrichment of finite element shape functions and an explicit tracking of the crack surfaces. On the other hand, the use of Gridap makes the proposed implementation very compact and user friendly that requires low memory usage, and provides a high degree of flexibility to the users in defining weak forms of partial differential equations. A test on a notched beam under symmetric three point bending and a set of tests on a notched beam with three holes under asymmetric three point bending is considered to demonstrate how the proposed Gridap based phase field Julia code can be used to simulate fracture in brittle materials.


Asynchronous Parallel Nonconvex Optimization Under the Polyak Lojasiewicz Condition. Communication delays and synchronization are major bottlenecks for parallel computing, and tolerating asynchrony is therefore crucial for accelerating parallel computation. Motivated by optimization problems that do not satisfy convexity assumptions, we present an asynchronous block coordinate descent algorithm for nonconvex optimization problems whose objective functions satisfy the Polyak Lojasiewicz condition. This condition is a generalization of strong convexity to nonconvex problems and requires neither convexity nor uniqueness of minimizers. Under only assumptions of mild smoothness of objective functions and bounded delays, we prove that a linear convergence rate is obtained. Numerical experiments for logistic regression problems are presented to illustrate the impact of asynchrony upon convergence.


Euler sums of generalized hyperharmonic numbers. In this paper, we mainly show that Euler sums of generalized hyperharmonic numbers can be expressed in terms of linear combinations of the classical Euler sums.


A negative solution of Kuznetsov's problem for varieties of bi Heyting algebras. We show that there exist (continuum many) varieties of bi Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting Brouwer logic mathsf HB that are topologically incomplete. This result provides further insight into the long standing open problem of Kuznetsov by yielding a negative solution of the reformulation of the problem from intermediate logics to extensions of mathsf HB .


Taxonomy of academic plagiarism methods. The article gives an overview of the plagiarism domain, with focus on academic plagiarism. The article defines plagiarism, explains the origin of the term, as well as plagiarism related terms. It identifies the extent of the plagiarism domain and then focuses on the plagiarism subdomain of text documents, for which it gives an overview of current classifications and taxonomies and then proposes a more comprehensive classification according to several criteria their origin and purpose, technical implementation, consequence, complexity of detection and according to the number of linguistic sources. The article suggests the new classification of academic plagiarism, describes sorts and methods of plagiarism, types and categories, approaches and phases of plagiarism detection, the classification of methods and algorithms for plagiarism detection. The title of the article explicitly targets the academic community, but it is sufficiently general and interdisciplinary, so it can be useful for many other professionals like software developers, linguists and librarians.


Low Rate Protograph Based LDPC Codes for Continuous Variable Quantum Key Distribution. Error correction plays a major role in the reconciliation of continuous variable quantum key distribution (CV QKD) and greatly affects the performance of the system. CV QKD requires error correction codes of extremely low rates and high reconciliation efficiencies. There are only very few code designs available in this ultra low rate regime. In this paper, we introduce a method for designing protograph based ultra low rate LDPC codes using differential evolution. By proposing type based protographs, a new way of representing low rate protograph based LDPC codes, we drastically reduce the complexity of the protograph optimization, which enables us to quickly design codes over a wide range of rates. We show that the codes resulting from our optimization outperform the codes from the literature both in regards to the threshold and in finite length performance, validated by Monte Carlo simulations, showing gains in the regime relevant for CV QKD.


Discriminating modelling approaches for Point in Time Economic Scenario Generation. We introduce the notion of Point in Time Economic Scenario Generation (PiT ESG) with a clear mathematical problem formulation to unify and compare economic scenario generation approaches conditional on forward looking market data. Such PiT ESGs should provide quicker and more flexible reactions to sudden economic changes than traditional ESGs calibrated solely to long periods of historical data. We specifically take as economic variable the S P500 Index with the VIX Index as forward looking market data to compare the nonparametric filtered historical simulation, GARCH model with joint likelihood estimation (parametric), Restricted Boltzmann Machine and the conditional Variational Autoencoder (Generative Networks) for their suitability as PiT ESG. Our evaluation consists of statistical tests for model fit and benchmarking the out of sample forecasting quality with a strategy backtest using model output as stop loss criterion. We find that both Generative Networks outperform the nonparametric and classic parametric model in our tests, but that the CVAE seems to be particularly well suited for our purposes yielding more robust performance and being computationally lighter.


HeunNet Extending ResNet using Heun's Methods. There is an analogy between the ResNet (Residual Network) architecture for deep neural networks and an Euler solver for an ODE. The transformation performed by each layer resembles an Euler step in solving an ODE. We consider the Heun Method, which involves a single predictor corrector cycle, and complete the analogy, building a predictor corrector variant of ResNet, which we call a HeunNet. Just as Heun's method is more accurate than Euler's, experiments show that HeunNet achieves high accuracy with low computational (both training and test) time compared to both vanilla recurrent neural networks and other ResNet variants.


Multi script Handwritten Digit Recognition Using Multi task Learning. Handwritten digit recognition is one of the extensively studied area in machine learning. Apart from the wider research on handwritten digit recognition on MNIST dataset, there are many other research works on various script recognition. However, it is not very common for multi script digit recognition which encourage the development of robust and multipurpose systems. Additionally working on multi script digit recognition enables multi task learning, considering the script classification as a related task for instance. It is evident that multi task learning improves model performance through inductive transfer using the information contained in related tasks. Therefore, in this study multi script handwritten digit recognition using multi task learning will be investigated. As a specific case of demonstrating the solution to the problem, Amharic handwritten character recognition will also be experimented. The handwritten digits of three scripts including Latin, Arabic and Kannada are studied to show that multi task models with reformulation of the individual tasks have shown promising results. In this study a novel way of using the individual tasks predictions was proposed to help classification performance and regularize the different loss for the purpose of the main task. This finding has outperformed the baseline and the conventional multi task learning models. More importantly, it avoided the need for weighting the different losses of the tasks, which is one of the challenges in multi task learning.


Trade When Opportunity Comes Price Movement Forecasting via Locality Aware Attention and Adaptive Refined Labeling. Price movement forecasting aims at predicting the future trends of financial assets based on the current market conditions and other relevant information. Recently, machine learning(ML) methods have become increasingly popular and achieved promising results for price movement forecasting in both academia and industry. Most existing ML solutions formulate the forecasting problem as a classification(to predict the direction) or a regression(to predict the return) problem in the entire set of training data. However, due to the extremely low signal to noise ratio and stochastic nature of financial data, good trading opportunities are extremely scarce. As a result, without careful selection of potentially profitable samples, such ML methods are prone to capture the patterns of noises instead of real signals. To address the above issues, we propose a novel framework LARA(Locality Aware Attention and Adaptive Refined Labeling), which contains the following three components 1)Locality aware attention automatically extracts the potentially profitable samples by attending to their label information in order to construct a more accurate classifier on these selected samples. 2)Adaptive refined labeling further iteratively refines the labels, alleviating the noise of samples. 3)Equipped with metric learning techniques, Locality aware attention enjoys task specific distance metrics and distributes attention on potentially profitable samples in a more effective way. To validate our method, we conduct comprehensive experiments on three real world financial markets ETFs, the China's A share stock market, and the cryptocurrency market. LARA achieves superior performance compared with the time series analysis methods and a set of machine learning based competitors on the Qlib platform. Extensive ablation studies and experiments demonstrate that LARA indeed captures more reliable trading opportunities.


On Local Minimizers of Quadratically Constrained Nonconvex Homogeneous Quadratic Optimization with at Most Two Constraints. We study nonconvex homogeneous quadratically constrained quadratic optimization with one or two constraints, denoted by (QQ1) and (QQ2), respectively. (QQ2) contains (QQ1), trust region subproblem (TRS) and ellipsoid regularized total least squares problem as special cases. It is known that there is a necessary and sufficient optimality condition for the global minimizer of (QQ2). In this paper, we first show that any local minimizer of (QQ1) is globally optimal. Unlike its special case (TRS) with at most one local non global minimizer, (QQ2) may have infinitely many local non global minimizers. At any local non global minimizer of (QQ2), both linearly independent constraint qualification and strict complementary condition hold, and the Hessian of the Lagrangian has exactly one negative eigenvalue. As a main contribution, we prove that the standard second order sufficient optimality condition for any strict local non global minimizer of (QQ2) remains necessary. Applications and the impossibility of further extension are discussed.


Severity and Mortality Prediction Models to Triage Indian COVID 19 Patients. As the second wave in India mitigates, COVID 19 has now infected about 29 million patients countrywide, leading to more than 350 thousand people dead. As the infections surged, the strain on the medical infrastructure in the country became apparent. While the country vaccinates its population, opening up the economy may lead to an increase in infection rates. In this scenario, it is essential to effectively utilize the limited hospital resources by an informed patient triaging system based on clinical parameters. Here, we present two interpretable machine learning models predicting the clinical outcomes, severity, and mortality, of the patients based on routine non invasive surveillance of blood parameters from one of the largest cohorts of Indian patients at the day of admission. Patient severity and mortality prediction models achieved 86.3 and 88.06 accuracy, respectively, with an AUC ROC of 0.91 and 0.92. We have integrated both the models in a user friendly web app calculator, https triage COVID 19.herokuapp.com , to showcase the potential deployment of such efforts at scale.


Optimal control problems governed by two dimensional convective Brinkman Forchheimer equations. The convective Brinkman Forchheimer (CBF) equations describe the motion of incompressible viscous fluid through a rigid, homogeneous, isotropic, porous medium. In this work, we consider some distributed optimal control problems like total energy minimization, minimization of enstrophy, etc governed by the two dimensional CBF equations with the absorption exponent r 1,2 and 3 . We show the existence of an optimal solution and the first order necessary conditions of optimality for such optimal control problems in terms of the Euler Lagrange system. Furthermore, for the case r 3 , we show the second order necessary and sufficient conditions of optimality. We also investigate an another control problem which is similar to that of the data assimilation problems in meteorology of obtaining unknown initial data, when the system under consideration is 2D CBF equations, using optimal control techniques.


Is the spiral effect psychological?. In 2017 a definition of spiral tilings was given, thereby answering a question posed by Gr "unbaum and Shephard in the late 1970s. The author had the pleasure to discuss the topic via e mail with Branko Gr "unbaum in his 87th year. During this correspondence the question arose whether a spiral structure (given a certain definition of it) could be recognized automatically or whether "to some extent, at least, the spiral effect is psychological", as Gr "unbaum and Shephard had conjectured in 1987 (see exercise section of chapter 9.5 in "Tilings and Patterns"). In this paper, an algorithm for automatic detection of such a tiling's spiral structure and its first implementation results will be discussed. Finally, the definitions for several types of spiral tilings are refined based on this investigation.


Abstract McKean Vlasov and HJB equations, their fractional versions and related forward backward systems on Riemannian manifolds. We introduce a class of abstract nonlinear fractional pseudo differential equations in Banach spaces that includes both the Mc Kean Vlasov type equations describing nonlinear Markov processes and the Hamilton Jacobi Bellman(HJB) Isaacs equation of stochastic control and games thus allowing for a unified analysis of these equations. This leads to an effective theory of coupled forward backward systems (forward McKean Vlasov evolution and backward HJB Isaacs evolution) that are central to the modern theory of mean field games.


NeuroLogic A esque Decoding Constrained Text Generation with Lookahead Heuristics. The dominant paradigm for neural text generation is left to right decoding from autoregressive language models. Constrained or controllable generation under complex lexical constraints, however, requires foresight to plan ahead feasible future paths. Drawing inspiration from the A search algorithm, we propose NeuroLogic A esque, a decoding algorithm that incorporates heuristic estimates of future cost. We develop efficient lookahead heuristics that are efficient for large scale language models, making our method a drop in replacement for common techniques such as beam search and top k sampling. To enable constrained generation, we build on NeuroLogic decoding (Lu et al., 2021), combining its flexibility in incorporating logical constraints with A esque estimates of future constraint satisfaction. Our approach outperforms competitive baselines on five generation tasks, and achieves new state of the art performance on table to text generation, constrained machine translation, and keyword constrained generation. The improvements are particularly notable on tasks that require complex constraint satisfaction or in few shot or zero shot settings. NeuroLogic A esque illustrates the power of decoding for improving and enabling new capabilities of large scale language models.


The A M " o bius function of a finite group. The M " o bius function of the subgroup lettice of a finite group G has been introduced by Hall and applied to investigate several different questions. We propose the following generalization. Let A be a subgroup of the automorphism group rm Aut (G) of a finite group G and denote by mathcal C A(G) the set of A conjugacy classes of subgroups of G. For H leq G let H A H a mid a in A be the element of mathcal C A(G) containing H. We may define an ordering in mathcal C A(G) in the following way H A leq K A if H a leq K for some a in A . We consider the M " o bius function mu A of the corresponding poset and analyse its properties and possible applications.


Coupling Microscopic Mobility and Mobile Network Emulation for Pedestrian Communication Applications. Network emulation is a well established method for demonstrating and testing real devices and mobile apps in a controlled scenario. This paper reports preliminary results for an open source extension of the CrowNet pedestrian communication framework. It enables the interaction between simulated and real devices using the emulation feature of OMNeT . The interaction is handled by several OMNeT modules that can be combined to match different use cases. Initial timing measurements have been conducted for an example application which creates decentralized pedestrian density maps based on pedestrian communication. The results indicate that the approach is feasible for scenarios with a limited number of pedestrians. This limitation is mainly due to the real time simulation requirements in coupled emulation.


Interpolation of rational scrolls. We show in many cases that there exist rational scrolls which are balanced, i.e. they contain the expected number of general linear spaces as rulings. For example, there exist balanced scrolls of degree mk 1 and fibre dimension k in P 2k 1 for all m geq 1 .


Introspective Robot Perception using Smoothed Predictions from Bayesian Neural Networks. This work focuses on improving uncertainty estimation in the field of object classification from RGB images and demonstrates its benefits in two robotic applications. We employ a (BNN), and evaluate two practical inference techniques to obtain better uncertainty estimates, namely Concrete Dropout (CDP) and Kronecker factored Laplace Approximation (LAP). We show a performance increase using more reliable uncertainty estimates as unary potentials within a Conditional Random Field (CRF), which is able to incorporate contextual information as well. Furthermore, the obtained uncertainties are exploited to achieve domain adaptation in a semi supervised manner, which requires less manual efforts in annotating data. We evaluate our approach on two public benchmark datasets that are relevant for robot perception tasks.


AdvPicker Effectively Leveraging Unlabeled Data via Adversarial Discriminator for Cross Lingual NER. Neural methods have been shown to achieve high performance in Named Entity Recognition (NER), but rely on costly high quality labeled data for training, which is not always available across languages. While previous works have shown that unlabeled data in a target language can be used to improve cross lingual model performance, we propose a novel adversarial approach (AdvPicker) to better leverage such data and further improve results. We design an adversarial learning framework in which an encoder learns entity domain knowledge from labeled source language data and better shared features are captured via adversarial training where a discriminator selects less language dependent target language data via similarity to the source language. Experimental results on standard benchmark datasets well demonstrate that the proposed method benefits strongly from this data selection process and outperforms existing state of the art methods without requiring any additional external resources (e.g., gazetteers or via machine translation). The code is available at https aka.ms AdvPicker


Distilling effective supervision for robust medical image segmentation with noisy labels. Despite the success of deep learning methods in medical image segmentation tasks, the human level performance relies on massive training data with high quality annotations, which are expensive and time consuming to collect. The fact is that there exist low quality annotations with label noise, which leads to suboptimal performance of learned models. Two prominent directions for segmentation learning with noisy labels include pixel wise noise robust training and image level noise robust training. In this work, we propose a novel framework to address segmenting with noisy labels by distilling effective supervision information from both pixel and image levels. In particular, we explicitly estimate the uncertainty of every pixel as pixel wise noise estimation, and propose pixel wise robust learning by using both the original labels and pseudo labels. Furthermore, we present an image level robust learning method to accommodate more information as the complements to pixel level learning. We conduct extensive experiments on both simulated and real world noisy datasets. The results demonstrate the advantageous performance of our method compared to state of the art baselines for medical image segmentation with noisy labels.


Stationary Density Estimation of It o Diffusions Using Deep Learning. In this paper, we consider the density estimation problem associated with the stationary measure of ergodic It o diffusions from a discrete time series that approximate the solutions of the stochastic differential equations. To take an advantage of the characterization of density function through the stationary solution of a parabolic type Fokker Planck PDE, we proceed as follows. First, we employ deep neural networks to approximate the drift and diffusion terms of the SDE by solving appropriate supervised learning tasks. Subsequently, we solve a steady state Fokker Plank equation associated with the estimated drift and diffusion coefficients with a neural network based least squares method. We establish the convergence of the proposed scheme under appropriate mathematical assumptions, accounting for the generalization errors induced by regressing the drift and diffusion coefficients, and the PDE solvers. This theoretical study relies on a recent perturbation theory of Markov chain result that shows a linear dependence of the density estimation to the error in estimating the drift term, and generalization error results of nonparametric regression and of PDE regression solution obtained with neural network models. The effectiveness of this method is reflected by numerical simulations of a two dimensional Student's t distribution and a 20 dimensional Langevin dynamics.


Anomalous convective flows carve pinnacles and scallops in melting ice. We report on the shape dynamics of ice suspended in cold fresh water and subject to the natural convective flows generated during melting. Experiments reveal shape motifs for increasing far field temperature Sharp pinnacles directed downward at low temperatures, scalloped waves for intermediate temperatures between 5 and 7 circ C, and upward pointing pinnacles at higher temperatures. Phase field simulations reproduce these morphologies, which are closely linked to the anomalous density temperature profile of liquid water. Boundary layer flows yield pinnacles that sharpen with accelerating growth of tip curvature while scallops emerge from a Kelvin Helmholtz like instability caused by counterflowing currents that roll up to form vortex arrays. By linking the molecular scale effects underlying water's density anomaly to the macro scale flows that imprint the surface, these results show that the morphology of melted ice is a sensitive indicator of ambient temperature.


CubeFlow Money Laundering Detection with Coupled Tensors. Money laundering (ML) is the behavior to conceal the source of money achieved by illegitimate activities, and always be a fast process involving frequent and chained transactions. How can we detect ML and fraudulent activity in large scale attributed transaction data (i.e. tensors)? Most existing methods detect dense blocks in a graph or a tensor, which do not consider the fact that money are frequently transferred through middle accounts. CubeFlow proposed in this paper is a scalable, flow based approach to spot fraud from a mass of transactions by modeling them as two coupled tensors and applying a novel multi attribute metric which can reveal the transfer chains accurately. Extensive experiments show CubeFlow outperforms state of the art baselines in ML behavior detection in both synthetic and real data.


Strongly isospectral hyperbolic 3 manifolds with nonisomorphic rational cohomology rings. This paper shows that one cannot "hear" the rational cohomology ring of a hyperbolic 3 manifold. More precisely, while it is well known that strongly isospectral manifolds have the same cohomology as vector spaces, we give an example of compact hyperbolic 3 manifolds that are strongly isospectral but have nonisomorphic rational cohomology rings. Along the way we implement a computer program which finds the nullity of the cup product map H 1(M mathbb Q ) wedge H 1(M mathbb Q ) rightarrow H 2(M mathbb Q ) for any aspherical space in terms of the presentation of the fundamental group.


A Study of the Generalizability of Self Supervised Representations. Recent advancements in self supervised learning (SSL) made it possible to learn generalizable visual representations from unlabeled data. The performance of Deep Learning models fine tuned on pretrained SSL representations is on par with models fine tuned on the state of the art supervised learning (SL) representations. Irrespective of the progress made in SSL, its generalizability has not been studied extensively. In this article, we perform a deeper analysis of the generalizability of pretrained SSL and SL representations by conducting a domain based study for transfer learning classification tasks. The representations are learned from the ImageNet source data, which are then fine tuned using two types of target datasets similar to the source dataset, and significantly different from the source dataset. We study generalizability of the SSL and SL based models via their prediction accuracy as well as prediction confidence. In addition to this, we analyze the attribution of the final convolutional layer of these models to understand how they reason about the semantic identity of the data. We show that the SSL representations are more generalizable as compared to the SL representations. We explain the generalizability of the SSL representations by investigating its invariance property, which is shown to be better than that observed in the SL representations.


Understand Slope Limiter Graphically. In this article, we illustrate how the concept of slope limiter can be interpreted graphically, i.e., how the slope of reconstructed piecewise linear function is limited by four bounding lines that connect cell averaged data and its neighboring cell averaged data. It is then conjectured that the same graphical rule can be generalized from uniform mesh to non uniform mesh, such that the high resolution total variance diminishing (TVD) region of slope limiter for non uniform meshes can be obtained.


Tracking the QUIC Spin Bit on Tofino. QUIC offers security and privacy for modern web traffic by closely integrating encryption into its transport functionality. In this process, it hides transport layer information often used for network monitoring, thus obsoleting traditional measurement concepts. To still enable passive RTT estimations, QUIC introduces a dedicated measurement bit the spin bit. While simple in its design, tracking the spin bit at line rate can become challenging for software based solutions. Dedicated hardware trackers are also unsuitable as the spin bit is not invariant and can change in the future. Thus, this paper investigates whether P4 programmable hardware, such as the Intel Tofino, can effectively track the spin bit at line rate. We find that the core functionality of the spin bit can be realized easily, and our prototype has an accuracy close to software based trackers. Our prototype further protects against faulty measurements caused by reordering and prepares the data according to the needs of network operators, e.g., by classifying samples into pre defined RTT classes. Still, distinct concepts in QUIC, such as its connection ID, are challenging with current hardware capabilities.


Kubernetes Autoscaling YoYo Attack Vulnerability and Mitigation. In recent years, we have witnessed a new kind of DDoS attack, the burst attack(Chai, 2013 Dahan, 2018), where the attacker launches periodic bursts of traffic overload on online targets. Recent work presents a new kind of Burst attack, the YoYo attack (Bremler Barr et al., 2017) that operates against the auto scaling mechanism of VMs in the cloud. The periodic bursts of traffic loads cause the auto scaling mechanism to oscillate between scale up and scale down phases. The auto scaling mechanism translates the flat DDoS attacks into Economic Denial of Sustainability attacks (EDoS), where the victim suffers from economic damage accrued by paying for extra resources required to process the traffic generated by the attacker. However, it was shown that YoYo attack also causes significant performance degradation since it takes time to scale up VMs. In this research, we analyze the resilience of Kubernetes auto scaling against YoYo attacks. As containerized cloud applications using Kubernetes gain popularity and replace VM based architecture in recent years. We present experimental results on Google Cloud Platform, showing that even though the scale up time of containers is much lower than VM, Kubernetes is still vulnerable to the YoYo attack since VMs are still involved. Finally, we evaluate ML models that can accurately detect YoYo attack on a Kubernetes cluster.


Existence of weak solutions for Porous medium equation with a divergence type of drift term. We consider degenerate porous medium equations with a divergence type of drift terms. We establish the existence of L q weak solutions (satisfying energy estimates or even further with moment and speed estimates in Wasserstein spaces), in case the drift term belongs to a sub scaling (including scaling invariant) class depending on q and m caused by the nonlinear structure of diffusion, which is a major difference compared to that of a linear case. It is noticeable that the classes of drift terms become wider if the drift term is divergence free. Similar conditions of gradients of drift terms are also provided to ensure the existence of such weak solutions. Uniqueness results follow under an additional condition on the gradients of the drift terms with the aid of methods developed in Wasserstein spaces. One of our main tools is so called the splitting method to construct a sequence of approximated solutions, which implies, bypassing to the limit, the existence of weak solutions satisfying not only an energy inequality but also moment and speed estimates. One of the crucial points in the construction is uniform H " o lder continuity up to initial time for homogeneous porous medium equations, which seems to be of independent interest. As an application, we improve a regularity result for solutions of a repulsive Keller Segel system of porous medium type.


Equilibria and condensates in Rossby and drift wave turbulence. We study the thermodynamic equilibrium spectra of the Charney Hasegawa Mima (CHM) equation in its weakly nonlinear limit. In this limit, the equation has three adiabatic invariants, in contrast to the two invariants of the 2D Euler or Gross Pitaevskii equations, which are examples for comparison. We explore how the third invariant considerably enriches the variety of equilibrium spectra that the CHM system can access. In particular we characterise the singular limits of these spectra in which condensates occur, i.e. a single Fourier mode (or pair of modes) accumulate(s) a macroscopic fraction of the total invariants. We show that these equilibrium condensates provide a simple explanation for the characteristic structures observed in CHM systems of finite size highly anisotropic zonal flows, large scale isotropic vortices, and vortices at small scale. We show how these condensates are associated with combinations of negative thermodynamic potentials (viz. temperature).


On the Locating Chromatic Number of Infinite Trees. We give sufficient conditions for an infinite tree to have finite locating chromatic number.


Spectral radius and a,b factors in graphs. An a,b factor of a graph G is a spanning subgraph H such that a leq d H (v) leq b for each v in V(G) . In this paper, we provide spectral conditions for the existence of an odd 1,b factor in a connected graph with minimum degree delta and the existence of an a,b factor in a graph, respectively. Our results generalize and improve some previous results on perfect matchings of graphs. For a 1 , we extend the result of O cite S.O to obtain an odd 1,b factor and further improve the result of Liu, Liu and Feng cite W.L for a b 1 . For n geq 3a b 1 , we confirm the conjecture of Cho, Hyun, O and Park cite E.C . We conclude some open problems in the end.


Using a market basket analysis in tourism studies. Understanding tourist visitation patterns is crucial for decision makers in order to create smart tourism industry. A growing body of tourism research uses geo location data in order to better understand tourism demand. In this paper, we present a new approach based on a market basket analysis. This approach uses geo location data shared by tourists on tourism platforms in order to bundle the range of available tourism services and understand which experiences are consumed together. The approach was tested on the case of Vienna, Austria. Based on our analyses we argue that the proposed approach has potential for use at the destination level and provides relevant information on tourism demand patterns important for smart tourism decision making.


A Long Term Investigation on the Effects of (Personalized) Gamification on Course Participation in a Gym. Gamification is frequently used to motivate people getting more physically active. However, most systems follow a one size fits all gamification approach, although past research has shown that interpersonal differences exist in the perception of gamification elements. Also, most studies investigating the effects of gamification are rather short, although it has been shown that gamification can suffer from novelty effects. In this paper, we address both these issues by investigating whether gamification elements, integrated into a fitness course booking system, have an effect on how frequently users participate in fitness courses in a gym (N 52) over a duration of 275 days (548 days including baseline). Also, the gamification elements that we implemented are tailored to specific Hexad user types, which allows us to investigate whether using suitable gamification elements leads to an increased course participation. Our results show that gamification increased the participation in fitness courses significantly and that users who received a suitable set of gamification elements according to their Hexad user type increased their participation significantly more than others.


Stochastic equations with time dependent singular drift. We prove unique weak solvability and Feller property for stochastic differential equations with drift in a large class of time dependent vector fields. This class contains, in particular, the critical Ladyzhenskaya Prodi Serrin class, the weak L d class as well as some vector fields that are not even in L 2 varepsilon rm loc , varepsilon 0 .


Global sensitivity analysis of rare event probabilities. By their very nature, rare event probabilities are expensive to compute they are also delicate to estimate as their value strongly depends on distributional assumptions on the model parameters. Hence, understanding the sensitivity of the computed rare event probabilities to the hyper parameters that define the distribution law of the model parameters is crucial. We show that by (i) accelerating the calculation of rare event probabilities through subset simulation and (ii) approximating the resulting probabilities through a polynomial chaos expansion, the global sensitivity of such problems can be analyzed through a double loop sampling approach. The resulting method is conceptually simple and computationally efficient its performance is illustrated on a subsurface flow application and on an analytical example.


On profinite polyadic groups. We study the structure of profinite polyadic groups and we prove that a polyadic topological group (G, f) is profinite, if and only if, it is compact, Hausdorff, totally disconnected. More generally, for a pseudo variety (or a formation) of finite groups mathfrak X , we define the class of mathfrak X polyadic groups, and we show that a polyadic group (G, f) is pro mathfrak X , if and only if, it is compact, Hausdorff, totally disconnected and for every open congruence R , the quotient (G R, f R) is mathfrak X polyadic.


Sexism Prediction in Spanish and English Tweets Using Monolingual and Multilingual BERT and Ensemble Models. The popularity of social media has created problems such as hate speech and sexism. The identification and classification of sexism in social media are very relevant tasks, as they would allow building a healthier social environment. Nevertheless, these tasks are considerably challenging. This work proposes a system to use multilingual and monolingual BERT and data points translation and ensemble strategies for sexism identification and classification in English and Spanish. It was conducted in the context of the sEXism Identification in Social neTworks shared 2021 (EXIST 2021) task, proposed by the Iberian Languages Evaluation Forum (IberLEF). The proposed system and its main components are described, and an in depth hyperparameters analysis is conducted. The main results observed were (i) the system obtained better results than the baseline model (multilingual BERT) (ii) ensemble models obtained better results than monolingual models and (iii) an ensemble model considering all individual models and the best standardized values obtained the best accuracies and F1 scores for both tasks. This work obtained first place in both tasks at EXIST, with the highest accuracies (0.780 for task 1 and 0.658 for task 2) and F1 scores (F1 binary of 0.780 for task 1 and F1 macro of 0.579 for task 2).


Designing Recommender Systems to Depolarize. Polarization is implicated in the erosion of democracy and the progression to violence, which makes the polarization properties of large algorithmic content selection systems (recommender systems) a matter of concern for peace and security. While algorithm driven social media does not seem to be a primary driver of polarization at the country level, it could be a useful intervention point in polarized societies. This paper examines algorithmic depolarization interventions with the goal of conflict transformation not suppressing or eliminating conflict but moving towards more constructive conflict. Algorithmic intervention is considered at three stages which content is available (moderation), how content is selected and personalized (ranking), and content presentation and controls (user interface). Empirical studies of online conflict suggest that the exposure diversity intervention proposed as an antidote to "filter bubbles" can be improved and can even worsen polarization under some conditions. Using civility metrics in conjunction with diversity in content selection may be more effective. However, diversity based interventions have not been tested at scale and may not work in the diverse and dynamic contexts of real platforms. Instead, intervening in platform polarization dynamics will likely require continuous monitoring of polarization metrics, such as the widely used "feeling thermometer." These metrics can be used to evaluate product features, and potentially engineered as algorithmic objectives. It may further prove necessary to include polarization measures in the objective functions of recommender algorithms to prevent optimization processes from creating conflict as a side effect.


Understanding the Interplay between Boundary Resources and Governance Practices in Influencing Ecosystem Value Co creation for Digital Platforms A Case From the Global South. Despite their potentially transformative impact, few studies have investigated how commercially driven digital platforms such as mobile money facilitate ecosystem value co creation in the global South. Consequently, using a boundary resources model and platform governance approaches, this paper aims to examine how a payment platform facilitates ecosystem value co creation with third party actors. An in depth qualitative inquiry was adopted for the study using an embedded single case design. The results show that although ecosystem value co creation was enabled by the introduction of boundary resources tools, some platform governance practices hindered some complementors from harnessing the affordances of the platforms. These constraints include lack of visibility of the boundary resources and transparency challenges in the acceptance criteria. We thus argue that platform generativity on its own is not sufficient to support ecosystem value co creation, but requires appropriate platform governance to deal with behavioural complexity of ecosystem actors by using optimal control mechanisms.


Technology Readiness Levels for Machine Learning Systems. The development and deployment of machine learning (ML) systems can be executed easily with modern tools, but the process is typically rushed and means to an end. The lack of diligence can lead to technical debt, scope creep and misaligned objectives, model misuse and failures, and expensive consequences. Engineering systems, on the other hand, follow well defined processes and testing standards to streamline development for high quality, reliable results. The extreme is spacecraft systems, where mission critical measures and robustness are ingrained in the development process. Drawing on experience in both spacecraft engineering and ML (from research through product across domain areas), we have developed a proven systems engineering approach for machine learning development and deployment. Our "Machine Learning Technology Readiness Levels" (MLTRL) framework defines a principled process to ensure robust, reliable, and responsible systems while being streamlined for ML workflows, including key distinctions from traditional software engineering. Even more, MLTRL defines a lingua franca for people across teams and organizations to work collaboratively on artificial intelligence and machine learning technologies. Here we describe the framework and elucidate it with several real world use cases of developing ML methods from basic research through productization and deployment, in areas such as medical diagnostics, consumer computer vision, satellite imagery, and particle physics.


Semi Empirical Objective Functions for MCMC Proposal Optimization. Current objective functions used for training neural MCMC proposal distributions implicitly rely on architectural restrictions to yield sensible optimization results, which hampers the development of highly expressive neural MCMC proposal architectures. In this work, we introduce and demonstrate a semi empirical procedure for determining approximate objective functions suitable for optimizing arbitrarily parameterized proposal distributions in MCMC methods. Our proposed Ab Initio objective functions consist of the weighted combination of functions following constraints on their global optima and transformation invariances that we argue should be upheld by general measures of MCMC efficiency for use in proposal optimization. Our experimental results demonstrate that Ab Initio objective functions maintain favorable performance and preferable optimization behavior compared to existing objective functions for neural MCMC optimization. We find that Ab Initio objective functions are sufficiently robust to enable the confident optimization of neural proposal distributions parameterized by deep generative networks extending beyond the regimes of traditional MCMC schemes


An Integrated Localisation, Motion Planning and Obstacle Avoidance Algorithm in Belief Space. As robots are being increasingly used in close proximity to humans and objects, it is imperative that robots operate safely and efficiently under real world conditions. Yet, the environment is seldom known perfectly. Noisy sensors and actuation errors compound to the errors introduced while estimating features of the environment. We present a novel approach (1) to incorporate these uncertainties for robot state estimation and (2) to compute the probability of collision pertaining to the estimated robot configurations. The expression for collision probability is obtained as an infinite series and we prove its convergence. An upper bound for the truncation error is also derived and the number of terms required is demonstrated by analyzing the convergence for different robot and obstacle configurations. We evaluate our approach using two simulation domains which use a roadmap based strategy to synthesize trajectories that satisfy collision probability bounds.


On the Phase Grouping Mechanism for a Magnetron Coherent Oscillation. CW magnetrons, developed for industrial heaters, but driven by an injection locking signal were suggested to power Superconducting RF (SRF) cavities due to higher efficiency and lower cost of generated RF power per Watt than traditionally used RF sources (klystrons, IOTs, solid state amplifiers). When the magnetrons are intended to feed Room Temperature (RT) cavities, the injected phase or frequency locking signal may provide required phase or frequency stability of the accelerating field. However, when the magnetron RF sources are intended to feed high Q factor SRF cavities, the sources must be controlled in phase and power in a wide bandwidth to compensate parasitic phase and amplitude modulations caused by microphonics. In dependence on parameters of magnetron and the injection locking signal one can choose regime most suitable for feeding SRF cavities, enabling magnetron almost coherent oscillation at the wide bandwidth of control. A novel approach considering magnetrons as quasi coherent or coherent RF generators enables choosing the tube parameters and operation most suitable for various SRF accelerators.


Criteria for Poisson process convergence with applications to inhomogeneous Poisson Voronoi tessellations. This article employs the relation between probabilities of two consecutive values of a Poisson random variable to derive conditions for the weak convergence of point processes to a Poisson process. As applications, we consider the starting points of k runs in a sequence of Bernoulli random variables and point processes constructed using inradii and circumscribed radii of inhomogeneous Poisson Voronoi tessellations.


Finite Free Cumulants Multiplicative Convolutions, Genus Expansion and Infinitesimal Distributions. Given two polynomials p(x), q(x) of degree d , we give a combinatorial formula for the finite free cumulants of p(x) boxtimes d q(x) . We show that this formula admits a topological expansion in terms of non crossing multi annular permutations on surfaces of different genera. This topological expansion, on the one hand, deepens the connection between the theories of finite free probability and free probability, and in particular proves that boxtimes d converges to boxtimes as d goes to infinity. On the other hand, borrowing tools from the theory of second order freeness, we use our expansion to study the infinitesimal distribution of certain families of polynomials which include Hermite and Laguerre, and draw some connections with the theory of infinitesimal distributions for real random matrices. Finally, building off our results we give a new short and conceptual proof of a recent result Steinerberger (2020), Hoskins and Kabluchko (2020) that connects root distributions of polynomial derivatives with free fractional convolution powers.


Meta control of social learning strategies. Social learning, copying other's behavior without actual experience, offers a cost effective means of knowledge acquisition. However, it raises the fundamental question of which individuals have reliable information successful individuals versus the majority. The former and the latter are known respectively as success based and conformist social learning strategies. We show here that while the success based strategy fully exploits the benign environment of low uncertainly, it fails in uncertain environments. On the other hand, the conformist strategy can effectively mitigate this adverse effect. Based on these findings, we hypothesized that meta control of individual and social learning strategies provides effective and sample efficient learning in volatile and uncertain environments. Simulations on a set of environments with various levels of volatility and uncertainty confirmed our hypothesis. The results imply that meta control of social learning affords agents the leverage to resolve environmental uncertainty with minimal exploration cost, by exploiting others' learning as an external knowledge base.


Relative order and spectrum in free and related groups. In this paper, we consider a natural generalization of the concept of order of an element in a group an element g in G is said to have order k in a subgroup H of G ( resp wrt a coset Hu ) if k is the first strictly positive integer such that g k in H ( resp g k in Hu ). We study this notion and its algorithmic properties in the realm of free groups and some related families. Both positive and negative (algorithmic) results emerge in this setting. On the positive side, among other results, we prove that the order of elements, the set of orders (called spectrum), and the set of preorders ( ie the set of elements of a given order) wrt finitely generated subgroups are always computable in free and free times free abelian groups. On the negative side, we provide examples of groups and subgroups having essentially any subset of natural numbers as relative spectrum in particular, non recursive and even non recursively enumerable sets of natural numbers. Also, we take advantage of Mikhailova's construction to see that the spectrum membership problem is unsolvable for direct products of nonabelian free groups.


Blockchain Assisted Decentralized Federated Learning (BLADE FL) Performance Analysis and Resource Allocation. Federated learning (FL), as a distributed machine learning paradigm, promotes personal privacy by local data processing at each client. However, relying on a centralized server for model aggregation, standard FL is vulnerable to server malfunctions, untrustworthy server, and external attacks. To address this issue, we propose a decentralized FL framework by integrating blockchain into FL, namely, blockchain assisted decentralized federated learning (BLADE FL). In a round of the proposed BLADE FL, each client broadcasts the trained model to other clients, aggregates its own model with received ones, and then competes to generate a block before its local training of the next round. We evaluate the learning performance of BLADE FL, and develop an upper bound on the global loss function. Then we verify that this bound is convex with respect to the number of overall aggregation rounds K, and optimize the computing resource allocation for minimizing the upper bound. We also note that there is a critical problem of training deficiency, caused by lazy clients who plagiarize others' trained models and add artificial noises to disguise their cheating behaviors. Focusing on this problem, we explore the impact of lazy clients on the learning performance of BLADE FL, and characterize the relationship among the optimal K, the learning parameters, and the proportion of lazy clients. Based on MNIST and Fashion MNIST datasets, we show that the experimental results are consistent with the analytical ones. To be specific, the gap between the developed upper bound and experimental results is lower than 5 , and the optimized K based on the upper bound can effectively minimize the loss function.


Pricing Asian Options with Correlators. We derive a series expansion by Hermite polynomials for the price of an arithmetic Asian option. This series requires the computation of moments and correlators of the underlying price process, but for a polynomial jump diffusion, these are given in closed form, hence no numerical simulation is required to evaluate the series. This allows, for example, for the explicit computation of Greeks. The weight function defining the Hermite polynomials is a Gaussian density with scale b . We find that the rate of convergence for the series depends on b , for which we prove a lower bound to guarantee convergence. Numerical examples show that the series expansion is accurate but unstable for initial values of the underlying process far from zero, mainly due to rounding errors.


Local Calibration Metrics and Recalibration. Probabilistic classifiers output confidence scores along with their predictions, and these confidence scores should be calibrated, i.e., they should reflect the reliability of the prediction. Confidence scores that minimize standard metrics such as the expected calibration error (ECE) accurately measure the reliability on average across the entire population. However, it is in general impossible to measure the reliability of an individual prediction. In this work, we propose the local calibration error (LCE) to span the gap between average and individual reliability. For each individual prediction, the LCE measures the average reliability of a set of similar predictions, where similarity is quantified by a kernel function on a pretrained feature space and by a binning scheme over predicted model confidences. We show theoretically that the LCE can be estimated sample efficiently from data, and empirically find that it reveals miscalibration modes that are more fine grained than the ECE can detect. Our key result is a novel local recalibration method LoRe, to improve confidence scores for individual predictions and decrease the LCE. Experimentally, we show that our recalibration method produces more accurate confidence scores, which improves downstream fairness and decision making on classification tasks with both image and tabular data.


cushLEPOR customising hLEPOR metric using Optuna for higher agreement with human judgments or pre trained language model LaBSE. Human evaluation has always been expensive while researchers struggle to trust the automatic metrics. To address this, we propose to customise traditional metrics by taking advantages of the pre trained language models (PLMs) and the limited available human labelled scores. We first re introduce the hLEPOR metric factors, followed by the Python version we developed (ported) which achieved the automatic tuning of the weighting parameters in hLEPOR metric. Then we present the customised hLEPOR (cushLEPOR) which uses Optuna hyper parameter optimisation framework to fine tune hLEPOR weighting parameters towards better agreement to pre trained language models (using LaBSE) regarding the exact MT language pairs that cushLEPOR is deployed to. We also optimise cushLEPOR towards professional human evaluation data based on MQM and pSQM framework on English German and Chinese English language pairs. The experimental investigations show cushLEPOR boosts hLEPOR performances towards better agreements to PLMs like LaBSE with much lower cost, and better agreements to human evaluations including MQM and pSQM scores, and yields much better performances than BLEU (data available at url https github.com poethan cushLEPOR ). Official results show that our submissions win three language pairs including textbf English German and textbf Chinese English on textit News domain via cushLEPOR(LM) and textbf English Russian on textit TED domain via hLEPOR.


Enabling hyper differential sensitivity analysis for ill posed inverse problems. Inverse problems constrained by partial differential equations (PDEs) play a critical role in model development and calibration. In many applications, there are multiple uncertain parameters in a model that must be estimated. However, high dimensionality of the parameters and computational complexity of the PDE solves make such problems challenging. A common approach is to reduce the dimension by fixing some parameters (which we will call auxiliary parameters) to a best estimate and use techniques from PDE constrained optimization to estimate the other parameters. In this article, hyper differential sensitivity analysis (HDSA) is used to assess the sensitivity of the solution of the PDE constrained optimization problem to changes in the auxiliary parameters. Foundational assumptions for HDSA require satisfaction of the optimality conditions which are not always practically feasible as a result of ill posedness in the inverse problem. We introduce novel theoretical and computational approaches to justify and enable HDSA for ill posed inverse problems by projecting the sensitivities on likelihood informed subspaces and defining a posteriori updates. Our proposed framework is demonstrated on a nonlinear multi physics inverse problem motivated by estimation of spatially heterogenous material properties in the presence of spatially distributed parametric modeling uncertainties.


Mensurae Universales Magnitudinum ac Temporum by Adam Adamandy Kocha 'nski Latin text with annotated English translation. Annotated parallel text in Latin and English of the paper of Adam Adamandy Kocha 'nski "Mensurae universales magnitudinum ac temporum", Acta Eruditorum, p. 259 266, May 1687, in which he presents some ideas of how to establish universal measure of length and time. The Latin text closely follows the original text published in Acra Eruditorum. Punctuation, capitalization, and mathematical notation have been preserved. The translation is as faithful as possible, often literal, and it is mainly intended to be of help to those who wish to study the original Latin text. Footnotes and figures in the appendix have been added by the translator.


Hyperedge Prediction using Tensor Eigenvalue Decomposition. Link prediction in graphs is studied by modeling the dyadic interactions among two nodes. The relationships can be more complex than simple dyadic interactions and could require the user to model super dyadic associations among nodes. Such interactions can be modeled using a hypergraph, which is a generalization of a graph where a hyperedge can connect more than two nodes. In this work, we consider the problem of hyperedge prediction in a k uniform hypergraph. We utilize the tensor based representation of hypergraphs and propose a novel interpretation of the tensor eigenvectors. This is further used to propose a hyperedge prediction algorithm. The proposed algorithm utilizes the textit Fiedler eigenvector computed using tensor eigenvalue decomposition of hypergraph Laplacian. The textit Fiedler eigenvector is used to evaluate the construction cost of new hyperedges, which is further utilized to determine the most probable hyperedges to be constructed. The functioning and efficacy of the proposed method are illustrated using some example hypergraphs and a few real datasets. The code for the proposed method is available on https github.com d maurya hypred tensorEVD


Compatibility, embedding and regularization of non local random walks on graphs. Several variants of the graph Laplacian have been introduced to model non local diffusion processes, which allow a random walker to textquotedblleft jump textquotedblright to non neighborhood nodes, most notably the transformed path graph Laplacians and the fractional graph Laplacian. From a rigorous point of view, this new dynamics is made possible by having replaced the original graph G with a weighted complete graph G' on the same node set, that depends on G and wherein the presence of new edges allows a direct passage between nodes that were not neighbors in G . We show that, in general, the graph G' is not compatible with the dynamics characterizing the original model graph G the random walks on G' subjected to move on the edges of G are not stochastically equivalent, in the wide sense, to the random walks on G . From a purely analytical point of view, the incompatibility of G' with G means that the normalized graph hat G can not be embedded into the normalized graph hat G ' . Eventually, we provide a regularization method to guarantee such compatibility and preserving at the same time all the nice properties granted by G' .


Variable Reduction For Quadratic Unconstrained Binary Optimization. Quadratic Unconstrained Binary Optimization models are useful for solving a diverse range of optimization problems. Constraints can be added by incorporating quadratic penalty terms into the objective, often with the introduction of slack variables needed for conversion of inequalities. This transformation can lead to a significant increase in the size and density of the problem. Herein, we propose an efficient approach for recasting inequality constraints that reduces the number of linear and quadratic variables. Experimental results illustrate the efficacy.


On chain recurrence classes of endomorphisms of mathbb P k . We prove that the minimal chain recurrence classes of a holomorphic endomorphism of mathbb P k have finitely many connected components. We also obtain results on arbitrary classes. These strong constraints on the topological dynamics in the phase space are all deduced from the associated action on a space of currents.


Presenting the Sierpinski Gasket in Various Categories of Metric Spaces. This paper studies presentations of the Sierpinski gasket as a final coalgebra for functors on several categories of metric spaces with additional designated points. The three categories which we study differ on their morphisms one uses short (non expanding) maps, a second uses Lipschitz maps, and a third uses continuous maps. The functor in all cases is very similar to what we find in the standard presentation of the gasket as an attractor. We prove that the Sierpinski gasket itself is the final coalgebra of a naturally occurring functor in the continuous setting. In the short setting, the final coalgebra exists but it is better described as the completion of the initial algebra, and this is not isomorphic to the Sierpinski gasket. In the Lipschitz setting, the final coalgebra does not exist. We determine the initial algebras in all three settings as well.


On Convergence of Random Walks on Moduli Space. The purpose of this note is to establish convergence of random walks on the moduli space of Abelian differentials on compact Riemann surfaces in two different modes convergence of the n step distributions from almost every starting point in an affine invariant submanifold towards the associated affine invariant measure, and almost sure pathwise equidistribution towards the affine invariant measure on the SL 2( mathbb R ) orbit closure of an arbitrary starting point. These are analogues to previous results for random walks on homogeneous spaces.


A positive fraction Erdos Szekeres theorem and its applications. A famous theorem of Erdos and Szekeres states that any sequence of n distinct real numbers contains a monotone subsequence of length at least sqrt n . Here, we prove a positive fraction version of this theorem. For n (k 1) 2 , any sequence A of n distinct real numbers contains a collection of subsets A 1, ldots, A k subset A , appearing sequentially, all of size s Omega(n k 2) , such that every subsequence (a 1, ldots, a k) , with a i in A i , is increasing, or every such subsequence is decreasing. The subsequence S (A 1, ldots, A k) described above is called block monotone of depth k and block size s . Our theorem is asymptotically best possible and follows from a more general Ramsey type result for monotone paths, which we find of independent interest. We also show that for any positive integer k , any finite sequence of distinct real numbers can be partitioned into O(k 2 log k) block monotone subsequences of depth at least k , upon deleting at most (k 1) 2 entries. We apply our results to mutually avoiding planar point sets and biarc diagrams in graph drawing.


Decomposition algorithms for tensors and polynomials. We give algorithms to compute decompositions of a given polynomial, or more generally mixed tensor, as sum of rank one tensors, and to establish whether such a decomposition is unique. In particular, we present methods to compute the decomposition of a general plane quintic in seven powers, and of a general space cubic in five powers the two decompositions of a general plane sextic of rank nine, and the five decompositions of a general plane septic. Furthermore, we give Magma implementations of all our algorithms.


Recursive Least Squares Based Refinement Network for the Rollout Trajectory Prediction Methods. Trajectory prediction plays a pivotal role in the field of intelligent vehicles. It currently suffers from several challenges,e.g., accumulative error in rollout process and weak adaptability in various scenarios. This paper proposes a parametric learning recursive least squares (RLS) estimation based on deep neural network for trajectory prediction. We design a flexible plug in module which can be readily implanted into rollout approaches. Goal points are proposed to capture the long term prediction stability from the global perspective. We carried experiments out on the NGSIM dataset. The promising results indicate that our method could improve rollout trajectory prediction methods effectively.


Finite element stress analysis of a combined stacker reclaimer machine A design audit report. Design audit or design verification is an important step in engineering of heavy mobile materials handling equipment. Usually, the costumers employ third parties for audition of contractors engineering. Here a part of design audit of a combined stacker reclaimer machine is reported. This equipment is designed and constructed by a local supplier in Iran for the iron ore pelletizing plants at GOHARZAMIN Iron Ore Company. The structure plays an important role in mobile material handling machines such as Stackers and Reclaimers and its failure and damage may cause considerable financial and human life losses. In this report the undercarriage of stacker reclaimer machine including gantry and traveling system are numerically analyzed. The Finite Element Method is used for stress prediction under the critical operating loads according to the design standards. The critical areas of the undercarriage are identified and it is observed that, the maximum stress is in the safe range.


Increasing Liquid State Machine Performance with Edge of Chaos Dynamics Organized by Astrocyte modulated Plasticity. The liquid state machine (LSM) combines low training complexity and biological plausibility, which has made it an attractive machine learning framework for edge and neuromorphic computing paradigms. Originally proposed as a model of brain computation, the LSM tunes its internal weights without backpropagation of gradients, which results in lower performance compared to multi layer neural networks. Recent findings in neuroscience suggest that astrocytes, a long neglected non neuronal brain cell, modulate synaptic plasticity and brain dynamics, tuning brain networks to the vicinity of the computationally optimal critical phase transition between order and chaos. Inspired by this disruptive understanding of how brain networks self tune, we propose the neuron astrocyte liquid state machine (NALSM) that addresses under performance through self organized near critical dynamics. Similar to its biological counterpart, the astrocyte model integrates neuronal activity and provides global feedback to spike timing dependent plasticity (STDP), which self organizes NALSM dynamics around a critical branching factor that is associated with the edge of chaos. We demonstrate that NALSM achieves state of the art accuracy versus comparable LSM methods, without the need for data specific hand tuning. With a top accuracy of 97.61 on MNIST, 97.51 on N MNIST, and 85.84 on Fashion MNIST, NALSM achieved comparable performance to current fully connected multi layer spiking neural networks trained via backpropagation. Our findings suggest that the further development of brain inspired machine learning methods has the potential to reach the performance of deep learning, with the added benefits of supporting robust and energy efficient neuromorphic computing on the edge.


Neural Network Based Model Predictive Control for an Autonomous Vehicle. We study learning based controllers as a replacement for model predictive controllers (MPC) for the control of autonomous vehicles. We concentrate for the experiments on the simple yet representative bicycle model. We compare training by supervised learning and by reinforcement learning. We also discuss the neural net architectures so as to obtain small nets with the best performances. This work aims at producing controllers that can both be embedded on real time platforms and amenable to verification by formal methods techniques.


Characterising Communities of Twitter Users Who Posted Vaccines Related Tweets by Information Sources. Objective We formed community structure based on web page credibility and we measured the types of information for characterizing communities of tweeter users who posted about tweets related to vaccine. Methods We performed the experiment on only Twitter data (tweets) regarding vaccine. The duration of data collection was between 17 January 2017 and 14 March 2018. We formulated cluster based on the information on its contents and sources it resides (i.e., website domains). We only focused the topics which were related to vaccine. To detect the structure and network of community, we applied Louvain community algorithm along with Random walks called Info map method over vaccines related tweeter user. We defined the communities based on various measures derived from the information shared by Twitter users. Representations and visualizations of the communities based on these derived measures help the public health organization to make understand the possible cause of the rejecting the safety and efficacy of vaccines. Results To analyse people perception over social media, we downloaded 6,591,566 tweets. We distinguished 1,860,662 users who were posting related to vaccine. We applied Louvain community detection algorithm along with DMM values and we found 192 communities. It also produced higher alignment values as long as the number of topics were low. With the increase of topics number, the alignment becomes lower. The total tweets were divided into two parts based on their characterizes. The first category contained 163,148 (57.16 ) tweets which were based as evidence and advocacy and the second category contained 6244 (2.19 ) tweets which were based on the experiences and opinion. We observed 4548 users were posting about experiential tweets about vaccine and of them 3449 users (75.84 ) were posted evidence and advocacy related.


Lagrangian and Eulerian accelerations in turbulent stratified shear flows. The Lagrangian (LA) and Eulerian Acceleration (EA) properties of fluid particles in homogeneous turbulence with uniform shear and uniform stable stratification are studied using direct numerical simulations. The Richardson number is varied from Ri 0 , corresponding to unstratified shear flow, to Ri 1 , corresponding to strongly stratified shear flow. The probability density functions (pdfs) of both LA and EA have a stretched exponential shape and they show a strong and similar influence on the Richardson number. The extreme values of the EA are stronger than those observed for the LA. Geometrical statistics explain that the magnitude of the EA is larger than its Lagrangian counterpart due to the mutual cancellation of the Eulerian and convective acceleration, as both vectors statistically show an anti parallel preference. A wavelet based scale dependent decomposition of the LA and EA is performed. The tails of the acceleration pdfs grow heavier for smaller scales of turbulent motion. Hence the flatness increases with decreasing scale, indicating stronger intermittency at smaller scales. The joint pdfs of the LA and EA indicate a trend to stronger correlations with increasing Richardson number and at larger scales of the turbulent motion. A consideration of the terms in the Navier Stokes equation shows that the LA is mainly determined by the pressure gradient term, while the EA is dominated by the nonlinear convection term.


PRIMA General and Precise Neural Network Certification via Scalable Convex Hull Approximations. Formal verification of neural networks is critical for their safe adoption in real world applications. However, designing a precise and scalable verifier which can handle different activation functions, realistic network architectures and relevant specifications remains an open and difficult challenge. In this paper, we take a major step forward in addressing this challenge and present a new verification framework, called PRIMA. PRIMA is both (i) general it handles any non linear activation function, and (ii) precise it computes precise convex abstractions involving multiple neurons via novel convex hull approximation algorithms that leverage concepts from computational geometry. The algorithms have polynomial complexity, yield fewer constraints, and minimize precision loss. We evaluate the effectiveness of PRIMA on a variety of challenging tasks from prior work. Our results show that PRIMA is significantly more precise than the state of the art, verifying robustness to input perturbations for up to 20 , 30 , and 34 more images than existing work on ReLU , Sigmoid , and Tanh based networks, respectively. Further, PRIMA enables, for the first time, the precise verification of a realistic neural network for autonomous driving within a few minutes.


A new and simple condition for the global asymptotic stability of a malware spread model on WSNs. In a very recent work J. D. Hern 'andez Guill 'en, A. Mart 'in del Rey, A mathematical model for malware spread on WSNs with population dynamics, Physica A Statistical Mechanics and its Applications 545(2020) 123609 , a novel theoretical model for the spread of malicious code on wireless sensor networks was introduced and analyzed. However, the global asymptotic stability (GAS) of the disease endemic equilibrium (DEE) point was only resolved partially under technical hypotheses that are not only difficult to be verified but also restrict the space of feasible parameters for the model. In the present work, we use a simple approach to establish the complete GAS of the DEE point without the technical hypotheses proposed in the benchmark work. This approach is based on a suitable family of Lyapunov functions in combination with characteristics of Volterra Lyapunov stable matrices. Consequently, we obtain a simple and easily verified condition for the DEE point to be globally asymptotically stable. This result provides an important improvement for the results constructed in the benchmark work. In addition, the theoretical findings are supported by numerical and illustrative examples, which show that the numerical results are consistent with the theoretical ones.


MIIDL a Python package for microbial biomarkers identification powered by interpretable deep learning. Detecting microbial biomarkers used to predict disease phenotypes and clinical outcomes is crucial for disease early stage screening and diagnosis. Most methods for biomarker identification are linear based, which is very limited as biological processes are rarely fully linear. The introduction of machine learning to this field tends to bring a promising solution. However, identifying microbial biomarkers in an interpretable, data driven and robust manner remains challenging. We present MIIDL, a Python package for the identification of microbial biomarkers based on interpretable deep learning. MIIDL innovatively applies convolutional neural networks, a variety of interpretability algorithms and plenty of pre processing methods to provide a one stop and robust pipeline for microbial biomarkers identification from high dimensional and sparse data sets.