Security Issues and Challenges in Service Meshes An Extended Study. Service meshes have emerged as an attractive DevOps solution for collecting, managing, and coordinating microservice deployments. However, current service meshes leave fundamental security mechanisms missing or incomplete. The security burden means service meshes may actually cause additional workload and overhead for administrators over traditional monolithic systems. By assessing the effectiveness and practicality of service mesh tools, this work provides necessary insights into the available security of service meshes. We evaluate service meshes from two perspectives skilled system administrators (who deploy optimal configurations of available security mechanisms) and default configurations. Under these two models, we consider a comprehensive set of adversarial scenarios and uncover important design flaws with contradicting goals, as well as the limitations and challenges encountered in employing service mesh tools for operational environments.


Identification of Parameters for Large scale Kinetic Models. Inverse problem for the identification of the parameters for large scale systems of nonlinear ordinary differential equations (ODEs) arising in systems biology is analyzed. In a recent paper in textit Mathematical Biosciences, 305(2018), 133 145 , the authors implemented the numerical method suggested by one of the authors in textit J. Optim. Theory Appl., 85, 3(1995), 509 526 for identification of parameters in moderate scale models of systems biology. This method combines Pontryagin optimization or Bellman's quasilinearization with sensitivity analysis and Tikhonov regularization. We suggest modification of the method by embedding a method of staggered corrector for sensitivity analysis and by enhancing multi objective optimization which enables application of the method to large scale models with practically non identifiable parameters based on multiple data sets, possibly with partial and noisy measurements. We apply the modified method to a benchmark model of a three step pathway modeled by 8 nonlinear ODEs with 36 unknown parameters and two control input parameters. The numerical results demonstrate geometric convergence with a minimum of five data sets and with minimum measurements per data set. Software package textit qlopt is developed and posted in GitHub. MATLAB package AMIGO2 is used to demonstrate advantage of textit qlopt over most popular methods software such as textit lsqnonlin , textit fmincon and textit nl2sol .


DSAC Distributional Soft Actor Critic for Risk Sensitive Reinforcement Learning. In this paper, we present a new reinforcement learning (RL) algorithm called Distributional Soft Actor Critic (DSAC), which exploits the distributional information of accumulated rewards to achieve better performance. Seamlessly integrating SAC (which uses entropy to encourage exploration) with a principled distributional view of the underlying objective, DSAC takes into consideration the randomness in both action and rewards, and beats the state of the art baselines in several continuous control benchmarks. Moreover, with the distributional information of rewards, we propose a unified framework for risk sensitive learning, one that goes beyond maximizing only expected accumulated rewards. Under this framework we discuss three specific risk related metrics percentile, mean variance and distorted expectation. Our extensive experiments demonstrate that with distribution modeling in RL, the agent performs better for both risk averse and risk seeking control tasks.


ProxyNCA Revisiting and Revitalizing Proxy Neighborhood Component Analysis. We consider the problem of distance metric learning (DML), where the task is to learn an effective similarity measure between images. We revisit ProxyNCA and incorporate several enhancements. We find that low temperature scaling is a performance critical component and explain why it works. Besides, we also discover that Global Max Pooling works better in general when compared to Global Average Pooling. Additionally, our proposed fast moving proxies also addresses small gradient issue of proxies, and this component synergizes well with low temperature scaling and Global Max Pooling. Our enhanced model, called ProxyNCA , achieves a 22.9 percentage point average improvement of Recall 1 across four different zero shot retrieval datasets compared to the original ProxyNCA algorithm. Furthermore, we achieve state of the art results on the CUB200, Cars196, Sop, and InShop datasets, achieving Recall 1 scores of 72.2, 90.1, 81.4, and 90.9, respectively.


Analysis of a nonlinear free boundary tumor model with angiogenesis and a connection between the nonnecrotic and necrotic phases. This paper is concerned with a nonlinear free boundary problem modeling the growth of spherically symmetric tumors with angiogenesis, set with a Robin boundary condition. In which, both nonnecrotic tumors and necrotic tumors are taken into consideration. The well posedness and asymptotic behavior of solutions are studied. It is shown that there exist two thresholds, denoted by tilde sigma and sigma , on the surrounding nutrient concentration bar sigma . If bar sigma leq tilde sigma , then the considered problem admits no stationary solution and all evolutionary tumors will finally vanish, while if bar sigma tilde sigma , then it admits a unique stationary solution and all evolutionary tumors will converge to this dormant tumor moreover, the dormant tumor is nonnecrotic if tilde sigma bar sigma leq sigma and necrotic if bar sigma sigma . The connection and mutual transition between the nonnecrotic and necrotic phases are also given.


An algorithm for bounding extremal functions of forbidden sequences. Generalized Davenport Schinzel sequences are sequences that avoid a forbidden subsequence and have a sparsity requirement on their letters. Upper bounds on the lengths of generalized Davenport Schinzel sequences have been applied to a number of problems in discrete geometry and extremal combinatorics. Sharp bounds on the maximum lengths of generalized Davenport Schinzel sequences are known for some families of forbidden subsequences, but in general there are only rough bounds on the maximum lengths of most generalized Davenport Schinzel sequences. One method that was developed for finding upper bounds on the lengths of generalized Davenport Schinzel sequences uses a family of sequences called formations. An (r, s) formation is a concatenation of s permutations of r distinct letters. The formation width function fw(u) is defined as the minimum s for which there exists r such that every (r, s) formation contains u . The function fw(u) has been used with upper bounds on extremal functions of (r, s) formations to find tight bounds on the maximum possible lengths of many families of generalized Davenport Schinzel sequences. Algorithms have been found for computing fw(u) for sequences u of length n , but they have worst case run time exponential in n , even for sequences u with only three distinct letters. We present an algorithm for computing fw(u) with run time O(n alpha r ) , where r is the number of distinct letters in u and alpha r is a constant that only depends on r . We implement the new algorithm in Python and compare its run time to the next fastest algorithm for computing formation width. We also apply the new algorithm to find sharp upper bounds on the lengths of several families of generalized Davenport Schinzel sequences with 3 letter forbidden patterns.


Maximizing Clearance Rate by Penalizing Redundant Task Assignment in Mobile Crowdsensing Auctions. This research is concerned with the effectiveness of auctions based task assignment and management in centralized, participatory Mobile Crowdsensing (MCS) systems. During auctions, sensing tasks are matched with participants based on bids and incentives that are provided by the participants and the platform respectively. Recent literature addressed several challenges in auctions including untruthful bidding and malicious participants. Our recent work started addressing another challenge, namely, the maximization of clearance rate (CR) in sensing campaigns, i.e., the percentage of the accomplished sensing tasks. In this research, we propose a new objective function for matching tasks with participants, in order to achieve CR maximized, reputation aware auctions. Particularly, we penalize redundant task assignment, where a task is assigned to multiple participants, which can consume the budget unnecessarily. We observe that the less the bidders on a certain task, the higher the priority it should be assigned, to get accomplished. Hence, we introduce a new factor, the task redundancy factor in managing auctions. Through extensive simulations under varying conditions of sensing campaigns, and given a fixed budget, we show that penalizing redundancy (giving higher priority to unpopular tasks) yields significant CR increases of approximately 50 , compared to the highest clearance rates in the recent literature.


Irrational slope versions of Thompson's groups T and V . In this paper we consider the T and V versions, T tau and V tau , of the irrational slope Thompson group F tau considered in 3 . We give infinite presentations for these groups and show how they can be represented by tree pair diagrams similar to those for T and V . We also show that T tau and V tau have index 2 normal subgroups, unlike their original Thompson counterparts T and V . These index 2 subgroups are shown to be simple.


Robot Assisted Mindfulness Practice Analysis of Neurophysiological Responses and Affective State Change. Mindfulness is the state of paying attention to the present moment on purpose and meditation is the technique to obtain this state. This study aims to develop a robot assistant that facilitates mindfulness training by means of a Brain Computer Interface (BCI) system. To achieve this goal, we collected EEG signals from two groups of subjects engaging in a meditative vs. nonmeditative human robot interaction (HRI) and evaluated cerebral hemispheric asymmetry, which is recognized as a well defined indicator of emotional states. Moreover, using self reported affective states, we strived to explain asymmetry changes based on pre and post experiment mood alterations. We found that unlike earlier meditation studies, the frontocentral activations in alpha and theta frequency bands were not influenced by robot guided mindfulness practice, however there was a significantly greater right sided activity in the occipital gamma band of Meditation group, which is attributed to increased sensory awareness and open monitoring. In addition, there was a significant main effect of Time on participants self reported affect, indicating an improved mood after interaction with the robot regardless of the interaction type. Our results suggest that EEG responses during robot guided meditation hold promise in realtime detection and neurofeedback of mindful state to the user, however the experienced neurophysiological changes may differ based on the meditation practice and recruited tools. This study is the first to report EEG changes during mindfulness practice with a robot. We believe that our findings driven from an ecologically valid setting, can be used in development of future BCI systems that are integrated with social robots for health applications.


