Securing Deep Spiking Neural Networks against Adversarial Attacks through Inherent Structural Parameters. Deep Learning (DL) algorithms have gained popularity owing to their practical problem solving capacity. However, they suffer from a serious integrity threat, i.e., their vulnerability to adversarial attacks. In the quest for DL trustworthiness, recent works claimed the inherent robustness of Spiking Neural Networks (SNNs) to these attacks, without considering the variability in their structural spiking parameters. This paper explores the security enhancement of SNNs through internal structural parameters. Specifically, we investigate the SNNs robustness to adversarial attacks with different values of the neuron's firing voltage thresholds and time window boundaries. We thoroughly study SNNs security under different adversarial attacks in the strong white box setting, with different noise budgets and under variable spiking parameters. Our results show a significant impact of the structural parameters on the SNNs' security, and promising sweet spots can be reached to design trustworthy SNNs with 85 higher robustness than a traditional non spiking DL system. To the best of our knowledge, this is the first work that investigates the impact of structural parameters on SNNs robustness to adversarial attacks. The proposed contributions and the experimental framework is available online to the community for reproducible research.


Geometric Inequalities for Anti Blocking Bodies. We study the class of (locally) anti blocking bodies as well as some associated classes of convex bodies. For these bodies, we prove geometric inequalities regarding volumes and mixed volumes, including Godberson's conjecture, near optimal bounds on Mahler volumes, Saint Raymond type inequalities on mixed volumes, and reverse Kleitman inequalities for mixed volumes. We apply our results to the combinatorics of posets and prove Sidorenko type inequalities for linear extensions of pairs of 2 dimensional posets. The results rely on some elegant decompositions of differences of anti blocking bodies, which turn out to hold for anti blocking bodies with respect to general polyhedral cones.


VFL A Verifiable Federated Learning with Privacy Preserving for Big Data in Industrial IoT. Due to the strong analytical ability of big data, deep learning has been widely applied to train the collected data in industrial IoT. However, for privacy issues, traditional data gathering centralized learning is not applicable to industrial scenarios sensitive to training sets. Recently, federated learning has received widespread attention, since it trains a model by only relying on gradient aggregation without accessing training sets. But existing researches reveal that the shared gradient still retains the sensitive information of the training set. Even worse, a malicious aggregation server may return forged aggregated gradients. In this paper, we propose the VFL, verifiable federated learning with privacy preserving for big data in industrial IoT. Specifically, we use Lagrange interpolation to elaborately set interpolation points for verifying the correctness of the aggregated gradients. Compared with existing schemes, the verification overhead of VFL remains constant regardless of the number of participants. Moreover, we employ the blinding technology to protect the privacy of the gradients submitted by the participants. If no more than n 2 of n participants collude with the aggregation server, VFL could guarantee the encrypted gradients of other participants not being inverted. Experimental evaluations corroborate the practical performance of the presented VFL framework with high accuracy and efficiency.


Approaching the Full Configuration Interaction Low Energy Spectrum from an Arbitrary Reference Subspace. In a previous work (arXiv 2010.02027) we showed how the full configuration interaction (FCI) ground state energy can be obtained as a functional of an arbitrary reference wavefunction by means of a gradient descent or quasi Newton algorithm. Here, we extend this approach and consider the optimization of the low energy subspace of the Hamiltonian from an arbitrary reference subspace. The energies along the optimization path are obtained in terms of transition matrix elements among the states in the reference subspace. We show an application of the algorithm with a reference subspace constructed from a non orthogonal configuration interaction (NOCI) formalism to describe the avoided crossing in LiF and the low lying singlet and triplet spectrum of formaldehyde.


Emotional Distraction for Children Anxiety Reduction During Vaccination. Social assistive robots are starting to be widely used in pediatric health care environments with the aim of distracting and entertaining children, and so of reducing a possible state of anxiety. In this paper, we present some initial results of a study (N 69) conducted in a Health Vaccines Center, where the distraction role of a social robot, which interacts with a child showing an emotional behavior, is compared with the same not showing any emotional social cue. Outcome criteria for the evaluation of the intervention included the parents reported level of anxiety before, during and after the procedure.


