Rihanna versus Bollywood Twitter Influencers and the Indian Farmers' Protest. A tweet from popular entertainer and businesswoman, Rihanna, bringing attention to farmers' protests around Delhi set off heightened activity on Indian social media. An immediate consequence was the weighing in by Indian politicians, entertainers, media and other influencers on the issue. In this paper, we use data from Twitter and an archive of debunked misinformation stories to understand some of the patterns around influencer engagement with a political issue. We found that more followed influencers were less likely to come out in support of the tweet. We also find that the later engagement of major influencers on the side of the government's position shows suggestion's of collusion. Irrespective of their position on the issue, influencers who engaged saw a significant rise in their following after their tweets. While a number of tweets thanked Rihanna for raising awareness on the issue, she was systematically trolled on the grounds of her gender, race, nationality and religion. Finally, we observed how misinformation existing prior to the tweet set up the grounds for alternative narratives that emerged.


Interactive decoding of words from visual speech recognition models. This work describes an interactive decoding method to improve the performance of visual speech recognition systems using user input to compensate for the inherent ambiguity of the task. Unlike most phoneme to word decoding pipelines, which produce phonemes and feed these through a finite state transducer, our method instead expands words in lockstep, facilitating the insertion of interaction points at each word position. Interaction points enable us to solicit input during decoding, allowing users to interactively direct the decoding process. We simulate the behavior of user input using an oracle to give an automated evaluation, and show promise for the use of this method for text input.


Adapting Software Architectures to Machine Learning Challenges. Unique developmental and operational characteristics of ML components as well as their inherent uncertainty demand robust engineering principles are used to ensure their quality. We aim to determine how software systems can be (re ) architected to enable robust integration of ML components. Towards this goal, we conducted a mixed methods empirical study consisting of (i) a systematic literature review to identify the challenges and their solutions in software architecture for ML, (ii) semi structured interviews with practitioners to qualitatively complement the initial findings and (iii) a survey to quantitatively validate the challenges and their solutions. We compiled and validated twenty challenges and solutions for (re ) architecting systems with ML components. Our results indicate, for example, that traditional software architecture challenges (e.g., component coupling) also play an important role when using ML components along with new ML specific challenges (e.g., the need for continuous retraining). Moreover, the results indicate that ML heightened decision drivers, such as privacy, play a marginal role compared to traditional decision drivers, such as scalability. Using the survey we were able to establish a link between architectural solutions and software quality attributes, which enabled us to provide twenty architectural tactics used to satisfy individual quality requirements of systems with ML components. Altogether, the results of the study can be interpreted as an empirical framework that supports the process of (re ) architecting software systems with ML components.


Is the User Enjoying the Conversation? A Case Study on the Impact on the Reward Function. The impact of user satisfaction in policy learning task oriented dialogue systems has long been a subject of research interest. Most current models for estimating the user satisfaction either (i) treat out of context short texts, such as product reviews, or (ii) rely on turn features instead of on distributed semantic representations. In this work we adopt deep neural networks that use distributed semantic representation learning for estimating the user satisfaction in conversations. We evaluate the impact of modelling context length in these networks. Moreover, we show that the proposed hierarchical network outperforms state of the art quality estimators. Furthermore, we show that applying these networks to infer the reward function in a Partial Observable Markov Decision Process (POMDP) yields to a great improvement in the task success rate.


Learning a Sequential Policy of Efficient Actions for Tangled Prone Parts in Robotic Bin Picking. This paper introduces an autonomous bin picking system for cable harnesses an extremely challenging object in bin picking task. Currently cable harnesses are unsuitable to be imported to automated production due to their length and elusive structures. Considering the task of robotic bin picking where the harnesses are heavily entangled, it is challenging for a robot to pick harnesses up one by one using conventional bin picking methods. In this paper, we present an efficient approach to overcoming the difficulties when dealing with entangled prone parts. We develop several motion schemes for the robot to pick up a single harness avoiding any entanglement. Moreover, we proposed a learning based bin picking policy to select both grasps and designed motion schemes in a reasonable sequence. Our method is unique due to the novelty for sufficiently solving the entanglement problem in picking cluttered cable harnesses. We demonstrate our approach on a set of real world experiments, during which the proposed method is capable to perform the sequential bin picking task with both effectiveness and accuracy under a variety of cluttered scenarios.


Decentralized Circle Formation Control for Fish like Robots in the Real world via Reinforcement Learning. In this paper, the circle formation control problem is addressed for a group of cooperative underactuated fish like robots involving unknown nonlinear dynamics and disturbances. Based on the reinforcement learning and cognitive consistency theory, we propose a decentralized controller without the knowledge of the dynamics of the fish like robots. The proposed controller can be transferred from simulation to reality. It is only trained in our established simulation environment, and the trained controller can be deployed to real robots without any manual tuning. Simulation results confirm that the proposed model free robust formation control method is scalable with respect to the group size of the robots and outperforms other representative RL algorithms. Several experiments in the real world verify the effectiveness of our RL based approach for circle formation control.


IETI DP methods for discontinuous Galerkin multi patch Isogeometric Analysis with T junctions. We study Dual Primal Isogeometric Tearing and Interconnecting (IETI DP) solvers for non conforming multi patch discretizations of a generalized Poisson problem. We realize the coupling between the patches using a symmetric interior penalty discontinuous Galerkin (SIPG) approach. Previously, we have assumed that the interfaces between patches always consist of whole edges. In this paper, we drop this requirement and allow T junctions. This extension is vital for the consideration of sliding interfaces, for example between the rotor and the stator of an electrical motor. One critical part for the handling of T junctions in IETI DP solvers is the choice of the primal degrees of freedom. We propose to add all basis functions that are non zero at any of the vertices to the primal space. Since there are several such basis functions at any T junction, we call this concept ''fat vertices''. For this choice, we show a condition number bound that coincides with the bound for the conforming cas


Prioritized training on points that are learnable, worth learning, and not yet learned. We introduce Goldilocks Selection, a technique for faster model training which selects a sequence of training points that are "just right". We propose an information theoretic acquisition function the reducible validation loss and compute it with a small proxy model GoldiProx to efficiently choose training points that maximize information about a validation set. We show that the "hard" (e.g. high loss) points usually selected in the optimization literature are typically noisy, while the "easy" (e.g. low noise) samples often prioritized for curriculum learning confer less information. Further, points with uncertain labels, typically targeted by active learning, tend to be less relevant to the task. In contrast, Goldilocks Selection chooses points that are "just right" and empirically outperforms the above approaches. Moreover, the selected sequence can transfer to other architectures practitioners can share and reuse it without the need to recreate it.


Secure Evaluation of Knowledge Graph Merging Gain. Finding out the differences and commonalities between the knowledge of two parties is an important task. Such a comparison becomes necessary, when one party wants to determine how much it is worth to acquire the knowledge of the second party, or similarly when two parties try to determine, whether a collaboration could be beneficial. When these two parties cannot trust each other (for example, due to them being competitors) performing such a comparison is challenging as neither of them would be willing to share any of their assets. This paper addresses this problem for knowledge graphs, without a need for non disclosure agreements nor a third party during the protocol. During the protocol, the intersection between the two knowledge graphs is determined in a privacy preserving fashion. This is followed by the computation of various metrics, which give an indication of the potential gain from obtaining the other parties knowledge graph, while still keeping the actual knowledge graph contents secret. The protocol makes use of blind signatures and (counting) Bloom filters to reduce the amount of leaked information. Finally, the party who wants to obtain the other's knowledge graph can get a part of such in a way that neither party is able to know beforehand which parts of the graph are obtained (i.e., they cannot choose to only get or share the good parts). After inspection of the quality of this part, the Buyer can decide to proceed with the transaction. The analysis of the protocol indicates that the developed protocol is secure against malicious participants. Further experimental analysis shows that the resource consumption scales linear with the number of statements in the knowledge graph.


Stability analysis of two class retrial systems with constant retrial rates and general service times. We establish stability criterion for a two class retrial system with Poisson inputs, general class dependent service times and class dependent constant retrial rates. We also characterise an interesting phenomenon of partial stability when one orbit is tight but the other orbit goes to infinity in probability. All theoretical results are illustrated by numerical experiments.


Fiber laser driven gas plasma based generation of THz radiation with 50 mW average power. We present on THz generation in the two color gas plasma scheme driven by a high power, ultrafast fiber laser system. The applied scheme is a promising approach for scaling the THz average power but it has been limited so far by the driving lasers to repetition rates up to 1 kHz. Here, we demonstrate recent results of THz generation operating at a two orders of magnitude higher repetition rate. This results in a unprecedented THz average power of 50 mW. The development of compact, table top THz sources with high repetition rate and high field strength is crucial for studying nonlinear responses of materials, particle acceleration or faster data acquisition in imaging and spectroscopy.


