Towards Autonomous Driving of Personal Mobility with Small and Noisy Dataset using Tsallis statistics based Behavioral Cloning. Autonomous driving has made great progress and been introduced in practical use step by step. On the other hand, the concept of personal mobility is also getting popular, and its autonomous driving specialized for individual drivers is expected for a new step. However, it is difficult to collect a large driving dataset, which is basically required for the learning of autonomous driving, from the individual driver of the personal mobility. In addition, when the driver is not familiar with the operation of the personal mobility, the dataset will contain non optimal data. This study therefore focuses on an autonomous driving method for the personal mobility with such a small and noisy, so called personal, dataset. Specifically, we introduce a new loss function based on Tsallis statistics that weights gradients depending on the original loss function and allows us to exclude noisy data in the optimization phase. In addition, we improve the visualization technique to verify whether the driver and the controller have the same region of interest. From the experimental results, we found that the conventional autonomous driving failed to drive properly due to the wrong operations in the personal dataset, and the region of interest was different from that of the driver. In contrast, the proposed method learned robustly against the errors and successfully drove automatically while paying attention to the similar region to the driver. Attached video is also uploaded on youtube https youtu.be KEq8 bOxYQA


Combating Informational Denial of Service (IDoS) Attacks Modeling and Mitigation of Attentional Human Vulnerability. This work proposes a new class of proactive attacks called the Informational Denial of Service (IDoS) attacks that exploit the attentional human vulnerability. By generating a large volume of feints, IDoS attacks deplete the cognitive resources of human operators to prevent humans from identifying the real attacks hidden among feints. This work aims to formally define IDoS attacks, quantify their consequences, and develop human assistive security technologies to mitigate the severity level and risks of IDoS attacks. To this end, we use the semi Markov process to model the sequential arrivals of feints and real attacks with category labels attached in the associated alerts. The assistive technology strategically manages human attention by highlighting selective alerts periodically to prevent the distraction of other alerts. A data driven approach is applied to evaluate human performance under different Attention Management (AM) strategies. Under a representative special case, we establish the computational equivalency between two dynamic programming representations to reduce the computation complexity and enable online learning with samples of reduced size and zero delays. A case study corroborates the effectiveness of the learning framework. The numerical results illustrate how AM strategies can alleviate the severity level and the risk of IDoS attacks. Furthermore, the results show that the minimum risk is achieved with a proper level of intentional inattention to alerts, which we refer to as the law of rational risk reduction inattention.


Machine learning methods for modelling and analysis of time series signals in geoinformatics. In this dissertation is provided a comparative analysis that evaluates the performance of several deep learning (DL) architectures on a large number of time series datasets of different nature and for different applications. Two main fruitful research fields are discussed here which were strategically chosen in order to address current cross disciplinary research priorities attracting the interest of geodetic community. The first problem is related to ionospheric Total Electron Content (TEC) modeling which is an important issue in many real time Global Navigation System Satellites (GNSS) applications. Reliable and fast knowledge about ionospheric variations becomes increasingly important. GNSS users of single frequency receivers and satellite navigation systems need accurate corrections to remove signal degradation effects caused by the ionosphere. Ionospheric modeling using signal processing techniques is the subject of discussion in the present contribution. The next problem under discussion is energy disaggregation which is an important issue for energy efficiency and energy consumption awareness. Reliable and fast knowledge about residential energy consumption at appliance level becomes increasingly important nowadays and it is an important mitigation measure to prevent energy wastage. Energy disaggregation or Nonintrusive load monitoring (NILM) is a single channel blind source separation problem where the task is to estimate the consumption of each electrical appliance given the total energy consumption. For both problems various deep learning models (DL) are proposed that cover various aspects of the problem under study, whereas experimental results indicate the proposed methods superiority compared to the current state of the art.


Normality from one family of meromorphic functions to another through sharing of values. Let F and G be two families of meromorphic functions on a domain D, and let a, b and c be three distinct points in the extended complex plane. Let G be a normal family in D such that all limit functions of G are non constant. If for each f in F, there exists g in G such that f and g share a, b and c partially, then F is normal in D. This gives a sharp improvement of a result due to X. J. Liu, S. H. Li and X. C. Pang. We also prove some interesting related sharp results.


The Three Dipole Kicker Injection Scheme for the ALS U Accumulator Ring. The ALS U light source will implement on axis single train swap out injection employing an accumulator between the booster and storage rings. The accumulator ring design is a twelve period triple bend achromat that will be installed along the inner circumference of the storage ring tunnel. A non conventional injection scheme will be utilized for top off off axis injection from the booster into the accumulator ring meant to accommodate a large sim 300 nm emittance beam into a vacuum chamber with a limiting horizontal aperture radius as small as 8 mm. The scheme incorporates three dipole kickers distributed over three sectors, with two kickers perturbing the stored beam and the third affecting both the stored and the injected beam trajectories. This paper describes this 3DK'' injection scheme and how it fits the accumulator ring's particular requirements. We describe the design and optimization process, and how we evaluated its fitness as a solution for booster to accumulator ring injection.


A note on the nuclear dimension of Cuntz Pimsner C algebras associated with minimal shift spaces. For every one sided shift space X over a finite alphabet, left special elements are those points in X having at least two preimages under the shift operation. In this paper, we show that the Cuntz Pimsner C algebra mathcal O X has nuclear dimension 1 when X is minimal and the number of left special elements in X is finite. This is done by describing thoroughly the cover of X which also recovers an exact sequence, discovered before by T. Carlsen and S. Eilers.


Karchmer Wigderson Games for Hazard free Computation. We present a Karchmer Wigderson game to study the complexity of hazard free formulas. This new game is both a generalization of the monotone Karchmer Wigderson game and an analog of the classical Boolean Karchmer Wigderson game. Therefore, it acts as a bridge between the existing monotone and general games. Using this game, we prove hazard free formula size and depth lower bounds that are provably stronger than those possible by the standard technique of transferring results from monotone complexity in a black box fashion. For the multiplexer function we give (1) a hazard free formula of optimal size and (2) an improved low depth hazard free formula of almost optimal size and (3) a hazard free formula with alternation depth 2 that has optimal depth. We then use our optimal constructions to obtain an improved universal worst case hazard free formula size upper bound. We see our results as a significant step towards establishing hazard free computation as an independent missing link between Boolean complexity and monotone complexity.


Extremal problems of Erd H o s, Faudree, Schelp and Simonovits on paths and cycles. For positive integers n d geq k , let phi(n,d,k) denote the least integer phi such that every n vertex graph with at least phi vertices of degree at least d contains a path on k 1 vertices. Many years ago, Erd H o s, Faudree, Schelp and Simonovits proposed the study of the function phi(n,d,k) , and conjectured that for any positive integers n d geq k , it holds that phi(n,d,k) leq lfloor frac k 1 2 rfloor lfloor frac n d 1 rfloor epsilon , where epsilon 1 if k is odd and epsilon 2 otherwise. In this paper we determine the values of the function phi(n,d,k) exactly. This confirms the above conjecture of Erd H o s et al. for all positive integers k neq 4 and in a corrected form for the case k 4 . Our proof utilizes, among others, a lemma of Erd H o s et al. cite EFSS89 , a theorem of Jackson cite J81 , and a (slight) extension of a very recent theorem of Kostochka, Luo and Zirlin cite KLZ , where the latter two results concern maximum cycles in bipartite graphs. Moreover, we construct examples to provide answers to two closely related questions raised by Erd H o s et al.


PointAcc Efficient Point Cloud Accelerator. Deep learning on point clouds plays a vital role in a wide range of applications such as autonomous driving and AR VR. These applications interact with people in real time on edge devices and thus require low latency and low energy. Compared to projecting the point cloud to 2D space, directly processing the 3D point cloud yields higher accuracy and lower MACs. However, the extremely sparse nature of point cloud poses challenges to hardware acceleration. For example, we need to explicitly determine the nonzero outputs and search for the nonzero neighbors (mapping operation), which is unsupported in existing accelerators. Furthermore, explicit gather and scatter of sparse features are required, resulting in large data movement overhead. In this paper, we comprehensively analyze the performance bottleneck of modern point cloud networks on CPU GPU TPU. To address the challenges, we then present PointAcc, a novel point cloud deep learning accelerator. PointAcc maps diverse mapping operations onto one versatile ranking based kernel, streams the sparse computation with configurable caching, and temporally fuses consecutive dense layers to reduce the memory footprint. Evaluated on 8 point cloud models across 4 applications, PointAcc achieves 3.7X speedup and 22X energy savings over RTX 2080Ti GPU. Co designed with light weight neural networks, PointAcc rivals the prior accelerator Mesorasi by 100X speedup with 9.1 higher accuracy running segmentation on the S3DIS dataset. PointAcc paves the way for efficient point cloud recognition.


Phase Space Reconstruction Network for Lane Intrusion Action Recognition. In a complex road traffic scene, illegal lane intrusion of pedestrians or cyclists constitutes one of the main safety challenges in autonomous driving application. In this paper, we propose a novel object level phase space reconstruction network (PSRNet) for motion time series classification, aiming to recognize lane intrusion actions that occur 150m ahead through a monocular camera fixed on moving vehicle. In the PSRNet, the movement of pedestrians and cyclists, specifically viewed as an observable object level dynamic process, can be reconstructed as trajectories of state vectors in a latent phase space and further characterized by a learnable Lyapunov exponent like classifier that indicates discrimination in terms of average exponential divergence of state trajectories. Additionally, in order to first transform video inputs into one dimensional motion time series of each object, a lane width normalization based on visual object tracking by detection is presented. Extensive experiments are conducted on the THU IntrudBehavior dataset collected from real urban roads. The results show that our PSRNet could reach the best accuracy of 98.0 , which remarkably exceeds existing action recognition approaches by more than 30 .


