On the monotonicity of the isoperimetric quotient for parallel bodies. The isoperimetric quotient of the whole family of inner and outer parallel bodies of a convex body is shown to be decreasing in the parameter of definition of parallel bodies, along with a characterization of those convex bodies for which that quotient happens to be constant on some interval within its domain. This is obtained relative to arbitrary gauge bodies, having the classical Euclidean setting as a particular case. Similar results are established for different families of Wulff shapes that are closely related to parallel bodies. These give rise to solutions of isoperimetric type problems. Furthermore, new results on the monotonicity of quotients of other quermassintegrals different from surface area and volume, for the family of parallel bodies, are obtained.


A sharp square function estimate for the cone in mathbb R 3 . We prove a sharp square function estimate for the cone in mathbb R 3 and consequently the local smoothing conjecture for the wave equation in 2 1 dimensions.


Ultra Lightweight Multiple time Digital Signature for the Internet of Things Devices. Digital signatures are basic cryptographic tools to provide authentication and integrity in the emerging ubiquitous systems in which resource constrained devices are expected to operate securely and efficiently. However, existing digital signatures might not be fully practical for such resource constrained devices (e.g., medical implants) that have energy limitations. Some other computationally efficient alternatives (e.g., one time multiple time signatures) may introduce high memory and or communication overhead due to large private key and signature sizes. In this paper, our contributions are two fold First, we develop a new lightweight multiple time digital signature scheme called Signer Efficient Multiple time Elliptic Curve Signature (SEMECS), which is suitable for resource constrained embedded devices. SEMECS achieves optimal signature and private key sizes for an EC based signature without requiring any EC operation (e.g., EC scalar multiplication or addition) at the signer. We prove SEMECS is secure (in random oracle model) with a tight security reduction. Second, we fully implemented SEMECS on 8 bit AVR microprocessor with a comprehensive energy consumption analysis and comparison. Our experiments confirm up to 19x less battery consumption for SEMECS as compared to its fastest (full time) counterpart, SchnorrQ, while offering significant performance advantages over its multiple time counterparts in various fronts. We open source our implementation for public testing and adoption.


Impact of sloping porous seabed on the efficiency of an OWC against oblique waves. The study examines the influence of a sloping porous bed on the efficiency of an oscillating water column (OWC) device facing oblique water waves. A vertical, surface piercing, thin plate near a rigid wall approximates the OWC. The system is simulated using a multi domain boundary element method assuming the linear potential theory. The impact of varying sloping bed structural parameters and influence of the incident wave angle on the performance of the OWC is evaluated and discussed. The significance of this model to act as a breakwater protecting near shore marine facilities is also highlighted. The OWC efficiency is found to be highly sensitive to the slope of the porous seabed, and seabed porosity is found to stabilize the resonant frequency against changes in water levels. OWCs are found to be more efficient over porous seabeds with higher frictional coefficients. The results indicate optimum values for the parameters governing such a wave energy conversion system that can be used for the design and implementation of the model.


IDS at SemEval 2020 Task 10 Does Pre trained Language Model Know What to Emphasize?. We propose a novel method that enables us to determine words that deserve to be emphasized from written text in visual media, relying only on the information from the self attention distributions of pre trained language models (PLMs). With extensive experiments and analyses, we show that 1) our zero shot approach is superior to a reasonable baseline that adopts TF IDF and that 2) there exist several attention heads in PLMs specialized for emphasis selection, confirming that PLMs are capable of recognizing important words in sentences.


Lifespan of semilinear generalized Tricomi equation with Strauss type exponent. In this paper, we consider the blow up problem of semilinear generalized Tricomi equation. Two blow up results with lifespan upper bound are obtained under subcritical and critical Strauss type exponent. In the subcritical case, the proof is based on the test function method and the iteration argument. In the critical case, an iteration procedure with the slicing method is employed. This approach has been successfully applied to the critical case of semilinear wave equation with perturbed Laplacian or the damped wave equation of scattering damping case. The present work gives its application to the generalized Tricomi equation.


A Simpson correspondence for abelian varieties in characteristic p 0. Let X k be an abelian variety over an algebraically closed field k of characteristic p 0. In this paper, using the Azumaya property of the sheaf of crystalline differential operators and the Morita equivalence, we show that etale locally over the Hitchin base, the moduli stack of Higgs bundles on the Frobenius twist X' is equivalent to that of local systems on X. We follow the approach of Gro16 .


Quasi ideals of Leibniz algebras. A subspace H of a Leibniz algebra L is called a quasi ideal if H K K H subseteq H K for every subspace K of L. They include ideals and subalgebras of codimension one in L. Quasi ideals of Lie algebras were classified in two remarkable papers of Amayo. The objective here is to extend those results to the larger class of Leibniz algebras, and to classify those Leibniz algebras in which every subalgebra is a quasi ideal.


Exploring the toolkit of Jean Bourgain. Gian Carlo Rota once asserted that "every mathematician only has a few tricks". The sheer breadth and ingenuity in the work of Jean Bourgain may at first glance appear to be a counterexample to this maxim. However, as we hope to illustrate in this article, even Bourgain relied frequently on a core set of tools, which formed the base from which problems in many disparate mathematical fields could then be attacked. We discuss a selected number of these tools here, and then perform a case study of how an argument in one of Bourgain's papers can be interpreted as a sequential application of several of these tools.


The fractional p Laplacian emerging from homogenization of the random conductance model with degenerate ergodic weights and unbounded range jumps. We study a general class of discrete p Laplace operators in the random conductance model with long range jumps and ergodic weights. Using a variational formulation of the problem, we show that under the assumption of bounded first moments and a suitable lower moment condition on the weights, the homogenized limit operator is a fractional p Laplace operator. Under strengthened lower moment conditions, we can apply our insights also to the spectral homogenization of the discrete Laplace operator to the continuous fractional Laplace operator.


Don't Parse, Generate! A Sequence to Sequence Architecture for Task Oriented Semantic Parsing. Virtual assistants such as Amazon Alexa, Apple Siri, and Google Assistant often rely on a semantic parsing component to understand which action(s) to execute for an utterance spoken by its users. Traditionally, rule based or statistical slot filling systems have been used to parse "simple" queries that is, queries that contain a single action and can be decomposed into a set of non overlapping entities. More recently, shift reduce parsers have been proposed to process more complex utterances. These methods, while powerful, impose specific limitations on the type of queries that can be parsed namely, they require a query to be representable as a parse tree. In this work, we propose a unified architecture based on Sequence to Sequence models and Pointer Generator Network to handle both simple and complex queries. Unlike other works, our approach does not impose any restriction on the semantic parse schema. Furthermore, experiments show that it achieves state of the art performance on three publicly available datasets (ATIS, SNIPS, Facebook TOP), relatively improving between 3.3 and 7.7 in exact match accuracy over previous systems. Finally, we show the effectiveness of our approach on two internal datasets.


Algebra of Borcherds products. Borcherds lift for an even lattice of signature (p,q) is a lifting from weakly holomorphic modular forms of weight (p q) 2 for the Weil representation. We introduce a new product operation on the space of such modular forms and develop a basic theory. The product makes this space a finitely generated filtered associative algebra, without unit element and noncommutative in general. This is functorial with respect to embedding of lattices by the quasi pullback. Moreover, the rational space of modular forms with rational principal part is closed under this product. In some examples with p 2, the multiplicative group of Borcherds products of integral weight forms a subring.


Lifting countable to uncountable mathematics. Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These counterexamples are often crucial in establishing reversals in the Reverse Mathematics program. All the previous is essentially limited to a language that can only express countable mathematics directly. The aim of this paper is to show that reversals and recursive counterexamples, countable in nature as they might be, directly yield new and interesting results about uncountable mathematics with little to no modification. We shall treat the following topics theorems the monotone convergence theorem Specker sequences, compact and closed sets in metric spaces, the Rado selection lemma, the ordering and algebraic closures of fields, and ideals of rings. The higher order generalisation of sequence is of course provided by nets (aka Moore Smith sequences ).


Limitations of Mean Based Algorithms for Trace Reconstruction at Small Distance. Trace reconstruction considers the task of recovering an unknown string x in 0,1 n given a number of independent "traces", i.e., subsequences of x obtained by randomly and independently deleting every symbol of x with some probability p . The information theoretic limit of the number of traces needed to recover a string of length n is still unknown. This limit is essentially the same as the number of traces needed to determine, given strings x and y and traces of one of them, which string is the source. The most studied class of algorithms for the worst case version of the problem are "mean based" algorithms. These are a restricted class of distinguishers that only use the mean value of each coordinate on the given samples. In this work we study limitations of mean based algorithms on strings at small Hamming or edit distance. We show that, on the one hand, distinguishing strings that are nearby in Hamming distance is "easy" for such distinguishers. On the other hand, we show that distinguishing strings that are nearby in edit distance is "hard" for mean based algorithms. Along the way, we also describe a connection to the famous Prouhet Tarry Escott (PTE) problem, which shows a barrier to finding explicit hard to distinguish strings namely such strings would imply explicit short solutions to the PTE problem, a well known difficult problem in number theory. Furthermore, we show that the converse is also true, thus, finding explicit solutions to the PTE problem is equivalent to the problem of finding explicit strings that are hard to distinguish by mean based algorithms. Our techniques rely on complex analysis arguments that involve careful trigonometric estimates, and algebraic techniques that include applications of Descartes' rule of signs for polynomials over the reals.


A result for nonexistence of global solutions to semi linear structural damped wave model. Main goal of this note is to give a result for nonexistence of global solutions and determine the critical exponent as well to a semi linear structurally damped wave equation.