MoSe2 WS2 heterojunction photodiode integrated with a silicon nitride waveguide for visible light detection with high responsivity. We demonstrate experimentally the realization and the characterization of a chip scale integrated photodetector for the visible and the near infrared spectral regime based on the integration of a MoSe2 WS2 heterojunction on top of a silicon nitride waveguide. This configuration achieves high responsivity of 1 A W at the wavelength of 780 nm (indicating an internal gain mechanism), while suppressing the dark current to the level of 50 pA, much lower as compared to a reference sample of just MoSe2 without WS2. We have measured the power spectral density of the dark current to be as low as 1x10 12 A Hz 0.5 , from which we extract the noise equivalent power (NEP) to be 1x10 12 W Hz 0.5. To demonstrate the usefulness of the device, we use it for the characterization of the transfer function of a microring resonator that is integrated on the same chip as the photodetector. The ability to integrate local photodetectors on chip and to operate such devices with high performance at the visible and the near infrared regime is expected to play a critical role in future integrated devices in the field of optical communications, quantum photonics, biochemical sensing and more.


Equilibrium Design for Concurrent Games. In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we study the design of incentives so that a desirable equilibrium is obtained, for instance, an equilibrium satisfying a given temporal logic property a problem that we call equilibrium design. We base our study on a framework where system specifications are represented as temporal logic formulae, games as quantitative concurrent game structures, and players' goals as mean payoff objectives. In particular, we consider system specifications given by LTL and GR(1) formulae, and show that implementing a mechanism to ensure that a given temporal logic property is satisfied on some every Nash equilibrium of the game, whenever such a mechanism exists, can be done in PSPACE for LTL properties and in NP Sigma P 2 for GR(1) specifications. We also study the complexity of various related decision and optimisation problems, such as optimality and uniqueness of solutions, and show that the complexities of all such problems lie within the polynomial hierarchy. As an application, equilibrium design can be used as an alternative solution to the rational synthesis and verification problems for concurrent games with mean payoff objectives whenever no solution exists, or as a technique to repair, whenever possible, concurrent games with undesirable rational outcomes (Nash equilibria) in an optimal way.


A Proof of Merca's Conjectures on Sums of Odd Divisor Functions. In a recent paper, Merca posed three conjectures on congruences for specific convolutions of a sum of odd divisor functions with a generating function for generalized m gonal numbers. Extending Merca's work, we complete the proof of these conjectures.


On the description of identifiable quartics. In this paper we study the identifiability of specific forms (symmetric tensors), with the target of extending recent methods for the case of 3 variables to more general cases. In particular, we focus on forms of degree 4 in 5 variables. By means of tools coming from classical algebraic geometry, such as Hilbert function, liaison procedure and Serre's construction, we give a complete geometric description and criteria of identifiability for ranks geq 9 , filling the gap between rank leq 8 , covered by Kruskal's criterion, and 15 , the rank of a general quartic in 5 variables. For the case r 12 , we construct an effective algorithm that guarantees that a given decomposition is unique.


Towards Prior Free Approximately Truthful One Shot Auction Learning via Differential Privacy. Designing truthful, revenue maximizing auctions is a core problem of auction design. Multi item settings have long been elusive. Recent work (arXiv 1706.03459) introduces effective deep learning techniques to find such auctions for the prior dependent setting, in which distributions about bidder preferences are known. One remaining problem is to obtain priors in a way that excludes the possibility of manipulating the resulting auctions. Using techniques from differential privacy for the construction of approximately truthful mechanisms, we modify the RegretNet approach to be applicable to the prior free setting. In this more general setting, no distributional information is assumed, but we trade this property for worse performance. We present preliminary empirical results and qualitative analysis for this work in progress.


Anomalous entities detection using a cascade of deep learning models. Human actions that do not conform to usual behavior are considered as anomalous and such actors are called anomalous entities. Detection of anomalous entities using visual data is a challenging problem in computer vision. This paper presents a new approach to detect anomalous entities in complex situations of examination halls. The proposed method uses a cascade of deep convolutional neural network models. In the first stage, we apply a pretrained model of human pose estimation on frames of videos to extract key feature points of body. Patches extracted from each key point are utilized in the second stage to build a densely connected deep convolutional neural network model for detecting anomalous entities. For experiments we collect a video database of students undertaking examination in a hall. Our results show that the proposed method can detect anomalous entities and warrant unusual behavior with high accuracy.


Optimal secondary frequency regulation with on off loads in power networks. Load side participation can provide support to the power network by appropriately adapting the demand when required. In addition, it enables an economically improved power allocation. In this study, we consider the problem of providing an optimal power allocation among generation and on off loads within the secondary frequency control timeframe. In particular, we consider a mixed integer optimization problem which ensures that the secondary frequency control objectives (i.e. generation demand balance and the frequency attaining its nominal value at steady state) are satisfied. We present analytical conditions on the generation and on off load profiles such that an epsilon optimality interpretation of the steady state power allocation is obtained, providing a non conservative value for epsilon . Moreover, we develop a hierarchical control scheme that provides on off load values that satisfy the proposed conditions. We study the interaction of the proposed control scheme with the physical dynamics of the power network and provide analytic stability guarantees. Our results are verified with numerical simulations on the Northeast Power Coordinating Council (NPCC) 140 bus system, where it is demonstrated that the proposed algorithm yields a close to optimal power allocation.


Relationship between low discrepancy sequence and static solution to multi bodies problem. The main interest of this paper is to study the relationship between the low discrepancy sequence and the static solution to the multi bodies problem in high dimensional space. An assumption that the static solution to the multi bodies problem is a low discrepancy sequence is proposed. Considering the static solution to the multi bodies problem corresponds to the minimum potential energy principle, we further assume that the distribution of the bodies is the most uniform when the potential energy is the smallest. To verify the proposed assumptions, a dynamical evolutionary model (DEM) based on the minimum potential energy is established to find out the static solution. The central difference algorithm is adopted to solve the DEM and an evolutionary iterative scheme is developed. The selection of the mass and the damping coefficient to ensure the convergence of the evolutionary iteration is discussed in detail. Based on the DEM, the relationship between the potential energy and the discrepancy during the evolutionary iteration process is studied. It is found that there is a significant positive correlation between them, which confirms the proposed assumptions. We also combine the DEM with the restarting technique to generate a series of low discrepancy sequences. These sequences are unbiased and perform better than other low discrepancy sequences in terms of the discrepancy, the potential energy, integrating eight test functions and computing the statistical moments for two practical stochastic problems. Numerical examples also show that the DEM can not only generate uniformly distributed sequences in cubes, but also in non cubes.


ELLA Exploration through Learned Language Abstraction. Building agents capable of understanding language instructions is critical to effective and robust human AI collaboration. Recent work focuses on training these agents via reinforcement learning in environments with synthetic language however, instructions often define long horizon, sparse reward tasks, and learning policies requires many episodes of experience. We introduce ELLA Exploration through Learned Language Abstraction, a reward shaping approach geared towards boosting sample efficiency in sparse reward environments by correlating high level instructions with simpler low level constituents. ELLA has two key elements 1) A termination classifier that identifies when agents complete low level instructions, and 2) A relevance classifier that correlates low level instructions with success on high level tasks. We learn the termination classifier offline from pairs of instructions and terminal states. Notably, in departure from prior work in language and abstraction, we learn the relevance classifier online, without relying on an explicit decomposition of high level instructions to low level instructions. On a suite of complex BabyAI environments with varying instruction complexities and reward sparsity, ELLA shows gains in sample efficiency relative to language based shaping and traditional RL methods.


On the Frequency Bias of Generative Models. The key objective of Generative Adversarial Networks (GANs) is to generate new data with the same statistics as the provided training data. However, multiple recent works show that state of the art architectures yet struggle to achieve this goal. In particular, they report an elevated amount of high frequencies in the spectral statistics which makes it straightforward to distinguish real and generated images. Explanations for this phenomenon are controversial While most works attribute the artifacts to the generator, other works point to the discriminator. We take a sober look at those explanations and provide insights on what makes proposed measures against high frequency artifacts effective. To achieve this, we first independently assess the architectures of both the generator and discriminator and investigate if they exhibit a frequency bias that makes learning the distribution of high frequency content particularly problematic. Based on these experiments, we make the following four observations 1) Different upsampling operations bias the generator towards different spectral properties. 2) Checkerboard artifacts introduced by upsampling cannot explain the spectral discrepancies alone as the generator is able to compensate for these artifacts. 3) The discriminator does not struggle with detecting high frequencies per se but rather struggles with frequencies of low magnitude. 4) The downsampling operations in the discriminator can impair the quality of the training signal it provides. In light of these findings, we analyze proposed measures against high frequency artifacts in state of the art GAN training but find that none of the existing approaches can fully resolve spectral artifacts yet. Our results suggest that there is great potential in improving the discriminator and that this could be key to match the distribution of the training data more closely.


CoSSL Co Learning of Representation and Classifier for Imbalanced Semi Supervised Learning. In this paper, we propose a novel co learning framework (CoSSL) with decoupled representation learning and classifier learning for imbalanced SSL. To handle the data imbalance, we devise Tail class Feature Enhancement (TFE) for classifier learning. Furthermore, the current evaluation protocol for imbalanced SSL focuses only on balanced test sets, which has limited practicality in real world scenarios. Therefore, we further conduct a comprehensive evaluation under various shifted test distributions. In experiments, we show that our approach outperforms other methods over a large range of shifted distributions, achieving state of the art performance on benchmark datasets ranging from CIFAR 10, CIFAR 100, ImageNet, to Food 101. Our code will be made publicly available.


