Free Boundary Problems via Da Prato Grisvard Theory. An mathrm L 1 maximal regularity theory for parabolic evolution equations inspired by the pioneering work of Da Prato and Grisvard is developed. Besides of its own interest, the approach yields a framework allowing global in time control of the change of Eulerian to Lagrangian coordinates in various problems related to fluid mechanics. This property is of course decisive for free boundary problems. This concept is illustrated by the analysis of the free boundary value problem describing the motion of viscous, incompressible Newtonian fluids without surface tension and, secondly, the motion of compressible pressureless gases. For this purpose, an endpoint maximal mathrm L 1 regularity approach to the Stokes and Lam 'e systems is developed. It is applied then to establish global, strong well posedness results for the free boundary problems described above in the case where the initial domain coincides with the half space, and the initial velocity is small with respect to a suitable scaling invariant norm.


The Evolution of the Manosphere Across the Web. In this paper, we present a large scale characterization of the Manosphere, a conglomerate of Web based misogynist movements roughly focused on "men's issues," which has seen significant growth over the past years. We do so by gathering and analyzing 28.8M posts from 6 forums and 51 subreddits. Overall, we paint a comprehensive picture of the evolution of the Manosphere on the Web, showing the links between its different communities over the years. We find that milder and older communities, such as Pick Up Artists and Men's Rights Activists, are giving way to more extremist ones like Incels and Men Going Their Own Way, with a substantial migration of active users. Moreover, our analysis suggests that these newer communities are more toxic and misogynistic than the former.


Continuous Data Assimilation for the Double Diffusive Natural Convection. In this study, we analyzed a continuous data assimilation scheme applied on a double diffusive natural convection model. The algorithm is introduced with a first order backward Euler time scheme along with a finite element discretization in space. The long time stability and convergence results are presented for different options of nudging parameters. Two elaborative numerical test are given in order to confirm the theory and prove the promise of the algorithm.


Linking topological spheres. There is a topological embedding iota mathbb S 1 to mathbb R 5 such that pi 3( mathbb R 5 setminus iota( mathbb S 1)) 0 . Therefore, no 3 sphere can be linked with iota( mathbb S 1) .


Weakly Supervised Semantic Segmentation of Satellite Images for Land Cover Mapping Challenges and Opportunities. Fully automatic large scale land cover mapping belongs to the core challenges addressed by the remote sensing community. Usually, the basis of this task is formed by (supervised) machine learning models. However, in spite of recent growth in the availability of satellite observations, accurate training data remains comparably scarce. On the other hand, numerous global land cover products exist and can be accessed often free of charge. Unfortunately, these maps are typically of a much lower resolution than modern day satellite imagery. Besides, they always come with a significant amount of noise, as they cannot be considered ground truth, but are products of previous (semi )automatic prediction tasks. Therefore, this paper seeks to make a case for the application of weakly supervised learning strategies to get the most out of available data sources and achieve progress in high resolution large scale land cover mapping. Challenges and opportunities are discussed based on the SEN12MS dataset, for which also some baseline results are shown. These baselines indicate that there is still a lot of potential for dedicated approaches designed to deal with remote sensing specific forms of weak supervision.


Unscented Kalman filter (UKF) based nonlinear parameter estimation for a turbulent boundary layer a data assimilation framework. A turbulent boundary layer is an essential flow case of fundamental and applied fluid mechanics. However, accurate measurements of turbulent boundary layer parameters (e.g., friction velocity u tau and wall shear tau w ), are challenging, especially for high speed flows (Smits et al., 2011). Many direct and or indirect diagnostic techniques have been developed to measure wall shear stress (Vinuesa et al., 2017). However, based on different principles, these techniques usually give different results with different uncertainties. The current study introduces a nonlinear data assimilation framework based on the Unscented Kalman Filter that can fuse information from i) noisy and gappy measurements from Stereo Particle Image Velocimetry, a Preston tube, and a MEMS shear stress sensor, as well as ii) the uncertainties of the measurements to estimate the parameters of a turbulent boundary layer. A direct numerical simulation of a fully developed turbulent boundary layer flow at Mach 0.3 is used first to validate the data assimilation algorithm. The algorithm is then applied to experimental data of a flow at Mach 0.3, which are obtained in a blowdown wind tunnel facility. The UKF based data assimilation algorithm is robust to uncertain and gappy experimental data and is able to provide accurate estimates of turbulent boundary layer parameters.


Half integral Erd H o s P 'osa property of directed odd cycles. We prove that there exists a function f mathbb N rightarrow mathbb R such that every digraph G contains either k directed odd cycles where every vertex of G is contained in at most two of them, or a vertex set X of size at most f(k) hitting all directed odd cycles. This extends the half integral Erd H o s P 'osa property of undirected odd cycles, proved by Reed Mangoes and blueberries. Combinatorica 1999 , to digraphs.


Sex Differences in Severity and Mortality Among Patients With COVID 19 Evidence from Pooled Literature Analysis and Insights from Integrated Bioinformatic Analysis. Objective To conduct a meta analysis of current studies that examined sex differences in severity and mortality in patients with COVID 19, and identify potential mechanisms underpinning these differences. Methods We performed a systematic review to collate data from observational studies examining associations of sex differences with clinical outcomes of COVID 19. PubMed, Web of Science and four preprint servers were searched for relevant studies. Data were extracted and analyzed using meta analysis where possible, with summary data presented otherwise. Publicly available bulk RNA sequencing (RNA seq), single cell RNA sequencing (scRNA seq), and chromatin immunoprecipitation sequencing (ChIP seq) data were analyzed to explore the potential mechanisms underlying the observed association. Results 39 studies met inclusion criteria, representing 77932 patients, of which 41510 (53.3 ) were males. Men were at a markedly increased risk of developing severe cases compared with women. Furthermore, the pooled odds ratio (OR) of mortality for male group compared with the female group indicated significant higher mortality rate for male. Data from scRNA seq suggest that men have a higher amount of ACE2 expressing pulmonary alveolar type II cells than women. Sex based immunological differences exist. The expression of androgen receptor (AR) is positively correlated with ACE2, and there is evidence that AR may directly regulate the expression of ACE2. Conclusions This meta analysis detected an increased severity and mortality rate in the male populations with COVID 19, which might be attributable to the sex based differences in cellular compositions and immunological microenvironments of the lung. The host cell receptor ACE2 is likely regulated by AR signaling pathway, which is identified as a potential target for prevention and treatment of SARS Cov 2 infections in men.


Variable Smoothing for Weakly Convex Composite Functions. We study minimization of a structured objective function, being the sum of a smooth function and a composition of a weakly convex function with a linear operator. Applications include image reconstruction problems with regularizers that introduce less bias than the standard convex regularizers. We develop a variable smoothing algorithm, based on the Moreau envelope with a decreasing sequence of smoothing parameters, and prove a complexity of mathcal O ( epsilon 3 ) to achieve an epsilon approximate solution. This bound interpolates between the mathcal O ( epsilon 2 ) bound for the smooth case and the mathcal O ( epsilon 4 ) bound for the subgradient method. Our complexity bound is in line with other works that deal with structured nonsmoothness of weakly convex functions.


Recurrence of a Weighted Random Walk on a Circle Packing with Parabolic Carrier. In this paper we show that given a circle packing of an infinite planar triangulation such that its carrier is parabolic, placing weights on the edges according to a certain natural way introduced by Dubejko, makes the random walk recurrent. We also propose a higher dimensional analogue of the Dubejko weights.


Hirzebruch Zagier classes and rational elliptic curves over quintic fields. Conditionally on a conjecture on the 'etale cohomology of Hilbert modular surfaces and some minor technical assumptions, we establish new instances of the equivariant BSD conjecture in rank 0 with applications to the arithmetic of rational elliptic curves over quintic fields. The key ingredients are a refinement of twisted triple product p adic L functions, the construction of a compatible collection of Hirzebruch Zagier cycles and an explicit reciprocity law relating the two.


Half Potential on Geometric Crystals and Connectedness of Cellular Crystals. For any simple complex algebraic group, we define upper lower half decorated geometric crystals and show that their tropicalization will be upper lower normal Kashiwara's crystals. In particular, we show that the tropicalization of the half decorated geometric crystal on the big Bruhat cell( B w 0 B cap U bar w 0 U ) is isomorphic to the crystal B( infty) of the nilpotent subalgebra of quantum group U q ( mathfrak g) . As an application, we shall show that any cellular crystal associated with a reduced word is connected in the sense of a crystal graph.


Measuring Abuse in Web Push Advertising. The rapid growth of online advertising has fueled the growth of ad blocking software, such as new ad blocking and privacy oriented browsers or browser extensions. In response, both ad publishers and ad networks are constantly trying to pursue new strategies to keep up their revenues. To this end, ad networks have started to leverage the Web Push technology enabled by modern web browsers. As web push notifications (WPNs) are relatively new, their role in ad delivery has not been yet studied in depth. Furthermore, it is unclear to what extent WPN ads are being abused for malvertising (i.e., to deliver malicious ads). In this paper, we aim to fill this gap. Specifically, we propose a system called PushAdMiner that is dedicated to (1) automatically registering for and collecting a large number of web based push notifications from publisher websites, (2) finding WPN based ads among these notifications, and (3) discovering malicious WPN based ad campaigns. Using PushAdMiner, we collected and analyzed 21,541 WPN messages by visiting thousands of different websites. Among these, our system identified 572 WPN ad campaigns, for a total of 5,143 WPN based ads that were pushed by a variety of ad networks. Furthermore, we found that 51 of all WPN ads we collected are malicious, and that traditional ad blockers and malicious URL filters are remarkably ineffective against WPN based malicious ads, leaving a significant abuse vector unchecked.