A Sharp Convergence Rate for the Asynchronous Stochastic Gradient Descent. We give a sharp convergence rate for the asynchronous stochastic gradient descent (ASGD) algorithms when the loss function is a perturbed quadratic function based on the stochastic modified equations introduced in An et al. Stochastic modified equations for the asynchronous stochastic gradient descent, arXiv 1805.08244 . We prove that when the number of local workers is larger than the expected staleness, then ASGD is more efficient than stochastic gradient descent. Our theoretical result also suggests that longer delays result in slower convergence rate. Besides, the learning rate cannot be smaller than a threshold inversely proportional to the expected staleness.


Spacetime Graph Optimization for Video Object Segmentation. We address the challenging task of foreground object discovery and segmentation in video. We introduce an efficient solution, suitable for both unsupervised and supervised scenarios, based on a spacetime graph representation of the video sequence. We ensure a fine grained representation with one to one correspondences between graph nodes and video pixels. We formulate the task as a spectral clustering problem by exploiting the spatio temporal consistency between the scene elements in terms of motion and appearance. Graph nodes that belong to the main object of interest should form a strong cluster, as they are linked through long range optical flow chains and have similar motion and appearance features along those chains. On one hand, the optimization problem aims to maximize the segmentation clustering score based on the motion structure through space and time. On the other hand, the segmentation should be consistent with respect to node features. Our approach leads to a graph formulation in which the segmentation solution becomes the principal eigenvector of a novel Feature Motion matrix. While the actual matrix is not computed explicitly, the proposed algorithm efficiently computes, in a few iteration steps, the principal eigenvector that captures the segmentation of the main object in the video. The proposed algorithm, GO VOS, produces a global optimum solution and, consequently, it does not depend on initialization. In practice, GO VOS achieves state of the art results on three challenging datasets used in current literature DAVIS, SegTrack and YouTube Objects.


Parametrized Universality Problems for One Counter Nets. We study the language universality problem for One Counter Nets, also known as 1 dimensional Vector Addition Systems with States (1 VASS), parameterized either with an initial counter value, or with an upper bound on the allowed counter value during runs. The language accepted by an OCN (defined by reaching a final control state) is monotone in both parameters. This yields two natural questions 1) Does there exist an initial counter value that makes the language universal? 2) Does there exist a sufficiently high ceiling so that the bounded language is universal? Although the ordinary universality problem is decidable (and Ackermann complete) and these parameterized problems seem to reduce to checking basic structural properties of the underlying automaton, we show that in fact both problems are undecidable. We also look into the complexities of the problems for several decidable subclasses, namely for unambiguous, and deterministic systems, and for those over a single letter alphabet.


Note on rainbow cycles in edge colored graphs. Let G be a graph of order n with an edge coloring c , and let delta c(G) denote the minimum color degree of G . A subgraph F of G is called rainbow if all edges of F have pairwise distinct colors. There have been a lot results on rainbow cycles of edge colored graphs. In this paper, we show that (i) if delta c(G) frac 3n 3 4 , then every vertex of G is contained in a rainbow triangle (ii) delta c(G) frac 3n 4 , then every vertex of G is contained in a rainbow C 4 and (iii) if G is complete, n geq 8k 18 and delta c(G) frac n 1 2 k , then G contains a rainbow cycle of length at least k . Some gaps in previous publications are also found and corrected.


Clique factors in Kneser graphs. For k,n in mathbb N , the Kneser graph K(n,k) is the graph with vertex set V n (k) and edge set E x,y in V (2) x cap y emptyset . Chen proved that for n geq 3k , Kneser graphs are Hamiltonian. Similarly as for graphs with Hajnal's and Szemer 'edi's result about a minimum degree condition for clique factors and the P 'osa Seymour Conjecture together with its solution for large graphs due to Koml 'os, S 'ark "ozy, and Szemer 'edi, the next step is to ask for clique factors and powers of Hamiltonian cycles in Kneser graphs. For k, ell in mathbb N , let n(k, ell) be the smallest integer such that for n geq n(k, ell) , K(n,k) contains the ell th power of a Hamiltonian cycle. Katona conjectured that for all but finitely many exceptions, n(k, ell) ( ell 1)k 1 holds. In particular, it would be interesting to know whether n(k, ell) is linear in k (for fixed ell ). So far this is not known for k geq 2 . In this note, we take a first step towards such a linear bound by proving that for ell in mathbb N , k geq ell and n geq ell 3k , all but at most ell 1 vertices of K(n,k) can be partitioned into cliques of size ell . Further, we use our methods to extend a short proof due to Chen and F "uredi that K(n,k) is Hamiltonian for n geq 3k and k mid n to all n geq 4k if k geq 4 .


Projection Free Optimization on Uniformly Convex Sets. The Frank Wolfe method solves smooth constrained convex optimization problems at a generic sublinear rate of mathcal O (1 T) , and it (or its variants) enjoys accelerated convergence rates for two fundamental classes of constraints polytopes and strongly convex sets. Uniformly convex sets non trivially subsume strongly convex sets and form a large variety of textit curved convex sets commonly encountered in machine learning and signal processing. For instance, the ell p balls are uniformly convex for all p 1 , but strongly convex for p in 1,2 only. We show that these sets systematically induce accelerated convergence rates for the original Frank Wolfe algorithm, which continuously interpolate between known rates. Our accelerated convergence rates emphasize that it is the curvature of the constraint sets not just their strong convexity that leads to accelerated convergence rates. These results also importantly highlight that the Frank Wolfe algorithm is adaptive to much more generic constraint set structures, thus explaining faster empirical convergence. Finally, we also show accelerated convergence rates when the set is only locally uniformly convex and provide similar results in online linear optimization.


Algebraic aspects of rooted tree maps. Based on the Connes Kreimer Hopf algebra of rooted trees, the rooted tree maps are defined as linear maps on noncommutative polynomial algebra in two indeterminates. It is known that they induce a large class of linear relations for multiple zeta values. In this paper, we investigate some basic algebraic properties of rooted tree maps by relating to the harmonic algebra. We also characterize the antipode maps as the conjugation by the special map tau .


Discrete Lebedev Skalskaya transforms. Discrete analogs of the Lebedev Skalskaya transforms are introduced and investigated. It involves series and integrals with respect to the kernels rm Re K alpha in (x), rm Im K alpha in (x), x 0, n in mathbb N , alpha 1, i is the imaginary unit and K nu(z) is the modified Bessel function. The corresponding inversion formulas for suitable functions and sequences in terms of these series and integrals are established when alpha pm 1 2 . The case alpha 0 reduces to the Kontorovich Lebedev transform.


Deep Euler method solving ODEs by approximating the local truncation error of the Euler method. In this paper, we propose a deep learning based method, deep Euler method (DEM) to solve ordinary differential equations. DEM significantly improves the accuracy of the Euler method by approximating the local truncation error with deep neural networks which could obtain a high precision solution with a large step size. The deep neural network in DEM is mesh free during training and shows good generalization in unmeasured regions. DEM could be easily combined with other schemes of numerical methods, such as Runge Kutta method to obtain better solutions. Furthermore, the error bound and stability of DEM is discussed.


Dissipation in Lagrangian formalism. In this paper we present a method with which it is possible to describe a dissipative system in Lagrangian formalism, without the trouble of finding the proper way to model the environment. The concept of the presented method is to create a function that generates the measurable physical quantity, similarly to electrodynamics, where the scalar potential and vector potential generate the electric and magnetic fields.


Multigrid Neural Memory. We introduce a novel approach to endowing neural networks with emergent, long term, large scale memory. Distinct from strategies that connect neural networks to external memory banks via intricately crafted controllers and hand designed attentional mechanisms, our memory is internal, distributed, co located alongside computation, and implicitly addressed, while being drastically simpler than prior efforts. Architecting networks with multigrid structure and connectivity, while distributing memory cells alongside computation throughout this topology, we observe the emergence of coherent memory subsystems. Our hierarchical spatial organization, parameterized convolutionally, permits efficient instantiation of large capacity memories, while multigrid topology provides short internal routing pathways, allowing convolutional networks to efficiently approximate the behavior of fully connected networks. Such networks have an implicit capacity for internal attention augmented with memory, they learn to read and write specific memory locations in a dynamic data dependent manner. We demonstrate these capabilities on exploration and mapping tasks, where our network is able to self organize and retain long term memory for trajectories of thousands of time steps. On tasks decoupled from any notion of spatial geometry sorting, associative recall, and question answering, our design functions as a truly generic memory and yields excellent results.


Diameter Polytopes of Feasible Binary Programs. Feasible binary programs often have multiple optimal solutions, which is of interest in applications as they allow the user to choose between alternative optima without deteriorating the objective function. In this article, we present the optimal diameter of a feasible binary program as a metric for measuring the diversity among all optimal solutions. In addition, we present the diameter binary program whose optima contains two optimal solutions of the given feasible binary program that are as diverse as possible with respect to the optimal diameter. Our primary interest is in the study of the diameter polytope, i.e., the polytope underlying the diameter binary program. Under suitable conditions, we show that much of the structure of the diameter polytope is inherited from the polytope underlying the given binary program. Finally, we apply our results on the diameter binary program and diameter polytope to cases where the given binary program corresponds to the linear ordering problem and the symmetric traveling salesman problem.


A time space tradeoff for Lehman's deterministic integer factorization method. Fermat's well known factorization algorithm is based on finding a representation of natural numbers N as the difference of squares. In 1895, Lawrence generalized this idea and applied it to multiples kN of the original number. A systematic approach to choose suitable values for k was introduced by Lehman in 1974, which resulted in the first deterministic factorization algorithm considerably faster than trial division. In this paper, we construct a time space tradeoff for Lawrence's generalization and apply it together with Lehman's result to obtain a deterministic integer factorization algorithm with runtime complexity O(N 2 9 o(1) ) . This is the first exponential improvement since the establishment of the O(N 1 4 o(1) ) bound in 1977.