Cinderella's shoe won't fit Soundarya An audit of facial processing tools on Indian faces. The increasing adoption of facial processing systems in India is fraught with concerns of privacy, transparency, accountability, and missing procedural safeguards. At the same time, we also know very little about how these technologies perform on the diverse features, characteristics, and skin tones of India's 1.34 billion plus population. In this paper, we test the face detection and facial analysis functions of four commercial facial processing tools on a dataset of Indian faces. The tools display varying error rates in the face detection and gender and age classification functions. The gender classification error rate for Indian female faces is consistently higher compared to that of males the highest female error rate being 14.68 . In some cases, this error rate is much higher than that shown by previous studies for females of other nationalities. Age classification errors are also high. Despite taking into account an acceptable error margin of plus or minus 10 years from a person's actual age, age prediction failures are in the range of 14.3 to 42.2 . These findings point to the limited accuracy of facial processing tools, particularly for certain demographic groups, and the need for more critical thinking before adopting such systems.


Background Foreground Segmentation for Interior Sensing in Automotive Industry. To ensure safety in automated driving, the correct perception of the situation inside the car is as important as its environment. Thus, seat occupancy detection and classification of detected instances play an important role in interior sensing. By the knowledge of the seat occupancy status, it is possible to, e.g., automate the airbag deployment control. Furthermore, the presence of a driver, which is necessary for partially automated driving cars at the automation levels two to four can be verified. In this work, we compare different statistical methods from the field of image segmentation to approach the problem of background foreground segmentation in camera based interior sensing. In the recent years, several methods based on different techniques have been developed and applied to images or videos from different applications. The peculiarity of the given scenarios of interior sensing is, that the foreground instances and the background both contain static as well as dynamic elements. In data considered in this work, even the camera position is not completely fixed. We review and benchmark three different methods ranging, i.e., Gaussian Mixture Models (GMM), Morphological Snakes and a deep neural network, namely a Mask R CNN. In particular, the limitations of the classical methods, GMM and Morphological Snakes, for interior sensing are shown. Furthermore, it turns, that it is possible to overcome these limitations by deep learning, e.g. using a Mask R CNN. Although only a small amount of ground truth data was available for training, we enabled the Mask R CNN to produce high quality background foreground masks via transfer learning. Moreover, we demonstrate that certain augmentation as well as pre and post processing methods further enhance the performance of the investigated methods.


Ranking Warnings of Static Analysis Tools Using Representation Learning. Static analysis tools are frequently used to detect potential vulnerabilities in software systems. However, an inevitable problem of these tools is their large number of warnings with a high false positive rate, which consumes time and effort for investigating. In this paper, we present DeFP, a novel method for ranking static analysis warnings. Based on the intuition that warnings which have similar contexts tend to have similar labels (true positive or false positive), DeFP is built with two BiLSTM models to capture the patterns associated with the contexts of labeled warnings. After that, for a set of new warnings, DeFP can calculate and rank them according to their likelihoods to be true positives (i.e., actual vulnerabilities). Our experimental results on a dataset of 10 real world projects show that using DeFP, by investigating only 60 of the warnings, developers can find 90 of actual vulnerabilities. Moreover, DeFP improves the state of the art approach 30 in both Precision and Recall.


Plasma wall transition and sheath formation. A review of the theoretical and computational aspects of plasma wall transition is presented. The conditions for the existence of plasma sheaths in front of a solid surface are established. Various regimes are analyzed collisionless and collisional. fluid and kinetic, with and without ionization. The partition of the plasma wall transition into distinct regions (Debye sheath, quasineutral presheath. magnetic presheath, etc...) is also discussed. Applications to the theory of electrostatic probes are illustrated by means of a recently developed kinetic model. The influence of the probe on ion temperature measurements is studied in detail.


Terahertz binding of nanoparticles based on graphene surface plasmons excitations. This work studies the optical binding of a dimer composed by dielectric particles close to a graphene sheet. Using a rigorous electromagnetic method, we calculated the optical force acting on each nanoparticle. In addition, we deduced analytical expressions enabling to evaluate the contribution of graphene surface plasmons (GSPs) to optical binding. Our results show that surface plasmon on graphene excitations generate multiple equilibrium positions for which the distance between particles are tens of times smaller than the photon wavelength. Moreover, these positions can be dynamically controlled by adjusting the chemical potential on graphene. Normal and oblique incidence have been considered.


Piecewise strongly proximal actions, free boundaries and the Neretin groups. A closed subgroup H of a locally compact group G is confined if the closure of the conjugacy class of H in the Chabauty space of G does not contain the trivial subgroup. We establish a dynamical criterion on the action of a totally disconnected locally compact group G on a compact space X ensuring that no relatively amenable subgroup of G can be confined. This property is equivalent to the fact that the action of G on its Furstenberg boundary is free. Our criterion applies to the Neretin groups. We deduce that each Neretin group has two inequivalent irreducible unitary representations that are weakly equivalent. This implies that the Neretin groups are not of type I, thereby answering a question of Y. Neretin.


Image to Image Translation based Data Augmentation for Robust EV Charging Inlet Detection. This work addresses the task of electric vehicle (EV) charging inlet detection for autonomous EV charging robots. Recently, automated EV charging systems have received huge attention to improve users' experience and to efficiently utilize charging infrastructures and parking lots. However, most related works have focused on system design, robot control, planning, and manipulation. Towards robust EV charging inlet detection, we propose a new dataset (EVCI dataset) and a novel data augmentation method that is based on image to image translation where typical image to image translation methods synthesize a new image in a different domain given an image. To the best of our knowledge, the EVCI dataset is the first EV charging inlet dataset. For the data augmentation method, we focus on being able to control synthesized images' captured environments (e.g., time, lighting) in an intuitive way. To achieve this, we first propose the environment guide vector that humans can intuitively interpret. We then propose a novel image to image translation network that translates a given image towards the environment described by the vector. Accordingly, it aims to synthesize a new image that has the same content as the given image while looking like captured in the provided environment by the environment guide vector. Lastly, we train a detection method using the augmented dataset. Through experiments on the EVCI dataset, we demonstrate that the proposed method outperforms the state of the art methods. We also show that the proposed method is able to control synthesized images using an image and environment guide vectors.


Maxitive integration and its application to monotone large deviations. In this paper, we provide duality bounds for the maxitive integral of a non additive set function. These bounds allow for a monotone analogue of the basic results in large deviations theory. In particular, we show the equivalence of the large deviation principle and the Laplace principle for general concentration functions and characterize the respective monotone rate function. As an application of the results, we obtain on the one hand a monotone version of Cram ' e r's theorem, and on the other hand a large deviation and Laplace principle for the asymptotic comparison of random walks as introduced by Fritz 8 .


Lifetime policy reuse and the importance of task capacity. A long standing challenge in artificial intelligence is lifelong learning. In lifelong learning, many tasks are presented in sequence and learners must efficiently transfer knowledge between tasks while avoiding catastrophic forgetting over long lifetimes. On these problems, policy reuse and other multi policy reinforcement learning techniques can learn many tasks. However, they can generate many temporary or permanent policies, resulting in memory issues. Consequently, there is a need for lifetime scalable methods that continually refine a policy library of a pre defined size. This paper presents a first approach to lifetime scalable policy reuse. To pre select the number of policies, a notion of task capacity, the maximal number of tasks that a policy can accurately solve, is proposed. To evaluate lifetime policy reuse using this method, two state of the art single actor base learners are compared 1) a value based reinforcement learner, Deep Q Network (DQN) or Deep Recurrent Q Network (DRQN) and 2) an actor critic reinforcement learner, Proximal Policy Optimisation (PPO) with or without Long Short Term Memory layer. By selecting the number of policies based on task capacity, D(R)QN achieves near optimal performance with 6 policies in a 27 task MDP domain and 9 policies in an 18 task POMDP domain with fewer policies, catastrophic forgetting and negative transfer are observed. Due to slow, monotonic improvement, PPO requires fewer policies, 1 policy for the 27 task domain and 4 policies for the 18 task domain, but it learns the tasks with lower accuracy than D(R)QN. These findings validate lifetime scalable policy reuse and suggest using D(R)QN for larger and PPO for smaller library sizes.


RGB D Salient Object Detection via 3D Convolutional Neural Networks. RGB D salient object detection (SOD) recently has attracted increasing research interest and many deep learning methods based on encoder decoder architectures have emerged. However, most existing RGB D SOD models conduct feature fusion either in the single encoder or the decoder stage, which hardly guarantees sufficient cross modal fusion ability. In this paper, we make the first attempt in addressing RGB D SOD through 3D convolutional neural networks. The proposed model, named RD3D, aims at pre fusion in the encoder stage and in depth fusion in the decoder stage to effectively promote the full integration of RGB and depth streams. Specifically, RD3D first conducts pre fusion across RGB and depth modalities through an inflated 3D encoder, and later provides in depth feature fusion by designing a 3D decoder equipped with rich back projection paths (RBPP) for leveraging the extensive aggregation ability of 3D convolutions. With such a progressive fusion strategy involving both the encoder and decoder, effective and thorough interaction between the two modalities can be exploited and boost the detection accuracy. Extensive experiments on six widely used benchmark datasets demonstrate that RD3D performs favorably against 14 state of the art RGB D SOD approaches in terms of four key evaluation metrics. Our code will be made publicly available https github.com PPOLYpubki RD3D.