On a theorem of Grove and Searle. A theorem of Grove and Searle directly establishes that positive curvature 2d manifolds M with effective circular symmetry group of dimension 8 or less have positive Euler characteristic X(M) the fixed point set N consists of even dimensional positive curvature manifolds and has the Euler characteristic X(N) X(M). It is not empty by Berger. If N has a co dimension 2 component, Grove Searle forces M to be in RP 2d,S 2d,CP d . By Frankel, there can be not two codimension 2 cases. In the remaining cases, Gauss Bonnet Chern forces all to have positive Euler characteristic. This simple proof does not quite reach the record 10 or less which uses methods of Wilking but it motivates to analyze the structure of fixed point components N and in particular to look at positive curvature manifolds which admit a U(1) or SU(2) symmetry with connected or almost connected fixed point set N. They have amazing geodesic properties the fixed point manifold N agrees with the caustic of each of its points and the geodesic flow is integrable. In full generality, the Lefschetz fixed point property X(N) X(M) and Frankel's dimension theorem dim(M) is less than dim(A) dim(B) for two different connectivity components A,B of N produce already heavy constraints in building up M from smaller components. It is possible that S 2d, RP 2d, CP d, HP d, OP 2, W 6,E 6,W 12,W 24 are actually a complete list of even dimensional positive curvature manifolds admitting a continuum symmetry. Aside from the projective spaces, the Euler characteristic of the known cases is always 1,2 or 6, where the jump from 2 to 6 happened with the Wallach or Eschenburg manifolds W 6,E 6 which have four fixed point components N S 2 S 2 S 0, the only known case which are not of the Grove Searle form N N 1 or N N 1 p with connected N 1.


Codes for Distributed Storage. This chapter deals with the topic of designing reliable and efficient codes for the storage and retrieval of large quantities of data over storage devices that are prone to failure. For long, the traditional objective has been one of ensuring reliability against data loss while minimizing storage overhead. More recently, a third concern has surfaced, namely of the need to efficiently recover from the failure of a single storage unit, corresponding to recovery from the erasure of a single code symbol. We explain here, how coding theory has evolved to tackle this fresh challenge.


A reflective mm wave photonic limiter. Millimeter wave (mm wave) communications and radar receivers capable of processing small signals must be protected from high power signals, which can damage sensitive receiver components. Many of these systems arguably can be protected by using photonic limiting techniques, in addition to electronic limiting circuits in receiver front ends. Here we demonstrate, experimentally and numerically, a free space, reflective mm wave limiter based on a multilayer structure involving a nanolayer of vanadium dioxide (VO2), experiencing a thermal insulator to metal transition. The multilayer acts as a variable reflector, controlled by the input power. At low input power levels, VO2 remains dielectric, and the multilayer exhibits resonant transmittance. When the input power exceeds a threshold level, the emerging metallic phase renders the multilayer highly reflective while dissipating a small portion of the input power without damage to the limiter. In the case of a Gaussian beam, the limiter has a nearly constant output above the limiting threshold input.


The steady state degree and mixed volume of a chemical reaction network. The steady state degree of a chemical reaction network is the number of complex steady states, which is a measure of the algebraic complexity of solving the steady state system. In general, the steady state degree may be difficult to compute. Here, we give an upper bound to the steady state degree of a reaction network by utilizing the underlying polyhedral geometry associated with the corresponding polynomial system. We focus on three case studies of infinite families of networks, each generated by joining smaller networks to create larger ones. For each family, we give a formula for the steady state degree and the mixed volume of the corresponding polynomial system.


US faces endemic Covid 19 infections and deaths ways to stop the pandemic. A new epidemic model for Covid 19 has been constructed and simulated for eight US states. The coefficients for this model, based on seven coupled differential equations, are carefully evaluated against recorded data on cases and deaths. These projections reveal that Covid 19 will become endemic, spreading for more than two years. If stay at home orders are relaxed, most states may experience a secondary peak in 2021. The number of Covid 19 deaths could have been significantly lower in most states that opened up, if lockdowns had been maintained. Additionally, our model predicts that decreasing contact rate by 10 , or increasing testing by approximately 15 , or doubling lockdown compliance (from the current sim 15 ) will eradicate infections in Texas within a year. Applied to the entire US, the predictions based on the current situation indicate about 11 million total infections (including undetected), 8 million cumulative confirmed cases, and 630,000 cumulative deaths by November 1, 2020.


What If Your Car Would Care? Exploring Use Cases For Affective Automotive User Interfaces. In this paper we present use cases for affective user interfaces (UIs) in cars and how they are perceived by potential users in China and Germany. Emotion aware interaction is enabled by the improvement of ubiquitous sensing methods and provides potential benefits for both traffic safety and personal well being. To promote the adoption of affective interaction at an international scale, we developed 20 mobile in car use cases through an inter cultural design approach and evaluated them with 65 drivers in Germany and China. Our data shows perceived benefits in specific areas of pragmatic quality as well as cultural differences, especially for socially interactive use cases. We also discuss general implications for future affective automotive UI. Our results provide a perspective on cultural peculiarities and a concrete starting point for practitioners and researchers working on emotion aware interfaces.


Hyperbolization and regular neighborhoods. We show that the hyperbolization of polyhedra pulls back regular neighborhoods of PL submanifolds. Applying this to the Riemannian version of the hyperbolization due to Ontaneda gives open complete manifolds of pinched negative curvature that are homotopy equivalent to closed smooth manifolds but contain no smooth spines. We also find open complete negatively pinched manifolds that are homotopy equivalent to closed non smoothable manifolds.


Learning Embeddings for Image Clustering An Empirical Study of Triplet Loss Approaches. In this work, we evaluate two different image clustering objectives, k means clustering and correlation clustering, in the context of Triplet Loss induced feature space embeddings. Specifically, we train a convolutional neural network to learn discriminative features by optimizing two popular versions of the Triplet Loss in order to study their clustering properties under the assumption of noisy labels. Additionally, we propose a new, simple Triplet Loss formulation, which shows desirable properties with respect to formal clustering objectives and outperforms the existing methods. We evaluate all three Triplet loss formulations for K means and correlation clustering on the CIFAR 10 image classification dataset.


Category O for Takiff sl 2. We investigate various ways to define an analogue of BGG category mathcal O for the non semi simple Takiff extension of the Lie algebra mathfrak sl 2 . We describe Gabriel quivers for blocks of these analogues of category mathcal O and prove extension fullness of one of them in the category of all modules.


Normal hyperbolicity for non autonomous oscillators and oscillator networks. This chapter presents a view of a non autonomous oscillator as a mapping from input functions of time to a circle of possible solutions (state functions of time). It indicates how this view encompasses chronotaxic systems and enables one, at least conceptually, to understand the extent of synchronisation in networks of oscillators, whether autonomous or not. For the latter a hierarchical aggregation scheme is introduced. The approach is based on the theory of normal hyperbolicity.


Short Character Sums and the P ' o lya Vinogradov Inequality. We show in a quantitative way that any odd character chi modulo q of fixed order g geq 2 satisfies the property that if the P ' o lya Vinogradov inequality for chi can be improved to max 1 leq t leq q left sum n leq t chi(n) right o q rightarrow infty ( sqrt q log q) then for any epsilon 0 one may exhibit cancellation in partial sums of chi on the interval 1,t whenever t q epsilon , i.e., sum n leq t chi(n) o q rightarrow infty (t) text for all t q epsilon . This generalizes and extends a result of Fromm and Goldmakher. We also prove a converse implication, to the effect that if all odd primitive characters of fixed order dividing g exhibit cancellation in short sums then the P ' o lya Vinogradov inequality can be improved for all odd primitive characters of order g . Some applications are also discussed.


TEDL A Text Encryption Method Based on Deep Learning. Recent years have seen an increasing emphasis on information security, and various encryption methods have been proposed. However, for symmetric encryption methods, the well known encryption techniques still rely on the key space to guarantee security and suffer from frequent key updating. Aiming to solve those problems, this paper proposes a novel text encryption method based on deep learning called TEDL, where the secret key includes hyperparameters in deep learning model and the core step of encryption is transforming input data into weights trained under hyperparameters. Firstly, both communication parties establish a word vector table by training a deep learning model according to specified hyperparameters. Then, a self update codebook is constructed on the word vector table with the SHA 256 function and other tricks. When communication starts, encryption and decryption are equivalent to indexing and inverted indexing on the codebook, respectively, thus achieving the transformation between plaintext and ciphertext. Results of experiments and relevant analyses show that TEDL performs well for security, efficiency, generality, and has a lower demand for the frequency of key redistribution. Especially, as a supplement to current encryption methods, the time consuming process of constructing a codebook increases the difficulty of brute force attacks while not degrade the communication efficiency.


The Many AI Challenges of Hearthstone. Games have benchmarked AI methods since the inception of the field, with classic board games such as Chess and Go recently leaving room for video games with related yet different sets of challenges. The set of AI problems associated with video games has in recent decades expanded from simply playing games to win, to playing games in particular styles, generating game content, modeling players etc. Different games pose very different challenges for AI systems, and several different AI challenges can typically be posed by the same game. In this article we analyze the popular collectible card game Hearthstone (Blizzard 2014) and describe a varied set of interesting AI challenges posed by this game. Collectible card games are relatively understudied in the AI community, despite their popularity and the interesting challenges they pose. Analyzing a single game in depth in the manner we do here allows us to see the entire field of AI and Games through the lens of a single game, discovering a few new variations on existing research topics.


Demystifying the Performance of HPC Scientific Applications on NVM based Memory Systems. The emergence of high density byte addressable non volatile memory (NVM) is promising to accelerate data and compute intensive applications. Current NVM technologies have lower performance than DRAM and, thus, are often paired with DRAM in a heterogeneous main memory. Recently, byte addressable NVM hardware becomes available. This work provides a timely evaluation of representative HPC applications from the "Seven Dwarfs" on NVM based main memory. Our results quantify the effectiveness of DRAM cached NVM for accelerating HPC applications and enabling large problems beyond the DRAM capacity. On uncached NVM, HPC applications exhibit three tiers of performance sensitivity, i.e., insensitive, scaled, and bottlenecked. We identify write throttling and concurrency control as the priorities in optimizing applications. We highlight that concurrency change may have a diverging effect on read and write accesses in applications. Based on these findings, we explore two optimization approaches. First, we provide a prediction model that uses datasets from a small set of configurations to estimate performance at various concurrency and data sizes to avoid exhaustive search in the configuration space. Second, we demonstrate that write aware data placement on uncached NVM could achieve 2 x performance improvement with a 60 reduction in DRAM usage.


