Cold CH radicals for laser cooling and trapping. Ultracold CH radicals promise a fruitful testbed for probing quantum state controllable organic chemistry. In this work, we calculate CH vibrational branching ratios (VBRs) and rotational branching ratios (RBRs) with ground state mixing. We subsequently use these values to inform optical cycling proposals and consider two possible radiative cooling schemes using the X 2 Pi leftarrow A 2 Delta and X 2 Pi leftarrow B 2 Sigma transitions. As a first step towards laser cooled CH, we characterize the effective buffer gas cooling of this species and produce sim5 times10 10 CH molecules per pulse with a rotational temperature of 2(1) K and a translational temperature of 7(2) K. We also determine the CH helium collisional cross section to be 2.4(8) times10 14 cm 2 . This value is crucial to correctly account for collisional broadening and accurately extract the in cell CH density. These cold CH molecules mark an ideal starting point for future laser cooling and trapping experiments and tests of cold organic chemistry.


Decay in norm of transfer operators for semiflows. We establish exponential decay in H "older norm of transfer operators applied to smooth observables of uniformly and nonuniformly expanding semiflows with exponential decay of correlations.


Human AI Interactions in Public Sector Decision Making "Automation Bias" and "Selective Adherence" to Algorithmic Advice. Artificial intelligence algorithms are increasingly adopted as decisional aides by public bodies, with the promise of overcoming biases of human decision makers. At the same time, they may introduce new biases in the human algorithm interaction. Drawing on psychology and public administration literatures, we investigate two key biases overreliance on algorithmic advice even in the face of "warning signals" from other sources (automation bias), and selective adoption of algorithmic advice when this corresponds to stereotypes (selective adherence). We assess these via three experimental studies conducted in the Netherlands In study 1 (N 605), we test automation bias by exploring participants' adherence to an algorithmic prediction compared to an equivalent human expert prediction. We do not find evidence for automation bias. In study 2 (N 904), we replicate these findings, and also test selective adherence. We find a stronger propensity for adherence when the advice is aligned with group stereotypes, with no significant differences between algorithmic and human expert advice. In study 3 (N 1,345), we replicate our design with a sample of civil servants. This study was conducted shortly after a major scandal involving public authorities' reliance on an algorithm with discriminatory outcomes (the "childcare benefits scandal"). The scandal is itself illustrative of our theory and patterns diagnosed empirically in our experiment, yet in our study 3, while supporting our prior findings as to automation bias, we do not find patterns of selective adherence. We suggest this is driven by bureaucrats' enhanced awareness of discrimination and algorithmic biases in the aftermath of the scandal. We discuss the implications of our findings for public sector decision making in the age of automation.


Spin wave propagation in uniform waveguide effects, modulation and its application. With the advent of the post Moore era, researches on beyond Complementary Metal Oxide Semiconductor (CMOS) approaches have been attracted more and more attention. Magnonics, or spin wave is one of the most promising technology beyond CMOS, which magnons quanta for spin waves process the information analogous to electronic charges in electronics. Information transmission by spin waves, which uses the frequency, amplitude and (or) phase to encode information, has a great many of advantages such as extremely low energy loss and wide band frequency. Moreover, using the nonlinear characteristics of spin waves for information transmission can increase the extra degree of freedom of information. This review provides a tutorial overview over the effects of spin wave propagation and recent research progress in uniform spin wave waveguide. The propagation characteristics of spin waves in uniform waveguides and some special propagation phenomena such as spin wave beam splitting and self focusing are described by combining experimental phenomena and theoretical formulas. Furthermore, we summarize methods for modulating propagation of spin wave in uniform waveguide, and comment on the advantages and limitations of these methods. The review may promote the development of information transmission technology based on spin waves.


A new perspective of exponential stability for Timoshenko systems under history and thermal effects. We address a Timoshenko system with memory in the history context and thermoelasticity of type III for heat conduction. Our main goal is to prove its uniform (exponential) stability by illustrating carefully the sensitivity of the heat and history couplings on the Timoshenko system. This investigation contrasts previous insights on the subject and promotes a new perspective with respect to the stability of the thermo viscoelastic problem carried out, by combining the whole strength of history and thermal effects.


Ukiyo e Analysis and Creativity with Attribute and Geometry Annotation. The study of Ukiyo e, an important genre of pre modern Japanese art, focuses on the object and style like other artwork researches. Such study has benefited from the renewed interest by the machine learning community in culturally important topics, leading to interdisciplinary works including collections of images, quantitative approaches, and machine learning based creativities. They, however, have several drawbacks, and it remains challenging to integrate these works into a comprehensive view. To bridge this gap, we propose a holistic approach We first present a large scale Ukiyo e dataset with coherent semantic labels and geometric annotations, then show its value in a quantitative study of Ukiyo e paintings' object using these labels and annotations. We further demonstrate the machine learning methods could help style study through soft color decomposition of Ukiyo e, and finally provides joint insights into object and style by composing sketches and colors using colorization. Dataset available at https github.com rois codh arc ukiyoe faces


On lambda backbone coloring of cliques with tree backbones in linear time. A lambda backbone coloring of a graph G with its subgraph (also called a backbone) H is a function c colon V(G) rightarrow 1, dots, k ensuring that c is a proper coloring of G and for each u,v in E(H) it holds that c(u) c(v) ge lambda . In this paper we propose a way to color cliques with tree and forest backbones in linear time that the largest color does not exceed max n, 2 lambda Delta(H) 2 lceil log n rceil . This result improves on the previously existing approximation algorithms as it is ( Delta(H) 2 lceil log n rceil) absolutely approximate, i.e. with an additive error over the optimum. We also present an infinite family of trees T with Delta(T) 3 for which the coloring of cliques with backbones T require to use at least max n, 2 lambda Omega( log n ) colors for lambda close to frac n 2 .


Uniqueness Results on a geometric PDE in Riemannian and CR Geoemetry Revisited. We revisit some uniqueness results for a geometric nonlinear PDE related to the scalar curvature in Riemannian geometry and CR geometry. In the Riemannian case we give a new proof of the uniqueness result assuming only a positive lower bound for Ricci curvature. We apply the same principle in the CR case and reconstruct the Jerison Lee identity in a more general setting. As a consequence we prove a stronger uniqueness result in the CR case. We also discuss some open problems for further study.


Four dimensional equations for the study of electromagnetic plasma turbulence in a drift kinetic limit. For a magnetised plasma in a straight magnetic guide field, we derive a set of four dimensional kinetic equations, which can capture electromagnetic turbulence in the drift kinetic limit. To do so, we start from the gyrokinetic equations, employ a Laguerre decomposition in the perpendicular velocity direction, retain only the dominant gyroaverage contributions and only the first two Laguerre moments that source the electromagnetic fluctuations. The model conserves free energy, and can describe electromagnetic turbulence for a plasma at the transition between fluid and gyrokinetic regimes ( k perp rho i approx 1 range of scales), as dominant finite Larmor radius (FLR) effects are considered. In addition to the three dimensions in positions space, we retain the parallel velocity dependence, which we describe via a Hermite representation. Employing this system, but without any other physics based assumptions for the plasma species that can bias results, will allow us to investigate how fluid effects transition into the kinetic range, and analyse the interplay between spatial and velocity space mixing for electromagnetic plasma turbulence.


The Secret Life of Hackathon Code. Background Hackathons have become popular events for teams to collaborate on projects and develop software prototypes. Most existing research focuses on activities during an event with limited attention to the evolution of the code brought to or created during a hackathon. Aim We aim to understand the evolution of hackathon related code, specifically, how much hackathon teams rely on pre existing code or how much new code they develop during a hackathon. Moreover, we aim to understand if and where that code gets reused, and what factors affect reuse. Method We collected information about 22,183 hackathon projects from DEVPOST a hackathon database and obtained related code (blobs), authors, and project characteristics from the World of Code. We investigated if code blobs in hackathon projects were created before, during, or after an event by identifying the original blob creation date and author, and also checked if the original author was a hackathon project member. We tracked code reuse by first identifying all commits containing blobs created during an event before determining all projects that contain those commits. Result While only approximately 9.14 of the code blobs are created during hackathons, this amount is still significant considering the time and member constraints of such events. Approximately a third of these code blobs get reused in other projects. The number of associated technologies and the number of participants in a project increase reuse probability. Conclusion Our study demonstrates to what extent pre existing code is used and new code is created during a hackathon and how much of it is reused elsewhere afterwards. Our findings help to better understand code reuse as a phenomenon and the role of hackathons in this context and can serve as a starting point for further studies in this area.


A Novel Blind Source Separation Framework Towards Maximum Signal To Interference Ratio. This letter proposes a new blind source separation (BSS) framework termed minimum variance independent component analysis (MVICA), which can potentially achieve the maximum output signal to interference ratio (SIR) while also allowing more flexibility in real implementations. The statistical independence assumption has been the foundation of the most dominant BSS techniques in recent decades. However, this assumption does not always hold true and the accurate probabilistic modeling of source is inherently difficult. To overcome these limitations and improve the separation performance, the MVICA framework is rigorously derived by optimizing the design of these independence based BSS algorithms with the maximum SIR criterion. A deep neural network supported implementation of MVICA is subsequently described. Experimental results under various conditions show the superiority of MVICA over the state of the art BSS algorithms, in terms of not only SIR but also signal to distortion ratio and automatic speech recognition rate.