Laboratory model of electrovortex flow with thermal gradients, for liquid metal batteries. We present a novel laboratory setup for studying the fluid dynamics in liquid metal batteries (LMBs). LMBs are a promising technology suited for grid scale energy storage, but flows remain a confounding factor in determining their viability. Two important drivers of flow are thermal gradients, caused by internal heating during operation, and electrovortex flow (EVF), induced by diverging current densities. Our setup explores thermal gradients and electrovortex flow separately and in combination in a cylindrical layer of liquid gallium, simulating the behavior in a single layer of an LMB. In this work, we discuss the design principles underlying our choices of materials, thermal control, and current control. We also detail our diagnostic tools thermocouple measurements for temperature and Ultrasonic Doppler Velocimetry (UDV) probes for velocities and the design principles which go into choosing their placement on the setup. We also include a discussion of our post processing tools for quantifying and visualizing the flow. Finally, we validate convection and EVF in our setup we show that scaling relationships between the nondimensional parameters produced by our data agree well with theory and previous studies.


Video Frame Interpolation via Structure Motion based Iterative Fusion. Video Frame Interpolation synthesizes non existent images between adjacent frames, with the aim of providing a smooth and consistent visual experience. Two approaches for solving this challenging task are optical flow based and kernel based methods. In existing works, optical flow based methods can provide accurate point to point motion description, however, they lack constraints on object structure. On the contrary, kernel based methods focus on structural alignment, which relies on semantic and apparent features, but tends to blur results. Based on these observations, we propose a structure motion based iterative fusion method. The framework is an end to end learnable structure with two stages. First, interpolated frames are synthesized by structure based and motion based learning branches respectively, then, an iterative refinement module is established via spatial and temporal feature integration. Inspired by the observation that audiences have different visual preferences on foreground and background objects, we for the first time propose to use saliency masks in the evaluation processes of the task of video frame interpolation. Experimental results on three typical benchmarks show that the proposed method achieves superior performance on all evaluation metrics over the state of the art methods, even when our models are trained with only one tenth of the data other methods use.


Datasets A Community Library for Natural Language Processing. The scale, variety, and quantity of publicly available NLP datasets has grown rapidly as researchers propose new tasks, larger models, and novel benchmarks. Datasets is a community library for contemporary NLP designed to support this ecosystem. Datasets aims to standardize end user interfaces, versioning, and documentation, while providing a lightweight front end that behaves similarly for small datasets as for internet scale corpora. The design of the library incorporates a distributed, community driven approach to adding datasets and documenting usage. After a year of development, the library now includes more than 650 unique datasets, has more than 250 contributors, and has helped support a variety of novel cross dataset research projects and shared tasks. The library is available at https github.com huggingface datasets.


Active Exploitation of Redundancies in Reconfigurable Multi Robot Systems. While traditional robotic systems come with a monolithic system design, reconfigurable multi robot systems can share and shift physical resources in an on demand fashion. Multi robot operations can benefit from this flexibility by actively managing system redundancies depending on current tasks and having more options to respond to failure events. To support this active exploitation of redundancies in robotic systems, this paper details an organization model as basis for planning with reconfigurable multi robot systems. The model allows to exploit redundancies when optimizing a multi robot system's probability of survival with respect to a desired mission. The resulting planning approach trades safety against efficiency in robotic operations and thereby offers a new perspective and tool to design and improve multi robot missions. We use a simulated multi robot planetary exploration mission to evaluate this approach and highlight an exemplary performance landscape.


MOHAQ Multi Objective Hardware Aware Quantization of Recurrent Neural Networks. The compression of deep learning models is of fundamental importance in deploying such models to edge devices. The selection of compression parameters can be automated to meet changes in the hardware platform and application using optimization algorithms. This article introduces a Multi Objective Hardware Aware Quantization (MOHAQ) method, which considers hardware efficiency and inference error as objectives for mixed precision quantization. The proposed method feasibly evaluates candidate solutions in a large search space by relying on two steps. First, post training quantization is applied for fast solution evaluation (inference only search). Second, we propose the "beacon based search" to retrain selected solutions only and use them as beacons to know the effect of retraining on other solutions. We use a speech recognition model based on Simple Recurrent Unit (SRU) using the TIMIT dataset and apply our method to run on SiLago and Bitfusion platforms. We provide experimental evaluations showing that SRU can be compressed up to 8x by post training quantization without any significant error increase. On SiLago, we found solutions that achieve 97 and 86 of the maximum possible speedup and energy saving, with a minor increase in error. On Bitfusion, beacon based search reduced the error gain of inference only search by up to 4.9 percentage points.


On Montgomery's pair correlation conjecture a tale of three integrals. We study three integrals related to the celebrated pair correlation conjecture of H. L. Montgomery. The first is the integral of Montgomery's function F( alpha, T) in bounded intervals, the second is an integral introduced by Selberg related to estimating the variance of primes in short intervals, and the last is the second moment of the logarithmic derivative of the Riemann zeta function near the critical line. The conjectured asymptotic for any of these three integrals is equivalent to Montgomery's pair correlation conjecture. Assuming the Riemann hypothesis, we substantially improve the known upper and lower bounds for these integrals by introducing new connections to certain extremal problems in Fourier analysis. In an appendix, we study the intriguing problem of establishing the sharp form of an embedding between two Hilbert spaces of entire functions naturally connected to Montgomery's pair correlation conjecture.


Markerless Suture Needle 6D Pose Tracking with Robust Uncertainty Estimation for Autonomous Minimally Invasive Robotic Surgery. Suture needle localization is necessary for autonomous suturing. Previous approaches in autonomous suturing often relied on fiducial markers rather than markerless detection schemes for localizing a suture needle due to the inconsistency of markerless detections. However, fiducial markers are not practical for real world applications and can often be occluded from environmental factors in surgery (e.g., blood). Therefore in this work, we present a robust tracking approach for estimating the 6D pose of a suture needle when using inconsistent detections. We define observation models based on suture needles' geometry that captures the uncertainty of the detections and fuse them temporally in a probabilistic fashion. In our experiments, we compare different permutations of the observation models in the suture needle localization task to show their effectiveness. Our proposed method outperforms previous approaches in localizing a suture needle. We also demonstrate the proposed tracking method in an autonomous suture needle regrasping task and ex vivo environments.


Deformations of Symplectic Foliations. We develop the deformation theory of symplectic foliations, i.e. regular foliations equipped with a leafwise symplectic form. The main result of this paper is that each symplectic foliation has an attached L infty algebra controlling its deformation problem. Indeed, viewing symplectic foliations as regular Poisson structures, we establish a one to one correspondence between the small deformations of a given symplectic foliation and the Maurer Cartan elements of the associated L infty algebra. Using this, we show that infinitesimal deformations of symplectic foliations can be obstructed. Further, we relate symplectic foliations with foliations on one side and with (arbitrary) Poisson structures on the other, showing that obstructed infinitesimal deformations of the former may give rise to unobstructed infinitesimal deformations of the latter.


COVID 19 Datathon Based on Deidentified Governmental Data as an Approach for Solving Policy Challenges, Increasing Trust, and Building a Community Case Study. Triggered by the COVID 19 crisis, Israel's Ministry of Health (MoH) held a virtual Datathon based on deidentified governmental data. Organized by a multidisciplinary committee, Israel's research community was invited to offer insights to COVID 19 policy challenges. The Datathon was designed to (1) develop operationalizable data driven models to address COVID 19 health policy challenges and (2) build a community of researchers from academia, industry, and government and rebuild their trust in the government. Three specific challenges were defined based on their relevance (significance, data availability, and potential to anonymize the data) immunization policies, special needs of the young population, and populations whose rate of compliance with COVID 19 testing is low. The MoH team extracted diverse, reliable, up to date, and deidentified governmental datasets for each challenge. Secure remote access research environments with relevant data science tools were set on Amazon Web. The MoH screened the applicants and accepted around 80 participants, teaming them to balance areas of expertise as well as represent all sectors of the community. One week following the event, anonymous surveys for participants and mentors were distributed to assess overall usefulness and points for improvement. The 48 hour Datathon and pre event sessions included 18 multidisciplinary teams, mentored by 20 data scientists, 6 epidemiologists, 5 presentation mentors, and 12 judges. The insights developed by the 3 winning teams are currently considered by the MoH as potential data science methods relevant for national policies. The most positive results were increased trust in the MoH and greater readiness to work with the government on these or future projects. Detailed feedback offered concrete lessons for improving the structure and organization of future government led datathons.


Wheres the Bus Examining Factors Correlated with High and Low Public Transit On Time Performance. An important aspect of public bus transit is its reliability of being on time, which has a major impact on bus ridership. Currently, there is no unified national standard to measure bus on time performance in the United States. This paper proposes a novel approach to improve the on time performance (OTP) of buses at transit agencies throughout the country, based on factors unique to each agency. In this study, information on 18 public transit agencies data were obtained from the National Transit Database and were verified by the authors after contacting the respective agencies. A correlation analysis was conducted to evaluate the influence of different factors on bus OTP. The results show that a higher congestion ranking of the cities i.e. lesser traffic has a positive correlation with OTP while a lower number of passengers per hour has a negative correlation with OTP, both at a 95 confidence interval. Total miles per active vehicle and average speed of the bus were found to have a positive correlation with OTP at a 90 confidence interval. This potentially suggests that, if the average speed of the bus is higher i.e. if the bus operates at its scheduled speed, total miles per active vehicle will increase, which will in turn lead to a better on time performance. A flow diagram interpreting the results of the correlation analysis was shown, where the main bus service process was considered and the predecessors and successors which could potentially affect the final OTP, were determined.