Annotation free Learning of Deep Representations for Word Spotting using Synthetic Data and Self Labeling. Word spotting is a popular tool for supporting the first exploration of historic, handwritten document collections. Today, the best performing methods rely on machine learning techniques, which require a high amount of annotated training material. As training data is usually not available in the application scenario, annotation free methods aim at solving the retrieval task without representative training samples. In this work, we present an annotation free method that still employs machine learning techniques and therefore outperforms other learning free approaches. The weakly supervised training scheme relies on a lexicon, that does not need to precisely fit the dataset. In combination with a confidence based selection of pseudo labeled training samples, we achieve state of the art query by example performances. Furthermore, our method allows to perform query by string, which is usually not the case for other annotation free methods.


Diagonals between mathcal Q distributors. For a small quantaloid mathcal Q , it is shown that the category of mathcal Q distributors and diagonals is equivalent to a quotient category of the category of mathcal Q interior spaces and continuous mathcal Q distributors. Kan adjunctions induced by mathcal Q distributors play a crucial role in establishing this equivalence.


Augmenting Geometric Graphs with Matchings. We study noncrossing geometric graphs and their disjoint compatible geometric matchings. Given a cycle (a polygon) P we want to draw a set of pairwise disjoint straight line edges with endpoints on the vertices of P such that these new edges neither cross nor contain any edge of the polygon. We prove NP completeness of deciding whether there is such a perfect matching. For any n vertex polygon, with n 3, we show that such a matching with less than n 7 edges is not maximal, that is, it can be extended by another compatible matching edge. We also construct polygons with maximal compatible matchings with n 7 edges, demonstrating the tightness of this bound. Tight bounds on the size of a minimal maximal compatible matching are also obtained for the families of d regular geometric graphs for each d in 0,1,2 . Finally we consider a related problem. We prove that it is NP complete to decide whether a noncrossing geometric graph G admits a set of compatible noncrossing edges such that G together with these edges has minimum degree five.


Equivalence classes of small tilings of the Hamming cube. The study of tilings is a major problem in many mathematical instances, which is studied in two main different approaches when considering the existence (or obstructions to the existence) of a tiling with a given tile and the other considering classification of tilings. Considering the Hamming cube mathbb F 2 n , the small tilings, that is, tilings considering tiles with 8 2 3 elements, were classified in cite vardy . The authors list a total of 193 different tiles. As the authors noted, many of those tiles can be obtained one from the other by a linear map. In this work, we are concerned with a particular class of linear maps, the class of permutations of coordinates. This is of interest since a permutation is an isometry of the Hamming cube, considering the Hamming metric. We show here that, up to an isometry, all those 193 tiles can be reduced to 15 classes. The proof is done by explicitly showing the permutation (represented in cycles) that identify each tile with a given representative.


Automatic Scansion of Spanish Poetry without Syllabification. In recent years, several systems of automated metric analysis of Spanish poetry have emerged. These systems rely on complex methods of syllabification and stress assignment, which use PoS tagging libraries, whose computational cost is high. This cost increases with the calculation of metric ambiguities. Furthermore, they do not consider determining issues in syllabic count such as the phenomena of compensation between hemistichs of verses of more than eleven syllables. However, it is possible to carry out an informative and accurate metric analysis without using these costly methods. We propose an algorithm that performs accurate scansion (number of syllables, stress pattern and type of verse) without syllabification. It addresses metric ambiguities and takes into account the hemistichs compensation. Our algorithm outperforms the current state of the art by 2 in fixed metre poetry, and 25 in mixed metre poetry. It also runs 21 and 25 times faster, respectively. Finally, a desktop application is offered as a tool for researchers of Spanish poetry.


Random trees in the boundary of Outer space. We prove that for the harmonic measure associated to a random walk on Out (F r) satisfying some mild conditions, a typical tree in the boundary of Outer space is trivalent and nongeometric. This answers a question of M. Bestvina.


On the Convergence of Quantized Parallel Restarted SGD for Central Server Free Distributed Training. Communication is a crucial phase in the context of distributed training. Because parameter server (PS) frequently experiences network congestion, recent studies have found that training paradigms without a centralized server outperform the traditional server based paradigms in terms of communication efficiency. However, with the increasing growth of model sizes, these server free paradigms are also confronted with substantial communication overhead that seriously deteriorates the performance of distributed training. In this paper, we focus on communication efficiency of two serverless paradigms, i.e., Ring All Reduce (RAR) and gossip, by proposing the Quantized Parallel Restarted Stochastic Gradient Descent (QPRSGD), an algorithm that allows multiple local SGD updates before a global synchronization, in synergy with the quantization to significantly reduce the communication overhead. We establish the bound of accumulative errors according to the synchronization mode and the network topology, which is essential to ensure the convergence property. Under both aggregation paradigms, the algorithm achieves the linear speedup property with respect to the number of local updates as well as the number of workers. Remarkably, the proposed algorithm achieves a convergence rate O(1 sqrt NK 2M ) under the gossip paradigm and outperforms all existing compression methods, where N is the times of global synchronizations, and K is the number of local updates, while M is the number of nodes. An empirical study on various machine learning models demonstrates that the communication overhead is reduced by 90 , and the convergence speed is boosted by up to 18.6 times, in a low bandwidth network, in comparison with Parallel SGD.


Generalized representation stability for disks in a strip and no k equal spaces. For fixed j and w, we study the j th homology of the configuration space of n labeled disks of width 1 in an infinite strip of width w. As n grows, the homology groups grow exponentially in rank, suggesting a generalized representation stability as defined by Church Ellenberg Farb and Ramos. We prove this generalized representation stability for the strip of width 2, leaving open the case of w 2. We also prove it for the configuration space of n labeled points in the line, of which no k are equal.


A Neural Turing Machine for Conditional Transition Graph Modeling. Graphs are an essential part of many machine learning problems such as analysis of parse trees, social networks, knowledge graphs, transportation systems, and molecular structures. Applying machine learning in these areas typically involves learning the graph structure and the relationship between the nodes of the graph. However, learning the graph structure is often complex, particularly when the graph is cyclic, and the transitions from one node to another are conditioned such as graphs used to represent a finite state machine. To solve this problem, we propose to extend the memory based Neural Turing Machine (NTM) with two novel additions. We allow for transitions between nodes to be influenced by information received from external environments, and we let the NTM learn the context of those transitions. We refer to this extension as the Conditional Neural Turing Machine (CNTM). We show that the CNTM can infer conditional transition graphs by empirically verifiying the model on two data sets a large set of randomly generated graphs, and a graph modeling the information retrieval process during certain crisis situations. The results show that the CNTM is able to reproduce the paths inside the graph with accuracy ranging from 82,12 for 10 nodes graphs to 65,25 for 100 nodes graphs.


On the l p stability estimates for stochastic and deterministic difference equations and their application to SPDEs and PDEs. In this paper we develop the l p theory of space time stochastic difference equations which can be considered as a discrete counterpart of N.V. Krylov's L p theory of stochastic partial differential equations. We also prove a Calderon Zygmund type estimate for deterministic parabolic finite difference schemes with variable coefficients under relaxed assumptions on the coefficients, the initial data and the forcing term.


Towards Purely Unsupervised Disentanglement of Appearance and Shape for Person Images Generation. There have been a fairly of research interests in exploring the disentanglement of appearance and shape from human images. Most existing endeavours pursuit this goal by either using training images with annotations or regulating the training process with external clues such as human skeleton, body segmentation or cloth patches etc. In this paper, we aim to address this challenge in a more unsupervised manner we do not require any annotation nor any external task specific clues. To this end, we formulate an encoder decoder like network to extract both the shape and appearance features from input images at the same time, and train the parameters by three losses feature adversarial loss, color consistency loss and reconstruction loss. The feature adversarial loss mainly impose little to none mutual information between the extracted shape and appearance features, while the color consistency loss is to encourage the invariance of person appearance conditioned on different shapes. More importantly, our unsupervised (Unsupervised learning has many interpretations in different tasks. To be clear, in this paper, we refer unsupervised learning as learning without task specific human annotations, pairs or any form of weak supervision.) framework utilizes learned shape features as masks which are applied to the input itself in order to obtain clean appearance features. Without using fixed input human skeleton, our network better preserves the conditional human posture while requiring less supervision. Experimental results on DeepFashion and Market1501 demonstrate that the proposed method achieves clean disentanglement and is able to synthesis novel images of comparable quality with state of the art weakly supervised or even supervised methods.


GraftNet An Engineering Implementation of CNN for Fine grained Multi label Task. Multi label networks with branches are proved to perform well in both accuracy and speed, but lacks flexibility in providing dynamic extension onto new labels due to the low efficiency of re work on annotating and training. For multi label classification task, to cover new labels we need to annotate not only newly collected images, but also the previous whole dataset to check presence of these new labels. Also training on whole re annotated dataset costs much time. In order to recognize new labels more effectively and accurately, we propose GraftNet, which is a customizable tree like network with its trunk pretrained with a dynamic graph for generic feature extraction, and branches separately trained on sub datasets with single label to improve accuracy. GraftNet could reduce cost, increase flexibility, and incrementally handle new labels. Experimental results show that it has good performance on our human attributes recognition task, which is fine grained multi label classification.