Redundancy Analysis of the Railway Network of Hungary. Available alternative routes on which traffic can be rerouted in the case of disruptions are vital for transportation networks. Line sections with less traffic under normal operational conditions but with increased importance in the case of disruptions are identified in the railway network of Hungary by using a weighted directed graph. To describe the goodness of the individual alternative routes the so called redundancy index is used. The results show that the structure of the network is good, but the lines with the highest redundancy (lines No. 80, 2, 4 and 77 according to the numbering of the national railway operator, M 'AV) are mostly single tracked and in many cases the line speed is low. The building of additional tracks and electrifying these lines while still maintaining the existing diesel locomotives for the case of disruptions of the electric support are the keys to make the performance of the rather dense railway network of Hungary sustainable.


Survey on Cryptocurrency Networking Context, State of the Art, Challenges. Cryptocurrencies such as Bitcoin are realized using distributed systems and hence critically rely on the performance and security of the interconnecting network. The requirements on these networks and their usage, however can differ significantly from traditional communication networks, with implications on all layers of the protocol stack. This paper is motivated by these differences, and in particular by the observation that many fundamental design aspects of these networks are not well understood today. In order to support the networking community to contribute to this emerging application domain, we present a structured overview of the field, from topology and neighbor discovery to block and transaction propagation. In particular, we provide the context, highlighting differences and commonalities with traditional networks, review the state of the art, and identify open research challenges. Our paper can hence also be seen as a call to arms to improve the foundation on top of which cryptocurrencies are built.


ActionSpotter Deep Reinforcement Learning Framework for Temporal Action Spotting in Videos. Summarizing video content is an important task in many applications. This task can be defined as the computation of the ordered list of actions present in a video. Such a list could be extracted using action detection algorithms. However, it is not necessary to determine the temporal boundaries of actions to know their existence. Moreover, localizing precise boundaries usually requires dense video analysis to be effective. In this work, we propose to directly compute this ordered list by sparsely browsing the video and selecting one frame per action instance, task known as action spotting in literature. To do this, we propose ActionSpotter, a spotting algorithm that takes advantage of Deep Reinforcement Learning to efficiently spot actions while adapting its video browsing speed, without additional supervision. Experiments performed on datasets THUMOS14 and ActivityNet show that our framework outperforms state of the art detection methods. In particular, the spotting mean Average Precision on THUMOS14 is significantly improved from 59.7 to 65.6 while skipping 23 of video.


All optical switching of magnetic domains in Co Gd heterostructures with Dzyaloshinskii Moriya Interaction. Given the development of hybrid spintronic photonic devices and chiral magnetic structures, a combined interest in all optical switching (AOS) of magnetization and current induced domain wall motion in synthetic ferrimagnetic structures with strong Dzyaloshinskii Moriya Interaction (DMI) is emerging. In this study, we report a study on single pulse all optical toggle switching and asymmetric bubble expansion in specially engineered Co Gd based multilayer structures. In the absence of any external magnetic fields, we look into the AOS properties and the potential role of the DMI on the AOS process as well as the stability of optically written micro magnetic domains. Particularly, interesting dynamics are observed in moon shaped structures written by two successive laser pulses. The stability of domains resulting from an interplay of the dipolar interaction and domain wall energy are compared to simple analytical models and micromagnetic simulations.


An application of wall crossing to Noether Lefschetz loci. Consider a smooth projective 3 fold X satisfying the Bogomolov Gieseker conjecture of Bayer Macr i Toda (such as mathbb P 3 , the quintic threefold or an abelian threefold). Let L be a line bundle supported on a very positive surface in X . If c 1(L) is a primitive cohomology class then we show it has very negative square.


Cryptanalytic Extraction of Neural Network Models. We argue that the machine learning problem of model extraction is actually a cryptanalytic problem in disguise, and should be studied as such. Given oracle access to a neural network, we introduce a differential attack that can efficiently steal the parameters of the remote model up to floating point precision. Our attack relies on the fact that ReLU neural networks are piecewise linear functions, and thus queries at the critical points reveal information about the model parameters. We evaluate our attack on multiple neural network models and extract models that are 2 20 times more precise and require 100x fewer queries than prior work. For example, we extract a 100,000 parameter neural network trained on the MNIST digit recognition task with 2 21.5 queries in under an hour, such that the extracted model agrees with the oracle on all inputs up to a worst case error of 2 25, or a model with 4,000 parameters in 2 18.5 queries with worst case error of 2 40.4. Code is available at https github.com google research cryptanalytic model extraction.


Whatcha lookin' at? DeepLIFTing BERT's Attention in Question Answering. There has been great success recently in tackling challenging NLP tasks by neural networks which have been pre trained and fine tuned on large amounts of task data. In this paper, we investigate one such model, BERT for question answering, with the aim to analyze why it is able to achieve significantly better results than other models. We run DeepLIFT on the model predictions and test the outcomes to monitor shift in the attention values for input. We also cluster the results to analyze any possible patterns similar to human reasoning depending on the kind of input paragraph and question the model is trying to answer.


Asymptotic preserving schemes for the FitzHugh Nagumo transport equation with strong local interactions. This paper is devoted to the numerical approximation of the spatially extended FitzHugh Nagumo transport equation with strong local interactions based on a particle method. In this regime, the time step can be subject to stability constraints related to the interaction kernel. To avoid this limitation, our approach is based on higher order implicit explicit numerical schemes. Thus, when the magnitude of the interactions becomes large, this method provides a consistent discretization of the macroscopic reaction diffusion FitzHugh Nagumo system. We carry out some theoretical proofs and perform several numerical experiments that establish a solid validation of the method and its underlying concepts.


A small molecule drug candidate targeting SARS CoV 2 main protease. A new coronavirus identified as SARS CoV 2 virus has brought the world to a state of crisis, causing a major pandemic, claiming more than 433,000 lives and instigating major financial damage to the global economy. Despite current efforts, developing safe and effective treatments remains a major challenge. Moreover, new strains of the virus are likely to emerge in the future. To prevent future pandemics, several drugs with various mechanisms of action are required. Drug discovery efforts against the virus fall into two main categories (a) monoclonal antibodies targeting the spike protein of the virus and blocking it from entry (b) small molecule inhibitors targeting key proteins of the virus, interfering with replication and translation of the virus. In this study, we are presenting a computational investigation of a potential drug candidate that targets SARS CoV 2 protease, a viral protein critical for replication and translation of the virus.


Maximizing Happiness in Graphs of Bounded Clique Width. Clique width is one of the most important parameters that describes structural complexity of a graph. Probably, only treewidth is more studied graph width parameter. In this paper we study how clique width influences the complexity of the Maximum Happy Vertices (MHV) and Maximum Happy Edges (MHE) problems. We answer a question of Choudhari and Reddy '18 about parameterization by the distance to threshold graphs by showing that MHE is NP complete on threshold graphs. Hence, it is not even in XP when parameterized by clique width, since threshold graphs have clique width at most two. As a complement for this result we provide a n mathcal O ( ell cdot operatorname cw ) algorithm for MHE, where ell is the number of colors and operatorname cw is the clique width of the input graph. We also construct an FPT algorithm for MHV with running time mathcal O (( ell 1) mathcal O ( operatorname cw ) ) , where ell is the number of colors in the input. Additionally, we show mathcal O ( ell n 2) algorithm for MHV on interval graphs.


Group Actions on Riemann Roch Space. Let G be a group acting on a compact Riemann surface mathcal X and D be a G invariant divisor on mathcal X . The action of G on mathcal X induces a linear representation L G(D) of G on the Riemann Roch space associated to D. In this paper we give some results on the decomposition of L G(D) as sum of complex irreducible representations of G, for D an effective non special G invariant divisor. In particular, we give explicit formulae for the multiplicity of each complex irreducible factor in L G(D) . We work out some examples on well known families of curves.


Bayesian Fusion for Infrared and Visible Images. Infrared and visible image fusion has been a hot issue in image fusion. In this task, a fused image containing both the gradient and detailed texture information of visible images as well as the thermal radiation and highlighting targets of infrared images is expected to be obtained. In this paper, a novel Bayesian fusion model is established for infrared and visible images. In our model, the image fusion task is cast into a regression problem. To measure the variable uncertainty, we formulate the model in a hierarchical Bayesian manner. Aiming at making the fused image satisfy human visual system, the model incorporates the total variation(TV) penalty. Subsequently, the model is efficiently inferred by the expectation maximization(EM) algorithm. We test our algorithm on TNO and NIR image fusion datasets with several state of the art approaches. Compared with the previous methods, the novel model can generate better fused images with high light targets and rich texture details, which can improve the reliability of the target automatic detection and recognition system.


Trade offs in dynamic coloring for bipartite and general graphs. We present trade offs in the incremental and fully dynamic settings to maintian a proper coloring. For any fully dynamic 2 coloring algorithm, the maximum of the update time, number of recolorings, and query time is Omega( log n) . We present a deterministic fully dynamic 2 coloring algorithm with O( log 2 n) amortized update time, O( log n) amortized query time, and one recoloring in the worst case. For any incremental 2 coloring algorithm which explicitly maintains the color of every vertex after each update, the amortized update time and the amortized number of recolorings is Omega( log n) . For such an algorithm, in the worst case the update time and the number of recolorings is Omega(n) . We then design a deterministic incremental 2 coloring algorithm which explicitly maintains the color of every vertex after each update, with amortized O( log n) update time and amortized O( log n) many recolorings. Further, in the worst case the update time and the number of recolorings is O(n) . Further, we present a deterministic incremental (1 2 log n) coloring algorithm which explicitly maintains the color of every vertex after each update, with O( alpha(n)) amortized update time, at most one recoloring and O(1) query time. We then show a deterministic incremental 2 coloring algorithm which does not maintain color of every vertex after each update, with amortized O( alpha(n)) update time, amortized O( alpha(n)) recolorings, and amortized O( alpha(n)) query time. For general graphs and graphs of bounded arboricity gamma and maximum degree Delta we present a deterministic ( Delta 1) coloring algorithm with O( sqrt m ) update time, O(1) query time, and one recoloring. Finally, we show a deterministic ( Delta 1) coloring algorithm with amortized O( gamma log n ) update time, O(1) query time, and one recoloring.


Overview of digital health surveillance system during COVID 19 pandemic public health issues and misapprehensions. Without proper medication and vaccination for the COVID 19, many governments are using automated digital healthcare surveillance system to prevent and control the spread. There is not enough literature explaining the concerns and privacy issues hence, we have briefly explained the topics in this paper. We focused on digital healthcare surveillance system's privacy concerns and different segments. Further research studies should be conducted in different sectors. This paper provides an overview based on the published articles, which are not focusing on the privacy issues that much. Artificial intelligence and 5G networks combine the advanced digital healthcare surveillance system whereas Bluetooth based contact tracing systems have fewer privacy concerns. More studies are required to find the appropriate digital healthcare surveillance system, which would be ideal for monitoring, controlling, and predicting the COVID 19 trajectory.


Artificial Intelligence (AI) in Action Addressing the COVID 19 Pandemic with Natural Language Processing (NLP). The COVID 19 pandemic has had a significant impact on society, both because of the serious health effects of COVID 19 and because of public health measures implemented to slow its spread. Many of these difficulties are fundamentally information needs attempts to address these needs have caused an information overload for both researchers and the public. Natural language processing (NLP), the branch of artificial intelligence that interprets human language, can be applied to address many of the information needs made urgent by the COVID 19 pandemic. This review surveys approximately 150 NLP studies and more than 50 systems and datasets addressing the COVID 19 pandemic. We detail work on four core NLP tasks information retrieval, named entity recognition, literature based discovery, and question answering. We also describe work that directly addresses aspects of the pandemic through four additional tasks topic modeling, sentiment and emotion analysis, caseload forecasting, and misinformation detection. We conclude by discussing observable trends and remaining challenges.


Fast transient spray cooling of a hot thick target. Spray cooling a hot target is characterized by strong heat flux density and fast change of the temperature of the wall interface. The heat flux density during spray cooling is determined by the instantaneous substrate temperature, which is illustrated by boiling curves. The variation of the heat flux density is especially notable during different thermodynamic regimes film, transitional and nucleate boiling. In this study transient boiling curves are obtained by measurement of the local and instantaneous heat flux density produced by sprays of variable mass flux, drop diameter and impact velocity. These spray parameters are accurately characterized using a phase Doppler instrument and a patternator. The hydrodynamic phenomena of spray impact during various thermodynamic regimes are observed using a high speed video system. A theoretical model has been developed for heat conduction in the thin expanding thermal boundary layer in the substrate. The theory is able to predict the evolution of the target temperature in time in the film boiling regime. Moreover, a remote asymptotic solution for a heat flux density during the fully developed nucleate boiling regime is developed. The theoretical predictions agree very well with the experimental data for a wide range of impact parameters.


Asymptotic Solutions of Polynomial Equations with Exp Log Coefficients. We present an algorithm for computing asymptotic approximations of roots of polynomials with exp log function coefficients. The real and imaginary parts of the approximations are given as explicit exp log expressions. We provide a method for deciding which approximations correspond to real roots. We report on implementation of the algorithm and present empirical data.


Exploring Deep Neural Networks and Transfer Learning for Analyzing Emotions in Tweets. In this paper, we present an experiment on using deep learning and transfer learning techniques for emotion analysis in tweets and suggest a method to interpret our deep learning models. The proposed approach for emotion analysis combines a Long Short Term Memory (LSTM) network with a Convolutional Neural Network (CNN). Then we extend this approach for emotion intensity prediction using transfer learning technique. Furthermore, we propose a technique to visualize the importance of each word in a tweet to get a better understanding of the model. Experimentally, we show in our analysis that the proposed models outperform the state of the art in emotion classification while maintaining competitive results in predicting emotion intensity.


Weights of Exponential Growth and Decay for Schr " o dinger type operators. Fix d geq 3 and 1 p infty . Let V mathbb R d rightarrow 0, infty) belong to the reverse H " o lder class RH d 2 and consider the Schr " o dinger operator L V Delta V . In this article, we introduce classes of weights w for which the Riesz transforms nabla L V 1 2 , their adjoints L V 1 2 nabla and the heat maximal operator sup t 0 e t L V f are bounded on the weighted Lebesgue space L p (w) . The boundedness of the L V Riesz potentials L V alpha 2 from L p (w) to L nu (w nu p ) for 0 alpha leq 2 and frac 1 nu frac 1 p frac alpha d will also be proved. These weight classes are strictly larger than a class previously introduced by B. Bongioanni, E. Harboure and O. Salinas that shares these properties and they contain weights of exponential growth and decay. The classes will also be considered in relation to different generalised forms of Schr " o dinger operator. In particular, the Schr " o dinger operator with measure potential Delta mu , the uniformly elliptic operator with potential mathrm div A nabla V and the magnetic Schr " o dinger operator ( nabla i a) 2 V will all be considered. It will be proved that, under suitable conditions, the standard operators corresponding to these second order differential operators are bounded on L p (w) for weights w in these classes.


A competition on blow up for semilinear wave equations with scale invariant damping and nonlinear memory term. In this paper, we investigate blow up of solutions to semilinear wave equations with scale invariant damping and nonlinear memory term in mathbb R n , which can be represented by the Riemann Liouville fractional integral of order 1 gamma with gamma in(0,1) . Our main interest is to study mixed influence from damping term and the memory kernel on blow up conditions for the power of nonlinearity, by using test function method or generalized Kato's type lemma. We find a new competition, particularly for the small value of gamma , on the blow up range between the effective case and the non effective case.


The regularity and h polynomial of Cameron Walker graphs. Fix an integer n geq 1 , and consider the set of all connected finite simple graphs on n vertices. For each G in this set, let I(G) denote the edge ideal of G in the polynomial ring R K x 1, ldots,x n . We initiate a study of the set mathcal RD (n) subseteq mathbb N 2 consisting of all the pairs (r,d) where r rm reg (R I(G)) , the Castelnuovo Mumford regularity, and d rm deg h R I(G) (t) , the degree of the h polynomial, as we vary over all the connected graphs on n vertices. In particular, we identify sets A(n) and B(n) such that A(n) subseteq mathcal RD (n) subseteq B(n) . When we restrict to the family of Cameron Walker graphs on n vertices, we can completely characterize all the possible (r,d) .


User Centric Secure Cell Formation for Visible Light Networks with Statistical Delay Guarantees. In next generation wireless networks, providing secure transmission and delay guarantees are two critical goals. However, either of them requires a concession on the transmission rate. In this paper, we consider a visible light network consisting of multiple access points and multiple users. Our first objective is to mathematically evaluate the achievable rate under constraints on delay and security. The second objective is to provide a cell formation with customized statistical delay and security guarantees for each user. First, we propose a user centric design called secure cell formation, in which artificial noise is considered, and flexible user scheduling is determined. Then, based on the effective capacity theory, we derive the statistical delay constrained secrecy rate and formulate the cell formation problem as a stochastic optimization problem (OP). Further, based on the Lyapunov optimization theory, we transform the stochastic OP into a series of evolutionary per slot drift plus penalty OPs. Finally, a modified particle swarm optimization algorithm and an interference graph based user centric scheduling algorithm are proposed to solve the OPs. We obtain a dynamic independent set of scheduled users as well as secure cell formation parameters. Simulation results show that the proposed algorithm can achieve a better delay constrained secrecy rate than the existing cell formation approaches.


Precise Dataflow Analysis of Event Driven Applications. Event driven programming is widely used for implementing user interfaces, web applications, and non blocking I O. An event driven program is organized as a collection of event handlers whose execution is triggered by events. Traditional static analysis techniques are unable to reason precisely about event driven code because they conservatively assume that event handlers may execute in any order. This paper proposes an automatic transformation from Interprocedural Finite Distributive Subset (IFDS) problems to Interprocedural Distributed Environment (IDE) problems as a general solution to obtain precise static analysis of event driven applications problems in both forms can be solved by existing implementations. Our contribution is to show how to improve analysis precision by automatically enriching the former with information about the state of event handlers to filter out infeasible paths. We prove the correctness of our transformation and report on experiments with a proof of concept implementation for a subset of JavaScript.


Node Constrained Traffic Engineering Theory and Applications. Traffic engineering (TE) is a fundamental task in networking. Conventionally, traffic can take any path connecting the source and destination. Emerging technologies such as segment routing, however, use logical paths going through a predetermined set of middlepoints. Inspired by this, in this work we introduce the problem of node constrained TE, where traffic must go through a set of middlepoints, and study its theoretical fundamentals. We show that the general node constrained TE that constrains the traffic to take paths going through one or more middlepoints is NP hard for directed graphs but strongly polynomial for undirected graphs, unveiling a profound dichotomy between the two cases. We additionally investigate the popular variant of node constrained TE that uses shortest paths between middlepoints, and show that the problem can now be solved in weakly polynomial time for a fixed number of middlepoints. Yet if we constrain the end to end paths to be acyclic, the problem can become NP hard. This explains why existing work focuses on the computationally tractable variant. An important application of our work concerns the computational complexity of flow centrality, first proposed in 1991 by Freeman et al. 21 we show that it is NP hard for directed but strongly polynomial for undirected graphs. Finally, we investigate the middlepoint selection problem in general node constrained TE. We introduce group flow centrality as a solution concept for multi commodity networks, study its complexity, and show that it is monotone but not submodular for both directed and undirected graphs. Our work provides a thorough theoretical treatment of node constrained TE and its applications.


Divisible design digraphs and association schemes. Divisible design digraphs are constructed from skew balanced generalized weighing matrices and generalized Hadamard matrices. Commutative and non commutative association schemes are shown to be attached to the constructed divisible design digraphs.


Probabilistic Zero Forcing on Grid, Regular, and Hypercube Graphs. Probabilistic zero forcing is a coloring process on a graph. In this process, an initial set of vertices is colored blue, and the remaining vertices are colored white. At each time step, blue vertices have a non zero probability of forcing white neighbors to blue. The expected propagation time is the expected amount of time needed for every vertex to be colored blue. We derive asymptotic bounds for the expected propagation time of several families of graphs. We prove the optimal asymptotic bound of Theta(m n) for m times n grid graphs. We prove an upper bound of O left( frac log d d cdot n right) for d regular graphs on n vertices and provide a graph construction that exhibits a lower bound of Omega left( frac log log d d cdot n right) . Finally, we prove an asymptotic upper bound of O(n log n) for hypercube graphs on 2 n vertices.


Microscope objective for imaging atomic strontium with 0.63 micrometer resolution. Imaging and manipulating individual atoms with submicrometer separation can be instrumental for quantum simulation of condensed matter Hamiltonians and quantum computation with neutral atoms. Quantum gas microscope experiments in most cases rely on quite costly solutions. Here we present an open source design of a microscope objective for atomic strontium consisting solely of off the shelf lenses that is diffraction limited for 461 , nm light. A prototype built with a simple stacking design is measured to have a resolution of 0.63(4) , mu m, which is in agreement with the predicted value. This performance, together with the near diffraction limited performance for 532 , nm light makes this design useful for both quantum gas microscopes and optical tweezer experiments with strontium. Our microscope can easily be adapted to experiments with other atomic species such as erbium, ytterbium, and dysprosium, as well as Rydberg experiments with rubidium.


Properties of closure operators in the plane. We prove a general version of Radon's theorem for finite families mathcal F of sets in zero , one and two dimensional (pseudo)manifolds and graphs. The only requirement is that for each mathcal G subseteq mathcal F the intersection bigcap mathcal G has bounded number of path connected components. As a consequence we obtain Helly's and Tverberg's theorems, fractional and colorful Helly theorems, existence of weak varepsilon nets and (p,q) theorems. More precisely, if mathcal F is an intersection closed family in a topological space X and S subseteq X , we define its convex hull text conv mathcal F (S) as the smallest set in mathcal F that contains S . The Radon number r( mathcal F) is then the smallest integer r such that every set S subseteq X of size r can be split into two disjoint subsets with intersecting convex hulls. For every graph G with n vertices we construct a polynomial p G(x) satisfying the following three conditions. 1) If n 1 , p G(x) 1 . 2) If n geq 2 , the degree of p G(x) is at most 2n 3 . 3) If the graph G does not almost embed into a topological space X , and mathcal F is a finite and intersection closed family of sets in X , such that each member of mathcal F has at most b path connected components, then r( mathcal F) leq p G(b) . In particular, if mathcal F is a family of sets in mathbb R 2 , r( mathcal F) leq r K 3,3 (b) leq 2b 6 5b 5 10b 4 10b 3 9b 2 3b 3 . The proof further refines the constrained chain map method introduced by Goaoc, Pat 'ak, Pat 'akov 'a, Tancer and Wagner and further developed by Pat 'akov 'a. In the plane, we manage to overcome the use of hypergraph Ramsey theorem and provide polynomial size bounds.


Bieberbach groups and flat manifolds with finite abelian holonomy from Artin braid groups. Let n geq 3 . In this paper we show that for any finite abelian subgroup G of S n the crystallographic group B n P n,P n has Bieberbach subgroups Gamma G with holonomy group G . Using this approach we obtain an explicit description of the holonomy representation of the Bieberbach group Gamma G . As an application, when the holonomy group is cyclic of odd order, we study the holonomy representation of Gamma G and determine the existence of Anosov diffeomorphisms and K "ahler geometry of the flat manifold cal X Gamma G with fundamental group the Bieberbach group Gamma G leq B n P n,P n .


Using Computational Essays to Scaffold Professional Physics Practice. This article describes a curricular innovation designed to help students experience authentic physics inquiry with an emphasis on computational modeling and scientific communication. The educational design centers on a new type of assignment called a computational essay, which was developed and implemented over the course of two semesters of an intermediate electricity and magnetism course at the University of Oslo, Norway. We describe the motivation, learning goals, and scaffolds used in the computational essay project, with the intention that other educators will be able to replicate and adapt our design. We also report on initial findings from this implementation, including key features of student written computational essays, student reflections on the inquiry process, and self reported conceptual and attitudinal development. Based on these findings, we argue that computational essays can serve a key role in introducing students to open ended, inquiry based work and setting the foundation for future computational research and studies.


Real Time Panoptic Segmentation from Dense Detections. Panoptic segmentation is a complex full scene parsing task requiring simultaneous instance and semantic segmentation at high resolution. Current state of the art approaches cannot run in real time, and simplifying these architectures to improve efficiency severely degrades their accuracy. In this paper, we propose a new single shot panoptic segmentation network that leverages dense detections and a global self attention mechanism to operate in real time with performance approaching the state of the art. We introduce a novel parameter free mask construction method that substantially reduces computational complexity by efficiently reusing information from the object detection and semantic segmentation sub tasks. The resulting network has a simple data flow that does not require feature map re sampling or clustering post processing, enabling significant hardware acceleration. Our experiments on the Cityscapes and COCO benchmarks show that our network works at 30 FPS on 1024x2048 resolution, trading a 3 relative performance degradation from the current state of the art for up to 440 faster inference.


Quaternion K "ahler manifolds near maximal fixed points sets of S 1 symmetries. Using quaternionic Feix Kaledin construction we provide a local classification of quaternion K "ahler metrics with a rotating S 1 symmetry with the fixed point set submanifold S of maximal possible dimension. For any K "ahler manifold S equipped with a line bundle with a unitary connection of curvature proportional to the K "ahler form we explicitly construct a holomorphic contact distribution on the twistor space obtained by the quaternionic Feix Kaledin construction from this data. Conversely, we show that quaternion K "ahler metrics with a rotating S 1 symmetry induce on the fixed point set of maximal dimension a K "ahler metric together with a unitary connection on a holomorphic line bundle with curvature proportional to the K "ahler form and the two constructions are inverse to each other. Moreover, we study the case when S is compact, showing that in this case the quaternion K "ahler geometry is determined by the K "ahler metric on the fixed point set (of maximal possible dimension) and by the contact line bundle. Finally, we relate the results to the c map construction showing that the family of quaternion K "ahler manifolds obtained from a fixed K "ahler metric on S by varying the line bundle and the hyperk "ahler manifold obtained by hyperk "ahler Feix Kaledin construction form S are related by hyperk "ahler quaternion K "ahler correspondence.


An application of a deep learning algorithm for automatic detection of unexpected accidents under bad CCTV monitoring conditions in tunnels. In this paper, Object Detection and Tracking System (ODTS) in combination with a well known deep learning network, Faster Regional Convolution Neural Network (Faster R CNN), for Object Detection and Conventional Object Tracking algorithm will be introduced and applied for automatic detection and monitoring of unexpected events on CCTVs in tunnels, which are likely to (1) Wrong Way Driving (WWD), (2) Stop, (3) Person out of vehicle in tunnel (4) Fire. ODTS accepts a video frame in time as an input to obtain Bounding Box (BBox) results by Object Detection and compares the BBoxs of the current and previous video frames to assign a unique ID number to each moving and detected object. This system makes it possible to track a moving object in time, which is not usual to be achieved in conventional object detection frameworks. A deep learning model in ODTS was trained with a dataset of event images in tunnels to Average Precision (AP) values of 0.8479, 0.7161 and 0.9085 for target objects Car, Person, and Fire, respectively. Then, based on trained deep learning model, the ODTS based Tunnel CCTV Accident Detection System was tested using four accident videos which including each accident. As a result, the system can detect all accidents within 10 seconds. The more important point is that the detection capacity of ODTS could be enhanced automatically without any changes in the program codes as the training dataset becomes rich.


The Borel character. The main purpose of this article is to define a quadratic analog of the Chern character, the so called Borel character, which identifies rational higher Grothendieck Witt groups with a sum of rational MW motivic cohomologies and rational motivic cohomologies. We also discuss the notion of ternary laws due to Walter, a quadratic analog of formal group laws, and compute what we call the additive ternary laws, associated with MW motivic cohomology. Finally, we provide an application of the Borel character by showing that the Milnor Witt K theory of a field F embeds into suitable higher Grothendieck Witt groups of F modulo explicit torsion.


Continuity equation and characteristic flow for scalar Hencky plasticity. We investigate uniqueness issues for a continuity equation arising out of the simplest model for plasticity, Hencky plasticity. The associated system is of the form rm curl ( mu sigma) 0 where mu is a nonnegative measure and sigma a two dimensional divergence free unit vector field. After establishing the Sobolev regularity of that field, we provide a precise description of all possible geometries of the characteristic flow, as well as of the associated solutions.


VisCode Embedding Information in Visualization Images using Encoder Decoder Network. We present an approach called VisCode for embedding information into visualization images. This technology can implicitly embed data information specified by the user into a visualization while ensuring that the encoded visualization image is not distorted. The VisCode framework is based on a deep neural network. We propose to use visualization images and QR codes data as training data and design a robust deep encoder decoder network. The designed model considers the salient features of visualization images to reduce the explicit visual loss caused by encoding. To further support large scale encoding and decoding, we consider the characteristics of information visualization and propose a saliency based QR code layout algorithm. We present a variety of practical applications of VisCode in the context of information visualization and conduct a comprehensive evaluation of the perceptual quality of encoding, decoding success rate, anti attack capability, time performance, etc. The evaluation results demonstrate the effectiveness of VisCode.


Incompleteness for stably consistent formal systems. We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G "odel incompleteness theorem to stably 1,2 consistent formal systems. Our argument in particular re proves the original incompleteness theorems from first principles, using Turing machine language to (computably) construct our "G "odel sentence" directly, in particular we do not use the diagonal lemma, nor any meta logic, with the proof naturally formalizable in set theory. In practice such a stably consistent formal system could be meant to represent the mathematical output of humanity evolving in time, so that the above gives a formalization of a famous disjunction of G "odel, obstructing computability of intelligence.


Proceedings Seventh International Workshop on Verification and Program Transformation. This volume contains a final and revised selection of papers presented at the Seventh International Workshop on Verification and Program Transformation (VPT 2019), which took place in Genova, Italy, on April 2nd, 2019, affiliated with Programming 2019.


A Systematic and Meta analysis Survey of Whale Optimization Algorithm. Whale Optimization Algorithm (WOA) is a nature inspired meta heuristic optimization algorithm, which was proposed by Mirjalili and Lewis in 2016. This algorithm has shown its ability to solve many problems. Comprehensive surveys have been conducted about some other nature inspired algorithms, such as ABC, PSO, etc.Nonetheless, no survey search work has been conducted on WOA. Therefore, in this paper, a systematic and meta analysis survey of WOA is conducted to help researchers to use it in different areas or hybridize it with other common algorithms. Thus, WOA is presented in depth in terms of algorithmic backgrounds, its characteristics, limitations, modifications, hybridizations, and applications. Next, WOA performances are presented to solve different problems. Then, the statistical results of WOA modifications and hybridizations are established and compared with the most common optimization algorithms and WOA. The survey's results indicate that WOA performs better than other common algorithms in terms of convergence speed and balancing between exploration and exploitation. WOA modifications and hybridizations also perform well compared to WOA. In addition, our investigation paves a way to present a new technique by hybridizing both WOA and BAT algorithms. The BAT algorithm is used for the exploration phase, whereas the WOA algorithm is used for the exploitation phase. Finally, statistical results obtained from WOA BAT are very competitive and better than WOA in 16 benchmarks functions. WOA BAT also outperforms well in 13 functions from CEC2005 and 7 functions from CEC2019.


DramaQA Character Centered Video Story Understanding with Hierarchical QA. Despite recent progress on computer vision and natural language processing, developing a machine that can understand video story is still hard to achieve due to the intrinsic difficulty of video story. Moreover, researches on how to evaluate the degree of video understanding based on human cognitive process have not progressed as yet. In this paper, we propose a novel video question answering (Video QA) task, DramaQA, for a comprehensive understanding of the video story. The DramaQA focuses on two perspectives 1) Hierarchical QAs as an evaluation metric based on the cognitive developmental stages of human intelligence. 2) Character centered video annotations to model local coherence of the story. Our dataset is built upon the TV drama "Another Miss Oh" and it contains 17,983 QA pairs from 23,928 various length video clips, with each QA pair belonging to one of four difficulty levels. We provide 217,308 annotated images with rich character centered annotations, including visual bounding boxes, behaviors and emotions of main characters, and coreference resolved scripts. Additionally, we suggest Multi level Context Matching model which hierarchically understands character centered representations of video to answer questions. We release our dataset and model publicly for research purposes, and we expect our work to provide a new perspective on video story understanding research.