A novel hydraulic fractures growth formulation. Propagation of a fluid driven crack in an impermeable linear elastic medium under axis symmetric conditions is investigated in the present work. The fluid exerting the pressure inside the crack is an incompressible Newtonian one and its front is allowed to lag behind the propagating fracture tip. The tip cavity is considered as filled by fluid vapors under constant pressure having a negligible value with respect to the far field confining stress. A novel algorithm is here presented, which is capable of tracking the evolution of both the fluid and the fracture fronts. Particularly, the fracture tracking is grounded on a recent viscous regularization of the quasi static crack propagation problem as a standard dissipative system. It allows a simple and effective approximation of the fracture front velocity by imposing Griffith's criterion at every propagation step. Furthermore, for each new fracture configuration, a non linear system of integro differential equations has to be solved. It arises from the non local elastic relationship existing between the crack opening and the fluid pressure, together with the non linear lubrication equation governing the flow of the fluid inside the fracture.


Spectral synthesis for exponentials and logarithmic length. We study hereditary completeness of systems of exponentials on an interval such that the corresponding generating function G is small outside of a lacunary sequence of intervals I k . We show that, under some technical conditions, an exponential system is hereditarily complete if and only if the logarithmic length of the union of these intervals is infinite, i.e., sum k int I k frac dx 1 x infty .


A BCI based Smart Home System Combined with Event related Potentials and Speech Imagery Task. Recently, smart home systems based on brain computer interface (BCI) has attracted a wide range of interests in both industry and academia. However, the current BCI system has several shortcomings as it produces a comparatively lower accuracy for real time implementations as well as the intuitive paradigm for the users cannot be well established here. Therefore, in this study, we proposed a highly intuitive BCI paradigm that combines event related potential (ERP) with the speech imagery task for the individual target objects. The decoding accuracy of the proposed paradigm was 88.1 (plus or minus 5.90) which is a much significant higher performance than a conventional ERP system. Furthermore, the amplitude of N700 components was significantly enhanced over frontal regions which are priory evoked by the speech imagery task. Our results could be utilized to develop a smart home system so that it could be more user friendly and convenient by means of delivering user's intentions both, intuitively and accurately.


Parameterized Complexity of Graph Burning. Graph Burning asks, given a graph G (V,E) and an integer k , whether there exists (b 0 , dots,b k 1 ) in V k such that every vertex in G has distance at most i from some b i . This problem is known to be NP complete even on connected caterpillars of maximum degree 3 . We study the parameterized complexity of this problem and answer all questions arose by Kare and Reddy IWOCA 2019 about parameterized complexity of the problem. We show that the problem is W 2 complete parameterized by k and that it does no admit a polynomial kernel parameterized by vertex cover number unless mathrm NP subseteq mathrm coNP poly . We also show that the problem is fixed parameter tractable parameterized by clique width plus the maximum diameter among all connected components. This implies the fixed parameter tractability parameterized by modular width, by treedepth, and by distance to cographs. Although the parameterization by distance to split graphs cannot be handled with the clique width argument, we show that this is also tractable by a reduction to a generalized problem with a smaller solution size.


Alan Baker. Alan Baker, Fields Medallist, died on 4th February 2018 in Cambridge England after a severe stroke a few days earlier. In 1970 he was awarded the Fields Medal at the International Congress in Nice on the basis of his outstanding work on linear forms in logarithms and its consequences. Since then he received many honours including the prestigious Adams Prize of Cambridge University, the election to the Royal Society (1973) and the Academia Europaea and he was made an honorary fellow of University College London, a foreign fellow of the Indian Academy of Science, a foreign fellow of the National Academy of Sciences India, an honorary member of the Hungarian Academy of Sciences, and a fellow of the American Mathematical Society. In this article we survey Alan Baker's achievements.


On Finite Entailment of Non Local Queries in Description Logics. We study the problem of finite entailment of ontology mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the description logics ALCOI and ALCOQ, extended with transitive closure. For both logics, we show 2EXPTIME upper bounds for finite entailment of unions of conjunctive queries with transitive closure. We also provide a matching lower bound by showing that finite entailment of conjunctive queries with transitive closure in ALC is 2EXPTIME hard.


Predict then Decide A Predictive Approach for Wait or Answer Task in Dialogue Systems. Different people have different habits of describing their intents in conversations. Some people tend to deliberate their intents in several successive utterances, i.e., they use several consistent messages for readability instead of a long sentence to express their question. This creates a predicament faced by the application of dialogue systems, especially in real world industry scenarios, in which the dialogue system is unsure whether it should answer the query of user immediately or wait for further supplementary input. Motivated by such an interesting predicament, we define a novel Wait or Answer task for dialogue systems. We shed light on a new research topic about how the dialogue system can be more intelligent to behave in this Wait or Answer quandary. Further, we propose a predictive approach named Predict then Decide (PTD) to tackle this Wait or Answer task. More specifically, we take advantage of a decision model to help the dialogue system decide whether to wait or answer. The decision of decision model is made with the assistance of two ancillary prediction models a user prediction and an agent prediction. The user prediction model tries to predict what the user would supplement and uses its prediction to persuade the decision model that the user has some information to add, so the dialogue system should wait. The agent prediction model tries to predict the answer of the dialogue system and convince the decision model that it is a superior choice to answer the query of user immediately since the input of user has come to an end. We conduct our experiments on two real life scenarios and three public datasets. Experimental results on five datasets show our proposed PTD approach significantly outperforms the existing models in solving this Wait or Answer problem.