Guessing State Tracking for Visual Dialogue. The Guesser is a task of visual grounding in GuessWhat?! like visual dialogue. It locates the target object in an image supposed by an Oracle oneself over a question answer based dialogue between a Questioner and the Oracle. Most existing guessers make one and only one guess after receiving all question answer pairs in a dialogue with the predefined number of rounds. This paper proposes a guessing state for the Guesser, and regards guess as a process with change of guessing state through a dialogue. A guessing state tracking based guess model is therefore proposed. The guessing state is defined as a distribution on objects in the image. With that in hand, two loss functions are defined as supervisions for model training. Early supervision brings supervision to Guesser at early rounds, and incremental supervision brings monotonicity to the guessing state. Experimental results on GuessWhat?! dataset show that our model significantly outperforms previous models, achieves new state of the art, especially the success rate of guessing 83.3 is approaching the human level accuracy of 84.4 .


Quaternion Collaborative Filtering for Recommendation. This paper proposes Quaternion Collaborative Filtering (QCF), a novel representation learning method for recommendation. Our proposed QCF relies on and exploits computation with Quaternion algebra, benefiting from the expressiveness and rich representation learning capability of Hamilton products. Quaternion representations, based on hypercomplex numbers, enable rich inter latent dependencies between imaginary components. This encourages intricate relations to be captured when learning user item interactions, serving as a strong inductive bias as compared with the real space inner product. All in all, we conduct extensive experiments on six real world datasets, demonstrating the effectiveness of Quaternion algebra in recommender systems. The results exhibit that QCF outperforms a wide spectrum of strong neural baselines on all datasets. Ablative experiments confirm the effectiveness of Hamilton based composition over multi embedding composition in real space.


A Haystack Full of Needles Scalable Detection of IoT Devices in the Wild. Consumer Internet of Things (IoT) devices are extremely popular, providing users with rich and diverse functionalities, from voice assistants to home appliances. These functionalities often come with significant privacy and security risks, with notable recent large scale coordinated global attacks disrupting large service providers. Thus, an important first step to address these risks is to know what IoT devices are where in a network. While some limited solutions exist, a key question is whether device discovery can be done by Internet service providers that only see sampled flow statistics. In particular, it is challenging for an ISP to efficiently and effectively track and trace activity from IoT devices deployed by its millions of subscribers all with sampled network data. In this paper, we develop and evaluate a scalable methodology to accurately detect and monitor IoT devices at subscriber lines with limited, highly sampled data in the wild. Our findings indicate that millions of IoT devices are detectable and identifiable within hours, both at a major ISP as well as an IXP, using passive, sparsely sampled network flow headers. Our methodology is able to detect devices from more than 77 of the studied IoT manufacturers, including popular devices such as smart speakers. While our methodology is effective for providing network analytics, it also highlights significant privacy consequences.


Energy transfer mechanisms and resolvent analysis in the cylinder wake. Energy transfer mechanisms for vortex shedding behind a 2D cylinder at a Reynolds number of Re 100 are investigated. We first characterize the energy balances achieved by the true cylinder flow both for the flow as a whole and for each of its most energetic harmonic frequencies. It is found that viscous dissipation balances production when each is considered over the entire flow field and therefore that linear mechanisms achieve an energy balance on their own, thus respecting the Reynolds Orr equation. Suitable energy conservation laws reveal that while nonlinear mechanisms neither produce nor consume energy overall, they nevertheless account for an important transfer of energy to higher frequencies. The energy balance for DNS is compared to that predicted by resolvent analysis. Although a suitable energy balance is achieved for each harmonic, resolvent analysis does not correctly model energy transfer between temporal frequencies. We further investigate the detailed roles of energy transfer from the viewpoint of nonlinear triadic interactions by considering a finite number of harmonic frequencies. It is shown that the nonlinearity plays a critical role in the redistribution of energy to higher harmonic frequencies. We observe not only an energy cascade from low frequencies to high frequencies, but also a considerable inverse cascade from high frequencies to low frequencies. The true nonlinear energy transfer mechanisms provide insight into closure models for improved resolvent based predictions of harmonic modes in shear flows.


On supercongruences for truncated sums of squares of basic hypergeometric series. Congruences of truncated sums of infinite series do not directly extend to congruences of the truncated sums of higher powers of these infinite series. Guo and Zudilin recently established a variety of supercongruences for truncated sums of certain basic hypergeometric series. In this note we extend some of these supercongruences to the truncated sums of the squares of the corresponding series.


Spectrally Selective Solar Absorbers with High temperature Insensitivity. It is of significance to incorporate spectral selectivity technology into solar thermal engineering, especially at high operational temperatures. This work demonstrates spectrally selective solar absorbers made of multilayer tungsten, silica, and alumina thin films that are angular insensitive and polarization independent. An overall absorptance of 88.1 at solar irradiance wavelength, a low emittance of 7.0 at infrared thermal wavelength, and a high solar to heat efficiency of 79.9 are identified. Additionally, it shows the annealed samples maintain an extremely high absorption in solar radiation regime over at least 600 C and the solar absorbers after thermal annealing at 800 C still work well in a CSP system with an even high concentration factor of over 100.


Social Influence in Agile Requirements Engineering. Agile requirements engineering implies more complex communication patterns since even the developers are supposed to have direct contact with customers. With more face to face communication comes social psychological factors influencing the requirements. Studies have pointed at the importance of negotiation training, but I argue that more basic human traits can be triggered in favor of the negotiator with the most knowledge of social influence research and practice. I suggest a plan of how research in social influence and requirements facilitation can be conducted, mostly through experimentation.


Unsupervised Facial Action Unit Intensity Estimation via Differentiable Optimization. The automatic intensity estimation of facial action units (AUs) from a single image plays a vital role in facial analysis systems. One big challenge for data driven AU intensity estimation is the lack of sufficient AU label data. Due to the fact that AU annotation requires strong domain expertise, it is expensive to construct an extensive database to learn deep models. The limited number of labeled AUs as well as identity differences and pose variations further increases the estimation difficulties. Considering all these difficulties, we propose an unsupervised framework GE Net for facial AU intensity estimation from a single image, without requiring any annotated AU data. Our framework performs differentiable optimization, which iteratively updates the facial parameters (i.e., head pose, AU parameters and identity parameters) to match the input image. GE Net consists of two modules a generator and a feature extractor. The generator learns to "render" a face image from a set of facial parameters in a differentiable way, and the feature extractor extracts deep features for measuring the similarity of the rendered image and input real image. After the two modules are trained and fixed, the framework searches optimal facial parameters by minimizing the differences of the extracted features between the rendered image and the input image. Experimental results demonstrate that our method can achieve state of the art results compared with existing methods.


Higher order interactions in fitness landscapes are sparse. Biological fitness arises from interactions between molecules, genes, and organisms. To discover the causative mechanisms of this complexity, we must differentiate the significant interactions from a large number of possibilities. Epistasis is the standard way to identify interactions in fitness landscapes. However, this intuitive approach breaks down in higher dimensions for example because the sign of epistasis takes on an arbitrary meaning, and the false discovery rate becomes high. These limitations make it difficult to evaluate the role of epistasis in higher dimensions. Here we develop epistatic filtrations, a dimensionally normalized approach to define fitness landscape topography for higher dimensional spaces. We apply the method to higher dimensional datasets from genetics and the gut microbiome. This reveals a sparse higher order structure that often arises from lower order. Despite sparsity, these higher order effects carry significant effects on biological fitness and are consequential for ecology and evolution.


The coherent feed forward loop acts as an efficient information transmitting motif. We present a theoretical formalism to study steady state information transmission in type 1 coherent feed forward loop motif with an additive signal integration mechanism. Our construct allows a two step cascade to be slowly transformed into a bifurcation network via a feed forward loop which is a prominent network motif. Utilizing a Gaussian framework, we show that the feed forward loop motif harnesses the maximum amount of Shannon mutual information fractions constructed between the input signaling species and the final gene product and also between the two downstream gene products. Our findings may explain why a feed forward loop is naturally selected by the force of evolution as a motif in bacterial transcription control network while the two step cascade and bifurcation network are not.


Optimal by Design Model Driven Synthesis of Adaptation Strategies for Autonomous Systems. Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and require frequent changes. Requirements driven adaptation techniques have been proposed to endow systems with the necessary means to autonomously decide ways to satisfy their requirements. However, many current approaches rely on general purpose languages, models and or frameworks to design, develop and analyze autonomous systems. Unfortunately, these tools are not tailored towards the characteristics of adaptation problems in autonomous systems. In this paper, we present Optimal by Design (ObD ), a framework for model based requirements driven synthesis of optimal adaptation strategies for autonomous systems. ObD proposes a model (and a language) for the high level description of the basic elements of self adaptive systems, namely the system, capabilities, requirements and environment. Based on those elements, a Markov Decision Process (MDP) is constructed to compute the optimal strategy or the most rewarding system behaviour. Furthermore, this defines a reflex controller that can ensure timely responses to changes. One novel feature of the framework is that it benefits both from goal oriented techniques, developed for requirement elicitation, refinement and analysis, and synthesis capabilities and extensive research around MDPs, their extensions and tools. Our preliminary evaluation results demonstrate the practicality and advantages of the framework.


On computing the nonlinearity interval in parametric semidefinite optimization. This paper revisits the parametric analysis of semidefinite optimization problems with respect to the perturbation of the objective function along a fixed direction. We review the notions of invariancy set, nonlinearity interval, and transition point of the optimal partition, and we investigate their characterizations. We show that the set of transition points is finite and the continuity of the optimal set mapping, on the basis of Painlev 'e Kuratowski set convergence, might fail on a nonlinearity interval. Under a local nonsingularity condition, we then develop a methodology, stemming from numerical algebraic geometry, to efficiently compute nonlinearity intervals and transition points of the optimal partition. Finally, we support the theoretical results by applying our procedure to some numerical examples.


