Identification of second gradient elastic materials from planar hexagonal lattices. Part I Analytical derivation of equivalent constitutive tensors. A second gradient elastic (SGE) material is identified as the homogeneous solid equivalent to a periodic planar lattice characterized by a hexagonal unit cell, which is made up of three different linear elastic bars ordered in a way that the hexagonal symmetry is preserved and hinged at each node, so that the lattice bars are subject to pure axial strain while bending is excluded. Closed form expressions for the identified non local constitutive parameters are obtained by imposing the elastic energy equivalence between the lattice and the continuum solid, under remote displacement conditions having a dominant quadratic component. In order to generate equilibrated stresses, in the absence of body forces, the applied remote displacement has to be constrained, thus leading to the identification in a lq condensed' form of a higher order solid, so that imposition of further constraints becomes necessary to fully quantify the equivalent continuum. The identified SGE material reduces to an equivalent Cauchy material only in the limit of vanishing side length of hexagonal unit cell. The analysis of positive definiteness and symmetry of the equivalent constitutive tensors, the derivation of the second gradient elastic properties from those of the higher order solid in the lq condensed' definition, and a numerical validation of the identification scheme are deferred to Part II of this study.


The FRENK Datasets of Socially Unacceptable Discourse in Slovene and English. In this paper we present datasets of Facebook comment threads to mainstream media posts in Slovene and English developed inside the Slovene national project FRENK which cover two topics, migrants and LGBT, and are manually annotated for different types of socially unacceptable discourse (SUD). The main advantages of these datasets compared to the existing ones are identical sampling procedures, producing comparable data across languages and an annotation schema that takes into account six types of SUD and five targets at which SUD is directed. We describe the sampling and annotation procedures, and analyze the annotation distributions and inter annotator agreements. We consider this dataset to be an important milestone in understanding and combating SUD for both languages.


Convergence problem of Schr "odinger equation in Fourier Lebesgue spaces with rough data and random data. In this paper, we consider the convergence problem of Schr "odinger equation. Firstly, we show the almost everywhere pointwise convergence of Schr "odinger equation in Fourier Lebesgue spaces hat H frac 1 p , frac p 2 ( mathbb R )(4 leq p infty), hat H frac 3 s 1 p , frac 2p 3 ( mathbb R 2)(s 1 frac 1 3 ,3 leq p infty), hat H frac 2 s 1 p ,p ( mathbb R n)(s 1 frac n 2(n 1) ,2 leq p infty,n geq3) with rough data. Secondly, we show that the maximal function estimate related to one Schr "odinger equation can fail with data in hat H s, frac p 2 ( mathbb R )(s frac 1 p ) . Finally, we show the stochastic continuity of Schr "odinger equation with random data in hat L r ( mathbb R n)(2 leq r infty) almost surely. The main ingredients are Lemmas 2.4, 2.5, 3.2 3.4.


The pressure underneath a skate at rest. The pressure distribution is calculated underneath a skate which is pushed in the ice by the weight of a skater at rest. Due to the sharp edges of the skate the deformation is partly elastic and partly plastic. The ratio of the plastic and elastic contribution to the reaction force is determined. Using this ratio the deformation in ice with a finite hardness can be mapped on the problem of the deformation in a purely elastic medium with infinite hardness. Both the upright skate and the tilted position are exactly calculated.


Relative Hyperbolicity of Graphical Small Cancellation Groups. A piece of a labelled graph Gamma defined by D. Gruber is a labelled path that embeds into Gamma in two essentially different ways. We prove that graphical Gr'( frac 1 6 ) small cancellation groups whose associated pieces have uniformly bounded length are relative hyperbolic. In fact, we show that the Cayley graph of such group presentation is asymptotically tree graded with respect to the collection of all embedded components of the defining graph Gamma , if and only if the pieces of Gamma are uniformly bounded. This implies the relative hyperbolicity by a result of C. Dru c t u, D. Osin and M. Sapir.


Singular limits for compressible inviscid rotating fluids. We study singular limit for scaled barotropic Euler system modelling a rotating, compressible and inviscid fluid, where Mach and Rossby numbers are proportional to a small parameter epsilon . If the fluid is confined to an infinite slab, the limit behaviour is identified as a horizontal motion of an incompressible inviscid system that is analogous to the Euler system. We consider a very general class of solutions, named dissipative solution for the scaled compressible Euler systems and will show that it converges to a strong solution of that incompressible inviscid system.


Structural Contracts Contracts for Type Construction Dependent Types to Ensure Consistency of Extra Functional Reasoning. Targeting to use contract based design for the specification and refinement of extra functional properties, this research abstract suggests to use type constraints and dependent types to ensure correct and consistent top down decomposition of contracts with respect to a specifiable type constructor. For this, we summarize the composition problem and give a short draft of our approach, called Structural Contracts.


On sample average approximation for two stage stochastic programs without relatively complete recourse. We investigate sample average approximation (SAA) for two stage stochastic programs without relatively complete recourse, i.e., for problems in which there are first stage feasible solutions that are not guaranteed to have a feasible recourse action. As a feasibility measure of the SAA solution, we consider the "recourse likelihood", which is the probability that the solution has a feasible recourse action. For epsilon in (0,1) , we demonstrate that the probability that a SAA solution has recourse likelihood below 1 epsilon converges to zero exponentially fast with the sample size. Next, we analyze the rate of convergence of optimal solutions of the SAA to optimal solutions of the true problem for problems with a finite feasible region, such as bounded integer programming problems. For problems with non finite feasible region, we propose modified "padded" SAA problems and demonstrate in two cases that such problems can yield, with high confidence, solutions that are certain to have a feasible recourse decision. Finally, we conduct a numerical study on a two stage resource planning problem that illustrates the results, and also suggests there may be room for improvement in some of the theoretical analysis.


Exploring and comparing temporal clustering methods. Description of temporal networks and detection of dynamic communities have been hot topics of research for the last decade. However, no consensual answers to these challenges have been found due to the complexity of the task. Static communities are not well defined objects, and adding a temporal dimension renders the description even more difficult. In this article, we propose a coherent temporal clustering method the Best Combination of Local Communities (BCLC). Our method aims at finding a good balance between two conflicting objectives closely following the short time evolution by finding optimal partitions at each time step and temporal smoothness, which privileges historical continuity.


Structured Multimodal Attentions for TextVQA. In this paper, we propose an end to end structured multimodal attention (SMA) neural network to mainly solve the first two issues above. SMA first uses a structural graph representation to encode the object object, object text and text text relationships appearing in the image, and then designs a multimodal graph attention network to reason over it. Finally, the outputs from the above modules are processed by a global local attentional answering module to produce an answer splicing together tokens from both OCR and general vocabulary iteratively by following M4C. Our proposed model outperforms the SoTA models on TextVQA dataset and two tasks of ST VQA dataset among all models except pre training based TAP. Demonstrating strong reasoning ability, it also won first place in TextVQA Challenge 2020. We extensively test different OCR methods on several reasoning models and investigate the impact of gradually increased OCR performance on TextVQA benchmark. With better OCR results, different models share dramatic improvement over the VQA accuracy, but our model benefits most blessed by strong textual visual reasoning ability. To grant our method an upper bound and make a fair testing base available for further works, we also provide human annotated ground truth OCR annotations for the TextVQA dataset, which were not given in the original release. The code and ground truth OCR annotations for the TextVQA dataset are available at https github.com ChenyuGAO CS SMA


A constructive approach towards the Method of Solution Regions. In this work we develop the theory of solution regions with a constructive approach. We also extend the theory to the case of general linear conditions and provide various sets of sufficient hypotheses for existence and multiplicity results.


On mathematical realism and the applicability of hyperreals. We argue that Robinson's hyperreals have just as much claim to applicability as the garden variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of mathematical techniques in the sciences, and introduce a distinction between techniques that are applicable and those that are merely instrumental. Unfortunately the authors have not shown that their distinction is a clear and fruitful one, as the examples they provide are superficial and unconvincing. Moreover, their analysis is vitiated by a reliance on a naive version of object realism which has long been abandoned by most philosophical realists in favor of truth value realism. ET's argument against the applicability of hyperreals based on automorphisms of hyperreal models involves massaging the evidence and is similarly unconvincing. The purpose of the ET text is to argue that Robinson's infinitesimal analysis is merely instrumental rather than applicable. Yet in spite of Robinson's techniques being applied in physics, probability, and economics, ET don't bother to provide a meaningful analysis of even a single case in which these techniques are used. Instead, ET produce page after page of speculations mainly imitating Connesian chimera type arguments from first principles' against Robinson. In an earlier paper Easwaran endorsed real applicability of the sigma additivity of measures, whereas the ET text rejects real applicability of the axiom of choice, voicing a preference for ZF. Since it is consistent with ZF that the Lebesgue measure is not sigma additive, Easwaran is thereby walking back his earlier endorsement. We note a related inaccuracy in the textbook Measure Theory by Paul Halmos.


Velocity of viscous fingers in miscible displacement. The paper investigates the linear growth of the mixing zone during polymer slug injection into a water reservoir. The velocities of the slug front and of the boundaries of the mixing zone are analyzed as key parameters. Using two different numerical methods (finite volumes and finite elements), the impact of the slug size, reservoir dimensions, Peclet number, and viscosity curve shape on the corresponding velocities is examined. Notwithstanding the realization of the solution by two computational schemes, the simulation results coincide with sufficient accuracy. The numerically obtained velocities are compared with theoretical estimates within the transverse flow equilibrium approximation and Koval model. Based on the comparison pattern, recommendations are presented on the use of specific analytical methods for estimating the growth rate of the mixing zone depending on the characteristics of the polymer.


