Investigation of the cellular response to bone fractures evidence for flexoelectricity. The recent discovery of bone flexoelectricity (electrical polarization induced by strain gradient) suggests that flexoelectricity could have physiological effects in bones, and specifically near bone fractures, where flexoelectricity is theoretically highest. Here, we report a cytological study of the interaction between crack stress and bone cells. We have cultured MC3T3 E1 mouse osteoblastic cells in biomimetic microcracked hydroxyapatite substrates, differentiated into osteocytes and applied a strain gradient to the samples. The results show a strong apoptotic cellular response, whereby mechanical stimulation causes those cells near the crack to die, as indicated by live dead and caspase staining. In addition, analysis two weeks after stimulation shows increased cell attachment and mineralization around microcracks and a higher expression of osteocalcin, an osteogenic protein known to be promoted by physical exercise. The results are consistent with flexoelectricity playing at least two different roles in bone remodelling apoptotic trigger of the repair protocol, and electrostimulant of the bone building activity of osteoblasts.


Filtered Batch Normalization. It is a common assumption that the activation of different layers in neural networks follow Gaussian distribution. This distribution can be transformed using normalization techniques, such as batch normalization, increasing convergence speed and improving accuracy. In this paper we would like to demonstrate, that activations do not necessarily follow Gaussian distribution in all layers. Neurons in deeper layers are more selective and specific which can result extremely large, out of distribution activations. We will demonstrate that one can create more consistent mean and variance values for batch normalization during training by filtering out these activations which can further improve convergence speed and yield higher validation accuracy.


Intersection Graph of Graded ideals. In this article we introduce and study the intersection graph of graded ideals of graded rings. The intersection graph of G graded ideals of a graded ring (R,G) is a simple graph, denoted by Gr G(R) , whose vertices are the nontrivial graded ideals and two ideals are adjacent if they are not trivially intersected. We study graphical properties for these graphs such as connectivity, regularity, completeness, domination numbers, and girth. These intersection graphs for faithful, strong, and first strong gradings are also discussed. In addition, we investigate intersection graphs of mathbb Z 2 graded idealization, and we deal with intersection graph of graded ideals when the grading group is an ordered groups.


Classification of vertex transitive digraphs via automorphism group. In the mid 1990s, two groups of authors independently obtained classifications of vertex transitive graphs whose order is a product of two distinct primes. In the intervening years it has become clear that there is additional information concerning these graphs that would be useful, as well as making explicit the extensions of these results to digraphs. Additionally, there are several small errors in some of the papers that were involved in this classification. The purpose of this paper is to fill in the missing information as well as correct all known errors.


Universal selection of pulled fronts. We establish selection of critical pulled fronts in invasion processes. Our result shows convergence to a pulled front with a logarithmic shift for open sets of steep initial data, including one sided compactly supported initial conditions. We rely on robust, conceptual assumptions, namely existence and marginal spectral stability of a front traveling at the linear spreading speed. We demonstrate that the assumptions hold for open classes of spatially extended systems. Previous results relied on comparison principles or probabilistic tools with implied non open conditions on initial data and structure of the equation. Technically, we describe the invasion process through the interaction of a Gaussian leading edge with the pulled front in the wake. Key ingredients are sharp linear decay estimates to control errors in the nonlinear matching and corrections from initial data.


Friction induced instability and vibration in a precision motion stage with a friction isolator. Motion stages are widely used for precision positioning in manufacturing and metrology applications. However, they suffer from nonlinear premotion (i.e. "static") friction, which adversely affects their speed and motion precision. In this article, a friction isolator is used as a simple and robust solution to mitigate the undesirable effects of premotion friction in precision motion stages. For the first time, a theoretical study is carried out to understand the dynamic phenomena associated with using a friction isolator on a motion stage. Theoretical analysis and numerical simulation are conducted to examine the dynamical effects of friction isolator on a proportional integral derivative controlled motion stage under LuGre friction dynamics. The influence of friction isolator on the response and stability of the system is examined through theoretical and numerical analyses. Parametric analysis is also carried out to study the effects of friction isolator and friction parameters on the eigenvalue and stability characteristics. The numerical results validate the theoretical findings and demonstrate several other interesting nonlinear phenomena associated with the introduction of friction isolator. This motivates deeper nonlinear dynamical analyses of friction isolator for precision motion control.


Robust Motion Segmentation from Pairwise Matches. In this paper we address a classification problem that has not been considered before, namely motion segmentation given pairwise matches only. Our contribution to this unexplored task is a novel formulation of motion segmentation as a two step process. First, motion segmentation is performed on image pairs independently. Secondly, we combine independent pairwise segmentation results in a robust way into the final globally consistent segmentation. Our approach is inspired by the success of averaging methods. We demonstrate in simulated as well as in real experiments that our method is very effective in reducing the errors in the pairwise motion segmentation and can cope with large number of mismatches.


On polynomials of binomial type, exponential integral and the inverse logarithmic derivative eigenproblem. In this work we continue to study the properties of polynomials of binomial type and their canonical continuations to the complex index by exploring the properties of transformation T 1 dlog which acts on formal power series f(x) of the form x x 2 mathbb C x .


Don't paraphrase, detect! Rapid and Effective Data Collection for Semantic Parsing. A major hurdle on the road to conversational interfaces is the difficulty in collecting data that maps language utterances to logical forms. One prominent approach for data collection has been to automatically generate pseudo language paired with logical forms, and paraphrase the pseudo language to natural language through crowdsourcing (Wang et al., 2015). However, this data collection procedure often leads to low performance on real data, due to a mismatch between the true distribution of examples and the distribution induced by the data collection procedure. In this paper, we thoroughly analyze two sources of mismatch in this process the mismatch in logical form distribution and the mismatch in language distribution between the true and induced distributions. We quantify the effects of these mismatches, and propose a new data collection approach that mitigates them. Assuming access to unlabeled utterances from the true distribution, we combine crowdsourcing with a paraphrase model to detect correct logical forms for the unlabeled utterances. On two datasets, our method leads to 70.6 accuracy on average on the true distribution, compared to 51.3 in paraphrasing based data collection.


A Virucidal Face Mask Based on the Reverse flow Reactor Concept for Thermal Inactivation of SARS CoV 2. While facial coverings over the nose and mouth reduce the spread of the virus SARS CoV 2 by filtration, masks capable of viral inactivation by heating could provide a complementary method to limit viral transmission. In this work, we introduce a new virucidal face mask concept based on a reverse flow reactor driven by the oscillatory flow of human breath. The governing heat and mass transport equation are formulated and solved to analyze designs that evaluate both viral and CO2 transport during inhalation and exhalation. Given limits imposed by the volume and frequency of human breath, the kinetics of SARS CoV 2 thermal inactivation, and human safety and comfort, heated masks may inactivate SARS CoV 2 in inflow and outflow to medical grade sterility. We detail one particular design, with a volume of 300 mL at 90 circ C, that achieves a 3 log reduction in viral load with minimal viral impedance within the mask mesh, with partition coefficient around 2. This study is the first quantitative analysis of virucidal thermal inactivation within a protective face mask and addresses a pressing need for new approaches for personal protective equipment during a global pandemic.


Traveling wave solutions in a model for social outbursts in a tension inhibitive regime. In this work we investigate the existence of non monotone traveling wave solutions to a reaction diffusion system modeling social outbursts, such as rioting activity, originally proposed in arXiv 1502.04725v3. The model consists of two scalar values, the level of unrest u and a tension field v . A key component of the model is a bandwagon effect in the unrest, provided the tension is sufficiently high. We focus on the so called tension inhibitive regime, characterized by the fact that the level of unrest has a negative feedback on the tension. This regime has been shown to be physically relevant for the spatiotemporal spread of the 2005 French riots. We use Geometric Singular Perturbation Theory to study the existence of such solutions in two situations. The first is when both u and v diffuse at a very small rate. Here, the time scale over which the bandwagon effect is observed plays a key role. The second case we consider is when the tension diffuses at a much slower rate than the level of unrest. In this case, we are able to deduce that the driving dynamics are modeled by the well known Fisher KPP equation.


Incomplete Utterance Rewriting as Semantic Segmentation. Recent years the task of incomplete utterance rewriting has raised a large attention. Previous works usually shape it as a machine translation task and employ sequence to sequence based architecture with copy mechanism. In this paper, we present a novel and extensive approach, which formulates it as a semantic segmentation task. Instead of generating from scratch, such a formulation introduces edit operations and shapes the problem as prediction of a word level edit matrix. Benefiting from being able to capture both local and global information, our approach achieves state of the art performance on several public datasets. Furthermore, our approach is four times faster than the standard approach in inference.


A family of mixed finite elements for the biharmonic equations on triangular and tetrahedral grids. This paper introduces a new family of mixed finite elements for solving a mixed formulation of the biharmonic equations in two and three dimensions. The symmetric stress bm sigma nabla 2 u is sought in the Sobolev space H( rm div bm div , Omega mathbb S ) simultaneously with the displacement u in L 2 ( Omega) . Stemming from the structure of H( bm div , Omega mathbb S ) conforming elements for the linear elasticity problems proposed by J. Hu and S. Zhang, the H( rm div bm div , Omega mathbb S ) conforming finite element spaces are constructed by imposing the normal continuity of bm div bm sigma on the H( bm div , Omega mathbb S ) conforming spaces of P k symmetric tensors. The inheritance makes the basis functions easy to compute. The discrete spaces for u are composed of the piecewise P k 2 polynomials without requiring any continuity. Such mixed finite elements are inf sup stable on both triangular and tetrahedral grids for k geq 3 , and the optimal order of convergence is achieved. Besides, the superconvergence and the postprocessing results are displayed. Some numerical experiments are provided to demonstrate the theoretical analysis.