Quivers for SL(2) tilting modules. Using diagrammatic methods, we define a quiver algebra depending on a prime p and show that it is the algebra underlying the category of tilting modules for SL(2) in characteristic p. Along the way we obtain a presentation for morphisms between p Jones Wenzl projectors.


DSIC Dynamic Sample Individualized Connector for Multi Scale Object Detection. Although object detection has reached a milestone thanks to the great success of deep learning, the scale variation is still the key challenge. Integrating multi level features is presented to alleviate the problems, like the classic Feature Pyramid Network (FPN) and its improvements. However, the specifically designed feature integration modules of these methods may not have the optimal architecture for feature fusion. Moreover, these models have fixed architectures and data flow paths, when fed with various samples. They cannot adjust and be compatible with each kind of data. To overcome the above limitations, we propose a Dynamic Sample Individualized Connector (DSIC) for multi scale object detection. It dynamically adjusts network connections to fit different samples. In particular, DSIC consists of two components Intra scale Selection Gate (ISG) and Cross scale Selection Gate (CSG). ISG adaptively extracts multi level features from backbone as the input of feature integration. CSG automatically activate informative data flow paths based on the multi level features. Furthermore, these two components are both plug and play and can be embedded in any backbone. Experimental results demonstrate that the proposed method outperforms the state of the arts.


High Order Oracle Complexity of Smooth and Strongly Convex Optimization. In this note, we consider the complexity of optimizing a highly smooth (Lipschitz k th order derivative) and strongly convex function, via calls to a k th order oracle which returns the value and first k derivatives of the function at a given point, and where the dimension is unrestricted. Extending the techniques introduced in Arjevani et al. 2019 , we prove that the worst case oracle complexity for any fixed k to optimize the function up to accuracy epsilon is on the order of left( frac mu k D k 1 lambda right) frac 2 3k 1 log log left( frac 1 epsilon right) (in sufficiently high dimension, and up to log factors independent of epsilon ), where mu k is the Lipschitz constant of the k th derivative, D is the initial distance to the optimum, and lambda is the strong convexity parameter.


Quasilinear problems without the Ambrosetti Rabinowitz condition. We show the existence of nontrivial solutions for a class of highly quasilinear problems in which the governing operators depend on the unknown function. By using a suitable variational setting and a weak version of the Cerami Palais Smale condition, we establish the desired result without assuming that the nonlinear source satisfies the Ambrosetti Rabinowitz condition.


DLA Dense Layer Analysis for Adversarial Example Detection. In recent years Deep Neural Networks (DNNs) have achieved remarkable results and even showed super human capabilities in a broad range of domains. This led people to trust in DNNs' classifications and resulting actions even in security sensitive environments like autonomous driving. Despite their impressive achievements, DNNs are known to be vulnerable to adversarial examples. Such inputs contain small perturbations to intentionally fool the attacked model. In this paper, we present a novel end to end framework to detect such attacks during classification without influencing the target model's performance. Inspired by recent research in neuron coverage guided testing we show that dense layers of DNNs carry security sensitive information. With a secondary DNN we analyze the activation patterns of the dense layers during classification runtime, which enables effective and real time detection of adversarial examples. Our prototype implementation successfully detects adversarial examples in image, natural language, and audio processing. Thereby, we cover a variety of target DNNs, including Long Short Term Memory (LSTM) architectures. In addition, to effectively defend against state of the art attacks, our approach generalizes between different sets of adversarial examples. Thus, our method most likely enables us to detect even future, yet unknown attacks. Finally, during white box adaptive attacks, we show our method cannot be easily bypassed.


Computation of Large Asymptotics of 3 Manifold Quantum Invariants. Quantum topological invariants have played an important role in computational topology, and they are at the heart of major modern mathematical conjectures. In this article, we study the experimental problem of computing large r values of Turaev Viro invariants mathrm TV r . We base our approach on an optimized backtracking algorithm, consisting of enumerating combinatorial data on a triangulation of a 3 manifold. We design an easily computable parameter to estimate the complexity of the enumeration space, based on lattice point counting in polytopes, and show experimentally its accuracy. We apply this parameter to a preprocessing strategy on the triangulation, and combine it with multi precision arithmetics in order to compute the Turaev Viro invariants. We finally study the improvements brought by these optimizations compared to state of the art implementations, and verify experimentally Chen and Yang's volume conjecture on a census of closed 3 manifolds.


Integral points on twisted Markoff surfaces. We study the integral Hasse principle for affine varieties of the form ax 2 y 2 z 2 xyz m ,using Brauer Manin obstruction, and we produce examples whose Brauer groups include 4 torsion elements .We will construct their explicit representatives and compute local invariants in special places.


Average Sensitivity of Spectral Clustering. Spectral clustering is one of the most popular clustering methods for finding clusters in a graph, which has found many applications in data mining. However, the input graph in those applications may have many missing edges due to error in measurement, withholding for a privacy reason, or arbitrariness in data conversion. To make reliable and efficient decisions based on spectral clustering, we assess the stability of spectral clustering against edge perturbations in the input graph using the notion of average sensitivity, which is the expected size of the symmetric difference of the output clusters before and after we randomly remove edges. We first prove that the average sensitivity of spectral clustering is proportional to lambda 2 lambda 3 2 , where lambda i is the i th smallest eigenvalue of the (normalized) Laplacian. We also prove an analogous bound for k way spectral clustering, which partitions the graph into k clusters. Then, we empirically confirm our theoretical bounds by conducting experiments on synthetic and real networks. Our results suggest that spectral clustering is stable against edge perturbations when there is a cluster structure in the input graph.


The Thue Morse shift, Baumslag Solitar group, and biminimality. Call a group action on a topological space emph biminimal if for any points x,y in X there exists a group element taking x arbitrarily close to y and whose inverse takes y arbitrarily close to x . A symbolic encoding of the Thue Morse dynamical system is given, in terms of omega automata. It is used to prove that the Thue Morse dynamical system is minimal but not biminimal. The omega automata also establish a link between Nekrashevych's presentation of limit spaces and solenoids with a construction described by Vershik and Solomyak.


On groups in which Engel sinks are cyclic. For an element g of a group G , an Engel sink is a subset mathcal E (g) such that for every x in G all sufficiently long commutators x,g,g, ldots,g belong to mathcal E (g) . We conjecture that if G is a profinite group in which every element admits a sink that is a procyclic subgroup, then G is procyclic by (locally nilpotent). We prove the conjecture in two cases when G is a finite group, or a soluble pro p group.


Inner functions in weighted Hardy spaces. Inner functions play a central role in function theory and operator theory on the Hardy space over the unit disk. Motivated by recent works of C. B 'en 'eteau et al. and of D. Seco, we discuss inner functions on more general weighted Hardy spaces and investigate a method to construct analogues of finite Blaschke products.


Settling the Sample Complexity of Single parameter Revenue Maximization. This paper settles the sample complexity of single parameter revenue maximization by showing matching upper and lower bounds, up to a poly logarithmic factor, for all families of value distributions that have been considered in the literature. The upper bounds are unified under a novel framework, which builds on the strong revenue monotonicity by Devanur, Huang, and Psomas (STOC 2016), and an information theoretic argument. This is fundamentally different from the previous approaches that rely on either constructing an epsilon net of the mechanism space, explicitly or implicitly via statistical learning theory, or learning an approximately accurate version of the virtual values. To our knowledge, it is the first time information theoretical arguments are used to show sample complexity upper bounds, instead of lower bounds. Our lower bounds are also unified under a meta construction of hard instances.


Homology of Hurwitz spaces and the Cohen Lenstra heuristic for function fields (after Ellenberg, Venkatesh, and Westerland). Ellenberg, Venkatesh, and Westerland have established a weak form of the function field analogue of the Cohen Lenstra heuristic, on the distribution of imaginary number fields with ell parts of their class groups isomorphic to a fixed group. They first explain how this follows from an asymptotic point count for certain Hurwitz schemes, and then establish this asymptotic by using the Grothendieck Lefschetz trace formula to translate it into a difficult homological stability problem in algebraic topology, which they nonetheless solve. These are the notes accompanying my talk at the S 'eminaire Bourbaki, which focus on the remarkable homological stability theorem for Hurwitz spaces.


Global well posedness for the cubic nonlinear Schr "o dinger equation with initial lying in L p based Sobolev spaces. In this paper we continue our study DSS20 of the nonlinear Schr "odinger equation (NLS) with bounded initial data which do not vanish at infinity. Local well posedness on mathbb R was proved for real analytic data. Here we prove global well posedness for the 1D NLS with initial data lying in L p for any 2 p infty , provided the initial data is sufficiently smooth. We do not use the complete integrability of the cubic nonlinear Schr "o dinger equation.


