Local trivializations of suspended minimal Cantor systems and the stable orbit breaking subalgebra. It is introduced an analogue of the orbit breaking subalgebra for the case of free flows on locally compact metric spaces, which has a natural approximate structure in terms of a fixed point and any nested sequence of central slices around this point. It is shown that in the case of minimal flows admitting a compact Cantor central slice, the resulting C algebra is the stabilization of the Putnam orbit breaking subalgebra associated to the induced homeomorphism on the central slice.


Investigation on the generalization of the Sampled Policy Gradient algorithm. The Sampled Policy Gradient (SPG) algorithm is a new offline actor critic variant that samples in the action space to approximate the policy gradient. It does so by using the critic to evaluate the sampled actions. SPG offers theoretical promise over similar algorithms such as DPG as it searches the action Q value space independently of the local gradient, enabling it to avoid local minima. This paper aims to compare SPG to two similar actor critic algorithms, CACLA and DPG. The comparison is made across two different environments, two different network architectures, as well as training on on policy transitions in contrast to using an experience buffer. Results seem to show that although SPG does often not perform the worst, it doesn't always match the performance of the best performing algorithm at a particular task. Further experiments are required to get a better estimate of the qualities of SPG.


Einstein doubly warped product manifolds with a semi symmetric metric connection. In this paper, we study the doubly warped product manifolds with semisymmetric metric connection. We derive the curvatures formulas for doubly warped product manifold with semi symmetric metric connection in terms of curvatures of components of doubly warped product manifolds. We also prove the necessary and sufficient condition for a doubly warped product manifold to be a warped product manifold. We obtain some results for Einstein doubly warped product manifold and Einstein like doubly warped product manifold of class A with respect to a semi symmetric metric connection.


Generalised pairs in birational geometry. In this note we introduce generalised pairs from the perspective of the evolution of the notion of space in birational algebraic geometry. We describe some applications of generalised pairs in recent years and then mention a few open problems.


An Introduction to Logical Relations. Logical relations (LR) have been around for many years, and today they are used in many formal results. However, it can be difficult to LR beginners to find a good place to start to learn. Papers often use highly specialized LRs that use the latest advances of the technique which makes it impossible to make a proper presentation within the page limit. This note is a good starting point for beginners that want to learn about LRs. Almost no prerequisite knowledge is assumed, and the note starts from the very basics. The note covers the following LRs for proving normalization and type safety of simply typed lambda calculus, relational substitutions for reasoning about universal and existential types, step indexing for reasoning about recursive types, and worlds for reasoning about references.


Comparability in the graph monoid. Let Gamma be the infinite cyclic group on a generator x. To avoid confusion when working with mathbb Z modules which also have an additional mathbb Z action, we consider the mathbb Z action to be a Gamma action instead. Starting from a directed graph E , one can define a cancellative commutative monoid M E Gamma with a Gamma action which agrees with the monoid structure and a natural order. The order and the action enable one to label each nonzero element as being exactly one of the following comparable (periodic or aperiodic) or incomparable. We comprehensively pair up these element features with the graph theoretic properties of the generators of the element. We also characterize graphs such that every element of M E Gamma is comparable, periodic, graphs such that every nonzero element of M E Gamma is aperiodic, incomparable, graphs such that no nonzero element of M E Gamma is periodic, and graphs such that no element of M E Gamma is aperiodic. The Graded Classification Conjecture can be formulated to state that M E Gamma is a complete invariant of the Leavitt path algebra L K(E) of E over a field K. Our characterizations indicate that the Graded Classification Conjecture may have a positive answer since the properties of E are well reflected by the structure of M E Gamma. Our work also implies that some results of R. Hazrat, H. Li, The talented monoid of a Leavitt path algebra, J. Algebra, 547 (2020) 430 455 hold without requiring the graph to be row finite.


Planar algebra presentations of text URep mathbb C ( mathbb C ) and text URep mathbb F p ( mathbb F p ) . We give presentations of the planar algebra of unipotent representations of the groups mathbb C and mathbb F p under addition using jellyfish and light leaf style arguments. These are some of the most natural examples of non semisimple planar algebras. For the characteristic p family of examples, a new generator appears in arbitrarily large box spaces as p increases. We point toward future directions in getting results on first and second fundamental theorems for rings of vector invariants, as well as generalization of the examples given.


D 2 IM Net Learning Detail Disentangled Implicit Fields from Single Images. We present the first single view 3D reconstruction network aimed at recovering geometric details from an input image which encompass both topological shape structures and surface features. Our key idea is to train the network to learn a detail disentangled reconstruction consisting of two functions, one implicit field representing the coarse 3D shape and the other capturing the details. Given an input image, our network, coined D 2 IM Net, encodes it into global and local features which are respectively fed into two decoders. The base decoder uses the global features to reconstruct a coarse implicit field, while the detail decoder reconstructs, from the local features, two displacement maps, defined over the front and back sides of the captured object. The final 3D reconstruction is a fusion between the base shape and the displacement maps, with three losses enforcing the recovery of coarse shape, overall structure, and surface details via a novel Laplacian term.


Temporal Consistency Objectives Regularize the Learning of Disentangled Representations. There has been an increasing focus in learning interpretable feature representations, particularly in applications such as medical image analysis that require explainability, whilst relying less on annotated data (since annotations can be tedious and costly). Here we build on recent innovations in style content representations to learn anatomy, imaging characteristics (appearance) and temporal correlations. By introducing a self supervised objective of predicting future cardiac phases we improve disentanglement. We propose a temporal transformer architecture that given an image conditioned on phase difference, it predicts a future frame. This forces the anatomical decomposition to be consistent with the temporal cardiac contraction in cine MRI and to have semantic meaning with less need for annotations. We demonstrate that using this regularization, we achieve competitive results and improve semi supervised segmentation, especially when very few labelled data are available. Specifically, we show Dice increase of up to 19 and 7 compared to supervised and semi supervised approaches respectively on the ACDC dataset. Code is available at https github.com gvalvano sdtnet .


Relevance Proximity Graphs for Fast Relevance Retrieval. In plenty of machine learning applications, the most relevant items for a particular query should be efficiently extracted, while the relevance function is based on a highly nonlinear model, e.g., DNNs or GBDTs. Due to the high computational complexity of such models, exhaustive search is infeasible even for medium scale problems. To address this issue, we introduce Relevance Proximity Graphs (RPG) an efficient non exhaustive approach that provides a high quality approximate solution for maximal relevance retrieval. Namely, we extend the recent similarity graphs framework to the setting, when there is no similarity measure defined on item pairs, which is a common practical use case. By design, our approach directly maximizes off the shelf relevance functions and does not require any proxy auxiliary models. Via extensive experiments, we show that the developed method provides excellent retrieval accuracy while requiring only a few model computations, outperforming indirect models. We open source our implementation as well as two large scale datasets to support further research on relevance retrieval.


How to define your dimension A discourse on Hausdorff dimension and self similarity. One often distinguishes between a line and a plane by saying that the former is one dimensional while the latter is two. But, what does it mean for an object to have d dimensions? Can we define a consistent notion of dimension rigorously for arbitrary objects, say a snowflake, perhaps? And must the dimension always be integer valued? After highlighting some crucial problems that one encounters while defining a sensible notion of dimension for a certain class of objects, we attempt to answer the above questions by exploring the concept of Hausdorff dimension a remarkable method of assigning dimension to subsets of arbitrary metric spaces. In order to properly formulate the definition and properties of the Hausdorff dimension, we review the critical measure theoretic terminology beforehand. Finally, we discuss the notion of self similarity and show how it often defies our quotidian intuition that dimension must always be integer valued.


g Factor of Lithiumlike Silicon New Challenge to Bound State QED. The recently established agreement between experiment and theory for the g factors of lithiumlike silicon and calcium ions manifests the most stringent test of the many electron bound state quantum electrodynamics (QED) effects in the presence of a magnetic field. In this Letter, we present a significant simultaneous improvement of both theoretical g text th 2.000 ,889 ,894 ,4 ,(34) and experimental g text exp 2.000 ,889 ,888 ,45 ,(14) values of the g factor of lithiumlike silicon 28 Si 11 . The theoretical precision now is limited by the many electron two loop contributions of the bound state QED. The experimental value is accurate enough to test these contributions on a few percent level.


Diagrammatic Construction of Representations of Small Quantum mathfrak sl 2 . We provide a combinatorial description of the monoidal category generated by the fundamental representation of the small quantum group of mathfrak sl 2 at a root of unity q of odd order. Our approach is diagrammatic, and it relies on an extension of the Temperley Lieb category specialized at delta q q 1 .


Mutual Reinforcement Learning. Recently, collaborative robots have begun to train humans to achieve complex tasks, and the mutual information exchange between them can lead to successful robot human collaborations. In this paper we demonstrate the application and effectiveness of a new approach called mutual reinforcement learning (MRL), where both humans and autonomous agents act as reinforcement learners in a skill transfer scenario over continuous communication and feedback. An autonomous agent initially acts as an instructor who can teach a novice human participant complex skills using the MRL strategy. While teaching skills in a physical (block building) ( n 34 ) or simulated (Tetris) environment ( n 31 ), the expert tries to identify appropriate reward channels preferred by each individual and adapts itself accordingly using an exploration exploitation strategy. These reward channel preferences can identify important behaviors of the human participants, because they may well exercise the same behaviors in similar situations later. In this way, skill transfer takes place between an expert system and a novice human operator. We divided the subject population into three groups and observed the skill transfer phenomenon, analyzing it with Simpson"s psychometric model. 5 point Likert scales were also used to identify the cognitive models of the human participants. We obtained a shared cognitive model which not only improves human cognition but enhances the robot's cognitive strategy to understand the mental model of its human partners while building a successful robot human collaborative framework.