Global Stability of the Periodic Solution of the Three Level Food Chain Model with Extinction of Top Predator. In this work, we revisit the classical Holling type II three species food chain model from a different viewpoint. Two critical parameters lambda 1 and lambda 2 dependent on all parameters are defined. The existence and local stabilities of all equilibria can be reformulated by lambda 1 and lambda 2, and the complete classifications of parameters and its corresponding dynamics are given. Moreover, with the extinction of top predator, there is an invariant two dimensional subsystem containing the prey and the intermediate predator. We prove the global stability of the boundary equilibrium in R3 by differential inequality as well as Butler McGehee lemma if it is stable. Alternatively, there is a unique limit cycle when the boundary equilibrium lost its stability, and we also show the global stability of the limit cycle in R3 by differential inequality and computing the Floquet Multipliers. Finally, some interesting numerical simulations, the chaotic and the bi stability phenomena, are presented numerically. A brief discussion and biological implications are also given.


Inspiration Hunter for Picture Design via Cut transform paste. The digital era transformed design paradigms, blurring borders among exploration, ideation, and construction. Crowd generated big digital data emerged as a new material. There appears to be a need for new content creation tools which do not ignore complex interaction among traditionally separate stages and roles. To address this need in picture design, we present an open source platform called Inspiration Hunter. It facilitates ideation via search edit by supplying infinitely many dynamic possibilities available through the web without leaving the content creation environment, hence, seamlessly integrates exploration, ideation, and construction. User experiences show that the platform successfully enables reuse of web data both as a conceptual stimulant and as a material available for cut transform paste. Extending grammar based approach to shape design, Inspiration Hunter mediates data enabled collaborative creativity beyond common intention, time or space.


Bottom Up Skill Discovery from Unsegmented Demonstrations for Long Horizon Robot Manipulation. We tackle real world long horizon robot manipulation tasks through skill discovery. We present a bottom up approach to learning a library of reusable skills from unsegmented demonstrations and use these skills to synthesize prolonged robot behaviors. Our method starts with constructing a hierarchical task structure from each demonstration through agglomerative clustering. From the task structures of multi task demonstrations, we identify skills based on the recurring patterns and train goal conditioned sensorimotor policies with hierarchical imitation learning. Finally, we train a meta controller to compose these skills to solve long horizon manipulation tasks. The entire model can be trained on a small set of human demonstrations collected within 30 minutes without further annotations, making it amendable to real world deployment. We systematically evaluated our method in simulation environments and on a real robot. Our method has shown superior performance over state of the art imitation learning methods in multi stage manipulation tasks. Furthermore, skills discovered from multi task demonstrations boost the average task success by 8 compared to those discovered from individual tasks.


On the number of stabilizer subgroups in a finite group acting on a manifold. If a finite p group G acts continuously on a compact topological manifold M then, with some bound C depending on M alone, G has a subgroup H of index at most C such that the H action on M has at most C stabilizer subgroups. This result plays a crucial role in the proof of a deep conjecture of Ghys.


Rover Relocalization for Mars Sample Return by Virtual Template Synthesis and Matching. We consider the problem of rover relocalization in the context of the notional Mars Sample Return campaign. In this campaign, a rover (R1) needs to be capable of autonomously navigating and localizing itself within an area of approximately 50 x 50 m using reference images collected years earlier by another rover (R0). We propose a visual localizer that exhibits robustness to the relatively barren terrain that we expect to find in relevant areas, and to large lighting and viewpoint differences between R0 and R1. The localizer synthesizes partial renderings of a mesh built from reference R0 images and matches those to R1 images. We evaluate our method on a dataset totaling 2160 images covering the range of expected environmental conditions (terrain, lighting, approach angle). Experimental results show the effectiveness of our approach. This work informs the Mars Sample Return campaign on the choice of a site where Perseverance (R0) will place a set of sample tubes for future retrieval by another rover (R1).


Active tail flexion in concert with passive hydrodynamic forces improves swimming speed and efficiency. Fish typically swim by periodic bending of their bodies. Bending seems to follow a universal rule it occurs at about one third from the posterior end of the fish body with a maximum bending angle of about 30 o . However, the hydrodynamic mechanisms that shaped this convergent design and its potential benefit to fish in terms of swimming speed and efficiency are not well understood. It is also unclear to what extent this bending is active or follows passively from the interaction of a flexible posterior with the fluid environment. Here, we use a self propelled two link model, with fluid structure interactions described in the context of the vortex sheet method, to analyze the effects of both active and passive body bending on the swimming performance. We find that passive bending is more efficient but could reduce swimming speed compared to rigid flapping, but the addition of active bending could enhance both speed and efficiency. Importantly, we find that the phase difference between the posterior and anterior sections of the body is an important kinematic factor that influences performance, and that active antiphase flexion, consistent with the passive flexion phase, can simultaneously enhance speed and efficiency in a region of the design space that overlaps with biological observations. Our results are consistent with the hypothesis that fish that actively bend their bodies in a fashion that exploits passive hydrodynamics can at once improve speed and efficiency.


Radial distribution gain at 633 nm in a He Ne RF excited small bore discharge. Devices as Large Ring Laser Gyroscopes (RLG) for fundamental physics and geophysics investigation are currently run by means of RF power supply systems. This is not the standard method to supply a gas laser, that typically is powered with a DC system. In literature RF power supply lasers have been studied several years ago, and to correctly understand the behaviour of devices as RLG a more detailed study has been pursued. Detailed study of the radial distribution of the optical gain of an He Ne discharge cell in function of gas pressure and RF power supply will be illustrated, discussed and compared with existing literature. The presented analysis demonstrates that it is possible to optimize the RLG operation with a proper choice of gas pressure and power level of the RF power supply. Accordingly we have been able to establish transversal and longitudinal single mode operation our prototype GP2.


Differentiable Generative Phonology. The goal of generative phonology, as formulated by Chomsky and Halle (1968), is to specify a formal system that explains the set of attested phonological strings in a language. Traditionally, a collection of rules (or constraints, in the case of optimality theory) and underlying forms (UF) are posited to work in tandem to generate phonological strings. However, the degree of abstraction of UFs with respect to their concrete realizations is contentious. As the main contribution of our work, we implement the phonological generative system as a neural model differentiable end to end, rather than as a set of rules or constraints. Contrary to traditional phonology, in our model, UFs are continuous vectors in mathbb R d , rather than discrete strings. As a consequence, UFs are discovered automatically rather than posited by linguists, and the model can scale to the size of a realistic vocabulary. Moreover, we compare several modes of the generative process, contemplating i) the presence or absence of an underlying representation in between morphemes and surface forms (SFs) and ii) the conditional dependence or independence of UFs with respect to SFs. We evaluate the ability of each mode to predict attested phonological strings on 2 datasets covering 5 and 28 languages, respectively. The results corroborate two tenets of generative phonology, viz. the necessity for UFs and their independence from SFs. In general, our neural model of generative phonology learns both UFs and SFs automatically and on a large scale.


A priori bounds for quasi linear SPDEs in the full sub critical regime. This paper is concerned with quasi linear parabolic equations driven by an additive forcing xi in C alpha 2 , in the full sub critical regime alpha in (0,1) . We are inspired by Hairer's regularity structures, however we work with a more parsimonious model indexed by multi indices rather than trees. This allows us to capture additional symmetries which play a crucial role in our analysis. Assuming bounds on this model, which is modified in agreement with the concept of algebraic renormalization, we prove local a priori estimates on solutions to the quasi linear equations modified by the corresponding counter terms.


Algorithmizing the Multiplicity Schwartz Zippel Lemma. The multiplicity Schwartz Zippel lemma asserts that over a field, a low degree polynomial cannot vanish with high multiplicity very often on a sufficiently large product set. Since its discovery in a work of Dvir, Kopparty, Saraf and Sudan SIAM J. Comput., 2013 , the lemma has found numerous applications in both math and computer science in particular, in the definition and properties of multiplicity codes by Kopparty, Saraf and Yekhanin J. ACM, 2014 . In this work, we show how to algorithmize the multiplicity Schwartz Zippel lemma for arbitrary product sets over any field. In other words, we give an efficient algorithm for unique decoding of multivariate multiplicity codes from half their minimum distance on arbitrary product sets over all fields. Previously, such an algorithm was known either when the underlying product set had a nice algebraic structure for instance, was a subfield (by Kopparty ToC, 2015 ) or when the underlying field had large (or zero) characteristic, the multiplicity parameter was sufficiently large and the multiplicity code had distance bounded away from 1 (Bhandari, Harsha, Kumar and Sudan STOC 2021 ). In particular, even unique decoding of bivariate multiplicity codes with multiplicity two from half their minimum distance was not known over arbitrary product sets over any field. Our algorithm builds upon a result of Kim and Kopparty ToC, 2017 who gave an algorithmic version of the Schwartz Zippel lemma (without multiplicities) or equivalently, an efficient algorithm for unique decoding of Reed Muller codes over arbitrary product sets. We introduce a refined notion of distance based on the multiplicity Schwartz Zippel lemma and design a unique decoding algorithm for this distance measure. On the way, we give an alternate analysis of Forney's classical generalized minimum distance decoder that might be of independent interest.