Flexible Piecewise Curves Estimation for Photo Enhancement. This paper presents a new method, called FlexiCurve, for photo enhancement. Unlike most existing methods that perform image to image mapping, which requires expensive pixel wise reconstruction, FlexiCurve takes an input image and estimates global curves to adjust the image. The adjustment curves are specially designed for performing piecewise mapping, taking nonlinear adjustment and differentiability into account. To cope with challenging and diverse illumination properties in real world images, FlexiCurve is formulated as a multi task framework to produce diverse estimations and the associated confidence maps. These estimations are adaptively fused to improve local enhancements of different regions. Thanks to the image to curve formulation, for an image with a size of 512 512 3, FlexiCurve only needs a lightweight network (150K trainable parameters) and it has a fast inference speed (83FPS on a single NVIDIA 2080Ti GPU). The proposed method improves efficiency without compromising the enhancement quality and losing details in the original image. The method is also appealing as it is not limited to paired training data, thus it can flexibly learn rich enhancement styles from unpaired data. Extensive experiments demonstrate that our method achieves state of the art performance on photo enhancement quantitively and qualitatively.


Benchmarking TinyML Systems Challenges and Direction. Recent advancements in ultra low power machine learning (TinyML) hardware promises to unlock an entirely new class of smart applications. However, continued progress is limited by the lack of a widely accepted benchmark for these systems. Benchmarking allows us to measure and thereby systematically compare, evaluate, and improve the performance of systems and is therefore fundamental to a field reaching maturity. In this position paper, we present the current landscape of TinyML and discuss the challenges and direction towards developing a fair and useful hardware benchmark for TinyML workloads. Furthermore, we present our four benchmarks and discuss our selection methodology. Our viewpoints reflect the collective thoughts of the TinyMLPerf working group that is comprised of over 30 organizations.


A Lightweight Blockchain based Privacy Protection for Smart Surveillance at the Edge. Witnessing the increasingly pervasive deployment of security video surveillance systems(VSS), more and more individuals have become concerned with the issues of privacy violations. While the majority of the public have a favorable view of surveillance in terms of crime deterrence, individuals do not accept the invasive monitoring of their private life. To date, however, there is not a lightweight and secure privacy preserving solution for video surveillance systems. The recent success of blockchain (BC) technologies and their applications in the Internet of Things (IoT) shed a light on this challenging issue. In this paper, we propose a Lightweight, Blockchain based Privacy protection (Lib Pri) scheme for surveillance cameras at the edge. It enables the VSS to perform surveillance without compromising the privacy of people captured in the videos. The Lib Pri system transforms the deployed VSS into a system that functions as a federated blockchain network capable of carrying out integrity checking, blurring keys management, feature sharing, and video access sanctioning. The policy based enforcement of privacy measures is carried out at the edge devices for real time video analytics without cluttering the network.


Predicting Long Term Skeletal Motions by a Spatio Temporal Hierarchical Recurrent Network. The primary goal of skeletal motion prediction is to generate future motion by observing a sequence of 3D skeletons. A key challenge in motion prediction is the fact that a motion can often be performed in several different ways, with each consisting of its own configuration of poses and their spatio temporal dependencies, and as a result, the predicted poses often converge to the motionless poses or non human like motions in long term prediction. This leads us to define a hierarchical recurrent network model that explicitly characterizes these internal configurations of poses and their local and global spatio temporal dependencies. The model introduces a latent vector variable from the Lie algebra to represent spatial and temporal relations simultaneously. Furthermore, a structured stack LSTM based decoder is devised to decode the predicted poses with a new loss function defined to estimate the quantized weight of each body part in a pose. Empirical evaluations on benchmark datasets suggest our approach significantly outperforms the state of the art methods on both short term and long term motion prediction.


Modeling in the Time of COVID 19 Statistical and Rule based Mesoscale Models. We present a new technique for rapid modeling and construction of scientifically accurate mesoscale biological models. Resulting 3D models are based on few 2D microscopy scans and the latest knowledge about the biological entity represented as a set of geometric relationships. Our new technique is based on statistical and rule based modeling approaches that are rapid to author, fast to construct, and easy to revise. From a few 2D microscopy scans, we learn statistical properties of various structural aspects, such as the outer membrane shape, spatial properties and distribution characteristics of the macromolecular elements on the membrane. This information is utilized in 3D model construction. Once all imaging evidence is incorporated in the model, additional information can be incorporated by interactively defining rules that spatially characterize the rest of the biological entity, such as mutual interactions among macromolecules, their distances and orientations to other structures. These rules are defined through an intuitive 3D interactive visualization and modeling feedback loop. We demonstrate the utility of our approach on a use case of the modeling procedure of the SARS CoV 2 virus particle ultrastructure. Its first complete atomistic model, which we present here, can steer biological research to new promising directions in fighting spread of the virus.


Continuous Deep Hierarchical Reinforcement Learning for Ground Air Swarm Shepherding. The control and guidance of multi robots (swarm) is a non trivial problem due to the complexity inherent in the coupled interaction among the group. Whether the swarm is cooperative or non cooperative, lessons can be learnt from sheepdogs herding sheep. Biomimicry of shepherding offers computational methods for swarm control with the potential to generalize and scale in different environments. However, learning to shepherd is complex due to the large search space that a machine learner is faced with. We present a deep hierarchical reinforcement learning approach for shepherding, whereby an unmanned aerial vehicle (UAV) learns to act as an aerial sheepdog to control and guide a swarm of unmanned ground vehicles (UGVs). The approach extends our previous work on machine education to decompose the search space into a hierarchically organized curriculum. Each lesson in the curriculum is learnt by a deep reinforcement learning model. The hierarchy is formed by fusing the outputs of the model. The approach is demonstrated first in a high fidelity robotic operating system (ROS) based simulation environment, then with physical UGVs and a UAV in an in door testing facility. We investigate the ability of the method to generalize as the models move from simulation to the real world and as the models move from one scale to another.


A nonlocal supercritical Neumann problem. We establish existence of positive non decreasing radial solutions for a nonlocal nonlinear Neumann problem both in the ball and in the annulus. The nonlinearity that we consider is rather general, allowing for supercritical growth (in the sense of Sobolev embedding). The consequent lack of compactness can be overcome, by working in the cone of non negative and non decreasing radial functions. Within this cone, we establish some a priori estimates which allow, via a truncation argument, to use variational methods for proving existence of solutions. As a side result, we prove a strong maximum principle for nonlocal Neumann problems, which is of independent interest.


Photothermally Induced Transparency. Induced transparency is a common but remarkable effect in optics. It occurs when a strong driving field is used to render an otherwise opaque material transparent. The effect is known as electromagnetically induced transparency in atomic media and optomechanically induced transparency in systems that consist of coupled optical and mechanical resonators. In this work, we introduce the concept of photothermally induced transparency (PTIT). It happens when an optical resonator exhibits non linear behavior due to optical heating of the resonator or its mirrors. Similar to the established mechanisms for induced transparency, PTIT can suppress the coupling between an optical resonator and a traveling optical field. We further show that the dispersion of the resonator can be modified to exhibit slow or fast light. Because of the relatively slow thermal response, we observe the bandwidth of the PTIT to be 2 pi times15.9 Hz which theoretically suggests a group velocity of as low as 5 m s.


An exact solution framework for the multiple gradual cover location problem. Facility and covering location models are key elements in many decision aid tools in logistics, supply chain design, telecommunications, public infrastructure planning, and many other industrial and public sectors. In many applications, it is likely that customers are not dichotomously covered by facilities, but gradually covered according to, e.g., the distance to the open facilities. Moreover, customers are not served by a single facility, but by a collection of them, which jointly serve them. In this paper we study the recently introduced multiple gradual cover location problem (MGCLP). The MGCLP addresses both of the issues described above. We provide four different mixed integer programming formulations for the MGCLP, all of them exploiting the submodularity of the objective function and developed a branch and cut framework based one these formulations. The framework is further enhanced by starting and primal heuristics and initialization procedures. The computational results show that our approach allows to effectively address different sets of instances. We provide optimal solution values for 13 instances from literature, where the optimal solution was not known, and additionally provide improved solution values for seven instances. Many of these instances can be solved within a minute. We also analyze the dependence of the solution structure on instance characteristics.


A Cross lingual Natural Language Processing Framework for Infodemic Management. The COVID 19 pandemic has put immense pressure on health systems which are further strained due to the misinformation surrounding it. Under such a situation, providing the right information at the right time is crucial. There is a growing demand for the management of information spread using Artificial Intelligence. Hence, we have exploited the potential of Natural Language Processing for identifying relevant information that needs to be disseminated amongst the masses. In this work, we present a novel Cross lingual Natural Language Processing framework to provide relevant information by matching daily news with trusted guidelines from the World Health Organization. The proposed pipeline deploys various techniques of NLP such as summarizers, word embeddings, and similarity metrics to provide users with news articles along with a corresponding healthcare guideline. A total of 36 models were evaluated and a combination of LexRank based summarizer on Word2Vec embedding with Word Mover distance metric outperformed all other models. This novel open source approach can be used as a template for proactive dissemination of relevant healthcare information in the midst of misinformation spread associated with epidemics.


Polyharmonic Almost Complex Structures. In this paper we consider the existence and regularity of weakly polyharmonic almost complex structures on a compact almost Hermitian manifold M 2m . Such objects satisfy the elliptic system weakly J, Delta m J 0 . We prove a very general regularity theorem for semilinear systems in critical dimensions (with emph critical growth nonlinearities ). In particular we prove that weakly biharmonic almost complex structures are smooth in dimension four.