Design of Distributed Reconfigurable Robotics Systems with ReconROS. Robotics applications process large amounts of data in real time and require compute platforms that provide high performance and energy efficiency. FPGAs are well suited for many of these applications, but there is a reluctance in the robotics community to use hardware acceleration due to increased design complexity and a lack of consistent programming models across the software hardware boundary. In this paper we present ReconROS, a framework that integrates the widely used robot operating system (ROS) with ReconOS, which features multithreaded programming of hardware and software threads for reconfigurable computers. This unique combination gives ROS 2 developers the flexibility to transparently accelerate parts of their robotics applications in hardware. We elaborate on the architecture and the design flow for ReconROS and report on a set of experiments that underline the feasibility and flexibility of our approach.


A Sound Up to n , delta Bisimilarity for PCTL. We tackle the problem of establishing the soundness of approximate bisimilarity with respect to PCTL and its relaxed semantics. To this purpose, we consider a notion of bisimilarity similar to the one introduced by Desharnais, Laviolette, and Tracol, which is parametric with respect to an approximation error delta , and to the depth n of the observation along traces. Essentially, our soundness theorem establishes that, when a state q satisfies a given formula up to error delta and steps n , and q is bisimilar to q' up to error delta' and enough steps, we prove that q' also satisfies the formula up to a suitable error delta" and steps n . The new error delta" is computed from delta , delta' and the formula, and only depends linearly on n . We provide a detailed overview of our soundness proof.


Efficient Non Sampling Knowledge Graph Embedding. Knowledge Graph (KG) is a flexible structure that is able to describe the complex relationship between data entities. Currently, most KG embedding models are trained based on negative sampling, i.e., the model aims to maximize some similarity of the connected entities in the KG, while minimizing the similarity of the sampled disconnected entities. Negative sampling helps to reduce the time complexity of model learning by only considering a subset of negative instances, which may fail to deliver stable model performance due to the uncertainty in the sampling procedure. To avoid such deficiency, we propose a new framework for KG embedding Efficient Non Sampling Knowledge Graph Embedding (NS KGE). The basic idea is to consider all of the negative instances in the KG for model learning, and thus to avoid negative sampling. The framework can be applied to square loss based knowledge graph embedding models or models whose loss can be converted to a square loss. A natural side effect of this non sampling strategy is the increased computational complexity of model learning. To solve the problem, we leverage mathematical derivations to reduce the complexity of non sampling loss function, which eventually provides us both better efficiency and better accuracy in KG embedding compared with existing models. Experiments on benchmark datasets show that our NS KGE framework can achieve a better performance on efficiency and accuracy over traditional negative sampling based models, and that the framework is applicable to a large class of knowledge graph embedding models.


Hardware Architecture of Wireless Power Transfer, RFID, and WIPT Systems. In this work, we provide an overview of the hardware architecture of wireless power transfer (WPT), RFID, and wireless information and power transfer (WIPT) systems. The historical milestones and structure differences among WPT, RFID, and WIPT are introduced.


Approximate inversion for Abel integral operators of variable exponent and applications to fractional Cauchy problems. We investigate the variable exponent Abel integral equations and corresponding fractional Cauchy problems. The main contributions of the work are enumerated as follows (i) We develop an approximate inversion technique for variable exponent Abel integral operators, based on which we analyze the corresponding integral and differential equations (ii) We prove that the sensitive dependence of the well posedness of classical Riemann Liouville fractional differential equations on the initial value could be resolved by adjusting the initial value of the variable exponent (iii) We prove that the singularity of the solutions to the Riemann Liouville fractional differential equations could also be eliminated by adjusting the variable exponent and its derivatives at the initial time, which, together with (ii), demonstrates the advantages of introducing the variable exponent. The proposed approximate inversion technique provides a potential means to convert the intricate variable exponent integral and differential problems to feasible forms, and the above findings suggest that the variable exponent fractional problems may serve as a connection between integer order and fractional models by adjusting the variable exponent at the initial time.


How do 9 points look like in E 3 ?. The aim of this note is to give an elementary proof of the following fact given 3 red convex sets and 3 blue convex sets in mathbb E 3 , such that every red intersects every blue, there is a line transversal to the reds or there is a line transversal to the blues. This is a special case of a theorem of Montajano and Karasev cite MK and generalizes, in a sense, the colourful Helly theorem due to Lov 'asz (cf. cite BL ).


Algorithms and Certificates for Boolean CSP Refutation "Smoothed is no harder than Random". We present an algorithm for strongly refuting smoothed instances of all Boolean CSPs. The smoothed model is a hybrid between worst and average case input models, where the input is an arbitrary instance of the CSP with only the negation patterns of the literals re randomized with some small probability. For an n variable smoothed instance of a k arity CSP, our algorithm runs in n O( ell) time, and succeeds with high probability in bounding the optimum fraction of satisfiable constraints away from 1 , provided that the number of constraints is at least tilde O (n) ( frac n ell ) frac k 2 1 . This matches, up to polylogarithmic factors in n , the trade off between running time and the number of constraints of the state of the art algorithms for refuting fully random instances of CSPs RRS17 . We also make a surprising new connection between our algorithm and even covers in hypergraphs, which we use to positively resolve Feige's 2008 conjecture, an extremal combinatorics conjecture on the existence of even covers in sufficiently dense hypergraphs that generalizes the well known Moore bound for the girth of graphs. As a corollary, we show that polynomial size refutation witnesses exist for arbitrary smoothed CSP instances with number of constraints a polynomial factor below the "spectral threshold" of n k 2 , extending the celebrated result for random 3 SAT of Feige, Kim and Ofek FKO06 .


Every Bit Counts Second Order Analysis of Cooperation in the Multiple Access Channel. The work at hand presents a finite blocklength analysis of the multiple access channel (MAC) sum rate under the cooperation facilitator (CF) model. The CF model, in which independent encoders coordinate through an intermediary node, is known to show significant rate benefits, even when the rate of cooperation is limited. We continue this line of study for cooperation rates which are sub linear in the blocklength n . Roughly speaking, our results show that if the facilitator transmits log K bits, there is a sum rate benefit of order sqrt log K n . This result extends across a wide range of K even a single bit of cooperation is shown to provide a sum rate benefit of order 1 sqrt n .


A Theory of Scrum Team Effectiveness. Scrum teams are at the heart of the Scrum framework. Nevertheless, an integrated and systemic theory that can explain what makes some Scrum teams more effective than others is still missing. To address this gap, we performed a seven year long mixed method investigation composed of two main phases. First, we induced a theoretical model from thirteen exploratory field studies. Our model proposes that the effectiveness of Scrum teams depends on five high level factors responsiveness, stakeholder concern, continuous improvement, team autonomy, and management support and thirteen lower level factors. In the second phase of our study, we validated our model with a Covariance Based Structural Equation Modeling (SEM) analysis using data from about 5,000 developers and 2,000 Scrum teams that we gathered with a custom built survey. Results suggest a very good fit of the empirical data in our theoretical model (CFI 0.959, RMSEA 0.038, SRMR 0.035). Accordingly, this research allowed us to (1) propose and validate a generalizable theory for effective Scrum teams and (2) formulate clear recommendations for how organizations can better support Scrum teams.


Object and Relation Centric Representations for Push Effect Prediction. Pushing is an essential non prehensile manipulation skill used for tasks ranging from pre grasp manipulation to scene rearrangement, reasoning about object relations in the scene, and thus pushing actions have been widely studied in robotics. The effective use of pushing actions often requires an understanding of the dynamics of the manipulated objects and adaptation to the discrepancies between prediction and reality. For this reason, effect prediction and parameter estimation with pushing actions have been heavily investigated in the literature. However, current approaches are limited because they either model systems with a fixed number of objects or use image based representations whose outputs are not very interpretable and quickly accumulate errors. In this paper, we propose a graph neural network based framework for effect prediction and parameter estimation of pushing actions by modeling object relations based on contacts or articulations. Our framework is validated both in real and simulated environments containing different shaped multi part objects connected via different types of joints and objects with different masses. Our approach enables the robot to predict and adapt the effect of a pushing action as it observes the scene. Further, we demonstrate 6D effect prediction in the lever up action in the context of robot based hard disk disassembly.


Convergence of the Neumann Neumann Method for the Cahn Hilliard Equation. In this paper, we analyze a substructuring type algorithm for the Cahn Hilliard (CH) equation. Being a nonlinear equation, it is of great importance to develop efficient numerical schemes for investigating the solution behaviour of the CH equation. We present the formulation of Neumann Neumann (NN) method applied to the CH equation and investigate the convergence behaviour of the same in one and two spatial dimension for two subdomains. We illustrate the theoretical results by providing numerical example.


Singularity of the k core of a random graph. Very sparse random graphs are known to typically be singular (i.e., have singular adjacency matrix), due to the presence of "low degree dependencies'' such as isolated vertices and pairs of degree 1 vertices with the same neighbourhood. We prove that these kinds of dependencies are in some sense the only causes of singularity for constants k ge 3 and lambda 0 , an Erd H os R 'enyi random graph G sim mathbb G (n, lambda n) with n vertices and edge probability lambda n typically has the property that its k core (its largest subgraph with minimum degree at least k ) is nonsingular. This resolves a conjecture of Vu from the 2014 International Congress of Mathematicians, and adds to a short list of known nonsingularity theorems for "extremely sparse'' random matrices with density O(1 n) . A key aspect of our proof is a technique to extract high degree vertices and use them to "boost'' the rank, starting from approximate rank bounds obtainable from (non quantitative) spectral convergence machinery due to Bordenave, Lelarge and Salez.