Perturbative theory of ensemble averaged atomic dynamics in fluctuating laser fields. We have developed a perturbative method to model the resonant ionization of atomic systems in fluctuating laser fields. The perturbative method is based on an expansion in terms of the multitime cumulants, a suitable combination of moments (field's coherence functions), used to represent the field's statistical properties. The second order truncated expansion is expressed in terms of the radiation's power spectrum and the intensity autocorrelation function. We investigate the range of validity of the model in terms of the field's coherence temporal length and peak intensity and have compared the results with conventional Monte Carlo calculations. We apply the theory in the case of a near resonant ionization of the Helium 2s2p autoionizing state with a SASE FEL pulse with square exponentially dependent 1st order coherence function. The ionization lineshape profile acquires a Voight profile the degree of the Gaussian or Lorentzian character of which to depend crucially on the field's coherence time.


The Maestro Attack Orchestrating Malicious Flows with BGP. We present the Maestro attack, a novel Link Flooding Attack (LFA) that leverages control plane traffic engineering techniques to concentrate botnet sourced Distributed Denial of Service flows on transit links. Executed from a compromised or malicious Autonomous System (AS), Maestro advertises specific prefix routes poisoned for selected ASes to collapse inbound traffic paths onto a single target link. A greedy heuristic fed by publicly available AS relationship data iteratively builds the set of ASes to poison. Given a compromised BGP speaker with advantageous positioning relative to the target link in the Internet topology, an adversary can expect to enhance total flow density by more than 30 . For a large botnet (e.g., Mirai), that translates to augmenting a DDoS by more than a million additional infected hosts. Interestingly, the size of the adversary controlled AS plays little role in this amplification effect. Devastating attacks on core links can be executed by small, resource limited ASes. To understand the scope of the attack, we evaluate widespread Internet link vulnerability across several metrics, including BGP betweenness and botnet flow density. We then assess where an adversary must be positioned to execute the attack most successfully. Finally, we present effective mitigations for network operators seeking to insulate themselves from this attack.


Horizontal transport in oil spill modeling. Simulating oil transport in the ocean can be done successfully provided that accurate ocean currents and surface winds are available this is often too big of a challenge. Deficient ocean currents can sometimes be remediated by parameterizing missing physics this is often not enough. In this chapter, we focus on some of the main problems oil spill modelers face, which is determining accurate trajectories when the velocity may be missing important physics, or when the velocity has localized errors that result in large trajectory errors. A foundation of physical mechanisms driving motion in the ocean may help identify currents lacking certain types of physics, and the remedy. Recent progress in our understanding of motion in the upper centimeters of the ocean supports unconventional parameterizations we present as an example the 2003 Point Wells oil spill which had remained unexplained until recently. When the velocity realistically represents trajectory forcing mechanisms, advanced Lagrangian techniques that build on the theory of Lagrangian Coherent Structures can bypass localized velocity errors by identifying regions of attraction likely to dictate fluid deformation. The usefulness of Objective Eulerian Coherent Structures is demonstrated to the oil spill modeling community by revisiting the 2010 Deepwater Horizon accident in the Gulf of Mexico and predicting a prominent transport pattern from an imperfect altimetry velocity eight days in advance.


A critical blow up exponent for flux limitation in a Keller Segel system. The parabolic elliptic cross diffusion system left begin array l u t Delta u nabla cdot Big(uf( nabla v 2) nabla v Big), 1mm 0 Delta v mu u, qquad int Omega v 0, qquad mu frac 1 Omega int Omega u dx, end array right. is considered along with homogeneous Neumann type boundary conditions in a smoothly bounded domain Omega subset R n , n ge 1 , where f generalizes the prototype given by f( xi) (1 xi) alpha , qquad xi ge 0, qquad mbox for all xi ge 0, with alpha in R . In this framework, the main results assert that if n ge 2 , Omega is a ball and alpha frac n 2 2(n 1) , then throughout a considerably large set of radially symmetric initial data, an associated initial value problem admits solutions blowing up in finite time with respect to the L infty norm of their first components. This is complemented by a second statement which ensures that in general and not necessarily symmetric settings, if either n 1 and alpha in R is arbitrary, or n ge 2 and alpha frac n 2 2(n 1) , then any explosion is ruled out in the sense that for arbitrary nonnegative and continuous initial data, a global bounded classical solution exists.


Thematic Analysis of 18 Years of PERC Proceedings using Natural Language Processing. We have used an unsupervised machine learning method called Latent Dirichlet Allocation (LDA) to thematically analyze all papers published in the Physics Education Research Conference Proceedings between 2001 and 2018. By looking at co occurrences of words across the data corpus, this technique has allowed us to identify ten distinct themes or "topics" that have seen varying levels of prevalence in Physics Education Research (PER) over time and to rate the distribution of these topics within each paper. Our analysis suggests that although all identified topics have seen sustained interest over time, PER has also seen several waves of increased interest in certain topics, beginning with initial interest in qualitative, theory building studies of student understanding, which has given way to a focus on problem solving in the late 2010s. Since 2010 the field has seen a shift towards more sociocultural views of teaching and learning with a particular focus on communities of practice, student identities, and institutional change. Based on these results, we suggest that unsupervised text analysis techniques like LDA may hold promise for providing quantitative, independent, and replicable analyses of educational research literature.


Genome Compression Against a Reference. Being able to store and transmit human genome sequences is an important part in genomic research and industrial applications. The complete human genome has 3.1 billion base pairs (haploid), and storing the entire genome naively takes about 3 GB, which is infeasible for large scale usage. However, human genomes are highly redundant. Any given individual's genome would differ from another individual's genome by less than 1 . There are tools like DNAZip, which express a given genome sequence by only noting down the differences between the given sequence and a reference genome sequence. This allows losslessly compressing the given genome to 4 MB in size. In this work, we demonstrate additional improvements on top of the DNAZip library, where we show an additional 11 compression on top of DNAZip's already impressive results. This would allow further savings in disk space and network costs for transmitting human genome sequences.


Linear Convergence of Frank Wolfe for Rank One Matrix Recovery Without Strong Convexity. We consider convex optimization problems which are widely used as convex relaxations for low rank matrix recovery problems. In particular, in several important problems, such as phase retrieval and robust PCA, the underlying assumption in many cases is that the optimal solution is rank one. In this paper we consider a simple and natural sufficient condition on the objective so that the optimal solution to these relaxations is indeed unique and rank one. Mainly, we show that under this condition, the standard Frank Wolfe method with line search (i.e., without any tuning of parameters whatsoever), which only requires a single rank one SVD computation per iteration, finds an epsilon approximated solution in only O( log 1 epsilon ) iterations (as opposed to the previous best known bound of O(1 epsilon) ), despite the fact that the objective is not strongly convex. We consider several variants of the basic method with improved complexities, as well as an extension motivated by robust PCA, and finally, an extension to nonsmooth problems.


On well posedness for the inhomogeneous nonlinear Schr " o dinger equation in the critical case. In this paper we study the well posedness for the inhomogeneous nonlinear Schr "odinger equation i partial t u Delta u lambda x alpha u beta u in Sobolev spaces H s , s geq0 . The well posedness theory for this model has been intensively studied in recent years, but much less is understood compared to the classical NLS model where alpha 0 . The conventional approach does not work particularly for the critical cases beta frac 4 2 alpha d 2s . It is still an open problem. The main contribution of this paper is to develop the well posedness theory in this critical case (as well as non critical cases). To this end, we approach to the matter in a new way based on a weighted L p setting which seems to be more suitable to perform a finer analysis for this model. This is because it makes it possible to handle the singularity x alpha in the nonlinearity more effectively. This observation is a core of our approach that covers the critical case successfully.


What can you draw?. We address the problem of which planar sets can be drawn with a pencil and eraser. The pencil draws any union of black open unit disks in the plane mathbb R 2 . The eraser produces any union of white open unit disks. You may switch tools as many times as desired. Our main result is that drawability cannot be characterized by local obstructions A bounded set can be locally drawable, while not being drawable. We also show that if drawable sets are defined using closed unit disks the cardinality of the collection of drawable sets is strictly larger compared with the definition involving open unit disks.


Strict algebraic models for rational parametrised spectra I. Building on Quillen's rational homotopy theory, we obtain algebraic models for the rational homotopy theory of parametrised spectra. For any simply connected space X there is a dg Lie algebra Lambda X and a (coassociative cocommutative) dg coalgebra C X that model the rational homotopy type. In this article, we prove that the rational homotopy type of an X parametrised spectrum is completely encoded by a Lambda X representation and also by a C X comodule. The correspondence between rational parametrised spectra and algebraic data is obtained by means of symmetric monoidal equivalences of homotopy categories that vary pseudofunctorially in the simply connected parameter space X . Our results establish a comprehensive dictionary enabling the translation of topological constructions into homological algebra using Lie representations and comodules, and conversely. For example, the fibrewise smash product of parametrised spectra is encoded by the derived tensor product of dg Lie representations and also by the derived cotensor product of dg comodules. As an application, we obtain algebraic descriptions of rational homotopy classes of fibrewise stable maps, providing new tools for the study of spaces of sections.


Lie conformal superalgebras and duality of modules over linearly compact Lie superalgebras. We construct a duality functor on the category of continuous representations of linearly compact Lie superalgebras, using representation theory of Lie conformal superalgebras. We compute the dual representations of the generalized Verma modules.


Cold start Sequential Recommendation via Meta Learner. This paper explores meta learning in sequential recommendation to alleviate the item cold start problem. Sequential recommendation aims to capture user's dynamic preferences based on historical behavior sequences and acts as a key component of most online recommendation scenarios. However, most previous methods have trouble recommending cold start items, which are prevalent in those scenarios. As there is generally no side information in the setting of sequential recommendation task, previous cold start methods could not be applied when only user item interactions are available. Thus, we propose a Meta learning based Cold Start Sequential Recommendation Framework, namely Mecos, to mitigate the item cold start problem in sequential recommendation. This task is non trivial as it targets at an important problem in a novel and challenging context. Mecos effectively extracts user preference from limited interactions and learns to match the target cold start item with the potential user. Besides, our framework can be painlessly integrated with neural network based models. Extensive experiments conducted on three real world datasets verify the superiority of Mecos, with the average improvement up to 99 , 91 , and 70 in HR 10 over state of the art baseline methods.


Recursive CSI Quantization of Time Correlated MIMO Channels by Deep Learning Classification. In frequency division duplex (FDD) multiple input multiple output (MIMO) wireless communications, limited channel state information (CSI) feedback is a central tool to support advanced single and multi user MIMO beamforming precoding. To achieve a given CSI quality, the CSI quantization codebook size has to grow exponentially with the number of antennas, leading to quantization complexity, as well as, feedback overhead issues for larger MIMO systems. We have recently proposed a multi stage recursive Grassmannian quantizer that enables a significant complexity reduction of CSI quantization. In this paper, we show that this recursive quantizer can effectively be combined with deep learning classification to further reduce the complexity, and that it can exploit temporal channel correlations to reduce the CSI feedback overhead.


Task Informed Fidelity Management for Speeding Up Robotics Simulation. Simulators are an important tool in robotics that is used to develop robot software and generate synthetic data for machine learning algorithms. Faster simulation can result in better software validation and larger amounts of data. Previous efforts for speeding up simulators have been performed at the level of simulator building blocks, and robot systems. Our key insight, motivating this work, is that further speedups can be obtained at the level of the robot task. Building on the observation that not all parts of a scene need to be simulated in high fidelity at all times, our approach is to toggle between high and low fidelity states for scene objects in a task informed manner. Our contribution is a framework for speeding up robot simulation by exploiting task knowledge. The framework is agnostic to the underlying simulator, and preserves simulation fidelity. As a case study, we consider a complex material handling task. For the associated simulation, which contains many of the characteristics that make robot simulation slow, we achieve a speedup that can be up to three times faster than high fidelity without compromising on the quality of the results. We also demonstrate that faster simulation allows us to train better policies for performing the task at hand in a short period of time. A video summarizing our contributions can be found at https youtu.be PEzypDyqc3o .


On the Divisibility of Character Values of the Symmetric Group. Fix a partition mu ( mu 1, dotsc, mu m) of an integer k and positive integer d . For each n k , let chi lambda mu denote the value of the irreducible character of S n at a permutation with cycle type ( mu 1, dotsc, mu m,1 n k ) . We show that the proportion of partitions lambda of n such that chi lambda mu is divisible by d approaches 1 as n approaches infinity.


Asymptotic Analysis of the Elephant Random Walk. In this work we study asymptotic properties of a long range memory random walk known as elephant random walk. First we prove recurrence and positive recurrence for the elephant random walk. Then, we establish the transience regime of the model. Finally, under the Poisson Hypothesis, we study the replica mean field limit for this random walk and we obtain an upper bound for the expected distance of the walker from the origin.


How heterogeneous thymic output and homeostatic proliferation shape naive T cell receptor clone abundance distributions. The set of T cells that express the same T cell receptor (TCR) sequence represents a T cell clone. The number of different naive T cell clones in an organism reflects the number of different T cell receptors (TCRs) arising from recombination of the V(D)J gene segments during T cell development in the thymus. TCR diversity and more specifically, the clone abundance distribution is an important factor in immune function. Specific recombination patterns occur more frequently than others while subsequent interactions between TCRs and self antigens are known to trigger proliferation and sustain naive T cell survival. These processes are TCR dependent, leading to clone dependent thymic export and naive T cell proliferation rates. Using a mean field approximation to the solution of a regulated birth death immigration model and a modification arising from sampling, we systematically quantify how TCR dependent heterogeneities in immigration and proliferation rates affect the shape of clone abundance distributions (the number of different clones that are represented by a specific number of cells, or "clone counts"). By comparing predicted clone counts derived from our heterogeneous birth death immigration model with experimentally sampled clone abundances, we show that although heterogeneity in immigration rates causes very little change to predicted clone counts, significant heterogeneity in proliferation rates is necessary to generate the observed abundances with reasonable physiological parameter values. Our analysis provides constraints among physiological parameters that are necessary to yield predictions that qualitatively match the data. Assumptions of the model and potentially other important mechanistic factors are discussed.


SPDEs with linear multiplicative fractional noise continuity in law with respect to the Hurst index. In this article, we consider the one dimensional stochastic wave and heat equations driven by a linear multiplicative Gaussian noise which is white in time and behaves in space like a fractional Brownian motion with Hurst index H in ( frac 14,1) . We prove that the solution of each of the above equations is continuous in terms of the index H , with respect to the convergence in law in the space of continuous functions. The proof is based on a tightness criterion on the plane and Malliavin calculus techniques in order to identify the limit law.


An FFT solver used for virtual Dynamic Mechanical Analysis experiments Application on a glassy amorphous system and on a particulate composite. FFT based solvers are increasingly used by many researcher groups interested in modelling the mechanical behavior associated to a heterogeneous microstructure. A development is reported here that concerns the viscoelastic behavior of composite structures generally studied experimentally through Dynamic Mechanical Analysis (DMA). A parallelized computation code developed under complex valued quantities provides virtual DMA experiments directly in the frequency domain on a heterogenous system described by a voxel grid of mechanical properties. The achieved precision and computation times are very good. An effort has been made to show the application of such virtual DMA tool starting from two examples found in the literature the modelling of glassy amorphous systems at a small scale and the modelling of experimental data obtained in temperature sweeping mode by DMA on a particulate composite made of glass beads and a polystyrene matrix, at a larger scale. Both examples show how virtual DMA can contribute to question, analyze, understand relaxation phenomena either on the theoretical or experimental point of view.


Maximum Entropy Regularization and Chinese Text Recognition. Chinese text recognition is more challenging than Latin text due to the large amount of fine grained Chinese characters and the great imbalance over classes, which causes a serious overfitting problem. We propose to apply Maximum Entropy Regularization to regularize the training process, which is to simply add a negative entropy term to the canonical cross entropy loss without any additional parameters and modification of a model. We theoretically give the convergence probability distribution and analyze how the regularization influence the learning process. Experiments on Chinese character recognition, Chinese text line recognition and fine grained image classification achieve consistent improvement, proving that the regularization is beneficial to generalization and robustness of a recognition model.


Estimation and Prediction of technical debt a proposal. Technical debt is a metaphor used to convey the idea that doing things in a "quick and dirty" way when designing and constructing a software leads to a situation where one incurs more and more deferred future expenses. Similarly to financial debt, technical debt requires payment of interest in the form of the additional development effort that could have been avoided if the quick and dirty design choices have not been made. Technical debt applies to all the aspects of software development, spanning from initial requirements analysis to deployment, and software evolution. Technical debt is becoming very popular from scientific and industrial perspectives. In particular, there is an increase in the number of related papers over the years. There is also an increase in the number of related tools and of their adoption in the industry, especially since technical debt is very pricey and therefore needs to be managed. However, techniques to estimate technical debt are inadequate, insufficient since they mostly focus on requirements, code, and test, disregarding key artifacts such as the software architecture and the technologies used by the software at hand. Besides, despite its high relevance, technical debt prediction is one of the least explored aspects of technical debt. To address these shortcomings, it is mandatory that I undertake research to 1) improve existing techniques to properly estimate technical debt 2) to determine the extent to which the use of prediction techniques to foresee and therefore avoid technical debt could help companies save money and avoid a potential bankruptcy in the subsequent years. The proposed research can have an important economic impact by helping companies save several millions. It can have a major scientific impact by leading to key findings that will be disseminated through patents, well established scientific journals and conferences.