BISTRO Berkeley Integrated System for Transportation Optimization. This article introduces BISTRO, a new open source transportation planning decision support system that uses an agent based simulation and optimization approach to anticipate and develop adaptive plans for possible technological disruptions and growth scenarios. The new framework was evaluated in the context of a machine learning competition hosted within Uber Technologies, Inc., in which over 400 engineers and data scientists participated. For the purposes of this competition, a benchmark model, based on the city of Sioux Falls, South Dakota, was adapted to the BISTRO framework. An important finding of this study was that in spite of rigorous analysis and testing done prior to the competition, the two top scoring teams discovered an unbounded region of the search space, rendering the solutions largely uninterpretable for the purposes of decision support. On the other hand, a follow on study aimed to fix the objective function, served to demonstrate BISTRO's utility as a human in the loop cyberphysical system one that uses scenario based optimization algorithms as a feedback mechanism to assist urban planners with iteratively refining objective function and constraints specification on intervention strategies such that the portfolio of transportation intervention strategy alternatives eventually chosen achieves high level regional planning goals developed through participatory stakeholder engagement practices.


Pre training Text Representations as Meta Learning. Pre training text representations has recently been shown to significantly improve the state of the art in many natural language processing tasks. The central goal of pre training is to learn text representations that are useful for subsequent tasks. However, existing approaches are optimized by minimizing a proxy objective, such as the negative log likelihood of language modeling. In this work, we introduce a learning algorithm which directly optimizes model's ability to learn text representations for effective learning of downstream tasks. We show that there is an intrinsic connection between multi task pre training and model agnostic meta learning with a sequence of meta train steps. The standard multi task learning objective adopted in BERT is a special case of our learning algorithm where the depth of meta train is zero. We study the problem in two settings unsupervised pre training and supervised pre training with different pre training objects to verify the generality of our approach.Experimental results show that our algorithm brings improvements and learns better initializations for a variety of downstream tasks.


The edge metric dimension of the generalized Petersen graph P(n,3) is 4. It is known that the problem of computing the edge dimension of a graph is NP hard, and that the edge dimension of any generalized Petersen graph P(n,k) is at least 3. We prove that the graph P(n,3) has edge dimension 4 for n ge 11 , by showing semi combinatorially the nonexistence of an edge resolving set of order 3 and by constructing explicitly an edge resolving set of order 4.


Enhancing Text based Reinforcement Learning Agents with Commonsense Knowledge. In this paper, we consider the recent trend of evaluating progress on reinforcement learning technology by using text based environments and games as evaluation environments. This reliance on text brings advances in natural language processing into the ambit of these agents, with a recurring thread being the use of external knowledge to mimic and better human level performance. We present one such instantiation of agents that use commonsense knowledge from ConceptNet to show promising performance on two text based environments.


AlignShift Bridging the Gap of Imaging Thickness in 3D Anisotropic Volumes. This paper addresses a fundamental challenge in 3D medical image processing how to deal with imaging thickness. For anisotropic medical volumes, there is a significant performance gap between thin slice (mostly 1mm) and thick slice (mostly 5mm) volumes. Prior arts tend to use 3D approaches for the thin slice and 2D approaches for the thick slice, respectively. We aim at a unified approach for both thin and thick slice medical volumes. Inspired by recent advances in video analysis, we propose AlignShift, a novel parameter free operator to convert theoretically any 2D pretrained network into thickness aware 3D network. Remarkably, the converted networks behave like 3D for the thin slice, nevertheless degenerate to 2D for the thick slice adaptively. The unified thickness aware representation learning is achieved by shifting and fusing aligned "virtual slices" as per the input imaging thickness. Extensive experiments on public large scale DeepLesion benchmark, consisting of 32K lesions for universal lesion detection, validate the effectiveness of our method, which outperforms previous state of the art by considerable margins without whistles and bells. More importantly, to our knowledge, this is the first method that bridges the performance gap between thin and thick slice volumes by a unified framework. To improve research reproducibility, our code in PyTorch is open source at https github.com M3DV AlignShift.


Robust diffusion parametric mapping of motion corrupted data with a three dimensional convolutional neural network. Head motion is inevitable in the acquisition of diffusion weighted images, especially for certain motion prone subjects and for data gathering of advanced diffusion models with prolonged scan times. Deficient accuracy of motion correction cause deterioration in the quality of diffusion model reconstruction, thus affecting the derived measures. This results in either loss of data, or introducing bias in outcomes from data of different motion levels, or both. Hence minimizing motion effects and reutilizing motion contaminated data becomes vital to quantitative studies. We have previously developed a 3 dimensional hierarchical convolution neural network (3D H CNN) for robust diffusion kurtosis mapping from under sampled data. In this study, we propose to extend this method to motion contaminated data for robust recovery of diffusion model derived measures with a process of motion assessment and corrupted volume rejection. We validate the proposed pipeline in two in vivo datasets. Results from the first dataset of individual subjects show that all the diffusion tensor and kurtosis tensor derived measures from the new pipeline are minimally sensitive to motion effects, and are comparable to the motion free reference with as few as eight volumes retained from the motion contaminated data. Results from the second dataset of a group of children with attention deficit hyperactivity disorder demonstrate the ability of our approach in ameliorating spurious group differences due to head motion. This method shows great potential for exploiting some valuable but motion corrupted DWI data which are likely to be discarded otherwise, and applying to data with different motion level thus improving their utilization and statistic power.


Betti structures of hypergeometric equations. We study Betti structures in the solution complexes of confluent hypergeometric equations. We use the framework of enhanced ind sheaves and the irregular Riemann Hilbert correspondence of D'Agnolo Kashiwara. The main result is a group theoretic criterion that ensures that enhanced solutions of such systems are defined over certain subfields of the complex numbers. The proof uses a description of the hypergeometric systems as exponentially twisted Gauss Manin systems of certain Laurent polynomials.


Gaussian lower bounds for the Boltzmann equation without cut off. The study of positivity of solutions to the Boltzmann equation goes back to Carleman (1933), and the initial argument of Carleman was developed byPulvirenti Wennberg (1997), the second author and Briant (2015). The appearance of a lower bound with Gaussian decay had however remained an open question for long range interactions (the so called non cutoff collision kernels). We answer this question and establish such Gaussian lower bound for solutions to the Boltzmann equation without cutoff, in the case of hard and moderately soft potentials, with spatial periodic conditions, and under the sole assumption that hydrodynamic quantities (local mass, local energy and local entropy density) remain bounded. The paper is mostly self contained, apart from the uniform upper bound on the solution established by the third author (2016).


Controlled surgery and mathbb L homology. This paper presents an alternative approach to controlled surgery obstructions. The obstruction for a degree one normal map (f,b) M n rightarrow X n with control map q X n rightarrow B to complete controlled surgery is an element sigma c (f, b) in H n (B, mathbb L ) , where M n, X n are topological manifolds of dimension n geq 5 . Our proof uses essentially the geometrically defined mathbb L spectrum as described by Nicas (going back to Quinn) and some well known homotopy theory. We also outline the construction of the algebraically defined obstruction, and we explicitly describe the assembly map H n (B, mathbb L ) rightarrow L n ( pi 1 (B)) in terms of forms in the case n equiv 0 (4) . Finally, we explicitly determine the canonical map H n (B, mathbb L ) rightarrow H n (B, L 0) .


Finding Key Structures in MMORPG Graph with Hierarchical Graph Summarization. What are the key structures existing in a large real world MMORPG (Massively Multiplayer Online Role Playing Game) graph? How can we compactly summarize an MMORPG graph with hierarchical node labels, considering consistent substructures at different levels of hierarchy? Recent MMORPGs generate complex interactions between entities inducing a heterogeneous graph where each entity has hierarchical labels. Succinctly summarizing a heterogeneous MMORPG graph is crucial to better understand its structure however it is a challenging task since it needs to handle complex interactions and hierarchical labels efficiently. Although there exist few methods to summarize a large scale graph, they do not deal with heterogeneous graphs with hierarchical node labels. We propose GSHL, a novel method that summarizes a heterogeneous graph with hierarchical labels. We formulate the encoding cost of hierarchical labels using MDL (Minimum Description Length). GSHL exploits the formulation to identify and segment subgraphs, and discovers compact and consistent structures in the graph. Experiments on a large real world MMORPG graph with multi million edges show that GSHL is a useful and scalable tool for summarizing the graph, finding important and interesting structures in the graph, and finding similar users.


Simultaneous inversion for the fractional exponents in the space time fractional diffusion equation partial t beta u big( Delta big) alpha 2 u big( Delta big) gamma 2 u . In this article, we consider the space time fractional (nonlocal) equation characterizing the so called "double scale" anomalous diffusion partial t beta u(t, x) ( Delta) alpha 2 u(t,x) ( Delta) gamma 2 u(t,x) t 0, 1 x 1, where partial t beta is the Caputo fractional derivative of order beta in (0,1) and 0 alpha leq gamma 2. We consider a nonlocal inverse problem and show that the fractional exponents beta , alpha and gamma are determined uniquely by the data u(t, 0) g(t), 0 t leq T. The existence of the solution for the inverse problem is proved using the quasi solution method which is based on minimizing an error functional between the output data and the additional data. In this context, an input output mapping is defined and its continuity is established. The uniqueness of the solution for the inverse problem is proved by means of eigenfunction expansion of the solution of the forward problem and some basic properties of fractional Laplacian. A numerical method based on discretization of the minimization problem, namely the steepest descent method and a least squares approach, is proposed for the solution of the inverse problem. The numerical method determines the fractional exponents simultaneously. Finally, numerical examples with noise free and noisy data illustrate applicability and high accuracy of the proposed method.