PedHunter Occlusion Robust Pedestrian Detector in Crowded Scenes. Pedestrian detection in crowded scenes is a challenging problem, because occlusion happens frequently among different pedestrians. In this paper, we propose an effective and efficient detection network to hunt pedestrians in crowd scenes. The proposed method, namely PedHunter, introduces strong occlusion handling ability to existing region based detection networks without bringing extra computations in the inference stage. Specifically, we design a mask guided module to leverage the head information to enhance the feature representation learning of the backbone network. Moreover, we develop a strict classification criterion by improving the quality of positive samples during training to eliminate common false positives of pedestrian detection in crowded scenes. Besides, we present an occlusion simulated data augmentation to enrich the pattern and quantity of occlusion samples to improve the occlusion robustness. As a consequent, we achieve state of the art results on three pedestrian detection datasets including CityPersons, Caltech USA and CrowdHuman. To facilitate further studies on the occluded pedestrian detection in surveillance scenes, we release a new pedestrian dataset, called SUR PED, with a total of over 162k high quality manually labeled instances in 10k images. The proposed dataset, source codes and trained models will be released.


Convergence of stochastic structure preserving schemes for computing effective diffusivity in random flows. In this paper, we propose stochastic structure preserving schemes to compute the effective diffusivity for particles moving in random flows. We first introduce the motion of particles using the Lagrangian formulation, which is modeled by stochastic differential equations (SDEs). We also discuss the definition of the corrector problem and effective diffusivity. Then we propose stochastic structure preserving schemes to solve the SDEs and provide a sharp convergence analysis for the numerical schemes in computing effective diffusivity. The convergence analysis follows a probabilistic approach, which interprets the solution process generated by our numerical schemes as a Markov process. By using the central limit theorem for the solution process, we obtain the convergence analysis of our method in computing long time solutions. Most importantly our convergence analysis reveals the connection of discrete type and continuous type corrector problems, which is fundamental and interesting. We present numerical results to demonstrate the accuracy and efficiency of the proposed method and investigate the convection enhanced diffusion phenomenon in two and three dimensional incompressible random flows.