On the stationary distribution of reflected Brownian motion in a non convex wedge. We study the stationary reflected Brownian motion in a non convex wedge, which, compared to its convex analogue model, has been much rarely analyzed in the probabilistic literature. We prove that its stationary distribution can be found by solving a two dimensional vector boundary value problem (BVP) on a single curve for the associated Laplace transforms. The reduction to this kind of vector BVP seems to be new in the literature. As a matter of comparison, one single boundary condition is sufficient in the convex case. When the parameters of the model (drift, reflection angles and covariance matrix) are symmetric with respect to the bisector line of the cone, the model is reducible to a standard reflected Brownian motion in a convex cone. Finally, we construct a one parameter family of distributions, which surprisingly provides, for any wedge (convex or not), one particular example of stationary distribution of a reflected Brownian motion.


Co Designing Robots by Differentiating Motion Solvers. We present a modular algorithm for the computational co design of legged robots and dynamic maneuvers. Current state of the art approaches are based on random sampling or concurrent optimization. We propose a bilevel optimization approach that exploits the derivatives of the motion planning sub problem (the inner level). Our approach allows for the use of any differentiable motion planner in the inner level, similarly to sampling methods, but also allows for an upper level that captures arbitrary design constraints and costs. Our approach can optimize the robot's morphology and actuator parameters while considering its full dynamics, joint limits and physical constraints such as friction cones. We demonstrate these capabilities by studying jumping and trotting gaits and verify our results in a physics simulator, showing it successfully minimizes the energy used.


An Improved Bound of Acyclic Vertex Coloring. The acyclic chromatic number of a graph is the least number of colors needed to properly color its vertices so that none of its cycles has only two colors. We show that for all alpha 2 1 3 there exists an integer Delta alpha such that if the maximum degree Delta of a graph is at least Delta alpha , then the acyclic chromatic number of the graph is at most lceil alpha Delta 4 3 rceil Delta 1 . The previous best bound, due to Gon c c alves et al (2020), was (3 2) Delta 4 3 O( Delta) .


EKMP Generalized Imitation Learning with Adaptation, Nonlinear Hard Constraints and Obstacle Avoidance. As a user friendly and straightforward solution for robot trajectory generation, imitation learning has been viewed as a vital direction in the context of robot skill learning. In contrast to unconstrained imitation learning which ignores possible internal and external constraints arising from environments and robot kinematics dynamics, recent works on constrained imitation learning allow for transferring human skills to unstructured scenarios, further enlarging the application domain of imitation learning. While various constraints have been studied, e.g., joint limits, obstacle avoidance and plane constraints, the problem of nonlinear hard constraints has not been well addressed. In this paper, we propose extended kernelized movement primitives (EKMP) to cope with most of the key problems in imitation learning, including nonlinear hard constraints. Specifically, EKMP is capable of learning the probabilistic features of multiple demonstrations, adapting the learned skills towards arbitrary desired points in terms of joint position and velocity, avoiding obstacles at the level of robot links, as well as satisfying arbitrary linear and nonlinear, equality and inequality hard constraints. Besides, the connections between EKMP and state of the art motion planning approaches are discussed. Several evaluations including the planning of joint trajectories for a 7 DoF robotic arm are provided to verify the effectiveness of our framework.


Understanding the Essential Nature of the Hydrated Excess Proton Through Simulation and Interpretation of Recent Spectroscopic Experiments. Two dimensional infrared spectroscopy experiments have presented new results regarding the dynamics of the hydrated excess proton (aka q hydronium q cation solvated in water). It has been suggested by these experiments that the hydrated excess proton has an anisotropy reorientation timescale of 2.5 ps, which can be viewed as being somewhat long lived. Through the use of both the reactive molecular dynamics Multistate Empirical Valence Bond method and Experiment Directed Simulation Ab Initio Molecular Dynamics we show that timescales of the same magnitude are obtained that correspond to proton transport, while also involving structural reorientations of the hydrated proton structure that correspond to the so called q special pair dance q . The latter is a process predicted by prior computational studies in which the central hydrated hydronium in a distorted Eigen cation (H sub 9 sub O sub 4 sub sup sup ) structure continually switches special pair partners with its strongly hydrogen bonded neighboring water molecules. These dynamics are further characterized through the time evolution of instantaneous normal modes. It is concluded that the hydrated excess proton has a spectral signature unique from the other protons in the hydrated proton complex. However, the results call into question the use of a static picture based on a simple effective one dimensional potential well to describe the hydrated excess proton in water. Instead, they more conclusively point to a distorted and dynamic Eigen cation as the most prevalent hydrated proton species in acid solutions of dilute to moderate concentrations.


An Analysis of the Slayer Exciter Circuit. In this paper, we try to create an effective mathematical model for the well known slayer exciter transformer circuit. We aim to analyze various aspects of the slayer exciter circuit, by using physical and computational methods. We use a computer simulation for data collection of various parameters pertaining to the circuit. Using this data, we generate plots for various components and parameters. We also derive an approximate equation to maximize the secondary output voltage generated by the circuit. We also discuss a possible method to construct such a circuit using low cost materials.


Data imputation and comparison of custom ensemble models with existing libraries like XGBoost, Scikit learn, etc. for Predictive Equipment failure. This paper presents comparison of custom ensemble models with the models trained using existing libraries Like Xgboost, Scikit Learn, etc. in case of predictive equipment failure for the case of oil extracting equipment setup. The dataset that is used contains many missing values and the paper proposes different model based data imputation strategies to impute the missing values. The architecture and the training and testing process of the custom ensemble models are explained in detail.


Ebola Optimization Search Algorithm (EOSA) A new metaheuristic algorithm based on the propagation model of Ebola virus disease. The Ebola virus and the disease in effect tend to randomly move individuals in the population around susceptible, infected, quarantined, hospitalized, recovered, and dead sub population. Motivated by the effectiveness in propagating the disease through the virus, a new bio inspired and population based optimization algorithm is proposed. This paper presents a novel metaheuristic algorithm named Ebola optimization algorithm (EOSA). To correctly achieve this, this study models the propagation mechanism of the Ebola virus disease, emphasising all consistent states of the propagation. The model was further represented using a mathematical model based on first order differential equations. After that, the combined propagation and mathematical models were adapted for developing the new metaheuristic algorithm. To evaluate the proposed method's performance and capability compared with other optimization methods, the underlying propagation and mathematical models were first investigated to determine how they successfully simulate the EVD. Furthermore, two sets of benchmark functions consisting of forty seven (47) classical and over thirty (30) constrained IEEE CEC 2017 benchmark functions are investigated numerically. The results indicate that the performance of the proposed algorithm is competitive with other state of the art optimization methods based on scalability analysis, convergence analysis, and sensitivity analysis. Extensive simulation results indicate that the EOSA outperforms other state of the art popular metaheuristic optimization algorithms such as the Particle Swarm Optimization Algorithm (PSO), Genetic Algorithm (GA), and Artificial Bee Colony Algorithm (ABC) on some shifted, high dimensional and large search range problems.


Quasi equivalence of heights in algebraic function fields of one variable. For points (a,b) on an algebraic curve over a field K with height mathfrak h , the asymptotic relation between mathfrak h (a) and mathfrak h (b) has been extensively studied in diophantine geometry. When K overline k(t) is the field of algebraic functions in t over a field k of characteristic zero, Eremenko in 1998 proved the following quasi equivalence for an absolute logarithmic height mathfrak h in K Given P in K X,Y irreducible over K and epsilon 0 , there is a constant C only depending on P and epsilon such that for each (a,b) in K 2 with P(a,b) 0 , (1 epsilon) deg(P,Y) mathfrak h (b) C leq deg(P,X) mathfrak h (a) leq (1 epsilon) deg(P,Y) mathfrak h (b) C. In this article, we shall give an explicit bound for the constant C in terms of the total degree of P , the height of P and epsilon . This result is expected to have applications in some other areas such as symbolic computation of differential and difference equations.


Towards solving the 7 in a row game. Our paper explores the game theoretic value of the 7 in a row game. We reduce the problem to solving a finite board game, which we target using Proof Number Search. We present a number of heuristic improvements to Proof Number Search and examine their effect within the context of this particular game. Although our paper does not solve the 7 in a row game, our experiments indicate that we have made significant progress towards it.


Stability of Large Amplitude Viscous Shock Wave for 1 D Isentropic Navier Stokes System in the Half Space. In this paper, the asymptotic time behavior of solutions to an initial boundary value problem in the half space for 1 D isentropic Navier Stokes system is investigated. It is shown that the viscous shock wave is stable for an impermeable wall problem where the velocity is zero on the boundary provided that the shock wave is initially far away from the boundary. Moreover, the strength of shock wave could be arbitrarily large. This work essentially improves the result of A. Matsumura, M. Mei, Convergence to travelling fronts of solutions of the p system with viscosity in the presence of a boundary, Arch. Ration. Mech. Anal., 146(1) 1 22, 1999 , where the strength of shock wave is sufficiently small.


Lower Bounds on the Integraliy Ratio of the Subtour LP for the Traveling Salesman Problem. In this paper we investigate instances with high integrality ratio of the subtour LP. We develop a procedure to generate families of Euclidean TSP instances whose integrality ratios converge to frac 4 3 and may have a different structure than the instances currently known from the literature. Moreover, we compute the instances maximizing the integrality ratio for Rectilinear TSP with up to 10 vertices. Based on these instances we give families of instances whose integrality ratio converge to frac 4 3 for Rectilinear, Multidimensional Rectilinear and Euclidean TSP that have similar structures. We show that our instances for Multidimensional Rectilinear TSP and the known instances for Metric TSP maximize the integrality ratio under certain assumptions. We also investigate the concept of local optimality with respect to integrality ratio and develop several algorithms to find instances with high integrality ratio. Furthermore, we describe a family of instances that are hard to solve in practice. The currently fastest TSP solver Concorde needs more than two days to solve an instance from the family with 52 vertices.