Historical Context and Key Features of Digital Money Tokens. Digital money tokens have attracted the attention of financial institutions, central banks, regulators, international associations and fintechs. Their research and experimentation with digital money tokens has included creating innovative technical and operational frameworks. In this paper, we present a 'money tree' which places this recent concept of digital money tokens into a historical context by illustrating their evolution from more traditional forms of money. We then identify key features of digital money tokens with options and examples. We hope this paper will be of interest to the financial services industry and we look forward to feedback.


Dual Gaussian based Variational Subspace Disentanglement for Visible Infrared Person Re Identification. Visible infrared person re identification (VI ReID) is a challenging and essential task in night time intelligent surveillance systems. Except for the intra modality variance that RGB RGB person re identification mainly overcomes, VI ReID suffers from additional inter modality variance caused by the inherent heterogeneous gap. To solve the problem, we present a carefully designed dual Gaussian based variational auto encoder (DG VAE), which disentangles an identity discriminable and an identity ambiguous cross modality feature subspace, following a mixture of Gaussians (MoG) prior and a standard Gaussian distribution prior, respectively. Disentangling cross modality identity discriminable features leads to more robust retrieval for VI ReID. To achieve efficient optimization like conventional VAE, we theoretically derive two variational inference terms for the MoG prior under the supervised setting, which not only restricts the identity discriminable subspace so that the model explicitly handles the cross modality intra identity variance, but also enables the MoG distribution to avoid posterior collapse. Furthermore, we propose a triplet swap reconstruction (TSR) strategy to promote the above disentangling process. Extensive experiments demonstrate that our method outperforms state of the art methods on two VI ReID datasets.


The hypermultiple gamma functions of BM type. In this paper, we introduce the hypermultiple gamma functions of BM type and prove the asymptotic expansion of these functions.


A Fast Algorithm for Online k servers Problem on Trees. We consider online algorithms for the k server problem on trees. There is a k competitive algorithm for this problem, and it is the best competitive ratio. M. Chrobak and L. Larmore provided it. At the same time, the existing implementation has O(n) time complexity for processing a query and O(n) for prepossessing, where n is the number of nodes in a tree. Another implementation of the algorithm has O(k 2 k log n) time complexity for processing a query and O(n log n) for prepossessing. We provide a new time efficient implementation of the algorithm. It has O(n) time complexity for preprocessing and O left(k( log n) 2 right) for processing a query.


Super Nyquist Rateless Coding for Intersymbol Interference Channels. A rateless transmission architecture is developed for communication over Gaussian intersymbol interference channels, based on the concept of super Nyquist (SNQ) signaling. In such systems, the signaling rate is chosen significantly higher than the Nyquist rate of the system. We show that such signaling, when used in conjunction with good "off the shelf" base codes, simple linear redundancy, and minimum mean square error decision feedback equalization, results in capacity approaching, low complexity rateless codes for the time varying intersymbol interference channel. Constructions for both single input single output (SISO) and multi input multi output (MIMO) ISI channels are developed.


Social Interactions or Business Transactions? What customer reviews disclose about Airbnb marketplace. Airbnb is one of the most successful examples of sharing economy marketplaces. With rapid and global market penetration, understanding its attractiveness and evolving growth opportunities is key to plan business decision making. There is an ongoing debate, for example, about whether Airbnb is a hospitality service that fosters social exchanges between hosts and guests, as the sharing economy manifesto originally stated, or whether it is (or is evolving into being) a purely business transaction platform, the way hotels have traditionally operated. To answer these questions, we propose a novel market analysis approach that exploits customers' reviews. Key to the approach is a method that combines thematic analysis and machine learning to inductively develop a custom dictionary for guests' reviews. Based on this dictionary, we then use quantitative linguistic analysis on a corpus of 3.2 million reviews collected in 6 different cities, and illustrate how to answer a variety of market research questions, at fine levels of temporal, thematic, user and spatial granularity, such as (i) how the business vs social dichotomy is evolving over the years, (ii) what exact words within such top level categories are evolving, (iii) whether such trends vary across different user segments and (iv) in different neighbourhoods.


Cross Cultural Similarity Features for Cross Lingual Transfer Learning of Pragmatically Motivated Tasks. Much work in cross lingual transfer learning explored how to select better transfer languages for multilingual tasks, primarily focusing on typological and genealogical similarities between languages. We hypothesize that these measures of linguistic proximity are not enough when working with pragmatically motivated tasks, such as sentiment analysis. As an alternative, we introduce three linguistic features that capture cross cultural similarities that manifest in linguistic patterns and quantify distinct aspects of language pragmatics language context level, figurative language, and the lexification of emotion concepts. Our analyses show that the proposed pragmatic features do capture cross cultural similarities and align well with existing work in sociolinguistics and linguistic anthropology. We further corroborate the effectiveness of pragmatically driven transfer in the downstream task of choosing transfer languages for cross lingual sentiment analysis.


The block mutual coherence property condition for signal recovery. Compressed sensing shows that a sparse signal can stably be recovered from incomplete linear measurements. But, in practical applications, some signals have additional structure, where the nonzero elements arise in some blocks. We call such signals as block sparse signals. In this paper, the ell 2 ell 1 alpha ell 2 minimization method for the stable recovery of block sparse signals is investigated. Sufficient conditions based on block mutual coherence property and associating upper bound estimations of error are established to ensure that block sparse signals can be stably recovered in the presence of noise via the ell 2 ell 1 alpha ell 2 minimization method. For all we know, it is the first block mutual coherence property condition of stably reconstructing block sparse signals by the ell 2 ell 1 alpha ell 2 minimization method. Additionally, the numerical experiments implemented verify the performance of the ell 2 ell 1 alpha ell 2 minimization.


Github Data Exposure and Accessing Blocked Data using the GraphQL Security Design Flaw. This research study was conducted to illustrate how it is easily possible to get data access to disabled or blocked repositories in Github using GraphQL. There are situations in which you can lose access to your Github repositories When you use the paid version of Github services and do not pay the monthly payment or another situation is that when you use Github from the countries in the United States sanction list. Having an insecure repository with malicious usages can also put your repository in Github blacklist. In all of these situations, Github will block and disable your repository and you will lose access to your files, codes and project assets. Here, we will discuss the procedure of how an Ethical Hacker can gain access to all those blocked data with GraphQL functionality.


Photo Geometric Autoencoding to Learn 3D Objects from Unlabelled Images. We show that generative models can be used to capture visual geometry constraints statistically. We use this fact to infer the 3D shape of object categories from raw single view images. Differently from prior work, we use no external supervision, nor do we use multiple views or videos of the objects. We achieve this by a simple reconstruction task, exploiting the symmetry of the objects' shape and albedo. Specifically, given a single image of the object seen from an arbitrary viewpoint, our model predicts a symmetric canonical view, the corresponding 3D shape and a viewpoint transformation, and trains with the goal of reconstructing the input view, resembling an auto encoder. Our experiments show that this method can recover the 3D shape of human faces, cat faces, and cars from single view images, without supervision. On benchmarks, we demonstrate superior accuracy compared to other methods that use supervision at the level of 2D image correspondences.


On isotypic decompositions for non semisimple Hopf algebras. In this paper we study the isotypic decomposition of the regular module of a finite dimensional Hopf algebra over an algebraically closed field of characteristic zero. For a semisimple Hopf algebra, the idempotents realizing the isotypic decomposition can be explicitly expressed in terms of characters and the Haar integral. In this paper we investigate Hopf algebras with the Chevalley property, which are not necessarily semisimple. We find explicit expressions for idempotents in terms of Hopf algebraic data, where the Haar integral is replaced by the regular character of the dual Hopf algebra. For a large class of Hopf algebras, these are shown to form a complete set of orthogonal idempotents. We give an example which illustrates that the Chevalley property is crucial.


Resistance Scaling on 4N Carpets. The 4N carpets are a class of infinitely ramified self similar fractals with a large group of symmetries. For a 4N carpet F , let F n n geq 0 be the natural decreasing sequence of compact pre fractal approximations with cap nF n F . On each F n , let mathcal E (u, v) int F N nabla u cdot nabla v , dx be the classical Dirichlet form and u n be the unique harmonic function on F n satisfying a mixed boundary value problem corresponding to assigning a constant potential between two specific subsets of the boundary. Using a method introduced by Barlow and Bass (1990), we prove a resistance estimate of the following form there is rho rho(N) 1 such that mathcal E (u n, u n) rho n is bounded above and below by positive constants independent of n . Such estimates have implications for the existence and scaling properties of Dirichlet forms on F .


Ascent Properties for Test Modules. We investigate modules for which vanishing of Tor modules implies finiteness of homological dimensions (e.g., projective dimension and G dimension). In particular, we answer a question of O. Celikbas and Sather Wagstaff about ascent properties of such modules over residually algebraic flat local ring homomorphisms. To accomplish this, we consider ascent and descent properties over local ring homomorphisms of finite flat dimension, and for flat extensions of finite dimensional differential graded algebras.