Bregman Gradient Policy Optimization. In the paper, we design a novel Bregman gradient policy optimization framework for reinforcement learning based on Bregman divergences and momentum techniques. Specifically, we propose a Bregman gradient policy optimization (BGPO) algorithm based on the basic momentum technique and mirror descent iteration. Meanwhile, we further propose an accelerated Bregman gradient policy optimization (VR BGPO) algorithm based on the variance reduced technique. Moreover, we provide a convergence analysis framework for our Bregman gradient policy optimization under the nonconvex setting. We prove that our BGPO achieves a sample complexity of O( epsilon 4 ) for finding epsilon stationary policy only requiring one trajectory at each iteration, and our VR BGPO reaches the best known sample complexity of O( epsilon 3 ) , which also only requires one trajectory at each iteration. In particular, by using different Bregman divergences, our BGPO framework unifies many existing policy optimization algorithms such as the existing (variance reduced) policy gradient algorithms such as natural policy gradient algorithm. Extensive experimental results on multiple reinforcement learning tasks demonstrate the efficiency of our new algorithms.


PCE PINNs Physics Informed Neural Networks for Uncertainty Propagation in Ocean Modeling. Climate models project an uncertainty range of possible warming scenarios from 1.5 to 5 degree Celsius global temperature increase until 2100, according to the CMIP6 model ensemble. Climate risk management and infrastructure adaptation requires the accurate quantification of the uncertainties at the local level. Ensembles of high resolution climate models could accurately quantify the uncertainties, but most physics based climate models are computationally too expensive to run as ensemble. Recent works in physics informed neural networks (PINNs) have combined deep learning and the physical sciences to learn up to 15k faster copies of climate submodels. However, the application of PINNs in climate modeling has so far been mostly limited to deterministic models. We leverage a novel method that combines polynomial chaos expansion (PCE), a classic technique for uncertainty propagation, with PINNs. The PCE PINNs learn a fast surrogate model that is demonstrated for uncertainty propagation of known parameter uncertainties. We showcase the effectiveness in ocean modeling by using the local advection diffusion equation.


Monomial ideals and the failure of the Strong Lefschetz property. We give a sharp lower bound for the Hilbert function in degree d of artinian quotients Bbbk x 1, ldots,x n I failing the Strong Lefschetz property, where I is a monomial ideal generated in degree d geq 2 . We also provide sharp lower bounds for other classes of ideals, and connect our result to the classification of the Hilbert functions forcing the Strong Lefschetz property by Zanello and Zylinski.


Morphological attractors in natural convective dissolution. Recent experiments demonstrate how a soluble body placed in a fluid spontaneously forms a dissolution pinnacle a slender, upward pointing shape that resembles naturally occurring karst pinnacles found in stone forests. This unique shape results from the interplay between interface motion and the natural convective flows driven by the descent of relatively heavy solute. Previous investigations suggest these structures to be associated with shock formation in the underlying evolution equations, with the regularizing Gibbs Thomson effect required for finite tip curvature. Here, we find a class of exact solutions that act as attractors for the shape dynamics in two and three dimensions. Intriguingly, the solutions exhibit large but finite tip curvature without any regularization, and they agree remarkably well with experimental measurements. The relationship between the dimensions of the initial shape and the final state of dissolution may offer a principle for estimating the age and environmental conditions of geological structures.


Learn Continually, Generalize Rapidly Lifelong Knowledge Accumulation for Few shot Learning. The ability to continuously expand knowledge over time and utilize it to rapidly generalize to new tasks is a key feature of human linguistic intelligence. Existing models that pursue rapid generalization to new tasks (e.g., few shot learning methods), however, are mostly trained in a single shot on fixed datasets, unable to dynamically expand their knowledge while continual learning algorithms are not specifically designed for rapid generalization. We present a new learning setup, Continual Learning of Few Shot Learners (CLIF), to address the challenges of both learning settings in a unified setup. CLIF assumes a model learns from a sequence of diverse NLP tasks arriving sequentially, accumulating knowledge for improved generalization to new tasks, while also retaining performance on the tasks learned earlier. We examine how the generalization ability is affected in the continual learning setup, evaluate a number of continual learning algorithms, and propose a novel regularized adapter generation approach. We find that catastrophic forgetting affects generalization ability to a less degree than performance on seen tasks while continual learning algorithms can still bring considerable benefit to the generalization ability.


Extended space and time correlations in strongly magnetized plasmas. Molecular dynamics simulations are used to show that strong magnetization significantly increases the space and time scales associated with interparticle correlations. The physical mechanism responsible is a channeling effect whereby particles are confined to move along narrow cylinders with a width characterized by the gyroradius and a length characterized by the collision mean free path. The predominant interaction is 180 circ collisions at the ends of the collision cylinders, resulting in a long range correlation parallel to the magnetic field. Its influence is demonstrated via the dependence of the velocity autocorrelation functions and self diffusion coefficients on the domain size and run time in simulations of the one component plasma. A very large number of particles, and therefore domain size, must be used to resolve the long range correlations, suggesting that the number of charged particles in the collection must increase in order to constitute a plasma. Correspondingly, this effect significantly delays the time it takes to reach a diffusive regime, in which the mean square displacement of particles increases linearly in time. This result presents challenges for connecting measurements in non neutral and ultracold neutral plasma experiments, as well as molecular dynamics simulations, with fluid transport properties due to their finite size.


Uncover Common Facial Expressions in Terracotta Warriors A Deep Learning Approach. Can advanced deep learning technologies be applied to analyze some ancient humanistic arts? Can deep learning technologies be directly applied to special scenes such as facial expression analysis of Terracotta Warriors? The big challenging is that the facial features of the Terracotta Warriors are very different from today's people. We found that it is very poor to directly use the models that have been trained on other classic facial expression datasets to analyze the facial expressions of the Terracotta Warriors. At the same time, the lack of public high quality facial expression data of the Terracotta Warriors also limits the use of deep learning technologies. Therefore, we firstly use Generative Adversarial Networks (GANs) to generate enough high quality facial expression data for subsequent training and recognition. We also verify the effectiveness of this approach. For the first time, this paper uses deep learning technologies to find common facial expressions of general and postured Terracotta Warriors. These results will provide an updated technical means for the research of art of the Terracotta Warriors and shine lights on the research of other ancient arts.


A Decidable Equivalence for a Turing complete, Distributed Model of Computation. Place Transition Petri nets with inhibitor arcs (PTI nets for short), which are a well known Turing complete, distributed model of computation, are equipped with a decidable, behavioral equivalence, called pti place bisimilarity, that conservatively extends place bisimilarity defined over Place Transition nets (without inhibitor arcs). We prove that pti place bisimilarity is sensible, as it respects the causal semantics of PTI nets.


Division properties in exterior algebras of free modules and logarithmic residua. Let M be a free module of rank m over a commutative unital ring R and let N be its free submodule. We consider the problem when a given element of the exterior product Lambda pM is divisible, in a sense, over elements of the exterior product Lambda r N , r le p . Precisely, we give conditions under which an element eta in Lambda pM can be expressed as a finite sum of skew products of elements of Lambda r N and elements of Lambda p r M . For a given basis omega 1, dots, omega k in N the elements of Lambda p r M are unique in a specified sense. Necessary and sufficient conditions for such divisibility take a simple form, provided that the submodule is embedded in M with singularities having the depth larger then p r 1 . In the special case where r k rank N the divisibility property means that eta Omega wedge gamma where Omega omega 1 wedge cdots wedge omega k and gamma in Lambda p k M . More detailed statements of these results are then used to state criteria for existence and uniqueness of algebraic logarithmic residua when the "divisor" is defined by elements f 1, dots,f k in R . Special cases are multidimensional logarithmic residua in complex analysis.


Orthogonal Pad 'e Activation Functions Trainable Activation functions for smooth and faster convergence in deep networks. We have proposed orthogonal Pad 'e activation functions, which are trainable activation functions and show that they have faster learning capability and improves the accuracy in standard deep learning datasets and models. Based on our experiments, we have found two best candidates out of six orthogonal Pad 'e activations, which we call safe Hermite Pade (HP) activation functions, namely HP 1 and HP 2. When compared to ReLU, HP 1 and HP 2 has an increment in top 1 accuracy by 5.06 and 4.63 respectively in PreActResNet 34, by 3.02 and 2.75 respectively in MobileNet V2 model on CIFAR100 dataset while on CIFAR10 dataset top 1 accuracy increases by 2.02 and 1.78 respectively in PreActResNet 34, by 2.24 and 2.06 respectively in LeNet, by 2.15 and 2.03 respectively in Efficientnet B0.


Viko An Adaptive Gecko Gripper with Vision based Tactile Sensor. Monitoring the state of contact is essential for robotic devices, especially grippers that implement gecko inspired adhesives where intimate contact is crucial for a firm attachment. However, due to the lack of deformable sensors, few have demonstrated tactile sensing for gecko grippers. We present Viko, an adaptive gecko gripper that utilizes vision based tactile sensors to monitor contact state. The sensor provides high resolution real time measurements of contact area and shear force. Moreover, the sensor is adaptive, low cost, and compact. We integrated gecko inspired adhesives into the sensor surface without impeding its adaptiveness and performance. Using a robotic arm, we evaluate the performance of the gripper by a series of grasping test. The gripper has a maximum payload of 8N even at a low fingertip pitch angle of 30 degrees. We also showcase the gripper's ability to adjust fingertip pose for better contact using sensor feedback. Further, everyday object picking is presented as a demonstration of the gripper's adaptiveness.