Optimization on flag manifolds. A flag is a sequence of nested subspaces. Flags are ubiquitous in numerical analysis, arising in finite elements, multigrid, spectral, and pseudospectral methods for numerical PDE they arise in the form of Krylov subspaces in matrix computations, and as multiresolution analysis in wavelets constructions. They are common in statistics too principal component, canonical correlation, and correspondence analyses may all be viewed as methods for extracting flags from a data set. The main goal of this article is to develop the tools needed for optimizing over a set of flags, which is a smooth manifold called the flag manifold, and it contains the Grassmannian as the simplest special case. We will derive closed form analytic expressions for various differential geometric objects required for Riemannian optimization algorithms on the flag manifold introducing various systems of extrinsic coordinates that allow us to parameterize points, metrics, tangent spaces, geodesics, distance, parallel transport, gradients, Hessians in terms of matrices and matrix operations and thereby permitting us to formulate steepest descent, conjugate gradient, and Newton algorithms on the flag manifold using only standard numerical linear algebra.


Asymptotic self similarity in diffusion equations with nonconstant radial limits at infinity. We study the long time behavior of localized solutions to linear or semilinear parabolic equations in the whole space mathbb R n , where n ge 2 , assuming that the diffusion matrix depends on the space variable x and has a finite limit along any ray as x to infty . Under suitable smallness conditions in the nonlinear case, we prove convergence to a self similar solution whose profile is entirely determined by the asymptotic diffusion matrix. Examples are given which show that the profile can be a rather general Gaussian like function, and that the approach to the self similar solution can be arbitrarily slow depending on the continuity and coercivity properties of the asymptotic matrix. The proof of our results relies on appropriate energy estimates for the diffusion equation in self similar variables. The new ingredient consists in estimating not only the difference w between the solution and the self similar profile, but also an antiderivative W obtained by solving a linear elliptic problem which involves w as a source term. Hence, a good part of our analysis is devoted to the study of linear elliptic equations whose coefficients are homogeneous of degree zero.