Computing newforms using supersingular isogeny graphs. We describe an algorithm that we used to compute the q expansions of all weight 2 cusp forms of prime level at most 800,000 and dimension at most 6. We also present an algorithm that we used to verify that there was only one cusp form of dimension 7 or more per Atkin Lehner eigenspace. Our algorithm is based on Mestre's M ' e thode des Graphes, and involves supersingular isogeny graphs and Wiedemann's algorithm for finding the minimal polynomial of sparse matrices over finite fields.


GoTcha An Interactive Debugger for GoT Based Distributed Systems. Debugging distributed systems is hard. Most of the techniques that have been developed for debugging such systems use either extensive model checking, or postmortem analysis of logs and traces. Interactive debugging is typically a tool that is only effective in single threaded and single process applications, and is rarely applied to distributed systems. While the live observation of state changes using interactive debuggers is effective, it comes with a host of problems in distributed scenarios. In this paper, we discuss the requirements an interactive debugger for distributed systems should meet, the role the underlying distributed model plays in facilitating the debugger, and the implementation of our interactive debugger GoTcha. GoTcha is a browser based interactive debugger for distributed systems built on the Global Object Tracker (GoT) programming model. We show how the GoT model facilitates the debugger, and the features that the debugger can offer. We also demonstrate a typical debugging workflow.