Numerical Analysis of Backward Subdiffusion Problems. The aim of this paper is to develop and analyze numerical schemes for approximately solving the backward problem of subdiffusion equation involving a fractional derivative in time with order alpha in(0,1) . After using quasi boundary value method to regularize the "mildly" ill posed problem, we propose a fully discrete scheme by applying finite element method (FEM) in space and convolution quadrature (CQ) in time. We provide a thorough error analysis of the resulting discrete system in both cases of smooth and nonsmooth data. The analysis relies heavily on smoothing properties of (discrete) solution operators, and nonstandard error estimate for the direct problem in terms of problem data regularity. The theoretical results are useful to balance discretization parameters, regularization parameter and noise level. Numerical examples are presented to illustrate the theoretical results.


Successive Projection for Solving Systems of Nonlinear Equations Inequalities. Solving large scale systems of nonlinear equations inequalities is a fundamental problem in computing and optimization. In this paper, we propose a generic successive projection (SP) framework for this problem. The SP sequentially projects the current iterate onto the constraint set corresponding to each nonlinear (in)equality. It extends von Neumann's alternating projection for finding a point in the intersection of two linear subspaces, Bregman's method for finding a common point of convex sets and the Kaczmarz method for solving systems of linear equations to the more general case of multiple nonlinear and nonconvex sets. The existing convergence analyses on randomized Kaczmarz are merely applicable to linear case. There are no theoretical convergence results of the SP for solving nonlinear equations. This paper presents the first proof that the SP locally converges to a solution of nonlinear equations inequalities at a linear rate. Our work establishes the convergence theory of the SP for the case of multiple nonlinear and nonconvex sets. Besides cyclic and randomized projections, we devise two new greedy projection approaches that significantly accelerate the convergence. Furthermore, the theoretical bounds of the convergence rates are derived. We reveal that the convergence rates are related to the Hoffman constants of the Jacobian matrix of the nonlinear functions at the solution. Applying the SP to solve the graph realization problem, which attracts much attention in theoretical computer science, is discussed.


Tame and strongly 'etale cohomology of curves. For a curve C over a perfect field k of characteristic p 0 we study the tame cohomology of X textit Spa (C,k) introduced in arXiv 1801.04776. We prove that the tame cohomology groups of X with p torsion coefficients satisfy cohomological purity (which is not true in full generality for the 'etale cohomology). Using purity we show Poincar 'e duality for the tame cohomology of X with p torsion coefficients.


Constructive asymptotic bounds of locally repairable codes via function fields. Locally repairable codes have been investigated extensively in recent years due to practical applications in distributed and cloud storage systems. However, there are few asymptotical constructions of locally repairable codes in the literature. In this paper, we provide an explicit asymptotic construction of locally repairable codes over arbitrary finite fields from local expansions of functions at a rational place. This construction gives a Tsfasman Vladut Zink type bound for locally repairable codes. Its main advantage is that there are no constraints on both locality and alphabet size. Furthermore, we show that the Gilbert Varshamov type bound on locally repairable codes over non prime finite fields can be exceeded for sufficiently large alphabet size.


A note on universal operators between separable Banach spaces. We compare two types of universal operators constructed relatively recently by Cabello S 'anchez, and the authors. The first operator Omega acts on the Gurarii space, while the second one P S has values in a fixed separable Banach space S . We show that if S is the Gurarii space, then both operators are isometric. We also prove that, for a fixed space S , the operator P S is isometrically unique. Finally, we show that Omega is generic in the sense of a natural infinite game.


Bayesian Optimized Event Based Epidemic Modeling in India. Pandemic outbreak creates a life threatening situation around the world and for a while it feels as if it slows down the world. A lot of effort is being taken to mitigate the spread of the pandemics. The main objective of this paper is to build a mathematical model of the pandemic spread in India based on the mass gathering using distribution functions and Bayesian approach. Subsequently modeled the pandemic spread based on the flights arrived in India using generalized linear regression. We validated the effect of these events in the number of confirmed cases in India and formulated the number of confirmed cases in the positive sense. Subsequently, studied the progression of the infective using progression series and flattened the curve using an appropriate convergence criterion. We validated the theoretical aspects with the statistics released by the Government.


Coursera Corpus Mining and Multistage Fine Tuning for Improving Lectures Translation. Lectures translation is a case of spoken language translation and there is a lack of publicly available parallel corpora for this purpose. To address this, we examine a language independent framework for parallel corpus mining which is a quick and effective way to mine a parallel corpus from publicly available lectures at Coursera. Our approach determines sentence alignments, relying on machine translation and cosine similarity over continuous space sentence representations. We also show how to use the resulting corpora in a multistage fine tuning based domain adaptation for high quality lectures translation. For Japanese English lectures translation, we extracted parallel data of approximately 40,000 lines and created development and test sets through manual filtering for benchmarking translation performance. We demonstrate that the mined corpus greatly enhances the quality of translation when used in conjunction with out of domain parallel corpora via multistage training. This paper also suggests some guidelines to gather and clean corpora, mine parallel sentences, address noise in the mined data, and create high quality evaluation splits. For the sake of reproducibility, we will release our code for parallel data creation.


Representation Decomposition for Image Manipulation and Beyond. Representation disentanglement aims at learning interpretable features, so that the output can be recovered or manipulated accordingly. While existing works like infoGAN and AC GAN exist, they choose to derive disjoint attribute code for feature disentanglement, which is not applicable for existing trained generative models. In this paper, we propose a decomposition GAN (dec GAN), which is able to achieve the decomposition of an existing latent representation into content and attribute features. Guided by the classifier pre trained on the attributes of interest, our dec GAN decomposes the attributes of interest from the latent representation, while data recovery and feature consistency objectives enforce the learning of our proposed method. Our experiments on multiple image datasets confirm the effectiveness and robustness of our dec GAN over recent representation disentanglement models.


Almost inner derivations of Lie algebras II. We continue the algebraic study of almost inner derivations of Lie algebras over a field of characteristic zero and determine these derivations for free nilpotent Lie algebras, for almost abelian Lie algebras, for Lie algebras whose solvable radical is abelian and for several classes of filiform nilpotent Lie algebras. We find a family of n dimensional characteristically nilpotent filiform Lie algebras mathfrak f n , for all n ge 13 , all of whose derivations are almost inner. Finally we compare the almost inner derivations of Lie algebras considered over two different fields K supseteq k for a finite dimensional field extension.


Vyper A Security Comparison with Solidity Based on Common Vulnerabilities. Vyper has been proposed as a new high level language for Ethereum smart contract development due to numerous security vulnerabilities and attacks witnessed on contracts written in Solidity since the system's inception. Vyper aims to address these vulnerabilities by providing a language that focuses on simplicity, auditability and security. We present a survey where we study how well known and commonly encountered vulnerabilities in Solidity feature in Vyper's development environment. We analyze all such vulnerabilities individually and classify them into five groups based on their status in Vyper. To the best of our knowledge, our survey is the first attempt to study security vulnerabilities in Vyper.


MacPherson's Conjecture via H "ormander Estimate. In this notes we reprove MacPherson's conjecture on L 2 (n,q) cohomology through Demailly's formulation of H "ormander's Estimate. This approach allows us to weaken the condition of locally semipositivity in Ruppenthal's L 2 representation of adjoint bundle. Moreover we prove the MacPherson's conjecture of twisted coefficient bundle under an arbitrary singular hermitian metric. As applications, we study the MacPherson type problem for pluri canonical bundle.


Manifolds of mappings for continuum mechanics. This is an overview article. After an introduction to convenient calculus in infinite dimensions, the foundational material for manifolds of mappings is presented. The central character is the smooth convenient manifold C infty (M,N) of all smooth mappings from a finite dimensional Whitney manifold germ M into a smooth manifold N . A Whitney manifold germ is a smooth (in the interior) manifold with a very general boundary, but still admitting a continuous Whitney extension operator. This notion is developed here for the needs of geometric continuum mechanics.


Use of Wikipedia categories on information retrieval research a brief review. Wikipedia categories, a classification scheme built for organizing and describing Wikpedia articles, are being applied in computer science research. This paper adopts a systematic literature review approach, in order to identify different approaches and uses of Wikipedia categories in information retrieval research. Several types of work are identified, depending on the intrinsic study of the categories structure, or its use as a tool for the processing and analysis of other documentary corpus different to Wikipedia. Information retrieval is identified as one of the major areas of use, in particular its application in the refinement and improvement of search expressions, and the construction of textual corpus. However, the set of available works shows that in many cases research approaches applied and results obtained can be integrated into a comprehensive and inclusive concept of information retrieval.


Generalized metric spaces. Relations with graphs, ordered sets and automata A survey. In this survey we present a generalization of the notion of metric space and some applications to discrete structures as graphs, ordered sets and transition systems. Results in that direction started in the middle eighties based on the impulse given by Quilliot (1983). Graphs and ordered sets were considered as kind of metric spaces, where instead of real numbers the values of the distance functions d belong to an ordered semigroup equipped with an involution. In this frame, maps preserving graphs or posets are exactly the nonexpansive mappings (that is the maps f such that d(f(x),f(y)) leq d(x,y) , for all x,y ). It was observed that many known results on retractions and fixed point property for classical metric spaces (whose morphisms are the nonexpansive mappings) are also valid for these spaces. For example, the characterization of absolute retracts, by Aronszajn and Panitchpakdi (1956), the construction of the injective envelope by Isbell (1965) and the fixed point theorem of Sine and Soardi (1979) translate into the Banaschewski Bruns theorem (1967), the MacNeille completion of a poset (1933) and the famous Tarski fixed point theorem (1955). This prompted an analysis of several classes of discrete structures from a metric point of view. In this paper, we report the results obtained over the years with a particular emphasis on the fixed point property.