Generation of robust spatiotemporal optical vortices with transverse orbital angular momentum beyond 10 2 . Recently, photons have been observed to possess transverse orbital angular momentum (OAM) however, it is unclear as whether they can hold a transverse OAM higher than 1. Here, we theoretically and experimentally demonstrate that high order spatiotemporal Bessel optical vortices (STBOVs) can stably carry transverse OAM even beyond 10 2 . Through the inverse design of the spiral phase, an STBOV of any order can be controllably generated using a 4f pulse shaper. In contrast to conventional longitudinal OAM, the vector direction of the transverse OAM can be distinguished by the unique time symmetrical evolution of STBOVs. More interestingly, the stability of STBOVs improves with their increasing orders owing to enhanced space time coupling, making these beams particularly suitable for the generation of ultra high transverse OAM. Our work paves the way for further research and application of this unique OAM of photons.


Probabilistic Appearance Invariant Topometric Localization with New Place Awareness. Probabilistic state estimation approaches offer a principled foundation for designing localization systems, because they naturally integrate sequences of imperfect motion and exteroceptive sensor data. Recently, probabilistic localization systems utilizing appearance invariant visual place recognition (VPR) methods as the primary exteroceptive sensor have demonstrated state of the art performance in the presence of substantial appearance change. However, existing systems 1) do not fully utilize odometry data within the motion models, and 2) are unable to handle route deviations, due to the assumption that query traverses exactly repeat the mapping traverse. To address these shortcomings, we present a new probabilistic topometric localization system which incorporates full 3 dof odometry into the motion model and furthermore, adds an "off map" state within the state estimation framework, allowing query traverses which feature significant route detours from the reference map to be successfully localized. We perform extensive evaluation on multiple query traverses from the Oxford RobotCar dataset exhibiting both significant appearance change and deviations from routes previously traversed. In particular, we evaluate performance on two practically relevant localization tasks loop closure detection and global localization. Our approach achieves major performance improvements over both existing and improved state of the art systems.


Asymptotic stability of planar stationary solution to a 2D hyperbolic elliptic coupled system of the radiating gas in half space. This paper is concerned with the asymptotic stability of planar stationary solution to an initial boundary value problem for a two dimensional hyperbolic elliptic coupled system of the radiating gas in half space. We show that the solution to the problem converges to the corresponding planar stationary solution as time tends to infinity under small initial perturbation. These results are proved by the standard L 2 energy method. Moreover, we prove that the solution (u,q) converges to the corresponding planar stationary solution at the rate t alpha 2 1 4 for non degenerate case, and t 1 4 for degenerate case. The proof is based on the time and space weighted energy method.


Asymptotic behavior of solutions to the Yamabe equation with an asymptotically flat metric. We prove that any positive solution of the Yamabe equation on an asymptotically flat n dimensional manifold of flatness order at least frac n 2 2 and n le 24 must converge at infinity either to a fundamental solution of the Laplace operator on the Euclidean space or to a radial Fowler solution defined on the entire Euclidean space. The flatness order frac n 2 2 is the minimal flatness order required to define ADM mass in general relativity the dimension 24 is the dividing dimension of the validity of compactness of solutions to the Yamabe problem. We also prove such alternatives for bounded solutions when n 24 . We prove these results by establishing appropriate asymptotic behavior near an isolated singularity of solutions to the Yamabe equation when the metric has a flatness order of at least frac n 2 2 at the singularity and n 24 , also when n 24 and the solution grows no faster than the fundamental solution of the flat metric Laplacian at the singularity. These results extend earlier results of L. Caffarelli, B. Gidas and J. Spruck, also of N. Korevaar, R. Mazzeo, F. Pacard and R. Schoen, when the metric is conformally flat, and work of C.C. Chen and C. S. Lin when the scalar curvature is a non constant function with appropriate flatness at the singular point, also work of F. Marques when the metric is not necessarily conformally flat but smooth, and the dimension of the manifold is three, four, or five, as well as recent similar results by the second and third authors in dimension six.


Intelligent Vision Based Wear Forecasting on Surfaces of Machine Tool Elements. This paper addresses the ability to enable machines to automatically detect failures on machine tool components as well as estimating the severity of the failures, which is a critical step towards autonomous production machines. Extracting information about the severity of failures has been a substantial part of classical, as well as Machine Learning based machine vision systems. Efforts have been undertaken to automatically predict the severity of failures on machine tool components for predictive maintenance purposes. Though, most approaches only partly cover a completely automatic system from detecting failures to the prognosis of their future severity. To the best of the authors knowledge, this is the first time a vision based system for defect detection and prognosis of failures on metallic surfaces in general and on Ball Screw Drives in specific has been proposed. The authors show that they can do both, detect and prognose the evolution of a failure on the surface of a Ball Screw Drive.


An Efficient Point of Gaze Estimator for Low Resolution Imaging Systems Using Extracted Ocular Features Based Neural Architecture. A user's eyes provide means for Human Computer Interaction (HCI) research as an important modal. The time to time scientific explorations of the eye has already seen an upsurge of the benefits in HCI applications from gaze estimation to the measure of attentiveness of a user looking at a screen for a given time period. The eye tracking system as an assisting, interactive tool can be incorporated by physically disabled individuals, fitted best for those who have eyes as only a limited set of communication. The threefold objective of this paper is 1. To introduce a neural network based architecture to predict users' gaze at 9 positions displayed in the 11.31 deg visual range on the screen, through a low resolution based system such as a webcam in real time by learning various aspects of eyes as an ocular feature set. 2.A collection of coarsely supervised feature set obtained in real time which is also validated through the user case study presented in the paper for 21 individuals ( 17 men and 4 women ) from whom a 35k set of instances was derived with an accuracy score of 82.36 and f1 score of 82.2 and 3.A detailed study over applicability and underlying challenges of such systems. The experimental results verify the feasibility and validity of the proposed eye gaze tracking model.


One Bad Apple Spoils the Bunch Transaction DoS in MimbleWimble Blockchains. As adoption of blockchain based systems grows, more attention is being given to privacy of these systems. Early systems like BitCoin provided few privacy features. As a result, systems with strong privacy guarantees, including Monero, Zcash, and MimbleWimble have been developed. Compared to BitCoin, these cryptocurrencies are much less understood. In this paper, we focus on MimbleWimble, which uses the Dandelion protocol for private transaction relay and transaction aggregation to provide transaction content privacy. We find that in combination these two features make MimbleWimble susceptible to a new type of denial of service attacks. We design, prototype, and evaluate this attack on the Beam network using a private test network and a network simulator. We find that by controlling only 10 of the network nodes, the adversary can prevent over 45 of all transactions from ending up in the blockchain. We also discuss several potential approaches for mitigating this attack.


Few shot Conformal Prediction with Auxiliary Tasks. We develop a novel approach to conformal prediction when the target task has limited data available for training. Conformal prediction identifies a small set of promising output candidates in place of a single prediction, with guarantees that the set contains the correct answer with high probability. When training data is limited, however, the predicted set can easily become unusably large. In this work, we obtain substantially tighter prediction sets while maintaining desirable marginal guarantees by casting conformal prediction as a meta learning paradigm over exchangeable collections of auxiliary tasks. Our conformalization algorithm is simple, fast, and agnostic to the choice of underlying model, learning algorithm, or dataset. We demonstrate the effectiveness of this approach across a number of few shot classification and regression tasks in natural language processing, computer vision, and computational chemistry for drug discovery.


Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty. Uncertainty quantification methods are required in autonomous systems that include deep learning (DL) components to assess the confidence of their estimations. However, to successfully deploy DL components in safety critical autonomous systems, they should also handle uncertainty at the input rather than only at the output of the DL components. Considering a probability distribution in the input enables the propagation of uncertainty through different components to provide a representative measure of the overall system uncertainty. In this position paper, we propose a method to account for uncertainty at the input of Bayesian Deep Learning control policies for Aerial Navigation. Our early experiments show that the proposed method improves the robustness of the navigation policy in Out of Distribution (OoD) scenarios.


Exploring the route from leaky Berreman modes to bound states in continuum. We study coupling of leaky Berreman modes in polar dielectric films (SiO2) through a thin metallic layer (gold) and show the familiar signatures of normal mode splitting. Due to very large negative real part of the dielectric function of gold, the splitting shows up only for extremely thin coupling layers. In contrast, coupling of Berreman modes through a dielectric spacer layer reveals novel possibilities of having bound states in continuum, albeit in the limit of vanishing losses. It is shown that the corresponding dispersion branches of the symmetric and antisymmetric modes can cross. BIC is shown to occur on one of these branches which is characterized by lower loss. In fact the BIC corresponds to the point where the radiative losses are minimized. For thicker layers (both spacer and the polar dielectric) BIC is shown to occur on the higher order dispersion branches. The origin of BIC is traced to the Fabry Perot type mechanism due to the excitation of the leaky guided modes in the central layer.