On the magnitude and intrinsic volumes of a convex body in Euclidean space. Magnitude is an isometric invariant of metric spaces inspired by category theory. Recent work has shown that the asymptotic behavior under rescaling of the magnitude of subsets of Euclidean space is closely related to intrinsic volumes. Here we prove an upper bound for the magnitude of a convex body in Euclidean space in terms of its intrinsic volumes. The result is deduced from an analogous known result for magnitude in ell 1 N , via approximate embeddings of Euclidean space into high dimensional ell 1 N spaces. As a consequence, we deduce a sufficient condition for infinite dimensional subsets of a Hilbert space to have finite magnitude. The upper bound is also shown to be sharp to first order for an odd dimensional Euclidean ball shrinking to a point this complements recent work investigating the asymptotics of magnitude for large dilatations of sets in Euclidean space.


Hierarchical Deep Learning Classification of Unstructured Pathology Reports to Automate ICD O Morphology Grading. Timely cancer reporting data are required in order to understand the impact of cancer, inform public health resource planning and implement cancer policy especially in Sub Saharan Africa where the reporting lag is behind world averages. Unstructured pathology reports, which contain tumor specific data, are the main source of information collected by cancer registries. Due to manual processing and labelling of pathology reports using the International Classification of Disease for oncology (ICD O) codes, by human coders employed by cancer registries, has led to a considerable lag in cancer reporting. We present a hierarchical deep learning classification method that employs convolutional neural network models to automate the classification of 1813 anonymized breast cancer pathology reports with applicable ICD O morphology codes across 9 classes. We demonstrate that the hierarchical deep learning classification method improves on performance in comparison to a flat multiclass CNN model for ICD O morphology classification of the same reports.


PTAuth Temporal Memory Safety via Robust Points to Authentication. Temporal memory corruptions are commonly exploited software vulnerabilities that can lead to powerful attacks. Despite significant progress made by decades of research on mitigation techniques, existing countermeasures fall short due to either limited coverage or overly high overhead. Furthermore, they require external mechanisms (e.g., spatial memory safety) to protect their metadata. Otherwise, their protection can be bypassed or disabled. To address these limitations, we present robust points to authentication, a novel runtime scheme for detecting all kinds of temporal memory corruptions. We built a prototype system, called PTAuth, that realizes this scheme on ARM architectures. PTAuth contains a customized compiler for code analysis and instrumentation and a runtime library for performing the points to authentication as a protected program runs. PTAuth leverages the Pointer Authentication Code (PAC) feature, provided by the ARMv8.3 and later CPUs, which serves as a simple hardware based encryption primitive. PTAuth uses minimal in memory metadata and protects its metadata without requiring spatial memory safety. We report our evaluation of PTAuth in terms of security, robustness and performance using 150 vulnerable programs from Juliet test suite and the SPEC CPU2006 benchmarks. PTAuth detects all three categories of heap based temporal memory corruptions, generates zero false alerts, and slows down program execution by 26 (this number was measured based on software emulated PAC it is expected to decrease to 20 when using hardware based PAC). We also show that PTAuth incurs 2 memory overhead thanks to the efficient use of metadata.


An Uncertainty Quantification Framework for Assessing Accuracy, Sensitivity, and Robustness in Computational Fluid Dynamics. A framework is developed based on different uncertainty quantification (UQ) techniques in order to assess validation and verification (V V) metrics in computational physics problems, in general, and computational fluid dynamics (CFD), in particular. The metrics include accuracy, sensitivity and robustness of the simulator's outputs with respect to uncertain inputs and computational parameters. These parameters are divided into two groups based on the variation of the first group, a computer experiment is designed, the data of which may become uncertain due to the parameters of the second group. To construct a surrogate model based on uncertain data, Gaussian process regression (GPR) with observation dependent (heteroscedastic) noise structure is used. To estimate the propagated uncertainties in the simulator's outputs from first and also the combination of first and second groups of parameters, standard and probabilistic polynomial chaos expansions (PCE) are employed, respectively. Global sensitivity analysis based on Sobol decomposition is performed in connection with the computer experiment to rank the parameters based on their influence on the simulator's output. To illustrate its capabilities, the framework is applied to the scale resolving simulations of turbulent channel flow using the open source CFD solver Nek5000. Due to the high order nature of Nek5000 a thorough assessment of the results' accuracy and reliability is crucial, as the code is aimed at high fidelity simulations. The detailed analyses and the resulting conclusions can enhance our insight into the influence of different factors on physics simulations, in particular the simulations of wall bounded turbulence.


Cohomology dimension growth for Nakano q semipositive line bundles. We study the cohomology with high tensor powers of Nakano q semipositive line bundles on complex manifolds. We obtain the asymptotic estimates for the dimension of cohomology with high tensor powers of semipositive line bundles over q convex manifolds and various possibly non compact complex manifolds, in which the order of estimates are optimal. Besides, estimates for the modified Dirac operator on Nakano q positive line bundle on almost complex manifolds are given.


A Regression Approach to Certain Information Transmission Problems. A general information transmission model, under independent and identically distributed Gaussian codebook and nearest neighbor decoding rule with processed channel output, is investigated using the performance metric of generalized mutual information. When the encoder and the decoder know the statistical channel model, it is found that the optimal channel output processing function is the conditional expectation operator, thus hinting a potential role of regression, a classical topic in machine learning, for this model. Without utilizing the statistical channel model, a problem formulation inspired by machine learning principles is established, with suitable performance metrics introduced. A data driven inference algorithm is proposed to solve the problem, and the effectiveness of the algorithm is validated via numerical experiments. Extensions to more general information transmission models are also discussed.


On open books for nonorientable 3 manifolds. We show that the monodromy of Klassen's genus two open book for P 2 times S 1 is the Y homeomorphism of Lickorish, which is also known as the crosscap slide. Similarly, we show that S 2 widetilde times S 1 admits a genus two open book whose monodromy is the crosscap transposition. Moreover, we show that each of P 2 times S 1 and S 2 widetilde times S 1 admits infinitely many isomorphic genus two open books whose monodromies are mutually nonisotopic. Furthermore, we include a simple observation about the stable equivalence classes of open books for P 2 times S 1 and S 2 widetilde times S 1 . Finally, we formulate a version of Gabai's theorem about the Murasugi sum of open books, without imposing any orientability assumption on the pages.


Flip graphs for infinite type surfaces. We associate to triangulations of infinite type surface a type of flip graph where simultaneous flips are allowed. Our main focus is on understanding exactly when two triangulations can be related by a sequence of flips. A consequence of our results is that flip graphs for infinite type surfaces have uncountably many connected components.


Convergence analysis of Adaptive Locally Iterative Filtering and SIFT method. Adaptive Local Iterative Filtering (ALIF) is a currently proposed novel time frequency analysis tool. It has been empirically shown that ALIF is able to separate components and overcome the mode mixing problem. However, so far its convergence is still an open problem, particularly for highly nonstationary signals, due to the fact that the kernel associated with ALIF is non translational invariant, non convolutional and non symmetric. Our first contribution in this work is providing a convergence analysis of ALIF. From the practical perspective, ALIF depends on a robust frequencies estimator, based on which the decomposition can be achieved. Our second contribution is proposing a robust and adaptive decomposition method for noisy and nonstationary signals, which we coined the Synchrosqueezing Iterative Filtering Technique (SIFT). In SIFT, we apply the synchrosqueezing transform to estimate the instantaneous frequency, and then apply the ALIF to decompose a signal. We show numerically the ability of this new approach in handling highly nonstationary signals.


Kaestner Brackets. We introduce textit Kaestner brackets , a generalization of biquandle brackets to the case of parity biquandles. This infinite set of quantum enhancements of the biquandle counting invariant for oriented virtual knots and links includes the classical quantum invariants, the quandle and biquandle 2 cocycle invariants and the classical biquandle brackets as special cases, coinciding with them for oriented classical knots and links but defining generally stronger invariants for oriented virtual knots and links. We provide examples to illustrate the computation of the new invariant and to show that it is stronger than the classical biquandle bracket invariant for virtual knots.


On the Time Based Conclusion Stability of Cross Project Defect Prediction Models. Researchers in empirical software engineering often make claims based on observable data such as defect reports. Unfortunately, in many cases, these claims are generalized beyond the data sets that have been evaluated. Will the researcher's conclusions hold a year from now for the same software projects? Perhaps not. Recent studies show that in the area of Software Analytics, conclusions over different data sets are usually inconsistent. In this article, we empirically investigate whether conclusions in the area of defect prediction truly exhibit stability throughout time or not. Our investigation applies a time aware evaluation approach where models are trained only on the past, and evaluations are executed only on the future. Through this time aware evaluation, we show that depending on which time period we evaluate defect predictors, their performance, in terms of F Score, the area under the curve (AUC), and Mathews Correlation Coefficient (MCC), varies and their results are not consistent. The next release of a product, which is significantly different from its prior release, may drastically change defect prediction performance. Therefore, without knowing about the conclusion stability, empirical software engineering researchers should limit their claims of performance within the contexts of evaluation, because broad claims about defect prediction performance might be contradicted by the next upcoming release of a product under analysis.


INFLUENCE a partizan scoring game on graphs. We introduce the game INFLUENCE, a scoring combinatorial game, played on a directed graph where each vertex is either colored black or white. The two players, Black and White play alternately by taking a vertex of their color and all its successors (for Black) or all its predecessors (for White). The score of each player is the number of vertices he has taken. We prove that INFLUENCE is a nonzugzwang game, meaning that no player has interest to pass at any step of the game, and thus belongs to Milnor's universe. We study this game in the particular class of paths where black and white are alternated. We give an almost tight strategy for both players when there is one path. More precisely, we prove that the first player always gets a strictly better score than the second one, but that the difference between the score is bounded by 5. Finally, we exhibit some graphs for which the initial proportion of vertices of the color of a player is as small as possible but where this player can get almost all the vertices.