Investigation by Driving Simulation of Tractor Overturning Accidents Caused by Steering Instability. Overturning tractors are the leading cause of fatalities on farms. Steering instability contributes significantly to the tractor overturning. This study investigated tractor overturning accidents caused by the steering instability using a driving simulator. The general commercial driving simulator CarSim (Mechanical Simulation Cooperation, MI, USA) was used. Tractor operations on steep passage slopes were simulated to mimic conditions present for a real accident case reported in Japan. Simulations were performed on roads with and without slopes. The tractor overturned only when on the road with the steep slope. The decrease in the vertical force on the front wheel caused the steering instability and the tractor to overturn. The steering instability caused understeer which prevents the operator from being able to control the tractor properly. Subsequently, the tractor overturned in the simulation. The tractor driving simulator was capable of reproducing the steering instability which can lead to the overturning accident.


A Slope invariant and the A polynomial of knots. The A polynomial is a knot invariant related to the space of SL 2( mathbb C ) representations of the knot group. In this paper our interests lies in the logarithmic Gauss map of the A polynomial. We develop a homological point of view on this slope by extending the constructions of Degtyarev, the second author and Lecuona to the setting of non abelian representations. It defines a rational function on the character variety, which unifies various known invariants such as the change of curves in the Reidemeister function, the modulus of boundary parabolic representations, the boundary slope of some incompressible surfaces embedded in the exterior of the knot K or equivalently the slopes of the sides of the Newton polygon of the A polynomial A K . We also present a method to compute s K in terms of Alexander matrices and Fox calculus.


Computational thresholds for the fixed magnetization Ising model. The ferromagnetic Ising model is a model of a magnetic material and a central topic in statistical physics. It also plays a starring role in the algorithmic study of approximate counting approximating the partition function of the ferromagnetic Ising model with uniform external field is tractable at all temperatures and on all graphs, due to the randomized algorithm of Jerrum and Sinclair. Here we show that hidden inside the model are hard computational problems. For the class of bounded degree graphs we find computational thresholds for the approximate counting and sampling problems for the ferromagnetic Ising model at fixed magnetization (that is, fixing the number of 1 and 1 spins). In particular, letting beta c( Delta) denote the critical inverse temperature of the zero field Ising model on the infinite Delta regular tree, and eta Delta, beta,1 denote the mean magnetization of the zero field measure on the infinite Delta regular tree at inverse temperature beta , we prove, for the class of graphs of maximum degree Delta 1. For beta beta c( Delta) there is an FPRAS and efficient sampling scheme for the fixed magnetization Ising model for all magnetizations eta . 2. For beta beta c( Delta) , there is an FPRAS and efficient sampling scheme for the fixed magnetization Ising model for magnetizations eta such that eta eta Delta, beta,1 . 3. For beta beta c( Delta) , there is no FPRAS for the fixed magnetization Ising model for magnetizations eta such that eta eta Delta, beta,1 unless NP RP .


On the Opportunities and Risks of Foundation Models. AI is undergoing a paradigm shift with the rise of models (e.g., BERT, DALL E, GPT 3) that are trained on broad data at scale and are adaptable to a wide range of downstream tasks. We call these models foundation models to underscore their critically central yet incomplete character. This report provides a thorough account of the opportunities and risks of foundation models, ranging from their capabilities (e.g., language, vision, robotics, reasoning, human interaction) and technical principles(e.g., model architectures, training procedures, data, systems, security, evaluation, theory) to their applications (e.g., law, healthcare, education) and societal impact (e.g., inequity, misuse, economic and environmental impact, legal and ethical considerations). Though foundation models are based on standard deep learning and transfer learning, their scale results in new emergent capabilities,and their effectiveness across so many tasks incentivizes homogenization. Homogenization provides powerful leverage but demands caution, as the defects of the foundation model are inherited by all the adapted models downstream. Despite the impending widespread deployment of foundation models, we currently lack a clear understanding of how they work, when they fail, and what they are even capable of due to their emergent properties. To tackle these questions, we believe much of the critical research on foundation models will require deep interdisciplinary collaboration commensurate with their fundamentally sociotechnical nature.


Contrastive Learning for Context aware Neural Machine TranslationUsing Coreference Information. Context aware neural machine translation (NMT) incorporates contextual information of surrounding texts, that can improve the translation quality of document level machine translation. Many existing works on context aware NMT have focused on developing new model architectures for incorporating additional contexts and have shown some promising results. However, most existing works rely on cross entropy loss, resulting in limited use of contextual information. In this paper, we propose CorefCL, a novel data augmentation and contrastive learning scheme based on coreference between the source and contextual sentences. By corrupting automatically detected coreference mentions in the contextual sentence, CorefCL can train the model to be sensitive to coreference inconsistency. We experimented with our method on common context aware NMT models and two document level translation tasks. In the experiments, our method consistently improved BLEU of compared models on English German and English Korean tasks. We also show that our method significantly improves coreference resolution in the English German contrastive test suite.


The full rank condition for sparse random matrices. We derive a sufficient condition for a sparse random matrix with given numbers of non zero entries in the rows and columns having full row rank. The result covers both matrices over finite fields with independent non zero entries and 0,1 matrices over the rationals. The sufficient condition is generally necessary as well.


Global Classical Solutions to the 3D Density Dependent Viscosity Compressible Navier Stokes Equations with Navier Slip Boundary Condition in a Simply Connected Bounded Domain. This paper concerns the global existence for classical solutions problem to the 3D Density Dependent Viscosity barotropic compressible Navier Stokes in Omega with slip boundary condition, where Omega is a simply connected bounded C infty domain in mathbb R 3 and its boundary only has a finite number of 2 dimensional connected components. By a series of a priori estimates, we show that the classical solution to the system exists globally in time under the assumption that the initial energy is suitably small. The initial density of such a classical solution is allowed to have large oscillations and contain vacuum states. We also adopt some new techniques and methods to obtain necessary a priori estimates, especially the boundary integral terms estimates. This is the first result concerning the global existence of classical solutions to the compressible Navier Stokes equations with density containing vacuum initially and viscosity coefficients depending on density for general 3D bounded smooth domains.


The geometry of polynomial representations. We define a GL variety to be a (typically infinite dimensional) algebraic variety equipped with an action of the infinite general linear group under which the coordinate ring forms a polynomial representation. Such varieties have been used to study asymptotic properties of invariants like strength and tensor rank, and played a key role in two recent proofs of Stillman's conjecture. We initiate a systematic study of GL varieties, and establish a number of foundational results about them. For example, we prove a version of Chevalley's theorem on constructible sets in this setting.


Matched asymptotic expansion approach to pulse dynamics for a three component reaction diffusion systems. We study the existence and stability of standing pulse solutions to a singularly perturbed three component reaction diffusion system with one activator and two inhibitor type. We apply the MAE (matched asymptotic expansion) method to the construction of solutions and the SLEP (Singular Limit Eigenvalue Problem) method to their stability properties. This approach is not just an alternative approach to geometric singular perturbation and the associated Evans function, but gives us two advantages one is the extendability to higher dimensional case, and the other is to allow us to obtain more precise information on the behaviors of critical eigenvalues. This implies the existence of codimension two singularity of drift and Hopf bifurcations for the standing pulse solution and it is numerically confirmed that stable standing and traveling breathers emerge around the singularity in a physically acceptable regime.


Knowledge Base Enriched Word Embeddings for Biomedical Domain. Word embeddings have been shown adept at capturing the semantic and syntactic regularities of the natural language text, as a result of which these representations have found their utility in a wide variety of downstream content analysis tasks. Commonly, these word embedding techniques derive the distributed representation of words based on the local context information. However, such approaches ignore the rich amount of explicit information present in knowledge bases. This is problematic, as it might lead to poor representation for words with insufficient local context such as domain specific words. Furthermore, the problem becomes pronounced in domain such as bio medicine where the presence of these domain specific words are relatively high. Towards this end, in this project, we propose a new word embedding based model for biomedical domain that jointly leverages the information from available corpora and domain knowledge in order to generate knowledge base powered embeddings. Unlike existing approaches, the proposed methodology is simple but adept at capturing the precise knowledge available in domain resources in an accurate way. Experimental results on biomedical concept similarity and relatedness task validates the effectiveness of the proposed approach.


Property( K ) Implies R(X) leq 1 frac displaystyle 1 displaystyle 1 r X (1) . It is shown that if the dual of a Banach space satisfies Property( K ) then R(X) leq 1 frac displaystyle 1 displaystyle 1 r X (1) 2 where r X (c) is Opial's modulus for X . Thus X has the weak fixed point property.


Assorted Musings on Dimension critical Graphs. For a finite simple graph G , say G is of dimension n , and write dim(G) n , if n is the smallest integer such that G can be represented as a unit distance graph in mathbb R n . Define G to be textit dimension critical if every proper subgraph of G has dimension less than G . In this article, we determine exactly which complete multipartite graphs are dimension critical. It is then shown that for each n geq 2 , there is an arbitrarily large dimension critical graph G with dim(G) n . We close with a few observations and questions that may aid in future work.


Femtosecond pulses from a mid infrared quantum cascade laser. The quantum cascade laser (QCL) has evolved to be a compact, powerful source of coherent mid infrared (mid IR) light. However, its fast gain dynamics strongly restricts the formation of ultrashort pulses. As such, the shortest pulses reported so far were limited to a few picoseconds with some hundreds of milliwatts of peak power, strongly narrowing their applicability for time resolved and nonlinear experiments. Here, we demonstrate an alternative approach capable of producing near transform limited sub picosecond pulses with several watts of peak power. Starting from a frequency modulated phase locked state, which most efficiently exploits the gain of the active region, ultrashort high peak power pulses are generated via external pulse compression. We assess their temporal nature by means of a novel optical sampling method, coherent beat note interferometry and interferometric autocorrelation. These results open new pathways for nonlinear physics in the mid infrared.