First principles study of ultrafast and nonlinear optical properties of graphite thin films. We theoretically investigate ultrafast and nonlinear optical properties of graphite thin films based on first principles time dependent density functional theory. We first calculate electron dynamics in a unit cell of graphite under a strong pulsed electric field and explore the transient optical properties of graphite. It is shown that the optical response of graphite shows a sudden change from conducting to insulating phase at a certain intensity range of the applied electric field. It also appears as a saturable absorption, the saturation in the energy transfer from the electric field to electrons. We next investigate a light propagation in graphite thin films by solving coupled dynamics of the electrons and the electromagnetic fields simultaneously. It is observed that the saturable absorption manifests in the propagation with small attenuation in the spatial region where the electric field amplitude is about 4 sim 7 times 10 2 V Angstrom.


Differential Existential Closedness for the j function. We prove the Existential Closedness conjecture for the differential equation of the j function and its derivatives. It states that in a differentially closed field certain equations involving the differential equation of the j function have solutions. Its consequences include a complete axiomatisation of j reducts of differentially closed fields, a dichotomy result for strongly minimal sets in those reducts, and a functional analogue of the Modular Zilber Pink with Derivatives conjecture.


Knowledge Transferring via Model Aggregation for Online Social Care. The Internet and the Web are being increasingly used in proactive social care to provide people, especially the vulnerable, with a better life and services, and their derived social services generate enormous data. However, the strict protection of privacy makes user's data become an isolated island and limits the predictive performance of standalone clients. To enable effective proactive social care and knowledge sharing within intelligent agents, this paper develops a knowledge transferring framework via model aggregation. Under this framework, distributed clients perform on device training, and a third party server integrates multiple clients' models and redistributes to clients for knowledge transferring among users. To improve the generalizability of the knowledge sharing, we further propose a novel model aggregation algorithm, namely the average difference descent aggregation (AvgDiffAgg for short). In particular, to evaluate the effectiveness of the learning algorithm, we use a case study on the early detection and prevention of suicidal ideation, and the experiment results on four datasets derived from social communities demonstrate the effectiveness of the proposed learning method.


Teaching young learners a foreign language via tangible and graphical user interfaces. The use of tangible interfaces in teaching has been proved more effective, user friendly and helpful in collaborative learning departments, when compared to traditional teaching approaches. In particular, the tangible interface "Makey Makey"is a modern tool that enhances collaboration between pupils, with positive results in education, despite the limited research done on this interface so far. "Makey Makey" succeeds in motivating and engaging young learners in the learning process, showing better performance and scoring results. In addition, its use in teaching has been shown to benefit the learning process in every age learning group.The development and use of such an innovative teaching learning approach helps young learners perceive the educational process in a different way and assimilate new cognitive fields more effectively. Moreover, educators profit as well, as they can eliminate difficulties and teach more efficiently using examples based on their teaching approach, while enhancing young learners parallel skills as well. This study will confirm previous research results stating that assimilation of new concepts is easier with tangible interfaces than with graphical ones, as well as that young learners participating in the survey have shown significant progress in knowledge acquisition when compared to their prior knowledge.


Waves on shearing current for an arbitrary inertial viewer. Real world water waves often propagate on current. And, the measurement of waves and current is an important task for coastal and marine engineers. Modern marine measurement technologies (i.e. unmanned autonomous vehicles, drones) often propagate with different velocities relative to the current and waves. It has been shown that, due to a loss of Galilean invariance, viewer velocity has a non trivial effect on the mathematical form of the wave and uniform current problem. It is demonstrated herein that similar complexities arise for shearing currents. The work provides a generalized formulation of the wave and shearing current boundary value problem for an arbitrary inertial viewer. The moving viewer dispersion relation for the special case of a constant current shear is also derived.


Theorem A for marked 2 categories. In this work, we prove a generalization of Quillen's Theorem A to 2 categories equipped with a special set of morphisms which we think of as weak equivalences, providing sufficient conditions for a 2 functor to induce an equivalence on ( infty,1) localizations. When restricted to 1 categories with all morphisms marked, our theorem retrieves the classical Theorem A of Quillen. We additionally state and provide evidence for a new conjecture the cofinality conjecture, which describes the relation between a conjectural theory of marked ( infty,2) colimits and our generalization of Theorem A.


Extracting chromatic properties of electron beams from spectral analysis of turn by turn beam position data. A method to estimate linear chromaticity, RMS energy spread, and chromatic beta beating, directly from turn by turn beam position data in a circular electron accelerator, is presented. This technique is based on frequency analysis of a transversely excited beam, in the presence of finite chromaticity. Due to the turn by turn chromatic modulation of the beam's envelope, betatron sidebands appear around the main frequency of the Fourier spectra. By determining the amplitude of both sidebands, chromatic properties of the beam can be estimated. In this paper, analytical derivations justifying the proposed method are given, along with results from tracking simulations. To this end, results from practical applications of this technique at the KARA electron ring are demonstrated.


Transferring Monolingual Model to Low Resource Language The Case of Tigrinya. In recent years, transformer models have achieved great success in natural language processing (NLP) tasks. Most of the current state of the art NLP results are achieved by using monolingual transformer models, where the model is pre trained using a single language unlabelled text corpus. Then, the model is fine tuned to the specific downstream task. However, the cost of pre training a new transformer model is high for most languages. In this work, we propose a cost effective transfer learning method to adopt a strong source language model, trained from a large monolingual corpus to a low resource language. Thus, using XLNet language model, we demonstrate competitive performance with mBERT and a pre trained target language model on the cross lingual sentiment (CLS) dataset and on a new sentiment analysis dataset for low resourced language Tigrinya. With only 10k examples of the given Tigrinya sentiment analysis dataset, English XLNet has achieved 78.88 F1 Score outperforming BERT and mBERT by 10 and 7 , respectively. More interestingly, fine tuning (English) XLNet model on the CLS dataset has promising results compared to mBERT and even outperformed mBERT for one dataset of the Japanese language.


A comparison between two de Rham complexes in diffeology. There are two de Rham complexes in diffeology. The original one is due to Souriau and the other one is the singular de Rham complex defined by a simplicial differential graded algebra. We compare the first de Rham cohomology groups of the two complexes within the v C ech de Rham spectral sequence by making use of the it factor map which connects the two de Rham complexes. As a consequence, it follows that the singular de Rham cohomology algebra of the irrational torus T theta is isomorphic to the tensor product of the original de Rham cohomology and the exterior algebra generated by a non trivial flow bundle over T theta .


Adapt and Adjust Overcoming the Long Tail Problem of Multilingual Speech Recognition. One crucial challenge of real world multilingual speech recognition is the long tailed distribution problem, where some resource rich languages like English have abundant training data, but a long tail of low resource languages have varying amounts of limited training data. To overcome the long tail problem, in this paper, we propose Adapt and Adjust (A2), a transformer based multi task learning framework for end to end multilingual speech recognition. The A2 framework overcomes the long tail problem via three techniques (1) exploiting a pretrained multilingual language model (mBERT) to improve the performance of low resource languages (2) proposing dual adapters consisting of both language specific and language agnostic adaptation with minimal additional parameters and (3) overcoming the class imbalance, either by imposing class priors in the loss during training or adjusting the logits of the softmax output during inference. Extensive experiments on the CommonVoice corpus show that A2 significantly outperforms conventional approaches.


Overfitting or Underfitting? Understand Robustness Drop in Adversarial Training. Our goal is to understand why the robustness drops after conducting adversarial training for too long. Although this phenomenon is commonly explained as overfitting, our analysis suggest that its primary cause is perturbation underfitting. We observe that after training for too long, FGSM generated perturbations deteriorate into random noise. Intuitively, since no parameter updates are made to strengthen the perturbation generator, once this process collapses, it could be trapped in such local optima. Also, sophisticating this process could mostly avoid the robustness drop, which supports that this phenomenon is caused by underfitting instead of overfitting. In the light of our analyses, we propose APART, an adaptive adversarial training framework, which parameterizes perturbation generation and progressively strengthens them. Shielding perturbations from underfitting unleashes the potential of our framework. In our experiments, APART provides comparable or even better robustness than PGD 10, with only about 1 4 of its computational cost.


On the convergence of exotic formal series solutions of an ODE. A proof by the implicit mapping theorem. We propose a sufficient condition of the convergence of a complex power type formal series of the form varphi sum k 1 infty alpha k(x rm i gamma ) ,x k , where alpha k are functions meromorphic at the origin and gamma in mathbb R setminus 0 , that satisfies an analytic ordinary differential equation (ODE) of a general type. An example of a such type formal solution of the third Painlev 'e equation is presented and the proposed sufficient condition is applied to check its convergence.


Secure Wireless Internet of Things Communication using Virtual Private Networks. The Internet of Things (IoT) is an exploding market as well as a important focus area for research. Security is a major issue for IoT products and solutions, with several massive problems that are still commonplace in the field. In this paper, we have successfully minimized the risk of data eavesdropping and tampering over the network by securing these communications using the concept of tunneling. We have implemented this by connecting a router to the internet via a Virtual Private network while using PPTP and L2TP as the underlying protocols for the VPN and exploring their cost benefits, compatibility and most importantly, their feasibility. The main purpose of our paper is to try to secure IoT networks without adversely affecting the selling point of IoT.


Exploration of Voice User Interfaces for Older Adults A Pilot Study to Address Progressive Vision Loss. Voice User Interfaces (VUIs) owing to recent developments in Artificial Intelligence (AI) and Natural Language Processing (NLP), are becoming increasingly intuitive and functional. They are especially promising for older adults, also with special needs, as VUIs remove some barriers related to access to Information and Communications Technology (ICT) solutions. In this pilot study we examine interdisciplinary opportunities in the area of VUIs as assistive technologies, based on an exploratory study with older adults, and a follow up in depth pilot study with two participants regarding the needs of people who are gradually losing their sight at a later age.