How Archimedes showed that pi is approximately equal to 22 7. The ratio of the circumference, C, of a circle to its diameter, D, is a constant number denoted by pi and is independent of the size of the circle. It is known that pi is an irrational number and therefore cannot be expressed as a common fraction. Its value is approximately equal to 3.141592. Since Archimedes was one of the first persons to suggest a rational approximation of 22 7 for pi , it is sometimes referred to as Archimedes' constant. In this article, we discuss how Archimedes came up with his formula. Archimedes in fact proved that 223 71 pi 22 7. Here we provide an improved lower bound.


On the A alpha spectra of some join graphs. Let G be a simple, connected graph and let A(G) be the adjacency matrix of G . If D(G) is the diagonal matrix of the vertex degrees of G , then for every real alpha in 0,1 , the matrix A alpha (G) is defined as A alpha (G) alpha D(G) (1 alpha) A(G). The eigenvalues of the matrix A alpha (G) form the A alpha spectrum of G . Let G 1 dot vee G 2 , G 1 underline vee G 2 , G 1 langle textrm v rangle G 2 and G 1 langle textrm e rangle G 2 denote the subdivision vertex join, subdivision edge join, R vertex join and R edge join of two graphs G 1 and G 2 , respectively. In this paper, we compute the A alpha spectra of G 1 dot vee G 2 , G 1 underline vee G 2 , G 1 langle textrm v rangle G 2 and G 1 langle textrm e rangle G 2 for a regular graph G 1 and an arbitrary graph G 2 in terms of their A alpha eigenvalues. As an application of these results, we construct infinitely many pairs of A alpha cospectral graphs.


Bounds on Rudin Shapiro polynomials of arbitrary degree. Let P n (z) be the Rudin Shapiro polynomial of degree n 1 . We show that P n (z) le sqrt 6n 2 1 for all n ge0 and z 1 , confirming a longstanding conjecture. This bound is sharp in the case when n (2 cdot 4 k 1) 3 and z 1 . We also show that for n ge m ge0 , P n (z) P m (z) le sqrt 10(n m) , which is asymptotically sharp in the sense that for any varepsilon 0 there exists n m ge0 and z with z 1 and P n (z) P m (z) ge sqrt (10 varepsilon)(n m) , contradicting a conjecture of Montgomery.


Robust, fast and accurate a 3 step method for automatic histological image registration. We present a 3 step registration pipeline for differently stained histological serial sections that consists of 1) a robust pre alignment, 2) a parametric registration computed on coarse resolution images, and 3) an accurate nonlinear registration. In all three steps the NGF distance measure is minimized with respect to an increasingly flexible transformation. We apply the method in the ANHIR image registration challenge and evaluate its performance on the training data. The presented method is robust (error reduction in 99.6 of the cases), fast (runtime 4 seconds) and accurate (median relative target registration error 0.19 ).


An Energy Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet of Things Applications. This paper presents the first hardware implementation of the Datagram Transport Layer Security (DTLS) protocol to enable end to end security for the Internet of Things (IoT). A key component of this design is a reconfigurable prime field elliptic curve cryptography (ECC) accelerator, which is 238x and 9x more energy efficient compared to software and state of the art hardware respectively. Our full hardware implementation of the DTLS 1.3 protocol provides 438x improvement in energy efficiency over software, along with code size and data memory usage as low as 8 KB and 3 KB respectively. The cryptographic accelerators are coupled with an on chip low power RISC V processor to benchmark applications beyond DTLS with up to two orders of magnitude energy savings. The test chip, fabricated in 65 nm CMOS, demonstrates hardware accelerated DTLS sessions while consuming 44.08 uJ per handshake, and 0.89 nJ per byte of encrypted data at 16 MHz and 0.8 V.


Maximizing Welfare with Incentive Aware Evaluation Mechanisms. Motivated by applications such as college admission and insurance rate determination, we propose an evaluation problem where the inputs are controlled by strategic individuals who can modify their features at a cost. A learner can only partially observe the features, and aims to classify individuals with respect to a quality score. The goal is to design an evaluation mechanism that maximizes the overall quality score, i.e., welfare, in the population, taking any strategic updating into account. We further study the algorithmic aspect of finding the welfare maximizing evaluation mechanism under two specific settings in our model. When scores are linear and mechanisms use linear scoring rules on the observable features, we show that the optimal evaluation mechanism is an appropriate projection of the quality score. When mechanisms must use linear thresholds, we design a polynomial time algorithm with a (1 4) approximation guarantee when the underlying feature distribution is sufficiently smooth and admits an oracle for finding dense regions. We extend our results to settings where the prior distribution is unknown and must be learned from samples.


Vietnamese transition based dependency parsing with supertag features. In recent years, dependency parsing is a fascinating research topic and has a lot of applications in natural language processing. In this paper, we present an effective approach to improve dependency parsing by utilizing supertag features. We performed experiments with the transition based dependency parsing approach because it can take advantage of rich features. Empirical evaluation on Vietnamese Dependency Treebank showed that, we achieved an improvement of 18.92 in labeled attachment score with gold supertags and an improvement of 3.57 with automatic supertags.


Band dynamics accompanied by bound states in the continuum at the third order Gamma point in leaky mode photonic lattices. Bound states in the continuum (BICs) and Fano resonances in planar photonic lattices, including metasurfaces and photonic crystal slabs, have been studied extensively in recent years. Typically, the BICs and Fano resonances are associated with the second stop bands open at the second order Gamma ( Gamma ) point. This paper address the fundamental properties of the fourth stop band accompanied by BICs at the third order Gamma point in one dimensional (1D) leaky mode photonic lattices. At the fourth stop band, one band edge mode suffers radiation loss, thereby generating a Fano resonance, while the other band edge mode becomes a nonleaky BIC. The fourth stop band is controlled primarily by the Bragg processes associated with the first, second, and fourth Fourier harmonic components of the periodic dielectric constant modulation. The interplay between these three major processes closes the fourth band gap and induces a band flip whereby the leaky and BIC edges transit across the fourth band gap. At the fourth stop band, a new type of BIC is formed owing to the destructive interplay between the first and second Fourier harmonics. When the fourth band gap closes with strongly enhanced Q factors, Dirac cone dispersions can appear at the third order Gamma point. Our results demonstrate a method for manipulating electromagnetic waves by utilizing the high Q Bloch modes at the fourth stop band.


The role of resonance and bandgaps in high k textrm eff 2 transducers. Bandgaps formed in a piezoelectric transducer with large coupling, k textrm eff 2 , qualitatively modify its electrical response. This regime in which electrical loading strongly couples forward and backward waves occurs in thin film lithium niobate which has recently become available and amenable to nanopatterning. In this work, we study how resonance and bandgaps modify the design and performance of transducers and delay lines in thin film lithium niobate. These films are an attractive platform for GHz frequency applications in low power RF analog signal processing, optomechanics, and quantum devices due to their high coupling, low loss, excellent optical properties, and compatibility with superconducting quantum circuits. We demonstrate aluminum IDTs in this platform for horizontal shear (SH) waves between 1.2 and 3.3 GHz and longitudinal waves between 2.1 and 5.4 GHz. For the SH waves, we measure a piezoelectric coupling coefficient of 13 and 6.0 dB mm propagation losses in delay lines up to 1.2 mm with a 300 ns delay in air at room temperature. Reflections from electrical loading when k textrm eff 2 is large lead to a departure from the impulse response model widely used to model surface acoustic wave devices. Finite element method models and an experimental finger pair sweep are used to characterize the role of resonance in these transducers, illuminating the physics behind the anomalously large motional admittances of these small footprint IDTs.


Magnetic Shape Memory Polymers with Integrated Multifunctional Shape Manipulations. Shape programmable soft materials that exhibit integrated multifunctional shape manipulations, including reprogrammable, untethered, fast, and reversible shape transformation and locking, are highly desirable for a plethora of applications, including soft robotics, morphing structures, and biomedical devices. Despite recent progress, it remains challenging to achieve multiple shape manipulations in one material system. Here, we report a novel magnetic shape memory polymer composite to achieve this. The composite consists of two types of magnetic particles in an amorphous shape memory polymer matrix. The matrix softens via magnetic inductive heating of low coercivity particles, and high remanence particles with reprogrammable magnetization profiles drive the rapid and reversible shape change under actuation magnetic fields. Once cooled, the actuated shape can be locked. Additionally, varying the particle loadings for heating enables sequential actuation. The integrated multifunctional shape manipulations are further exploited for applications including soft magnetic grippers with large grabbing force, sequential logic for computing, and reconfigurable antennas. Keyword shape memory polymers, soft active materials, magnetic soft material, soft robotics, soft material computing


Phase Transitions in Asymptotically Singular Anderson Hamiltonian and Parabolic Model. Let xi be a Gaussian white noise on mathbb R d ( d 1,2,3 ). Let ( xi varepsilon) varepsilon 0 be continuous Gaussian processes such that xi varepsilon to xi as varepsilon to0 , defined by convolving xi against a mollifier. We consider the asymptotics of the parabolic Anderson model (PAM) with noise xi varepsilon(t) for large time t gg1 , and the Dirichlet eigenvalues of the Anderson Hamiltonian (AH) with potential xi varepsilon(t) on large boxes ( t,t) d , where the parameter varepsilon(t) vanishes as t to infty . We prove that the asymptotics in question exhibit a phase transition in the rate at which varepsilon(t) vanishes, which distinguishes between the behavior observed in the AH PAM with continuous Gaussian noise and white noise. By comparing our main theorems with previous results on the AH PAM with white noise, our results show that some asymptotics of the latter can be accessed with solely elementary methods, and we obtain quantitative estimates on the difference between the AH PAM with white noise and its continuous noise approximations as t to infty .