A counterexample to Payne's nodal line conjecture with few holes. Payne conjectured in 1967 that the nodal line of the second Dirichlet eigenfunction must touch the boundary of the domain. In their 1997 breakthrough paper, Hoffmann Ostenhof, Hoffmann Ostenhof and Nadirashvili proved this to be false by constructing a counterexample in the plane with many holes and raised the question of the minimum number of holes a counterexample can have. In this paper we prove it is at most 6.


Automatic Generation of Blockchain Agri food Traceability Systems. Supply chain management, product provenance and quality certification are among the first and most popular applications of blockchain technology, due to the inherent trust and inalterability provided by the blockchain technology. However, the proposed supply chain management systems based on blockchain and smart contract technology tend to be specific to the particular production and production process. In this paper we present a general purpose approach for the agri food supply chain management, proposing a system that can be configured for most agri food productions. The primary purpose is to provide a methodology to facilitate and make more efficient the development of such applications. It is based on general smart contracts and apps interacting with the same smart contracts, which are configured, starting from the description of the specific system to be managed, given using json files. A case study on olive oil production is described, to show how our approach works.


Integral boundary conditions in phase field models. Modeling the microstructure evolution of a material embedded in a device often involves integral boundary conditions. Here we propose a modified Nitsche's method to solve the Poisson equation with an integral boundary condition, which is coupled to phase field equations of the microstructure evolution of a strongly correlated material undergoing metal insulator transitions. Our numerical experiments demonstrate that the proposed method achieves optimal convergence rate while the rate of convergence of the conventional Lagrange multiplier method is not optimal. Furthermore, the linear system derived from the modified Nitsche's method can be solved by an iterative solver with algebraic multigrid preconditioning. The modified Nitsche's method can be applied to other physical boundary conditions mathematically similar to this electric integral boundary condition.


VOLDOR SLAM For the Times When Feature Based or Direct Methods Are Not Good Enough. We present a dense indirect SLAM system using external dense optical flows as input. We extend the recent probabilistic visual odometry model VOLDOR Min et al. CVPR'20 , by incorporating the use of geometric priors to 1) robustly bootstrap estimation from monocular capture, while 2) seamlessly supporting stereo and or RGB D input imagery. Our customized back end tightly couples our intermediate geometric estimates with an adaptive priority scheme managing the connectivity of an incremental pose graph. We leverage recent advances in dense optical flow methods to achieve accurate and robust camera pose estimates, while constructing fine grain globally consistent dense environmental maps. Our open source implementation https github.com htkseason VOLDOR operates online at around 15 FPS on a single GTX1080Ti GPU.


Recursive Bayesian Networks Generalising and Unifying Probabilistic Context Free Grammars and Dynamic Bayesian Networks. Probabilistic context free grammars (PCFGs) and dynamic Bayesian networks (DBNs) are widely used sequence models with complementary strengths and limitations. While PCFGs allow for nested hierarchical dependencies (tree structures), their latent variables (non terminal symbols) have to be discrete. In contrast, DBNs allow for continuous latent variables, but the dependencies are strictly sequential (chain structure). Therefore, neither can be applied if the latent variables are assumed to be continuous and also to have a nested hierarchical dependency structure. In this paper, we present Recursive Bayesian Networks (RBNs), which generalise and unify PCFGs and DBNs, combining their strengths and containing both as special cases. RBNs define a joint distribution over tree structured Bayesian networks with discrete or continuous latent variables. The main challenge lies in performing joint inference over the exponential number of possible structures and the continuous variables. We provide two solutions 1) For arbitrary RBNs, we generalise inside and outside probabilities from PCFGs to the mixed discrete continuous case, which allows for maximum posterior estimates of the continuous latent variables via gradient descent, while marginalising over network structures. 2) For Gaussian RBNs, we additionally derive an analytic approximation, allowing for robust parameter optimisation and Bayesian inference. The capacity and diverse applications of RBNs are illustrated on two examples In a quantitative evaluation on synthetic data, we demonstrate and discuss the advantage of RBNs for segmentation and tree induction from noisy sequences, compared to change point detection and hierarchical clustering. In an application to musical data, we approach the unsolved problem of hierarchical music analysis from the raw note level and compare our results to expert annotations.


PolarMask Enhanced Polar Representation for Single Shot Instance Segmentation and Beyond. Reducing the complexity of the pipeline of instance segmentation is crucial for real world applications. This work addresses this issue by introducing an anchor box free and single shot instance segmentation framework, termed PolarMask, which reformulates the instance segmentation problem as predicting the contours of objects in the polar coordinate, with several appealing benefits. (1) The polar representation unifies instance segmentation (masks) and object detection (bounding boxes) into a single framework, reducing the design and computational complexity. (2) Two modules are carefully designed (i.e. soft polar centerness and polar IoU loss) to sample high quality center examples and optimize polar contour regression, making the performance of PolarMask does not depend on the bounding box prediction results and thus becomes more efficient in training. (3) PolarMask is fully convolutional and can be easily embedded into most off the shelf detection methods. To further improve the accuracy of the framework, a Refined Feature Pyramid is introduced to further improve the feature representation at different scales, termed PolarMask . Extensive experiments demonstrate the effectiveness of both PolarMask and PolarMask , which achieve competitive results on instance segmentation in the challenging COCO dataset with single model and single scale training and testing, as well as new state of the art results on rotate text detection and cell segmentation. We hope the proposed polar representation can provide a new perspective for designing algorithms to solve single shot instance segmentation. The codes and models are available at github.com xieenze PolarMask.


Learning Deep Features for Shape Correspondence with Domain Invariance. Correspondence based shape models are key to various medical imaging applications that rely on a statistical analysis of anatomies. Such shape models are expected to represent consistent anatomical features across the population for population specific shape statistics. Early approaches for correspondence placement rely on nearest neighbor search for simpler anatomies. Coordinate transformations for shape correspondence hold promise to address the increasing anatomical complexities. Nonetheless, due to the inherent shape level geometric complexity and population level shape variation, the coordinate wise correspondence often does not translate to the anatomical correspondence. An alternative, group wise approach for correspondence placement explicitly models the trade off between geometric description and the population's statistical compactness. However, these models achieve limited success in resolving nonlinear shape correspondence. Recent works have addressed this limitation by adopting an application specific notion of correspondence through lifting positional data to a higher dimensional feature space. However, they heavily rely on manual expertise to create domain specific features and consistent landmarks. This paper proposes an automated feature learning approach, using deep convolutional neural networks to extract correspondence friendly features from shape ensembles. Further, an unsupervised domain adaptation scheme is introduced to augment the pretrained geometric features with new anatomies. Results on anatomical datasets of human scapula, femur, and pelvis bones demonstrate that features learned in supervised fashion show improved performance for correspondence estimation compared to the manual features. Further, unsupervised learning is demonstrated to learn complex anatomy features using the supervised domain adaptation from features learned on simpler anatomy.


Maximal C covers and residual finite dimensionality. We study residually finite dimensional (or RFD) operator algebras which may not be self adjoint. An operator algebra may be RFD while simultaneously possessing completely isometric representations whose generating C algebra is not RFD. This has provided many hurdles in characterizing residual finite dimensionality for operator algebras. To better understand the elusive behaviour, we explore the C covers of an operator algebra. First, we equate the collection of C covers with a complete lattice arising from the spectrum of the maximal C cover. This allows us to identify a largest RFD C cover whenever the underlying operator algebra is RFD. The largest RFD C cover is shown to be similar to the maximal C cover in several different facets and this provides supporting evidence to a previous query of whether an RFD operator algebra always possesses an RFD maximal C cover. In closing, we present a non self adjoint version of Hadwin's characterization of separable RFD C algebras.


Supervised Bayesian Specification Inference from Demonstrations. When observing task demonstrations, human apprentices are able to identify whether a given task is executed correctly long before they gain expertise in actually performing that task. Prior research into learning from demonstrations (LfD) has failed to capture this notion of the acceptability of a task's execution meanwhile, temporal logics provide a flexible language for expressing task specifications. Inspired by this, we present Bayesian specification inference, a probabilistic model for inferring task specification as a temporal logic formula. We incorporate methods from probabilistic programming to define our priors, along with a domain independent likelihood function to enable sampling based inference. We demonstrate the efficacy of our model for inferring specifications, with over 90 similarity observed between the inferred specification and the ground truth, both within a synthetic domain and during a real world table setting task.


On the Analysis of the Second Order Time Filtered Backward Euler Method for the EMAC formulation of Navier Stokes Equations. This paper considers the backward Euler based linear time filtering method for the EMAC formulation of the incompressible Navier Stokes equations. The time filtering is added as a modular step to the standard backward Euler code leading to a 2 step, unconditionally stable, second order linear method. Despite its success in conserving important physical quantities when the divergence constraint is only weakly enforced, the EMAC formulation is unable to improve solutions of backward Euler discretized NSE. The combination of the time filtering with the backward Euler discretized EMAC formulation of NSE greatly increases numerical accuracy of solutions and still conserves energy, momentum and angular momentum as EMAC does. Several numerical experiments are provided that both verify the theoretical fidings and demonstrate superiority of the proposed method over the unfiltered case.


Self dual twisted generalized Reed Solomon codes. In this paper, by using some properties for linear algebra methods, the parity check matrixs for twisted generalized Reed Solomon codes with any given hook h and twist t are presented, and then a sufficient and necessary condition for that a twisted generalized Reed Solomon code with dimension h t (h ge t) to be self dual is given. Furthermore, several classes of self dual codes with small singleton defect are constructed based on twisted generalized Reed Solomon codes.