Ab initio study on Quasi Binary Acetonitriletriide Sr 3 C 2 N 2 . We report using density functional theory (DFT), the ground state properties of the recently synthesized and characterized Sr 3 C 2 N 2 crystal. The nearly colorless, centrosymmetric Sr 3 C 2 N 2 crystallizes in a monoclinic unit cell with a P2 1 c space group (No.14) and many of its properties remain unknown basing on the fact that it's a latecomer in the field. The goal of this study is to fill this information gap through a theoretical prediction. The calculated structural properties were comparable to those obtained by an experimental group led by Clark and co workers thus giving us extra confidence in the accuracy of our DFT computations on Sr 3 C 2 N 2 . We employed the same approach in calculating mechanical and dynamical stabilities together with the electronic density of states of Sr 3 C 2 N 2 . No imaginary phonon modes were observed and thus implying dynamical stability. The thirteen elastic constants calculated passed the stability criteria of a monoclinic system. From the computed Poisson's ratio ( eta 0.27) and G B 0.54, our calculations predict Sr 3 C 2 N 2 being brittle and not able to withstand high pressure applications. To analyze the chemical bonding mechanism, the corresponding total density of states (TDOS) and partial DOS were plotted. The top of the valence band (VB) mainly consists of C 2p states N 2p, N 2s and a slight admixture of Sr 5s states. The bottom of the conduction band (CB) shows a strong hybridization between C 2p, N 2p, N 2s, and Sr 5s states, yielding a bandwidth of 7.18 eV in the entire conduction band. We were able to obtain a tunable electronic gap of 2.65 eV in Sr 3 C 2 N 2 . The authors herein note that Sr 3 C 2 N 2 falls in an unknown family of pseudonitrides that may possess novel physical and chemical properties.


On Optimal Finite length Binary Codes of Four Codewords for Binary Symmetric Channels. Finite length binary codes of four codewords are studied for memoryless binary symmetric channels (BSCs) with the maximum likelihood decoding. For any block length, best linear codes of four codewords have been explicitly characterized, but whether linear codes are better than nonlinear codes or not is unknown in general. In this paper, we show that for any block length, there exists an optimal code of four codewords that is either linear or in a subset of nonlinear codes, called Class I codes. Based on the analysis of Class I codes, we derive sufficient conditions such that linear codes are optimal. For block length less than or equal to 8, our analytical results show that linear codes are optimal. For block length up to 300, numerical evaluations show that linear codes are optimal.


Freezing a rivulet. We investigate experimentally the formation of the particular ice structure obtained when a capillary trickle of water flows on a cold substrate. We show that after a few minutes the water ends up flowing on a tiny ice wall whose shape is permanent. We characterize and understand quantitatively the formation dynamics and the final thickness of this ice structure. In particular, we identify two growth regimes. First, a 1D solidification diffusive regime, where ice is building independently of the flowing water. And second, once the ice is thick enough, the heat flux in the water comes into play, breaking the 1D symmetry of the problem, and the ice ends up thickening linearly downward. This linear pattern is explained by considering the confinement of the thermal boundary layer in the water by the free surface.


MigrationMiner An Automated Detection Tool of Third Party Java Library Migration at the Method Level. In this paper we introduce, MigrationMiner, an automated tool that detects code migrations performed between Java third party library. Given a list of open source projects, the tool detects potential library migration code changes and collects the specific code fragments in which the developer replaces methods from the retired library with methods from the new library. To support the migration process, MigrationMiner collects the library documentation that is associated with every method involved in the migration. We evaluate our tool on a benchmark of manually validated library migrations. Results show that MigrationMiner achieves an accuracy of 100 . A demo video of MigrationMiner is available at https youtu.be sAlR1HNetXc.


Particle Density Estimation with Grid Projected Adaptive Kernels. The reconstruction of smooth density fields from scattered data points is a procedure that has multiple applications in a variety of disciplines, including Lagrangian (particle based) models of solute transport in fluids. In random walk particle tracking (RWPT) simulations, particle density is directly linked to solute concentrations, which is normally the main variable of interest, not just for visualization and post processing of the results, but also for the computation of non linear processes, such as chemical reactions. Previous works have shown the superiority of kernel density estimation (KDE) over other methods such as binning, in terms of its ability to accurately estimate the "true" particle density relying on a limited amount of information. Here, we develop a grid projected KDE methodology to determine particle densities by applying kernel smoothing on a pilot binning this may be seen as a "hybrid" approach between binning and KDE. The kernel bandwidth is optimized locally. Through simple implementation examples, we elucidate several appealing aspects of the proposed approach, including its computational efficiency and the possibility to account for typical boundary conditions, which would otherwise be cumbersome in conventional KDE.


An analogue to infinitery Hales Jewett theorem. In a recent work, N. Hindman, D. Strauss and L. Zamboni have shown that the Hales Jewett theorem can be combined with a sufficiently well behaved homomorphisms. In this paper we will show that those combined extensions can be made if we replace the alphabet by an increasing sequence of alphabets, infact it holds for some Ramsey theoretic small sets. To obtained this we achieved some interesting configurations.


Interpretable Neural Network Decoupling. The remarkable performance of convolutional neural networks (CNNs) is entangled with their huge number of uninterpretable parameters, which has become the bottleneck limiting the exploitation of their full potential. Towards network interpretation, previous endeavors mainly resort to the single filter analysis, which however ignores the relationship between filters. In this paper, we propose a novel architecture decoupling method to interpret the network from a perspective of investigating its calculation paths. More specifically, we introduce a novel architecture controlling module in each layer to encode the network architecture by a vector. By maximizing the mutual information between the vectors and input images, the module is trained to select specific filters to distill a unique calculation path for each input. Furthermore, to improve the interpretability and compactness of the decoupled network, the output of each layer is encoded to align the architecture encoding vector with the constraint of sparsity regularization. Unlike conventional pixel level or filter level network interpretation methods, we propose a path level analysis to explore the relationship between the combination of filter and semantic concepts, which is more suitable to interpret the working rationale of the decoupled network. Extensive experiments show that the decoupled network achieves several applications, i.e., network interpretation, network acceleration, and adversarial samples detection.


Universal Fake News Collection System using Debunking Tweets. Large numbers of people use Social Networking Services (SNS) for easy access to various news, but they have more opportunities to obtain and share fake news'' carrying false information. Partially to combat fake news, several fact checking sites such as Snopes and PolitiFact have been founded. Nevertheless, these sites rely on time consuming and labor intensive tasks. Moreover, their available languages are not extensive. To address these difficulties, we propose a new fake news collection system based on rule based (unsupervised) frameworks that can be extended easily for various languages. The system collects news with high probability of being fake by debunking tweets by users and presents event clusters gathering higher attention. Our system currently functions in two languages English and Japanese. It shows event clusters, 65 of which are actually fake. In future studies, it will be applied to other languages and will be published with a large fake news dataset.


A New Injection and Acceleration Scheme of Positrons in the Laser Plasma Bubble Regime. A novel approach for positron injection and acceleration in laser driven plasma wakefield is proposed. A theoretical model is developed and confirmed through PIC simulation. One ring shaped beam and one co axially propagating Gaussian beam drive wakefields in a preformed plasma volume filled with both electrons and positrons. The laser's ponderomotive force as well as the charge separation force in the front bucket of the first bubble are utilized to provide the transverse momenta of injected positrons and those positrons can be trapped by the focusing field and then accelerated by the wakefield. The simulation shows that a relatively high charge, quasi monoenergetic positron beams can be obtained.


Molecular mechanisms behind anti SARS CoV 2 action of lactoferrin. Despite the huge effort to contain the infection, the novel SARS CoV 2 coronavirus has rapidly become pandemics, mainly due to its extremely high human to human transmission capability, and a surprisingly high viral charge of symptom less people. While the seek of a vaccine is still ongoing, promising results have been obtained with antiviral compounds. In particular, lactoferrin is found to have beneficial effects both in preventing and soothing the infection. Here, we explore the possible molecular mechanisms with which lactoferrin interferes with SARS CoV 2 cell invasion, preventing attachment and or entry of the virus. To this aim, we search for possible interactions lactoferrin may have with virus structural proteins and host receptors. Representing the molecular iso electron surface of proteins in terms of 2D Zernike descriptors, we (i) identified putative regions on the lactoferrin surface able to bind sialic acid receptors on the host cell membrane, sheltering the cell from the virus attachment (ii) showed that no significant shape complementarity is present between lactoferrin and the ACE2 receptor, while (iii) two high complementarity regions are found on the N and C terminal domains of the SARS CoV 2 spike protein, hinting at a possible competition between lactoferrin and ACE2 for the binding to the spike protein.


Zone pAth Construction (ZAC) based Approaches for Effective Real Time Ridesharing. Real time ridesharing systems such as UberPool, Lyft Line, GrabShare have become hugely popular as they reduce the costs for customers, improve per trip revenue for drivers and reduce traffic on the roads by grouping customers with similar itineraries. The key challenge in these systems is to group the "right" requests to travel together in the "right" available vehicles in real time, so that the objective (e.g., requests served, revenue or delay) is optimized. This challenge has been addressed in existing work by (i) generating as many relevant feasible (with respect to the available delay for customers) combinations of requests as possible in real time and then (ii) optimizing assignment of the feasible request combinations to vehicles. Since the number of request combinations increases exponentially with the increase in vehicle capacity and number of requests, unfortunately, such approaches have to employ ad hoc heuristics to identify a subset of request combinations for assignment. Our key contribution is in developing approaches that employ zone (abstraction of individual locations) paths instead of request combinations. Zone paths allow for generation of significantly more "relevant" combinations (in comparison to ad hoc heuristics) in real time than competing approaches due to two reasons (i) Each zone path can typically represent multiple request combinations (ii) Zone paths are generated using a combination of offline and online methods. Specifically, we contribute both myopic (ridesharing assignment focussed on current requests only) and non myopic (ridesharing assignment considers impact on expected future requests) approaches that employ zone paths. In our experimental results, we demonstrate that our myopic approach outperforms (with respect to both objective and runtime) the current best myopic approach for ridesharing on both real world and synthetic datasets.