Inductive Approach to Cartan's Moving Frame Method with Applications to Classical Invariant Theory. This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an equivariant map from the space of submanifolds to the group itself and introduce two algorithms, which simplify the construction of such maps. The first algorithm is applicable when the group factors as a product of two subgroups G BA , allowing us to use moving frames and differential invariants for the groups A and B in order to construct a moving frame and differential invariants for G . This approach produces the relations among the invariants of G and its subgroups. We use the groups of the projective, the affine and the Euclidean transformations on the plane to illustrate the algorithm. We also introduce a recursive algorithm, allowing, provided the group action satisfies certain conditions, to construct differential invariants order by order, at each step normalizing more and more of the group parameters, at the end obtaining a moving frame for the entire group. The development of this algorithm has been motivated by the applications of the moving frame method to the problems of the equivalence and symmetry of polynomials under linear changes of variables. In the complex or real case these problems can be reduced and, in theory, completely solved as the problem of the equivalence of submanifolds. Its solution however involves algorithms based on the Gr "obner basis computations, which due to their complexity, are not always feasible. Nevertheless, some interesting new results were obtained, such as a classification of ternary cubics and their groups of symmetries, and the necessary and sufficient conditions for a homogeneous polynomial in three variables to be equivalent to x n y n z n.


Splendid Morita equivalences for principal blocks with semidihedral defect groups. We classify principal blocks of finite groups with semidihedral defect groups up to splendid Morita equivalence. This completes the classification of all principal 2 blocks of tame representation type up to splendid Morita equivalence and shows that Puig's Finiteness Conjecture holds for such blocks.


The multiplicity of generic normal surface singularities. We provide combinatorial topological formula for the multiplicity of a complex analytic normal surface singularity whenever the analytic structure on the fixed topological type is generic.


Non uniqueness for reflected rough differential equations. We give an example of a reflected diffferential equation which may have infinitely many solutions if the driving signal is rough enough (e.g. of infinite p variation, for some p 2 ). For this equation, we identify a sharp condition on the modulus of continuity of the signal under which uniqueness holds. L 'evy's modulus for Brownian motion turns out to be a boundary case. We further show that in our example, non uniqueness holds almost surely when the driving signal is a fractional Brownian motion with Hurst index H frac 1 2 . The considered equation is driven by a two dimensional signal with one component of bounded variation, so that rough path theory is not needed to make sense of the equation.


Bicubic partially blended rational quartic surface. This paper investigates some univariate and bivariate constrained interpolation problems using rational quartic fractal interpolation functions, which has been submitted long back in a reputed journal and revised as per the journal requirement. This research is extension of the work S. K. Katiyar and A. K. B. Chand, Shape Preserving Rational Quartic Fractal Functions, Fractal, in Press .


Systematic Microsolvation Approach with a Cluster Continuum Scheme and Conformational Sampling. Solvation is a notoriously difficult and nagging problem for the rigorous theoretical description of chemistry in the liquid phase. Successes and failures of various approaches ranging from implicit solvation modeling through dielectric continuum embedding and microsolvated quantum chemical modeling to explicit molecular dynamics highlight this situation. Here, we focus on quantum chemical microsolvation and discuss an explicit conformational sampling ansatz to make this approach systematic. For this purpose, we introduce an algorithm for the rolling and automated microsolvation of solutes. Our protocol takes conformational sampling and rearrangements in the solvent shell into account. Its reliability is assessed by monitoring the evolution of the spread and average of the observables of interest.


Waring and cactus ranks and Strong Lefschetz Property for annihilators of symmetric forms. In this note we show that the complete symmetric polynomials are dual generators of compressed artinian Gorenstein algebras satisfying the Strong Lefschetz Property. This is the first example of an explicit dual form with these properties. For complete symmetric forms of any degree in any number of variables, we provide an upper bound for the Waring rank by establishing an explicit power sum decomposition. Moreover, we determine the Waring rank, the cactus rank, the resolution and the Strong Lefschetz Property for any Gorenstein algebra defined by a symmetric cubic form. In particular, we show that the difference between the Waring rank and the cactus rank of a symmetric cubic form can be made arbitrarily large by increasing the number of variables. We provide upper bounds for the Waring rank of generic symmetric forms of degrees four and five.


Autonomous, Monocular, Vision Based Snake Robot Navigation and Traversal of Cluttered Environments using Rectilinear Gait Motion. Rectilinear forms of snake like robotic locomotion are anticipated to be an advantage in obstacle strewn scenarios characterizing urban disaster zones, subterranean collapses, and other natural environments. The elongated, laterally narrow footprint associated with these motion strategies is well suited to traversal of confined spaces and narrow pathways. Navigation and path planning in the absence of global sensing, however, remains a pivotal challenge to be addressed prior to practical deployment of these robotic mechanisms. Several challenges related to visual processing and localization need to be resolved to to enable navigation. As a first pass in this direction, we equip a wireless, monocular color camera to the head of a robotic snake. Visiual odometry and mapping from ORB SLAM permits self localization in planar, obstacle strewn environments. Ground plane traversability segmentation in conjunction with perception space collision detection permits path planning for navigation. A previously presented dynamical reduction of rectilinear snake locomotion to a non holonomic kinematic vehicle informs both SLAM and planning. The simplified motion model is then applied to track planned trajectories through an obstacle configuration. This navigational framework enables a snake like robotic platform to autonomously navigate and traverse unknown scenarios with only monocular vision.


Bilinear Models for Machine Learning. In this work we define and analyze the bilinear models which replace the conventional linear operation used in many building blocks of machine learning (ML). The main idea is to devise the ML algorithms which are adapted to the objects they treat. In the case of monochromatic images, we show that the bilinear operation exploits better the structure of the image than the conventional linear operation which ignores the spatial relationship between the pixels. This translates into significantly smaller number of parameters required to yield the same performance. We show numerical examples of classification in the MNIST data set.


Approximating exit times of continuous Markov processes. The time at which a one dimensional continuous strong Markov process attains a boundary point of its state space is a discontinuous path functional and it is, therefore, unclear whether the exit time can be approximated by hitting times of approximations of the process. We prove a functional limit theorem for approximating weakly both the paths of the Markov process and its exit times. In contrast to the functional limit theorem in arXiv 1902.06249v1 for approximating the paths, we impose a stronger assumption here. This is essential, as we present an example showing that the theorem extended with the convergence of the exit times does not hold under the assumption in arXiv 1902.06249v1 . However, the EMCEL scheme introduced in arXiv 1902.06249v1 satisfies the assumption of our theorem, and hence we have a scheme capable of approximating both the process and its exit times for every one dimensional continuous strong Markov process, even with irregular behavior (e.g., a solution of an SDE with irregular coefficients or a Markov process with sticky features). Moreover, our main result can be used to check for some other schemes whether the exit times converge. As an application we verify that the weak Euler scheme is capable of approximating the absorption time of the CEV diffusion and that the scale transformed weak Euler scheme for a squared Bessel process is capable of approximating the time when the squared Bessel process hits zero.


Representations of finite pattern groups. Let G 1 A be a finite pattern group over the finite field mathbb F q . We give a natural bijection between coadjoint orbits of G and its equivalent classes of irreducible representations. More precisely, given any T in A t , viewed as a representative of associated coadjoint orbit mathfrak O T of G , we can explicitly construct a subgroup H T of G , such that mathrm Ind H T G psi T is irreducible and mathrm Ind H T G psi T cong mathrm Ind H T' G psi T' if and only if T and T' are in the same coadjoint orbit. Here psi T(x) psi( mathrm tr Tx) text for x in H T, and psi is a fixed nontrivial additive character of mathbb F q .


Modeling Functional Similarity in Source Code with Graph Based Siamese Networks. Code clones are duplicate code fragments that share (nearly) similar syntax or semantics. Code clone detection plays an important role in software maintenance, code refactoring, and reuse. A substantial amount of research has been conducted in the past to detect clones. A majority of these approaches use lexical and syntactic information to detect clones. However, only a few of them target semantic clones. Recently, motivated by the success of deep learning models in other fields, including natural language processing and computer vision, researchers have attempted to adopt deep learning techniques to detect code clones. These approaches use lexical information (tokens) and(or) syntactic structures like abstract syntax trees (ASTs) to detect code clones. However, they do not make sufficient use of the available structural and semantic information hence, limiting their capabilities. This paper addresses the problem of semantic code clone detection using program dependency graphs and geometric neural networks, leveraging the structured syntactic and semantic information. We have developed a prototype tool HOLMES, based on our novel approach, and empirically evaluated it on popular code clone benchmarks. Our results show that HOLMES performs considerably better than the other state of the art tool, TBCCD. We also evaluated HOLMES on unseen projects and performed cross dataset experiments to assess the generalizability of HOLMES. Our results affirm that HOLMES outperforms TBCCD since most of the pairs that HOLMES detected were either undetected or suboptimally reported by TBCCD.


Principal frequency of p sub Laplacians for general vector fields. In this paper, we prove the uniqueness and simplicity of the principal frequency (or the first eigenvalue) of the Dirichlet p sub Laplacian for general vector fields. As a byproduct, we establish the Caccioppoli inequalities and also discuss the particular cases on the Grushin plane and on the Heisenberg group.