Image Retrieval for Structure from Motion via Graph Convolutional Network. Conventional image retrieval techniques for Structure from Motion (SfM) suffer from the limit of effectively recognizing repetitive patterns and cannot guarantee to create just enough match pairs with high precision and high recall. In this paper, we present a novel retrieval method based on Graph Convolutional Network (GCN) to generate accurate pairwise matches without costly redundancy. We formulate image retrieval task as a node binary classification problem in graph data a node is marked as positive if it shares the scene overlaps with the query image. The key idea is that we find that the local context in feature space around a query image contains rich information about the matchable relation between this image and its neighbors. By constructing a subgraph surrounding the query image as input data, we adopt a learnable GCN to exploit whether nodes in the subgraph have overlapping regions with the query photograph. Experiments demonstrate that our method performs remarkably well on the challenging dataset of highly ambiguous and duplicated scenes. Besides, compared with state of the art matchable retrieval methods, the proposed approach significantly reduces useless attempted matches without sacrificing the accuracy and completeness of reconstruction.


Detecting Vietnamese Opinion Spam. Recently, Vietnamese Natural Language Processing has been researched by experts in academic and business. However, the existing papers have been focused only on information classification or extraction from documents. Nowadays, with quickly development of the e commerce websites, forums and social networks, the products, people, organizations or wonders are targeted of comments or reviews of the network communities. Many people often use that reviews to make their decision on something. Whereas, there are many people or organizations use the reviews to mislead readers. Therefore, it is so necessary to detect those bad behaviors in reviews. In this paper, we research this problem and propose an appropriate method for detecting Vietnamese reviews being spam or non spam. The accuracy of our method is up to 90 .


WOAD Weakly Supervised Online Action Detection in Untrimmed Videos. Online action detection in untrimmed videos aims to identify an action as it happens, which makes it very important for real time applications. Previous methods rely on tedious annotations of temporal action boundaries for training, which hinders the scalability of online action detection systems. We propose WOAD, a weakly supervised framework that can be trained using only video class labels. WOAD contains two jointly trained modules, i.e., temporal proposal generator (TPG) and online action recognizer (OAR). Supervised by video class labels, TPG works offline and targets at accurately mining pseudo frame level labels for OAR. With the supervisory signals from TPG, OAR learns to conduct action detection in an online fashion. Experimental results on THUMOS'14, ActivityNet1.2 and ActivityNet1.3 show that our weakly supervised method largely outperforms weakly supervised baselines and achieves comparable performance to the previous strongly supervised methods. Beyond that, WOAD is flexible to leverage strong supervision when it is available. When strongly supervised, our method obtains the state of the art results in the tasks of both online per frame action recognition and online detection of action start.


Polynomial valued constant hexagon cohomology. Hexagon relations are algebraic realizations of four dimensional Pachner moves. Constant' not depending on a 4 simplex in a triangulation of a 4 manifold hexagon relations are proposed, and their polynomial valued cohomology is constructed. This cohomology yields polynomial mappings defined on the so called coloring homology space', and these mappings can, in their turn, yield piecewise linear manifold invariants. These mappings are calculated explicitly for some examples. It is also shown that constant' hexagon relations can be obtained as a limit case of already known nonconstant' relations, and the way of taking the limit is not unique. This non uniqueness suggests the existence of an additional structure on the constant' coloring homology space.