On the optimal map in the 2 dimensional random matching problem. We show that, on a 2 dimensional compact manifold, the optimal transport map in the semi discrete random matching problem is well approximated in the L 2 norm by identity plus the gradient of the solution to the Poisson problem Delta f n,t mu n,t 1 , where mu n,t is an appropriate regularization of the empirical measure associated to the random points. This shows that the ansatz of Caracciolo et al. (Scaling hypothesis for the Euclidean bipartite matching problem) is strong enough to capture the behavior of the optimal map in addition to the value of the optimal matching cost. As part of our strategy, we prove a new stability result for the optimal transport map on a compact manifold.


Video Super Resolution with Recurrent Structure Detail Network. Most video super resolution methods super resolve a single reference frame with the help of neighboring frames in a temporal sliding window. They are less efficient compared to the recurrent based methods. In this work, we propose a novel recurrent video super resolution method which is both effective and efficient in exploiting previous frames to super resolve the current frame. It divides the input into structure and detail components which are fed to a recurrent unit composed of several proposed two stream structure detail blocks. In addition, a hidden state adaptation module that allows the current frame to selectively use information from hidden state is introduced to enhance its robustness to appearance change and error accumulation. Extensive ablation study validate the effectiveness of the proposed modules. Experiments on several benchmark datasets demonstrate the superior performance of the proposed method compared to state of the art methods on video super resolution.


Playgol learning programs through play. Children learn though play. We introduce the analogous idea of learning programs through play. In this approach, a program induction system (the learner) is given a set of tasks and initial background knowledge. Before solving the tasks, the learner enters an unsupervised playing stage where it creates its own tasks to solve, tries to solve them, and saves any solutions (programs) to the background knowledge. After the playing stage is finished, the learner enters the supervised building stage where it tries to solve the user supplied tasks and can reuse solutions learnt whilst playing. The idea is that playing allows the learner to discover reusable general programs on its own which can then help solve the user supplied tasks. We claim that playing can improve learning performance. We show that playing can reduce the textual complexity of target concepts which in turn reduces the sample complexity of a learner. We implement our idea in Playgol, a new inductive logic programming system. We experimentally test our claim on two domains robot planning and real world string transformations. Our experimental results suggest that playing can substantially improve learning performance. We think that the idea of playing (or, more verbosely, unsupervised bootstrapping for supervised program induction) is an important contribution to the problem of developing program induction approaches that self discover BK.


Near MDS codes from elliptic curves. We provide a new construction of n,9,n 9 q near MDS codes arising from elliptic curves with n mathbb F q rational points. Furthermore we show that in some cases these codes cannot be extended to longer near MDS codes.


On the rate of convergence for Takagi class functions. We consider a generalized version of the Takagi function, which is one of the most famous example of nowhere differentiable continuous functions. We investigate a set of conditions to describe the rate of convergence of Takagi class functions from the probabilistic point of view The law of large numbers, the central limit theorem, and the law of iterated logarithm. On the other hand, we show that the Takagi function itself does not satisfy the law of large numbers in the usual sense.


Colorings of complements of line graphs. Our purpose is to show that complements of line graphs enjoy nice coloring properties. We show that for all graphs in this class the local and usual chromatic numbers are equal. We also prove a sufficient condition for the chromatic number to be equal to a natural upper bound. A consequence of this latter condition is a complete characterization of all induced subgraphs of the Kneser graph operatorname KG (n,2) that have a chromatic number equal to its chromatic number, namely n 2 . In addition to the upper bound, a lower bound is provided by Dol'nikov's theorem, a classical result of the topological method in graph theory. We prove the operatorname NP hardness of deciding the equality between the chromatic number and any of these bounds. The topological method is especially suitable for the study of coloring properties of complements of line graphs of hypergraphs. Nevertheless, all proofs in this paper are elementary and we also provide a short discussion on the ability for the topological methods to cover some of our results.


Social Explorative Attention based Recommendation for Content Distribution Platforms. In modern social media platforms, an effective content recommendation should benefit both creators to bring genuine benefits to them and consumers to help them get really interesting content. To address the limitations of existing methods for social recommendation, we propose Social Explorative Attention Network (SEAN), a social recommendation framework that uses a personalized content recommendation model to encourage personal interests driven recommendation. SEAN has two versions (1) SEAN END2END allows user's attention vector to attend their personalized interested points in the documents. (2) SEAN KEYWORD extracts keywords from users' historical readings to capture their long term interests. It is much faster than the first version, more suitable for practical usage, while SEAN END2END is more effective. Both versions allow the personalization factors to attend to users' higher order friends on the social network to improve the accuracy and diversity of recommendation results. Constructing two datasets in two languages, English and Spanish, from a popular decentralized content distribution platform, Steemit, we compare SEAN models with state of the art collaborative filtering (CF) and content based recommendation approaches. Experimental results demonstrate the effectiveness of SEAN in terms of both Gini coefficients for recommendation equality and F1 scores for recommendation accuracy.


Convex Q Learning, Part 1 Deterministic Optimal Control. It is well known that the extension of Watkins' algorithm to general function approximation settings is challenging does the projected Bellman equation have a solution? If so, is the solution useful in the sense of generating a good policy? And, if the preceding questions are answered in the affirmative, is the algorithm consistent? These questions are unanswered even in the special case of Q function approximations that are linear in the parameter. The challenge seems paradoxical, given the long history of convex analytic approaches to dynamic programming. The paper begins with a brief survey of linear programming approaches to optimal control, leading to a particular over parameterization that lends itself to applications in reinforcement learning. The main conclusions are summarized as follows (i) The new class of convex Q learning algorithms is introduced based on the convex relaxation of the Bellman equation. Convergence is established under general conditions, including a linear function approximation for the Q function. (ii) A batch implementation appears similar to the famed DQN algorithm (one engine behind AlphaZero). It is shown that in fact the algorithms are very different while convex Q learning solves a convex program that approximates the Bellman equation, theory for DQN is no stronger than for Watkins' algorithm with function approximation (a) it is shown that both seek solutions to the same fixed point equation, and (b) the ODE approximations for the two algorithms coincide, and little is known about the stability of this ODE. These results are obtained for deterministic nonlinear systems with total cost criterion. Many extensions are proposed, including kernel implementation, and extension to MDP models.


An adaptive finite element DtN method for the open cavity scattering problems. Consider the scattering of a time harmonic electromagnetic plane wave by an open cavity which is embedded in a perfectly electrically conducting infinite ground plane. This paper concerns the numerical solutions of the open cavity scattering problems in both transverse magnetic and transverse electric polarizations. Based on the Dirichlet to Neumann (DtN) map for each polarization, a transparent boundary condition is imposed to reduce the scattering problem equivalently into a boundary value problem in a bounded domain. An a posteriori error estimate based adaptive finite element DtN method is proposed. The estimate consists of the finite element approximation error and the truncation error of the DtN operator, which is shown to decay exponentially with respect to the truncation parameter. Numerical experiments are presented for both polarizations to illustrate the competitive behavior of the adaptive method.


mathbb L p solutions for stochastic Navier Stokes equations with jump noise. We study the existence and uniqueness of solutions of 2D Stochastic Navier Stokes equation with space irregular jump noise for initial data in certain Sobolev spaces of negative order. Comparing with the Galerkin approximation method, the main advantage of this work is to use an mathbb L p setting to obtain the solution under much weaker assumptions on the noise and the initial condition.


Abstract Compilation for Verification of Numerical Accuracy Properties. Verification of numerical accuracy properties in modern software remains an important and challenging task. This paper describes an original framework combining different solutions for numerical accuracy. First, we extend an existing runtime verification tool called E ACSL with rational numbers to monitor accuracy properties at runtime. Second, we present an abstract compiler, FLDCompiler, that performs a source to source transformation such that the execution of the resulting program, called an abstract execution, is an abstract interpretation of the initial program. Third, we propose an instrumentation library FLDLib that formally propagates accuracy properties along an abstract execution. While each of these solutions has its own interest, we emphasize the benefits of their combination for an industrial setting. Initial experiments show that the proposed technique can efficiently and soundly analyze the accuracy of industrial programs by restricting the analysis on thin numerical scenarios.


Beyond the Petermann limit can exceptional points increase sensor precision?. Experiments near the lock in region in maximally dissipative non Hermitian systems, e.g., conventional laser gyroscopes near the deadband, have run up against the Petermann limit, where excess noise exactly cancels any scale factor enhancement resulting in no overall enhancement in precision. As a result, one might be tempted to conclude that exceptional points (EPs) generally cannot be used to increase the precision of laser sensors. Indeed, using a linear eigenmode analysis we show that the Petermann limit applies not just to maximally dissipative systems, but for any type of EP, owing to the fact that EPs are rotationally invariant. It turns out, however, that this restriction comes from the assumption of linearity. We find that nonlinearity breaks the rotation symmetry such that the different types of EPs are no longer equivalent above threshold. In particular, for sufficiently high measurement frequencies, EPs in conservatively coupled systems having a saturation imbalance can lead to an increase in the fundamental precision beyond the Petermann limit. Importantly, we find that only one mode lases under these conditions. We show that the beat note can be recovered by interference with an auxiliary mode, but that this has consequences for the quantum and classical noise that depend on the recovery scheme. Thus, it remains to be seen whether practical experiments can be designed that can take advantage of this enhancement.