The Dirichlet problem for p minimizers on finely open sets in metric spaces. We initiate the study of fine p (super)minimizers, associated with p harmonic functions, on finely open sets in metric spaces, where 1 p infty . After having developed their basic theory, we obtain the p fine continuity of the solution of the Dirichlet problem on a finely open set with continuous Sobolev boundary values, as a by product of similar pointwise results. These results are new also on unweighted mathbf R n . We build this theory in a complete metric space equipped with a doubling measure supporting a p Poincar 'e inequality.


Learning Setup Policies Reliable Transition Between Locomotion Behaviours. Dynamic platforms that operate over manyunique terrain conditions typically require multiple controllers.To transition safely between controllers, there must be anoverlap of states between adjacent controllers. We developa novel method for training Setup Policies that bridge thetrajectories between pre trained Deep Reinforcement Learning(DRL) policies. We demonstrate our method with a simulatedbiped traversing a difficult jump terrain, where a single policyfails to learn the task, and switching between pre trainedpolicies without Setup Policies also fails. We perform anablation of key components of our system, and show thatour method outperforms others that learn transition policies.We demonstrate our method with several difficult and diverseterrain types, and show that we can use Setup Policies as partof a modular control suite to successfully traverse a sequence ofcomplex terrains. We show that using Setup Policies improvesthe success rate for traversing a single difficult jump terrain(from 1.5 success rate without Setup Policies to 82 ), and asequence of various terrains (from 6.5 without Setup Policiesto 29.1 ).


Ordinarity of Local Galois Representation Arising from Dwork Motives. In this paper, we prove that for suitably chosen Dwork motives, the local Galois representation arising from middle cohomology of fibers over a point with p adic valuation 0 on the base is regular and ordinary. The result will be crucial in the forthcoming work Potential Automorphy for GL n . The proof consists of the construction of a semistable blowup and a use of Hyodo Kato's log crystalline cohomology theory.


On Morphing 1 Planar Drawings. Computing a morph between two drawings of a graph is a classical problem in computational geometry and graph drawing. While this problem has been widely studied in the context of planar graphs, very little is known about the existence of topology preserving morphs for pairs of non planar graph drawings. We make a step towards this problem by showing that a topology preserving morph always exists for drawings of a meaningful family of 1 planar graphs. While our proof is constructive, the vertices may follow trajectories of unbounded complexity.


Temporally coherent video anonymization through GAN inpainting. This work tackles the problem of temporally coherent face anonymization in natural video streams.We propose JaGAN, a two stage system starting with detecting and masking out faces with black image patches in all individual frames of the video. The second stage leverages a privacy preserving Video Generative Adversarial Network designed to inpaint the missing image patches with artificially generated faces. Our initial experiments reveal that image based generative models are not capable of inpainting patches showing temporal coherent appearance across neighboring video frames. To address this issue we introduce a newly curated video collection, which is made publicly available for the research community along with this paper. We also introduce the Identity Invariance Score IdI as a means to quantify temporal coherency between neighboring frames.


Elimination of imaginaries in Ordered Abelian groups with bounded regular rank. In this paper we study elimination of imaginaries in some classes of pure ordered abelian groups. For the class of ordered abelian groups with bounded regular rank (equivalently with finite spines) we obtain weak elimination of imaginaries once we add sorts for the quotient groups Gamma Delta for each definable convex subgroup Delta , and sorts for the quotient groups Gamma Delta l Gamma where Delta is a definable convex subgroup and l in mathbb N geq 2 . We refer to these sorts as the emph quotient sorts . For the dp minimal case we obtain a complete elimination of imaginaries, if we also add constants to distinguish the cosets of Delta n Gamma in Gamma , where Delta is a definable convex subgroup and n in mathbb N geq 2 .


The Algorithmic Complexity of Tree Clique Width. Tree width has been proven to be a useful parameter to design fast and efficient algorithms for intractable problems. However, while tree width is low on relatively sparse graphs can be arbitrary high on dense graphs. Therefore, we introduce tree clique width, denoted by tcl(G) for a graph G , a new width measure for tree decompositions. The main aim of such a parameter is to extend the algorithmic gains of tree width on more structured and dense graphs. In this paper, we show that tree clique width is NP complete and that there is no constant factor approximation algorithm for any constant value c . We also provide algorithms to compute tree clique width for general graphs and for special graphs such as cographs and permutation graphs. We seek to understand further tree clique width and its properties and to research whether it can be used as an alternative where tree width fails.


Neural Nano Optics for High quality Thin Lens Imaging. Nano optic imagers that modulate light at sub wavelength scales could unlock unprecedented applications in diverse domains ranging from robotics to medicine. Although metasurface optics offer a path to such ultra small imagers, existing methods have achieved image quality far worse than bulky refractive alternatives, fundamentally limited by aberrations at large apertures and low f numbers. In this work, we close this performance gap by presenting the first neural nano optics. We devise a fully differentiable learning method that learns a metasurface physical structure in conjunction with a novel, neural feature based image reconstruction algorithm. Experimentally validating the proposed method, we achieve an order of magnitude lower reconstruction error. As such, we present the first high quality, nano optic imager that combines the widest field of view for full color metasurface operation while simultaneously achieving the largest demonstrated 0.5 mm, f 2 aperture.


Quillen equivalences inducing Grothendieck duality for unbounded chain complexes of sheaves. Let mathbb X be a semiseparated Noetherian scheme with a dualizing complex D . We lift some well known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are able to show that the Gorenstein flat model structure, on the category of quasi coherent sheaves on mathbb X , is Quillen equivalent to the Gorenstein injective model structure. Also noteworthy is that we extend the recollement of Krause to hold without the Noetherian condition. Using a set of flat generators, it holds for any quasi compact semiseparated scheme mathbb X . With this we also show that the Gorenstein injective quasi coherent sheaves are the fibrant objects of a cofibrantly generated abelian model structure for any semiseparated Noetherian scheme mathbb X . Finally, we consider both the injective and (mock) projective approach to Tate cohomology of quasi coherent sheaves. They agree whenever mathbb X is a semiseparated Gorenstein scheme of finite Krull dimension.


A vector identity for quadrilaterals. A surprising simple result about quadrilaterals is given as an application of the vector triple product identity.


An Accelerated Second Order Method for Distributed Stochastic Optimization. We consider distributed stochastic optimization problems that are solved with master workers computation architecture. Statistical arguments allow to exploit statistical similarity and approximate this problem by a finite sum problem, for which we propose an inexact accelerated cubic regularized Newton's method that achieves lower communication complexity bound for this setting and improves upon existing upper bound. We further exploit this algorithm to obtain convergence rate bounds for the original stochastic optimization problem and compare our bounds with the existing bounds in several regimes when the goal is to minimize the number of communication rounds and increase the parallelization by increasing the number of workers.


Lifting Monocular Events to 3D Human Poses. This paper presents a novel 3D human pose estimation approach using a single stream of asynchronous events as input. Most of the state of the art approaches solve this task with RGB cameras, however struggling when subjects are moving fast. On the other hand, event based 3D pose estimation benefits from the advantages of event cameras, especially their efficiency and robustness to appearance changes. Yet, finding human poses in asynchronous events is in general more challenging than standard RGB pose estimation, since little or no events are triggered in static scenes. Here we propose the first learning based method for 3D human pose from a single stream of events. Our method consists of two steps. First, we process the event camera stream to predict three orthogonal heatmaps per joint each heatmap is the projection of of the joint onto one orthogonal plane. Next, we fuse the sets of heatmaps to estimate 3D localisation of the body joints. As a further contribution, we make available a new, challenging dataset for event based human pose estimation by simulating events from the RGB Human3.6m dataset. Experiments demonstrate that our method achieves solid accuracy, narrowing the performance gap between standard RGB and event based vision. The code is freely available at https iit pavis.github.io lifting events to 3d hpe.


Mining Latent Classes for Few shot Segmentation. Few shot segmentation (FSS) aims to segment unseen classes given only a few annotated samples. Existing methods suffer the problem of feature undermining, i.e. potential novel classes are treated as background during training phase. Our method aims to alleviate this problem and enhance the feature embedding on latent novel classes. In our work, we propose a novel joint training framework. Based on conventional episodic training on support query pairs, we add an additional mining branch that exploits latent novel classes via transferable sub clusters, and a new rectification technique on both background and foreground categories to enforce more stable prototypes. Over and above that, our transferable sub cluster has the ability to leverage extra unlabeled data for further feature enhancement. Extensive experiments on two FSS benchmarks demonstrate that our method outperforms previous state of the art by a large margin of 3.7 mIOU on PASCAL 5i and 7.0 mIOU on COCO 20i at the cost of 74 fewer parameters and 2.5x faster inference speed. The source code is available at https github.com LiheYoung MiningFSS.


Projections of the uniform distribution on the cube a large deviation perspective. Let Theta (n) be a random vector uniformly distributed on the unit sphere mathbb S n 1 in mathbb R n . Consider the projection of the uniform distribution on the cube 1,1 n to the line spanned by Theta (n) . The projected distribution is the random probability measure mu Theta (n) on mathbb R given by mu Theta (n) (A) frac 1 2 n int 1,1 n mathbb 1 langle u, Theta (n) rangle in A du, for Borel subets A of mathbb R . It is well known that, with probability 1 , the sequence of random probability measures mu Theta (n) converges weakly to the centered Gaussian distribution with variance 1 3 . We prove a large deviation principle for the sequence mu Theta (n) on the space of probability measures on mathbb R with speed n . The (good) rate function is explicitly given by I( nu( alpha)) frac 1 2 log ( 1 alpha 2 2) whenever nu( alpha) is the law of a random variable of the form begin align sqrt 1 alpha 2 2 frac Z sqrt 3 sum k 1 infty alpha k U k, end align where Z is standard Gaussian independent of U 1,U 2, ldots which are i.i.d. text Unif 1,1 , and alpha 1 geq alpha 2 geq ldots is a non increasing sequence of non negative reals with alpha 2 1 . We obtain a similar result for random projections of the uniform distribution on the discrete cube 1, 1 n .