Parallel Robust Computation of Generalized Eigenvectors of Matrix Pencils. In this paper we consider the problem of computing generalized eigenvectors of a matrix pencil in real Schur form. In exact arithmetic, this problem can be solved using substitution. In practice, substitution is vulnerable to floating point overflow. The robust solvers xTGEVC in LAPACK prevent overflow by dynamically scaling the eigenvectors. These subroutines are sequential scalar codes which compute the eigenvectors one by one. In this paper we discuss how to derive robust blocked algorithms. The new StarNEig library contains a robust task parallel solver Zazamoukh which runs on top of StarPU. Our numerical experiments show that Zazamoukh achieves a super linear speedup compared with DTGEVC for sufficiently large matrices.


Unsupervised Hierarchical Concept Learning. Discovering concepts (or temporal abstractions) in an unsupervised manner from demonstration data in the absence of an environment is an important problem. Organizing these discovered concepts hierarchically at different levels of abstraction is useful in discovering patterns, building ontologies, and generating tutorials from demonstration data. However, recent work to discover such concepts without access to any environment does not discover relationships (or a hierarchy) between these discovered concepts. In this paper, we present a Transformer based concept abstraction architecture UNHCLE (pronounced uncle) that extracts a hierarchy of concepts in an unsupervised way from demonstration data. We empirically demonstrate how UNHCLE discovers meaningful hierarchies using datasets from Chess and Cooking domains. Finally, we show how UNHCLE learns meaningful language labels for concepts by using demonstration data augmented with natural language for cooking and chess. All of our code is available at https github.com UNHCLE UNHCLE


Classification of optimal quaternary Hermitian LCD codes of dimension 2 . Hermitian linear complementary dual codes are linear codes whose intersection with their Hermitian dual code is trivial. The largest minimum weight among quaternary Hermitian linear complementary dual codes of dimension 2 is known for each length. We give the complete classification of optimal quaternary Hermitian linear complementary dual codes of dimension 2 .


Parametric Models Analysed with Linear Maps. Parametric entities appear in many contexts, be it in optimisation, control, modelling of random quantities, or uncertainty quantification. These are all fields where reduced order models (ROMs) have a place to alleviate the computational burden. Assuming that the parametric entity takes values in a linear space, we show how is is associated to a linear map or operator. This provides a general point of view on how to consider and analyse different representations of such entities. Analysis of the associated linear map in turn connects such representations with reproducing kernel Hilbert spaces and affine linear representations in terms of tensor products. A generalised correlation operator is defined through the associated linear map, and its spectral analysis helps to shed light on the approximation properties of ROMs. This point of view thus unifies many such representations under a functional analytic roof, leading to a deeper understanding and making them available for appropriate analysis.


Distance between reproducing kernel Hilbert spaces and geometry of finite sets in the unit ball. In this paper we study the relationships between a reproducing kernel Hilbert space, its multiplier algebra, and the geometry of the point set on which they live. We introduce a variant of the Banach Mazur distance suited for measuring the distance between reproducing kernel Hilbert spaces, that quantifies how far two spaces are from being isometrically isomorphic as reproducing kernel Hilbert spaces. We introduce an analogous distance for multiplier algebras, that quantifies how far two algebras are from being completely isometrically isomorphic. We show that, in the setting of finite dimensional quotients of the Drury Arveson space, two spaces are "close" to one another if and only if their multiplier algebras are "close", and that this happens if and only if the underlying point sets are "almost congruent", meaning that one of the sets is very close to an image of the other under a biholomorphic automorphism of the unit ball. These equivalences are obtained as corollaries of quantitative estimates that we prove.


A Modified Epidemiological Model to Understand the Uneven Impact of COVID 19 on Vulnerable Individuals and the Approaches Required to Help them Emerge from Lockdown. COVID 19 has shown a relatively low mortality rate in young healthy individuals, with the majority of this group being asymptomatic or having mild symptoms, while the severity of the disease among individuals with underlying health conditions has caused signiffcant mortality rates worldwide. Understanding these differences in mortality amongst different sectors of society and modelling this will enable the different levels of risk and vulnerabilities to be determined to enable strategies exit the lockdown. However, epidemiological models do not account for the variability encountered in the severity of the SARS CoV 2 disease across different population groups. To overcome this limitation, it is proposed that a modiffed SEIR model, namely SEIR v, through which the population is separated into two groups regarding their vulnerability to SARS CoV 2 is applied. This enables the analysis of the spread of the epidemic when different contention measures are applied to different groups in society regarding their vulnerability to the disease. A Monte Carlo simulation indicates a large number of deaths could be avoided by slightly decreasing the exposure of vulnerable groups to the disease. From this modelling a number of mechanisms can be proposed to limit the exposure of vulnerable individuals to the disease in order to reduce the mortality rate among this group. One option could be the provision of a wristband to vulnerable people and those without a contact tracing app. By combining very dense contact tracing data from smartphone apps and wristband signals with information about infection status and symptoms, vulnerable people can be protected and kept safer. Widespread utilisation would extend the protection further beyond these high risk groups.


Human Action Recognition from Various Data Modalities A Review. Human Action Recognition (HAR) aims to understand human behavior and assign a label to each action. It has a wide range of applications, and therefore has been attracting increasing attention in the field of computer vision. Human actions can be represented using various data modalities, such as RGB, skeleton, depth, infrared, point cloud, event stream, audio, acceleration, radar, and WiFi signal, which encode different sources of useful yet distinct information and have various advantages depending on the application scenarios. Consequently, lots of existing works have attempted to investigate different types of approaches for HAR using various modalities. In this paper, we present a comprehensive survey of recent progress in deep learning methods for HAR based on the type of input data modality. Specifically, we review the current mainstream deep learning methods for single data modalities and multiple data modalities, including the fusion based and the co learning based frameworks. We also present comparative results on several benchmark datasets for HAR, together with insightful observations and inspiring future research directions.


A Graph Auto Encoder for Haplotype Assembly and Viral Quasispecies Reconstruction. Reconstructing components of a genomic mixture from data obtained by means of DNA sequencing is a challenging problem encountered in a variety of applications including single individual haplotyping and studies of viral communities. High throughput DNA sequencing platforms oversample mixture components to provide massive amounts of reads whose relative positions can be determined by mapping the reads to a known reference genome assembly of the components, however, requires discovery of the reads' origin an NP hard problem that the existing methods struggle to solve with the required level of accuracy. In this paper, we present a learning framework based on a graph auto encoder designed to exploit structural properties of sequencing data. The algorithm is a neural network which essentially trains to ignore sequencing errors and infers the posteriori probabilities of the origin of sequencing reads. Mixture components are then reconstructed by finding consensus of the reads determined to originate from the same genomic component. Results on realistic synthetic as well as experimental data demonstrate that the proposed framework reliably assembles haplotypes and reconstructs viral communities, often significantly outperforming state of the art techniques.