An approach to the distributionally robust shortest path problem. In this study we consider the shortest path problem, where the arc costs are subject to distributional uncertainty. Basically, the decision maker attempts to minimize her worst case expected loss over an ambiguity set (or a family) of candidate distributions that are consistent with the decision maker's initial information. The ambiguity set is formed by all distributions that satisfy prescribed linear first order moment constraints with respect to subsets of arcs and individual probability constraints with respect to particular arcs. Under some additional assumptions the resulting distributionally robust shortest path problem (DRSPP) admits equivalent robust and mixed integer programming (MIP) reformulations. The robust reformulation is shown to be NP hard, whereas the problem without the first order moment constraints is proved to be polynomially solvable. We perform numerical experiments to illustrate the advantages of the considered approach we also demonstrate that the MIP reformulation of DRSPP can be solved effectively using off the shelf solvers.


New Constructions of Optimal Locally Repairable Codes with Super Linear Length. As an important coding scheme in modern distributed storage systems, locally repairable codes (LRCs) have attracted a lot of attentions from perspectives of both practical applications and theoretical research. As a major topic in the research of LRCs, bounds and constructions of the corresponding optimal codes are of particular concerns. In this work, codes with (r, delta) locality which have optimal minimal distance w.r.t. the bound given by Prakash et al. cite Prakash2012Optimal are considered. Through parity check matrix approach, constructions of both optimal (r, delta) LRCs with all symbol locality ( (r, delta) a LRCs) and optimal (r, delta) LRCs with information locality ( (r, delta) i LRCs) are provided. As a generalization of a work of Xing and Yuan cite XY19 , these constructions are built on a connection between sparse hypergraphs and optimal (r, delta) LRCs. With the help of constructions of large sparse hypergraphs, the length of codes constructed can be super linear in the alphabet size. This improves upon previous constructions when the minimal distance of the code is at least 3 delta 1 . As two applications, optimal H LRCs with super linear length and GSD codes with unbounded length are also constructed.


Backdooring and Poisoning Neural Networks with Image Scaling Attacks. Backdoors and poisoning attacks are a major threat to the security of machine learning and vision systems. Often, however, these attacks leave visible artifacts in the images that can be visually detected and weaken the efficacy of the attacks. In this paper, we propose a novel strategy for hiding backdoor and poisoning attacks. Our approach builds on a recent class of attacks against image scaling. These attacks enable manipulating images such that they change their content when scaled to a specific resolution. By combining poisoning and image scaling attacks, we can conceal the trigger of backdoors as well as hide the overlays of clean label poisoning. Furthermore, we consider the detection of image scaling attacks and derive an adaptive attack. In an empirical evaluation, we demonstrate the effectiveness of our strategy. First, we show that backdoors and poisoning work equally well when combined with image scaling attacks. Second, we demonstrate that current detection defenses against image scaling attacks are insufficient to uncover our manipulations. Overall, our work provides a novel means for hiding traces of manipulations, being applicable to different poisoning approaches.


Divergence and convergence of inertial particles in high Reynolds number turbulence. Inertial particle data from three dimensional direct numerical simulations of particle laden homogeneous isotropic turbulence at high Reynolds number are analyzed using Voronoi tessellation of the particle positions, considering different Stokes numbers. A finite time measure to quantify the divergence of the particle velocity by determining the volume change rate of the Voronoi cells is proposed. For inertial particles the probability distribution function (PDF) of the divergence deviates from that for fluid particles. Joint PDFs of the divergence and the Voronoi volume illustrate that the divergence is most prominent in cluster regions and less pronounced in void regions. For larger volumes the results show negative divergence values which represent cluster formation (i.e. particle convergence) and for small volumes the results show positive divergence values which represents cluster destruction void formation (i.e. particle divergence). Moreover, when the Stokes number increases the divergence takes larger values, which gives some evidence why fine clusters are less observed for large Stokes numbers. Theoretical analyses further show that the divergence for random particles in random flow satisfies a PDF corresponding to the ratio of two independent variables following normal and gamma distributions in one dimension. Extending this model to three dimensions, the predicted PDF agrees reasonably well with Monte Carlo simulations and DNS data of fluid particles.


Weakly robust periodic solutions of one dimensional cellular automata with random rules. We study 2 neighbor one dimensional cellular automata with a large number n of states and randomly selected rules. We focus on the rules with weakly robust periodic solutions (WRPS). WRPS are global configurations that exhibit spatial and temporal periodicity and advance into any environment with at least a fixed strictly positive velocity. Our main result quantifies how unlikely WRPS are the probability of existence of a WRPS within a finite range of periods is asymptotically proportional to 1 n , provided that a divisibility condition is satisfied. Our main tools come from random graph theory and the Chen Stein method for Poisson approximation.