Minimal area surfaces and fibered hyperbolic 3 manifolds. By work of Uhlenbeck, the largest principal curvature of any least area fiber of a hyperbolic 3 manifold fibering over the circle is bounded below by one. We give a short argument to show that, along certain families of fibered hyperbolic 3 manifolds, there is a uniform lower bound for the maximum principal curvatures of a least area minimal surface which is greater than one.


Strong subconvexity for self dual mathrm GL (3) L functions. In this paper, we prove strong subconvexity bounds for self dual mathrm GL (3) L functions in the t aspect and for mathrm GL (3) times mathrm GL (2) L functions in the mathrm GL (2) spectral aspect. The bounds are strong in the sense that they are the natural limit of the moment method pioneered by Xiaoqing Li, modulo current knowledge on estimate for the second moment of rm GL(3) L functions on the critical line.


Analytical study on dynamic responses of sheet pile groin subjected to transient lateral impulse. A novel structure of sheet pile groin consists of row piles and tied sheet has been introduced to resist the impact of tidal bore in recent years. However, the dynamic responses of the structure under tidal bore have not been carefully studied before. This paper proposed an analytical solution for the dynamic responses of the sheet pile groin subjected to a transient lateral excitation. In order to take the flexural and longitudinal vibrations into consideration, the piles and the sheet are modeled by the Timoshenko beam (TB) theory and a one dimensional rod, respectively. The soil around the piles is simulated by the dynamic Winkler foundation model. The excitation is considered by a lateral concentrated point load acting on the front pile. On this basis, the governing equations are constructed in time domain and solved in frequency domain, while the time domain responses are finally obtained using the discrete Inverse Fourier Transform. The accuracy of the presented analytical solution is validated by comparing with the results obtained from the FEM simulation and a model test. The effects of properties of the sheet, the piles and the soil on the dynamic responses are investigated through a comprehensive parametric study.


Amplitudes on abelian categories. The use of persistent homology in applications is justified by the validity of certain stability results. At the core of such results is a notion of distance between the invariants that one associates to data sets. While such distances are well understood in the one parameter case, the situation for multiparameter persistence modules is more challenging, since there exists no generalisation of the barcode. Here we introduce a general framework to study stability questions in multiparameter persistence. We introduce amplitudes invariants that arise from assigning a non negative real number to each persistence module, and which are monotone and subadditive in an appropriate sense and then study different ways to associate distances to such invariants. Our framework is very comprehensive, as many different invariants that have been introduced in the Topological Data Analysis literature are examples of amplitudes, and furthermore many known distances for multiparameter persistence can be shown to be distances from amplitudes. Finally, we show how our framework can be used to prove new stability results.


Comparison of interface capturing methods for the simulation of two phase flow in a unified low Mach framework. This paper proposes a comparison of four popular interface capturing methods the volume of fluid (VOF), the standard level set (SLS), the accurate conservative level set (ACLS) and the coupled level set and volume of fluid (CLSVOF). All methods are embedded into a unified low Mach framework based on a Cartesian grid finite volume discretization. This framework includes a sharp transport of the interface, a wellbalanced surface tension discretization and a consistent mass and momentum transport which allows capillary driven simulations with high density ratio. The comparison relies on shared metrics for geometrical accuracy, mass and momentum conservation which exposes the weakness and strengths of each method. Finally, the versatility and capabilities of the proposed solver are demonstrated on the simulation of a 3D head on collision of two water droplets. Overall, all methods manage to retrieve reasonable results for all test cases presented. VOF, CLSVOF and ACLS tend to artificially create little structures while SLS suffers from conservation issues in the mesh resolution limit. This study leads us to the conclusion that CLSVOF is the most promising method for two phase flow simulations in our specific framework because of its inherent conservation properties and topology accuracy.


Fusion yield of plasma with velocity space anisotropy at constant energy. Velocity space anisotropy can significantly modify fusion reactivity. The nature and magnitude of this modification depends on the plasma temperature, as well as the details of how the anisotropy is introduced. For plasmas that are sufficiently cold compared to the peak of the fusion cross section, anisotropic distributions tend to have higher yields than isotropic distributions with the same thermal energy. At higher temperatures, it is instead isotropic distributions that have the highest yields. However, the details of this behavior depend on exactly how the distribution differs from an isotropic Maxwellian. This paper describes the effects of anisotropy on fusion yield for the class of anisotropic distribution functions with the same energy distribution as a 3D isotropic Maxwellian, and compares those results with the yields from bi Maxwellian distributions. In many cases, especially for plasmas somewhat below reactor regime temperatures, the effects of anisotropy can be substantial.


Driver Specific Risk Recognition in Interactive Driving Scenarios using Graph Representation. This paper presents a driver specific risk recognition framework for autonomous vehicles that can extract inter vehicle interactions. This extraction is carried out for urban driving scenarios in a driver cognitive manner to improve the recognition accuracy of risky scenes. First, clustering analysis is applied to the operation data of drivers for learning the subjective assessment of risky scenes of different drivers and generating the corresponding risk label for each scene. Second, the graph representation model (GRM) is adopted to unify and construct the features of dynamic vehicles, inter vehicle interactions and static traffic markings in real driving scenes into graphs. The driver specific risk label provides ground truth to capture the risk evaluation criteria of different drivers. In addition, the graph model represents multiple features of the driving scenes. Therefore, the proposed framework can learn the risk evaluating pattern of driving scenes of different drivers and establish driver specific risk identifiers. Last, the performance of the proposed framework is evaluated via experiments conducted using real world urban driving datasets collected by multiple drivers. The results show that the risks and their levels in real driving environments can be accurately recognized by the proposed framework.


Killing weights from the perspective of t structures. This paper is dedicated to morphisms killing weights in a range (as defined by the first author) and to objects without these weights (as essentially defined by J. Wildeshaus) in a triangulated category endowed with a weight structure w. We describe several new criteria for morphisms and objects to satisfy these conditions. In some of them we use virtual t truncations and a t structure adjacent to w. In the case where the latter exists we prove that a morphism kills weights m,...,n if and only if it factors through an object without these weights we also construct new families of torsion theories and projective and injective classes. As a consequence, we obtain some "weakly functorial decompositions" of spectra (in the stable homotopy category SH) and a new description of those morphisms that act trivially on degree zero singular cohomology with coefficients in every abelian group.


RPCL A Framework for Improving Cross Domain Detection with Auxiliary Tasks. Cross Domain Detection (XDD) aims to train an object detector using labeled image from a source domain but have good performance in the target domain with only unlabeled images. Existing approaches achieve this either by aligning the feature maps or the region proposals from the two domains, or by transferring the style of source images to that of target image. Contrasted with prior work, this paper provides a complementary solution to align domains by learning the same auxiliary tasks in both domains simultaneously. These auxiliary tasks push image from both domains towards shared spaces, which bridges the domain gap. Specifically, this paper proposes Rotation Prediction and Consistency Learning (PRCL), a framework complementing existing XDD methods for domain alignment by leveraging the two auxiliary tasks. The first one encourages the model to extract region proposals from foreground regions by rotating an image and predicting the rotation angle from the extracted region proposals. The second task encourages the model to be robust to changes in the image space by optimizing the model to make consistent class predictions for region proposals regardless of image perturbations. Experiments show the detection performance can be consistently and significantly enhanced by applying the two proposed tasks to existing XDD methods.


Reproducible and Portable Big Data Analytics in the Cloud. Cloud computing has become a major approach to help reproduce computational experiments because it supports on demand hardware and software resource provisioning. Yet there are still two main difficulties in reproducing big data applications in the cloud. The first is how to automate end to end execution of analytics including environment provisioning, analytics pipeline description, pipeline execution and resource termination. The second is an application developed for one cloud, is difficult to be reproduced in another cloud, a.k.a. vendor lock in problem. To tackle these problems, we leverage serverless computing and containerization techniques for automatic scalable execution and reproducibility, and utilize the adapter design pattern to enable application portability and reproducibility across different clouds. We propose and develop an open source toolkit that supports 1) fully automated end to end execution and reproduction via a single command, 2) automatic data and configuration storage for each execution, 3) flexible client modes based on user preferences, 4) execution history query, and 5) simple reproduction of existing executions in the same environment or a different environment. We did extensive experiments on both AWS and Azure using three big data analytics applications that run on a virtual CPU GPU cluster. The experiments show our toolkit can achieve good execution performance, scalability and efficient reproducibility for cloud based big data analytics.


Composition operators on Hardy Smirnov spaces. We investigate composition operators C Phi on the Hardy Smirnov space H 2 ( Omega) induced by analytic self maps Phi of an open simply connected proper subset Omega of the complex plane. When the Riemann map tau mathbb U rightarrow Omega used to define the norm of H 2 ( Omega) is a linear fractional transformation, we characterize the composition operators whose adjoints are composition operators. As applications of this fact, we provide a new proof for the adjoint formula discovered by Gallardo Guti ' e rrez and Montes Rodr ' i guez and we give a new approach to describe all Hermitian and unitary composition operators on H 2 ( Omega). Additionally, if the coefficients of tau are real, we exhibit concrete examples of conjugations and describe the Hermitian and unitary composition operators which are complex symmetric with respect to specific conjugations on H 2 ( Omega). We finish this paper showing that if Omega is unbounded and Phi is a non automorphic self map of Omega with a fixed point, then C Phi is never complex symmetric on H 2 ( Omega).