Hamiltonicity of random subgraphs of the hypercube. We study Hamiltonicity in random subgraphs of the hypercube mathcal Q n . Our first main theorem is an optimal hitting time result. Consider the random process which includes the edges of mathcal Q n according to a uniformly chosen random ordering. Then, with high probability, as soon as the graph produced by this process has minimum degree 2k , it contains k edge disjoint Hamilton cycles, for any fixed k in mathbb N . Secondly, we obtain a perturbation result if H subseteq mathcal Q n satisfies delta(H) geq alpha n with alpha 0 fixed and we consider a random binomial subgraph mathcal Q n p of mathcal Q n with p in(0,1 fixed, then with high probability H cup mathcal Q n p contains k edge disjoint Hamilton cycles, for any fixed k in mathbb N . In particular, both results resolve a long standing conjecture, posed e.g. by Bollob 'as, that the threshold probability for Hamiltonicity in the random binomial subgraph of the hypercube equals 1 2 . Our techniques also show that, with high probability, for all fixed p in(0,1 the graph mathcal Q n p contains an almost spanning cycle. Our methods involve branching processes, the R "odl nibble, and absorption.


Accelerating frequency domain numerical methods for weakly nonlinear focused ultrasound using nested meshes. The numerical simulation of weakly nonlinear ultrasound is important in treatment planning for focused ultrasound (FUS) therapies. However, the large domain sizes and generation of higher harmonics at the focus make these problems extremely computationally demanding. Numerical methods typically employ a uniform mesh fine enough to resolve the highest harmonic present in the problem, leading to a very large number of degrees of freedom. This paper proposes a more efficient strategy in which each harmonic is approximated on a separate mesh, the size of which is proportional to the wavelength of the harmonic. The increase in resolution required to resolve a smaller wavelength is balanced by a reduction in the domain size. This nested meshing is feasible owing to the increasingly localised nature of higher harmonics near the focus. Numerical experiments are performed for FUS transducers in homogeneous media in order to determine the size of the meshes required to accurately represent the harmonics. In particular, a fast emph volume potential approach is proposed and employed to perform convergence experiments as the computation domain size is modified. This approach allows each harmonic to be computed via the evaluation of an integral over the domain. Discretising this integral using the midpoint rule allows the computations to be performed rapidly with the FFT. It is shown that at least an order of magnitude reduction in memory consumption and computation time can be achieved with nested meshing. Finally, it is demonstrated how to generalise this approach to inhomogeneous propagation domains.


ConvBERT Improving BERT with Span based Dynamic Convolution. Pre trained language models like BERT and its variants have recently achieved impressive performance in various natural language understanding tasks. However, BERT heavily relies on the global self attention block and thus suffers large memory footprint and computation cost. Although all its attention heads query on the whole input sequence for generating the attention map from a global perspective, we observe some heads only need to learn local dependencies, which means the existence of computation redundancy. We therefore propose a novel span based dynamic convolution to replace these self attention heads to directly model local dependencies. The novel convolution heads, together with the rest self attention heads, form a new mixed attention block that is more efficient at both global and local context learning. We equip BERT with this mixed attention design and build a ConvBERT model. Experiments have shown that ConvBERT significantly outperforms BERT and its variants in various downstream tasks, with lower training cost and fewer model parameters. Remarkably, ConvBERTbase model achieves 86.4 GLUE score, 0.7 higher than ELECTRAbase, while using less than 1 4 training cost. Code and pre trained models will be released.


Logic and Rational Languages of Scattered and Countable Series Parallel Posets. Let A be an alphabet and SP diamond(A) denote the class of all countable N free partially ordered sets labeled by A , in which chains are scattered linear orderings and antichains are finite. We characterize the rational languages of SP diamond(A) by means of logic. We define an extension of monadic second order logic by Presburger arithmetic, named P MSO, such that a language L of SP diamond(A) is rational if and only if L is the language of a sentence of P MSO, with effective constructions from one formalism to the other. As a corollary, the P MSO theory of SP diamond(A) is decidable.


Linear, nonlinear and transitional regimes of second mode instability. The 2D second mode is a potent instability in hypersonic boundary layers (HBLs). We study its linear and nonlinear evolution, followed by its role in transition and eventual breakdown of the HBL into a fully turbulent state. Linear stability theory (LST) is utilized to identify the second mode wave through FS synchronization, which is then recreated in linearly and nonlinearly forced 2D direct numerical simulations (DNSs). The nonlinear DNS shows saturation of the fundamental frequency, and the resulting superharmonics induce tightly braided rope like'' patterns near the generalized inflection point (GIP). The instability exhibits a second region of growth constituted by the fundamental frequency, downstream of the primary envelope, which is absent in the linear scenario. Subsequent 3D DNS identifies this region to be crucial in amplifying oblique instabilities riding on the 2D second mode rollers''. This results in lambda vortices below the GIP, which are detached from the rollers'' in the inner boundary layer. Streamwise vortex stretching results in a localized peak in length scales inside the HBL, eventually forming haripin vortices. Spectral analyses track the transformation of harmonic peaks into a turbulent spectrum, and appearance of oblique modes at the fundamental frequency, which suggests that fundamental resonance is the most dominant mechanism of transition. Bispectrum reveals coupled nonlinear interactions between the fundamental and its superharmonics leading to spectral broadening, and traces of subharmonic resonance as well.


A note on isometric immersions and differential equations which describe pseudospherical surfaces. In this paper, we provide families of second order non linear partial differential equations, describing pseudospherical surfaces (pss equations), with the property of having local isometric immersions in E 3, with principal curvatures depending on finite order jets of solutions of the differential equation. These equations occupy a particularly special place amongst pss equations, since a series of recent papers 2, 7, 11, 12, 13 , on several classes of pss equations, seemed to suggest that only the sine Gordon equation had the above property. Explicit examples are given, which include the short pulse equation and some generalizations.


A singular Moser Trudinger inequality for mean value zero functions in dimension two. Let Omega subset mathbb R 2 be a smooth bounded domain with 0 in partial Omega . In this paper, we prove that for any beta in(0,1) , the supremum sup u in W 1,2 ( Omega), int Omega u dx 0, int Om nabla u 2dx leq1 int Omega frac e 2 pi(1 beta) u 2 x 2 beta dx is finite and can be attained. This partially generalizes a well known work of Alice Chang and Paul Yang cite CY88 who have obtained the inequality when beta 0 .


Interpreting Cloud Computer Vision Pain Points A Mining Study of Stack Overflow. Intelligent services are becoming increasingly more pervasive application developers want to leverage the latest advances in areas such as computer vision to provide new services and products to users, and large technology firms enable this via RESTful APIs. While such APIs promise an easy to integrate on demand machine intelligence, their current design, documentation and developer interface hides much of the underlying machine learning techniques that power them. Such APIs look and feel like conventional APIs but abstract away data driven probabilistic behaviour the implications of a developer treating these APIs in the same way as other, traditional cloud services, such as cloud storage, is of concern. The objective of this study is to determine the various pain points developers face when implementing systems that rely on the most mature of these intelligent services, specifically those that provide computer vision. We use Stack Overflow to mine indications of the frustrations that developers appear to face when using computer vision services, classifying their questions against two recent classification taxonomies (documentation related and general questions). We find that, unlike mature fields like mobile development, there is a contrast in the types of questions asked by developers. These indicate a shallow understanding of the underlying technology that empower such systems. We discuss several implications of these findings via the lens of learning taxonomies to suggest how the software engineering community can improve these services and comment on the nature by which developers use them.


Puncturable Encryption A Generic Construction from Delegatable Fully Key Homomorphic Encryption. Puncturable encryption (PE), proposed by Green and Miers at IEEE S P 2015, is a kind of public key encryption that allows recipients to revoke individual messages by repeatedly updating decryption keys without communicating with senders. PE is an essential tool for constructing many interesting applications, such as asynchronous messaging systems, forward secret zero round trip time protocols, public key watermarking schemes and forward secret proxy re encryptions. This paper revisits PEs from the observation that the puncturing property can be implemented as efficiently computable functions. From this view, we propose a generic PE construction from the fully key homomorphic encryption, augmented with a key delegation mechanism (DFKHE) from Boneh et al. at Eurocrypt 2014. We show that our PE construction enjoys the selective security under chosen plaintext attacks (that can be converted into the adaptive security with some efficiency loss) from that of DFKHE in the standard model. Basing on the framework, we obtain the first post quantum secure PE instantiation that is based on the learning with errors problem, selective secure under chosen plaintext attacks (CPA) in the standard model. We also discuss about the ability of modification our framework to support the unbounded number of ciphertext tags inspired from the work of Brakerski and Vaikuntanathan at CRYPTO 2016.


OREBA A Dataset for Objectively Recognizing Eating Behaviour and Associated Intake. Automatic detection of intake gestures is a key element of automatic dietary monitoring. Several types of sensors, including inertial measurement units (IMU) and video cameras, have been used for this purpose. The common machine learning approaches make use of the labeled sensor data to automatically learn how to make detections. One characteristic, especially for deep learning models, is the need for large datasets. To meet this need, we collected the Objectively Recognizing Eating Behavior and Associated Intake (OREBA) dataset. The OREBA dataset aims to provide comprehensive multi sensor data recorded during the course of communal meals for researchers interested in intake gesture detection. Two scenarios are included, with 100 participants for a discrete dish and 102 participants for a shared dish, totalling 9069 intake gestures. Available sensor data consists of synchronized frontal video and IMU with accelerometer and gyroscope for both hands. We report the details of data collection and annotation, as well as details of sensor processing. The results of studies on IMU and video data involving deep learning models are reported to provide a baseline for future research. Specifically, the best baseline models achieve performances of F 1 0.853 for the discrete dish using video and F 1 0.852 for the shared dish using inertial data.


Knowledge Graph Augmented Abstractive Summarization with Semantic Driven Cloze Reward. Sequence to sequence models for abstractive summarization have been studied extensively, yet the generated summaries commonly suffer from fabricated content, and are often found to be near extractive. We argue that, to address these issues, the summarizer should acquire semantic interpretation over input, e.g., via structured representation, to allow the generation of more informative summaries. In this paper, we present ASGARD, a novel framework for Abstractive Summarization with Graph Augmentation and semantic driven RewarD. We propose the use of dual encoders a sequential document encoder and a graph structured encoder to maintain the global context and local characteristics of entities, complementing each other. We further design a reward based on a multiple choice cloze test to drive the model to better capture entity interactions. Results show that our models produce significantly higher ROUGE scores than a variant without knowledge graph as input on both New York Times and CNN Daily Mail datasets. We also obtain better or comparable performance compared to systems that are fine tuned from large pretrained language models. Human judges further rate our model outputs as more informative and containing fewer unfaithful errors.


SERENIoT Collaborative Network Security Policy Management and Enforcement for Smart Homes. Network traffic whitelisting has emerged as a dominant approach for securing consumer IoT devices. However, determining what the whitelisted behavior of an IoT device should be remains an open challenge. Proposals to date have relied on manufacturers and trusted parties to provide whitelists, but these proposals require manufacturer involvement or placing trust in an additional stakeholder. Alternatively, locally monitoring devices can allow building whitelists of observed behavior, but devices may not exhaust their functionality set during the observation period, or the behavior may change following a software update which requires re training. This paper proposes a blockchain based system for determining whether an IoT device is behaving like other devices of the same type. Our system (SERENIoT, pronounced Serenity) overcomes the challenge of initially determining the correct behavior for a device. Nodes in the SERENIoT public blockchain submit summaries of the network behavior observed for connected IoT devices and build whitelists of behavior observed by the majority of nodes. Changes in behavior through software updates are automatically whitelisted once the update is broadly deployed. Through a proof of concept implementation of SERENIoT on a small Raspberry Pi IoT network and a large scale Amazon EC2 simulation, we evaluate the security, scalability, and performance of our system.


VideoDP A Universal Platform for Video Analytics with Differential Privacy. Massive amounts of video data are ubiquitously generated in personal devices and dedicated video recording facilities. Analyzing such data would be extremely beneficial in real world (e.g., urban traffic analysis, pedestrian behavior analysis, video surveillance). However, videos contain considerable sensitive information, such as human faces, identities and activities. Most of the existing video sanitization techniques simply obfuscate the video by detecting and blurring the region of interests (e.g., faces, vehicle plates, locations and timestamps) without quantifying and bounding the privacy leakage in the sanitization. In this paper, to the best of our knowledge, we propose the first differentially private video analytics platform (VideoDP) which flexibly supports different video analyses with rigorous privacy guarantee. Different from traditional noise injection based differentially private mechanisms, given the input video, VideoDP randomly generates a utility driven private video in which adding or removing any sensitive visual element (e.g., human, object) does not significantly affect the output video. Then, different video analyses requested by untrusted video analysts can be flexibly performed over the utility driven video while ensuring differential privacy. Finally, we conduct experiments on real videos, and the experimental results demonstrate that our VideoDP effectively functions video analytics with good utility.


Atomic Crosschain Transactions for Ethereum Private Sidechains. Public blockchains such as Ethereum and Bitcoin do not give enterprises the privacy they need for many of their business processes. Consequently consortiums are exploring private blockchains to keep their membership and transactions private. Ethereum Private Sidechains is a private blockchain technology which allows many blockchains to be operated in parallel. Communication is needed between Ethereum Private Sidechains to allow a function in a contract on one sidechain to execute function calls which return values from, or update the state of, another sidechain. We propose a crosschain technique which allows transactions to be executed atomically across sidechains, introduce a new mechanism for proving values across sidechains, describe a transaction locking mechanism which works in the context of blockchain to enable atomic transactions, and a methodology for providing a global time out across sidechains. We outline the programming model to be used with this technology and provide as an example, a variable amount atomic swap contract for exchanging value between sidechains. Although this paper presents Atomic Crosschain Transaction technology in the context of Ethereum Private Sidechains, we discuss how this technology can be readily applied to many blockchain systems to provide cross blockchain transactions.


Quantum two photon emission in a photonic cavity. We derive a new expression for the two photon spontaneous emission (TPSE) rate of an excited quantum emitter in the presence of arbitrary bodies in its vicinities. After investigating the influence of a perfectly conducting plate on the TPSE spectral distribution (Purcell effect), we demonstrate the equivalence of our expression with the more usual formula written in terms of the corresponding dyadic Green's function. We establish a general and convenient relation between the TPSE spectral distribution and the corresponding Purcell factors of the system. Next, we consider an emitter close to a dielectric medium and show that, in the near field regime, the TPSE spectral distribution is substantially enhanced and changes abruptly at the resonance frequencies. Finally, motivated by the suppression that may occur in the one photon spontaneous emission of an excited atom between two parallel conducting plates, we discuss the TPSE for this same situation and show that complete suppression can never occur for s rightarrow s transitions.


Cloze driven Pretraining of Self attention Networks. We present a new approach for pretraining a bi directional transformer model that provides significant performance gains across a variety of language understanding problems. Our model solves a cloze style word reconstruction task, where each word is ablated and must be predicted given the rest of the text. Experiments demonstrate large performance gains on GLUE and new state of the art results on NER as well as constituency parsing benchmarks, consistent with the concurrently introduced BERT model. We also present a detailed analysis of a number of factors that contribute to effective pretraining, including data domain and size, model capacity, and variations on the cloze objective.


Tractable reasoning about Agent Programming in Dynamic Preference Logic. While several BDI logics have been proposed in the area of Agent Programming, it is not clear how these logics are connected to the agent programs they are supposed to specify. More yet, the reasoning problems in these logics, being based on modal logic, are not tractable in general, limiting their usage to tackle real world problems. In this work, we use of Dynamic Preference Logic to provide a semantic foundation to BDI agent programming languages and investigate tractable expressive fragments of this logic to reason about agent programs. With that, we aim to provide a way of implementing semantically grounded agent programming languages with tractable reasoning cycles.


On random Fourier Hermite transform. Motivated by the work of Z. Liu and S. Liu, we have introduced random Fourier Hermite transform sum n 0 infty c n A n( omega) lambda n phi n (t) , where c n are Fourier Hermite coefficient of a function f in L p ( infty, infty) , A n( omega) are specific type of random variables associated with symmetric stable process X(s, omega) of index gamma , frac 4 3 gamma leq 2 , lambda n are the eigen values of the conventional Fourier transform and phi n (t) are n th order normalized Hermite Gaussian function. It is shown that this series converges to a stochastic integral, whose existence is also proved . Random fractional Fourier transform sum n 0 infty c n A n( omega) lambda n alpha phi n (t) of rational order alpha is also introduced.


Side Channel Aware Fuzzing. Software testing is becoming a critical part of the development cycle of embedded devices, enabling vulnerability detection. A well studied approach of software testing is fuzz testing (fuzzing), during which mutated input is sent to an input processing software while its behavior is monitored. The goal is to identify faulty states in the program, triggered by malformed inputs. Even though this technique is widely performed, fuzzing cannot be applied to embedded devices to its full extent. Due to the lack of adequately powerful I O capabilities or an operating system the feedback needed for fuzzing cannot be acquired. In this paper we present and evaluate a new approach to extract feedback for fuzzing on embedded devices using information the power consumption leaks. Side channel aware fuzzing is a threefold process that is initiated by sending an input to a target device and measuring its power consumption. First, we extract features from the power traces of the target device using machine learning algorithms. Subsequently, we use the features to reconstruct the code structure of the analyzed firmware. In the final step we calculate a score for the input, which is proportional to the code coverage. We carry out our proof of concept by fuzzing synthetic software and a light weight AES implementation running on an ARM Cortex M4 microcontroller. Our results show that the power side channel carries information relevant for fuzzing.


Fuller singularities for generic control affine systems with an even number of controls. In this article we study how bad can be the singularities of a time optimal trajectory of a generic control affine system. In the case where the control is scalar and belongs to a closed interval it was recently shown in 6 that singularities cannot be, generically, worse than finite order accumulations of Fuller points, with order of accumulation lower than a bound depending only on the dimension of the manifold where the system is set. We extend here such a result to the case where the control has an even number of scalar components and belongs to a closed ball.


Graph Neural Networks for UnsupervisedDomain Adaptation of Histopathological ImageAnalytics. Annotating histopathological images is a time consuming andlabor intensive process, which requires broad certificated pathologistscarefully examining large scale whole slide images from cells to tissues.Recent frontiers of transfer learning techniques have been widely investi gated for image understanding tasks with limited annotations. However,when applied for the analytics of histology images, few of them can effec tively avoid the performance degradation caused by the domain discrep ancy between the source training dataset and the target dataset, suchas different tissues, staining appearances, and imaging devices. To thisend, we present a novel method for the unsupervised domain adaptationin histopathological image analysis, based on a backbone for embeddinginput images into a feature space, and a graph neural layer for propa gating the supervision signals of images with labels. The graph model isset up by connecting every image with its close neighbors in the embed ded feature space. Then graph neural network is employed to synthesizenew feature representation from every image. During the training stage,target samples with confident inferences are dynamically allocated withpseudo labels. The cross entropy loss function is used to constrain thepredictions of source samples with manually marked labels and targetsamples with pseudo labels. Furthermore, the maximum mean diversityis adopted to facilitate the extraction of domain invariant feature repre sentations, and contrastive learning is exploited to enhance the categorydiscrimination of learned features. In experiments of the unsupervised do main adaptation for histopathological image classification, our methodachieves state of the art performance on four public datasets


Primitive Idempotents and Constacyclic Codes over Finite Chain Rings. Let R be a commutative local finite ring. In this paper, we construct the complete set of pairwise orthogonal primitive idempotents of R X g where g is a regular polynomial in R X . We use this set to decompose the ring R X g and to give the structure of constacyclic codes over finite chain rings. This allows us to describe generators of the dual code mathcal C bot of a constacyclic code mathcal C and to characterize non trivial self dual constacyclic codes over finite chain rings.


A note on prime number races and zero free regions for L functions. Let chi be a real and non principal Dirichlet character, L(s, chi) its Dirichlet L function and let p be a generic prime number. We prove the following result If for some 0 leq sigma 1 the partial sums sum p leq x chi(p)p sigma change sign only for a finite number of x , then there exists epsilon 0 such that L(s, chi) has no zeros in the half plane Re(s) 1 epsilon .


Hausdorff Point Convolution with Geometric Priors. Without a shape aware response, it is hard to characterize the 3D geometry of a point cloud efficiently with a compact set of kernels. In this paper, we advocate the use of Hausdorff distance as a shape aware distance measure for calculating point convolutional responses. The technique we present, coined Hausdorff Point Convolution (HPC), is shape aware. We show that HPC constitutes a powerful point feature learning with a rather compact set of only four types of geometric priors as kernels. We further develop a HPC based deep neural network (HPC DNN). Task specific learning can be achieved by tuning the network weights for combining the shortest distances between input and kernel point sets. We also realize hierarchical feature learning by designing a multi kernel HPC for multi scale feature encoding. Extensive experiments demonstrate that HPC DNN outperforms strong point convolution baselines (e.g., KPConv), achieving 2.8 mIoU performance boost on S3DIS and 1.5 on SemanticKITTI for semantic segmentation task.


Low rank binary matrix approximation in column sum norm. We consider ell 1 Rank r Approximation over GF(2), where for a binary m times n matrix bf A and a positive integer r , one seeks a binary matrix bf B of rank at most r , minimizing the column sum norm bf A bf B 1 . We show that for every varepsilon in (0, 1) , there is a randomized (1 varepsilon) approximation algorithm for ell 1 Rank r Approximation over GF(2) of running time m O(1) n O(2 4r cdot varepsilon 4 ) . This is the first polynomial time approximation scheme (PTAS) for this problem.


Federated Learning in Adversarial Settings. Federated Learning enables entities to collaboratively learn a shared prediction model while keeping their training data locally. It prevents data collection and aggregation and, therefore, mitigates the associated privacy risks. However, it still remains vulnerable to various security attacks where malicious participants aim at degrading the generated model, inserting backdoors, or inferring other participants' training data. This paper presents a new federated learning scheme that provides different trade offs between robustness, privacy, bandwidth efficiency, and model accuracy. Our scheme uses biased quantization of model updates and hence is bandwidth efficient. It is also robust against state of the art backdoor as well as model degradation attacks even when a large proportion of the participant nodes are malicious. We propose a practical differentially private extension of this scheme which protects the whole dataset of participating entities. We show that this extension performs as efficiently as the non private but robust scheme, even with stringent privacy requirements but are less robust against model degradation and backdoor attacks. This suggests a possible fundamental trade off between Differential Privacy and robustness.


Evolving Self supervised Neural Networks Autonomous Intelligence from Evolved Self teaching. This paper presents a technique called evolving self supervised neural networks neural networks that can teach themselves, intrinsically motivated, without external supervision or reward. The proposed method presents some sort of paradigm shift, and differs greatly from both traditional gradient based learning and evolutionary algorithms in that it combines the metaphor of evolution and learning, more specifically self learning, together, rather than treating these phenomena alternatively. I simulate a multi agent system in which neural networks are used to control autonomous foraging agents with little domain knowledge. Experimental results show that only evolved self supervised agents can demonstrate some sort of intelligent behaviour, but not evolution or self learning alone. Indications for future work on evolving intelligence are also presented.


An Asymptotic Lower Bound for Online Vector Bin Packing. We consider the online vector bin packing problem where n items specified by d dimensional vectors must be packed in the fewest number of identical d dimensional bins. Azar et al. (STOC'13) showed that for any online algorithm A , there exist instances I, such that A(I) , the number of bins used by A to pack I , is Omega(d log 2 d) times OPT(I) , the minimal number of bins to pack I . However in those instances, OPT(I) was only O( log d) , which left open the possibility of improved algorithms with better asymptotic competitive ratio when OPT(I) gg d . We rule this out by showing that for any arbitrary function q( cdot) and any randomized online algorithm A , there exist instances I such that E A(I) geq c cdot d log 3d cdot OPT(I) q(d) , for some universal constant c .


Breaking the 2 n barrier for 5 coloring and 6 coloring. The coloring problem (i.e., computing the chromatic number of a graph) can be solved in O (2 n) time, as shown by Bj "orklund, Husfeldt and Koivisto in 2009. For k 3,4 , better algorithms are known for the k coloring problem. 3 coloring can be solved in O(1.33 n) time (Beigel and Eppstein, 2005) and 4 coloring can be solved in O(1.73 n) time (Fomin, Gaspers and Saurabh, 2007). Surprisingly, for k 4 no improvements over the general O (2 n) are known. We show that both 5 coloring and 6 coloring can also be solved in O left( left(2 varepsilon right) n right) time for some varepsilon 0 . As a crucial step, we obtain an exponential improvement for computing the chromatic number of a very large family of graphs. In particular, for any constants Delta, alpha 0 , the chromatic number of graphs with at least alpha cdot n vertices of degree at most Delta can be computed in O left( left(2 varepsilon right) n right) time, for some varepsilon varepsilon Delta, alpha 0 . This statement generalizes previous results for bounded degree graphs (Bj "orklund, Husfeldt, Kaski, and Koivisto, 2010) and graphs with bounded average degree (Golovnev, Kulikov and Mihajilin, 2016). We generalize the aforementioned statement to List Coloring, for which no previous improvements are known even for the case bounded degree graphs.


Crisis Probabilistically Self Organizing Total Order in Unstructured P2P Networks. A framework for asynchronous, signature free, fully local and probabilistically converging total order algorithms is developed, that may survive in high entropy, unstructured Peer to Peer networks with near optimal communication efficiency. Regarding the natural boundaries of the CAP theorem, Crisis chooses different compromises for consistency and availability, depending on the severity of the attack. The family is parameterized by a few constants and external functions called voting weight, incentivation punishement, difficulty oracle and quorum selector. These functions are necessary to fine tune the dynamics and very different long term behavior might appear, depending on any actual choice.


Modeling the impact of dilution on the microbial degradation time of dispersed oil in marine environments. Dispersants aid the breakup of crude oil masses and increase the available interfacial surface area for bacteria to degrade insoluble hydrocarbons in the marine environment. However, this common view neglects key aspects of the microscale interactions between bacteria and oil droplets, particularly the encounters between these elements that are required for degradation to occur. This chapter discusses a biophysical model for hydrocarbon consumption of suspended oil droplets under conditions of rapid dilution that occur in natural environments. Based on the model, which includes typical biological growth parameters, dilution is found to produce an effective delay in the onset of biodegradation by approximately a week. The steady and rapid reduction in oil concertation, due to dilution, is found to outpace the production of oil degrading bacteria that result from colonization of degrading oil droplets, maintaining the process in an encounter limited state. This mechanistic model provides a baseline for better understanding of microscale biodegradation in dilute oil environments and can help inform the design of mitigation strategies in marine systems.


Improving MRI's slice selectivity in the presence of strong, metal derived inhomogeneities. Purpose To develop schemes that deliver faithful 2D slices near field heterogeneities of the kind arising from non ferromagnetic metal implants, with reduced artifacts and shorter scan times. Methods An excitation scheme relying on cross term spatio temporal encoding (xSPEN) was used as basis for developing the new inhomogeneity insensitive, slice selective pulse scheme. The resulting Fully refOCUSED cross term SPatiotemporal ENcoding (FOCUSED xSPEN) approach involved four adiabatic sweeps. The method was evaluated in silico, in vitro and in vivo using mice models, and compared against a number of existing and of novel alternatives based on both conventional and swept RF pulses, including an analogous method based on LASER's selectivity spatial selectivity. Results Calculations and experiments confirmed that multi sweep derivatives of xSPEN and LASER can deliver localized excitation profiles, centered at the intended positions and endowed with enhanced immunity to B0 and B1 distortions. This, however, is achieved at the expense of higher SAR than non swept counterparts. Furthermore, single shot FOCUSED xSPEN and LASER profiles covered limited off resonance ranges. This could be extended to bands covering arbitrary off resonance values with uniform slice widths, by looping the experiments over a number of scans possessing suitable transmission and reception offsets. Conclusions A series of novel approaches were introduced to select slices near metals, delivering robustness against Bo and B1 field inhomogeneities.


Efficient invariant energy quadratization and scalar auxiliary variable approaches without bounded below restriction for phase field models. Recently introduced invariant energy quadratization (IEQ) and scalar auxiliary variable (SAV) approaches have proven to be very powerful ways to construct energy stable schemes for phase field models. Both methods require an assumption which the energy potential or energy is bounded from below. Under this assumption, a positive constant C need to be added to keep the square root reasonable. However, it seems that it maybe more reasonable in both physics and mathematics if the energy potential or energy is arbitrary. Furthermore, if the bounded value from below is not obvious exactly, we are not easy to give a proper constant C before calculation. In this paper, by adding a positive preserving function ( M( phi) in IEQ and E 0( phi) in SAV ) instead of the positive constant in square root, we can improve this situation. The main contribution of this article is we proved that the positive preserving function can always be found for polynomial type F( phi) . We also proved the unconditional energy stability for all semi discrete schemes carefully and rigorously. A comparative study of classical IEQ, SAV, MIEQ and MSAV approaches is considered to show the accuracy and efficiency. Finally, we present various 2D numerical simulations to demonstrate the stability and


On some analytic properties of tempered fractional calculus. We consider the integral and derivative operators of tempered fractional calculus, and examine their analytic properties. We discover connections with the classical Riemann Liouville fractional calculus and demonstrate how the operators may be used to obtain special functions such as hypergeometric and Appell's functions. We also prove an analogue of Taylor's theorem and some integral inequalities to enrich the mathematical theory of tempered fractional calculus.


Fast Color Constancy with Patch wise Bright Pixels. In this paper, a learning free color constancy algorithm called the Patch wise Bright Pixels (PBP) is proposed. In this algorithm, an input image is first downsampled and then cut equally into a few patches. After that, according to the modified brightness of each patch, a proper fraction of brightest pixels in the patch is selected. Finally, Gray World (GW) based methods are applied to the selected bright pixels to estimate the illuminant of the scene. Experiments on NUS 8 Camera Dataset show that the PBP algorithm outperforms the state of the art learning free methods as well as a broad range of learning based ones. In particular, PBP processes a 1080 p image within two milliseconds, which is hundreds of times faster than the existing learning free ones. Our algorithm offers a potential solution to the full screen smart phones whose screen to body ratio is 100 .


Realistic non local refrigeration engine based on Coulomb coupled systems. Employing Coulomb coupled systems, we demonstrate a cryogenic non local refrigeration engine, that circumvents the need for a change in the energy resolved system to reservoir coupling, demanded by the recently proposed non local refrigerators. We demonstrate that an intentionally introduced energy difference between the ground states of adjacent tunnel coupled quantum dots, associated with Coulomb coupling, is sufficient to extract heat from a remote target reservoir. Investigating the performance and operating regime using quantum master equation (QME) approach, we point out to some crucial aspects of the proposed refrigeration engine. In particular, we demonstrate that the maximum cooling power for the proposed set up is limited to about 70 of the optimal design. Proceeding further, we point out that to achieve a target reservoir temperature, lower compared to the average temperature of the current path, the applied voltage must be greater than a given threshold voltage V TH , that increases with decrease in the target reservoir temperature. In addition, we demonstrate that the maximum cooling power, as well as the coefficient of performance deteriorates as one approaches a lower target reservoir temperature. The novelty of the proposed refrigeration engine is the integration of fabrication simplicity along with descent cooling power. The idea proposed in this paper may pave the way towards the realization of efficient non local cryogenic refrigeration systems.


Combining nondeterminism, probability, and termination equational and metric reasoning. We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads, providing equational reasoning tools for establishing equivalences and distances of programs.


One class of continuous functions related to Engel series and having complicated local properties. We construct and study the class of continuous on 0, 1 functions with continuum set of peculiarities (singular, nowhere monotonic, and non differentiable functions are among them). The representative of this class is the function defined by the Engel representation of argument and some convergent real series. We study local and global properties of this function structural, extremal, differential, integral, and fractal properties.


The Weyl law of transmission eigenvalues and the completeness of generalized transmission eigenfunctions. The transmission problem is a system of two second order elliptic equations of two unknowns equipped with the Cauchy data on the boundary. After four decades of research motivated by scattering theory, the spectral properties of this problem are now known to depend on a type of contrast between coefficients near the boundary. Previously, we established the discreteness of eigenvalues for a large class of anisotropic coefficients which is related to the celebrated complementing conditions due to Agmon, Douglis, and Nirenberg. In this work, we establish the Weyl law for the eigenvalues and the completeness of the generalized eigenfunctions for this class of coefficients under an additional mild assumption on the continuity of the coefficients. The analysis is new and based on the L p regularity theory for the transmission problem established here. It also involves a subtle application of the spectral theory for the Hilbert Schmidt operators. Our work extends largely known results in the literature which are mainly devoted to the isotropic case with C infty coefficients.


Antitrust and Artificial Intelligence (AAI) Antitrust Vigilance Lifecycle and AI Legal Reasoning Autonomy. There is an increasing interest in the entwining of the field of antitrust with the field of Artificial Intelligence (AI), frequently referred to jointly as Antitrust and AI (AAI) in the research literature. This study focuses on the synergies entangling antitrust and AI, doing so to extend the literature by proffering the primary ways that these two fields intersect, consisting of (1) the application of antitrust to AI, and (2) the application of AI to antitrust. To date, most of the existing research on this intermixing has concentrated on the former, namely the application of antitrust to AI, entailing how the marketplace will be altered by the advent of AI and the potential for adverse antitrust behaviors arising accordingly. Opting to explore more deeply the other side of this coin, this research closely examines the application of AI to antitrust and establishes an antitrust vigilance lifecycle to which AI is predicted to be substantively infused for purposes of enabling and bolstering antitrust detection, enforcement, and post enforcement monitoring. Furthermore, a gradual and incremental injection of AI into antitrust vigilance is anticipated to occur as significant advances emerge amidst the Levels of Autonomy (LoA) for AI Legal Reasoning (AILR).


Transition from no ELM response to pellet ELM triggering during pedestal build up insights from extended MHD simulations. Pellet ELM triggering is a well established scheme for decreasing the time between two successive ELM crashes below its natural value. Reliable ELM pacing has been demonstrated experimentally in several devices increasing the ELM frequency considerably. However, it was also shown that the frequency cannot be increased arbitrarily due to a so called lag time. During this time after a preceding natural or triggered ELM crash, neither a natural ELM crash occurs nor the triggering of an ELM crash by pellet injection is possible. For this article, pellet ELM triggering simulations are advanced beyond previous studies in two ways. Firstly, realistic ExB and diamagnetic background flows are included. And secondly, the pellet is injected at different stages of the pedestal build up. This allows to recover the lag time for the first time in simulations and investigate it in detail. A series of non linear extended MHD simulations is performed to investigate the plasma dynamics resulting from an injection at different time points during the pedestal build up. The experimentally observed lag time is qualitatively reproduced well. In particular, a sharp transition is observed between the regime where no ELMs can be triggered and the regime where pellet injection causes an ELM crash. Via variations of pellet parameters and injection time, the two regimes are studied and compared in detail revealing pronounced differences in the non linear dynamics. The toroidal mode spectrum is significantly broader when an ELM crash is triggered enhancing the stochasticity and therefore also the losses of thermal energy along magnetic field lines. In the heat fluxes to the divertor targets, pronounced toroidal asymmetries are observed. In case of high injection velocities leading to deep penetration, also the excitation of core modes like the 2 1 neoclassical tearing mode is observed.


Efficiently Finding Higher Order Mutants. Higher order mutation has the potential for improving major drawbacks of traditional first order mutation, such as by simulating more realistic faults or improving test optimization techniques. Despite interest in studying promising higher order mutants, such mutants are difficult to find due to the exponential search space of mutation combinations. State of the art approaches rely on genetic search, which is often incomplete and expensive due to its stochastic nature. First, we propose a novel way of finding a complete set of higher order mutants by using variational execution, a technique that can, in many cases, explore large search spaces completely and often efficiently. Second, we use the identified complete set of higher order mutants to study their characteristics. Finally, we use the identified characteristics to design and evaluate a new search strategy, independent of variational execution, that is highly effective at finding higher order mutants even in large code bases.


SCC an efficient deep reinforcement learning agent mastering the game of StarCraft II. AlphaStar, the AI that reaches GrandMaster level in StarCraft II, is a remarkable milestone demonstrating what deep reinforcement learning can achieve in complex Real Time Strategy (RTS) games. However, the complexities of the game, algorithms and systems, and especially the tremendous amount of computation needed are big obstacles for the community to conduct further research in this direction. We propose a deep reinforcement learning agent, StarCraft Commander (SCC). With order of magnitude less computation, it demonstrates top human performance defeating GrandMaster players in test matches and top professional players in a live event. Moreover, it shows strong robustness to various human strategies and discovers novel strategies unseen from human plays. In this paper, we will share the key insights and optimizations on efficient imitation learning and reinforcement learning for StarCraft II full game.


Influence of Rotator Cuff Integrity on Loading and Kinematics Before and After Reverse Shoulder Arthroplasty. Reverse Shoulder Arthroplasty (RSA) has become a very common procedure for shoulder joint replacement, even for scenarios where an anatomical reconstruction would traditionally be used. In this study, we investigate joint reaction forces and scapular kinematics for rotator cuff tears of different tendons with and without a reverse prosthesis. Available motion capture data during anterior flexion was input to a finite element musculoskeletal shoulder model, and muscle activations were computed using inverse dynamics. The model was validated with respect to in vivo glenohumeral joint reaction force (JRF) measurements, and also compared to existing clinical and biomechanical data. Simulations were carried out for the intact joint as well as for various tendons involved in a rotator cuff tear superior (supraspinatus), superior anterior (supraspinatus and subscapularis), and superior posterior (supraspinatus, infraspinatus and teres minor). Each rotator cuff tear condition was repeated after shifting the humerus and the glenohumeral joint center of rotation to simulate the effect of a reverse prosthesis. Changes in compressive, shear, and total JRF were analysed, along with scapular upward rotation. The model compared favourably to in vivo measurements, and existing clinical and biomechanical knowledge. Simulated JRF lie in the ranges of in vivo JRF measurements and shows a linear increase past 90 degree flexion. Implanting a reverse prosthesis with a functional rotator cuff or with an isolated supraspinatus tear led to over 2 times higher compressive force component than with massive rotator cuff tears (superior anterior or superior posterior). Such higher compression forces might increase the risk of wear and implant fracture.


Face Frontalization Based on Robustly Fitting a Deformable Shape Model to 3D Landmarks. Face frontalization consists of synthesizing a frontally viewed face from an arbitrarily viewed one. The main contribution of this paper is a robust face alignment method that enables pixel to pixel warping. The method simultaneously estimates the rigid transformation (scale, rotation, and translation) and the non rigid deformation between two 3D point sets a set of 3D landmarks extracted from an arbitrary viewed face, and a set of 3D landmarks parameterized by a frontally viewed deformable face model. An important merit of the proposed method is its ability to deal both with noise (small perturbations) and with outliers (large errors). We propose to model inliers and outliers with the generalized Student's t probability distribution function, a heavy tailed distribution that is immune to non Gaussian errors in the data. We describe in detail the associated expectation maximization (EM) algorithm that alternates between the estimation of (i) the rigid parameters, (ii) the deformation parameters, and (iii) the Student t distribution parameters. We also propose to use the zero mean normalized cross correlation, between a frontalized face and the corresponding ground truth frontally viewed face, to evaluate the performance of frontalization. To this end, we use a dataset that contains pairs of profile viewed and frontally viewed faces. This evaluation, based on direct image to image comparison, stands in contrast with indirect evaluation, based on analyzing the effect of frontalization on face recognition.


The matroid stratification of the Hilbert scheme of points on P 1. Given a homogeneous ideal I in a polynomial ring over a field, one may record, for each degree d and for each polynomial f in I d , the set of monomials in f with nonzero coefficients. These data collectively form the tropicalization of I . Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications. In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid stratification in the Hilbert scheme of points ( mathbb P 1) k is generated by all Schur polynomials in k variables. We end with an application to the T graph problem of ( mathbb A 2) n classifying this graph is a longstanding open problem, and we establish the existence of an infinite class of edges.


Real zeros of random trigonometric polynomials with pairwise equal blocks of coefficients. It is well known that the expected number of real zeros of a random cosine polynomial V n(x) sum j 0 n a j cos (j x) , x in (0,2 pi) , with the a j being standard Gaussian i.i.d. random variables is asymptotically 2n sqrt 3 . On the other hand, some of the previous works on the random cosine polynomials with dependent coefficients show that such polynomials have at least 2n sqrt 3 expected real zeros lying in one period. In this paper we investigate two classes of random cosine polynomials with pairwise equal blocks of coefficients. First, we prove that a random cosine polynomial with the blocks of coefficients being of a fixed length and satisfying A 2j A 2j 1 possesses the same expected real zeros as the classical case. Afterwards, we study a case containing only two equal blocks of coefficients, and show that in this case significantly more real zeros should be expected compared to those of the classical case.


The Courtade Kumar Most Informative Boolean Function Conjecture and a Symmetrized Li M 'edard Conjecture are Equivalent. We consider the Courtade Kumar most informative Boolean function conjecture for balanced functions, as well as a conjecture by Li and M 'edard that dictatorship functions also maximize the L alpha norm of T pf for 1 leq alpha leq2 where T p is the noise operator and f is a balanced Boolean function. By using a result due to Laguerre from the 1880's, we are able to bound how many times an L alpha norm related quantity can cross zero as a function of alpha , and show that these two conjectures are essentially equivalent.


SHOT VAE Semi supervised Deep Generative Models With Label aware ELBO Approximations. Semi supervised variational autoencoders (VAEs) have obtained strong results, but have also encountered the challenge that good ELBO values do not always imply accurate inference results. In this paper, we investigate and propose two causes of this problem (1) The ELBO objective cannot utilize the label information directly. (2) A bottleneck value exists and continuing to optimize ELBO after this value will not improve inference accuracy. On the basis of the experiment results, we propose SHOT VAE to address these problems without introducing additional prior knowledge. The SHOT VAE offers two contributions (1) A new ELBO approximation named smooth ELBO that integrates the label predictive loss into ELBO. (2) An approximation based on optimal interpolation that breaks the ELBO value bottleneck by reducing the margin between ELBO and the data likelihood. The SHOT VAE achieves good performance with a 25.30 error rate on CIFAR 100 with 10k labels and reduces the error rate to 6.11 on CIFAR 10 with 4k labels.


A Hybrid Framework for Matching Printing Design Files to Product Photos. We propose a real time image matching framework, which is hybrid in the sense that it uses both hand crafted features and deep features obtained from a well tuned deep convolutional network. The matching problem, which we concentrate on, is specific to a certain application, that is, printing design to product photo matching. Printing designs are any kind of template image files, created using a design tool, thus are perfect image signals. However, photographs of a printed product suffer many unwanted effects, such as uncontrolled shooting angle, uncontrolled illumination, occlusions, printing deficiencies in color, camera noise, optic blur, et cetera. For this purpose, we create an image set that includes printing design and corresponding product photo pairs with collaboration of an actual printing facility. Using this image set, we benchmark various hand crafted and deep features for matching performance and propose a framework in which deep learning is utilized with highest contribution, but without disabling real time operation using an ordinary desktop computer.


Mathematics of Nested Districts The Case of Alaska. In eight states, a "nesting rule" requires that each state Senate district be exactly composed of two adjacent state House districts. In this paper we investigate the potential impacts of these nesting rules with a focus on Alaska, where Republicans have a 2 3 majority in the Senate while a Democratic led coalition controls the House. Treating the current House plan as fixed and considering all possible pairings, we find that the choice of pairings alone can create a swing of 4 5 seats out of 20 against recent voting patterns, which is similar to the range observed when using a Markov chain procedure to generate plans without the nesting constraint. The analysis enables other insights into Alaska districting, including the partisan latitude available to districters with and without strong rules about nesting and contiguity.


R ' e nyi Entropy Bounds on the Active Learning Cost Performance Tradeoff. Semi supervised classification, one of the most prominent fields in machine learning, studies how to combine the statistical knowledge of the often abundant unlabeled data with the often limited labeled data in order to maximize overall classification accuracy. In this context, the process of actively choosing the data to be labeled is referred to as active learning. In this paper, we initiate the non asymptotic analysis of the optimal policy for semi supervised classification with actively obtained labeled data. Considering a general Bayesian classification model, we provide the first characterization of the jointly optimal active learning and semi supervised classification policy, in terms of the cost performance tradeoff driven by the label query budget (number of data items to be labeled) and overall classification accuracy. Leveraging recent results on the R 'enyi Entropy, we derive tight information theoretic bounds on such active learning cost performance tradeoff.


Instructional Level Parallelism. This paper is a review of the developments in Instruction level parallelism. It takes into account all the changes made in speeding up the execution. The various drawbacks and dependencies due to pipelining are discussed and various solutions to overcome them are also incorporated. It goes ahead in the last section to explain where is the new research leading us.


Learning Loss for Test Time Augmentation. Data augmentation has been actively studied for robust neural networks. Most of the recent data augmentation methods focus on augmenting datasets during the training phase. At the testing phase, simple transformations are still widely used for test time augmentation. This paper proposes a novel instance level test time augmentation that efficiently selects suitable transformations for a test input. Our proposed method involves an auxiliary module to predict the loss of each possible transformation given the input. Then, the transformations having lower predicted losses are applied to the input. The network obtains the results by averaging the prediction results of augmented inputs. Experimental results on several image classification benchmarks show that the proposed instance aware test time augmentation improves the model's robustness against various corruptions.


TripMD Driving patterns investigation via Motif Analysis. Processing driving data and investigating driving behavior has been receiving an increasing interest in the last decades, with applications ranging from car insurance pricing to policy making. A common strategy to analyze driving behavior is to study the maneuvers being performance by the driver. In this paper, we propose TripMD, a system that extracts the most relevant driving patterns from sensor recordings (such as acceleration) and provides a visualization that allows for an easy investigation. Additionally, we test our system using the UAH DriveSet dataset, a publicly available naturalistic driving dataset. We show that (1) our system can extract a rich number of driving patterns from a single driver that are meaningful to understand driving behaviors and (2) our system can be used to identify the driving behavior of an unknown driver from a set of drivers whose behavior we know.


A singularity as a break point for the multiplicity of solutions to quasilinear elliptic problems. We study a boundary value elliptic problem having a lower order nonlinear term with subquadratic growth in the gradient of the solution and possibly singular when the solution vanishes. If the singularity is mild enough (and even in the absence of the singularity), we prove an existence and multiplicity result. On the contrary, we prove an existence and uniqueness result for strong singularities.


Privacy Enhancing Context Authentication from Location Sensitive Data. This paper proposes a new privacy enhancing, context aware user authentication system, ConSec, which uses a transformation of general location sensitive data, such as GPS location, barometric altitude and noise levels, collected from the user's device, into a representation based on locality sensitive hashing (LSH). The resulting hashes provide a dimensionality reduction of the underlying data, which we leverage to model users' behaviour for authentication using machine learning. We present how ConSec supports learning from categorical and numerical data, while addressing a number of on device and network based threats. ConSec is implemented subsequently for the Android platform and evaluated using data collected from 35 users, which is followed by a security and privacy analysis. We demonstrate that LSH presents a useful approach for context authentication from location sensitive data without directly utilising plain measurements.


Isomorphic Bisections of Cubic Graphs. Graph partitioning, or the dividing of a graph into two or more parts based on certain conditions, arises naturally throughout discrete mathematics, and problems of this kind have been studied extensively. In the 1990s, Ando conjectured that the vertices of every cubic graph can be partitioned into two parts that induce isomorphic subgraphs. Using probabilistic methods together with delicate recolouring arguments, we prove Ando's conjecture for large connected graphs.


Critical Study of Markovian Approaches for Batch Arrival Modeling in IEEE 802.15.4 based Networks. The transient non stationary nature of network reaction to batch arrivals has led to complex models in order to estimate the network quantities of interest. In this report we focus on the IEEE 802.15.4 standard MAC layer and try to deeply study the current approaches in modeling the network reaction to one shot data arrivals. In addition to the general description of models, we mention the positive and negative points in each case proposing possible alternations which could improve the accuracy of the models.


Glaisher's Partition problem. We generalize the well known Glaisher partition bijection result. For given positive integers n, d, both greater than 1, we provide a rich family of bijections between the set of partitions of n where at least one part is divisible by d, and the set of partitions where at least one part appears d or more times.


Unveiling Class Labeling Structure for Universal Domain Adaptation. As a more practical setting for unsupervised domain adaptation, Universal Domain Adaptation (UDA) is recently introduced, where the target label set is unknown. One of the big challenges in UDA is how to determine the common label set shared by source and target domains, as there is simply no labeling available in the target domain. In this paper, we employ a probabilistic approach for locating the common label set, where each source class may come from the common label set with a probability. In particular, we propose a novel approach for evaluating the probability of each source class from the common label set, where this probability is computed by the prediction margin accumulated over the whole target domain. Then, we propose a simple universal adaptation network (S UAN) by incorporating the probabilistic structure for the common label set. Finally, we analyse the generalization bound focusing on the common label set and explore the properties on the target risk for UDA. Extensive experiments indicate that S UAN works well in different UDA settings and outperforms the state of the art methods by large margins.


WatchOut A Road Safety Extension for Pedestrians on a Public Windshield Display. We conducted a field study to investigate whether public windshield displays are applicable as an additional interactive digital road safety warning sign. We focused on investigating the acceptance and usability of our novel public windshield display and its potential use for future applications. The study has shown that users are open minded to the idea of an extraverted windshield display regardless the use case, whether it is used for safety purposes or different content. Contrary to our hypothesis most people assumed they would mistrust the system if it were as well established as traffic lights and primarily rely on their own perception.


Adaptive Hierarchical Decomposition of Large Deep Networks. Deep learning has recently demonstrated its ability to rival the human brain for visual object recognition. As datasets get larger, a natural question to ask is if existing deep learning architectures can be extended to handle the 50 K classes thought to be perceptible by a typical human. Most deep learning architectures concentrate on splitting diverse categories, while ignoring the similarities amongst them. This paper introduces a framework that automatically analyzes and configures a family of smaller deep networks as a replacement to a singular, larger network. Class similarities guide the creation of a family from course to fine classifiers which solve categorical problems more effectively than a single large classifier. The resulting smaller networks are highly scalable, parallel and more practical to train, and achieve higher classification accuracy. This paper also proposes a method to adaptively select the configuration of the hierarchical family of classifiers using linkage statistics from overall and sub classification confusion matrices. Depending on the number of classes and the complexity of the problem, a deep learning model is selected and the complexity is determined. Numerous experiments on network classes, layers, and architecture configurations validate our results.


Differences in structure and dynamics of networks retrieved from dark and public web forums. Humans make decisions based on the information they obtain from several major sources, among which the comments of others in Internet forums play an increasing role. Such forums cover a wide spectrum of topics and represent an essential tool in choosing the best products, manipulating views or optimizing our decisions regarding a number of aspects of our everyday life. However, many forums have extremely controversial topics and contents including those which radicalize the readers or spread information about dangerous products and ideas (e.g., drugs, weapons or aggressive ideologies). These just mentioned activities are taking place mainly on the so called "dark web" allowing the hiding of the identity of members using dark forums. We use network theoretical approaches to analyze the data we obtained by studying the connectivity features of the members and the threads within a wide selection of forums (including dark and semi dark) and establish several characteristic behavioral patterns. Our findings reveal both common and rather different features in the two types of behavior. In particular, we show that the various distributions of quantities, like the activity of the commenters, the dynamics of the threads (defined using their lifetime) or the degree distributions corresponding to the three major types of forums we have investigated display characteristic deviations. This knowledge can be useful, for example, in identifying an activity typical for the dark web when it appears on the public web (since the public web can be accessed and used much more easily).


Multi adversarial Faster RCNN for Unrestricted Object Detection. Conventional object detection methods essentially suppose that the training and testing data are collected from a restricted target domain with expensive labeling cost. For alleviating the problem of domain dependency and cumbersome labeling, this paper proposes to detect objects in an unrestricted environment by leveraging domain knowledge trained from an auxiliary source domain with sufficient labels. Specifically, we propose a multi adversarial Faster RCNN (MAF) framework for unrestricted object detection, which inherently addresses domain disparity minimization for domain adaptation in feature representation. The paper merits are in three fold 1) With the idea that object detectors often becomes domain incompatible when image distribution resulted domain disparity appears, we propose a hierarchical domain feature alignment module, in which multiple adversarial domain classifier submodules for layer wise domain feature confusion are designed 2) An information invariant scale reduction module (SRM) for hierarchical feature map resizing is proposed for promoting the training efficiency of adversarial domain adaptation 3) In order to improve the domain adaptability, the aggregated proposal features with detection results are feed into a proposed weighted gradient reversal layer (WGRL) for characterizing hard confused domain samples. We evaluate our MAF on unrestricted tasks, including Cityscapes, KITTI, Sim10k, etc. and the experiments show the state of the art performance over the existing detectors.


Enabling Commercial Autonomous Space Robotic Explorers. In contrast to manned missions, the application of autonomous robots for space exploration missions decreases the safety concerns of the exploration missions while extending the exploration distance since returning transportation is not necessary for robotics missions. In addition, the employment of robots in these missions also decreases mission complexities and costs because there is no need for onboard life support systems robots can withstand and operate in harsh conditions, for instance, extreme temperature, pressure, and radiation, where humans cannot survive. In this article, we introduce environments on Mars, review the existing autonomous driving techniques deployed on Earth, as well as explore technologies required to enable future commercial autonomous space robotic explorers. Last but not least, we also present that one of the urgent technical challenges for autonomous space explorers, namely, computing power onboard.