Gouy phase matched angular and radial mode conversion in four wave mixing. Studying the conversion between transverse light modes via four wave mixing in a heated rubidium vapour, we demonstrate and explain a transfer between azimuthal and radial mode numbers. These relate to orthogonal modal dimensions, which one would not normally expect to interact. While angular momentum conservation in this nonlinear process dictates the selection rules for the angular mode number, the role of the radial mode number is more esoteric. We demonstrate systematically that the Gouy phase is the key to understanding this conversion, leading to strikingly different conversion behaviour in the thick and thin medium regime. Our experimental investigation of the transition between these regimes bridges the gap between previous experiments in atomic thick media and work in nonlinear crystals. Our work sets a clear starting point to explore new territory in the thick medium regime, allowing efficient radial to azimuthal and radial to radial mode conversion.


ATBRG Adaptive Target Behavior Relational Graph Network for Effective Recommendation. Recommender system (RS) devotes to predicting user preference to a given item and has been widely deployed in most web scale applications. Recently, knowledge graph (KG) attracts much attention in RS due to its abundant connective information. Existing methods either explore independent meta paths for user item pairs over KG, or employ graph neural network (GNN) on whole KG to produce representations for users and items separately. Despite effectiveness, the former type of methods fails to fully capture structural information implied in KG, while the latter ignores the mutual effect between target user and item during the embedding propagation. In this work, we propose a new framework named Adaptive Target Behavior Relational Graph network (ATBRG for short) to effectively capture structural relations of target user item pairs over KG. Specifically, to associate the given target item with user behaviors over KG, we propose the graph connect and graph prune techniques to construct adaptive target behavior relational graph. To fully distill structural information from the sub graph connected by rich relations in an end to end fashion, we elaborate on the model design of ATBRG, equipped with relation aware extractor layer and representation activation layer. We perform extensive experiments on both industrial and benchmark datasets. Empirical results show that ATBRG consistently and significantly outperforms state of the art methods. Moreover, ATBRG has also achieved a performance improvement of 5.1 on CTR metric after successful deployment in one popular recommendation scenario of Taobao APP.


Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs. We consider the problem of computing shortest paths in hybrid networks, in which nodes can make use of different communication modes. For example, mobile phones may use ad hoc connections via Bluetooth or Wi Fi in addition to the cellular network to solve tasks more efficiently. Like in this case, the different communication modes may differ considerably in range, bandwidth, and flexibility. We build upon the model of Augustine et al. SODA '20 , which captures these differences by a local and a global mode. Specifically, the local edges model a fixed communication network in which O(1) messages of size O( log n) can be sent over every edge in each synchronous round. The global edges form a clique, but nodes are only allowed to send and receive a total of at most O( log n) messages over global edges, which restricts the nodes to use these edges only very sparsely. We demonstrate the power of hybrid networks by presenting algorithms to compute Single Source Shortest Paths and the diameter very efficiently in sparse graphs. Specifically, we present exact O( log n) time algorithms for cactus graphs (i.e., graphs in which each edge is contained in at most one cycle), and 3 approximations for graphs that have at most n O(n 1 3 ) edges and arboricity O( log n) . For these graph classes, our algorithms provide exponentially faster solutions than the best known algorithms for general graphs in this model. Beyond shortest paths, we also provide a variety of useful tools and techniques for hybrid networks, which may be of independent interest.


BRUMS at SemEval 2020 Task 3 Contextualised Embeddings for Predicting the (Graded) Effect of Context in Word Similarity. This paper presents the team BRUMS submission to SemEval 2020 Task 3 Graded Word Similarity in Context. The system utilises state of the art contextualised word embeddings, which have some task specific adaptations, including stacked embeddings and average embeddings. Overall, the approach achieves good evaluation scores across all the languages, while maintaining simplicity. Following the final rankings, our approach is ranked within the top 5 solutions of each language while preserving the 1st position of Finnish subtask 2.


Succinct Navigational Oracles for Families of Intersection Graphs on a Circle. We consider the problem of designing succinct navigational oracles, i.e., succinct data structures supporting basic navigational queries such as degree, adjacency, and neighborhood efficiently for intersection graphs on a circle, which include graph classes such as it circle graphs , it k polygon circle graphs , it circle trapezoid graphs , it trapezoid graphs . The degree query reports the number of incident edges to a given vertex, the adjacency query asks if there is an edge between two given vertices, and the neighborhood query enumerates all the neighbors of a given vertex. We first prove a general lower bound for these intersection graph classes and then present a uniform approach that lets us obtain matching lower and upper bounds for representing each of these graph classes. More specifically, our lower bound proofs use a unified technique to produce tight bounds for all these classes, and this is followed by our data structures which are also obtained from a unified representation method to achieve succinctness for each class. In addition, we prove a lower bound of space for representing it trapezoid graphs and give a succinct navigational oracle for this class of graphs.


The index and nullity of the Lawson surfaces xi g,1 . We prove that the Lawson surface xi g,1 in Lawson's original notation, which has genus g and can be viewed as a desingularization of two orthogonal great two spheres in the round three sphere mathbb S 3 , has index 2g 3 and nullity 6 for any genus g ge2 . In particular xi g,1 has no exceptional Jacobi fields, which means that it cannot flap its wings' at the linearized level and is C 1 isolated.


Optimal Randomness in Swarm Based Search. L ' e vy flights is a random walk where the step lengths have a probability distribution that is heavy tailed. It has been shown that L ' e vy flights can maximize the efficiency of resource searching in uncertain environments, and also movements of many foragers and wandering animals have been shown to follow a L ' e vy distribution. The reason mainly comes from that the L ' e vy distribution, has an infinite second moment, and hence is more likely to generate an offspring that is farther away from its parent. However, the investigation into the efficiency of other different heavy tailed probability distributions in swarm based searches is still insufficient up to now. For swarm based search algorithms, randomness plays a significant role in both exploration and exploitation, or diversification and intensification. Therefore, it's necessary to discuss the optimal randomness in swarm based search algorithms. In this study, CS is taken as a representative method of swarm based optimization algorithms, and the results can be generalized to other swarm based search algorithms. In this paper, four different types of commonly used heavy tailed distributions, including Mittag Leffler distribution, Pareto distribution, Cauchy distribution, and Weibull distribution, are considered to enhance the searching ability of CS. Then four novel CS algorithms are proposed and experiments are carried out on 20 benchmark functions to compare their searching performances. Finally, the proposed methods are used to system identification to demonstrate the effectiveness.


Selective Particle Attention Visual Feature Based Attention in Deep Reinforcement Learning. The human brain uses selective attention to filter perceptual input so that only the components that are useful for behaviour are processed using its limited computational resources. We focus on one particular form of visual attention known as feature based attention, which is concerned with identifying features of the visual input that are important for the current task regardless of their spatial location. Visual feature based attention has been proposed to improve the efficiency of Reinforcement Learning (RL) by reducing the dimensionality of state representations and guiding learning towards relevant features. Despite achieving human level performance in complex perceptual motor tasks, Deep RL algorithms have been consistently criticised for their poor efficiency and lack of flexibility. Visual feature based attention therefore represents one option for addressing these criticisms. Nevertheless, it is still an open question how the brain is able to learn which features to attend to during RL. To help answer this question we propose a novel algorithm, termed Selective Particle Attention (SPA), which imbues a Deep RL agent with the ability to perform selective feature based attention. SPA learns which combinations of features to attend to based on their bottom up saliency and how accurately they predict future reward. We evaluate SPA on a multiple choice task and a 2D video game that both involve raw pixel input and dynamic changes to the task structure. We show various benefits of SPA over approaches that naively attend to either all or random subsets of features. Our results demonstrate (1) how visual feature based attention in Deep RL models can improve their learning efficiency and ability to deal with sudden changes in task structure and (2) that particle filters may represent a viable computational account of how visual feature based attention occurs in the brain.


GPU Accelerated Contactless Human Machine Interface for Driving Car. In this paper we present an original contactless human machine interface for driving car. The proposed framework is based on the image sent by a simple camera device, which is then processed by various computer vision algorithms. These algorithms allow the isolation of the user's hand on the camera frame and translate its movements into orders sent to the computer in a real time process. The optimization of the implemented algorithms on graphics processing unit leads to real time interaction between the user, the computer and the machine. The user can easily modify or create the interfaces displayed by the proposed framework to fit his personnel needs. A contactless driving car interface is here produced to illustrate the principle of our framework.


Local Local Reasoning A BI Hyperdoctrine for Full Ground Store. Modelling and reasoning about dynamic memory allocation is one of the well established strands of theoretical computer science, which is particularly well known as a source of notorious challenges in semantics, reasoning, and proof theory. We capitalize on recent progress on categorical semantics of full ground store, in terms of a full ground store monad, to build a corresponding semantics of a higher order logic over the corresponding programs. Our main result is a construction of an (intuitionistic) BI hyperdoctrine, which is arguably the semantic core of higher order logic over local store. Although we have made an extensive use of the existing generic tools, certain principled changes had to be made to enable the desired construction while the original monad works over total heaps (to disable dangling pointers), our version involves partial heaps (heaplets) to enable compositional reasoning using separating conjunction. Another remarkable feature of our construction is that, in contrast to the existing generic approaches, our BI algebra does not directly stem from an internal categorical partial commutative monoid.