LonelyText A Short Messaging Based Classification of Loneliness. Loneliness does not only have emotional implications on a person but also on his her well being. The study of loneliness has been challenging and largely inconclusive in findings because of the several factors that might correlate to the phenomenon. We present one approach to predicting this event by discovering patterns of language associated with loneliness. Our results show insights and promising directions for mining text from instant messaging to predict loneliness.


Lecture notes on sheaves and perverse sheaves. Informal lecture notes with examples on sheaf theory and the derived category of sheaves sheaves and Morse theory perverse sheaves, and some applications to representation theory. Added Oct 2021 cellular perverse sheaves. Proofs are outlined with references for further details.


A Behavioural Analysis of Credulous Twitter Users. Thanks to platforms such as Twitter and Facebook, people can know facts and events that otherwise would have been silenced. However, social media significantly contribute also to fast spreading biased and false news while targeting specific segments of the population. We have seen how false information can be spread using automated accounts, known as bots. Using Twitter as a benchmark, we investigate behavioural attitudes of so called credulous' users, i.e., genuine accounts following many bots. Leveraging our previous work, where supervised learning is successfully applied to single out credulous users, we improve the classification task with a detailed features' analysis and provide evidence that simple and lightweight features are crucial to detect such users. Furthermore, we study the differences in the way credulous and not credulous users interact with bots and discover that credulous users tend to amplify more the content posted by bots and argue that their detection can be instrumental to get useful information on possible dissemination of spam content, propaganda, and, in general, little or no reliable information.


Ad invariant metrics on nonnice nilpotent Lie algebras. We proved in previous work that all real nilpotent Lie algebras of dimension up to 10 carrying an ad invariant metric are nice. In this paper we show by constructing explicit examples that nonnice irreducible nilpotent Lie algebras admitting an ad invariant metric exist for every dimension greater than 10 and every nilpotency step greater than 2 .


Nonlinear evolution of internal gravity waves in the Earth's ionosphere Analytical and numerical approach. The nonlinear propagation of internal gravity waves in the weakly ionized, incompressible Earth's ionosphere is studied using the fluid theory approach. Previous theory in the literature is advanced by the effects of the terrestrial inhomogeneous magnetic field embedded in weakly ionized ionospheric layers ranging in altitude from about 50 to 500 km. It is shown that the ionospheric conducting fluids can support the formation of solitary dipolar vortices (or modons). Both analytical and numerical solutions of the latter are obtained and analyzed. It is found that in absence of the Pedersen conductivity, different vortex structures with different space localization can be formed which can move with the supersonic velocity without any energy loss. However, its presence can cause the amplitude of the solitary vortices to decay with time and the vortex structure can completely disappear owing to the energy loss. Such energy loss can be delayed, i.e., the vortex structure can prevail for relatively a longer time if the nonlinear effects associated with either the stream function or the density variation become significantly higher than the dissipation due to the Pedersen conductivity. The main characteristic dynamic parameters are also defined which are in good correlation with the existing experimental data.


Leveraging AI to optimize website structure discovery during Penetration Testing. Dirbusting is a technique used to brute force directories and file names on web servers while monitoring HTTP responses, in order to enumerate server contents. Such a technique uses lists of common words to discover the hidden structure of the target website. Dirbusting typically relies on response codes as discovery conditions to find new pages. It is widely used in web application penetration testing, an activity that allows companies to detect websites vulnerabilities. Dirbusting techniques are both time and resource consuming and innovative approaches have never been explored in this field. We hence propose an advanced technique to optimize the dirbusting process by leveraging Artificial Intelligence. More specifically, we use semantic clustering techniques in order to organize wordlist items in different groups according to their semantic meaning. The created clusters are used in an ad hoc implemented next word intelligent strategy. This paper demonstrates that the usage of clustering techniques outperforms the commonly used brute force methods. Performance is evaluated by testing eight different web applications. Results show a performance increase that is up to 50 for each of the conducted experiments.


Balanced subdivisions of a large clique in graphs with high average degree. We show that for sufficiently large d , every n vertex graph with average degree at least d contains a subdivision of a complete graph of size at least Omega(d 1 2 log 10 n) in which each edge is subdivided the same number of times.


Is Shapley Value fair? Improving Client Selection for Mavericks in Federated Learning. Shapley Value is commonly adopted to measure and incentivize client participation in federated learning. In this paper, we show theoretically and through simulations that Shapley Value underestimates the contribution of a common type of client the Maverick. Mavericks are clients that differ both in data distribution and data quantity and can be the sole owners of certain types of data. Selecting the right clients at the right moment is important for federated learning to reduce convergence times and improve accuracy. We propose FedEMD, an adaptive client selection strategy based on the Wasserstein distance between the local and global data distributions. As FedEMD adapts the selection probability such that Mavericks are preferably selected when the model benefits from improvement on rare classes, it consistently ensures the fast convergence in the presence of different types of Mavericks. Compared to existing strategies, including Shapley Value based ones, FedEMD improves the convergence of neural network classifiers by at least 26.9 for FedAvg aggregation compared with the state of the art.


Modeling spatial waves of Wolbachia invasion for controlling mosquito borne diseases. Wolbachia is a natural bacterium that can infect mosquitoes and reduce their ability to transmit mosquito borne diseases, such as dengue fever, Zika, and chikungunya. Field trials and modeling studies have shown that the fraction of infection among the mosquitoes must exceed a threshold level for the infection to persist. To capture this threshold, it is critical to consider the spatial heterogeneity in the distributions of the infected and uninfected mosquitoes, which is created by the local release of the infected mosquitoes. We develop and analyze partial differential equation (PDE) models to study the invasion dynamics of Wolbachia infection among mosquitoes in the field. Our reaction diffusion type models account for both the complex vertical transmission and the spatial mosquito dispersion. We characterize the threshold for a successful invasion, which is a bubble shaped profile, called the "critical bubble". The critical bubble is optimal in its release size compared to other spatial profiles in a one dimensional landscape. The fraction of infection near the release center is higher than the threshold level for the corresponding homogeneously mixing ODE models. We show that the proposed spatial models give rise to the traveling waves of Wolbachia infection when above the threshold. We quantify how the threshold condition and traveling wave velocity depend on the diffusion coefficients and other model parameters. Numerical studies for different scenarios are presented to inform the design of release strategies.


Unifying Lower Bounds on Prediction Dimension of Consistent Convex Surrogates. Given a prediction task, understanding when one can and cannot design a consistent convex surrogate loss, particularly a low dimensional one, is an important and active area of machine learning research. The prediction task may be given as a target loss, as in classification and structured prediction, or simply as a (conditional) statistic of the data, as in risk measure estimation. These two scenarios typically involve different techniques for designing and analyzing surrogate losses. We unify these settings using tools from property elicitation, and give a general lower bound on prediction dimension. Our lower bound tightens existing results in the case of discrete predictions, showing that previous calibration based bounds can largely be recovered via property elicitation. For continuous estimation, our lower bound resolves on open problem on estimating measures of risk and uncertainty.


Scalable adaptive PDE solvers in arbitrary domains. Efficiently and accurately simulating partial differential equations (PDEs) in and around arbitrarily defined geometries, especially with high levels of adaptivity, has significant implications for different application domains. A key bottleneck in the above process is the fast construction of a good' adaptively refined mesh. In this work, we present an efficient novel octree based adaptive discretization approach capable of carving out arbitrarily shaped void regions from the parent domain an essential requirement for fluid simulations around complex objects. Carving out objects produces an textit incomplete octree. We develop efficient top down and bottom up traversal methods to perform finite element computations on textit incomplete octrees. We validate the framework by (a) showing appropriate convergence analysis and (b) computing the drag coefficient for flow past a sphere for a wide range of Reynolds numbers ( mathcal O (1 10 6) ) encompassing the drag crisis regime. Finally, we deploy the framework on a realistic geometry on a current project to evaluate COVID 19 transmission risk in classrooms.


The Next 700 Program Transformers. In this paper, we describe a hierarchy of program transformers in which the transformer at each level of the hierarchy builds on top of those at lower levels. The program transformer at level 1 of the hierarchy corresponds to positive supercompilation, and that at level 2 corresponds to distillation. We prove that the transformers at each level terminate. We then consider the speedups that can be obtained at each level in the hierarchy, and try to characterise the improvements that can be made.


Stable Neural ODE with Lyapunov Stable Equilibrium Points for Defending Against Adversarial Attacks. Deep neural networks (DNNs) are well known to be vulnerable to adversarial attacks, where malicious human imperceptible perturbations are included in the input to the deep network to fool it into making a wrong classification. Recent studies have demonstrated that neural Ordinary Differential Equations (ODEs) are intrinsically more robust against adversarial attacks compared to vanilla DNNs. In this work, we propose a stable neural ODE with Lyapunov stable equilibrium points for defending against adversarial attacks (SODEF). By ensuring that the equilibrium points of the ODE solution used as part of SODEF is Lyapunov stable, the ODE solution for an input with a small perturbation converges to the same solution as the unperturbed input. We provide theoretical results that give insights into the stability of SODEF as well as the choice of regularizers to ensure its stability. Our analysis suggests that our proposed regularizers force the extracted feature points to be within a neighborhood of the Lyapunov stable equilibrium points of the ODE. SODEF is compatible with many defense methods and can be applied to any neural network's final regressor layer to enhance its stability against adversarial attacks.