On The Reasons Behind Decisions. Recent work has shown that some common machine learning classifiers can be compiled into Boolean circuits that have the same input output behavior. We present a theory for unveiling the reasons behind the decisions made by Boolean classifiers and study some of its theoretical and practical implications. We define notions such as sufficient, necessary and complete reasons behind decisions, in addition to classifier and decision bias. We show how these notions can be used to evaluate counterfactual statements such as "a decision will stick even if ... because ... ." We present efficient algorithms for computing these notions, which are based on new advances on tractable Boolean circuits, and illustrate them using a case study.


On birational transformations of Hilbert schemes of points on K3 surfaces. We classify the group of birational automorphisms of Hilbert schemes of points on algebraic K3 surfaces of Picard rank one. We study whether these automorphisms are symplectic or non symplectic and if there exists a hyperk "ahler birational model on which they become biregular. We also present new geometrical constructions of these automorphisms.


Towards Document Image Quality Assessment A Text Line Based Framework and A Synthetic Text Line Image Dataset. Since the low quality of document images will greatly undermine the chances of success in automatic text recognition and analysis, it is necessary to assess the quality of document images uploaded in online business process, so as to reject those images of low quality. In this paper, we attempt to achieve document image quality assessment and our contributions are twofold. Firstly, since document image quality assessment is more interested in text, we propose a text line based framework to estimate document image quality, which is composed of three stages text line detection, text line quality prediction, and overall quality assessment. Text line detection aims to find potential text lines with a detector. In the text line quality prediction stage, the quality score is computed for each text line with a CNN based prediction model. The overall quality of document images is finally assessed with the ensemble of all text line quality. Secondly, to train the prediction model, a large scale dataset, comprising 52,094 text line images, is synthesized with diverse attributes. For each text line image, a quality label is computed with a piece wise function. To demonstrate the effectiveness of the proposed framework, comprehensive experiments are evaluated on two popular document image quality assessment benchmarks. Our framework significantly outperforms the state of the art methods by large margins on the large and complicated dataset.


Sharp nonzero lower bounds for the Schur product theorem. By a result of Schur J. Reine Angew. Math. 1911 , the entrywise product M circ N of two positive semidefinite matrices M,N is again positive. Vybiral Adv. Math. 2020 improved on this by showing the uniform lower bound M circ overline M geq E n n for all n times n real or complex correlation matrices M , where E n is the all ones matrix. This was applied to settle a conjecture of Novak J. Complexity 1999 and to positive definite functions on groups. Vybiral (in his original preprint) asked if one can obtain similar uniform lower bounds for higher entrywise powers of M , or for M circ N when N neq M, overline M . A natural third question is to obtain a tighter lower bound that need not vanish as n to infty , i.e. over infinite dimensional Hilbert spaces. In this note, we affirmatively answer all three questions by extending and refining Vybiral's result to lower bound M circ N , for arbitrary complex positive semidefinite matrices M, N . Specifically we provide tight lower bounds, improving on Vybiral's bounds. Second, our proof is 'conceptual' (and self contained), providing a natural interpretation of these improved bounds via tracial Cauchy Schwarz inequalities. Third, we extend our tight lower bounds to Hilbert Schmidt operators. As an application, we settle Open Problem 1 of Hinrichs Krieg Novak Vybiral J. Complexity, in press , which yields improvements in the error bounds in certain tensor product (integration) problems.


MAGNETO Fingerprinting USB Flash Drives via Unintentional Magnetic Emissions. Universal Serial Bus (USB) Flash Drives are nowadays one of the most convenient and diffused means to transfer files, especially when no Internet connection is available. However, USB flash drives are also one of the most common attack vectors used to gain unauthorized access to host devices. For instance, it is possible to replace a USB drive so that when the USB key is connected, it would install passwords stealing tools, root kit software, and other disrupting malware. In such a way, an attacker can steal sensitive information via the USB connected devices, as well as inject any kind of malicious software into the host. To thwart the above cited raising threats, we propose MAGNETO, an efficient, non interactive, and privacy preserving framework to verify the authenticity of a USB flash drive, rooted in the analysis of its unintentional magnetic emissions. We show that the magnetic emissions radiated during boot operations on a specific host are unique for each device, and sufficient to uniquely fingerprint both the brand and the model of the USB flash drive, or the specific USB device, depending on the used equipment. Our investigation on 59 different USB flash drives belonging to 17 brands, including the top brands purchased on Amazon in mid 2019 , reveals a minimum classification accuracy of 98.2 in the identification of both brand and model, accompanied by a negligible time and computational overhead. MAGNETO can also identify the specific USB Flash drive, with a minimum classification accuracy of 91.2 . Overall, MAGNETO proves that unintentional magnetic emissions can be considered as a viable and reliable means to fingerprint read only USB flash drives. Finally, future research directions in this domain are also discussed.


Symbolic Techniques for Deep Learning Challenges and Opportunities. As the number of deep learning frameworks increase and certain ones gain popularity, it spurs the discussion of what methodologies are employed by these frameworks and the reasoning behind them. The goal of this survey is to study how symbolic techniques are utilized in deep learning. To do this, we look at some of the most popular deep learning frameworks being used today, including TensorFlow, Keras, PyTorch, and MXNet. While these frameworks greatly differ from one another, many of them use symbolic techniques, whether it be symbolic execution, graphs, or programming. We focus this paper on symbolic techniques because they influence not only how neural networks are built but also the way in which they are executed. Limitations of symbolic techniques have led to efforts in integrating symbolic and nonsymbolic aspects in deep learning, opening up new possibilities for symbolic techniques. For example, the Gluon API by Apache MXNet bridges the gap between imperative programming and symbolic execution through hybridization. Frameworks such as JANUS attempt to translate imperative programs into symbolic graphs, while approaches like DeepCheck attempt to use symbolic execution to analyze and validate imperative neural network programs. Symbolic analysis has also been paired with concrete execution in a technique called concolic testing in order to better test deep neural networks. Our study of these developments exemplifies just a few of the many ways the symbolic techniques employed by popular frameworks have the opportunity to be altered and utilized to achieve better performance.


Generalized Bijective Maps between G Parking Functions, Spanning Trees, and the Tutte Polynomial. We introduce an object called a tree growing sequence (TGS) in an effort to generalize bijective correspondences between G parking functions, spanning trees, and the set of monomials in the Tutte polynomial of a graph G . A tree growing sequence determines an algorithm which can be applied to a single function, or to the set mathcal P G,q of G parking functions. When the latter is chosen, the algorithm uses splitting operations inspired by the recursive defintion of the Tutte polynomial to iteratively break mathcal P G,q into disjoint subsets. This results in bijective maps tau and rho from mathcal P G,q to the spanning trees of G and Tutte monomials, respectively. We compare the TGS algorithm to Dhar's algorithm and the family described by Chebikin and Pylyavskyy. Finally, we compute a Tutte polynomial of a zonotopal tiling using analogous splitting operations.


Taking a Stance on Fake News Towards Automatic Disinformation Assessment via Deep Bidirectional Transformer Language Models for Stance Detection. The exponential rise of social media and digital news in the past decade has had the unfortunate consequence of escalating what the United Nations has called a global topic of concern the growing prevalence of disinformation. Given the complexity and time consuming nature of combating disinformation through human assessment, one is motivated to explore harnessing AI solutions to automatically assess news articles for the presence of disinformation. A valuable first step towards automatic identification of disinformation is stance detection, where given a claim and a news article, the aim is to predict if the article agrees, disagrees, takes no position, or is unrelated to the claim. Existing approaches in literature have largely relied on hand engineered features or shallow learned representations (e.g., word embeddings) to encode the claim article pairs, which can limit the level of representational expressiveness needed to tackle the high complexity of disinformation identification. In this work, we explore the notion of harnessing large scale deep bidirectional transformer language models for encoding claim article pairs in an effort to construct state of the art stance detection geared for identifying disinformation. Taking advantage of bidirectional cross attention between claim article pairs via pair encoding with self attention, we construct a large scale language model for stance detection by performing transfer learning on a RoBERTa deep bidirectional transformer language model, and were able to achieve state of the art performance (weighted accuracy of 90.01 ) on the Fake News Challenge Stage 1 (FNC I) benchmark. These promising results serve as motivation for harnessing such large scale language models as powerful building blocks for creating effective AI solutions to combat disinformation.


Optimal Convergence Rate of Self Consistent Field Iteration for Solving Eigenvector dependent Nonlinear Eigenvalue Problems. We present a comprehensive convergence analysis for Self Consistent Field (SCF) iteration to solve a class of nonlinear eigenvalue problems with eigenvector dependency (NEPv). Using a tangent angle matrix as an intermediate measure for approximation error, we establish new formulas for two fundamental quantities that optimally characterize the local convergence of the plain SCF the local contraction factor and the local average contraction factor. In comparison with previously established results, new convergence rate estimates provide much sharper bounds on the convergence speed. As an application, we extend the convergence analysis to a popular SCF variant the level shifted SCF. The effectiveness of the convergence rate estimates is demonstrated numerically for NEPv arising from solving the Kohn Sham equation in electronic structure calculation and the Gross Pitaevskii equation in the modeling of Bose Einstein condensation.


Indefinite Stein fillings and Pin(2) monopole Floer homology. Given a spin c rational homology sphere (Y, mathfrak s ) with mathfrak s self conjugate and for which the reduced monopole Floer homology mathit HM bullet (Y, mathfrak s ) has rank one, we provide obstructions to the intersection forms of its Stein fillings which are not negative definite. The proof of this result (and of its natural generalizations we discuss) uses mathrm Pin (2) monopole Floer homology.