Incorrect Data in the Widely Used Inside Airbnb Dataset. Several recently published papers in Decision Support Systems discussed issues related to data quality in Information Systems research. In this short research note, I build on the work introduced in these papers and document two data quality issues discovered in a large open dataset commonly used in research. Inside Airbnb (IA) collects data from places and reviews as posted by users of Airbnb.com. Visitors can effortlessly download data collected by IA for several locations around the globe. While the dataset is widely used in academic research, no thorough investigation of the dataset and its validity has been conducted. This note examines the dataset and explains an issue of incorrect data added to the dataset. Findings suggest that this issue can be attributed to systemic errors in the data collection process. The results suggest that the use of unverified open datasets can be problematic, although the discoveries presented in this work may not be significant enough to challenge all published research that used the IA dataset. Additionally, findings indicate that the incorrect data happens because of a new feature implemented by Airbnb. Thus, unless changes are made, it is likely that the consequences of this issue will only become more severe. Finally, this note explores why reproducibility is a problem when two different releases of the dataset are compared.


Foil Scattering Model for Fermilab Booster. At the Fermilab Booster, and many other proton facili ties, an intense proton beam is accumulated by multi turn injection of an H beam through a stripping foil. The circu lating beam scatters off the injection foil and large angle Coulomb scattering leads to uncontrolled losses concen trated in the first betatron period. We measure the foil scat tering loss rate in the Fermilab Booster as a function of LINAC current, number of injection turns, and time on the injection foil. We find that current Booster operation has 1 foil scattering loss and we make projections for the Proton Improvement Plan II (PIP II) injector upgrade. Here we present the results from our recent beam measure ments and a foil scattering model analyses.


Spatial population dynamics beyond the Kirkwood superposition approximation by advancing to the Fisher Kopeliovich ansatz. The superior Fisher Kopeliovich closure is applied to the hierarchy of master equations for spatial moments of population dynamics for the first time. As a consequence, the population density, pair and triplet distribution functions are calculated within this closure for a birth death model with nonlocal dispersal and competition in continuous space. The new results are compared with those obtained by exact'' individual based simulations as well as by the inferior mean field and Kirkwood superposition approximations. It is shown that the Fisher Kopeliovich approach significantly improves the quality of the description in a wide range of varying parameters of the model.


Any Finite Distributive Lattice is Isomorphic to the Minimizer Set of an rm M natural Concave Set Function. Submodularity is an important concept in combinatorial optimization, and it is often regarded as a discrete analog of convexity. It is a fundamental fact that the set of minimizers of any submodular function forms a distributive lattice. Conversely, it is also known that any finite distributive lattice is isomorphic to the minimizer set of a submodular function, through the celebrated Birkhoff's representation theorem. rm M natural concavity is a key concept in discrete convex analysis. It is known for set functions that the class of rm M natural concavity is a proper subclass of submodularity. Thus, the minimizer set of an rm M natural concave function forms a distributive lattice. It is natural to ask if any finite distributive lattice appears as the minimizer set of an rm M natural concave function. This paper affirmatively answers the question.


Semantic Alignment Finding Semantically Consistent Ground truth for Facial Landmark Detection. Recently, deep learning based facial landmark detection has achieved great success. Despite this, we notice that the semantic ambiguity greatly degrades the detection performance. Specifically, the semantic ambiguity means that some landmarks (e.g. those evenly distributed along the face contour) do not have clear and accurate definition, causing inconsistent annotations by annotators. Accordingly, these inconsistent annotations, which are usually provided by public databases, commonly work as the ground truth to supervise network training, leading to the degraded accuracy. To our knowledge, little research has investigated this problem. In this paper, we propose a novel probabilistic model which introduces a latent variable, i.e. the 'real' ground truth which is semantically consistent, to optimize. This framework couples two parts (1) training landmark detection CNN and (2) searching the 'real' ground truth. These two parts are alternatively optimized the searched 'real' ground truth supervises the CNN training and the trained CNN assists the searching of 'real' ground truth. In addition, to recover the unconfidently predicted landmarks due to occlusion and low quality, we propose a global heatmap correction unit (GHCU) to correct outliers by considering the global face shape as a constraint. Extensive experiments on both image based (300W and AFLW) and video based (300 VW) databases demonstrate that our method effectively improves the landmark detection accuracy and achieves the state of the art performance.


Groups for which it is easy to detect graphical regular representations. We say that a finite group G is "DRR detecting" if, for every subset S of G, either the Cayley digraph Cay(G,S) is a digraphical regular representation (that is, its automorphism group acts regularly on its vertex set) or there is a nontrivial group automorphism phi of G such that phi(S) S. We show that every nilpotent DRR detecting group is a p group, but that the wreath product of two cyclic groups of order p is not DRR detecting, for every odd prime p. We also show that if G and H are nontrivial groups that admit a digraphical regular representation and either gcd( G , H ) 1, or H is not DRR detecting, then the direct product G x H is not DRR detecting. Some of these results also have analogues for graphical regular representations.


On an enhancement of RNA probing data using Information Theory. Identifying the secondary structure of an RNA is crucial for understanding its diverse regulatory functions. This paper focuses on how to enhance target identification in a Boltzmann ensemble of structures via chemical probing data. We employ an information theoretic approach to solve the problem, via considering a variant of the R ' e nyi Ulam game. Our framework is centered around the ensemble tree, a hierarchical bi partition of the input ensemble, that is constructed by recursively querying about whether or not a base pair of maximum information entropy is contained in the target. These queries are answered via relating local with global probing data, employing the modularity in RNA secondary structures. We present that leaves of the tree are comprised of sub samples exhibiting a distinguished structure with high probability. In particular, for a Boltzmann ensemble incorporating probing data, which is well established in the literature, the probability of our framework correctly identifying the target in the leaf is greater than 90 .


Tight relative t designs on two shells in hypercubes, and Hahn and Hermite polynomials. Relative t designs in the n dimensional hypercube mathcal Q n are equivalent to weighted regular t wise balanced designs, which generalize combinatorial t (n,k, lambda) designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean t designs on two concentric spheres, in this paper we discuss tight relative t designs in mathcal Q n supported on two shells. We show under a mild condition that such a relative t design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non trivial tight relative t designs in mathcal Q n supported on two shells are rare for large t .


Linear Dynamics Induced by Odometers. Weighted shifts are an important concrete class of operators in linear dynamics. In particular, they are an essential tool in distinguishing variety dynamical properties. Recently, a systematic study of dynamical properties of composition operators on L p spaces has been initiated. This class of operators includes weighted shifts and also allows flexibility in construction of other concrete examples. In this article, we study one such concrete class of operators, namely composition operators induced by measures on odometers. In particular, we study measures on odometers which induce mixing and transitive linear operators on L p spaces.


Finding Effective Geo Social Group for Impromptu Activity with Multiple Demands. Geo social group search aims to find a group of people proximate to a location while socially related. One of the driven applications for geo social group search is organizing an impromptu activity. This is because the social cohesiveness of a found geo social group ensures a good communication atmosphere and the spatial closeness of the geo social group reduces the preparation time for the activity. Most existing works treat geo social group search as a problem that finds a group satisfying a single social constraint while optimizing the spatial proximity. However, when an impromptu activity has additional demands on attendees, e.g., the activity requires that the attendees have certain set of skills, the existing works cannot find an effective geo social group efficiently. In this paper, we study how to find a group that is most proximate to a query location while satisfying multiple constraints. Specifically, the multiple constraints on which we focus include social constraint, size constraint and keyword constraint. We propose a novel search framework which first effectively narrows down the search space with theoretical guarantees and then efficiently finds the optimum result. Although our model considers multiple constraints, novel techniques devised in this paper ensure that search cost is equivalent to parameterized constant times of one time social constraint checking on a vastly restricted search space. We conduct extensive experiments on both real and semi synthetic datasets for demonstrating the efficiency of the proposed search algorithm. To evaluate the effectiveness, we conduct two case studies on real datasets, demonstrating the superiority of our proposed model.


Towards a Formal Framework for Partial Compliance of Business Processes. Binary "YES NO" notions of process compliance are not very helpful to managers for assessing the operational performance of their company because a large number of cases fall in the grey area of partial compliance. Hence, it is necessary to have ways to quantify partial compliance in terms of metrics and be able to classify actual cases by assigning a numeric value of compliance to them. In this paper, we formulate an evaluation framework to quantify the level of compliance of business processes across different levels of abstraction (such as task,trace and process level) and across multiple dimensions of each task (such as temporal, monetary, role , data , and quality related) to provide managers more useful information about their operations and to help them improve their decision making processes. Our approach can also add social value by making social services provided by local, state and federal governments more flexible and improving the lives of citizens.


Universal structures in mathbb C linear enumerative invariant theories. An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' tau (semi)stable objects E with fixed topological invariants E alpha in some geometric problem, using a virtual class cal M alpha rm ss ( tau) rm virt in some homology theory for the moduli spaces cal M alpha rm st ( tau) subseteq cal M alpha rm ss ( tau) of tau (semi)stable objects. Examples include Mochizuki's invariants counting coherent sheaves on surfaces, Donaldson Thomas type invariants counting coherent sheaves on Calabi Yau 3 and 4 folds and Fano 3 folds, and Donaldson invariants of 4 manifolds. We make conjectures on new universal structures common to many enumerative invariant theories. Such theories have two moduli spaces cal M , cal M rm pl , where the second author gives H ( cal M ) the structure of a graded vertex algebra, and H ( cal M rm pl ) a graded Lie algebra, closely related to H ( cal M ) . The virtual classes cal M alpha rm ss ( tau) rm virt take values in H ( cal M rm pl ) . Defining cal M alpha rm ss ( tau) rm virt when cal M alpha rm st ( tau) ne cal M alpha rm ss ( tau) (in gauge theory, when the moduli space contains reducibles) is a difficult problem. We conjecture that there is a natural way to define cal M alpha rm ss ( tau) rm virt in homology over mathbb Q , and that the resulting classes satisfy a universal wall crossing formula under change of stability condition tau , written using the Lie bracket on H ( cal M rm pl ) . We prove our conjectures for moduli spaces of representations of quivers without oriented cycles. Our conjectures in Algebraic Geometry using Behrend Fantechi virtual classes are proved in the sequel arXiv 2111.04694.