Active Ensemble Deep Learning for Polarimetric Synthetic Aperture Radar Image Classification. Although deep learning has achieved great success in image classification tasks, its performance is subject to the quantity and quality of training samples. For classification of polarimetric synthetic aperture radar (PolSAR) images, it is nearly impossible to annotate the images from visual interpretation. Therefore, it is urgent for remote sensing scientists to develop new techniques for PolSAR image classification under the condition of very few training samples. In this letter, we take the advantage of active learning and propose active ensemble deep learning (AEDL) for PolSAR image classification. We first show that only 35 of the predicted labels of a deep learning model's snapshots near its convergence were exactly the same. The disagreement between snapshots is non negligible. From the perspective of multiview learning, the snapshots together serve as a good committee to evaluate the importance of unlabeled instances. Using the snapshots committee to give out the informativeness of unlabeled data, the proposed AEDL achieved better performance on two real PolSAR images compared with standard active learning strategies. It achieved the same classification accuracy with only 86 and 55 of the training samples compared with breaking ties active learning and random selection for the Flevoland dataset.


Quantifying structural uncertainty in the BHR model for variable density flows. In this brief, we try to develop a comprehensive framework to identify, quantify, isolate, and reduce the uncertainties in the original BHR model citep Besnard1992 for variable density flows. Because the eigenspace perturbation of Reynolds stress successfully accounts for the structural uncertainty in many flows, we first extend this methodology to the BHR model for variable density flows with different At . The philosophy of eigenspace perturbation in Reynolds stress, i.e., quantifying the states of maximizing and minimizing the production mechanism, has led to the proposals of the structural uncertainty quantification strategy in the BHR model for variable density flows. Several canonical flows, including one dimensional (1D) Rayleigh Taylor instability (1DRT), Rayleigh Taylor mixing in a tilted rig (TR) and turbulent jet mixing flow, are investigated.


Enumerating path diagrams in connection with q tangent and q secant numbers. We enumerate height restricted path diagrams associated with q tangent and q secant numbers by considering convergents of continued fractions, leading to expressions involving basic hypergeometric functions. Our work generalises some results by M. Josuat Verg 'es for unrestricted path diagrams European Journal of Combinatorics 31 (2010) 1892 .