A Comparative Study of Coarse to Dense 3D Indoor Scene Registration Algorithms. 3D alignment has become a very important part of 3D scanning technology. For instance, we can divide the alignment process into four steps key point detection, key point description, initial pose estimation, and alignment refinement. Researchers have contributed several approaches to the literature for each step, which suggests a natural need for a comparative study for an educated more appropriate choice. In this work, we propose a description and an evaluation of the different methods used for 3D registration with special focus on RGB D data to find the best combinations that permit a complete and more accurate 3D reconstruction of indoor scenes with cheap depth cameras.


A Small Step Operational Semantics for GP 2. The operational semantics of a programming language is said to be small step if each transition step is an atomic computation step in the language. A semantics with this property faithfully corresponds to the implementation of the language. The previous semantics of the graph programming language GP 2 is not fully small step because the loop and branching commands are defined in big step style. In this paper, we present a truly small step operational semantics for GP 2 which, in particular, accurately models diverging computations. To obtain small step definitions of all commands, we equip the transition relation with a stack of host graphs and associated operations. We prove that the new semantics is non blocking in that every computation either diverges or eventually produces a result graph or the failure state. We also show the finite nondeterminism property, viz. that each configuration has only a finite number of direct successors. The previous semantics of GP 2 is neither non blocking nor does it have the finite nondeterminism property. We also show that, for a program and a graph that terminate, both semantics are equivalent, and that the old semantics can be simulated with the new one.


Boosting Search Engines with Interactive Agents. This paper presents first successful steps in designing agents that learn meta strategies for iterative query refinement. Our approach uses machine reading to guide the selection of refinement terms from aggregated search results. Agents are then empowered with simple but effective search operators to exert fine grained and transparent control over queries and search results. We develop a novel way of generating synthetic search sessions, which leverages the power of transformer based language models through (self )supervised learning. We also present a reinforcement learning agent with dynamically constrained actions that learns interactive search strategies from scratch. We obtain retrieval and answer quality performance comparable to recent neural methods using a traditional term based BM25 ranking function. We provide an in depth analysis of the search policies.


Mathematical models to explain the origin of urban scaling laws a synthetic review. The quest for a theory of cities that could offer a quantitative and systematic approach to manage cities is at the top priority, given the challenges humanity faces due to the increasing urbanization and densification of cities. If such a theory is feasible, then its formulation must be in a mathematical way. As a contribution to organizing the mathematical ideas that deal with such a systematic way of understanding urban phenomena, we present this material, concentrating on one important aspect of what recently has been called the new science of cities. In this paper, we review the main mathematical models present in the literature that aim at explaining the origin and emergence of urban scaling. We intend to present the models, identify similarities and connections between them, and find situations in which different models lead to the same output. In addition, we report situations in which some ideas initially introduced in a particular model can also be introduced in another model, generating more diversification and increasing the scope of the models. The models treated in this paper explain urban scaling from different premises from gravity ideas, passing through densification ideas and cites' geometry, to a hierarchical organization and socio network properties. We also investigate scenarios in which these different fundamental ideas could be interpreted as similar where the similarity is likely but not obvious. Furthermore, in what concerns the gravity idea, we propose a general framework that includes all gravity models analyzed as a particular case.


Forcing nonperiodic tilings with one tile using a seed. The so called "einstein problem" (a pun playing with the famous scientist's name and the German term "ein Stein" for "one stone") asks for a simply connected prototile only allowing nonperiodic tilings without need of any matching rule. So far, researchers come only close to this demand by defining decorated prototiles forcing nonperiodicity of any generated tiling using matching rules. In this paper a class of spiral tilings (and one non spiral example) is linked to a weaker form of the einstein problem where one or several seed tiles are used. Furthermore, the classical types of matching rules are listed and some new types are discussed.


Relation aware Heterogeneous Graph for User Profiling. User profiling has long been an important problem that investigates user interests in many real applications. Some recent works regard users and their interacted objects as entities of a graph and turn the problem into a node classification task. However, they neglect the difference of distinct interaction types, e.g. user clicks an item v.s.user purchases an item, and thus cannot incorporate such information well. To solve these issues, we propose to leverage the relation aware heterogeneous graph method for user profiling, which also allows capturing significant meta relations. We adopt the query, key, and value mechanism in a transformer fashion for heterogeneous message passing so that entities can effectively interact with each other. Via such interactions on different relation types, our model can generate representations with rich information for the user profile prediction. We conduct experiments on two real world e commerce datasets and observe a significant performance boost of our approach.


Mean dimension and a non embeddable example for amenable group actions. For every infinite (countable discrete) amenable group G and every positive integer d we construct a minimal G action of mean dimension d 2 which cannot be embedded in the full G shift on ( 0,1 d) G .


Greatest common divisors for polynomials in almost units and applications to linear recurrence sequences. We bound the greatest common divisor of two coprime multivariable polynomials evaluated at algebraic numbers, generalizing work of Levin, and going towards conjectured inequalities of Silverman and Vojta. As an application, we prove results on greatest common divisors of terms from two linear recurrence sequences, extending the results of Levin, who considered the case where the linear recurrences are simple, and improving recent results of Grieve and Wang. The proofs rely on Schmidt's Subspace Theorem.


Localization and flexibilization in symplectic geometry. We introduce the critical Weinstein category the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms and construct localizing P flexibilization' endofunctors indexed by collections P of Lagrangian disks in the stabilization of a point T D 0 . Like the classical localization of topological spaces studied by Quillen, Sullivan, and others, these functors are homotopy invariant and localizing on algebraic invariants like the Fukaya category. Furthermore, these functors generalize the flexibilization' operation introduced by Cieliebak Eliashberg and Murphy and the homologous recombination' construction of Abouzaid Seidel. In particular, we give an h principle free proof that flexibilization is idempotent and independent of presentation, up to subcriticals and stabilization. In fact, we show that P flexibilization is a multiplicative localization of the critical Weinstein category, and hence gives rise to a new way of constructing commutative algebra objects from symplectic geometry.


Robot Skill Adaptation via Soft Actor Critic Gaussian Mixture Models. A core challenge for an autonomous agent acting in the real world is to adapt its repertoire of skills to cope with its noisy perception and dynamics. To scale learning of skills to long horizon tasks, robots should be able to learn and later refine their skills in a structured manner through trajectories rather than making instantaneous decisions individually at each time step. To this end, we propose the Soft Actor Critic Gaussian Mixture Model (SAC GMM), a novel hybrid approach that learns robot skills through a dynamical system and adapts the learned skills in their own trajectory distribution space through interactions with the environment. Our approach combines classical robotics techniques of learning from demonstration with the deep reinforcement learning framework and exploits their complementary nature. We show that our method utilizes sensors solely available during the execution of preliminarily learned skills to extract relevant features that lead to faster skill refinement. Extensive evaluations in both simulation and real world environments demonstrate the effectiveness of our method in refining robot skills by leveraging physical interactions, high dimensional sensory data, and sparse task completion rewards. Videos, code, and pre trained models are available at url http sac gmm.cs.uni freiburg.de .


On the Overlooked Significance of Underutilized Contextual Features in Recent News Recommendation Models. Personalized news recommendation aims to provide attractive articles for readers by predicting their likelihood of clicking on a certain article. To accurately predict this probability, plenty of studies have been proposed that actively utilize content features of articles, such as words, categories, or entities. However, we observed that the articles' contextual features, such as CTR (click through rate), popularity, or freshness, were either neglected or underutilized recently. To prove that this is the case, we conducted an extensive comparison between recent deep learning models and naive contextual models that we devised and surprisingly discovered that the latter easily outperforms the former. Furthermore, our analysis showed that the recent tendency to apply overly sophisticated deep learning operations to contextual features was actually hindering the recommendation performance. From this knowledge, we design a purposefully simple contextual module that can boost the previous news recommendation models by a large margin.


Hessian barrier algorithms for non convex conic optimization. We consider the minimization of a continuous function over the intersection of a regular cone with an affine set via a new class of adaptive first and second order optimization methods, building on the Hessian barrier techniques introduced in Bomze, Mertikopoulos, Schachinger, and Staudigl, Hessian barrier algorithms for linearly constrained optimization problems, SIAM Journal on Optimization, 2019 . Our approach is based on a potential reduction mechanism and attains a suitably defined class of approximate first or second order KKT points with the optimal worst case iteration complexity O( varepsilon 2 ) (first order) and O( varepsilon 3 2 ) (second order), respectively. A key feature of our methodology is the use of self concordant barrier functions to construct strictly feasible iterates via a disciplined decomposition approach and without sacrificing on the iteration complexity of the method. To the best of our knowledge, this work is the first which achieves these worst case complexity bounds under such weak conditions for general conic constrained optimization problems.