Lipschitz like property relative to a set and the generalized Mordukhovich criterion. In this paper we will establish some necessary condition and sufficient condition respectively for a set valued mapping to have the Lipschitz like property relative to a closed set by employing regular normal cone and limiting normal cone of a restricted graph of the set valued mapping. We will obtain a complete characterization for a set valued mapping to have the Lipschitz property relative to a closed and convex set by virtue of the projection of the coderivative onto a tangent cone. Furthermore, by introducing a projectional coderivative of set valued mappings, we establish a verifiable generalized Mordukhovich criterion for the Lipschitz like property relative to a closed and convex set. We will study the representation of the graphical modulus of a set valued mapping relative to a closed and convex set by using the outer norm of the corresponding projectional coderivative value. For an extended real valued function, we will apply the obtained results to investigate its Lipschitz continuity relative to a closed and convex set and the Lipschitz like property of a level set mapping relative to a half line.


Decoding a Complex Visualization in a Science Museum An Empirical Study. This study describes a detailed analysis of museum visitors' decoding process as they used a visualization designed to support exploration of a large, complex dataset. Quantitative and qualitative analyses revealed that it took, on average, 43 seconds for visitors to decode enough of the visualization to see patterns and relationships in the underlying data represented, and 54 seconds to arrive at their first correct data interpretation. Furthermore, visitors decoded throughout and not only upon initial use of the visualization. The study analyzed think aloud data to identify issues visitors had mapping the visual representations to their intended referents, examine why they occurred, and consider if and how these decoding issues were resolved. The paper also describes how multiple visual encodings both helped and hindered decoding and concludes with implications on the design and adaptation of visualizations for informal science learning venues.


A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics. This paper explains a formalization in the Coq proof assistant of a monad equipped with both choices the geometrically convex monad. This formalization has an immediate application it provides a model for a monad that implements a non trivial interface which allows for proofs by equational reasoning using probabilistic and nondeterministic effects. We explain the technical choices we made to go from the literature to a complete Coq formalization, from which we identify reusable theories about mathematical structures such as convex spaces and concrete categories, and that we integrate in a framework for monadic equational reasoning.


The tame Hilbert symbol via K theory and central extensions. Let K be a mixed characteristic local field whose residue field has cardinality q , and let n be an integer dividing q 1 . In the first part of this document we construct a K theoretic enhancement of the n th power residue symbol K times times K times rightarrow mu n . In the second part we construct central extensions of GL m(K) by mu n and we express the n th power residue symbol in terms of a symbol defined using the extension obtained for m 1 . Our constructions both rely on the study of finite free pointed mu n sets.


Constrained deformations of positive scalar curvature metrics. We present a series of results concerning the interplay between the scalar curvature of a manifold and the mean curvature of its boundary. In particular, we give a complete topological characterization of those compact 3 manifolds that support Riemannian metrics of positive scalar curvature and mean convex boundary and, in any such case, we prove that the associated moduli space of metrics is path connected. The methods we employ are flexible enough to allow the construction of continuous paths of positive scalar curvature metrics with minimal boundary, and to derive similar conclusions in that context as well. Our work relies on a combination of earlier fundamental contributions by Gromov Lawson and Schoen Yau, on the smoothing procedure designed by Miao, and on the interplay of Perelman's Ricci flow with surgery and conformal deformation techniques introduced by Cod 'a Marques in dealing with the closed case.


Stability of the boundary layer expansion for the 3D plane parallel MHD flow. In this paper, we establish the mathematical validity of the Prandtl boundary layer theory for a class of nonlinear plane parallel flows of viscous incompressible magnetohydrodynamic (MHD) flow with no slip boundary condition of velocity and perfectly conducting wall for magnetic fields. The convergence is shown under various Sobolev norms, including the physically important space time uniform norm L infty(H 1) . In addition, the similar convergence results are also obtained under the case with uniform magnetic fields. This implies the stabilizing effects of magnetic fields. Besides, the higher order expansion is also considered.


ExtremeC3Net Extreme Lightweight Portrait Segmentation Networks using Advanced C3 modules. Designing a lightweight and robust portrait segmentation algorithm is an important task for a wide range of face applications. However, the problem has been considered as a subset of the object segmentation problem. bviously, portrait segmentation has its unique requirements. First, because the portrait segmentation is performed in the middle of a whole process of many realworld applications, it requires extremely lightweight models. Second, there has not been any public datasets in this domain that contain a sufficient number of images with unbiased statistics. To solve the problems, we introduce a new extremely lightweight portrait segmentation model consisting of a two branched architecture based on the concentrated comprehensive convolutions block. Our method reduces the number of parameters from 2.1M to 37.7K (around 98.2 reduction), while maintaining the accuracy within a 1 margin from the state of the art portrait segmentation method. In our qualitative and quantitative analysis on the EG1800 dataset, we show that our method outperforms various existing lightweight segmentation models. Second, we propose a simple method to create additional portrait segmentation data which can improve accuracy on the EG1800 dataset. Also, we analyze the bias in public datasets by additionally annotating race, gender, and age on our own. The augmented dataset, the additional annotations and code are available in https github.com HYOJINPARK ExtPortraitSeg .


Distributed Coding of Quantized Random Projections. In this paper we propose a new framework for distributed source coding of structured sources, such as sparse signals. Our framework capitalizes on recent advances in the theory of linear inverse problems and signal representations using incoherent projections. Our approach acquires and quantizes incoherent linear measurements of the signal, which are represented as separate bitplanes. Each bitplane is coded using a distributed source code of the appropriate rate, and transmitted. The decoder, starts from the least significant biplane and, using a prediction of the signal as side information, iteratively recovers each bitplane based on the source prediction and the signal, assuming all the previous bitplanes of lower significance have already been recovered. We provide theoretical results guiding the rate selection, relying only on the least squares prediction error of the source. This is in contrast to existing approaches which rely on difficult to estimate information theoretic metrics to set the rate. We validate our approach using simulations on remote sensing multispectral images, comparing them with existing approaches of similar complexity.


Predicting Retrosynthetic Reaction using Self Corrected Transformer Neural Networks. Synthesis planning is the process of recursively decomposing target molecules into available precursors. Computer aided retrosynthesis can potentially assist chemists in designing synthetic routes, but at present it is cumbersome and provides results of dissatisfactory quality. In this study, we develop a template free self corrected retrosynthesis predictor (SCROP) to perform a retrosynthesis prediction task trained by using the Transformer neural network architecture. In the method, the retrosynthesis planning is converted as a machine translation problem between molecular linear notations of reactants and the products. Coupled with a neural network based syntax corrector, our method achieves an accuracy of 59.0 on a standard benchmark dataset, which increases 21 over other deep learning methods, and 6 over template based methods. More importantly, our method shows an accuracy 1.7 times higher than other state of the art methods for compounds not appearing in the training set.


Semantically Guided Representation Learning for Self Supervised Monocular Depth. Self supervised learning is showing great promise for monocular depth estimation, using geometry as the only source of supervision. Depth networks are indeed capable of learning representations that relate visual appearance to 3D properties by implicitly leveraging category level patterns. In this work we investigate how to leverage more directly this semantic structure to guide geometric representation learning, while remaining in the self supervised regime. Instead of using semantic labels and proxy losses in a multi task approach, we propose a new architecture leveraging fixed pretrained semantic segmentation networks to guide self supervised representation learning via pixel adaptive convolutions. Furthermore, we propose a two stage training process to overcome a common semantic bias on dynamic objects via resampling. Our method improves upon the state of the art for self supervised monocular depth prediction over all pixels, fine grained details, and per semantic categories.


Multistage s t Path Confronting Similarity with Dissimilarity. Addressing a quest by Gupta et al. ICALP'14 , we provide a first, comprehensive study of finding a short s t path in the multistage graph model, referred to as the Multistage s t Path problem. Herein, given a sequence of graphs over the same vertex set but changing edge sets, the task is to find short s t paths in each graph ("snapshot") such that in the found path sequence the consecutive s t paths are "similar". We measure similarity by the size of the symmetric difference of either the vertex set (vertex similarity) or the edge set (edge similarity) of any two consecutive paths. We prove that these two variants of Multistage s t Path are already NP hard for an input sequence of only two graphs and maximum vertex degree four. Motivated by this fact and natural applications of this scenario e.g. in traffic route planning, we perform a parameterized complexity analysis. Among other results, for both variants, vertex and edge similarity, we prove parameterized hardness (W 1 hardness) regarding the parameter path length (solution size) for both variants, vertex and edge similarity. As a further conceptual study, we then modify the multistage model by asking for dissimilar consecutive paths. As one of the main technical results (employing so called representative sets known from non temporal settings), we prove that dissimilarity allows for fixed parameter tractability for the parameter solution size, contrasting our W 1 hardness proof of the corresponding similarity case. We also provide partially positive results concerning efficient and effective data reduction (kernelization).