ACSNet Action Context Separation Network for Weakly Supervised Temporal Action Localization. The object of Weakly supervised Temporal Action Localization (WS TAL) is to localize all action instances in an untrimmed video with only video level supervision. Due to the lack of frame level annotations during training, current WS TAL methods rely on attention mechanisms to localize the foreground snippets or frames that contribute to the video level classification task. This strategy frequently confuse context with the actual action, in the localization result. Separating action and context is a core problem for precise WS TAL, but it is very challenging and has been largely ignored in the literature. In this paper, we introduce an Action Context Separation Network (ACSNet) that explicitly takes into account context for accurate action localization. It consists of two branches (i.e., the Foreground Background branch and the Action Context branch). The Foreground Background branch first distinguishes foreground from background within the entire video while the Action Context branch further separates the foreground as action and context. We associate video snippets with two latent components (i.e., a positive component and a negative component), and their different combinations can effectively characterize foreground, action and context. Furthermore, we introduce extended labels with auxiliary context categories to facilitate the learning of action context separation. Experiments on THUMOS14 and ActivityNet v1.2 v1.3 datasets demonstrate the ACSNet outperforms existing state of the art WS TAL methods by a large margin.


Domain Adaptor Networks for Hyperspectral Image Recognition. We consider the problem of adapting a network trained on three channel color images to a hyperspectral domain with a large number of channels. To this end, we propose domain adaptor networks that map the input to be compatible with a network trained on large scale color image datasets such as ImageNet. Adaptors enable learning on small hyperspectral datasets where training a network from scratch may not be effective. We investigate architectures and strategies for training adaptors and evaluate them on a benchmark consisting of multiple hyperspectral datasets. We find that simple schemes such as linear projection or subset selection are often the most effective, but can lead to a loss in performance in some cases. We also propose a novel multi view adaptor where of the inputs are combined in an intermediate layer of the network in an order invariant manner that provides further improvements. We present extensive experiments by varying the number of training examples in the benchmark to characterize the accuracy and computational trade offs offered by these adaptors.


Policy Regularization via Noisy Advantage Values for Cooperative Multi agent Actor Critic methods. Recent works have applied the Proximal Policy Optimization (PPO) to the multi agent cooperative tasks, such as Independent PPO (IPPO) and vanilla Multi agent PPO (MAPPO) which has a centralized value function. However, previous literature shows that MAPPO may not perform as well as Independent PPO (IPPO) and the Fine tuned QMIX on Starcraft Multi Agent Challenge (SMAC). MAPPO Feature Pruned (MAPPO FP) improves the performance of MAPPO by the carefully designed agent specific features, which may be not friendly to algorithmic utility. By contrast, we find that MAPPO may face the problem of textit The Policies Overfitting in Multi agent Cooperation(POMAC) , as they learn policies by the sampled advantage values. Then POMAC may lead to updating the multi agent policies in a suboptimal direction and prevent the agents from exploring better trajectories. In this paper, to mitigate the multi agent policies overfitting, we propose a novel policy regularization method, which disturbs the advantage values via random Gaussian noise. The experimental results show that our method outperforms the Fine tuned QMIX, MAPPO FP, and achieves SOTA on SMAC without agent specific features. We open source the code at url https github.com hijkzzz noisy mappo .


Minimal mass blow up solutions for nonlinear Schr " o dinger equations with a singular potential. We consider the following nonlinear Schr " o dinger equation with an inverse potential i frac partial u partial t Delta u u frac 4 N u pm frac 1 x 2 sigma log x u 0 in mathbb R N . From the classical argument, the solution with subcritical mass ( u 2 Q 2 ) is global and bounded in H 1( mathbb R N) . Here, Q is the ground state of the mass critical problem. Therefore, we are interested in the existence and behaviour of blow up solutions for the threshold ( left u 0 right 2 left Q right 2 ).


A cold electron impact ion source driven by a photo cathode New opportunities for the delivery of radioactive molecular beams?. The thick target ISOL (Isotope mass Separation OnLine) method provides beams of more than 1000 radionuclides of 74 elements. The method is well established for elements with sufficiently high volatility at ca. 2000 deg C. To extract non volatile elements the formation of a volatile molecule is required. While successful in some cases (e.g. carbon or boron), most of these elements are not yet available as ISOL beam. A variety of volatile carrier molecules has been proposed for all elements produced in the target material, but their probability of survival during the extraction and ionization process is often limited by the high temperatures required for isotope diffusion in the thick targets and for ion source operation. While cold target concepts have already been proposed, the normal mode of operation of the typically used Versatile Arc Discharge Ion Source (VADIS) with a hot cathode is not well suited. Here, we report about first measurements with an electron impact ion source operated at ambient temperature using electrons that were liberated via the photo electric effect from a copper cathode.


Backward bifurcation of a disease severity structured epidemic model with treatment. This paper presents a disease severity structured epidemic model with treatment necessary only to severe infective individuals to discuss the effect of the treatment capacity on the disease transmission. It is shown that a backward bifurcation occurs in the basic reproduction number R0, where a stable endemic equilibrium co exists with a stable disease free equilibrium when R0 1, if the capacity is relatively small. This epidemiological implication is that, when there is not enough capacity for treatment, the requirement R0 1 is not sufficient for effective disease control and disease outbreak can happen to a high endemic level even though R0 1.


Distributed Reinforcement Learning for Privacy Preserving Dynamic Edge Caching. Mobile edge computing (MEC) is a prominent computing paradigm which expands the application fields of wireless communication. Due to the limitation of the capacities of user equipments and MEC servers, edge caching (EC) optimization is crucial to the effective utilization of the caching resources in MEC enabled wireless networks. However, the dynamics and complexities of content popularities over space and time as well as the privacy preservation of users pose significant challenges to EC optimization. In this paper, a privacy preserving distributed deep deterministic policy gradient (P2D3PG) algorithm is proposed to maximize the cache hit rates of devices in the MEC networks. Specifically, we consider the fact that content popularities are dynamic, complicated and unobservable, and formulate the maximization of cache hit rates on devices as distributed problems under the constraints of privacy preservation. In particular, we convert the distributed optimizations into distributed model free Markov decision process problems and then introduce a privacy preserving federated learning method for popularity prediction. Subsequently, a P2D3PG algorithm is developed based on distributed reinforcement learning to solve the distributed problems. Simulation results demonstrate the superiority of the proposed approach in improving EC hit rate over the baseline methods while preserving user privacy.


Collaborative adversary nodes learning on the logs of IoT devices in an IoT network. Artificial Intelligence (AI) development has encouraged many new research areas, including AI enabled Internet of Things (IoT) network. AI analytics and intelligent paradigms greatly improve learning efficiency and accuracy. Applying these learning paradigms to network scenarios provide technical advantages of new networking solutions. In this paper, we propose an improved approach for IoT security from data perspective. The network traffic of IoT devices can be analyzed using AI techniques. The Adversary Learning (AdLIoTLog) model is proposed using Recurrent Neural Network (RNN) with attention mechanism on sequences of network events in the network traffic. We define network events as a sequence of the time series packets of protocols captured in the log. We have considered different packets TCP packets, UDP packets, and HTTP packets in the network log to make the algorithm robust. The distributed IoT devices can collaborate to cripple our world which is extending to Internet of Intelligence. The time series packets are converted into structured data by removing noise and adding timestamps. The resulting data set is trained by RNN and can detect the node pairs collaborating with each other. We used the BLEU score to evaluate the model performance. Our results show that the predicting performance of the AdLIoTLog model trained by our method degrades by 3 4 in the presence of attack in comparison to the scenario when the network is not under attack. AdLIoTLog can detect adversaries because when adversaries are present the model gets duped by the collaborative events and therefore predicts the next event with a biased event rather than a benign event. We conclude that AI can provision ubiquitous learning for the new generation of Internet of Things.


Sea Ice Forecasting using Attention based Ensemble LSTM. Accurately forecasting Arctic sea ice from subseasonal to seasonal scales has been a major scientific effort with fundamental challenges at play. In addition to physics based earth system models, researchers have been applying multiple statistical and machine learning models for sea ice forecasting. Looking at the potential of data driven sea ice forecasting, we propose an attention based Long Short Term Memory (LSTM) ensemble method to predict monthly sea ice extent up to 1 month ahead. Using daily and monthly satellite retrieved sea ice data from NSIDC and atmospheric and oceanic variables from ERA5 reanalysis product for 39 years, we show that our multi temporal ensemble method outperforms several baseline and recently proposed deep learning models. This will substantially improve our ability in predicting future Arctic sea ice changes, which is fundamental for forecasting transporting routes, resource development, coastal erosion, threats to Arctic coastal communities and wildlife.