High temperature photoluminescence reveals the inherent relations between quantum efficiency and emissivity. Photoluminescence (PL) is a light matter quantum interaction associated with the chemical potential of light formulated by the Generalized Planck's law. Without knowing the inherent temperature dependence of chemical potential, the Generalized Planck's law is insufficient to characterize PL(T). Recent experiments showed that PL at low temperatures conserves the emitted photon rate, accompanied by a blue shift and transition to thermal emission at a higher temperature. Here, we theoretically study temperature dependent PL by including phononic interactions in a detailed balance analysis. Our solution validates recent experiments and predicts important relations, including i) An inherent relation between emissivity and the quantum efficiency of a system, ii) A universal point defined by the pump and the temperature where the emission rate is fixed to any material, iii) A new phonon induced quenching mechanism, and iv) Thermalization of the photon spectrum. These findings are relevant to and important for all photonic fields where the temperature is dominant.


Geometric invariance of determining and resonating centers Odd and any number limitations of Pyragas control. In the spirit of the well known odd number limitation, we study failure of Pyragas control of periodic orbits and equilibria. Addressing the periodic orbits first, we derive a fundamental observation on the invariance of the geometric multiplicity of the trivial Floquet multiplier. This observation leads to a clear and unifying understanding of the odd number limitation, both in the autonomous and the non autonomous setting. Since the presence of the trivial Floquet multiplier governs the possibility of successful stabilization, we refer to this multiplier as the determining center. The geometric invariance of the determining center also leads to a necessary condition on the gain matrix for the control to be successful. In particular, we exclude scalar gains. Application of Pyragas control on equilibria does not only imply a geometric invariance of the determining center, but surprisingly also on centers which resonate with the time delay. Consequently, we formulate odd and any number limitations both for real eigenvalues together with arbitrary time delay as well as for complex conjugated eigenvalue pairs together with a resonating time delay. The very general nature of our results allows for various applications.


Trinity A No Code AI platform for complex spatial datasets. We present a no code Artificial Intelligence (AI) platform called Trinity with the main design goal of enabling both machine learning researchers and non technical geospatial domain experts to experiment with domain specific signals and datasets for solving a variety of complex problems on their own. This versatility to solve diverse problems is achieved by transforming complex Spatio temporal datasets to make them consumable by standard deep learning models, in this case, Convolutional Neural Networks (CNNs), and giving the ability to formulate disparate problems in a standard way, eg. semantic segmentation. With an intuitive user interface, a feature store that hosts derivatives of complex feature engineering, a deep learning kernel, and a scalable data processing mechanism, Trinity provides a powerful platform for domain experts to share the stage with scientists and engineers in solving business critical problems. It enables quick prototyping, rapid experimentation and reduces the time to production by standardizing model building and deployment. In this paper, we present our motivation behind Trinity and its design along with showcasing sample applications to motivate the idea of lowering the bar to using AI.


The Fundamental Solution to Box b on Quadric Manifolds Part 4. Nonzero Eigenvalues. This paper is the fourth of a multi part series in which we study the geometric and analytic properties of the Kohn Laplacian and its inverse on general quadric submanifolds of mathbb C n times mathbb C m . The goal of this article is explore the complex Green operator in the case that the eigenvalues of the directional Levi forms are nonvanishing. We 1) investigate the geometric conditions on M which the eigenvalue condition forces, 2) establish optimal pointwise upper bounds on complex Green operator and its derivatives, 3) explore the L p and L p Sobolev mapping properties of the associated kernels, and 4) provide examples.


Hopf Galois structures on cyclic extensions and skew braces with cyclic multiplicative group. Let G and N be two finite groups of the same order. The statements (a) there is a Hopf Galois structure of type N on any Galois G extension and (b) there is a skew brace with additive group N and multiplicative group G are both known to be equivalent to the existence of a regular subgroup isomorphic to G in the holomorph of N , and we shall say that (G,N) is realizable in this case. Fixing N to be a cyclic group, W. Rump has determined the groups G for which (G,N) is realizable. In this paper, fixing G to be a cyclic group instead, we shall give a complete characterization of the groups N for which (G,N) is realizable.


A generalized Kubilius Barban Vinogradov bound for prime multiplicities. We present an assessment of the distance in total variation of textit arbitrary collection of prime factor multiplicities of a random number in n 1, dots, n and a collection of independent geometric random variables. More precisely, we impose mild conditions on the probability law of the random sample and the aforementioned collection of prime multiplicities, for which a fast decaying bound on the distance towards a tuple of geometric variables holds. Our results generalize and complement those from Kubilius et al. which consider the particular case of uniform samples in n and collection of "small primes". As applications, we show a generalized version of the celebrated Erd "os Kac theorem for not necessarily uniform samples of numbers.


Analysis of injection operators in multigrid solvers for hybridized discontinuous Galerkin methods. Uniform convergence of the geometric multigrid V cycle is proven for HDG methods with a new set of assumptions on the injection operators from coarser to finer meshes. The scheme involves standard smoothers and local solvers which are bounded, convergent, and consistent. Elliptic regularity is used in the proofs. The new assumptions admit injection operators local to a single coarse grid cell. Examples for admissible injection operators are given. The analysis applies to the hybridized local discontinuous Galerkin method, hybridized Raviart Thomas, and hybridized Brezzi Douglas Marini mixed element methods. Numerical experiments are provided to confirm the theoretical results.


The Action of GT Shadows on Child's Drawings. GT shadows are tantalizing objects that can be thought of as approximations of elements of the mysterious Grothendieck Teichmueller group widehat GT introduced by V. Drinfeld in 1990. GT shadows form a groupoid GTSh whose objects are finite index subgroups of the pure braid group PB 4, that are normal in B 4. The goal of this paper is to describe the action of GT shadows on Grothendieck's child's drawings and show that this action agrees with that of widehat GT . We discuss the hierarchy of orbits of child's drawings with respect to the actions of GTSh, widehat GT , and the absolute Galois group G Q of rationals. We prove that the monodromy group and the passport of a child's drawing are invariant with respect to the action of the subgroupoid of charming GT shadows. We use the action of GT shadows on child's drawings to prove that every Abelian child's drawing admits a Belyi pair defined over rationals. Finally, we describe selected examples of non Abelian child's drawings.


I Beg to Differ A study of constructive disagreement in online conversations. Disagreements are pervasive in human communication. In this paper we investigate what makes disagreement constructive. To this end, we construct WikiDisputes, a corpus of 7 425 Wikipedia Talk page conversations that contain content disputes, and define the task of predicting whether disagreements will be escalated to mediation by a moderator. We evaluate feature based models with linguistic markers from previous work, and demonstrate that their performance is improved by using features that capture changes in linguistic markers throughout the conversations, as opposed to averaged values. We develop a variety of neural models and show that taking into account the structure of the conversation improves predictive accuracy, exceeding that of feature based models. We assess our best neural model in terms of both predictive accuracy and uncertainty by evaluating its behaviour when it is only exposed to the beginning of the conversation, finding that model accuracy improves and uncertainty reduces as models are exposed to more information.


Commissioning results and electron beam characterization at the S band photoinjector at SINBAD ARES. Over the last years, the generation and acceleration of ultra short, high quality electron beams has attracted more and more interest in accelerator science. Electron bunches with these properties are necessary to operate and test novel diagnostics and advanced high gradient accelerating schemes such as plasma accelerators or dielectric laser accelerators. Furthermore, several medical and industrial applications require high brightness electron beams. The dedicated R D facility ARES at DESY will provide such probe beams in the upcoming years. After the setup of the normal conducting RF photoinjector and linear accelerating structures, ARES successfully started the beam commissioning of the RF gun. This paper gives an overview of the ARES photoinjector setup and summarizes the results of the gun commissioning process. The quality of the first generated electron beams is characterized in terms of charge, momentum, momentum spread and beam size. Additionally, the dependencies of the beam parameters on RF settings are investigated. All measurement results of the characterized beams fulfill the requirements to operate the ARES linac with this RF photoinjector.


Exact boundary controllability of the linear Biharmonic Schr "odinger equation with variable coefficients. In this paper, we study the exact boundary controllability of the linear fourth order Schr "odinger equation, with variable physical parameters and clamped boundary conditions on a bounded interval. The control acts on the first spatial derivative at the left endpoint. We prove that this control system is exactly controllable at any time T 0 . The proofs are based on a detailed spectral analysis and on the use of nonharmonic Fourier series.


Flexible Table Recognition and Semantic Interpretation System. Table extraction is an important but still unsolved problem. In this paper, we introduce a flexible and modular table extraction system. We develop two rule based algorithms that perform the complete table recognition process, including table detection and segmentation, and support the most frequent table formats. Moreover, to incorporate the extraction of semantic information, we develop a graph based table interpretation method. We conduct extensive experiments on the challenging table recognition benchmarks ICDAR 2013 and ICDAR 2019, achieving results competitive with state of the art approaches. Our complete information extraction system exhibited a high F1 score of 0.7380. To support future research on information extraction from documents, we make the resources (ground truth annotations, evaluation scripts, algorithm parameters) from our table interpretation experiment publicly available.


An Explainable CNN Approach for Medical Codes Prediction from Clinical Text. Method We develop CNN based methods for automatic ICD coding based on clinical text from intensive care unit (ICU) stays. We come up with the Shallow and Wide Attention convolutional Mechanism (SWAM), which allows our model to learn local and low level features for each label. The key idea behind our model design is to look for the presence of informative snippets in the clinical text that correlated with each code, and we infer that there exists a correspondence between "informative snippet" and convolution filter. Results We evaluate our approach on MIMIC III, an open access dataset of ICU medical records. Our approach substantially outperforms previous results on top 50 medical code prediction on MIMIC III dataset. We attribute this improvement to SWAM, by which the wide architecture gives the model ability to more extensively learn the unique features of different codes, and we prove it by ablation experiment. Besides, we perform manual analysis of the performance imbalance between different codes, and preliminary conclude the characteristics that determine the difficulty of learning specific codes. Conclusions We present SWAM, an explainable CNN approach for multi label document classification, which employs a wide convolution layer to learn local and low level features for each label, yields strong improvements over previous metrics on the ICD 9 code prediction task, while providing satisfactory explanations for its internal mechanics.