It's LeVAsa not LevioSA! Latent Encodings for Valence Arousal Structure Alignment. In recent years, great strides have been made in the field of affective computing. Several models have been developed to represent and quantify emotions. Two popular ones include (i) categorical models which represent emotions as discrete labels, and (ii) dimensional models which represent emotions in a Valence Arousal (VA) circumplex domain. However, there is no standard for annotation mapping between the two labelling methods. We build a novel algorithm for mapping categorical and dimensional model labels using annotation transfer across affective facial image datasets. Further, we utilize the transferred annotations to learn rich and interpretable data representations using a variational autoencoder (VAE). We present "LeVAsa", a VAE model that learns implicit structure by aligning the latent space with the VA space. We evaluate the efficacy of LeVAsa by comparing performance with the Vanilla VAE using quantitative and qualitative analysis on two benchmark affective image datasets. Our results reveal that LeVAsa achieves high latent circumplex alignment which leads to improved downstream categorical emotion prediction. The work also demonstrates the trade off between degree of alignment and quality of reconstructions.


Randomized Bregman Coordinate Descent Methods for Non Lipschitz Optimization. We propose a new textit randomized Bregman (block) coordinate descent (RBCD) method for minimizing a composite problem, where the objective function could be either convex or nonconvex, and the smooth part are freed from the global Lipschitz continuous (partial) gradient assumption. Under the notion of relative smoothness based on the Bregman distance, we prove that every limit point of the generated sequence is a stationary point. Further, we show that the iteration complexity of the proposed method is O(n varepsilon 2 ) to achieve epsilon stationary point, where n is the number of blocks of coordinates. If the objective is assumed to be convex, the iteration complexity is improved to O(n epsilon 1 ) . If, in addition, the objective is strongly convex (relative to the reference function), the global linear convergence rate is recovered. We also present the accelerated version of the RBCD method, which attains an O(n varepsilon 1 gamma ) iteration complexity for the convex case, where the scalar gamma in 1,2 is determined by the textit generalized translation variant of the Bregman distance. Convergence analysis without assuming the global Lipschitz continuous (partial) gradient sets our results apart from the existing works in the composite problems.


A Generalized LMI Formulation for Input Output Analysis of Linear Systems of ODEs Coupled with PDEs. In this paper, we consider input output properties of linear systems consisting of PDEs on a finite domain coupled with ODEs through the boundary conditions of the PDE. This framework can be used to represent e.g. a lumped mass fixed to a beam or a system with delay. This work generalizes the sufficiency proof of the KYP Lemma for ODEs to coupled ODE PDE systems using a recently developed concept of fundamental state and the associated boundary condition free representation. The conditions of the generalized KYP are tested using the PQRS positive matrix parameterization of operators resulting in a finite dimensional LMI, feasibility of which implies prima facie provable passivity or L2 gain of the system. No discretization or approximation is involved at any step and we use numerical examples to demonstrate that the bounds obtained are not conservative in any significant sense and that computational complexity is lower than existing methods involving finite dimensional projection of PDEs.


nanoBench A Low Overhead Tool for Running Microbenchmarks on x86 Systems. We present nanoBench, a tool for evaluating small microbenchmarks using hardware performance counters on Intel and AMD x86 systems. Most existing tools and libraries are intended to either benchmark entire programs, or program segments in the context of their execution within a larger program. In contrast, nanoBench is specifically designed to evaluate small, isolated pieces of code. Such code is common in microbenchmark based hardware analysis techniques. Unlike previous tools, nanoBench can execute microbenchmarks directly in kernel space. This allows to benchmark privileged instructions, and it enables more accurate measurements. The reading of the performance counters is implemented with minimal overhead avoiding functions calls and branches. As a consequence, nanoBench is precise enough to measure individual memory accesses. We illustrate the utility of nanoBench at the hand of two case studies. First, we briefly discuss how nanoBench has been used to determine the latency, throughput, and port usage of more than 13,000 instruction variants on recent x86 processors. Second, we show how to generate microbenchmarks to precisely characterize the cache architectures of eleven Intel Core microarchitectures. This includes the most comprehensive analysis of the employed cache replacement policies to date.


The maximum number of s cliques in connected graphs and its application to spectral moment. Extremal problems concerning the number of complete subgraphs have a long story in extremal graph theory. Let k s(G) be the number of s cliques in a graph G and m r m choose s t m , where 0 le t m leq r m . Edr H o s showed that k s(G) le r m choose s t m choose s 1 over all graphs of size m and order n geq r m 1 . Clearly, K r m t m cup (n r m 1)K 1 is an extremal graph, where K r m t m is the graph by joining a new vertex to t m vertices of K r m . It is natural to consider an improvement in connected situation what is the maximum number of s cliques over all connected graphs of size m and order n ? In this paper, the sharp upper bound of k s(G) is obtained and extremal graphs are completely characterized. The technique and the bound are different from those in general case. As an application, this result can be used to solve a question on spectral moment.


Efficient Context and Schema Fusion Networks for Multi Domain Dialogue State Tracking. Dialogue state tracking (DST) aims at estimating the current dialogue state given all the preceding conversation. For multi domain DST, the data sparsity problem is a major obstacle due to increased numbers of state candidates and dialogue lengths. To encode the dialogue context efficiently, we utilize the previous dialogue state (predicted) and the current dialogue utterance as the input for DST. To consider relations among different domain slots, the schema graph involving prior knowledge is exploited. In this paper, a novel context and schema fusion network is proposed to encode the dialogue context and schema graph by using internal and external attention mechanisms. Experiment results show that our approach can obtain new state of the art performance of the open vocabulary DST on both MultiWOZ 2.0 and MultiWOZ 2.1 benchmarks.


SEIR and Regression Model based COVID 19 outbreak predictions in India. COVID 19 pandemic has become a major threat to the country. Till date, well tested medication or antidote is not available to cure this disease. According to WHO reports, COVID 19 is a severe acute respiratory syndrome which is transmitted through respiratory droplets and contact routes. Analysis of this disease requires major attention by the Government to take necessary steps in reducing the effect of this global pandemic. In this study, outbreak of this disease has been analysed for India till 30th March 2020 and predictions have been made for the number of cases for the next 2 weeks. SEIR model and Regression model have been used for predictions based on the data collected from John Hopkins University repository in the time period of 30th January 2020 to 30th March 2020. The performance of the models was evaluated using RMSLE and achieved 1.52 for SEIR model and 1.75 for the regression model. The RMSLE error rate between SEIR model and Regression model was found to be 2.01. Also, the value of R0 which is the spread of the disease was calculated to be 2.02. Expected cases may rise between 5000 6000 in the next two weeks of time. This study will help the Government and doctors in preparing their plans for the next two weeks. Based on the predictions for short term interval, these models can be tuned for forecasting in long term intervals.


The Prototype of Decentralized Multilateral Co Governing Post IP Internet Architecture and Its Testing on Operator Networks. The Internet has become the most important infrastructure of modern society, while the existing IP network is unable to provide high quality service. The unilateralism IP network is unable to satisfy the Co managing and Co governing demands to Cyberspace for most Nations in the world as well. Facing this challenge, we propose a novel Decentralized Multilateral Co Governing Post IP Internet architecture. To verify its effectiveness, we develop the prototype on the operator's networks including China Mainland, Hong Kong, and Macao. The experiments and testing results show that this architecture is feasible for co existing of Content Centric Networking and IP network, and it might become a Chinese Solution to the world.


On the stochastic Dullin Gottwald Holm equation Global existence and wave breaking phenomena. We consider a class of stochastic evolution equations that include in particular the stochastic Camassa Holm equation. For the initial value problem on a torus, we first establish the local existence and uniqueness of pathwise solutions in the Sobolev spaces H s with s 3 2 . Then we show that strong enough nonlinear noise can prevent blow up almost surely. To analyze the effects of weaker noise, we consider a linearly multiplicative noise with non autonomous pre factor. Then, we formulate precise conditions on the inital data that lead to global existence of strong solutions or to blow up. The blow up occurs as wave breaking. For blow up with positive probability, we derive lower bounds for these probabilities. Finally, the blow up rate of these solutions is precisely analyzed.


Handling Noisy Labels via One Step Abductive Multi Target Learning An Application to Helicobacter Pylori Segmentation. Learning from noisy labels is an important concern because of the lack of accurate ground truth labels in plenty of real world scenarios. In practice, various approaches for this concern first make some corrections corresponding to potentially noisy labeled instances, and then update predictive model with information of the made corrections. However, in specific areas, such as medical histopathology whole slide image analysis (MHWSIA), it is often difficult or even impossible for experts to manually achieve the noisy free ground truth labels which leads to labels with complex noise. This situation raises two more difficult problems 1) the methodology of approaches making corrections corresponding to potentially noisy labeled instances has limitations due to the complex noise existing in labels and 2) the appropriate evaluation strategy for validation testing is unclear because of the great difficulty in collecting the noisy free ground truth labels. In this paper, we focus on alleviating these two problems. For the problem 1), we present one step abductive multi target learning (OSAMTL) that imposes a one step logical reasoning upon machine learning via a multi target learning procedure to constrain the predictions of the learning model to be subject to our prior knowledge about the true target. For the problem 2), we propose a logical assessment formula (LAF) that evaluates the logical rationality of the outputs of an approach by estimating the consistencies between the predictions of the learning model and the logical facts narrated from the results of the one step logical reasoning of OSAMTL. Applying OSAMTL and LAF to the Helicobacter pylori (H. pylori) segmentation task in MHWSIA, we show that OSAMTL is able to enable the machine learning model achieving logically more rational predictions, which is beyond various state of the art approaches in handling complex noisy labels.