Predicting All Data Race Pairs for a Specific Schedule (extended version). We consider the problem of data race prediction where the program's behavior is represented by a trace. A trace is a sequence of program events recorded during the execution of the program. We employ the schedulable happens before relation to characterize all pairs of events that are in a race for the schedule as manifested in the trace. Compared to the classic happens before relation, the schedulable happens before relations properly takes care of write read dependencies and thus avoids false positives. The challenge is to efficiently identify all (schedulable) data race pairs. We present a refined linear time vector clock algorithm to predict many of the schedulable data race pairs. We introduce a quadratic time post processing algorithm to predict all remaining data race pairs. This improves the state of the art in the area and our experiments show that our approach scales to real world examples. Thus, the user can systematically examine and fix all program locations that are in a race for a particular schedule.


Primitive Recursive Ordered Fields and Some Applications. We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness of some natural problems in linear algebra and analysis. In particular, we find a partial primitive recursive analogue of Ershov Madison's theorem about real closures of computable ordered fields, relate the corresponding fields to the primitive recursive reals, give sufficient conditions for primitive recursive root finding, computing normal forms of matrices, and computing solution operators of some linear systems of PDE.


Extensions of greedy like bases for sequences with gaps. In 17 , T. Oikhberg introduced and studied variants of the greedy and weak greedy algorithms for sequences with gaps. In this paper, we continue the study of these algorithms, extending the notions of some greedy like bases and of several properties generally studied in connection with them to the context of sequences with gaps. A key classification of these sequences distinguishes between bounded gaps and arbitrarily large ones. We establish several equivalences for sequences in the first of these classes, and provide examples showing that they do not hold for sequences in the second one.


Fingerprinting Analog IoT Sensors for Secret Free Authentication. Especially in context of critical urban infrastructures, trust in IoT data is of utmost importance. While most technology stacks provide means for authentication and encryption of device to cloud traffic, there are currently no mechanisms to rule out physical tampering with an IoT device's sensors. Addressing this gap, we introduce a new method for extracting a hardware fingerprint of an IoT sensor which can be used for secret free authentication. By comparing the fingerprint against reference measurements recorded prior to deployment, we can tell whether the sensing hardware connected to the IoT device has been changed by environmental effects or with malicious intent. Our approach exploits the characteristic behavior of analog circuits, which is revealed by applying a fixed frequency alternating current to the sensor, while recording its output voltage. To demonstrate the general feasibility of our method, we apply it to four commercially available temperature sensors using laboratory equipment and evaluate the accuracy. The results indicate that with a sensible configuration of the two hyperparameters we can identify individual sensors with high probability, using only a few recordings from the target device.


Multi Scale Cascading Network with Compact Feature Learning for RGB Infrared Person Re Identification. RGB Infrared person re identification (RGB IR Re ID) aims to match persons from heterogeneous images captured by visible and thermal cameras, which is of great significance in the surveillance system under poor light conditions. Facing great challenges in complex variances including conventional single modality and additional inter modality discrepancies, most of the existing RGB IR Re ID methods propose to impose constraints in image level, feature level or a hybrid of both. Despite the better performance of hybrid constraints, they are usually implemented with heavy network architecture. As a matter of fact, previous efforts contribute more as pioneering works in new cross modal Re ID area while leaving large space for improvement. This can be mainly attributed to (1) lack of abundant person image pairs from different modalities for training, and (2) scarcity of salient modality invariant features especially on coarse representations for effective matching. To address these issues, a novel Multi Scale Part Aware Cascading framework (MSPAC) is formulated by aggregating multi scale fine grained features from part to global in a cascading manner, which results in a unified representation containing rich and enhanced semantic features. Furthermore, a marginal exponential centre (MeCen) loss is introduced to jointly eliminate mixed variances from intra and inter modal examples. Cross modality correlations can thus be efficiently explored on salient features for distinctive modality invariant feature learning. Extensive experiments are conducted to demonstrate that the proposed method outperforms all the state of the art by a large margin.


Complete Endomorphisms in Computer Vision. Correspondences between k tuples of points are key in multiple view geometry and motion analysis. Regular transformations are posed by homographies between two projective planes that serves as structural models for images. Such transformations can not include degenerate situations. Fundamental or essential matrices expand homographies with structural information by using degenerate bilinear maps. The projectivization of the endomorphisms of a three dimensional vector space includes all of them. Hence, they are able to explain a wider range of eventually degenerate transformations between arbitrary pairs of views. To include these degenerate situations, this paper introduces a completion of bilinear maps between spaces given by an equivariant compactification of regular transformations. This completion is extensible to the varieties of fundamental and essential matrices, where most methods based on regular transformations fail. The construction of complete endomorphisms manages degenerate projection maps using a simultaneous action on source and target spaces. In such way, this mathematical construction provides a robust framework to relate corresponding views in multiple view geometry.


Utility aware and privacy preserving mobile query services. Location based queries enable fundamental services for mobile road network travelers. While the benefits of location based services (LBS) are numerous, exposure of mobile travelers' location information to untrusted LBS providers may lead to privacy breaches. In this paper, we propose StarCloak, a utility aware and attack resilient approach to building a privacy preserving query system for mobile users traveling on road networks. StarCloak has several desirable properties. First, StarCloak supports user defined k user anonymity and l segment indistinguishability, along with user specified spatial and temporal utility constraints, for utility aware and personalized location privacy. Second, unlike conventional solutions which are indifferent to underlying road network structure, StarCloak uses the concept of stars and proposes cloaking graphs for effective location cloaking on road networks. Third, StarCloak achieves strong attack resilience against replay and query injection based attacks through randomized star selection and pruning. Finally, to enable scalable query processing with high throughput, StarCloak makes cost aware star selection decisions by considering query evaluation and network communication costs. We evaluate StarCloak on two real world road network datasets under various privacy and utility constraints. Results show that StarCloak achieves improved query success rate and throughput, reduced anonymization time and network usage, and higher attack resilience in comparison to XStar, its most relevant competitor.


Size Dependence of the photothermal response of a single metal nanosphere. We study the thermal response of a single spherical metal nanoparticle to continuous wave illumination as a function of its size. We show that the particle temperature increases non monotonically as the particle size increases, indicating that the photo thermal response can be optimized by tuning the particle size and illumination wavelength. We also compare the size effect on the photo thermal effects of gold and silver nanoparticles and find somewhat surprisingly that Ag NPs are more efficient heat generators only for sufficiently small sizes. These results have importance primarily for application such as plasmon assisted photo catalysis, photothermal cancer therapy, etc., and provide a first step toward the study of the size dependence of the thermo optic nonlinearity of metal nanospheres.


Dynamic Graph Based Anomaly Detection in the Electrical Grid. Given sensor readings over time from a power grid, how can we accurately detect when an anomaly occurs? A key part of achieving this goal is to use the network of power grid sensors to quickly detect, in real time, when any unusual events, whether natural faults or malicious, occur on the power grid. Existing bad data detectors in the industry lack the sophistication to robustly detect broad types of anomalies, especially those due to emerging cyber attacks, since they operate on a single measurement snapshot of the grid at a time. New ML methods are more widely applicable, but generally do not consider the impact of topology change on sensor measurements and thus cannot accommodate regular topology adjustments in historical data. Hence, we propose DYNWATCH, a domain knowledge based and topology aware algorithm for anomaly detection using sensors placed on a dynamic grid. Our approach is accurate, outperforming existing approaches by 20 or more (F measure) in experiments and fast, running in less than 1.7ms on average per time tick per sensor on a 60K branch case using a laptop computer, and scaling linearly in the size of the graph.


Quantitative Survey of the State of the Art in Sign Language Recognition. This work presents a meta study covering around 300 published sign language recognition papers with over 400 experimental results. It includes most papers between the start of the field in 1983 and 2020. Additionally, it covers a fine grained analysis on over 25 studies that have compared their recognition approaches on RWTH PHOENIX Weather 2014, the standard benchmark task of the field. Research in the domain of sign language recognition has progressed significantly in the last decade, reaching a point where the task attracts much more attention than ever before. This study compiles the state of the art in a concise way to help advance the field and reveal open questions. Moreover, all of this meta study's source data is made public, easing future work with it and further expansion. The analyzed papers have been manually labeled with a set of categories. The data reveals many insights, such as, among others, shifts in the field from intrusive to non intrusive capturing, from local to global features and the lack of non manual parameters included in medium and larger vocabulary recognition systems. Surprisingly, RWTH PHOENIX Weather with a vocabulary of 1080 signs represents the only resource for large vocabulary continuous sign language recognition benchmarking world wide.


Soliton resolution for the modified KdV equation. The soliton resolution for the focusing modified Korteweg de vries (mKdV) equation is established for initial conditions in some weighted Sobolev spaces. Our approach is based on the nonlinear steepest descent method and its reformulation through bar partial derivatives. From the view of stationary points, we give precise asymptotic formulas along trajectory x textrm v t for any fixed textrm v . To extend the asymptotics to solutions with initial data in low regularity spaces, we apply a global approximation via PDE techniques. As byproducts of our long time asymptotics, we also obtain the asymptotic stability of nonlinear structures involving solitons and breathers.


Polyhedral approximation by Lagrangian and isotropic tori. We prove that every smoothly immersed 2 torus of mathbb R 4 can be approximated, in the C0 sense, by immersed polyhedral Lagrangian tori. In the case of a smoothly immersed (resp. embedded) Lagrangian torus of mathbb R 4 , the surface can be approximated in the C1 sense by immersed (resp. embedded) polyhedral Lagrangian tori. Similar statements are proved for isotropic 2 tori of mathbb R 2n .