From right (n 2) angulated categories to n exangulated categories. The notion of right semi equivalence in a right (n 2) angulated category is defined in this article. Let mathscr C be an n exangulated category and mathscr X is a strongly covariantly finite subcategory of mathscr C . We prove that the standard right (n 2) angulated category mathscr C mathscr X is right semi equivalence under a natural assumption. As an application, we show that a right (n 2) angulated category has an n exangulated structure if and only if the suspension functor is right semi equivalence. Besides, we also prove that an n exangulated category mathscr C has the structure of a right (n 2) angulated category with right semi equivalence if and only if for any object X in mathscr C , the morphism X to 0 is a trivial inflation.


On the ergodicity of the frame flow on even dimensional manifolds. It is known that the frame flow on a closed n dimensional Riemannian manifold with negative sectional curvature is ergodic if n is odd and n neq 7 . In this paper we study its ergodicity for n geq 4 even and n 7 , and we show that if n equiv 2 mod 4 , or n 4 , the frame flow is ergodic if the manifold is sim 0.3 pinched, if n equiv 0 mod 4 , it is ergodic if the manifold is sim 0.6 pinched, except in the three dimensions n 7,8,134 , where the respective pinching conditions are 0.4962... , 0.6212... , and 0.6716... . In particular, if n 4 or n equiv 2 mod 4 , this almost solves a long standing conjecture of Brin asserting that 1 4 pinched even dimensional manifolds have an ergodic frame flow.


Leveraging recent advances in Pre Trained Language Models forEye Tracking Prediction. Cognitively inspired Natural Language Pro cessing uses human derived behavioral datalike eye tracking data, which reflect the seman tic representations of language in the humanbrain to augment the neural nets to solve arange of tasks spanning syntax and semanticswith the aim of teaching machines about lan guage processing mechanisms. In this paper,we use the ZuCo 1.0 and ZuCo 2.0 dataset con taining the eye gaze features to explore differ ent linguistic models to directly predict thesegaze features for each word with respect to itssentence. We tried different neural networkmodels with the words as inputs to predict thetargets. And after lots of experimentation andfeature engineering finally devised a novel ar chitecture consisting of RoBERTa Token Clas sifier with a dense layer on top for languagemodeling and a stand alone model consistingof dense layers followed by a transformer layerfor the extra features we engineered. Finally,we took the mean of the outputs of both thesemodels to make the final predictions. We eval uated the models using mean absolute error(MAE) and the R2 score for each target.


A Case Study of Intra library Privacy Issues on Android GPS Navigation Apps. The Android unrestricted application market, being of open source nature, has made it a popular platform for third party applications reaching millions of smart devices in the world. This tremendous increase in applications with an extensive API that includes access to phone hardware, settings, and user data raises concerns regarding users privacy, as the information collected from the apps could be used for profiling purposes. In this respect, this paper focuses on the geolocation data and analyses five GPS applications to identify the privacy risks if no appropriate safeguards are present. Our results show that GPS navigation apps have access to several types of device data, while they may allow for personal data leakage towards third parties such as library providers or tracking services without providing adequate or precise information to the users. Moreover, as they are using third party libraries, they suffer from the intra library collusion issue, that could be exploited from advertising and analytics companies through apps and gather large amount of personal information without the explicit consent of the user.


Asymptotic stage of modulation instability for the nonlocal nonlinear Schr "odinger equation. We study the initial value problem for the integrable nonlocal nonlinear Schr "odinger (NNLS) equation iq t (x,t) q xx (x,t) 2 q 2 (x,t) bar q ( x,t) 0 with symmetric boundary conditions q(x,t) to Ae 2iA 2t as x to pm infty , where A 0 is an arbitrary constant. We describe the asymptotic stage of modulation instability for the NNLS equation by computing the large time asymptotics of the solution q(x,t) of this initial value problem. We shown that it exhibits a non universal, in a sense, behavior the asymptotics of q(x,t) depends on details of the initial data q(x,0) . This is in a sharp contrast with the local classical NLS equation, where the long time asymptotics of the solution depends on the initial value through the phase parameters only. The main tool used in this work is the inverse scattering transform method applied in the form of the matrix Riemann Hilbert problem. The Riemann Hilbert problem associated with the original initial value problem is analyzed asymptotically by the nonlinear steepest decent method.


Multi agent Soft Actor Critic Based Hybrid Motion Planner for Mobile Robots. In this paper, a novel hybrid multi robot motion planner that can be applied under non communication and local observable conditions is presented. The planner is model free and can realize the end to end mapping of multi robot state and observation information to final smooth and continuous trajectories. The planner is a front end and back end separated architecture. The design of the front end collaborative waypoints searching module is based on the multi agent soft actor critic algorithm under the centralized training with decentralized execution diagram. The design of the back end trajectory optimization module is based on the minimal snap method with safety zone constraints. This module can output the final dynamic feasible and executable trajectories. Finally, multi group experimental results verify the effectiveness of the proposed motion planner.


DeepGD A Deep Learning Framework for Graph Drawing Using GNN. In the past decades, many graph drawing techniques have been proposed for generating aesthetically pleasing graph layouts. However, it remains a challenging task since different layout methods tend to highlight different characteristics of the graphs. Recently, studies on deep learning based graph drawing algorithm have emerged but they are often not generalizable to arbitrary graphs without re training. In this paper, we propose a Convolutional Graph Neural Network based deep learning framework, DeepGD, which can draw arbitrary graphs once trained. It attempts to generate layouts by compromising among multiple pre specified aesthetics considering a good graph layout usually complies with multiple aesthetics simultaneously. In order to balance the trade off, we propose two adaptive training strategies which adjust the weight factor of each aesthetic dynamically during training. The quantitative and qualitative assessment of DeepGD demonstrates that it is capable of drawing arbitrary graphs effectively, while being flexible at accommodating different aesthetic criteria.


Hetero Modal Learning and Expansive Consistency Constraints for Semi Supervised Detection from Multi Sequence Data. Lesion detection serves a critical role in early diagnosis and has been well explored in recent years due to methodological advancesand increased data availability. However, the high costs of annotations hinder the collection of large and completely labeled datasets, motivating semi supervised detection approaches. In this paper, we introduce mean teacher hetero modal detection (MTHD), which addresses two important gaps in current semi supervised detection. First, it is not obvious how to enforce unlabeled consistency constraints across the very different outputs of various detectors, which has resulted in various compromises being used in the state of the art. Using an anchor free framework, MTHD formulates a mean teacher approach without such compromises, enforcing consistency on the soft output of object centers and size. Second, multi sequence data is often critical, e.g., for abdominal lesion detection, but unlabeled data is often missing sequences. To deal with this, MTHD incorporates hetero modal learning in its framework. Unlike prior art, MTHD is able to incorporate an expansive set of consistency constraints that include geometric transforms and random sequence combinations. We train and evaluate MTHD on liver lesion detection using the largest MR lesion dataset to date (1099 patients with 5000 volumes). MTHD surpasses the best fully supervised and semi supervised competitors by 10.1 and 3.5 , respectively, in average sensitivity.


Peg solitaire and Conway's soldiers on infinite graphs. Peg solitaire is classically a one player game played on a square grid board containing pegs. The goal of the game is to have a single peg remaining on the board by sequentially jumping a peg over an adjacent peg onto an empty square while eliminating the jumped peg. Conway's soldiers is a related game played on mathbb Z 2 with pegs initially located on the half space y le 0 . The goal is to bring a peg as far as possible on the board using peg solitaire jumps. Conway showed that bringing a peg to the line y 5 is impossible with finitely many jumps. Applying Conway's approach, we prove an analogous impossibility property on graphs. In addition, we generalize peg solitaire on finite graphs as introduced by Beeler and Hoilman (2011) to an infinite game played on countable graphs.


Is it Possible to Disregard Obsolete Requirements? A Family of Experiments in Software Effort Estimation. Context Expert judgement is a common method for software effort estimations in practice today. Estimators are often shown extra obsolete requirements together with the real ones to be implemented. Only one previous study has been conducted on if such practices bias the estimations. Objective We conducted six experiments with both students and practitioners to study, and quantify, the effects of obsolete requirements on software estimation. Method By conducting a family of six experiments using both students and practitioners as research subjects (N 461), and by using a Bayesian Data Analysis approach, we investigated different aspects of this effect. We also argue for, and show an example of, how we by using a Bayesian approach can be more confident in our results and enable further studies with small sample sizes. Results We found that the presence of obsolete requirements triggered an overestimation in effort across all experiments. The effect, however, was smaller in a field setting compared to using students as subjects. Still, the over estimations triggered by the obsolete requirements were systematically around twice the percentage of the included obsolete ones, but with a large 95 credible interval. Conclusions The results have implications for both research and practice in that the found systematic error should be accounted for in both studies on software estimation and, maybe more importantly, in estimation practices to avoid over estimation due to this systematic error. We partly explain this error to be stemming from the cognitive bias of anchoring and adjustment, i.e. the obsolete requirements anchored a much larger software. However, further studies are needed in order to accurately predict this effect.