Deep Learning based Topic Analysis on Financial Emerging Event Tweets. Financial analyses of stock markets rely heavily on quantitative approaches in an attempt to predict subsequent or market movements based on historical prices and other measurable metrics. These quantitative analyses might have missed out on un quantifiable aspects like sentiment and speculation that also impact the market. Analyzing vast amounts of qualitative text data to understand public opinion on social media platform is one approach to address this gap. This work carried out topic analysis on 28264 financial tweets 1 via clustering to discover emerging events in the stock market. Three main topics were discovered to be discussed frequently within the period. First, the financial ratio EPS is a measure that has been discussed frequently by investors. Secondly, short selling of shares were discussed heavily, it was often mentioned together with Morgan Stanley. Thirdly, oil and energy sectors were often discussed together with policy. These tweets were semantically clustered by a method consisting of word2vec algorithm to obtain word embeddings that map words to vectors. Semantic word clusters were then formed. Each tweet was then vectorized using the Term Frequency Inverse Document Frequency (TF IDF) values of the words it consisted of and based on which clusters its words were in. Tweet vectors were then converted to compressed representations by training a deep autoencoder. K means clusters were then formed. This method reduces dimensionality and produces dense vectors, in contrast to the usual Vector Space Model. Topic modelling with Latent Dirichlet Allocation (LDA) and top frequent words were used to analyze clusters and reveal emerging events.


Nonhermitian defect states from lifetime differences. Nonhermitian systems provide new avenues to create topological defect states. An unresolved general question is how much the formation of these states depends on asymmetric backscattering, be it nonreciprocal as in the nonhermitian skin effect or reciprocal as encountered between the internal states of asymmetric microresonators. Here, we demonstrate in a concrete, practically accessible setting of a lossy coupled resonator optical waveguide that nonhermitian defect states can exist in open optical systems due to lifetime differences, without the need for asymmetric backscattering within or between the individual resonators. We apply our findings to a finite system of coupled circular resonators perturbed by nanoparticles, following the concept of creating an interface by inverting the position of the nanoparticles in half of the chain. We compare a coupled mode tight binding approximation to full wave numerical simulations, showing that spectrally isolated defect states can indeed be implemented in this simple nonhermitian photonic device.


Morse index theorem for heteroclinic orbits of Lagrangian systems. The classical Morse Index Theorem plays a central role in Lagrangian dynamics and differential geometry. Although many generalization of this result are well known, in the case of orbits of Lagrangian systems with self adjoint boundary conditions parametrized by a finite length interval, essentially no results are known in the case of either heteroclinic or half clinic orbits of Lagrangian systems. The main goal of this paper is to fill up this gap by providing a new version of the Morse index theorem for heteroclinic, homoclinic and half clinic orbits of a Lagrangian system.


Plasmon assisted F "orster resonance energy transfer at the single molecule level in the moderate quenching regime. Metallic nanoparticles were shown to affect F "orster energy transfer between fluorophore pairs. However, to date, the net plasmonic effect on FRET is still under dispute, with experiments showing efficiency enhancement and reduction. This controversy is due to the challenges involved in the precise positioning of FRET pairs in the near field of a metallic nanostructure, as well as in the accurate characterization of the plasmonic impact on the FRET mechanism. Here, we use the DNA origami technique to place a FRET pair 10 nm away from the surface of gold nanoparticles with sizes ranging from 5 to 20 nm. In this configuration, the fluorophores experience only moderate plasmonic quenching. We use the acceptor bleaching approach to extract the FRET rate constant and efficiency on immobilized single FRET pairs based solely on the donor lifetime. This technique does not require a posteriori correction factors neither a priori knowledge of the acceptor quantum yield, and importantly, it is performed in a single spectral channel. Our results allow us to conclude that, despite the plasmon assisted Purcell enhancement experienced by donor and acceptor partners, the gold nanoparticles in our samples have a negligible effect on the FRET rate, which in turns yields a reduction of the transfer efficiency.


Open Source Software Development Process A Systematic Review. Open Source Software (OSS) has been recognized by the software development community as an effective way to deliver software. Unlike traditional software development, OSS development is driven by collaboration among developers spread geographically and motivated by common goals and interests. Besides this fact, it is recognized by OSS community the need of understand OSS development process and its activities. Our goal is to investigate the state of art about OSS process through conducting a systematic literature review providing an overview of how the OSS community has been investigating OSS process over past years identifying and summarizing OSS process activities and their characteristics as well as translating OSS process in a macro process through BPMN notation. As a result, we systematically analysed 33 studies presenting an overview of the state of art of researches regarding OSS process, a generalized OSS development macro process represented by BPMN notation with a detailed description of each OSS process activity and roles in OSS environment. We conclude that OSS process can be in practice further investigated by researchers. In addition, the presented OSS process can be used as a guide for OSS projects and being adapted according to each OSS project reality. It provides insights to managers and developers who want to improve their development process even in OSS and traditional environments. Finally, recommendations for OSS community regarding OSS process activities are provided.


Unsourced Multiuser Sparse Regression Codes achieve the Symmetric MAC Capacity. Unsourced random access (U RA) is a type of grant free random access with a virtually unlimited number of users, of which only a certain number K a are active on the same time slot. Users employ exactly the same codebook, and the task of the receiver is to decode the list of transmitted messages. Recently a concatenated coding construction for U RA on the AWGN channel was presented, in which a sparse regression code (SPARC) is used as an inner code to create an effective outer OR channel. Then an outer code is used to resolve the multiple access interference in the OR MAC. In this work we show that this concatenated construction can achieve a vanishing per user error probability in the limit of large blocklength and a large number of active users at sum rates up to the symmetric Shannon capacity, i.e. as long as K aR 0.5 log 2(1 K a SNR) . This extends previous point to point optimality results about SPARCs to the unsourced multiuser scenario. Additionally, we calculate the algorithmic threshold, that is a bound on the sum rate up to which the inner decoding can be done reliably with the low complexity AMP algorithm.


Computational models in Electroencephalography. Computational models lie at the intersection of basic neuroscience and healthcare applications because they allow researchers to test hypotheses textit in silico and predict the outcome of experiments and interactions that are very hard to test in reality. Yet, what is meant by "computational model" is understood in many different ways by researchers in different fields of neuroscience and psychology, hindering communication and collaboration. In this review, we point out the state of the art of computational modeling in Electroencephalography (EEG) and outline how these models can be used to integrate findings from electrophysiology, network level models, and behavior. On the one hand, computational models serve to investigate the mechanisms that generate brain activity, for example measured with EEG, such as the transient emergence of oscillations at different frequency bands and or with different spatial topographies. On the other hand, computational models serve to design experiments and test hypotheses emph in silico . The final purpose of computational models of EEG is to obtain a comprehensive understanding of the mechanisms that underlie the EEG signal. This is crucial for an accurate interpretation of EEG measurements that may ultimately serve in the development of novel clinical applications.


Multi Agent Reinforcement Learning for Unmanned Aerial Vehicle Coordination by Multi Critic Policy Gradient Optimization. Recent technological progress in the development of Unmanned Aerial Vehicles (UAVs) together with decreasing acquisition costs make the application of drone fleets attractive for a wide variety of tasks. In agriculture, disaster management, search and rescue operations, commercial and military applications, the advantage of applying a fleet of drones originates from their ability to cooperate autonomously. Multi Agent Reinforcement Learning approaches that aim to optimize a neural network based control policy, such as the best performing actor critic policy gradient algorithms, struggle to effectively back propagate errors of distinct rewards signal sources and tend to favor lucrative signals while neglecting coordination and exploitation of previously learned similarities. We propose a Multi Critic Policy Optimization architecture with multiple value estimating networks and a novel advantage function that optimizes a stochastic actor policy network to achieve optimal coordination of agents. Consequently, we apply the algorithm to several tasks that require the collaboration of multiple drones in a physics based reinforcement learning environment. Our approach achieves a stable policy network update and similarity in reward signal development for an increasing number of agents. The resulting policy achieves optimal coordination and compliance with constraints such as collision avoidance.


Understanding eWhoring. In this paper, we describe a new type of online fraud, referred to as 'eWhoring' by offenders. This crime script analysis provides an overview of the 'eWhoring' business model, drawing on more than 6,500 posts crawled from an online underground forum. This is an unusual fraud type, in that offenders readily share information about how it is committed in a way that is almost prescriptive. There are economic factors at play here, as providing information about how to make money from 'eWhoring' can increase the demand for the types of images that enable it to happen. We find that sexualised images are typically stolen and shared online. While some images are shared for free, these can quickly become 'saturated', leading to the demand for (and trade in) more exclusive 'packs'. These images are then sold to unwitting customers who believe they have paid for a virtual sexual encounter. A variety of online services are used for carrying out this fraud type, including email, video, dating sites, social media, classified advertisements, and payment platforms. This analysis reveals potential interventions that could be applied to each stage of the crime commission process to prevent and disrupt this crime type.


On the existence of extremals for Moser type inequalities in Gauss space. The existence of an extremal in an exponential Sobolev type inequality, with optimal constant, in Gauss space is established. A key step in the proof is an augmented version of the relevant inequality, which, by contrast, fails for a parallel classical inequality by Moser in the Euclidean space.