Thermodynamic stability of droplets, bubbles and thick films in open and closed pores. A fluid in a pore can form diverse heterogeneous structures. We combine a capillary description with the cubic plus association equation of state to study the thermodynamic stability of droplets, bubbles and films of water at 358 K in a cylindrically symmetric pore. The equilibrium structure depends strongly on the size of the pore and whether the pore is closed or connected to a particle reservoir. A new methodology is presented to analyze the thermodynamic stability of films, where the integral that describes the total energy of the system is approximated by a quadrature rule. We show that, for large pores, the thermodynamic stability limit of adsorbed droplets and bubbles in both open and closed pores is governed by their mechanical stability, which is closely linked to the pore shape. This is also the case for a film in a closed pore. In open pores, the film is chemically unstable except for very low film phase contact angles and for a limited range in external pressure. This result emphasizes the need to invoke a complete thermodynamic stability analysis, and not restrict the discussion to mechanical stability. A common feature for most of the heterogeneous structures examined is the appearance of regions where the structure is metastable with respect to a pore filled with a homogeneous fluid. In the closed pores, these regions grow considerably in size when the pores become smaller. ... Complete phase diagrams are presented that compare all the investigated structures. In open pores at equilibrium, the most stable structure is either the homogeneous phase or adsorbed droplets and bubbles, depending on the type of phase in the external reservoir. Smaller pores allow for droplets and bubbles to adsorb for a larger span in pressure. In closed pores, most of the investigated configurations can occur depending on the total density, the contact angle and the pore shape. ...


SEAIR epidemic spreading model of COVID 19. We study Susceptible Exposed Asymptomatic Infectious Recovered (SEAIR) epidemic spreading model of COVID 19. It captures two important characteristics of the infectiousness of COVID 19 delayed start and its appearance before onset of symptoms, or even with total absence of them. The model is theoretically analyzed in continuous time compartmental version and discrete time version on random regular graphs and complex networks. We show analytically that there are relationships between the epidemic thresholds and the equations for the susceptible populations at the endemic equilibrium in all three versions, which hold when the epidemic is weak. We provide theoretical arguments that eigenvector centrality of a node approximately determines its risk to become infected.


Pointwise inequalities for Sobolev functions on outward cuspidal domains. We show that the first order Sobolev spaces on cuspidal symmetric domains can be characterized via pointwise inequalities. In particular, they coincide with the Hajlasz Sobolev spaces.


Learning Binary Semantic Embedding for Histology Image Classification and Retrieval. With the development of medical imaging technology and machine learning, computer assisted diagnosis which can provide impressive reference to pathologists, attracts extensive research interests. The exponential growth of medical images and uninterpretability of traditional classification models have hindered the applications of computer assisted diagnosis. To address these issues, we propose a novel method for Learning Binary Semantic Embedding (LBSE). Based on the efficient and effective embedding, classification and retrieval are performed to provide interpretable computer assisted diagnosis for histology images. Furthermore, double supervision, bit uncorrelation and balance constraint, asymmetric strategy and discrete optimization are seamlessly integrated in the proposed method for learning binary embedding. Experiments conducted on three benchmark datasets validate the superiority of LBSE under various scenarios.


A New Optimized Quasihelically SymmetricStellarator. A new optimized quasihelically symmetric configuration is described that has the desir able properties of improved energetic particle confinement, reduced turbulent transportby 3D shaping, and non resonant divertor capabilities. The configuration presented in thispaper is explicitly optimized for quasihelical symmetry, energetic particle confinement,neoclassical confinement, and stability near the axis. Post optimization, the configurationwas evaluated for its performance with regard to energetic particle transport, idealmagnetohydrodynamic (MHD) stability at various values of plasma pressure, and iontemperature gradient instability induced turbulent transport. The effect of discrete coilson various confinement figures of merit, including energetic particle confinement, aredetermined by generating single filament coils for the configuration. Preliminary divertoranalysis shows that coils can be created that do not interfere with expansion of thevessel volume near the regions of outgoing heat flux, thus demonstrating the possibilityof operating a non resonant divertor.


Traffic Behavior in Cloud Data Centers A Survey. Data centers (DCs) nowadays house tens of thousands of servers and switches, interconnected by high speed communication links. With the rapid growth of cloud DCs, in both size and number, tremendous efforts have been undertaken to efficiently design the network and manage the traffic within these DCs. However, little effort has been made toward measuring, understanding and chattelizing how the network level traffic of these DCs behave. In this paper, we aim to present a systematic taxonomy and survey of these DC studies. Specifically, our survey first decomposes DC network traffic behavior into two main stages, namely (1) data collection methodologies and (2) research findings, and then classifies and discusses the recent research studies in each stage. Finally, the survey highlights few research challenges related to DC network traffic that require further research investigation.


Triples of rational points on the Hermitian curve and their Weierstrass semigroups. In this paper, we study configurations of three rational points on the Hermitian curve over mathbb F q 2 and classify them according to their Weierstrass semigroups. For q 3 , we show that the number of distinct semigroups of this form is equal to the number of positive divisors of q 1 and give an explicit description of the Weierstrass semigroup for each triple of points studied. To do so, we make use of two point discrepancies and derive a criterion which applies to arbitrary curves over a finite field.


New lower bounds on the size Ramsey number of a path. We prove that for all graphs with at most (3.75 o(1))n edges there exists a 2 coloring of the edges such that every monochromatic path has order less than n . This was previously known to be true for graphs with at most 2.5n 7.5 edges. We also improve on the best known lower bounds in the r color case.


Congestion aware Evacuation Routing using Augmented Reality Devices. We present a congestion aware routing solution for indoor evacuation, which produces real time individual customized evacuation routes among multiple destinations while keeping tracks of all evacuees' locations. A population density map, obtained on the fly by aggregating locations of evacuees from user end Augmented Reality (AR) devices, is used to model the congestion distribution inside a building. To efficiently search the evacuation route among all destinations, a variant of A algorithm is devised to obtain the optimal solution in a single pass. In a series of simulated studies, we show that the proposed algorithm is more computationally optimized compared to classic path planning algorithms it generates a more time efficient evacuation route for each individual that minimizes the overall congestion. A complete system using AR devices is implemented for a pilot study in real world environments, demonstrating the efficacy of the proposed approach.


Fast longitudinal beam dynamics optimization in x ray FEL linear accelerators. A high peak current, flat longitudinal phase space electron beam is desirable for efficient x ray free electron laser (FEL) radiation in next generation light sources. To attain such a beam requires the extensive design of the linear accelerator (linac) including both linear and nonlinear effects. In this paper, we propose a lumped longitudinal beam dynamics model for fast optimization of the electron beam longitudinal phase space through the accelerator. This model is much faster than available tracking programs and also shows good agreement with the fully three dimensional element by element multi particle simulations. We applied this model in a parallel multi objective differential evolution optimization program to an existing LCLS II superconducting linac design and obtained an optimal solution with significantly higher core peak current than the original design.


Multivariate Central Limit Theorems for Random Simplicial Complexes. Consider a Poisson point process within a convex set in a Euclidean space. The Vietoris Rips complex is the clique complex over the graph connecting all pairs of points with distance at most delta . Summing powers of the volume of all k dimensional faces defines the volume power functionals of these random simplicial complexes. The asymptotic behavior of the volume power functionals of the Vietoris Rips complex is investigated as the intensity of the underlying Poisson point process tends to infinity and the distance parameter goes to zero. Univariate and multivariate central limit theorems are proven. Analogous results for the v C ech complex are given.


Cartoon Face Recognition A Benchmark Dataset. Recent years have witnessed increasing attention in cartoon media, powered by the strong demands of industrial applications. As the first step to understand this media, cartoon face recognition is a crucial but less explored task with few datasets proposed. In this work, we first present a new challenging benchmark dataset, consisting of 389,678 images of 5,013 cartoon characters annotated with identity, bounding box, pose, and other auxiliary attributes. The dataset, named iCartoonFace, is currently the largest scale, high quality, richannotated, and spanning multiple occurrences in the field of image recognition, including near duplications, occlusions, and appearance changes. In addition, we provide two types of annotations for cartoon media, i.e., face recognition, and face detection, with the help of a semi automatic labeling algorithm. To further investigate this challenging dataset, we propose a multi task domain adaptation approach that jointly utilizes the human and cartoon domain knowledge with three discriminative regularizations. We hence perform a benchmark analysis of the proposed dataset and verify the superiority of the proposed approach in the cartoon face recognition task. We believe this public availability will attract more research attention in broad practical application scenarios.


Extending SLURM for Dynamic Resource Aware Adaptive Batch Scheduling. With the growing constraints on power budget and increasing hardware failure rates, the operation of future exascale systems faces several challenges. Towards this, resource awareness and adaptivity by enabling malleable jobs has been actively researched in the HPC community. Malleable jobs can change their computing resources at runtime and can significantly improve HPC system performance. However, due to the rigid nature of popular parallel programming paradigms such as MPI and lack of support for dynamic resource management in batch systems, malleable jobs have been largely unrealized. In this paper, we extend the SLURM batch system to support the execution and batch scheduling of malleable jobs. The malleable applications are written using a new adaptive parallel paradigm called Invasive MPI which extends the MPI standard to support resource adaptivity at runtime. We propose two malleable job scheduling strategies to support performance aware and power aware dynamic reconfiguration decisions at runtime. We implement the strategies in SLURM and evaluate them on a production HPC system. Results for our performance aware scheduling strategy show improvements in makespan, average system utilization, average response, and waiting times as compared to other scheduling strategies. Moreover, we demonstrate dynamic power corridor management using our power aware strategy.