Hecke operators acting on optimal embeddings in indefinite quaternion algebras. Let text Emb mathbb Z ( mathrm O ) denote mathbb Z linear formal sums of equivalence classes of optimal embeddings of real quadratic orders into mathrm O , an Eichler order of level mathfrak M in an indefinite quaternion algebra over mathbb Q . For all positive integers n coprime to mathfrak M , we define an operator T n text Emb mathbb Z ( mathrm O ) rightarrow text Emb mathbb Z ( mathrm O ) , which we refer to as a Hecke operator. We introduce the "prime power Hecke graph", and show how it can be used to determine the effect of T p on a single optimal embedding. To justify the name of the operator, we associate an optimal embedding equivalence class to a closed geodesic on the corresponding Shimura curve. By considering the signed intersection number of pairs of geodesics, we use the operators T n to define formal power series. In showing that the action of Hecke operators on the homology of the curve commutes with our definition, we prove that the formal power series agree with weight two cusp forms for Gamma 0(N) on all coefficients of exponents coprime to mathfrak M .


ContourRender Detecting Arbitrary Contour Shape For Instance Segmentation In One Pass. Direct contour regression for instance segmentation is a challenging task. Previous works usually achieve it by learning to progressively refine the contour prediction or adopting a shape representation with limited expressiveness. In this work, we argue that the difficulty in regressing the contour points in one pass is mainly due to the ambiguity when discretizing a smooth contour into a polygon. To address the ambiguity, we propose a novel differentiable rendering based approach named textbf ContourRender . During training, it first predicts a contour generated by an invertible shape signature, and then optimizes the contour with the more stable silhouette by converting it to a contour mesh and rendering the mesh to a 2D map. This method significantly improves the quality of contour without iterations or cascaded refinements. Moreover, as optimization is not needed during inference, the inference speed will not be influenced. Experiments show the proposed ContourRender outperforms all the contour based instance segmentation approaches on COCO, while stays competitive with the iteration based state of the art on Cityscapes. In addition, we specifically select a subset from COCO val2017 named COCO ContourHard val to further demonstrate the contour quality improvements. Codes, models, and dataset split will be released.


A fusion method for multi valued data. In this paper we propose an extension of the notion of deviation based aggregation function tailored to aggregate multidimensional data. Our objective is both to improve the results obtained by other methods that try to select the best aggregation function for a particular set of data, such as penalty functions, and to reduce the temporal complexity required by such approaches. We discuss how this notion can be defined and present three illustrative examples of the applicability of our new proposal in areas where temporal constraints can be strict, such as image processing, deep learning and decision making, obtaining favourable results in the process.


Vehicle counting with Automatic Region of Interest and Driving Trajectory detection. Vehicle counting systems can help with vehicle analysis and traffic incident detection. Unfortunately, most existing methods require some level of human input to identify the Region of interest (ROI), movements of interest, or to establish a reference point or line to count vehicles from traffic cameras. This work introduces a method to count vehicles from traffic videos that automatically identifies the ROI for the camera, as well as the driving trajectories of the vehicles. This makes the method feasible to use with Pan Tilt Zoom cameras, which are frequently used in developing countries. Preliminary results indicate that the proposed method achieves an average intersection over the union of 57.05 for the ROI and a mean absolute error of just 17.44 at counting vehicles of the traffic video cameras tested.


Dynamical Programming for off the grid dynamic Inverse Problems. In this work we consider algorithms for reconstructing time varying data into a finite sum of discrete trajectories, alternatively, an off the grid sparse spikes decomposition which is continuous in time. Recent work showed that this decomposition was possible by minimising a convex variational model which combined a quadratic data fidelity with dynamical Optimal Transport. We generalise this framework and propose new numerical methods which leverage efficient classical algorithms for computing shortest paths on directed acyclic graphs. Our theoretical analysis confirms that these methods converge to globally optimal reconstructions which represent a finite number of discrete trajectories. Numerically, we show new examples for unbalanced Optimal Transport penalties, and for balanced examples we are 100 times faster in comparison to the previously known method.


Interface to Query and Visualise Definitions from a Knowledge Base. The semantic linked data model is at the core of the Web due to its ability to model real world entities, connect them via relationships and provide context, which could help to transform data into information and information into knowledge. Linked Data, in the form of ontologies and knowledge graphs could be stored locally or could be made available to everyone online. For example, the DBpedia knowledge base, which provides global and unified access to knowledge graphs is open access. However, both access and usage of Linked Data require individuals to have expert knowledge in the field of the Semantic Web. Many of the existing solutions that are powered by Linked Data are developed for specific use cases such as building and exploring ontologies visually and are aimed at researchers with knowledge of semantic technology. The solutions that are aimed at non experts are generic and, in most cases, information visualisation is not available. Instead, information is presented in textual format, which does not ease cognitive processes such as comprehension and could lead to problems such as information overload. In this paper, we present a web application with a user interface (UI), which combines features from applications for both experts and non experts. The UI allows individuals with no previous knowledge of the Semantic Web to query the DBpedia knowledge base for definitions of a specific word and to view a graphical visualisation of the query results (the search keyword itself and concepts related to it).


Explainable AI for Natural Adversarial Images. Adversarial images highlight how vulnerable modern image classifiers are to perturbations outside of their training set. Human oversight might mitigate this weakness, but depends on humans understanding the AI well enough to predict when it is likely to make a mistake. In previous work we have found that humans tend to assume that the AI's decision process mirrors their own. Here we evaluate if methods from explainable AI can disrupt this assumption to help participants predict AI classifications for adversarial and standard images. We find that both saliency maps and examples facilitate catching AI errors, but their effects are not additive, and saliency maps are more effective than examples.


Stable and efficient FEM BEM coupling with OSRC regularisation for acoustic wave transmission. The finite element method (FEM) and the boundary element method (BEM) can numerically solve the Helmholtz system for acoustic wave propagation. When an object with heterogeneous wave speed or density is embedded in an unbounded exterior medium, the coupled FEM BEM algorithm promises to combine the strengths of each technique. The FEM handles the heterogeneous regions while the BEM models the homogeneous exterior. Even though standard FEM BEM algorithms are effective, they do require stabilisation at resonance frequencies. One such approach is to add a regularisation term to the system of equations. This algorithm is stable at all frequencies but also brings higher computational costs. This study proposes a regulariser based on the on surface radiation conditions (OSRC). The OSRC operators are also used to precondition the boundary integral operators and combined with incomplete LU factorisations for the volumetric weak formulation. The proposed preconditioning strategy improves the convergence of iterative linear solvers significantly, especially at higher frequencies.


The sharp lower bound of the first Dirichlet eigenvalue for geodesic balls. On complete noncompact Riemannian manifolds with non negative Ricci curvature, Li Schoen proved the uniform Poincare inequality for any ge odesic ball. In this note, we obtain the sharp lower bound of the first Dirichlet eigenvalue of such geodesic balls, which implies the sharp Poincare inequality for geodesic balls.


Scaling Neural Program Synthesis with Distribution based Search. We consider the problem of automatically constructing computer programs from input output examples. We investigate how to augment probabilistic and neural program synthesis methods with new search algorithms, proposing a framework called distribution based search. Within this framework, we introduce two new search algorithms Heap Search, an enumerative method, and SQRT Sampling, a probabilistic method. We prove certain optimality guarantees for both methods, show how they integrate with probabilistic and neural techniques, and demonstrate how they can operate at scale across parallel compute environments. Collectively these findings offer theoretical and applied studies of search algorithms for program synthesis that integrate with recent developments in machine learned program synthesizers.


Conversations Are Not Flat Modeling the Dynamic Information Flow across Dialogue Utterances. Nowadays, open domain dialogue models can generate acceptable responses according to the historical context based on the large scale pre trained language models. However, they generally concatenate the dialogue history directly as the model input to predict the response, which we named as the flat pattern and ignores the dynamic information flow across dialogue utterances. In this work, we propose the DialoFlow model, in which we introduce a dynamic flow mechanism to model the context flow, and design three training objectives to capture the information dynamics across dialogue utterances by addressing the semantic influence brought about by each utterance in large scale pre training. Experiments on the multi reference Reddit Dataset and DailyDialog Dataset demonstrate that our DialoFlow significantly outperforms the DialoGPT on the dialogue generation task. Besides, we propose the Flow score, an effective automatic metric for evaluating interactive human bot conversation quality based on the pre trained DialoFlow, which presents high chatbot level correlation ( r 0.9 ) with human ratings among 11 chatbots. Code and pre trained models will be public. footnote url https github.com ictnlp DialoFlow


Projective Completion of Moduli of t Connections on Curves in Positive and Mixed Characteristic. We generalize a compactification technique due to C. Simpson in the context of mathbb G m actions over the ground field of complex numbers, to the case of a universally Japanese base ring. We complement this generalized compactification technique so that it can sometimes yield projectivity results for these compactifications. We apply these projectivity results to the Hodge, de Rham, and Dolbeault moduli spaces for curves, with special regards to ground fields of positive characteristic.


Differentially Private Correlation Clustering. Correlation clustering is a widely used technique in unsupervised machine learning. Motivated by applications where individual privacy is a concern, we initiate the study of differentially private correlation clustering. We propose an algorithm that achieves subquadratic additive error compared to the optimal cost. In contrast, straightforward adaptations of existing non private algorithms all lead to a trivial quadratic error. Finally, we give a lower bound showing that any pure differentially private algorithm for correlation clustering requires additive error of Omega(n) .