Some supercongruences arising from symbolic summation. Based on some combinatorial identities arising from symbolic summation, we extend two supercongruences on partial sums of hypergeometric series, which were originally conjectured by Guo and Schlosser and recently confirmed by Jana and Kalita.


Isomorphic classification of L p,q spaces, II. This is a continuation of the papers Kuryakov Sukochev, JFA, 2015 and Sadovskaya Sukochev, PAMS, 2018 , in which the isomorphic classification of L p,q , for 1 p infty , 1 le q infty , p ne q , on resonant measure spaces, has been obtained. The aim of this paper is to give a complete isomorphic classification of L p,q spaces on general sigma finite measure spaces. Towards this end, several new subspaces of L p,q (0,1) and L p,q (0, infty) are identified and studied.


Modeling of Network Based Digital Contact Tracing and Testing Strategies for the COVID 19 Pandemic. With more than 1.7 million COVID 19 deaths, identifying effective measures to prevent COVID 19 is a top priority. We developed a mathematical model to simulate the COVID 19 pandemic with digital contact tracing and testing strategies. The model uses a real world social network generated from a high resolution contact data set of 180 students. This model incorporates infectivity variations, test sensitivities, incubation period, and asymptomatic cases. We present a method to extend the weighted temporal social network and present simulations on a network of 5000 students. The purpose of this work is to investigate optimal quarantine rules and testing strategies with digital contact tracing. The results show that the traditional strategy of quarantining direct contacts reduces infections by less than 20 without sufficient testing. Periodic testing every 2 weeks without contact tracing reduces infections by less than 3 . A variety of strategies are discussed including testing second and third degree contacts and the pre exposure notification system, which acts as a social radar warning users how far they are from COVID 19. The most effective strategy discussed in this work was combined the pre exposure notification system with testing second and third degree contacts. This strategy reduces infections by 18.3 when 30 of the population uses the app, 45.2 when 50 of the population uses the app, 72.1 when 70 of the population uses the app, and 86.8 when 95 of the population uses the app. When simulating the model on an extended network of 5000 students, the results are similar with the contact tracing app reducing infections by up to 79 .


Positive pseudo almost periodic solutions to a class of hematopoiesis model Oscillations and Dynamics. This paper presents a new generalized Mackey Glass model with a non linear harvesting term and mixed delays. The main purpose of this work is to study the existence and the exponential stability of the pseudo almost periodic solution for the considered model. By using fixed point theorem and under suitable Lyapunov functional, sufficient conditions are given to study the pseudo almost periodic solution for the considered model. Moreover, an illustrative example is given to demonstrate the effectiveness of the obtained results.


An Index Formula for Groups of Isometric Linear Canonical Transformations. We define a representation of the unitary group U(n) by metaplectic operators acting on L 2( mathbb R n) and consider the operator algebra generated by the operators of the representation and pseudodifferential operators of Shubin class. Under suitable conditions, we prove the Fredholm property for elements in this algebra and obtain an index formula.


Poristic virtues of a negative pedal curve. We describe all triangles that shares either circumcircle and pedal circle or circumcircle and negative pedal circle. Neither of these pairs is poristic nevertheless, the negative pedal curve of the pedal circle is a (very) special i conic that points toward a poristic solution. Subsequently, other poristic pairs show up and the choreography swiftly begins.


Modelling an equivalent b value in diffusion weighted steady state free precession. Purpose Diffusion weighted steady state free precession (DW SSFP) is shown to provide a means to probe non Gaussian diffusion through manipulation of the flip angle. A framework is presented to define an effective b value in DW SSFP. Theory The DW SSFP signal is a summation of coherence pathways with different b values. The relative contribution of each pathway is dictated by the flip angle. This leads to an apparent diffusion coefficient (ADC) estimate that depends on the flip angle in non Gaussian diffusion regimes. By acquiring DW SSFP data at multiple flip angles and modelling the variation in ADC for a given form of non Gaussianity, the ADC can be estimated at a well defined effective b value. Methods A gamma distribution is used to model non Gaussian diffusion, embedded in the Buxton signal model for DW SSFP. Monte Carlo simulations of non Gaussian diffusion in DW SSFP and diffusion weighted spin echo (DW SE) sequences are used to verify the proposed framework. Dependence of ADC on flip angle in DW SSFP is verified with experimental measurements in a whole, human post mortem brain. Results Monte Carlo simulations reveal excellent agreement between ADCs estimated with DW SE and the proposed framework. Experimental ADC estimates vary as a function of flip angle over the corpus callosum of the postmortem brain, estimating the mean and standard deviation of the gamma distribution as 1.50 cdot 10 4 mm 2 s and 2.10 cdot 10 4 mm 2 s . Conclusion DW SSFP can be used to investigate non Gaussian diffusion by varying the flip angle. By fitting a model of non Gaussian diffusion, the ADC in DW SSFP can be estimated at an effective b value, comparable to more conventional diffusion sequences.


Complete regularity of Ellis semigroups of mathbb Z actions. It is shown that the Ellis semigroup of a mathbb Z action on a compact totally disconnected space is completely regular if and only if forward proximality coincides with forward asymptoticity and backward proximality coincides with backward asymptoticity. Furthermore, the Ellis semigroup of a mathbb Z or mathbb R action for which forward proximality and backward proximality are transitive relations is shown to have at most two left minimal ideals. Finally, the notion of near simplicity of the Ellis semigroup is introduced and related to the above.


Calculating Opacity in Hot, Dense Matter using Second Order Electron Photon and Two Photon Transitions to Approximate Line Broadening. Calculations of the opacity of hot, dense matter require models for plasma line broadening. However, the most general theories are too complex to calculate directly and some approximation is inevitably required. The most widely used approaches focus on the line centre, where a Lorentzian shape is obtained. Here, we demonstrate that in the opposite limit, far from the line centre, the opacity can be expressed in terms of second order transitions, such as electron photon and two photon processes. We suggest that this insight could form the basis for a new approach to improve calculations of opacity in hot, dense matter. Preliminary calculations suggest that this approach could yield increased opacity away from absorption lines.


On a Brownian motion conditioned to stay in an open set. Distribution of a Brownian motion conditioned to start from the boundary of an open set G and to stay in G for a finite period of time is studied. Characterizations of such distributions in terms of certain singular stochastic differential equations are obtained. Results are applied to the study of boundaries of clusters in some coalescing stochastic flows on mathbb R .


H3DNet 3D Object Detection Using Hybrid Geometric Primitives. We introduce H3DNet, which takes a colorless 3D point cloud as input and outputs a collection of oriented object bounding boxes (or BB) and their semantic labels. The critical idea of H3DNet is to predict a hybrid set of geometric primitives, i.e., BB centers, BB face centers, and BB edge centers. We show how to convert the predicted geometric primitives into object proposals by defining a distance function between an object and the geometric primitives. This distance function enables continuous optimization of object proposals, and its local minimums provide high fidelity object proposals. H3DNet then utilizes a matching and refinement module to classify object proposals into detected objects and fine tune the geometric parameters of the detected objects. The hybrid set of geometric primitives not only provides more accurate signals for object detection than using a single type of geometric primitives, but it also provides an overcomplete set of constraints on the resulting 3D layout. Therefore, H3DNet can tolerate outliers in predicted geometric primitives. Our model achieves state of the art 3D detection results on two large datasets with real 3D scans, ScanNet and SUN RGB D.


Robust concurrent topology optimization of structure and its composite material considering uncertainty with imprecise probability. This paper studied a robust concurrent topology optimization (RCTO) approach to design the structure and its composite materials simultaneously. For the first time, the material uncertainty with imprecise probability is integrated into the multi scale concurrent topology optimization (CTO) framework. To describe the imprecise probabilistic uncertainty efficiently, the type I hybrid interval random model is adopted. An improved hybrid perturbation analysis (IHPA) method is formulated to estimate the expectation and stand variance of the objective function in the worst case. Combined with the bi directional evolutionary structural optimization (BESO) framework, the robust designs of the structure and its composite material are carried out. Several 2D and 3D numerical examples are presented to illustrate the effectiveness of the proposed method. The results show that the proposed method has high efficiency and low precision loss. In addition, the proposed RCTO approach remains efficient in both of linear static and dynamic structures, which shows its extensive adaptability.


NeurReg Neural Registration and Its Application to Image Segmentation. Registration is a fundamental task in medical image analysis which can be applied to several tasks including image segmentation, intra operative tracking, multi modal image alignment, and motion analysis. Popular registration tools such as ANTs and NiftyReg optimize an objective function for each pair of images from scratch which is time consuming for large images with complicated deformation. Facilitated by the rapid progress of deep learning, learning based approaches such as VoxelMorph have been emerging for image registration. These approaches can achieve competitive performance in a fraction of a second on advanced GPUs. In this work, we construct a neural registration framework, called NeurReg, with a hybrid loss of displacement fields and data similarity, which substantially improves the current state of the art of registrations. Within the framework, we simulate various transformations by a registration simulator which generates fixed image and displacement field ground truth for training. Furthermore, we design three segmentation frameworks based on the proposed registration framework 1) atlas based segmentation, 2) joint learning of both segmentation and registration tasks, and 3) multi task learning with atlas based segmentation as an intermediate feature. Extensive experimental results validate the effectiveness of the proposed NeurReg framework based on various metrics the endpoint error (EPE) of the predicted displacement field, mean square error (MSE), normalized local cross correlation (NLCC), mutual information (MI), Dice coefficient, uncertainty estimation, and the interpretability of the segmentation. The proposed NeurReg improves registration accuracy with fast inference speed, which can greatly accelerate related medical image analysis tasks.