Development of a Predictive Process Design kit for15 nm FinFETs FreePDK15. FinFETs are predicted to advance semiconductorscaling for sub 20nm devices. In order to support their intro duction into research and universities it is crucial to develop anopen source predictive process design kit. This paper discussesin detail the design process for such a kit for 15nm FinFETdevices, called the FreePDK15. The kit consists of a layerstack with thirteen metal layers based on hierarchical scalingused in ASIC architecture, Middle of Line local interconnectlayers and a set of Front End of Line layers. The physical andgeometrical properties of these layers are defined and theseproperties determine the density and parasitics of the design. Thedesign rules are laid down considering additional guidelines forprocess variability, challenges involved in FinFET fabrication anda unique set of design rules are developed for critical dimensions.Layout extraction including modified rules for determining thegeometrical characteristics of FinFET layouts are implementedand discussed to obtain successful Layout Versus Schematicchecks for a set of layouts. Moreover, additional parasiticcomponents of a standard FinFET device are analyzed andthe parasitic extraction of sample layouts is performed. Theseextraction results are then compared and assessed against thevalidation models.


A numerical algorithm to computationally solve the Hemker problem using Shishkin meshes. A numerical algorithm is presented to solve a benchmark problem proposed by Hemker. The algorithm incorporates asymptotic information into the design of appropriate piecewise uniform Shishkin meshes. Moreover, different co ordinate systems are utilized due to the different geometries and associated layer structures that are involved in this problem. Numerical results are presented to demonstrate the effectiveness of the proposed numerical algorithm.


Pragmatically Informative Color Generation by Grounding Contextual Modifiers. Grounding language in contextual information is crucial for fine grained natural language understanding. One important task that involves grounding contextual modifiers is color generation. Given a reference color "green", and a modifier "bluey", how does one generate a color that could represent "bluey green"? We propose a computational pragmatics model that formulates this color generation task as a recursive game between speakers and listeners. In our model, a pragmatic speaker reasons about the inferences that a listener would make, and thus generates a modified color that is maximally informative to help the listener recover the original referents. In this paper, we show that incorporating pragmatic information provides significant improvements in performance compared with other state of the art deep learning models where pragmatic inference and flexibility in representing colors from a large continuous space are lacking. Our model has an absolute 98 increase in performance for the test cases where the reference colors are unseen during training, and an absolute 40 increase in performance for the test cases where both the reference colors and the modifiers are unseen during training.


Basic inequality for statistical submanifolds of quaternion Kaehler like statistical manifolds. In the present paper, we obtain the basic Chen inequalities for submanifolds of quaternion Kaehler like statistical manifolds. Also, we discuss the same inequality for Lagrangian submanifolds.


PointContrast Unsupervised Pre training for 3D Point Cloud Understanding. Arguably one of the top success stories of deep learning is transfer learning. The finding that pre training a network on a rich source set (eg., ImageNet) can help boost performance once fine tuned on a usually much smaller target set, has been instrumental to many applications in language and vision. Yet, very little is known about its usefulness in 3D point cloud understanding. We see this as an opportunity considering the effort required for annotating data in 3D. In this work, we aim at facilitating research on 3D representation learning. Different from previous works, we focus on high level scene understanding tasks. To this end, we select a suite of diverse datasets and tasks to measure the effect of unsupervised pre training on a large source set of 3D scenes. Our findings are extremely encouraging using a unified triplet of architecture, source dataset, and contrastive loss for pre training, we achieve improvement over recent best results in segmentation and detection across 6 different benchmarks for indoor and outdoor, real and synthetic datasets demonstrating that the learned representation can generalize across domains. Furthermore, the improvement was similar to supervised pre training, suggesting that future efforts should favor scaling data collection over more detailed annotation. We hope these findings will encourage more research on unsupervised pretext task design for 3D deep learning.


Multi interval dissipative Sturm Liouville boundary value problems with distributional coefficients. The paper investigates spectral properties of multi interval Sturm Liouville operators with distributional coefficients. Constructive descriptions of all self adjoint and maximal dissipative accumulative extensions in terms of boundary conditions are given. Sufficient conditions for the resolvents of these operators to be operators of the trace class and for the systems of root functions to be complete are found. Results of paper are new for one interval boundary value problems as well.


Evolutionary dynamics of complex traits in sexual populations in a strongly heterogeneous environment how normal?. When studying the dynamics of trait distribution of populations in a heterogeneous environment, classical models from quantitative genetics choose to look at its system of moments, specifically the first two ones. Additionally, in order to close the resulting system of equations, they often assume that the trait distribution is Gaussian (see for instance Ronce and Kirkpatrick 2001). The aim of this paper is to introduce a mathematical framework that follows the whole trait distribution (without prior assumption) to study evolutionary dynamics of sexually reproducing populations. Specifically, it focuses on complex traits, whose inheritance can be encoded by the infinitesimal model of segregation (Fisher 1919). We show that it allows us to derive a regime in which our model gives the same dynamics as when assuming a Gaussian trait distribution. To support that, we compare the stationary problems of the system of moments derived from our model with the one given in Ronce and Kirkpatrick 2001 and show that they are equivalent under this regime and do not need to be otherwise. Moreover, under this regime of equivalence, we show that a separation bewteen ecological and evolutionary time scales arises. A fast relaxation toward monomorphism allows us to reduce the complexity of the system of moments, using a slow fast analysis. This reduction leads us to complete, still in this regime, the analytical description of the bistable asymmetrical equilibria numerically found in Ronce and Kirkpatrick 2001. More globally, we provide explicit modelling hypotheses that allow for such local adaptation patterns to occur.


Hybrid deep neural network based prediction method for unsteady flows with moving boundaries. A novel hybrid deep neural network architecture is designed to capture the spatial temporal features of unsteady flows around moving boundaries directly from high dimensional unsteady flow fields data. The hybrid deep neural network is constituted by the convolutional neural network (CNN), improved convolutional Long Short Term Memory neural network (ConvLSTM) and deconvolutional neural network (DeCNN). Flow fields at future time step can be predicted through flow fields by previous time steps and boundary positions at those steps by the novel hybrid deep neural network. Unsteady wake flows around a forced oscillation cylinder with various amplitudes are calculated to establish the datasets as training samples for training the hybrid deep neural networks. The trained hybrid deep neural networks are then tested by predicting the unsteady flow fields around a forced oscillation cylinder with new amplitude. The effect of neural network structure parameters on prediction accuracy was analyzed. The hybrid deep neural network, constituted by the best parameter combination, is used to predict the flow fields in the future time. The predicted flow fields are in good agreement with those calculated directly by computational fluid dynamic solver, which means that this kind of deep neural network can capture accurate spatial temporal information from the spatial temporal series of unsteady flows around moving boundaries. The result shows the potential capability of this kind novel hybrid deep neural network in flow control for vibrating cylinder, where the fast calculation of high dimensional nonlinear unsteady flow around moving boundaries is needed.


The Tatoeba Translation Challenge Realistic Data Sets for Low Resource and Multilingual MT. This paper describes the development of a new benchmark for machine translation that provides training and test data for thousands of language pairs covering over 500 languages and tools for creating state of the art translation models from that collection. The main goal is to trigger the development of open translation tools and models with a much broader coverage of the World's languages. Using the package it is possible to work on realistic low resource scenarios avoiding artificially reduced setups that are common when demonstrating zero shot or few shot learning. For the first time, this package provides a comprehensive collection of diverse data sets in hundreds of languages with systematic language and script annotation and data splits to extend the narrow coverage of existing benchmarks. Together with the data release, we also provide a growing number of pre trained baseline models for individual language pairs and selected language groups.


Eulerian Central Limit Theorems and Carlitz identities in positive elements of Classical Weyl Groups. Central Limit Theorems are known for the Eulerian statistic "descent" (or "excedance") in the symmetric group SSS n . Recently, Fulman, Kim, Lee and Petersen gave a Central Limit Theorem for "descent" over the alternating group AAA n and also gave a Carlitz identity in AAA n using descents. In this paper, we give a Central Limit Theorem in AAA n involving excedances. We extend these to the positive elements in type B and type D Coxeter groups. Boroweic and M l otkowski enumerated type B descents over DD n , the type D Coxeter group and gave similar results. We refine their results for both the positive and negative part of DD n . Our results are a consequence of signed enumeration over these subsets.


Input to state stability of a scalar conservation law with nonlocal velocity. In this paper, we study input to state stability (ISS) of an equilibrium for a scalar conservation law with nonlocal velocity and measurement error arising in a highly re entrant manufacturing system. By using a suitable Lyapunov function, we prove sufficient and necessary conditions on ISS. We also analyze the numerical discretization of ISS for a discrete scalar conservation law with nonlocal velocity and measurement error. A suitable discretized Lyapunov function is also analyzed to provide ISS of an equilibrium for the numerical approximation. Finally, we show numerical simulations to validate the theoretical findings.