A Score and Search Approach to Learning Bayesian Networks with Noisy OR Relations. A Bayesian network is a probabilistic graphical model that consists of a directed acyclic graph (DAG), where each node is a random variable and attached to each node is a conditional probability distribution (CPD). A Bayesian network can be learned from data using the well known score and search approach, and within this approach a key consideration is how to simultaneously learn the global structure in the form of the underlying DAG and the local structure in the CPDs. Several useful forms of local structure have been identified in the literature but thus far the score and search approach has only been extended to handle local structure in form of context specific independence. In this paper, we show how to extend the score and search approach to the important and widely useful case of noisy OR relations. We provide an effective gradient descent algorithm to score a candidate noisy OR using the widely used BIC score and we provide pruning rules that allow the search to successfully scale to medium sized networks. Our empirical results provide evidence for the success of our approach to learning Bayesian networks that incorporate noisy OR relations.


Speculative Execution for Guided Visual Analytics. We propose the concept of Speculative Execution for Visual Analytics and discuss its effectiveness for model exploration and optimization. Speculative Execution enables the automatic generation of alternative, competing model configurations that do not alter the current model state unless explicitly confirmed by the user. These alternatives are computed based on either user interactions or model quality measures and can be explored using delta visualizations. By automatically proposing modeling alternatives, systems employing Speculative Execution can shorten the gap between users and models, reduce the confirmation bias and speed up optimization processes. In this paper, we have assembled five application scenarios showcasing the potential of Speculative Execution, as well as a potential for further research.


Image Processing Based on Compound Flat Optics. Image processing has become a critical technology in a variety of science and engineering disciplines. While most image processing is performed digitally, optical analog processing has the advantages of being low power and high speed though it requires a large volume. Here, we demonstrate optical analog imaging processing using a flat optic for direct image differentiation allowing one to significantly shrink the required optical system size. We first demonstrate how the image differentiator can be combined with traditional imaging systems such as a commercial optical microscope and camera sensor for edge detection. Second, we demonstrate how the entire analog processing system can be realized as a monolithic compound flat optic by integrating the differentiator with a metalens. The compound nanophotonic system manifests the advantage of thin form factor optics as well as the ability to implement complex transfer functions and could open new opportunities in applications such as biological imaging and machine vision.


Empirical Evaluation of Leveraging Named Entities for Arabic Sentiment Analysis. Social media reflects the public attitudes towards specific events. Events are often related to persons, locations or organizations, the so called Named Entities. This can define Named Entities as sentiment bearing components. In this paper, we dive beyond Named Entities recognition to the exploitation of sentiment annotated Named Entities in Arabic sentiment analysis. Therefore, we develop an algorithm to detect the sentiment of Named Entities based on the majority of attitudes towards them. This enabled tagging Named Entities with proper tags and, thus, including them in a sentiment analysis framework of two models supervised and lexicon based. Both models were applied on datasets of multi dialectal content. The results revealed that Named Entities have no considerable impact on the supervised model, while employing them in the lexicon based model improved the classification performance and outperformed most of the baseline systems.


First moments of Rankin Selberg convolution of Automorphic Forms on GL(2) . We obtain a first moment formula for Rankin Selberg convolution L series of holomorphic modular forms or Maass forms of arbitrary level on GL(2) , with an orthonormal basis of Maass forms. One consequence is the best result to date, uniform in level, spectral value and weight, for the equality of two Maass or holomorphic cusp forms if their Rankin Selberg convolutions with the orthonormal basis of Mass forms u j is equal at the center of the critical strip for sufficiently many u j . The main novelty of our approach is the new way the error terms are treated. They are brought into an exact form that provides optimal estimates for the first moment case, and also provide a basis for an extension to second moments, which will appear in another work.


Analysis of Gene Interaction Graphs as Prior Knowledge for Machine Learning Models. Gene interaction graphs aim to capture various relationships between genes and can represent decades of biology research. When trying to make predictions from genomic data, those graphs could be used to overcome the curse of dimensionality by making machine learning models sparser and more consistent with biological common knowledge. In this work, we focus on assessing how well those graphs capture dependencies seen in gene expression data to evaluate the adequacy of the prior knowledge provided by those graphs. We propose a condition graphs should satisfy to provide good prior knowledge and test it using Single Gene Inference' tasks. We also compare with randomly generated graphs, aiming to measure the true benefit of using biologically relevant graphs in this context, and validate our findings with five clinical tasks. We find some graphs capture relevant dependencies for most genes while being very sparse. Our analysis with random graphs finds that dependencies can be captured almost as well at random which suggests that, in terms of gene expression levels, the relevant information about the state of the cell is spread across many genes.


A Smart Sliding Chinese Pinyin Input Method Editor on Touchscreen. This paper presents a smart sliding Chinese pinyin Input Method Editor (IME) for touchscreen devices which allows user finger sliding from one key to another on the touchscreen instead of tapping keys one by one, while the target Chinese character sequence will be predicted during the sliding process to help user input Chinese characters efficiently. Moreover, the layout of the virtual keyboard of our IME adapts to user sliding for more efficient inputting. The layout adaption process is utilized with Recurrent Neural Networks (RNN) and deep reinforcement learning. The pinyin to character converter is implemented with a sequence to sequence (Seq2Seq) model to predict the target Chinese sequence. A sliding simulator is built to automatically produce sliding samples for model training and virtual keyboard test. The key advantage of our proposed IME is that nearly all its built in tactics can be optimized automatically with deep learning algorithms only following user behavior. Empirical studies verify the effectiveness of the proposed model and show a better user input efficiency.


Homotopy theory of stratified spaces. In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen equivalent to a category of diagrams of simplicial sets. Then, considering all those model structures together, we construct a cofibrantly generated model structure on the category of all stratified spaces. In both model categories, weak equivalences are characterized by stratified homotopy groups.


SPIDER Selective Plotting of Interconnected Data and Entity Relations. Intelligence analysts have long struggled with an abundance of data that must be investigated on a daily basis. In the U.S. Army, this activity involves reconciling information from various sources, a process that has been automated to a certain extent, but which remains highly manual. To promote automation, a semantic analysis prototype was designed to aid in the intelligence analysis process. This tool, called Selective Plotting of Interconnected Data and Entity Relations (SPIDER), extracts entities and their relationships from text in order to streamline investigations. SPIDER is a web application that can be remotely accessed via a web browser, and has three major components (1) a Java API that reads documents, extracts entities and relationships using Stanford CoreNLP, (2) a Neo4j graph database that stores entities, relationships, and properties (3) a JavaScript based SigmaJS visualization tool for displaying the graph on the browser. SPIDER can scale document analysis to thousands of files for quick visualization, making the intelligence analysis process more efficient, and allowing military leadership quicker insights into a vast array of potentially hidden knowledge.


Counting and ordering periodic stationary solutions of lattice Nagumo equations. We study the rich structure of periodic stationary solutions of Nagumo reaction diffusion equation on lattices. By exploring the relationship with Nagumo equations on cyclic graphs we are able to divide these periodic solutions into equivalence classes that can be partially ordered and counted. In order to accomplish this, we use combinatorial concepts such as necklaces, bracelets and Lyndon words.


FlowNet3D Geometric Losses For Deep Scene Flow Estimation. We present FlowNet3D , a deep scene flow estimation network. Inspired by classical methods, FlowNet3D incorporates geometric constraints in the form of point to plane distance and angular alignment between individual vectors in the flow field, into FlowNet3D. We demonstrate that the addition of these geometric loss terms improves the previous state of art FlowNet3D accuracy from 57.85 to 63.43 . To further demonstrate the effectiveness of our geometric constraints, we propose a benchmark for flow estimation on the task of dynamic 3D reconstruction, thus providing a more holistic and practical measure of performance than the breakdown of individual metrics previously used to evaluate scene flow. This is made possible through the contribution of a novel pipeline to integrate point based scene flow predictions into a global dense volume. FlowNet3D achieves up to a 15.0 reduction in reconstruction error over FlowNet3D, and up to a 35.2 improvement over KillingFusion alone. We will release our scene flow estimation code later.


Design of a Helium Passivation System for the Target Vessel of the Beam Dump Facility at CERN. The Beam Dump Facility (BDF) is a proposed general purpose facility at CERN, dedicated to fixed target and beam dump experiments, currently being developed in the context of the Physics Beyond Colliders program. The design of the facility will allow to host different types of experiments, of which SHiP is planned to be the initial one. The core of the facility is a high density target dump absorbing the full intensity of the SPS beam and generating a cascade of particles that are detected downstream the target complex. The target and its shielding blocks are positioned inside a vessel, which is planned to be passivized with helium, in order to reduce the activation of the gas surrounding the target and to extend the operational life of materials and equipment. The passivation system that will be in charge of purifying and circulating the helium is a critical component for the operation of the facility. Fluid dynamics simulations have been performed to study the circulation of the helium through the vessel. A detailed design of the helium passivation system and its main components has been developed.


Concurrent Separation Logic Meets Template Games. An old dream of concurrency theory and programming language semantics has been to uncover the fundamental synchronization mechanisms which regulate situations as different as game semantics for higher order programs, and Hoare logic for concurrent programs with shared memory and locks. In this paper, we establish a deep and unexpected connection between two recent lines of work on concurrent separation logic (CSL) and on template game semantics for differential linear logic (DiLL). Thanks to this connection, we reformulate in the purely conceptual style of template games for DiLL the asynchronous and interactive interpretation of CSL designed by Melli es and Stefanesco. We believe that the analysis reveals something important about the secret anatomy of CSL, and more specifically about the subtle interplay, of a categorical nature, between sequential composition, parallel product, errors and locks.