Palmira A Deep Deformable Network for Instance Segmentation of Dense and Uneven Layouts in Handwritten Manuscripts. Handwritten documents are often characterized by dense and uneven layout. Despite advances, standard deep network based approaches for semantic layout segmentation are not robust to complex deformations seen across semantic regions. This phenomenon is especially pronounced for the low resource Indic palm leaf manuscript domain. To address the issue, we first introduce Indiscapes2, a new large scale diverse dataset of Indic manuscripts with semantic layout annotations. Indiscapes2 contains documents from four different historical collections and is 150 larger than its predecessor, Indiscapes. We also propose a novel deep network Palmira for robust, deformation aware instance segmentation of regions in handwritten manuscripts. We also report Hausdorff distance and its variants as a boundary aware performance measure. Our experiments demonstrate that Palmira provides robust layouts, outperforms strong baseline approaches and ablative variants. We also include qualitative results on Arabic, South East Asian and Hebrew historical manuscripts to showcase the generalization capability of Palmira.


On Fast Johnson Lindenstrauss Embeddings of Compact Submanifolds of mathbb R N with Boundary. Let mathcal M be a smooth d dimensional submanifold of mathbb R N with boundary that's equipped with the Euclidean (chordal) metric, and choose m leq N . In this paper we consider the probability that a random matrix A in mathbb R m times N will serve as a bi Lipschitz function A mathcal M rightarrow mathbb R m with bi Lipschitz constants close to one for three different types of distributions on the m times N matrices A , including two whose realizations are guaranteed to have fast matrix vector multiplies. In doing so we generalize prior randomized metric space embedding results of this type for submanifolds of mathbb R N by allowing for the presence of boundary while also retaining, and in some cases improving, prior lower bounds on the achievable embedding dimensions m for which one can expect small distortion with high probability. In particular, motivated by recent modewise embedding constructions for tensor data, herein we present a new class of highly structured distributions on matrices which outperform prior structured matrix distributions for embedding sufficiently low dimensional submanifolds of mathbb R N (with d lesssim sqrt N ) with respect to both achievable embedding dimension, and computationally efficient realizations. As a consequence we are able to present, for example, a general new class of Johnson Lindenstrauss embedding matrices for mathcal O ( log c N) dimensional submanifolds of mathbb R N which enjoy mathcal O (N log ( log N)) time matrix vector multiplications.


Efficient quadrature rules for finite element discretizations of nonlocal equations. In this paper we design efficient quadrature rules for finite element discretizations of nonlocal diffusion problems with compactly supported kernel functions. Two of the main challenges in nonlocal modeling and simulations are the prohibitive computational cost and the nontrivial implementation of discretization schemes, especially in three dimensional settings. In this work we circumvent both challenges by introducing a parametrized mollifying function that improves the regularity of the integrand, utilizing an adaptive integration technique, and exploiting parallelization. We first show that the "mollified" solution converges to the exact one as the mollifying parameter vanishes, then we illustrate the consistency and accuracy of the proposed method on several two and three dimensional test cases. Furthermore, we demonstrate the good scaling properties of the parallel implementation of the adaptive algorithm and we compare the proposed method with recently developed techniques for efficient finite element assembly.


Energy Efficient Adaptive System Reconfiguration for Dynamic Deadlines in Autonomous Driving. The increasing computing demands of autonomous driving applications make energy optimizations critical for reducing battery capacity and vehicle weight. Current energy optimization methods typically target traditional real time systems with static deadlines, resulting in conservative energy savings that are unable to exploit additional energy optimizations due to dynamic deadlines arising from the vehicle's change in velocity and driving context. We present an adaptive system optimization and reconfiguration approach that dynamically adapts the scheduling parameters and processor speeds to satisfy dynamic deadlines while consuming as little energy as possible. Our experimental results with an autonomous driving task set from Bosch and real world driving data show energy reductions up to 46.4 on average in typical dynamic driving scenarios compared with traditional static energy optimization methods, demonstrating great potential for dynamic energy optimization gains by exploiting dynamic deadlines.


Unlocking the potential of deep learning for marine ecology overview, applications, and outlook. The deep learning revolution is touching all scientific disciplines and corners of our lives as a means of harnessing the power of big data. Marine ecology is no exception. These new methods provide analysis of data from sensors, cameras, and acoustic recorders, even in real time, in ways that are reproducible and rapid. Off the shelf algorithms can find, count, and classify species from digital images or video and detect cryptic patterns in noisy data. Using these opportunities requires collaboration across ecological and data science disciplines, which can be challenging to initiate. To facilitate these collaborations and promote the use of deep learning towards ecosystem based management of the sea, this paper aims to bridge the gap between marine ecologists and computer scientists. We provide insight into popular deep learning approaches for ecological data analysis in plain language, focusing on the techniques of supervised learning with deep neural networks, and illustrate challenges and opportunities through established and emerging applications of deep learning to marine ecology. We use established and future looking case studies on plankton, fishes, marine mammals, pollution, and nutrient cycling that involve object detection, classification, tracking, and segmentation of visualized data. We conclude with a broad outlook of the field's opportunities and challenges, including potential technological advances and issues with managing complex data sets.


An innovative eye tracker. Main features and demonstrative tests. We present a set of results obtained with an innovative eye tracker based on magnetic dipole localization by means of an array of magnetoresistive sensors. The system tracks both head and eye movements with a high rate (100 200 Sa s) and in real time. A simple setup is arranged to simulate head and eye motions and to test the tracker performance under realistic conditions. Multimedia material is provided to substantiate and exemplify the results. A comparison with other available technologies for eye tracking is drawn, discussing advantages (e.g. precision) and disadvantages (e.g. invasivity) of the diverse approaches, the presented method standing out for low cost, robustness and relatively low invasivity.


Balance and pattern distribution of sequences derived from pseudorandom subsets of mathbb Z q . Let q be a positive integer and mathcal S left x 0,x 1, ldots,x T 1 right subseteq mathbb Z q 0,1, ldots,q 1 with 0 leq x 0 x 1 ldots x T 1 leq q 1. We derive from mathcal S three (finite) sequences. 1. For an integer M geq 2 let (s n) be the M ary sequence defined by begin eqnarray s n equiv x n 1 x n bmod M, qquad n 0,1, ldots, T 2. end eqnarray 2. For an integer m geq 2 let (t n) be the binary sequence defined by begin eqnarray t n left begin array ll 1, hbox if 1 leq x n 1 x n leq m 1, 0, hbox otherwise , end array right. qquad n 0,1, ldots, T 2. end eqnarray 3. Let (u n) be the characteristic sequence of mathcal S , begin eqnarray u n left begin array ll 1, hbox if n in mathcal S , 0, hbox otherwise , end array right. qquad n 0,1, ldots, q 1. end eqnarray We study the balance and pattern distribution of the sequences (s n) , (t n) and (u n) . For sets mathcal S with desirable pseudorandom properties, more precisely, sets with low correlation measures, we show the following 1. The sequence (s n) is (asymptotically) balanced and has uniform pattern distribution if T is of smaller order of magnitude than q . 2. The sequence (t n) is balanced and has uniform pattern distribution if T is approximately left(1 frac 1 2 1 (m 1) right)q . 3. The sequence (u n) is balanced and has uniform pattern distribution if T is approximately frac q 2 . These results are motivated by earlier results for the sets of quadratic residues and primitive roots modulo a prime. We unify these results and derive many further (asymptotically) balanced sequences with uniform pattern distribution from pseudorandom subsets.


PyCIL A Python Toolbox for Class Incremental Learning. Traditional machine learning systems are deployed under the closed world setting, which requires the entire training data before the offline training process. However, real world applications often face the incoming new classes, and a model should incorporate them continually. The learning paradigm is called Class Incremental Learning (CIL). We propose a Python toolbox that implements several key algorithms for class incremental learning to ease the burden of researchers in the machine learning community. The toolbox contains implementations of a number of founding works of CIL such as EWC and iCaRL, but also provides current state of the art algorithms that can be used for conducting novel fundamental research. This toolbox, named PyCIL for Python Class Incremental Learning, is available at https github.com G U N PyCIL


AttaNet Attention Augmented Network for Fast and Accurate Scene Parsing. Two factors have proven to be very important to the performance of semantic segmentation models global context and multi level semantics. However, generating features that capture both factors always leads to high computational complexity, which is problematic in real time scenarios. In this paper, we propose a new model, called Attention Augmented Network (AttaNet), to capture both global context and multilevel semantics while keeping the efficiency high. AttaNet consists of two primary modules Strip Attention Module (SAM) and Attention Fusion Module (AFM). Viewing that in challenging images with low segmentation accuracy, there are a significantly larger amount of vertical strip areas than horizontal ones, SAM utilizes a striping operation to reduce the complexity of encoding global context in the vertical direction drastically while keeping most of contextual information, compared to the non local approaches. Moreover, AFM follows a cross level aggregation strategy to limit the computation, and adopts an attention strategy to weight the importance of different levels of features at each pixel when fusing them, obtaining an efficient multi level representation. We have conducted extensive experiments on two semantic segmentation benchmarks, and our network achieves different levels of speed accuracy trade offs on Cityscapes, e.g., 71 FPS 79.9 mIoU, 130 FPS 78.5 mIoU, and 180 FPS 70.1 mIoU, and leading performance on ADE20K as well.


Sequential Late Fusion Technique for Multi modal Sentiment Analysis. Multi modal sentiment analysis plays an important role for providing better interactive experiences to users. Each modality in multi modal data can provide different viewpoints or reveal unique aspects of a user's emotional state. In this work, we use text, audio and visual modalities from MOSI dataset and we propose a novel fusion technique using a multi head attention LSTM network. Finally, we perform a classification task and evaluate its performance.


Personal Internet of Things (PIoT) What is it Exactly?. The use of Internet of Things (IoT) devices in homes and the immediate proximity of an individual communicates to create Personal IoT (PIoT) networks. The exploratory study of PIoT is in its infancy, which will explore the expansion of new use cases, service requirements, and the proliferation of PIoT devices. This article provides a big picture of PIoT architecture, vision, and future research scope.