Deep Learning for Person Re identification A Survey and Outlook. Person re identification (Re ID) aims at retrieving a person of interest across multiple non overlapping cameras. With the advancement of deep neural networks and increasing demand of intelligent video surveillance, it has gained significantly increased interest in the computer vision community. By dissecting the involved components in developing a person Re ID system, we categorize it into the closed world and open world settings. The widely studied closed world setting is usually applied under various research oriented assumptions, and has achieved inspiring success using deep learning techniques on a number of datasets. We first conduct a comprehensive overview with in depth analysis for closed world person Re ID from three different perspectives, including deep feature representation learning, deep metric learning and ranking optimization. With the performance saturation under closed world setting, the research focus for person Re ID has recently shifted to the open world setting, facing more challenging issues. This setting is closer to practical applications under specific scenarios. We summarize the open world Re ID in terms of five different aspects. By analyzing the advantages of existing methods, we design a powerful AGW baseline, achieving state of the art or at least comparable performance on twelve datasets for FOUR different Re ID tasks. Meanwhile, we introduce a new evaluation metric (mINP) for person Re ID, indicating the cost for finding all the correct matches, which provides an additional criteria to evaluate the Re ID system for real applications. Finally, some important yet under investigated open issues are discussed.


Statistical Detection of Collective Data Fraud. Statistical divergence is widely applied in multimedia processing, basically due to regularity and interpretable features displayed in data. However, in a broader range of data realm, these advantages may no longer be feasible, and therefore a more general approach is required. In data detection, statistical divergence can be used as a similarity measurement based on collective features. In this paper, we present a collective detection technique based on statistical divergence. The technique extracts distribution similarities among data collections, and then uses the statistical divergence to detect collective anomalies. Evaluation shows that it is applicable in the real world.


Usefulness of interpretability methods to explain deep learning based plant stress phenotyping. Deep learning techniques have been successfully deployed for automating plant stress identification and quantification. In recent years, there is a growing push towards training models that are interpretable i.e. that justify their classification decisions by visually highlighting image features that were crucial for classification decisions. The expectation is that trained network models utilize image features that mimic visual cues used by plant pathologists. In this work, we compare some of the most popular interpretability methods Saliency Maps, SmoothGrad, Guided Backpropogation, Deep Taylor Decomposition, Integrated Gradients, Layer wise Relevance Propagation and Gradient times Input, for interpreting the deep learning model. We train a DenseNet 121 network for the classification of eight different soybean stresses (biotic and abiotic). Using a dataset consisting of 16,573 RGB images of healthy and stressed soybean leaflets captured under controlled conditions, we obtained an overall classification accuracy of 95.05 . For a diverse subset of the test data, we compared the important features with those identified by a human expert. We observed that most interpretability methods identify the infected regions of the leaf as important features for some but not all of the correctly classified images. For some images, the output of the interpretability methods indicated that spurious feature correlations may have been used to correctly classify them. Although the output explanation maps of these interpretability methods may be different from each other for a given image, we advocate the use of these interpretability methods as hypothesis generation' mechanisms that can drive scientific insight.


Reducibility of the quantum harmonic oscillator in d dimensions with finitely differentiable perturbations. In this paper, the d dimensional quantum harmonic oscillator with a pseudo differential time quasi periodic perturbation begin equation label 0 text i dot psi ( Delta V(x) epsilon W( omega t,x, text i nabla)) psi, x in mathbb R d end equation is considered, where omega in(0,2 pi) n , V(x) sum j 1 d v j 2x j 2, v j geq v 0 0 , and W( theta,x, xi) is a real polynomial in (x, xi) of degree at most two, with coefficients belonging to C ell in theta in mathbb T n for the order ell satisfying ell geq 2n 1 beta, 0 beta 1 . Using techniques developed by Bambusi Gr 'ebert Maspero Robert emph Anal. PDE. 11(3) 775 799, 2018 and R "ussmann emph pages 598 624. Lecture Notes in Phys., Vol. 38, 1975 , the paper shows that for any epsilon leq epsilon star (n, ell) , there is a set mathcal D epsilon subset (0,2 pi) n with big Lebesgue measure, such that for any omega in mathcal D epsilon , the system is reducible.


Topic Spotting using Hierarchical Networks with Self Attention. Success of deep learning techniques have renewed the interest in development of dialogue systems. However, current systems struggle to have consistent long term conversations with the users and fail to build rapport. Topic spotting, the task of automatically inferring the topic of a conversation, has been shown to be helpful in making a dialog system more engaging and efficient. We propose a hierarchical model with self attention for topic spotting. Experiments on the Switchboard corpus show the superior performance of our model over previously proposed techniques for topic spotting and deep models for text classification. Additionally, in contrast to offline processing of dialog, we also analyze the performance of our model in a more realistic setting i.e. in an online setting where the topic is identified in real time as the dialog progresses. Results show that our model is able to generalize even with limited information in the online setting.


Consensus Halving for Sets of Items. Consensus halving refers to the problem of dividing a resource into two parts so that every agent values both parts equally. Prior work has shown that when the resource is represented by an interval, a consensus halving with at most n cuts always exists, but is hard to compute even for agents with simple valuation functions. In this paper, we study consensus halving in a natural setting where the resource consists of a set of items without a linear ordering. When agents have additive utilities, we present a polynomial time algorithm that computes a consensus halving with at most n cuts, and show that n cuts are almost surely necessary when the agents' utilities are drawn from probabilistic distributions. On the other hand, we show that for a simple class of monotonic utilities, the problem already becomes PPAD hard. Furthermore, we compare and contrast consensus halving with the more general problem of consensus k splitting, where we wish to divide the resource into k parts in possibly unequal ratios, and provide some consequences of our results on the problem of computing small agreeable sets.


Extended Feature Pyramid Network for Small Object Detection. Small object detection remains an unsolved challenge because it is hard to extract information of small objects with only a few pixels. While scale level corresponding detection in feature pyramid network alleviates this problem, we find feature coupling of various scales still impairs the performance of small objects. In this paper, we propose extended feature pyramid network (EFPN) with an extra high resolution pyramid level specialized for small object detection. Specifically, we design a novel module, named feature texture transfer (FTT), which is used to super resolve features and extract credible regional details simultaneously. Moreover, we design a foreground background balanced loss function to alleviate area imbalance of foreground and background. In our experiments, the proposed EFPN is efficient on both computation and memory, and yields state of the art results on small traffic sign dataset Tsinghua Tencent 100K and small category of general object detection dataset MS COCO.


Assessing Human Translations from French to Bambara for Machine Learning a Pilot Study. We present novel methods for assessing the quality of human translated aligned texts for learning machine translation models of under resourced languages. Malian university students translated French texts, producing either written or oral translations to Bambara. Our results suggest that similar quality can be obtained from either written or spoken translations for certain kinds of texts. They also suggest specific instructions that human translators should be given in order to improve the quality of their work.


Algebraic Core and Convex Calculus without Topology. In this paper we study the concept of algebraic core for convex sets in general vector spaces without any topological structure and then present its applications to problems of convex analysis and optimization. Deriving the equivalence between the Hahn Banach theorem and and a simple version of the separation theorem of convex sets in vector spaces allows us to develop a geometric approach to generalized differential calculus for convex sets, set valued mappings, and extended real valued functions with qualification conditions formulated in terms of algebraic cores for such objects. We also obtain a precise formula for computing the subdifferential of optimal value functions associated with convex problems of parametric optimization in vector spaces. Functions of this type play a crucial role in many aspects of convex optimization and its applications.


Breaking an image encryption scheme based on Arnold map and Lucas series. Fairly recently, a novel image encryption based on Arnold scrambling and Lucas series has been proposed in the literature. The scheme design is based on permutation substitution operations, where Arnold map is used to permute pixels for some T rounds, and Lucas sequence is used to mask the image and substitute pixel's values. The authors of the cryptosystem have claimed, after several statistical analyses, that their system is "with high efficiency" and resists chosen and known plaintext attacks. Negatively, in this paper we showed the opposite. The key space of the scheme under study could be reduced considerably after our equivalent keys analysis, and thus the system is breakable under reasonable brute force attack. After all, the design of the scheme has several weaknesses that make it weak against chosen and known plaintext attacks. Consequently, we do not recommend the use of this system for any cryptographic concern or security purpose.


On the dimension of systems of algebraic difference equations. We introduce a notion of dimension for the solution set of a system of algebraic difference equations that measures the degrees of freedom when determining a solution in the ring of sequences. This number need not be an integer, but, as we show, it satisfies properties suitable for a notion of dimension. We also show that the dimension of a difference monomial is given by the covering density of its set of exponents.


Basepoint freeness thresholds and higher syzygies on abelian threefolds. For a polarized abelian variety, Z. Jiang and G. Pareschi introduce an invariant and show that the polarization is basepoint free or projectively normal if the invariant is small. Their result is generalized to higher syzygies by F. Caucci, that is, the polarization satisfies property (N p) if the invariant is small. In this paper, we study a relation between the invariant and degrees of abelian subvarieties with respect to the polarization. For abelian threefolds, we give an upper bound of the invariant using degrees of abelian subvarieties. In particular, we affirmatively answer a question about (N p) on abelian varieties asked by the author and V. Lozovanu in the three dimensional case.


Materials Properties Mechanical Behaviour. All systems are expected to be designed to fulfil their functions over their requested lifetime. Nevertheless, failure of a system may occur, and this is unfortunately, true also for vacuum systems. From a mechanical point of view, buckling, leak by fatigue crack propagation, rupture of a fixed support under unbalanced vacuum force... may happen. To well understand and anticipate the behaviour of a structure, it is mandatory to first understand the mechanical behaviour of materials as well as their failure modes. This is presented in a first part of the document. Then, the structural behaviour of a vacuum system and its relationship with the material properties is discussed. Finally, guidelines for the material selection for a given application are roughed out.