3D BAT A Semi Automatic, Web based 3D Annotation Toolbox for Full Surround, Multi Modal Data Streams. In this paper, we focus on obtaining 2D and 3D labels, as well as track IDs for objects on the road with the help of a novel 3D Bounding Box Annotation Toolbox (3D BAT). Our open source, web based 3D BAT incorporates several smart features to improve usability and efficiency. For instance, this annotation toolbox supports semi automatic labeling of tracks using interpolation, which is vital for downstream tasks like tracking, motion planning and motion prediction. Moreover, annotations for all camera images are automatically obtained by projecting annotations from 3D space into the image domain. In addition to the raw image and point cloud feeds, a Masterview consisting of the top view (bird's eye view), side view and front views is made available to observe objects of interest from different perspectives. Comparisons of our method with other publicly available annotation tools reveal that 3D annotations can be obtained faster and more efficiently by using our toolbox.


Properties of the Center of Gravity as an Algorithm for Position Measurements. The center of gravity x g sum i E i x i sum i E i as an algorithm for position measurements is carefully analyzed. Many mathematical consequences of discretization are extracted. The origin of the systematic error of the algorithm is shown to be connected to the absence of band limits in the Fourier Transform of the signal distributions, which, owing to the intrinsic properties of the measuring devices, must have a finite supports. However, special signal distributions exist among the finite support functions which are free from the discretized error. In the presence of crosstalk, it is proved that some crosstalk spreads are able to eliminate the discretization error for any shape ( em ideal detector ). For all other cases, analytical expressions and prescriptions are given to correct the error and to efficiently simulate various experimental situations.


Scheduling on Hybrid Platforms Improved Approximability Window. Modern platforms are using accelerators in conjunction with standard processing units in order to reduce the running time of specific operations, such as matrix operations, and improve their performance. Scheduling on such hybrid platforms is a challenging problem since the algorithms used for the case of homogeneous resources do not adapt well. In this paper we consider the problem of scheduling a set of tasks subject to precedence constraints on hybrid platforms, composed of two types of processing units. We propose a (3 2 sqrt 2 ) approximation algorithm and a conditional lower bound of 3 on the approximation ratio. These results improve upon the 6 approximation algorithm proposed by Kedad Sidhoum et al. as well as the lower bound of 2 due to Svensson for identical machines. Our algorithm is inspired by the former one and distinguishes the allocation and the scheduling phases. However, we propose a different allocation procedure which, although is less efficient for the allocation sub problem, leads to an improved approximation ratio for the whole scheduling problem. This approximation ratio actually decreases when the number of processing units of each type is close and matches the conditional lower bound when they are equal.


Dual solutions Schr "odinger type for Poisson equation in dielectric and magnetic linear media. Solutions are obtained for the dual form of the Schr "odinger equation got from the transformation of Poisson equation for the vector and the scalar potential, in dielectric and magnetic materials, having into account homogeneous isotropic linear mechanisms. We study and apply these dual equation solutions in some specific potentials.


An Omnidirectional Aerial Manipulation Platform for Contact Based Inspection. This paper presents an omnidirectional aerial manipulation platform for robust and responsive interaction with unstructured environments, toward the goal of contact based inspection. The fully actuated tilt rotor aerial system is equipped with a rigidly mounted end effector, and is able to exert a 6 degree of freedom force and torque, decoupling the system's translational and rotational dynamics, and enabling precise interaction with the environment while maintaining stability. An impedance controller with selective apparent inertia is formulated to permit compliance in certain degrees of freedom while achieving precise trajectory tracking and disturbance rejection in others. Experiments demonstrate disturbance rejection, push and slide interaction, and on board state estimation with depth servoing to interact with local surfaces. The system is also validated as a tool for contact based non destructive testing of concrete infrastructure.


Optimization of Bathymetry for Long Waves with Small Amplitude. This paper deals with bathymetry oriented optimization in the case of long waves with small amplitude. Under these two assumptions, the free surface incompressible Navier Stokes system can be written as a wave equation where the bathymetry appears as a parameter in the spatial operator. Looking then for time harmonic fields and writing the bottom topography as a perturbation of a flat bottom, we end up with a heterogeneous Helmholtz equation with impedance boundary condition. In this way, we study some PDE constrained optimization problem for a Helmholtz equation in heterogeneous media whose coefficients are only bounded with bounded variation. We provide necessary condition for a general cost function to have at least one optimal solution. We also prove the convergence of a finite element approximation of the solution to the considered Helmholtz equation as well as the convergence of discrete optimum toward the continuous ones. We end this paper with some numerical experiments to illustrate the theoretical results and show that some of their assumptions could actually be removed.


Face Forgery Detection by 3D Decomposition. Detecting digital face manipulation has attracted extensive attention due to fake media's potential harms to the public. However, recent advances have been able to reduce the forgery signals to a low magnitude. Decomposition, which reversibly decomposes an image into several constituent elements, is a promising way to highlight the hidden forgery details. In this paper, we consider a face image as the production of the intervention of the underlying 3D geometry and the lighting environment, and decompose it in a computer graphics view. Specifically, by disentangling the face image into 3D shape, common texture, identity texture, ambient light, and direct light, we find the devil lies in the direct light and the identity texture. Based on this observation, we propose to utilize facial detail, which is the combination of direct light and identity texture, as the clue to detect the subtle forgery patterns. Besides, we highlight the manipulated region with a supervised attention mechanism and introduce a two stream structure to exploit both face image and facial detail together as a multi modality task. Extensive experiments indicate the effectiveness of the extra features extracted from the facial detail, and our method achieves the state of the art performance.


Identifying Multiple Interaction Events from Tactile Data during Robot Human Object Transfer. During a robot to human object handover task, several intended or unintended events may occur with the object it may be pulled, pushed, bumped or simply held by the human receiver. We show that it is possible to differentiate between these events solely via tactile sensors. Training data from tactile sensors were recorded during interaction of human subjects with the object held by a 3 finger robotic hand. A Bag of Words approach was used to automatically extract effective features from the tactile data. A Support Vector Machine was used to distinguish between the four events with over 95 percent average accuracy.


6D Pose Estimation with Correlation Fusion. 6D object pose estimation is widely applied in robotic tasks such as grasping and manipulation. Prior methods using RGB only images are vulnerable to heavy occlusion and poor illumination, so it is important to complement them with depth information. However, existing methods using RGB D data cannot adequately exploit consistent and complementary information between RGB and depth modalities. In this paper, we present a novel method to effectively consider the correlation within and across both modalities with attention mechanism to learn discriminative and compact multi modal features. Then, effective fusion strategies for intra and inter correlation modules are explored to ensure efficient information flow between RGB and depth. To our best knowledge, this is the first work to explore effective intra and inter modality fusion in 6D pose estimation. The experimental results show that our method can achieve the state of the art performance on LineMOD and YCB Video dataset. We also demonstrate that the proposed method can benefit a real world robot grasping task by providing accurate object pose estimation.


Flood severity mapping from Volunteered Geographic Information by interpreting water level from images containing people a case study of Hurricane Harvey. With increasing urbanization, in recent years there has been a growing interest and need in monitoring and analyzing urban flood events. Social media, as a new data source, can provide real time information for flood monitoring. The social media posts with locations are often referred to as Volunteered Geographic Information (VGI), which can reveal the spatial pattern of such events. Since more images are shared on social media than ever before, recent research focused on the extraction of flood related posts by analyzing images in addition to texts. Apart from merely classifying posts as flood relevant or not, more detailed information, e.g. the flood severity, can also be extracted based on image interpretation. However, it has been less tackled and has not yet been applied for flood severity mapping. In this paper, we propose a novel three step process to extract and map flood severity information. First, flood relevant images are retrieved with the help of pre trained convolutional neural networks as feature extractors. Second, the images containing people are further classified into four severity levels by observing the relationship between body parts and their partial inundation, i.e. images are classified according to the water level with respect to different body parts, namely ankle, knee, hip, and chest. Lastly, locations of the Tweets are used for generating a map of estimated flood extent and severity. This process was applied to an image dataset collected during Hurricane Harvey in 2017, as a proof of concept. The results show that VGI can be used as a supplement to remote sensing observations for flood extent mapping and is beneficial, especially for urban areas, where the infrastructure is often occluding water. Based on the extracted water level information, an integrated overview of flood severity can be provided for the early stages of emergency response.


LiteEval A Coarse to Fine Framework for Resource Efficient Video Recognition. This paper presents LiteEval, a simple yet effective coarse to fine framework for resource efficient video recognition, suitable for both online and offline scenarios. Exploiting decent yet computationally efficient features derived at a coarse scale with a lightweight CNN model, LiteEval dynamically decides on the fly whether to compute more powerful features for incoming video frames at a finer scale to obtain more details. This is achieved by a coarse LSTM and a fine LSTM operating cooperatively, as well as a conditional gating module to learn when to allocate more computation. Extensive experiments are conducted on two large scale video benchmarks, FCVID and ActivityNet, and the results demonstrate LiteEval requires substantially less computation while offering excellent classification accuracy for both online and offline predictions.


SERAD Soft Error Resilient Asynchronous Design using a Bundled Data Protocol. The risk of soft errors due to radiation continues to be a significant challenge for engineers trying to build systems that can handle harsh environments. Building systems that are Radiation Hardened by Design (RHBD) is the preferred approach, but existing techniques are expensive in terms of performance, power, and or area. This paper introduces a novel soft error resilient asynchronous bundled data design template, SERAD, which uses a combination of temporal and spatial redundancy to mitigate Single Event Transients (SETs) and upsets (SEUs). SERAD uses Error Detecting Logic (EDL) to detect SETs at the inputs of sequential elements and correct them via re sampling. Because SERAD only pays the delay penalty in the presence of an SET, which rarely occurs, its average performance is comparable to the baseline synchronous design. We tested the SERAD design using a combination of Spice and Verilog simulations and evaluated its impact on area, frequency, and power on an open core MIPS like processor using a NCSU 45nm cell library. Our post synthesis results show that the SERAD design consumes less than half of the area of the Triple Modular Redundancy (TMR), exhibits significantly less performance degradation than Glitch Filtering (GF), and consumes no more total power than the baseline unhardened design.


Optimal market making with persistent order flow. noindent We address the issue of market making on electronic markets when taking into account the clustering and long memory properties of market order flows. We consider a market model with one market maker and order flows driven by general Hawkes processes. We formulate the market maker's objective as a stochastic control problem. We characterize an optimal control by proving existence and uniqueness of a viscosity solution to the associated Hamilton Jacobi Bellman equation. Finally we propose a fully consistent numerical method allowing to implement this optimal strategy in practice.


Model Driven Synthesis for Programming Tutors. When giving automated feedback to a student working on a beginner's exercise, many programming tutors run into a completeness problem. On the one hand, we want a student to experiment freely. On the other hand, we want a student to write her program in such a way that we can provide constructive feedback. We propose to investigate how we can overcome this problem by using program synthesis, which we use to generate correct solutions that closely match a student program, and give feedback based on the results.


A Context Aware Approach for Generating Natural Language Attacks. We study an important task of attacking natural language processing models in a black box setting. We propose an attack strategy that crafts semantically similar adversarial examples on text classification and entailment tasks. Our proposed attack finds candidate words by considering the information of both the original word and its surrounding context. It jointly leverages masked language modelling and next sentence prediction for context understanding. In comparison to attacks proposed in prior literature, we are able to generate high quality adversarial examples that do significantly better both in terms of success rate and word perturbation percentage.


Face Anti Spoofing Via Disentangled Representation Learning. Face anti spoofing is crucial to security of face recognition systems. Previous approaches focus on developing discriminative models based on the features extracted from images, which may be still entangled between spoof patterns and real persons. In this paper, motivated by the disentangled representation learning, we propose a novel perspective of face anti spoofing that disentangles the liveness features and content features from images, and the liveness features is further used for classification. We also put forward a Convolutional Neural Network (CNN) architecture with the process of disentanglement and combination of low level and high level supervision to improve the generalization capabilities. We evaluate our method on public benchmark datasets and extensive experimental results demonstrate the effectiveness of our method against the state of the art competitors. Finally, we further visualize some results to help understand the effect and advantage of disentanglement.


Cooperation Aware Reinforcement Learning for Merging in Dense Traffic. Decision making in dense traffic can be challenging for autonomous vehicles. An autonomous system only relying on predefined road priorities and considering other drivers as moving objects will cause the vehicle to freeze and fail the maneuver. Human drivers leverage the cooperation of other drivers to avoid such deadlock situations and convince others to change their behavior. Decision making algorithms must reason about the interaction with other drivers and anticipate a broad range of driver behaviors. In this work, we present a reinforcement learning approach to learn how to interact with drivers with different cooperation levels. We enhanced the performance of traditional reinforcement learning algorithms by maintaining a belief over the level of cooperation of other drivers. We show that our agent successfully learns how to navigate a dense merging scenario with less deadlocks than with online planning methods.


Graph Computing based Fast Screening in Contingency Analysis. During last decades, contingency analysis has been facing challenges from significant load demand increase and high penetrations of intermittent renewable energy, fluctuant responsive loads and non linear power electronic interfaces. It requires an advanced approach for high performance contingency analysis as a safeguard of the power system operation. In this paper, a graph based method is employed for N 1 contingency analysis (CA) fast screening. At first, bi directional breadth first search (BFS) is proposed and adopted on graph model to detect the potential shedding component in contingency analysis. It implements hierarchical parallelism of the graph traverse and speedup its process. Then, the idea of evolving graph is introduced in this paper to improve computation performance. For each contingency scenario, N 1 contingency graph quickly derives from system graph in basic status, and parallelly analyzes each contingency scenario using graph computing. The efficiency and effectiveness of the proposed approach have been tested and verified by IEEE 118 bus system and a practical case SC 2645 bus system.


New non binary quantum codes from skew constacyclic codes over the ring mathbb F p m v mathbb F p m v 2 mathbb F p m . In this article, we construct new non binary quantum codes from skew constacyclic codes over finite commutative non chain ring mathcal R mathbb F p m v langle v 3 v rangle where p is an odd prime and m geq 1 . In order to obtain such quantum codes, first we study the structural properties of skew constacyclic codes and their Euclidean duals over the ring mathcal R . Then a necessary and sufficient condition for skew constacyclic codes over mathcal R to contain their Euclidean duals is established. Finally, with the help of CSS construction and using Gray map, many new non binary quantum codes are obtained over mathbb F p m .


Best of Both Worlds Ex Ante and Ex Post Fairness in Resource Allocation. We study the problem of allocating indivisible goods among agents with additive valuations. When randomization is allowed, it is possible to achieve compelling notions of fairness such as envy freeness, which states that no agent should prefer any other agent's allocation to her own. When allocations must be deterministic, achieving exact fairness is impossible but approximate notions such as envy freeness up to one good can be guaranteed. Our goal in this work is to achieve both simultaneously, by constructing a randomized allocation that is exactly fair ex ante and approximately fair ex post. The key question we address is whether ex ante envy freeness can be achieved in combination with ex post envy freeness up to one good. We settle this positively by designing an efficient algorithm that achieves both properties simultaneously. If we additionally require economic efficiency, we obtain an impossibility result. However, we show that economic efficiency and ex ante envy freeness can be simultaneously achieved if we slightly relax our ex post fairness guarantee. On our way, we characterize the well known Maximum Nash Welfare allocation rule in terms of a recently introduced fairness guarantee that applies to groups of agents, not just individuals.


Early Life Cycle Software Defect Prediction. Why? How?. Many researchers assume that, for software analytics, "more data is better." We write to show that, at least for learning defect predictors, this may not be true. To demonstrate this, we analyzed hundreds of popular GitHub projects. These projects ran for 84 months and contained 3,728 commits (median values). Across these projects, most of the defects occur very early in their life cycle. Hence, defect predictors learned from the first 150 commits and four months perform just as well as anything else. This means that, at least for the projects studied here, after the first few months, we need not continually update our defect prediction models. We hope these results inspire other researchers to adopt a "simplicity first" approach to their work. Some domains require a complex and data hungry analysis. But before assuming complexity, it is prudent to check the raw data looking for "short cuts" that can simplify the analysis.


Universal Urban Spreading Pattern of COVID 19 and Its Underlying Mechanism. Currently, the global situation of COVID 19 is aggravating, pressingly calling for efficient control and prevention measures. Understanding spreading pattern of COVID 19 has been widely recognized as a vital step for implementing non pharmaceutical measures. Previous studies investigated such an issue in large scale (e.g., inter country or inter state) scenarios while urban spreading pattern still remains an open issue. Here, we fill this gap by leveraging the trajectory data of 197,808 smartphone users (including 17,808 anonymous confirmed cases) in 9 cities in China. We find a universal spreading pattern in all cities the spatial distribution of confirmed cases follows a power law like model and the spreading centroid is time invariant. Moreover, we reveal that human mobility in a city drives the spatialtemporal spreading process long average travelling distance results in a high growth rate of spreading radius and wide spatial diffusion of confirmed cases. With such insight, we adopt Kendall model to simulate urban spreading of COVID 19 that can well fit the real spreading process. Our results unveil the underlying mechanism behind the spatial temporal urban evolution of COVID 19, and can be used to evaluate the performance of mobility restriction policies implemented by many governments and to estimate the evolving spreading situation of COVID 19.


First industrial grade coherent fiber link for optical frequency standard dissemination. We report on a fully bi directional 680 km fiber link connecting two cities for which the equipment, the set up and the characterization are managed for the first time by an industrial consortium. The link uses an active telecommunication fiber network with parallel data traffic and is equipped with three repeater laser stations and four remote double bi directional Erbium doped fiber amplifiers. We report a short term stability at 1 s integration time of 5.4 times 10 16 in 0.5 Hz bandwidth and a long term stability of 1.7 times10 20 at 65 ,000 s of integration time. The accuracy of the frequency transfer is evaluated as 3 times 10 20 . No shift is observed within the statistical uncertainty. We show a continuous operation over 5 days with an uptime of 99.93 . This performance is comparable with the state of the art coherent links established between National Metrology Institutes in Europe. It is a first step in the construction of an optical fiber network for metrology in France, which will give access to an ultra high performance frequency standard to a wide community of scientific users.


Integrals of functions containing parameters. This paper offers what seems at first to be a minor technical correction to the current practice of computing indefinite integrals, and introduces the idea of a "Kahanian constant of integration". However, the total impact of this minor correction is potentially large because the current practice is taught early at the university level and to very many students most of whom do not go on to become mathematics majors. Moreover, computer algebra systems have become widespread, including good free ones, some of which are available for smartphones. Most current computer algebra systems apply current textbook rules and amplify the effects of fundamental "minor" errors such as the error in continuity that we address in this article. So in practice, the correction we present is important.


Improving Cross Domain Performance for Relation Extraction via Dependency Prediction and Information Flow Control. Relation Extraction (RE) is one of the fundamental tasks in Information Extraction and Natural Language Processing. Dependency trees have been shown to be a very useful source of information for this task. The current deep learning models for relation extraction has mainly exploited this dependency information by guiding their computation along the structures of the dependency trees. One potential problem with this approach is it might prevent the models from capturing important context information beyond syntactic structures and cause the poor cross domain generalization. This paper introduces a novel method to use dependency trees in RE for deep learning models that jointly predicts dependency and semantics relations. We also propose a new mechanism to control the information flow in the model based on the input entity mentions. Our extensive experiments on benchmark datasets show that the proposed model outperforms the existing methods for RE significantly.


Asymptotic proximal point methods finding the global minima with linear convergence for a class of multiple minima problems. We propose and analyze asymptotic proximal point (APP) methods to find the global minimizer for a class of nonconvex, nonsmooth, or even discontinuous multiple minima functions. The method is based on an asymptotic representation of nonconvex proximal points so that it can find the global minimizer without being trapped in saddle points, local minima, or even discontinuities. Our main result shows that the method enjoys the global linear convergence for such a class of functions. Furthermore, the method is derivative free and its per iteration cost, i.e., the number of function evaluations, is also bounded, so it has a complexity bound mathcal O ( log frac 1 epsilon ) for finding a point such that the gap between this point and the global minimizer is less than epsilon 0 . Numerical experiments and comparisons in various dimensions from 2 to 500 demonstrate the benefits of the method.


Choice principles in local mantles. Assume ZFC. Let kappa be a cardinal. A kappa ground is a transitive proper class W modelling ZFC and such that V is a generic extension of W via a forcing mathbb P in W of cardinality kappa . The kappa mantle is the intersection of all kappa grounds. We prove that certain partial choice principles in the kappa mantle are the consequence of kappa being inaccessible weakly compact, and some other related facts.


NLNDE at CANTEMIST Neural Sequence Labeling and Parsing Approaches for Clinical Concept Extraction. The recognition and normalization of clinical information, such as tumor morphology mentions, is an important, but complex process consisting of multiple subtasks. In this paper, we describe our system for the CANTEMIST shared task, which is able to extract, normalize and rank ICD codes from Spanish electronic health records using neural sequence labeling and parsing approaches with context aware embeddings. Our best system achieves 85.3 F1, 76.7 F1, and 77.0 MAP for the three tasks, respectively.


RMWPaxos Fault Tolerant In Place Consensus Sequences. Building consensus sequences based on distributed, fault tolerant consensus, as used for replicated state machines, typically requires a separate distributed state for every new consensus instance. Allocating and maintaining this state causes significant overhead. In particular, freeing the distributed, outdated states in a fault tolerant way is not trivial and adds further complexity and cost to the system. In this paper, we propose an extension to the single decree Paxos protocol that can learn a sequence of consensus decisions 'in place', i.e. with a single set of distributed states. Our protocol does not require dynamic log structures and hence has no need for distributed log pruning, snapshotting, compaction, or dynamic resource allocation. The protocol builds a fault tolerant atomic register that supports arbitrary read modify write operations. We use the concept of consistent quorums to detect whether the previous consensus still needs to be consolidated or is already finished so that the next consensus value can be safely proposed. Reading a consolidated consensus is done without state modifications and is thereby free of concurrency control and demand for serialisation. A proposer that is not interrupted reaches agreement on consecutive consensus decisions within a single message round trip per decision by preparing the acceptors eagerly with the previous request.


Reversible Causal Nets and Reversible Event Structures. One of the well known results in concurrency theory concerns the relationship between event structures and occurrence nets an occurrence net can be associated with a prime event structure, and vice versa. More generally, the relationships between various forms of event structures and suitable forms of nets have been long established. Good examples are the close relationship between inhibitor event structures and inhibitor occurrence nets, or between asymmetric event structures and asymmetric occurrence nets. Several forms of event structures suited for the modelling of reversible computation have recently been developed also a method for reversing occurrence nets has been proposed. This paper bridges the gap between reversible event structures and reversible nets. We introduce the notion of reversible causal net, which is a generalisation of the notion of reversible unfolding. We show that reversible causal nets correspond precisely to a subclass of reversible prime event structures, the causal reversible prime event structures.


A Faster Cryptographer's Conspiracy Santa. In Conspiracy Santa, a variant of Secret Santa, a group of people offer each other Christmas gifts, where each member of the group receives a gift from the other members of the group. To that end, the members of the group form conspiracies, to decide on appropriate gifts, and usually divide the cost of each gift among all participants of that conspiracy. This requires to settle the shared expenses per conspiracy, so Conspiracy Santa can actually be seen as an aggregation of several shared expenses problems. First, we show that the problem of finding a minimal number of transaction when settling shared expenses is NP complete. Still, there exist good greedy approximations. Second, we present a greedy distributed secure solution to Conspiracy Santa. This solution allows a group of n people to share the expenses for the gifts in such a way that no participant learns the price of his gift, but at the same time notably reduces the number of transactions to 2 times n 1 with respect to a na "i ve aggregation of n times (n 2). Furthermore, our solution does not require a trusted third party, and can either be implemented physically (the participants are in the same room and exchange money using envelopes) or, over Internet, using a cryptocurrency.


Korneichuk Stechkin Lemma, Ostrowski and Landau inequalities, and optimal recovery problems for L space Valued Functions. We prove an analogue of the Korneichuk Stechkin lemma for functions with values in L spaces. As applications, we obtain sharp Ostrowski type inequalities and solve problems of optimal recovery of identity and convexifying operators, as well as the problem of integral recovery, on the classes of L space valued functions with given majorant of modulus of continuity. The recovery is done based on n mean values of the functions over some intervals. Moreover, on the classes of functions with given majorant of modulus of continuity of their Hukuhara type derivative, we solve the problem of optimal recovery of the function and the Hukuhara type derivative. The recovery is done based on n values of the function. We also obtain some sharp Landau type inequalities and solve an analogue of the Stechkin problem about approximation of unbounded operators by bounded ones and the problem of optimal recovery of an unbounded operator on a class of elements, known with error. Consideration of L space valued functions gives a unified approach to solution of the mentioned above extremal problems for the classes of multi and fuzzy valued functions as well as for the classes of functions with values in Banach spaces, in particular random processes, and many other classes of functions.


Harnessing Code Switching to Transcend the Linguistic Barrier. Code mixing (or code switching) is a common phenomenon observed in social media content generated by a linguistically diverse user base. Studies show that in the Indian sub continent, a substantial fraction of social media posts exhibit code switching. While the difficulties posed by code mixed documents to further downstream analyses are well understood, lending visibility to code mixed documents under certain scenarios may have utility that has been previously overlooked. For instance, a document written in a mixture of multiple languages can be partially accessible to a wider audience this could be particularly useful if a considerable fraction of the audience lacks fluency in one of the component languages. In this paper, we provide a systematic approach to sample code mixed documents leveraging a polyglot embedding based method that requires minimal supervision. In the context of the 2019 India Pakistan conflict triggered by the Pulwama terror attack, we demonstrate an untapped potential of harnessing code mixing for human well being starting from an existing hostility diffusing emph hope speech classifier solely trained on English documents, code mixed documents are utilized as a bridge to retrieve emph hope speech content written in a low resource but widely used language Romanized Hindi. Our proposed pipeline requires minimal supervision and holds promise in substantially reducing web moderation efforts.


This PIN Can Be Easily Guessed Analyzing the Security of Smartphone Unlock PINs. In this paper, we provide the first comprehensive study of user chosen 4 and 6 digit PINs (n 1220) collected on smartphones with participants being explicitly primed for device unlocking. We find that against a throttled attacker (with 10, 30, or 100 guesses, matching the smartphone unlock setting), using 6 digit PINs instead of 4 digit PINs provides little to no increase in security, and surprisingly may even decrease security. We also study the effects of blocklists, where a set of "easy to guess" PINs is disallowed during selection. Two such blocklists are in use today by iOS, for 4 digits (274 PINs) as well as 6 digits (2910 PINs). We extracted both blocklists compared them with four other blocklists, including a small 4 digit (27 PINs), a large 4 digit (2740 PINs), and two placebo blocklists for 4 and 6 digit PINs that always excluded the first choice PIN. We find that relatively small blocklists in use today by iOS offer little or no benefit against a throttled guessing attack. Security gains are only observed when the blocklists are much larger, which in turn comes at the cost of increased user frustration. Our analysis suggests that a blocklist at about 10 of the PIN space may provide the best balance between usability and security.


A new class of high order methods for multirate differential equations. This work focuses on the development of a new class of high order accurate methods for multirate time integration of systems of ordinary differential equations. The proposed methods are based on a specific subset of explicit one step exponential integrators. More precisely, starting from an explicit exponential Runge Kutta method of the appropriate form, we derive a multirate algorithm to approximate the action of the matrix exponential through the definition of modified "fast" initial value problems. These fast problems may be solved using any viable solver, enabling multirate simulations through use of a subcycled method. Due to this structure, we name these Multirate Exponential Runge Kutta (MERK) methods. In addition to showing how MERK methods may be derived, we provide rigorous convergence analysis, showing that for an overall method of order p , the fast problems corresponding to internal stages may be solved using a method of order p 1 , while the final fast problem corresponding to the time evolved solution must use a method of order p . Numerical simulations are then provided to demonstrate the convergence and efficiency of MERK methods with orders three through five on a series of multirate test problems.


Global well posedness of the 3D Navier Stokes equations perturbed by a deterministic vector field. We are concerned with the problem of global well posedness of the 3D Navier Stokes equations on the torus with unitary viscosity. While a full answer to this question seems to be out of reach of the current techniques, we establish a regularization by a deterministic vector field. More precisely, we consider the vorticity form of the system perturbed by an additional transport type term. Such a perturbation conserves the enstrophy and therefore a priori it does not imply any smoothing. Our main result is a construction of a deterministic vector field v v(t,x) which provides the desired regularization of the system and yields global well posedness for large initial data outside arbitrary small sets. The proof relies on probabilistic arguments developed by Flandoli and Luo, tools from rough path theory by Hofmanov 'a, Leahy and Nilssen and a new Wong Zakai approximation result, which itself combines probabilistic and rough path techniques.


Kinematics Guided Reinforcement Learning for Object Aware 3D Ego Pose Estimation. We propose a method for incorporating object interaction and human body dynamics into the task of 3D ego pose estimation using a head mounted camera. We use a kinematics model of the human body to represent the entire range of human motion, and a dynamics model of the body to interact with objects inside a physics simulator. By bringing together object modeling, kinematics modeling, and dynamics modeling in a reinforcement learning (RL) framework, we enable object aware 3D ego pose estimation. We devise several representational innovations through the design of the state and action space to incorporate 3D scene context and improve pose estimation quality. We also construct a fine tuning step to correct the drift and refine the estimated human object interaction. This is the first work to estimate a physically valid 3D full body interaction sequence with objects (e.g., chairs, boxes, obstacles) from egocentric videos. Experiments with both controlled and in the wild settings show that our method can successfully extract an object conditioned 3D ego pose sequence that is consistent with the laws of physics.


Trust Based Winnow Linear Multiplicative Classification For Secure Multipath Routing In Manet. Multipath routing in Mobile Ad Hoc Network (MANET) plays a significant concern for secured data transmission by avoiding the attack nodes in the network. In order to overcome such limitations, a Winnow Trust based Multipath Route Discovery (WT MRD) Mechanism is proposed. It constructs multiple paths from source to destination with higher security and lesser time. Initially, the trust value of each node is calculated based on the node cooperative count, data packet forwarding rate and packet drop rate by Neighbor Node based Trust Calculation (NN TC) Model. After calculating the trust value, the nodes are classified as normal or malicious by using Winnow Linear Multiplicative Classification (WLMC) Algorithm. With the help of normal nodes, the WT MRD Mechanism finds multipath from source to destination by sending a two control message RREQ and RREP. Source node transmits a route request RREQ to the neighboring node for constructing the multiple route paths. After receiving the RREQ message, the neighboring node maintains the route table where the source information and next hop information are present. Then Route Reply (RREP) messages are sent from neighboring node to source node. By this way, multiple route paths from source to destination are constructed with a higher security level. Keywords Cooperative Count, Data Packet Dropped Rate, Data Packet Forwarded Rate, Multipath Routing, Security, Trust Value, Winnow Linear Multiplicative Classification


Remarks on Gross' technique for obtaining a conformal Skorohod embedding of planar Brownian motion. In a recent work by Gross, it was proved that, given a distribution mu with zero mean and finite second moment, we can find a simply connected domain Omega such that if Z t is a standard planar BM, then mathcal R e(Z tau Omega ) has the distribution mu . In this note, we extend his method to prove that if mu has a finite L p moment then the exit time tau Omega has a finite moment of order frac p 2 .


A Taxonomy of Approaches for Integrating Attack Awareness in Applications. Software applications are subject to an increasing number of attacks, resulting in data breaches and financial damage. Many solutions have been considered to help mitigate these attacks, such as the integration of attack awareness techniques. In this paper, we propose a taxonomy illustrating how existing attack awareness techniques can be integrated into applications. This work provides a guide for security researchers and developers, aiding them when choosing the approach which best fits the needs of their application.


A note on large deviations for unbounded observables. We consider exponential large deviations estimates for unbounded observables on uniformly expanding dynamical systems. We show that uniform expansion does not imply the existence of a rate function for unbounded observables no matter the tail behavior of the cumulative distribution function. We give examples of unbounded observables with exponential decay of autocorrelations, exponential decay under the transfer operator in each L p , 1 le p infty , and strictly stretched exponential large deviation. For observables of form log d(x,p) alpha , p periodic, on uniformly expanding systems we give the precise stretched exponential decay rate. We also show that a classical example in the literature of a bounded observable with exponential decay of autocorrelations yet with no rate function is degenerate as the observable is a coboundary.


Experiments on Paraphrase Identification Using Quora Question Pairs Dataset. We modeled the Quora question pairs dataset to identify a similar question. The dataset that we use is provided by Quora. The task is a binary classification. We tried several methods and algorithms and different approach from previous works. For feature extraction, we used Bag of Words including Count Vectorizer, and Term Frequency Inverse Document Frequency with unigram for XGBoost and CatBoost. Furthermore, we also experimented with WordPiece tokenizer which improves the model performance significantly. We achieved up to 97 percent accuracy. Code and Dataset.


Global Regularity of weak solutions to the generalized Leray equations and its applications. We investigate a regularity for weak solutions of the following generalized Leray equations begin equation ( Delta) alpha V frac 2 alpha 1 2 alpha V V cdot nabla V frac 1 2 alpha x cdot nabla V nabla P 0, end equation which arises from the study of self similar solutions to the generalized Naiver Stokes equations in mathbb R 3 . Firstly, by making use of the vanishing viscosity and developing non local effects of the fractional diffusion operator, we prove uniform estimates for weak solutions V in the weighted Hilbert space H alpha omega ( mathbb R 3) . Via the differences characterization of Besov spaces and the bootstrap argument, we improve the regularity for weak solution from H alpha omega ( mathbb R 3) to H omega 1 alpha ( mathbb R 3) . This regularity result, together linear theory for the non local Stokes system, lead to pointwise estimates of V which allow us to obtain a natural pointwise property of the self similar solution constructed in cite LXZ . In particular, we obtain an optimal decay estimate of the self similar solution to the classical Naiver Stokes equations by means of the special structure of Oseen tensor. This answers the question proposed by Tsai cite Comm. Math. Phys., 328 (2014), 29 44 T .


Parting with Illusions about Deep Active Learning. Active learning aims to reduce the high labeling cost involved in training machine learning models on large datasets by efficiently labeling only the most informative samples. Recently, deep active learning has shown success on various tasks. However, the conventional evaluation scheme used for deep active learning is below par. Current methods disregard some apparent parallel work in the closely related fields. Active learning methods are quite sensitive w.r.t. changes in the training procedure like data augmentation. They improve by a large margin when integrated with semi supervised learning, but barely perform better than the random baseline. We re implement various latest active learning approaches for image classification and evaluate them under more realistic settings. We further validate our findings for semantic segmentation. Based on our observations, we realistically assess the current state of the field and propose a more suitable evaluation protocol.


Diversify and Match A Domain Adaptive Representation Learning Paradigm for Object Detection. We introduce a novel unsupervised domain adaptation approach for object detection. We aim to alleviate the imperfect translation problem of pixel level adaptations, and the source biased discriminativity problem of feature level adaptations simultaneously. Our approach is composed of two stages, i.e., Domain Diversification (DD) and Multi domain invariant Representation Learning (MRL). At the DD stage, we diversify the distribution of the labeled data by generating various distinctive shifted domains from the source domain. At the MRL stage, we apply adversarial learning with a multi domain discriminator to encourage feature to be indistinguishable among the domains. DD addresses the source biased discriminativity, while MRL mitigates the imperfect image translation. We construct a structured domain adaptation framework for our learning paradigm and introduce a practical way of DD for implementation. Our method outperforms the state of the art methods by a large margin of 3 11 in terms of mean average precision (mAP) on various datasets.


On Invariant Synthesis for Parametric Systems. We study possibilities for automated invariant generation in parametric systems. We use (a refinement of) an algorithm for symbol elimination in theory extensions to devise a method for iteratively strengthening certain classes of safety properties to obtain invariants of the system. We identify conditions under which the method is correct and complete, and situations in which the method is guaranteed to terminate. We illustrate the ideas on various examples.


Want to Gather? No Need to Chatter!. A team of mobile agents, starting from different nodes of an unknown network, possibly at different times, have to meet at the same node and declare that they have all met. Agents have different labels and move in synchronous rounds along links of the network. The above task is known as gathering and was traditionally considered under the assumption that when some agents are at the same node then they can talk. In this paper we ask the question of whether this ability of talking is needed for gathering. The answer turns out to be no. Our main contribution are two deterministic algorithms that always accomplish gathering in a much weaker model. We only assume that at any time an agent knows how many agents are at the node that it currently occupies but agents do not see the labels of other co located agents and cannot exchange any information with them. They also do not see other nodes than the current one. Our first algorithm works under the assumption that agents know a priori some upper bound N on the network size, and it works in time polynomial in N and in the length l of the smallest label. Our second algorithm does not assume any a priori knowledge about the network but its complexity is exponential in the network size and in the labels of agents. Its purpose is to show feasibility of gathering under this harsher scenario. As a by product of our techniques we obtain, in the same weak model, the solution of the fundamental problem of leader election among agents. As an application of our result we also solve, in the same model, the well known gossiping problem if each agent has a message at the beginning, we show how to make all messages known to all agents, even without any a priori knowledge about the network. If agents know an upper bound N on the network size then our gossiping algorithm works in time polynomial in N, in l and in the length of the largest message.


Background Subtraction using Adaptive Singular Value Decomposition. An important task when processing sensor data is to distinguish relevant from irrelevant data. This paper describes a method for an iterative singular value decomposition that maintains a model of the background via singular vectors spanning a subspace of the image space, thus providing a way to determine the amount of new information contained in an incoming frame. We update the singular vectors spanning the background space in a computationally efficient manner and provide the ability to perform block wise updates, leading to a fast and robust adaptive SVD computation. The effects of those two properties and the success of the overall method to perform a state of the art background subtraction are shown in both qualitative and quantitative evaluations.


Data Model, Collection and Evaluation Framework for Local Energy Systems. Distributed ledgers are a new type of database technology that allows open access to data stored across distributed, decentralised, publicly maintained infrastructures. Current implementations of the such ledgers expect competition between participants, are often energy hungry, poor in maintaining the natural structure of data and suffer from scalability constraints. The aim of my research work is to develop a distributed ledger based middleware for data modelling and collection on household energy generation and use, while addressing scalability and energy inefficiency concerns of the ledger for this particular application domain. The energy data collected and made available through this middleware will be used for digital energy service delivery (e.g., automated peer to peer energy trading, topological estimations, etc.). The middleware also provides a platform for a consumer focused digital energy service delivery, as well as service model evaluation. The model evaluation will enable the prospective service users to evaluate the suitability of the given service for their needs before making a decision of service subscription.


Hybrid Zero Dynamics Inspired Feedback Control Policy Design for 3D Bipedal Locomotion using Reinforcement Learning. This paper presents a novel model free reinforcement learning (RL) framework to design feedback control policies for 3D bipedal walking. Existing RL algorithms are often trained in an end to end manner or rely on prior knowledge of some reference joint trajectories. Different from these studies, we propose a novel policy structure that appropriately incorporates physical insights gained from the hybrid nature of the walking dynamics and the well established hybrid zero dynamics approach for 3D bipedal walking. As a result, the overall RL framework has several key advantages, including lightweight network structure, short training time, and less dependence on prior knowledge. We demonstrate the effectiveness of the proposed method on Cassie, a challenging 3D bipedal robot. The proposed solution produces stable limit walking cycles that can track various walking speed in different directions. Surprisingly, without specifically trained with disturbances to achieve robustness, it also performs robustly against various adversarial forces applied to the torso towards both the forward and the backward directions.


The Istanbul BFT Consensus Algorithm. This paper presents IBFT, a simple and elegant Byzantine fault tolerant consensus algorithm that is used to implement state machine replication in the emph Quorum blockchain. IBFT assumes a partially synchronous communication model, where safety does not depend on any timing assumptions and only liveness depends on periods of synchrony. The algorithm is deterministic, leader based, and optimally resilient tolerating f faulty processes out of n , where n geq 3f 1 . During periods of good communication, IBFT achieves termination in three message delays and has O(n 2) total communication complexity.


An ecological framework for the analysis of prebiotic chemical reaction networks and their dynamical behavior. It is becoming widely accepted that very early in the origin of life, even before the emergence of genetic encoding, reaction networks of diverse small chemicals might have manifested key properties of life, namely self propagation and adaptive evolution. To explore this possibility, we formalize the dynamics of chemical reaction networks within the framework of chemical ecosystem ecology. To capture the idea that life like chemical systems are maintained out of equilibrium by fluxes of energy rich food chemicals, we model chemical ecosystems in well mixed containers that are subject to constant dilution by a solution with a fixed concentration of food chemicals. Modelling all chemical reactions as fully reversible, we show that seeding an autocatalytic cycle (AC) with tiny amounts of one or more of its member chemicals results in logistic growth of all member chemicals in the cycle. This finding justifies drawing an instructive analogy between an AC and the population of a biological species. We extend this finding to show that pairs of ACs can show competitive, predator prey, or mutualistic associations just like biological species. Furthermore, when there is stochasticity in the environment, particularly in the seeding of ACs, chemical ecosystems can show complex dynamics that can resemble evolution. The evolutionary character is especially clear when the network architecture results in ecological precedence (survival of the first), which makes the path of succession historically contingent on the order in which cycles are seeded. For all its simplicity, the framework developed here is helpful for visualizing how autocatalysis in prebiotic chemical reaction networks can yield life like properties. Furthermore, chemical ecosystem ecology could provide a useful foundation for exploring the emergence of adaptive dynamics and the origins of polymer based genetic systems.


Lattice Equable Quadrilaterals I Parallelograms. This paper studies equable parallelograms whose vertices lie on the integer lattice. Using Rosenberger's Theorem on generalised Markov equations, we show that the g.c.d. of the side lengths of such parallelograms can only be 3, 4 or 5, and in each of these cases the set of parallelograms naturally forms an infinite tree all of whose vertices have degree 4, bar the root. The paper then focuses on what we call Pythagorean equable parallelograms. These are lattice equable parallelograms whose complement in a circumscribing rectangle consists of two Pythagorean triangles. We prove that for these parallelograms the shortest side can only be 3, 4, 5, 6 or 10, and there are five infinite families of such parallelograms, given by solutions to corresponding Pell like equations.


Performance of Multi Cell Massive MIMO Systems With Interference Decoding. We consider a multi cell massive MIMO system where a time division duplex protocol is used to estimate the channel state information via uplink pilots. When maximum ratio combining (MRC) is used at the BSs, the re use of pilots across cells causes the pilot contamination effect which yields interference components that do not vanish as the number of base station (BS) antennas M rightarrow infty . When treating interference as noise (TIN), this phenomenon limits the performance of multi cell massive MIMO systems. In this paper, we analyze more advanced schemes based on simultaneous unique decoding (SD) as well as simultaneous non unique decoding (SND) of the interference that can provide unbounded rate as M rightarrow infty . We also establish a worst case uncorrelated noise technique for multiple access channels to derive achievable rate expressions for finite M . Furthermore, we study a much simpler subset of SND (called S SND) which provides a lower bound to SND and achieves unbounded rate as M rightarrow infty , and also outperforms SD for finite M . For the special cases of two cell and three cell systems, using a maximum symmetric rate allocation policy we compare the performance of different interference decoding schemes with that of TIN. Finally, we numerically illustrate the improved performance of the proposed schemes.


Cores of Ariki Koike algebras. We study a natural generalization of the notion of cores for l partitions attached with a multi charge s in Z l the (e, s) cores. We rely them both to the combinatorics and the notion of weight defined by Fayers. Next we study applications in the context of the block theory for Ariki Koike algebras.


Robust Pose Invariant Shape and Texture based Hand Recognition. This paper presents a novel personal identification and verification system using information extracted from the hand shape and texture. The system has two major constituent modules a fully automatic and robust peg free segmentation and pose normalisation module, and a recognition module. In the first module, the hand is segmented from its background using a thresholding technique based on Otsu s method combined with a skin colour detector. A set of fully automatic algorithms are then proposed to segment the palm and fingers. In these algorithms, the skeleton and the contour of the hand and fingers are estimated and used to determine the global pose of the hand and the pose of each individual finger. Finally the palm and fingers are cropped, pose corrected and normalised. In the recognition module, various shape and texture based features are extracted and used for matching purposes. The modified Hausdorff distance, the Iterative Closest Point (ICP) and Independent Component Analysis (ICA) algorithms are used for shape and texture features of the fingers. For the palmprints, we use the Discrete Cosine Transform (DCT), directional line features and ICA. Recognition (identification and verification) tests were performed using fusion strategies based on the similarity scores of the fingers and the palm. Experimental results show that the proposed system exhibits a superior performance over existing systems with an accuracy of over 98 for hand identification and verification (at equal error rate) in a database of 560 different subjects.


A Methodology to Assess the Human Factors Associated with Lunar Teleoperated Assembly Tasks. Low latency telerobotics can enable more intricate surface tasks on extraterrestrial planetary bodies than has ever been attempted. For humanity to create a sustainable lunar presence, well developed collaboration between humans and robots is necessary to perform complex tasks. This paper presents a methodology to assess the human factors, situational awareness (SA) and cognitive load (CL), associated with teleoperated assembly tasks. Currently, telerobotic assembly on an extraterrestrial body has never been attempted, and a valid methodology to assess the associated human factors has not been developed. The Telerobotics Laboratory at the University of Colorado Boulder created the Telerobotic Simulation System (TSS) which enables remote operation of a rover and a robotic arm. The TSS was used in a laboratory experiment designed as an analog to a lunar mission. The operator's task was to assemble a radio interferometer. Each participant completed this task under two conditions, remote teleoperation (limited SA) and local operation (optimal SA). The goal of the experiment was to establish a methodology to accurately measure the operator's SA and CL while performing teleoperated assembly tasks. A successful methodology would yield results showing greater SA and lower CL while operating locally. Performance metrics showed greater SA and lower CL in the local environment, supported by a 27 increase in the mean time to completion of the assembly task when operating remotely. Subjective measurements of SA and CL did not align with the performance metrics. Results from this experiment will guide future work attempting to accurately quantify the human factors associated with telerobotic assembly. Once an accurate methodology has been developed, we will be able to measure how new variables affect an operator's SA and CL to optimize the efficiency and effectiveness of telerobotic assembly tasks.


Linearization of Nonlinear Fokker Planck Equations and Applications. We associate a coupled nonlinear Fokker Planck equation on R d , i.e. with solution paths in scr P , to a linear Fokker Planck equation for probability measures on the product space R d times scr P , i.e. with solution paths in scr P( R d times scr P) . We explicitly determine the corresponding linear Kolmogorov operator tilde mathbf L t using the natural tangent bundle over scr P with corresponding gradient operator nabla scr P . Then it is proved that the diffusion process generated by tilde mathbf L t on R d times scr P is intrinsically related to the solution of a McKean Vlasov stochastic differential equation (SDE). We also characterize the ergodicity of the diffusion process generated by tilde mathbf L t in terms of asymptotic properties of the coupled nonlinear Fokker Planck equation. Another main result of the paper is that the restricted well posedness of the non linear Fokker Planck equation and its linearized version imply the (restricted) well posedness of the McKean Vlasov equation and that in this case the laws of the solutions have the Markov property. All this is done under merely measurebility conditions on the coefficients in their measure dependence, hence in particular applies if the latter is of "Nemytskii type". As a consequence, we obtain the restricted weak well posedness and the Markov property of the so called nonlinear distorted Brownian motion, whose associated nonlinear Fokker Planck equation is a porous media equation perturbed by a nonlinear transport term. This realizes a programme put forward by McKean in his seminal paper of 1966 for a large class of nonlinear PDEs. As a further application we obtain a probabilistic representation of solutions to Schr "odinger type PDEs on R d times scr P 2 , through the Feynman Kac formula for the corresponding diffusion processes.


New Strongly Regular Graphs from Finite Geometries via Switching. We show that the strongly regular graph on non isotropic points of one type of the polar spaces of type U(n, 2) , O(n, 3) , O(n, 5) , O (n, 3) , and O (n, 3) are not determined by its parameters for n geq 6 . We prove this by using a variation of Godsil McKay switching recently described by Wang, Qiu, and Hu. This also results in a new, shorter proof of a previous result of the first author which showed that the collinearity graph of a polar space is not determined by its spectrum. The same switching gives a linear algebra explanation for the construction of a large number of non isomorphic designs.


Tropical complementarity problems and Nash equilibria. Linear complementarity programming is a generalization of linear programming which encompasses the computation of Nash equilibria for bimatrix games. While the latter problem is PPAD complete, we show that the tropical analogue of the complementarity problem associated with Nash equilibria can be solved in polynomial time. Moreover, we prove that the Lemke Howson algorithm carries over the tropical setting and performs a linear number of pivots in the worst case. A consequence of this result is a new class of (classical) bimatrix games for which Nash equilibria computation can be done in polynomial time.


Decoding pedestrian and automated vehicle interactions using immersive virtual reality and interpretable deep learning. To ensure pedestrian friendly streets in the era of automated vehicles, reassessment of current policies, practices, design, rules and regulations of urban areas is of importance. This study investigates pedestrian crossing behaviour, as an important element of urban dynamics that is expected to be affected by the presence of automated vehicles. For this purpose, an interpretable machine learning framework is proposed to explore factors affecting pedestrians' wait time before crossing mid block crosswalks in the presence of automated vehicles. To collect rich behavioural data, we developed a dynamic and immersive virtual reality experiment, with 180 participants from a heterogeneous population in 4 different locations in the Greater Toronto Area (GTA). Pedestrian wait time behaviour is then analyzed using a data driven Cox Proportional Hazards (CPH) model, in which the linear combination of the covariates is replaced by a flexible non linear deep neural network. The proposed model achieved a 5 improvement in goodness of fit, but more importantly, enabled us to incorporate a richer set of covariates. A game theoretic based interpretability method is used to understand the contribution of different covariates to the time pedestrians wait before crossing. Results show that the presence of automated vehicles on roads, wider lane widths, high density on roads, limited sight distance, and lack of walking habits are the main contributing factors to longer wait times. Our study suggested that, to move towards pedestrian friendly urban areas, national level educational programs for children, enhanced safety measures for seniors, promotion of active modes of transportation, and revised traffic rules and regulations should be considered.


Statistical Estimation of the Poincar 'e constant and Application to Sampling Multimodal Distributions. Poincar 'e inequalities are ubiquitous in probability and analysis and have various applications in statistics (concentration of measure, rate of convergence of Markov chains). The Poincar 'e constant, for which the inequality is tight, is related to the typical convergence rate of diffusions to their equilibrium measure. In this paper, we show both theoretically and experimentally that, given sufficiently many samples of a measure, we can estimate its Poincar 'e constant. As a by product of the estimation of the Poincar 'e constant, we derive an algorithm that captures a low dimensional representation of the data by finding directions which are difficult to sample. These directions are of crucial importance for sampling or in fields like molecular dynamics, where they are called reaction coordinates. Their knowledge can leverage, with a simple conditioning step, computational bottlenecks by using importance sampling techniques.


Positive Hankel operators, positive definite kernels and related topics. It is shown that a positive (bounded linear) operator on a Hilbert space with trivial kernel is unitarily equivalent to a Hankel operator that satisfies double positivity condition if and only if it is non invertible and has simple spectrum (that is, if this operator admits a cyclic vector). More generally, for an arbitrary positive (bounded linear) operator A on a Hilbert space H with trivial kernel the collection V(A) of all linear isometries V from H into H such that AV is positive as well is investigated. In particular, operators A such that V(A) contains a pure isometry with a given deficiency index are characterized. Some applications to unbounded positive self adjoint operators as well as to positive definite kernels are presented. In particular, positive definite matrix type square roots of such kernels are studied and kernels that have a unique such root are characterized. The class of all positive definite kernels that have at least one such a square root is also investigated.


VR Caps A Virtual Environment for Capsule Endoscopy. Current capsule endoscopes and next generation robotic capsules for diagnosis and treatment of gastrointestinal diseases are complex cyber physical platforms that must orchestrate complex software and hardware functions. The desired tasks for these systems include visual localization, depth estimation, 3D mapping, disease detection and segmentation, automated navigation, active control, path realization and optional therapeutic modules such as targeted drug delivery and biopsy sampling. Data driven algorithms promise to enable many advanced functionalities for capsule endoscopes, but real world data is challenging to obtain. Physically realistic simulations providing synthetic data have emerged as a solution to the development of data driven algorithms. In this work, we present a comprehensive simulation platform for capsule endoscopy operations and introduce VR Caps, a virtual active capsule environment that simulates a range of normal and abnormal tissue conditions (e.g., inflated, dry, wet etc.) and varied organ types, capsule endoscope designs (e.g., mono, stereo, dual and 360 deg camera), and the type, number, strength, and placement of internal and external magnetic sources that enable active locomotion. VR Caps makes it possible to both independently or jointly develop, optimize, and test medical imaging and analysis software for the current and next generation endoscopic capsule systems. To validate this approach, we train state of the art deep neural networks to accomplish various medical image analysis tasks using simulated data from VR Caps and evaluate the performance of these models on real medical data. Results demonstrate the usefulness and effectiveness of the proposed virtual platform in developing algorithms that quantify fractional coverage, camera trajectory, 3D map reconstruction, and disease classification.


Uniqueness of 1D Generalized Bi Schr "odinger Flow. We establish the uniqueness of a smooth generalized bi Schr "odinger flow from the one dimensional flat torus into a compact locally Hermitian symmetric space. The governing equation, which is satisfied by sections of the pull back bundle induced from the flow, is a fourth order nonlinear dispersive partial differential equation with loss of derivatives. To show the uniqueness, we adopt an extrinsic approach to compare two solutions via an isometric embedding into an ambient Euclidean space. We introduce an energy modifying the classical H 2 energy for the difference of two solutions, the detailed estimate of which enables us to eliminate the difficulty of the loss of derivatives. In particular, we demonstrate how to decide the form of the modification by exploiting the geometric structure of the locally Hermitian symmetric space.


Rayleigh Faber Krahn, Lyapunov and Hartmann Wintner inequalities for fractional elliptic problems. In this paper in the cylindrical domain we consider a fractional elliptic operator with Dirichlet conditions. We prove, that the first eigenvalue of the fractional elliptic operator is minimised in a circular cylinder among all cylindrical domains of the same Lebesgue measure. This inequality is called the Rayleigh Faber Krahn inequality. Also, we give Lyapunov and Hartmann Wintner inequalities for the fractional elliptic boundary value problem.


Meshless physics informed deep learning method for three dimensional solid mechanics. Deep learning and the collocation method are merged and used to solve partial differential equations describing structures' deformation. We have considered different types of materials linear elasticity, hyperelasticity (neo Hookean) with large deformation, and von Mises plasticity with isotropic and kinematic hardening. The performance of this deep collocation method (DCM) depends on the architecture of the neural network and the corresponding hyperparameters. The presented DCM is meshfree and avoids any spatial discretization, which is usually needed for the finite element method (FEM). We show that the DCM can capture the response qualitatively and quantitatively, without the need for any data generation using other numerical methods such as the FEM. Data generation usually is the main bottleneck in most data driven models. The deep learning model is trained to learn the model's parameters yielding accurate approximate solutions. Once the model is properly trained, solutions can be obtained almost instantly at any point in the domain, given its spatial coordinates. Therefore, the deep collocation method is potentially a promising standalone technique to solve partial differential equations involved in the deformation of materials and structural systems as well as other physical phenomena.


Words, Dyck paths, Trees, and Bijections. In cite BaDeFePi96 the concept of nondecreasing Dyck paths was introduced. We continue this research by looking at it from the point of view of words, rational languages, planted plane trees, and continued fractions. We construct a bijection with planted plane trees of height le 4 and compute various statistics on trees that are the equivalents of nondecreasing Dyck paths.


A proximal bundle variant with optimal iteration complexity for a large range of prox stepsizes. This paper presents a proximal bundle variant, namely, the relaxed proximal bundle (RPB) method, for solving convex nonsmooth composite optimization problems. Like other proximal bundle variants, RPB solves a sequence of prox bundle subproblems whose objective functions are regularized composite cutting plane models. Moreover, RPB uses a novel condition to decide whether to perform a serious or null iteration which does not necessarily yield a function value decrease. Optimal iteration complexity bounds for RPB are established for a large range of prox stepsizes, both in the convex and strongly convex settings. To the best of our knowledge, this is the first time that a proximal bundle variant is shown to be optimal for a large range of prox stepsizes. Finally, iteration complexity results for RPB to obtain iterates satisfying practical termination criteria, rather than near optimal solutions, are also derived.


Text and Style Conditioned GAN for Generation of Offline Handwriting Lines. This paper presents a GAN for generating images of handwritten lines conditioned on arbitrary text and latent style vectors. Unlike prior work, which produce stroke points or single word images, this model generates entire lines of offline handwriting. The model produces variable sized images by using style vectors to determine character widths. A generator network is trained with GAN and autoencoder techniques to learn style, and uses a pre trained handwriting recognition network to induce legibility. A study using human evaluators demonstrates that the model produces images that appear to be written by a human. After training, the encoder network can extract a style vector from an image, allowing images in a similar style to be generated, but with arbitrary text.


Airmed Efficient Self Healing Network of Low End Devices. The proliferation of application specific cyber physical systems coupled with the emergence of a variety of attacks on such systems (malware such as Mirai and Hajime) underlines the need to secure such networks. Most existing security efforts have focused on only detection of the presence of malware. However given the ability of most attacks to spread through the network once they infect a few devices, it is important to contain the spread of a virus and at the same time systematically cleanse the impacted nodes using the communication capabilities of the network. Toward this end, we present Airmed a method and system to not just detect corruption of the application software on a IoT node, but to self correct itself using its neighbors. Airmed's decentralized mechanisms prevent the spread of self propagating malware and can also be used as a technique for updating application code on such IoT devices. Among the novelties of Airmed are a novel bloom filter technique along with hardware support to identify position of the malware program from the benign application code, an adaptive self check for computational efficiency, and a uniform random backoff and stream signatures for secure and bandwidth efficient code exchange to correct corrupted devices. We assess the performance of Airmed, using the embedded systems security architecture of TrustLite in the OMNeT simulator. The results show that Airmed scales up to thousands of devices, ensures guaranteed update of the entire network, and can recover 95 of the nodes in 10 minutes in both internal and external propagation models. Moreover, we evaluate memory and communication costs and show that Airmed is efficient and incurs very low overhead.


Integrated intelligent Jaya Runge Kutta method for solving Falkner Skan equations for Various Wedge Angles. In this work, the hybrid intelligent computing method, which combines efficient Jaya algorithm with classical Runge Kutta method is applied to solve the Falkner Skan equations with various wedge angles, which is the fundamental equation for a variety of computational fluid mechanical problems. With some coordinate transformation, the Falkner Skan boundary layer problem is then converted into a free boundary problem defined on a finite interval. Then using higher order reduction strategies, the whole problem can be boiled down to a solving of coupled differential equations with prescribed initial and boundary conditions. The hybrid Jaya Runge Kutta method is found to yield stable and accurate results and able to extract those unknown parameters. The sensitivity of classical shooting method to the guess of initial values can be easily overcome by an integrated robust optimization method. In addition, the Jaya algorithm, without the need for tuning the algorithm specific parameters, is proved to be effective and stable for minimizing the fitness function in application. By comparing the solutions using the Jaya method with PSO (particle swarm optimization), Genetic algorithm (GA), Hyperband, and the classical analytical methods, the hybrid Jaya Runge Kutta method yields more stable and accurate results, which shows great potential for solving more complicated multi field and multiphase flow problems.


Schellekens' List and the Very Strange Formula. In 1993 Schellekens proved that the weight one space V 1 of a strongly rational, holomorphic vertex operator algebra V of central charge 24 must be one of 71 Lie algebras. During the following three decades, in a combined effort by many authors, it was proved that each of these Lie algebras is realised by such a vertex operator algebra and that, except for V 1 0 , this vertex operator algebra is uniquely determined by V 1 . In this paper we give a fundamentally different, simpler proof of Schellekens' list of 71 Lie algebras. Using the dimension formula in arXiv 1910.04947 and Kac's "very strange formula" we show that every strongly rational, holomorphic vertex operator algebra V of central charge 24 with V 1 neq 0 can be obtained by an orbifold construction from the Leech lattice vertex operator algebra V Lambda . This suffices to restrict the possible Lie algebras that can occur as weight one space of V to the 71 of Schellekens. Moreover, the fact that each strongly rational, holomorphic vertex operator algebra V of central charge 24 comes from the Leech lattice Lambda can be used to classify these vertex operator algebras by studying properties of the Leech lattice. We demonstrate this for 43 of the 70 non zero Lie algebras on Schellekens' list, omitting those cases that are too computationally expensive.