Elastic three dimensional metaframe for selective wave filtering and polarization control. We experimentally achieve selective wave filtering and polarization control in a three dimensional elastic frame embedding local resonators. By connecting multi resonating elements to a frame structure, a complete low frequency, subwavelength bandgap with strong selective filtering properties is obtained. Theory and experiments demonstrate the metaframe capability to selectively stop transverse waves while allowing longitudinal wave propagation, as in 'fluid like' elasticity. This peculiar behaviour, together with the complete bandgap structure, may open opportunities in the context of wave control, envisaging concurrent applications for three dimensional filters and elastic wave polarizers.


Linearly Reductive Quotient Singularities. We study isolated quotient singularities by finite and linearly reductive group schemes (lrq singularities for short) and show that they satisfy many, but not all, of the known properties of finite quotient singularities in characteristic zero (1) From the lrq singularity we can recover the group scheme and the quotient presentation. (2) We establish canonical lifts to characteristic zero, which leads to a bijection between lrq singularities and certain characteristic zero counterparts. (3) We classify subgroup schemes of mathbf GL d and mathbf SL d that correspond to lrq singularities. For d 2 , this generalises results of Klein, Brieskorn, and Hashimoto. Also, our classification is closely related to the spherical space form problem. (4) F regular (resp. F regular and Gorenstein) surface singularities are precisely the lrq singularities by finite and linearly reductive subgroup schemes of mathbf GL 2 (resp. mathbf SL 2 ). This generalises results of Klein and Du Val. (5) Lrq singularities in dimension geq 4 are infinitesimally rigid. We classify lrq singularities in dimension 3 that are not infinitesimally rigid and compute their deformation spaces. This generalises Schlessinger's rigidity theorem to positive and mixed characteristic. Finally, we study Riemenschneider's conjecture in this context, that is, whether lrq singularities deform to lrq singularities.


From Motor Control to Team Play in Simulated Humanoid Football. Intelligent behaviour in the physical world exhibits structure at multiple spatial and temporal scales. Although movements are ultimately executed at the level of instantaneous muscle tensions or joint torques, they must be selected to serve goals defined on much longer timescales, and in terms of relations that extend far beyond the body itself, ultimately involving coordination with other agents. Recent research in artificial intelligence has shown the promise of learning based approaches to the respective problems of complex movement, longer term planning and multi agent coordination. However, there is limited research aimed at their integration. We study this problem by training teams of physically simulated humanoid avatars to play football in a realistic virtual environment. We develop a method that combines imitation learning, single and multi agent reinforcement learning and population based training, and makes use of transferable representations of behaviour for decision making at different levels of abstraction. In a sequence of stages, players first learn to control a fully articulated body to perform realistic, human like movements such as running and turning they then acquire mid level football skills such as dribbling and shooting finally, they develop awareness of others and play as a team, bridging the gap between low level motor control at a timescale of milliseconds, and coordinated goal directed behaviour as a team at the timescale of tens of seconds. We investigate the emergence of behaviours at different levels of abstraction, as well as the representations that underlie these behaviours using several analysis techniques, including statistics from real world sports analytics. Our work constitutes a complete demonstration of integrated decision making at multiple scales in a physically embodied multi agent setting. See project video at https youtu.be KHMwq9pv7mg.


An approximately translation dilation invariant system. Let theta 2 be real and non integral with integer part n lfloor theta rfloor and let phi (x) be a generalised polynomial with leading term x theta. We establish a mean value estimate for the exponential sum begin equation sum 1 leq x leq P e left( alpha 1 x cdots alpha n x n alpha phi phi (x) right). end equation


Developing an accurate and robust tool for pixel module characterization. For operation at the High Luminosity Large Hadron Collider (LHC), the ATLAS experiment is building a new all silicon inner tracker (ITk). The production and testing of thousands of silicon pixel and strip modules is required to cover the estimated 180 m 2 of the total surface area. A compact, affordable and robust module characterization system is required for in situ testing prior any test beam campaign or installation. A test bench setup based on an infrared laser was developed at IJCLab, allowing also for the use of micro metric precision scanning with a radioactive source. A detailed schema of the setup, operating principles and testing methods are described in this paper, together with the first results obtained with a FE I4 silicon pixel module.


Fast Bitmap Fit A CPU Cache Line friendly memory allocator for single object allocations. Applications making excessive use of single object based data structures (such as linked lists, trees, etc...) can see a drop in efficiency over a period of time due to the randomization of nodes in memory. This slow down is due to the ineffective use of the CPU's L1 L2 cache. We present a novel approach for mitigating this by presenting the design of a single object memory allocator that preserves memory locality across randomly ordered memory allocations and deallocations.


A simple proof of scattering for the intercritical inhomogeneous NLS. We adapt the argument of Dodson Murphy to give a simple proof of scattering below the ground state for the intercritical inhomogeneous nonlinear Schr "odinger equation. The decaying factor in the nonlinearity obviates the need for a radial assumption.


HetEng An Improved Distributed Energy Efficient Clustering Scheme for Heterogeneous IoT Networks. Network lifetime is always a challenging issue in battery powered networks due to the difficulty of recharging or replacing nodes in some scenarios. Clustering methods are a promising approach to tackle this challenge and prolong lifetime by efficiently distributing tasks among nodes in the cluster. The present study aimed to improve energy consumption in heterogeneous IoT devices using an energy aware clustering method. In a heterogeneous IoT network, nodes (i.e., battery powered IoT devices) can have a variety of energy profiles and communication capabilities. Most of the existing clustering algorithms have neglected the heterogeneity of energy capacity among nodes and assumed that they are of the same energy level. In this work, we present HetEng, a Cluster Head (CH) selection process that extended an existing clustering algorithm, named Smart BEEM. To this end, we proposed a statistical approach that distributes energy consumption among highly energetic nodes in the network topology by constantly changing the CH role between the nodes based on their real energy levels (in joules). Experimental results showed that HetEng resulted in a 6.6 increase of alive nodes and 3 improvement in residual energy among the nodes in comparison with SmartBEEM. Moreover, our method reduced the total number of iterations by 1 on average.


LSH methods for data deduplication in a Wikipedia artificial dataset. This paper illustrates locality sensitive hasing (LSH) models for the identification and removal of nearly redundant data in a text dataset. To evaluate the different models, we create an artificial dataset for data deduplication using English Wikipedia articles. Area Under Curve (AUC) over 0.9 were observed for most models, with the best model reaching 0.96. Deduplication enables more effective model training by preventing the model from learning a distribution that differs from the real one as a result of the repeated data.


physics.plasm-ph cs.NA math.NA physics.comp-ph

Nonlinear regimes of the electron cyclotron drift instability in Vlasov simulations. We report on a novel investigation of the nonlinear regime of the electron cyclotron drift instability, using a grid based Vlasov simulation. It is shown that the instability occurs as a series of cyclotron resonances with the electron beam mode due to the E times B drift. In the nonlinear regime, we observe condensation of fluctuations energy toward the lowest resonance mode and below, i.e., an inverse energy cascade. It is shown that the characteristics of the nonlinear saturation state remain far from the ion sound regime.


Transferability Estimation for Semantic Segmentation Task. Transferability estimation is a fundamental problem in transfer learning to predict how good the performance is when transferring a source model (or source task) to a target task. With the guidance of transferability score, we can efficiently select the highly transferable source models without performing the real transfer in practice. Recent analytical transferability metrics are mainly designed for image classification problem, and currently there is no specific investigation for the transferability estimation of semantic segmentation task, which is an essential problem in autonomous driving, medical image analysis, etc. Consequently, we further extend the recent analytical transferability metric OTCE (Optimal Transport based Conditional Entropy) score to the semantic segmentation task. The challenge in applying the OTCE score is the high dimensional segmentation output, which is difficult to find the optimal coupling between so many pixels under an acceptable computation cost. Thus we propose to randomly sample N pixels for computing OTCE score and take the expectation over K repetitions as the final transferability score. Experimental evaluation on Cityscapes, BDD100K and GTA5 datasets demonstrates that the OTCE score highly correlates with the transfer performance.


Transporting Causal Mechanisms for Unsupervised Domain Adaptation. Existing Unsupervised Domain Adaptation (UDA) literature adopts the covariate shift and conditional shift assumptions, which essentially encourage models to learn common features across domains. However, due to the lack of supervision in the target domain, they suffer from the semantic loss the feature will inevitably lose non discriminative semantics in source domain, which is however discriminative in target domain. We use a causal view transportability theory to identify that such loss is in fact a confounding effect, which can only be removed by causal intervention. However, the theoretical solution provided by transportability is far from practical for UDA, because it requires the stratification and representation of the unobserved confounder that is the cause of the domain gap. To this end, we propose a practical solution Transporting Causal Mechanisms (TCM), to identify the confounder stratum and representations by using the domain invariant disentangled causal mechanisms, which are discovered in an unsupervised fashion. Our TCM is both theoretically and empirically grounded. Extensive experiments show that TCM achieves state of the art performance on three challenging UDA benchmarks ImageCLEF DA, Office Home, and VisDA 2017. Codes are available in Appendix.


Inferring Substitutable and Complementary Products with Knowledge Aware Path Reasoning based on Dynamic Policy Network. Inferring the substitutable and complementary products for a given product is an essential and fundamental concern for the recommender system. To achieve this, existing approaches take advantage of the knowledge graphs to learn more evidences for inference, whereas they often suffer from invalid reasoning for lack of elegant decision making strategies. Therefore, we propose a novel Knowledge Aware Path Reasoning (KAPR) model which leverages the dynamic policy network to make explicit reasoning over knowledge graphs, for inferring the substitutable and complementary relationships. Our contributions can be highlighted as three aspects. Firstly, we model this inference scenario as a Markov Decision Process in order to accomplish a knowledge aware path reasoning over knowledge graphs. Secondly,we integrate both structured and unstructured knowledge to provide adequate evidences for making accurate decision making. Thirdly, we evaluate our model on a series of real world datasets, achieving competitive performance compared with state of the art approaches. Our code is released on https gitee.com yangzijing flower kapr tree master.