Optimal Skeleton Huffman Trees Revisited. A skeleton Huffman tree is a Huffman tree in which all disjoint maximal perfect subtrees are shrunk into leaves. Skeleton Huffman trees, besides saving storage space, are also used for faster decoding and for speeding up Huffman shaped wavelet trees. In 2017 Klein et al. introduced an optimal skeleton tree for given symbol frequencies, it has the least number of nodes among all optimal prefix free code trees (not necessarily Huffman's) with shrunk perfect subtrees. Klein et al. described a simple algorithm that, for fixed codeword lengths, finds a skeleton tree with the least number of nodes with this algorithm one can process each set of optimal codeword lengths to find an optimal skeleton tree. However, there are exponentially many such sets in the worst case. We describe an O(n 2 log n) time algorithm that, given n symbol frequencies, constructs an optimal skeleton tree and its corresponding optimal code.


Implicit Discourse Relation Identification for Open domain Dialogues. Discourse relation identification has been an active area of research for many years, and the challenge of identifying implicit relations remains largely an unsolved task, especially in the context of an open domain dialogue system. Previous work primarily relies on a corpora of formal text which is inherently non dialogic, i.e., news and journals. This data however is not suitable to handle the nuances of informal dialogue nor is it capable of navigating the plethora of valid topics present in open domain dialogue. In this paper, we designed a novel discourse relation identification pipeline specifically tuned for open domain dialogue systems. We firstly propose a method to automatically extract the implicit discourse relation argument pairs and labels from a dataset of dialogic turns, resulting in a novel corpus of discourse relation pairs the first of its kind to attempt to identify the discourse relations connecting the dialogic turns in open domain discourse. Moreover, we have taken the first steps to leverage the dialogue features unique to our task to further improve the identification of such relations by performing feature ablation and incorporating dialogue features to enhance the state of the art model.


Butson full propelinear codes. In this paper we study Butson Hadamard matrices, and codes over finite rings coming from these matrices in logarithmic form, called BH codes. We introduce a new morphism of Butson Hadamard matrices through a generalized Gray map on the matrices in logarithmic form, which is comparable to the morphism given in a recent note of ' O Cath ' a in and Swartz. That is, we show how, if given a Butson Hadamard matrix over the k rm th roots of unity, we can construct a larger Butson matrix over the ell rm th roots of unity for any ell dividing k , provided that any prime p dividing k also divides ell . We prove that a mathbb Z p s additive code with p a prime number is isomorphic as a group to a BH code over mathbb Z p s and the image of this BH code under the Gray map is a BH code over mathbb Z p (binary Hadamard code for p 2 ). Further, we investigate the inherent propelinear structure of these codes (and their images) when the Butson matrix is cocyclic. Some structural properties of these codes are studied and examples are provided.


A generalization of Veldkamp's theorem for a class of Lie algebras. A classical theorem of Veldkamp describes the center of an enveloping algebra of a Lie algebra of a semi simple algebraic group in characteristic p. We generalize this result to a class of Lie algebras with a property that they arise as the reduction modulo p gg 0 from an algebraic Lie algebra mathfrak g , such that mathfrak g has no nontrivial semi invariants in Sym( mathfrak g ) and Sym( mathfrak g ) mathfrak g is a polynomial algebra. As an application, we solve the derived isomorphism problem of enveloping algebras for the above class of Lie algebras.


Forest R CNN Large Vocabulary Long Tailed Object Detection and Instance Segmentation. Despite the previous success of object analysis, detecting and segmenting a large number of object categories with a long tailed data distribution remains a challenging problem and is less investigated. For a large vocabulary classifier, the chance of obtaining noisy logits is much higher, which can easily lead to a wrong recognition. In this paper, we exploit prior knowledge of the relations among object categories to cluster fine grained classes into coarser parent classes, and construct a classification tree that is responsible for parsing an object instance into a fine grained category via its parent class. In the classification tree, as the number of parent class nodes are significantly less, their logits are less noisy and can be utilized to suppress the wrong noisy logits existed in the fine grained class nodes. As the way to construct the parent class is not unique, we further build multiple trees to form a classification forest where each tree contributes its vote to the fine grained classification. To alleviate the imbalanced learning caused by the long tail phenomena, we propose a simple yet effective resampling method, NMS Resampling, to re balance the data distribution. Our method, termed as Forest R CNN, can serve as a plug and play module being applied to most object recognition models for recognizing more than 1000 categories. Extensive experiments are performed on the large vocabulary dataset LVIS. Compared with the Mask R CNN baseline, the Forest R CNN significantly boosts the performance with 11.5 and 3.9 AP improvements on the rare categories and overall categories, respectively. Moreover, we achieve state of the art results on the LVIS dataset. Code is available at https github.com JialianW Forest RCNN.


An equivariant Atiyah Patodi Singer index theorem for proper actions II the K theoretic index. Consider a proper, isometric action by a unimodular locally compact group G on a Riemannian manifold M with boundary, such that M G is compact. Then an equivariant Dirac type operator D on M under a suitable boundary condition has an equivariant index operatorname index G(D) in the K theory of the reduced group C algebra C rG of G . This is a common generalisation of the Baum Connes analytic assembly map and the (equivariant) Atiyah Patodi Singer index. In part I of this series, a numerical index operatorname index g(D) was defined for an element g in G , in terms of a parametrix of D and a trace associated to g . An Atiyah Patodi Singer type index formula was obtained for this index. In this paper, we show that, under certain conditions, tau g( operatorname index G(D)) operatorname index g(D) , for a trace tau g defined by the orbital integral over the conjugacy class of g . This implies that the index theorem from part I yields information about the K theoretic index operatorname index G(D) . It also shows that operatorname index g(D) is a homotopy invariant quantity.


Chaos of Learning Beyond Zero sum and Coordination via Game Decompositions. Machine learning processes, e.g. ''learning in games'', can be viewed as non linear dynamical systems. In general, such systems exhibit a wide spectrum of behaviors, ranging from stability recurrence to the undesirable phenomena of chaos (or ''butterfly effect''). Chaos captures sensitivity of round off errors and can severely affect predictability and reproducibility of ML systems, but AI ML community's understanding of it remains rudimentary. It has a lot out there that await exploration. Recently, Cheung and Piliouras employed volume expansion argument to show that Lyapunov chaos occurs in the cumulative payoff space, when some popular learning algorithms, including Multiplicative Weights Update (MWU), Follow the Regularized Leader (FTRL) and Optimistic MWU (OMWU), are used in several subspaces of games, e.g. zero sum, coordination or graphical constant sum games. It is natural to ask can these results generalize to much broader families of games? We take on a game decomposition approach and answer the question affirmatively. Among other results, we propose a notion of ''matrix domination'' and design a linear program, and use them to characterize bimatrix games where MWU is Lyapunov chaotic almost everywhere. Such family of games has positive Lebesgue measure in the bimatrix game space, indicating that chaos is a substantial issue of learning in games. For multi player games, we present a local equivalence of volume change between general games and graphical games, which is used to perform volume and chaos analyses of MWU and OMWU in potential games.


Linking over cones for the Neumann Fractional p Laplacian. We consider nonlinear problems governed by the fractional p Laplacian in presence of nonlocal Neumann boundary conditions. We face two problems. First the p superlinear term may not satisfy the Ambrosetti Rabinowitz condition. Second, and more important although the topological structure of the underlying functional reminds the one of the linking theorem, the nonlocal nature of the associated eigenfunctions prevents the use of such a classical theorem. For these reasons, we are led to adopt another approach, relying on the notion of linking over cones.


Uncovering the Bias in Facial Expressions. Over the past decades the machine and deep learning community has celebrated great achievements in challenging tasks such as image classification. The deep architecture of artificial neural networks together with the plenitude of available data makes it possible to describe highly complex relations. Yet, it is still impossible to fully capture what the deep learning model has learned and to verify that it operates fairly and without creating bias, especially in critical tasks, for instance those arising in the medical field. One example for such a task is the detection of distinct facial expressions, called Action Units, in facial images. Considering this specific task, our research aims to provide transparency regarding bias, specifically in relation to gender and skin color. We train a neural network for Action Unit classification and analyze its performance quantitatively based on its accuracy and qualitatively based on heatmaps. A structured review of our results indicates that we are able to detect bias. Even though we cannot conclude from our results that lower classification performance emerged solely from gender and skin color bias, these biases must be addressed, which is why we end by giving suggestions on how the detected bias can be avoided.


Totally p adic Numbers of Degree 3. The height of an algebraic number alpha is a measure of how arithmetically complicated alpha is. We say alpha is totally p adic if the minimal polynomial of alpha splits completely over the field mathbb Q p of p adic numbers. In this paper, we investigate what can be said about the smallest nonzero height of a degree 3 totally p adic number. In particular, we provide an algorithm to determine, given a prime p , the smallest height of a degree 3 totally p adic number.


AdapterDrop On the Efficiency of Adapters in Transformers. Massively pre trained transformer models are computationally expensive to fine tune, slow for inference, and have large storage requirements. Recent approaches tackle these shortcomings by training smaller models, dynamically reducing the model size, and by training light weight adapters. In this paper, we propose AdapterDrop, removing adapters from lower transformer layers during training and inference, which incorporates concepts from all three directions. We show that AdapterDrop can dynamically reduce the computational overhead when performing inference over multiple tasks simultaneously, with minimal decrease in task performances. We further prune adapters from AdapterFusion, which improves the inference efficiency while maintaining the task performances entirely.


Reliability and Performance Assessment of Federated Learning on Clinical Benchmark Data. As deep learning have been applied in a clinical context, privacy concerns have increased because of the collection and processing of a large amount of personal data. Recently, federated learning (FL) has been suggested to protect personal privacy because it does not centralize data during the training phase. In this study, we assessed the reliability and performance of FL on benchmark datasets including MNIST and MIMIC III. In addition, we attempted to verify FL on datasets that simulated a realistic clinical data distribution. We implemented FL that uses a client and server architecture and tested client and server FL on modified MNIST and MIMIC III datasets. FL delivered reliable performance on both imbalanced and extremely skewed distributions (i.e., the difference of the number of patients and the characteristics of patients in each hospital). Therefore, FL can be suitable to protect privacy when applied to medical data.


SRLGRN Semantic Role Labeling Graph Reasoning Network. This work deals with the challenge of learning and reasoning over multi hop question answering (QA). We propose a graph reasoning network based on the semantic structure of the sentences to learn cross paragraph reasoning paths and find the supporting facts and the answer jointly. The proposed graph is a heterogeneous document level graph that contains nodes of type sentence (question, title, and other sentences), and semantic role labeling sub graphs per sentence that contain arguments as nodes and predicates as edges. Incorporating the argument types, the argument phrases, and the semantics of the edges originated from SRL predicates into the graph encoder helps in finding and also the explainability of the reasoning paths. Our proposed approach shows competitive performance on the HotpotQA distractor setting benchmark compared to the recent state of the art models.


Self Challenging Improves Cross Domain Generalization. Convolutional Neural Networks (CNN) conduct image classification by activating dominant features that correlated with labels. When the training and testing data are under similar distributions, their dominant features are similar, which usually facilitates decent performance on the testing data. The performance is nonetheless unmet when tested on samples from different distributions, leading to the challenges in cross domain image classification. We introduce a simple training heuristic, Representation Self Challenging (RSC), that significantly improves the generalization of CNN to the out of domain data. RSC iteratively challenges (discards) the dominant features activated on the training data, and forces the network to activate remaining features that correlates with labels. This process appears to activate feature representations applicable to out of domain data without prior knowledge of new domain and without learning extra network parameters. We present theoretical properties and conditions of RSC for improving cross domain generalization. The experiments endorse the simple, effective and architecture agnostic nature of our RSC method.


Online Circle Packing. We consider the online problem of packing circles into a square container. A sequence of circles has to be packed one at a time, without knowledge of the following incoming circles and without moving previously packed circles. We present an algorithm that packs any online sequence of circles with a combined area not larger than 0.350389 0.350389 of the square's area, improving the previous best value of pi 10 approx 0.31416 even in an offline setting, there is an upper bound of pi (3 2 sqrt 2 ) approx 0.5390. If only circles with radii of at least 0.026622 are considered, our algorithm achieves the higher value 0.375898. As a byproduct, we give an online algorithm for packing circles into a 1 times b rectangle with b geq 1. This algorithm is worst case optimal for b geq 2.36.


Multiple Association Supporting HTC MTC in Limited Backhaul Capacity Ultra Dense Networks. Coexistence of Human Type Communications (HTCs) and Machine Type Communications (MTCs) is inevitable. Ultra Dense Networks (UDNs) will be efficacious in supporting both types of communications. In a UDN, a massive number of low power and low cost Small Cells (SCs) are deployed with density higher than that of the HTC users. In such a scenario, the backhaul capacities constitute an intrinsic bottleneck for the system. Hence, we propose a multiple association scheme where each HTC user associates to and activates multiple SCs to overcome the backhaul capacity constraints. In addition, having more active cells allows for more MTC devices to be supported by the network. Using tools from stochastic geometry, we formulate a novel mathematical framework investigating the performance of the limited backhaul capacity UDN in terms of Area Spectral Efficiency (ASE) for both HTC and MTC and the density of supported MTC devices. Extensive simulations were conducted to verify the accuracy of the mathematical analysis under different system parameters. Results show the existence of an optimum number of SCs to which an HTC user may connect under backhaul capacity constraints. Besides, the proposed multiple association scheme significantly improves the performance of MTC in terms of both ASE and density of supported devices.


Knowledge Graphs for Multilingual Language Translation and Generation. The Natural Language Processing (NLP) community has recently seen outstanding progress, catalysed by the release of different Neural Network (NN) architectures. Neural based approaches have proven effective by significantly increasing the output quality of a large number of automated solutions for NLP tasks (Belinkov and Glass, 2019). Despite these notable advancements, dealing with entities still poses a difficult challenge as they are rarely seen in training data. Entities can be classified into two groups, i.e., proper nouns and common nouns. Proper nouns are also known as Named Entities (NE) and correspond to the name of people, organizations, or locations, e.g., John, WHO, or Canada. Common nouns describe classes of objects, e.g., spoon or cancer. Both types of entities can be found in a Knowledge Graph (KG). Recent work has successfully exploited the contribution of KGs in NLP tasks, such as Natural Language Inference (NLI) (KM et al.,2018) and Question Answering (QA) (Sorokin and Gurevych, 2018). Only a few works had exploited the benefits of KGs in Neural Machine Translation (NMT) when the work presented herein began. Additionally, few works had studied the contribution of KGs to Natural Language Generation (NLG) tasks. Moreover, the multilinguality also remained an open research area in these respective tasks (Young et al., 2018). In this thesis, we focus on the use of KGs for machine translation and the generation of texts to deal with the problems caused by entities and consequently enhance the quality of automatically generated texts.


Improved Load Balancing in Large Scale Systems using Attained Service Time Reporting. Our interest lies in load balancing jobs in large scale systems consisting of multiple dispatchers and FCFS servers. In the absence of any information on job sizes, dispatchers typically use queue length information reported by the servers to assign incoming jobs. When job sizes are highly variable, using only queue length information is clearly suboptimal and performance can be improved if some indication can be provided to the dispatcher about the size of an ongoing job. In a FCFS server measuring the attained service time of the ongoing job is easy and servers can therefore report this attained service time together with the queue length when queried by a dispatcher. In this paper we propose and analyse a variety of load balancing policies that exploit both the queue length and attained service time to assign jobs, as well as policies for which only the attained service time of the job in service is used. We present a unified analysis for all these policies in a large scale system under the usual asymptotic independence assumptions. The accuracy of the proposed analysis is illustrated using simulation. We present extensive numerical experiments which clearly indicate that a significant improvement in waiting (and thus also in response) time may be achieved by using the attained service time information on top of the queue length of a server. Moreover, the policies which do not make use of the queue length still provide an improved waiting time for moderately loaded systems.


The regular quantizations of certain holomorphic bundles. In this paper, we study the regular quantizations of K " a hler manifolds by using the first two coefficients of Bergman function expansions. Firstly, we obtain sufficient and necessary conditions for certain Hermitian holomorphic vector bundles and their ball subbundles to be regular quantizations. Secondly, we obtain that some projective bundles over the Fano manifolds M admit regular quantizations if and only if M are biholomorphically isomorphism to the complex projective spaces. Finally, we obtain the balanced metrics on certain Hermitian holomorphic vector bundles and their ball subbundles over the Riemann sphere.


Semantic Scene Completion using Local Deep Implicit Functions on LiDAR Data. Semantic scene completion is the task of jointly estimating 3D geometry and semantics of objects and surfaces within a given extent. This is a particularly challenging task on real world data that is sparse and occluded. We propose a scene segmentation network based on local Deep Implicit Functions as a novel learning based method for scene completion. Unlike previous work on scene completion, our method produces a continuous scene representation that is not based on voxelization. We encode raw point clouds into a latent space locally and at multiple spatial resolutions. A global scene completion function is subsequently assembled from the localized function patches. We show that this continuous representation is suitable to encode geometric and semantic properties of extensive outdoor scenes without the need for spatial discretization (thus avoiding the trade off between level of scene detail and the scene extent that can be covered). We train and evaluate our method on semantically annotated LiDAR scans from the Semantic KITTI dataset. Our experiments verify that our method generates a powerful representation that can be decoded into a dense 3D description of a given scene. The performance of our method surpasses the state of the art on the Semantic KITTI Scene Completion Benchmark in terms of geometric completion intersection over union (IoU).