C algebras generated by multiplication operators and composition operators with self similar maps. Let K be a compact metric space and let gamma ( gamma 1, dots, gamma n) be a system of proper contractions on K . We study a C algebra mathcal MC gamma 1, dots, gamma n generated by all multiplication operators by continuous functions on K and composition operators C gamma i induced by gamma i for i 1, dots, n on a certain L 2 space. Suppose that K is self similar. We consider the Hutchinson measure mu H of gamma and the L 2 space L 2(K, mu H) . Then we show that the C algebra mathcal MC gamma 1, dots, gamma n is isomorphic to the Cuntz algebra mathcal O n under some conditions.


On the binary adder channel with complete feedback, with an application to quantitative group testing. We determine the exact value of the optimal symmetric rate point (r, r) in the Dueck zero error capacity region of the binary adder channel with complete feedback. We proved that the average zero error capacity r h(1 2 delta) approx 0.78974 , where h( cdot) is the binary entropy function and delta 1 (2 log 2(2 sqrt3)) . Our motivation is a problem in quantitative group testing. Given a set of n elements two of which are defective, the quantitative group testing problem asks for the identification of these two defectives through a series of tests. Each test gives the number of defectives contained in the tested subset, and the outcomes of previous tests are assumed known at the time of designing the current test. We establish that the minimum number of tests is asymptotic to ( log 2 n) r as n to infty .


Construction of 4D Simplex Space Time Meshes for Local Bisection Schemes. Adaptive mesh refinement is a key component of efficient unstructured space time finite element methods. Underlying any adaptive mesh refinement scheme is, of course, a method for local refinement of simplices. However, simplex bisection algorithms in dimension greater than three have strict mesh preconditions which can be hard to satisfy. We prove that certain four dimensional simplex space time meshes can be handled with a relaxed precondition. Namely, we prove that if a tetrahedral mesh is 4 colorable, then we can produce a 4D simplex mesh which always satisfies the bisection precondition. We also briefly discuss strategies to handle tetrahedral meshes which are not 4 colorable.


Deterministic Decremental SSSP and Approximate Min Cost Flow in Almost Linear Time. In the decremental single source shortest paths problem, the goal is to maintain distances from a fixed source s to every vertex v in an m edge graph undergoing edge deletions. In this paper, we conclude a long line of research on this problem by showing a near optimal deterministic data structure that maintains (1 epsilon) approximate distance estimates and runs in m 1 o(1) total update time. Our result, in particular, removes the oblivious adversary assumption required by the previous breakthrough result by Henzinger et al. FOCS'14 , which leads to our second result the first almost linear time algorithm for (1 epsilon) approximate min cost flow in undirected graphs where capacities and costs can be taken over edges and vertices. Previously, algorithms for max flow with vertex capacities, or min cost flow with any capacities required super linear time. Our result essentially completes the picture for approximate flow in undirected graphs. The key technique of the first result is a novel framework that allows us to treat low diameter graphs like expanders. This allows us to harness expander properties while bypassing shortcomings of expander decomposition, which almost all previous expander based algorithms needed to deal with. For the second result, we break the notorious flow decomposition barrier from the multiplicative weight update framework using randomization.


Implementing Reinforcement Learning Algorithms in Retail Supply Chains with OpenAI Gym Toolkit. From cutting costs to improving customer experience, forecasting is the crux of retail supply chain management (SCM) and the key to better supply chain performance. Several retailers are using AI ML models to gather datasets and provide forecast guidance in applications such as Cognitive Demand Forecasting, Product End of Life, Forecasting, and Demand Integrated Product Flow. Early work in these areas looked at classical algorithms to improve on a gamut of challenges such as network flow and graphs. But the recent disruptions have made it critical for supply chains to have the resiliency to handle unexpected events. The biggest challenge lies in matching supply with demand. Reinforcement Learning (RL) with its ability to train systems to respond to unforeseen environments, is being increasingly adopted in SCM to improve forecast accuracy, solve supply chain optimization challenges, and train systems to respond to unforeseen circumstances. Companies like UPS and Amazon have developed RL algorithms to define winning AI strategies and keep up with rising consumer delivery expectations. While there are many ways to build RL algorithms for supply chain use cases, the OpenAI Gym toolkit is becoming the preferred choice because of the robust framework for event driven simulations. This white paper explores the application of RL in supply chain forecasting and describes how to build suitable RL models and algorithms by using the OpenAI Gym toolkit.


Translation Transformers Rediscover Inherent Data Domains. Many works proposed methods to improve the performance of Neural Machine Translation (NMT) models in a domain multi domain adaptation scenario. However, an understanding of how NMT baselines represent text domain information internally is still lacking. Here we analyze the sentence representations learned by NMT Transformers and show that these explicitly include the information on text domains, even after only seeing the input sentences without domains labels. Furthermore, we show that this internal information is enough to cluster sentences by their underlying domains without supervision. We show that NMT models produce clusters better aligned to the actual domains compared to pre trained language models (LMs). Notably, when computed on document level, NMT cluster to domain correspondence nears 100 . We use these findings together with an approach to NMT domain adaptation using automatically extracted domains. Whereas previous work relied on external LMs for text clustering, we propose re using the NMT model as a source of unsupervised clusters. We perform an extensive experimental study comparing two approaches across two data scenarios, three language pairs, and both sentence level and document level clustering, showing equal or significantly superior performance compared to LMs.


Homogenization of the G Equation a metric approach. The aim of the paper is to recover some results of Cardaliaguet Nolen Souganidis in cite CNS and Xin Yu in cite XY about the homogenization of the G equation, using different and simpler techniques. The main mathematical issue is the lack of coercivity of the Hamiltonians. In our approach we consider a multivalued dynamics without periodic invariants sets, a family of intrinsic distances and perform an approximation by a sequence of coercive Hamiltonians.


SPECT Angle Interpolation Based on Deep Learning Methodologies. A novel method for SPECT angle interpolation based on deep learning methodologies is presented. Projection data from software phantoms were used to train the proposed model. For evaluation of the efficacy of the method, phantoms based on Shepp Logan, with various noise levels added were used, and the resulting interpolated sinograms are reconstructed using Ordered Subset Expectation Maximization (OSEM) and compared to the reconstructions of the original sinograms. The proposed method can quadruple the projections, and denoise the original sinogram, in the same process. As the results show, the proposed model significantly improves the reconstruction accuracy. Finally, to demonstrate the efficacy and capability of the proposed method results from real world DAT SPECT sinograms are presented.


Progressive Co Attention Network for Fine grained Visual Classification. Fine grained visual classification aims to recognize images belonging to multiple sub categories within a same category. It is a challenging task due to the inherently subtle variations among highly confused categories. Most existing methods only take an individual image as input, which may limit the ability of models to recognize contrastive clues from different images. In this paper, we propose an effective method called progressive co attention network (PCA Net) to tackle this problem. Specifically, we calculate the channel wise similarity by encouraging interaction between the feature channels within same category image pairs to capture the common discriminative features. Considering that complementary information is also crucial for recognition, we erase the prominent areas enhanced by the channel interaction to force the network to focus on other discriminative regions. The proposed model has achieved competitive results on three fine grained visual classification benchmark datasets CUB 200 2011, Stanford Cars, and FGVC Aircraft.


Quantifying the Impact of Boundary Constraint Handling Methods on Differential Evolution. Constraint handling is one of the most influential aspects of applying metaheuristics to real world applications, which can hamper the search progress if treated improperly. In this work, we focus on a particular case the box constraints, for which many boundary constraint handling methods (BCHMs) have been proposed. We call for the necessity of studying the impact of BCHMs on metaheuristics' performance and behavior, which receives seemingly little attention in the field. We target quantifying such impacts through systematic benchmarking by investigating 28 major variants of Differential Evolution (DE) taken from the modular DE framework (by combining different mutation and crossover operators) and 13 commonly applied BCHMs, resulting in 28 times 13 364 algorithm instances after pairing DE variants with BCHMs. After executing the algorithm instances on the well known BBOB COCO problem set, we analyze the best reached objective function value (performance wise) and the percentage of repaired solutions (behavioral) using statistical ranking methods for each combination of mutation, crossover, and BBOB function group. Our results clearly show that the choice of BCHMs substantially affects the empirical performance as well as the number of generated infeasible solutions, which allows us to provide general guidelines for selecting an appropriate BCHM for a given scenario.


Object Priors for Classifying and Localizing Unseen Actions. This work strives for the classification and localization of human actions in videos, without the need for any labeled video training examples. Where existing work relies on transferring global attribute or object information from seen to unseen action videos, we seek to classify and spatio temporally localize unseen actions in videos from image based object information only. We propose three spatial object priors, which encode local person and object detectors along with their spatial relations. On top we introduce three semantic object priors, which extend semantic matching through word embeddings with three simple functions that tackle semantic ambiguity, object discrimination, and object naming. A video embedding combines the spatial and semantic object priors. It enables us to introduce a new video retrieval task that retrieves action tubes in video collections based on user specified objects, spatial relations, and object size. Experimental evaluation on five action datasets shows the importance of spatial and semantic object priors for unseen actions. We find that persons and objects have preferred spatial relations that benefit unseen action localization, while using multiple languages and simple object filtering directly improves semantic matching, leading to state of the art results for both unseen action classification and localization.