VOC ReID Vehicle Re identification based on Vehicle Orientation Camera. Vehicle re identification is a challenging task due to high intra class variances and small inter class variances. In this work, we focus on the failure cases caused by similar background and shape. They pose serve bias on similarity, making it easier to neglect fine grained information. To reduce the bias, we propose an approach named VOC ReID, taking the triplet vehicle orientation camera as a whole and reforming background shape similarity as camera orientation re identification. At first, we train models for vehicle, orientation and camera re identification respectively. Then we use orientation and camera similarity as penalty to get final similarity. Besides, we propose a high performance baseline boosted by bag of tricks and weakly supervised data augmentation. Our algorithm achieves the second place in vehicle re identification at the NVIDIA AI City Challenge 2020.


Fast 3D Modeling of Anthropomorphic Robotic Hands Based on A Multi layer Deformable Design. Current anthropomorphic robotic hands mainly focus on improving their dexterity by devising new mechanical structures and actuation systems. However, most of them rely on a single structure system (e.g., bone only) and ignore the fact that the human hand is composed of multiple functional structures (e.g., skin, bones, muscles, and tendons). This not only increases the difficulty of the design process but also lowers the robustness and flexibility of the fabricated hand. Besides, other factors like customization, the time and cost for production, and the degree of resemblance between human hands and robotic hands, remain omitted. To tackle these problems, this study proposes a 3D printable multi layer design that models the hand with the layers of skin, tissues, and bones. The proposed design first obtains the 3D surface model of a target hand via 3D scanning, and then generates the 3D bone models from the surface model based on a fast template matching method. To overcome the disadvantage of the rigid bone layer in deformation, the tissue layer is introduced and represented by a concentric tube based structure, of which the deformability can be explicitly controlled by a parameter. Besides, a low cost yet effective underactuated system is adopted to drive the fabricated hand. The proposed design is tested with 33 widely used object grasping types, as well as special objects like fragile silken tofu, and outperforms previous designs remarkably. With the proposed design, anthropomorphic robotic hands can be produced fast with low cost, and be customizable and deformable.


Semantics Preserving Hierarchy based Retrieval of Indian heritage monuments. Monument classification can be performed on the basis of their appearance and shape from coarse to fine categories. Although there is much semantic information present in the monuments which is reflected in the eras they were built, its type or purpose, the dynasty which established it, etc. Particularly, Indian subcontinent exhibits a huge deal of variation in terms of architectural styles owing to its rich cultural heritage. In this paper, we propose a framework that utilizes hierarchy to preserve semantic information while performing image classification or image retrieval. We encode the learnt deep embeddings to construct a dictionary of images and then utilize a re ranking framework on the the retrieved results using DeLF features. The semantic information preserved in these embeddings helps to classify unknown monuments at higher level of granularity in hierarchy. We have curated a large, novel Indian heritage monuments dataset comprising of images of historical, cultural and religious importance with subtypes of eras, dynasties and architectural styles. We demonstrate the performance of the proposed framework in image classification and retrieval tasks and compare it with other competing methods on this dataset.


Learning Concepts Definable in First Order Logic with Counting. We study classification problems over relational background structures for hypotheses that are defined using logics with counting. The aim of this paper is to find learning algorithms running in time sublinear in the size of the background structure. We show that hypotheses defined by FOCN(P) formulas over structures of polylogarithmic degree can be learned in sublinear time. Furthermore, we prove that for structures of unbounded degree there is no sublinear learning algorithm for first order formulas.


Critical Galton Watson branching processes with countably infinitely many types and infinite second moments. We consider an indecomposable Galton Watson branching process with countably infinitely many types. Assuming that the process is critical and allowing for infinite variance of the offspring sizes of some (or all) types of particles we describe the asymptotic behavior of the survival probability of the process and establish a Yaglom type conditional limit theorem for the infinite dimensional vector of the number of particles of all types.


L space knots have no essential Conway spheres. We prove that L space knots do not have essential Conway spheres with the technology of peculiar modules, a Floer theoretic invariant for tangles.


Intersection cohomology and Severi's varieties. Let X 2n subseteq mathbb P N be a smooth projective variety. Consider the intersection cohomology complex of the local system R 2n 1 pi mathbb Q , where pi denotes the projection from the universal hyperplane family of X 2n to ( mathbb P N) vee . We investigate the cohomology of the intersection cohomology complex IC(R 2n 1 pi mathbb Q ) over the points of a Severi's variety, parametrizing nodal hypersurfaces, whose nodes impose independent conditions on the very ample linear system giving the embedding in mathbb P N .


Not only Look, but also Listen Learning Multimodal Violence Detection under Weak Supervision. Violence detection has been studied in computer vision for years. However, previous work are either superficial, e.g., classification of short clips, and the single scenario, or undersupplied, e.g., the single modality, and hand crafted features based multimodality. To address this problem, in this work we first release a large scale and multi scene dataset named XD Violence with a total duration of 217 hours, containing 4754 untrimmed videos with audio signals and weak labels. Then we propose a neural network containing three parallel branches to capture different relations among video snippets and integrate features, where holistic branch captures long range dependencies using similarity prior, localized branch captures local positional relation using proximity prior, and score branch dynamically captures the closeness of predicted score. Besides, our method also includes an approximator to meet the needs of online detection. Our method outperforms other state of the art methods on our released dataset and other existing benchmark. Moreover, extensive experimental results also show the positive effect of multimodal (audio visual) input and modeling relationships. The code and dataset will be released in https roc ng.github.io XD Violence .


Entropy of absorbed Markov chains. We consider a strictly substochastic matrix or an stochastic matrix with absorbing states. By using quasi stationary distributions one shows there is a canonical associated stationary Markov chain. Based upon 2 stringing representation of the resurrected chain we supply a stationary representation of the killed and the absorbed chains. The entropies of these representations has a clear meaning when one identifies the probability measure of natural factors. The balance between the entropies of these representations and the canonical chain, serves to check the suitability of the whole construction.


A minimal pair in the generic degrees. We show that there is a minimal pair in the nonuniform generic degrees, and hence also in the uniform generic degrees. This fact contrasts with Igusa's result that there are no minimal pairs for relative generic computability, and answers a basic structural question mentioned in several papers in the area.


Gun Source and Muzzle Head Detection. There is a surging need across the world for protection against gun violence. There are three main areas that we have identified as challenging in research that tries to curb gun violence temporal location of gunshots, gun type prediction and gun source (shooter) detection. Our task is gun source detection and muzzle head detection, where the muzzle head is the round opening of the firing end of the gun. We would like to locate the muzzle head of the gun in the video visually, and identify who has fired the shot. In our formulation, we turn the problem of muzzle head detection into two sub problems of human object detection and gun smoke detection. Our assumption is that the muzzle head typically lies between the gun smoke caused by the shot and the shooter. We have interesting results both in bounding the shooter as well as detecting the gun smoke. In our experiments, we are successful in detecting the muzzle head by detecting the gun smoke and the shooter.


Introducing sub Riemannian and sub Finsler Billiards. We define billiards in the context of sub Finsler Geometry. We provide symplectic and variational (or rather, control theoretical) descriptions of the problem and show that they coincide. We then discuss several phenomena in this setting, including the failure of the reflection law to be well defined at singular points of the boundary distribution, the appearance of gliding and creeping orbits, and the behavior of reflections at wavefronts. We then study some concrete tables in 3 dimensional euclidean space endowed with the standard contact structure. These can be interpreted as planar magnetic billiards, of varying magnetic strength, for which the magnetic strength may change under reflection. For each table we provide various results regarding periodic trajectories, gliding orbits, and creeping orbits.


Provenance Based Interpretation of Multi Agent Information Analysis. Analytic software tools and workflows are increasing in capability, complexity, number, and scale, and the integrity of our workflows is as important as ever. Specifically, we must be able to inspect the process of analytic workflows to assess (1) confidence of the conclusions, (2) risks and biases of the operations involved, (3) sensitivity of the conclusions to sources and agents, (4) impact and pertinence of various sources and agents, and (5) diversity of the sources that support the conclusions. We present an approach that tracks agents' provenance with PROV O in conjunction with agents' appraisals and evidence links (expressed in our novel DIVE ontology). Together, PROV O and DIVE enable dynamic propagation of confidence and counter factual refutation to improve human machine trust and analytic integrity. We demonstrate representative software developed for user interaction with that provenance, and discuss key needs for organizations adopting such approaches. We demonstrate all of these assessments in a multi agent analysis scenario, using an interactive web based information validation UI.


Poincar 'e series and linking of Legendrian knots. On a negatively curved surface, we show that the Poincar 'e series counting geodesic arcs orthogonal to some pair of closed geodesic curves has a meromorphic continuation to the whole complex plane. When both curves are homologically trivial, we prove that the Poincar 'e series has an explicit rational value at 0 interpreting it in terms of linking number of Legendrian knots. In particular, for any pair of points on the surface, the lengths of all geodesic arcs connecting the two points determine its genus, and, for any pair of homologically trivial closed geodesics, the lengths of all geodesic arcs orthogonal to both geodesics determine the linking number of the two geodesics.


A Region based Randers Geodesic Approach for Image Segmentation. The minimal path model based on the Eikonal partial differential equation has served as a fundamental tool for the applications of image segmentation and boundary detection in the passed two decades. However, the existing approaches commonly only exploit the image edge based features for computing minimal paths, potentially limiting their performance in complicated segmentation situations. In this paper, we introduce a new variational image segmentation model based on the minimal path framework and the eikonal PDE, where the region based appearance term that defines then regional homogeneity features can be taken into account for estimating the associated minimal paths. This is done by constructing a Randers geodesic metric interpretation to the region based active contour energy. As a result, the minimization of the active contour energy is transformed to finding the solution to the Randers eikonal PDE. We also suggest a practical interactive image segmentation strategy, where the target boundary can be delineated by the concatenation of the piecewise geodesic paths. We invoke the Finsler variant of the fast marching method to estimate the geodesic distance map, yielding an efficient implementation of the proposed Eikonal region based active contour model. Experimental results on both synthetic and real images exhibit that our model indeed achieves encouraging segmentation performance.


A parabolic approach to the control of opinion spreading. We analyze the problem of controlling to consensus a nonlinear system modeling opinion spreading. We derive explicit exponential estimates on the cost of approximately controlling these systems to consensus, as a function of the number of agents N and the control time horizon T. Our strategy makes use of known results on the controllability of spatially discretized semilinear parabolic equations. Both systems can be linked through time rescaling


Controlling vertical magnetization shift by spin orbit torque in ferromagnetic antiferromagnetic ferromagnetic heterostructure. We report the control of vertical magnetization shift (VMS) and exchange bias through spin orbit torque (SOT) in Pt Co Ir25Mn75 Co heterostructure device. The exchange bias accompanying with a large relative VMS of about 30 is observed after applying a single pulse 40 mA in perpendicular field of 2 kOe. Furthermore, the field free SOT induced variations of VMS and exchange bias is also observed, which would be related to the effective built in out of plane field due to unequal upward and downward interfacial spin populations. The SOT induced switched fraction of out of plane interfacial spins shows a linear dependence on relative VMS, indicating the number of uncompensated pinned spins are proportional to the switched interfacial spins. Our finding offers a comprehensive understanding for electrically manipulating interfacial spins of AFM materials.


Analyticity and hp discontinuous Galerkin approximation of nonlinear Schr "odinger eigenproblems. We study a class of nonlinear eigenvalue problems of Scr "odinger type, where the potential is singular on a set of points. Such problems are widely present in physics and chemistry, and their analysis is of both theoretical and practical interest. In particular, we study the regularity of the eigenfunctions of the operators considered, and we propose and analyze the approximation of the solution via an isotropically refined hp discontinuous Galerkin (dG) method. We show that, for weighted analytic potentials and for up to quartic nonlinearities, the eigenfunctions belong to analytic type non homogeneous weighted Sobolev spaces. We also prove quasi optimal a priori estimates on the error of the dG finite element method when using an isotropically refined hp space the numerical solution is shown to converge with exponential rate towards the exact eigenfunction. In addition, we investigate the role of pointwise convergence in the doubling of the convergence rate for the eigenvalues with respect to the convergence rate of eigenfunctions. We conclude with a series of numerical tests to validate the theoretical results.


Serverless Electronic Mail. We describe a simple approach to peer to peer electronic mail that would allow users of ordinary workstations and mobile devices to exchange messages without relying upon third party mail server operators. Crucially, the system allows participants to establish and use multiple unlinked identities for communication with each other. The architecture leverages ordinary SMTP for message delivery and Tor for peer to peer communication. The design offers a robust, unintrusive method to use self certifying Tor onion service names to bootstrap a web of trust based on public keys for end to end authentication and encryption, which in turn can be used to facilitate message delivery when the sender and recipient are not online simultaneously. We show how the system can interoperate with existing email systems and paradigms, allowing users to hold messages that others can retrieve via IMAP or to operate as a relay between system participants and external email users. Finally, we show how it is possible to use a broadcast protocol to implement mailing lists and how distributed ledger technology might be used to bootstrap consensus about shared knowledge among list members.


Reconfigurable optical computing based on graphene. Optical computing has recently attracted a great deal of interest as it offers the ability to process data in a parallel manner. In this report, an optical computing system based on a metamaterial structure made of graphene is designed and demonstrated. It is shown that the proposed structure is able to do different operations such as taking derivative, and integration of an incident field. In addition to this, it is shown that the proposed structure is reconfigurable due to the possibility of tuning the surface conductivities of the graphene flakes. The proposed configuration not only goes beyond the major restriction of traditional electronic computers, but also provides a dynamic operation.


On Robustness of the Normalized Subgradient Method with Randomly Corrupted Subgradients. Numerous modern optimization and machine learning algorithms rely on subgradient information being trustworthy and hence, they may fail to converge when such information is corrupted. In this paper, we consider the setting where subgradient information may be arbitrarily corrupted (with a given probability) and study the robustness properties of the normalized subgradient method. Under the probabilistic corruption scenario, we prove that the normalized subgradient method, whose updates rely solely on directional information of the subgradient, converges to a minimizer for convex, strongly convex, and weakly pseudo convex functions satisfying certain conditions. Numerical evidence on linear regression and logistic classification problems support our results.


Superfast Approximate Linear Least Squares Solution of a Highly Overdetermined Linear System of Equations. With a high probability the Sarlos randomized algorithm of 2006 outputs a nearly optimal least squares solution of a highly overdeterminedlinear system of equations. We propose its simple deterministic variation which computes such a solution for a random input whp and therefore computes it deterministically for a large input class. Unlike the Sarlos original algorithm our variation performs computations at sublinear cost or, as we say, superfast, that is, by using much fewer memory cells and arithmetic operations than an input matrix has entries. Our extensive tests are in good accordance with this result.


The Paradigm Discovery Problem. This work treats the paradigm discovery problem (PDP), the task of learning an inflectional morphological system from unannotated sentences. We formalize the PDP and develop evaluation metrics for judging systems. Using currently available resources, we construct datasets for the task. We also devise a heuristic benchmark for the PDP and report empirical results on five diverse languages. Our benchmark system first makes use of word embeddings and string similarity to cluster forms by cell and by paradigm. Then, we bootstrap a neural transducer on top of the clustered data to predict words to realize the empty paradigm slots. An error analysis of our system suggests clustering by cell across different inflection classes is the most pressing challenge for future work. Our code and data are available for public use.


Invariant sets and nilpotency of endomorphisms of algebraic sofic shifts. Let G be a group and let V be an algebraic variety over an algebraically closed field K . Let A denote the set of K points of V . We introduce algebraic sofic subshifts Sigma subset A G and study endomorphisms tau colon Sigma to Sigma . We generalize several results for dynamical invariant sets and nilpotency of tau that are well known for finite alphabet cellular automata. Under mild assumptions, we prove that tau is nilpotent if and only if its limit set, i.e., the intersection of the images of its iterates, is a singleton. If moreover G is infinite, finitely generated and Sigma is topologically mixing, we show that tau is nilpotent if and only if its limit set consists of periodic configurations and has a finite set of alphabet values.


On k Noetherian and k Artinian Semirings. We investigate left k Noetherian and left k Artinian semirings. We characterize such semirings using i injective semimodules. We prove in particular, a partial version of the celebrated Bass Papp Theorem for semiring. We illustrate our main results by examples and counter examples.


The Treachery of Images in the Digital Sovereignty Debate. This short theoretical and argumentative essay contributes to the ongoing deliberation about the so called digital sovereignty, as pursued particularly in the European Union (EU). Drawing from classical political science literature, the essay approaches the debate through paradoxes that arise from applying classical notions of sovereignty to the digital domain. With these paradoxes and a focus on the Peace of Westphalia in 1648, the essay develops a viewpoint distinct from the conventional territorial notion of sovereignty. Accordingly, the lesson from Westphalia has more to do with the capacity of a state to govern. It is also this capacity that is argued to enable the sovereignty of individuals within the digital realm. With this viewpoint, the essay further advances another, broader, and more pressing debate on politics and democracy in the digital era.


Blockchain 3.0 Smart Contracts in E Government 3.0 Applications. The adoption of Information Communication Technologies (ICT) and Web 3.0 contributes to the e government sector by transforming how public administrations provide advanced and innovative services to interact with citizens. Blockchain (BC) and Artificial Intelligence (AI) disruptive technologies will reshape how we live, work, and interact with government sectors and industries. This paper presents how Blockchain 3.0 and Artificial Intelligence enhance robust, secure, scalable, and authenticity provenance solutions. Two validation scenarios are analyzed to present how blockchain smart contracts and AI agents support energy and health oriented e government services.


Co Saliency Detection with Co Attention Fully Convolutional Network. Co saliency detection aims to detect common salient objects from a group of relevant images. Some attempts have been made with the Fully Convolutional Network (FCN) framework and achieve satisfactory detection results. However, due to stacking convolution layers and pooling operation, the boundary details tend to be lost. In addition, existing models often utilize the extracted features without discrimination, leading to redundancy in representation since actually not all features are helpful to the final prediction and some even bring distraction. In this paper, we propose a co attention module embedded FCN framework, called as Co Attention FCN (CA FCN). Specifically, the co attention module is plugged into the high level convolution layers of FCN, which can assign larger attention weights on the common salient objects and smaller ones on the background and uncommon distractors to boost final detection performance. Extensive experiments on three popular co saliency benchmark datasets demonstrate the superiority of the proposed CA FCN, which outperforms state of the arts in most cases. Besides, the effectiveness of our new co attention module is also validated with ablation studies.


Unsupervised Domain Adaptation in the Absence of Source Data. Current unsupervised domain adaptation methods can address many types of distribution shift, but they assume data from the source domain is freely available. As the use of pre trained models becomes more prevalent, it is reasonable to assume that source data is unavailable. We propose an unsupervised method for adapting a source classifier to a target domain that varies from the source domain along natural axes, such as brightness and contrast. Our method only requires access to unlabeled target instances and the source classifier. We validate our method in scenarios where the distribution shift involves brightness, contrast, and rotation and show that it outperforms fine tuning baselines in scenarios with limited labeled data.


Diffusion as a First Model of Spread of Viral Infection. The appearance of the coronavirus (COVID 19) in late 2019 has dominated the news in the last few months as it developed into a pandemic. In many mathematics and physics classrooms, instructors are using the time series of the number of cases to show exponential growth of the infection. In this manuscript we propose a simple diffusion process as the mode of spreading infections. This model is less sophisticated than other models in the literature, but it can capture the exponential growth and it can explain it in terms of mobility (diffusion constant), population density, and probability of transmission. Students can change the parameters and determine the growth rate and predict the total number of cases as a function of time. Students are also given the opportunity to add other factors that are not considered in the simple diffusion model.


Retrieval of Family Members Using Siamese Neural Network. Retrieval of family members in the wild aims at finding family members of the given subject in the dataset, which is useful in finding the lost children and analyzing the kinship. However, due to the diversity in age, gender, pose and illumination of the collected data, this task is always challenging. To solve this problem, we propose our solution with deep Siamese neural network. Our solution can be divided into two parts similarity computation and ranking. In training procedure, the Siamese network firstly takes two candidate images as input and produces two feature vectors. And then, the similarity between the two vectors is computed with several fully connected layers. While in inference procedure, we try another similarity computing method by dropping the followed several fully connected layers and directly computing the cosine similarity of the two feature vectors. After similarity computation, we use the ranking algorithm to merge the similarity scores with the same identity and output the ordered list according to their similarities. To gain further improvement, we try different combinations of backbones, training methods and similarity computing methods. Finally, we submit the best combination as our solution and our team(ustc nelslip) obtains favorable result in the track3 of the RFIW2020 challenge with the first runner up, which verifies the effectiveness of our method. Our code is available at https github.com gniknoil FG2020 kinship


On a progressive and iterative approximation method with memory for least square fitting. In this paper, we present a progressive and iterative approximation method with memory for least square fitting(MLSPIA). It adjusts the control points and the weighted sums iteratively to construct a series of fitting curves (surfaces) with three weights. For any normalized totally positive basis even when the collocation matrix is of deficient column rank, we obtain a condition to guarantee that these curves (surfaces) converge to the least square fitting curve (surface) to the given data points. It is proved that the theoretical convergence rate of the method is faster than the one of the progressive and iterative approximation method for least square fitting (LSPIA) in Deng C Y, Lin H W. Progressive and iterative approximation for least squares B spline curve and surface fitting. Computer Aided Design 2014 47 32 44 under the same assumption. Examples verify this phenomenon.


Password similarity using probabilistic data structures. Passwords should be easy to remember, yet expiration policies mandate their frequent change. Caught in the crossfire between these conflicting requirements, users often adopt creative methods to perform slight variations over time. While easily fooling the most basic checks for similarity, these schemes lead to a substantial decrease in actual security, because leaked passwords, albeit expired, can be effectively exploited as seeds for crackers. This work describes an approach based on Bloom filters to detect password similarity, which can be used to discourage password reuse habits. The proposed scheme intrinsically obfuscates the stored passwords to protect them in case of database leaks, and can be tuned to be resistant to common cryptanalytic techniques, making it suitable for usage on exposed systems.


Learning the Boundary of Inductive Invariants. We study the complexity of invariant inference and its connections to exact concept learning. We define a condition on invariants and their geometry, called the fence condition, which permits applying theoretical results from exact concept learning to answer open problems in invariant inference theory. The condition requires the invariant's boundary the states whose Hamming distance from the invariant is one to be backwards reachable from the bad states in a small number of steps. Using this condition, we obtain the first polynomial complexity result for an interpolation based invariant inference algorithm, efficiently inferring monotone DNF invariants with access to a SAT solver as an oracle. We further harness Bshouty's seminal result in concept learning to efficiently infer invariants of a larger syntactic class of invariants beyond monotone DNF. Lastly, we consider the robustness of inference under program transformations. We show that some simple transformations preserve the fence condition, and that it is sensitive to more complex transformations.


Exploiting Diversity for Ultra Reliable and Low Latency Wireless Control. This paper introduces a wireless communication protocol for industrial control systems that uses channel quality awareness to dynamically create network device cooperation and assist the nodes in momentary poor channel conditions. To that point, channel state information is used to identify nodes with strong and weak channel conditions. We show that strong nodes in the network are best to be served in a single hop transmission with transmission rate adapted to their instantaneous channel conditions. Meanwhile, the remainder of time frequency resources is used to serve the nodes with weak channel condition using a two hop transmission with cooperative communication among all the nodes to meet the target reliability in their communication with the controller. We formulate the achievable multi user and multi antenna diversity gain in the low latency regime, and propose a new scheme for exploiting those on demand, in favor of reliability and efficiency. The proposed transmission scheme is therefore dubbed adaptive network device cooperation (ANDCoop), since it is able to adaptively allocate cooperation resources while enjoying the multi user diversity gain of the network. We formulate the optimization problem of associating nodes to each group and dividing resources between the two groups. Numerical solutions show significant improvement in spectral efficiency and system reliability compared to the existing schemes in the literature. System design incorporating the proposed transmission strategy can thus reduce infrastructure cost for future private wireless networks.


Voice Face Cross modal Matching and Retrieval A Benchmark. Cross modal associations between voice and face from a person can be learnt algorithmically, which can benefit a lot of applications. The problem can be defined as voice face matching and retrieval tasks. Much research attention has been paid on these tasks recently. However, this research is still in the early stage. Test schemes based on random tuple mining tend to have low test confidence. Generalization ability of models can not be evaluated by small scale datasets. Performance metrics on various tasks are scarce. A benchmark for this problem needs to be established. In this paper, first, a framework based on comprehensive studies is proposed for voice face matching and retrieval. It achieves state of the art performance with various performance metrics on different tasks and with high test confidence on large scale datasets, which can be taken as a baseline for the follow up research. In this framework, a voice anchored L2 Norm constrained metric space is proposed, and cross modal embeddings are learned with CNN based networks and triplet loss in the metric space. The embedding learning process can be more effective and efficient with this strategy. Different network structures of the framework and the cross language transfer abilities of the model are also analyzed. Second, a voice face dataset (with 1.15M face data and 0.29M audio data) from Chinese speakers is constructed, and a convenient and quality controllable dataset collection tool is developed. The dataset and source code of the paper will be published together with this paper.


Transferable Knowledge for Low cost Decision Making in Cloud Environments. Users of cloud computing are increasingly overwhelmed with the wide range of providers and services offered by each provider. As such, many users select cloud services based on description alone. An emerging alternative is to use a decision support system (DSS), which typically relies on gaining insights from observational data in order to assist a customer in making decisions regarding optimal deployment or redeployment of cloud applications. The primary activity of such systems is the generation of a prediction model (e.g. using machine learning), which requires a significantly large amount of training data. However, considering the varying architectures of applications, cloud providers, and cloud offerings, this activity is not sustainable as it incurs additional time and cost to collect training data and subsequently train the models. We overcome this through developing a Transfer Learning (TL) approach where the knowledge (in the form of the prediction model and associated data set) gained from running an application on a particular cloud infrastructure is transferred in order to substantially reduce the overhead of building new models for the performance of new applications and or cloud infrastructures. In this paper, we present our approach and evaluate it through extensive experimentation involving three real world applications over two major public cloud providers, namely Amazon and Google. Our evaluation shows that our novel two mode TL scheme increases overall efficiency with a factor of 60 reduction in the time and cost of generating a new prediction model. We test this under a number of cross application and cross cloud scenarios.


Determining the nature of quantum resonances by probing elastic and reactive scattering in cold collisions. Scattering resonances play a central role in collision processes in physics and chemistry. They help building an intuitive understanding of the collision dynamics due to the spatial localization of the scattering wavefunctions. For resonances that are localized in the reaction region, located at short separation behind the centrifugal barrier, sharp peaks in the reaction rates are the characteristic signature, observed recently with state of the art experiments in low energy collisions. If, however, the localization occurs outside of the reaction region, mostly the elastic scattering is modified. This may occur due to above barrier resonances, the quantum analogue of classical orbiting. By probing both elastic and inelastic scattering of metastable helium with deuterium molecules in merged beam experiments, we differentiate between the nature of quantum resonances tunneling vs above barrier and corroborate our findings by calculating the corresponding scattering wavefunctions.


Chirality in non Hermitian photonics. Chirality is ubiquitous from microscopic to macroscopic phenomena in physics and biology, such as fermionic interactions and DNA duplication. In photonics, chirality has traditionally represented differentiated optical responses for right and left circular polarizations. This definition of optical chirality in the polarization domain includes handedness dependent phase velocities or optical absorption inside chiral media, which enable polarimetry for measuring the material concentration and circular dichroism spectroscopy for sensing biological or chemical enantiomers. Recently, the emerging field of non Hermitian photonics, which explores exotic phenomena in gain or loss media, has provided a new viewpoint on chirality in photonics that is not restricted to the traditional polarization domain but is extended to other physical quantities such as the orbital angular momentum, propagation direction, and system parameter space. Here, we introduce recent milestones in chiral light matter interactions in non Hermitian photonics and show an enhanced degree of design freedom in photonic devices for spin and orbital angular momenta, directionality, and asymmetric modal conversion.


Hermitian Tensor Decompositions. Hermitian tensors are generalizations of Hermitian matrices, but they have very different properties. Every complex Hermitian tensor is a sum of complex Hermitian rank 1 tensors. However, this is not true for the real case. We study basic properties for Hermitian tensors such as Hermitian decompositions and Hermitian ranks. For canonical basis tensors, we determine their Hermitian ranks and decompositions. For real Hermitian tensors, we give a full characterization for them to have Hermitian decompositions over the real field. In addition to traditional flattening, Hermitian tensors specially have Hermitian and Kronecker flattenings, which may give different lower bounds for Hermitian ranks. We also study other topics such as eigenvalues, positive semidefiniteness, sum of squares representations, and separability.


Comparison principles for viscosity solutions of elliptic branches of fully nonlinear equations independent of the gradient. The validity of the comparison principle in variable coefficient fully nonlinear gradient free potential theory is examined and then used to prove the comparison principle for fully nonlinear partial differential equations which determine a suitable potential theory. The approach combines the notions of proper elliptic branches inspired by Krylov (Trans. Amer. Math. Soc. 1995) with the monotonicity duality method initiated by Harvey and Lawson (Comm. Pure Appl. Math. 2009). In the variable coefficient nonlinear potential theory, a special role is played by the Hausdorff continuity of the proper elliptic map Theta which defines the potential theory. In the applications to nonlinear equations defined by an operator F , structural conditions on F will be determined for which there is a correspondence principle between Theta subharmonics superharmonics and admissible viscosity sub and supersolutions of the nonlinear equation and for which comparison for the equation follows from the associated compatible potential theory. General results and explicit models of interest from differential geometry will be examined.


SCOPE Secure Compiling of PLCs in Cyber Physical Systems. Cyber Physical Systems (CPS) are being widely adopted in critical infrastructures, such as smart grids, nuclear plants, water systems, transportation systems, manufacturing and healthcare services, among others. However, the increasing prevalence of cyberattacks targeting them raises a growing security concern in the domain. In particular, memory safety attacks, that exploit memory safety vulnerabilities, constitute a major attack vector against real time control devices in CPS. Traditional IT countermeasures against such attacks have limitations when applied to the CPS context they typically incur in high runtime overheads which conflicts with real time constraints in CPS and they often abort the program when an attack is detected, thus harming availability of the system, which in turn can potentially result in damage to the physical world. In this work, we propose to enforce a full stack memory safety (covering user space and kernel space attack surfaces) based on secure compiling of PLCs to detect memory safety attacks in CPS. Furthermore, to ensure availability, we enforce a resilient mitigation technique that bypasses illegal memory access instructions at runtime by dynamically instrumenting low level code. We empirically measure the computational overhead caused by our approach on two experimental settings based on real CPS. The experimental results show that our approach effectively and efficiently detects and mitigates memory safety attacks in realistic CPS.


Nonlocal minimal graphs in the plane are generically sticky. We prove that nonlocal minimal graphs in the plane exhibit generically stickiness effects and boundary discontinuities. More precisely, we show that if a nonlocal minimal graph in a slab is continuous up to the boundary, then arbitrarily small perturbations of the far away data produce boundary discontinuities. Hence, either a nonlocal minimal graph is discontinuous at the boundary, or a small perturbation of the prescribed conditions produces boundary discontinuities. The proof relies on a sliding method combined with a fine boundary regularity analysis, based on a discontinuity smoothness alternative. Namely, we establish that nonlocal minimal graphs are either discontinuous at the boundary or their derivative is H "older continuous up to the boundary. In this spirit, we prove that the boundary regularity of nonlocal minimal graphs in the plane "jumps" from discontinuous to C 1, gamma , with no intermediate possibilities allowed. In particular, we deduce that the nonlocal curvature equation is always satisfied up to the boundary. As an interesting byproduct of our analysis, one obtains a detailed understanding of the "switch" between the regime of continuous (and hence differentiable) nonlocal minimal graphs to that of discontinuous (and hence with differentiable inverse) ones.


Extending rationally connected fibrations from ample subvarieties. Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply this result in the context of Fano fibrations and prove a classification theorem for projective bundle and quadric fibration structures on ample subvarieties.


Parallel Plate Waveguides for Terahertz Driven MeV Electron Bunch Compression. We demonstrate the electromagnetic performance of waveguides for femtosecond electron beam bunch manipulation and compression with strong field terahertz (THz) pulses. The compressor structure is a dispersion free exponentially tapered parallel plate waveguide (PPWG) that can focus single cycle THz pulses along one dimension. We show test results of the tapered PPWG structure using electro optic sampling (EOS) at the interaction region with peak fields of at least 300 kV cm given 0.9 uJ of incoming THz energy. We also present a modified shorted design of the tapered PPWG for better beam manipulation and reduced magnetic field as an alternative to a dual feed approach. As an example, we demonstrate that with 5 uJ of THz energy, the PPWG compresses a 2.5 MeV electron bunch by a compression factor of more than 4 achieving a bunch length of about 18 fs.


Event QA A Dataset for Event Centric Question Answering over Knowledge Graphs. Semantic Question Answering (QA) is a crucial technology to facilitate intuitive user access to semantic information stored in knowledge graphs. Whereas most of the existing QA systems and datasets focus on entity centric questions, very little is known about these systems' performance in the context of events. As new event centric knowledge graphs emerge, datasets for such questions gain importance. In this paper, we present the Event QA dataset for answering event centric questions over knowledge graphs. Event QA contains 1000 semantic queries and the corresponding English, German and Portuguese verbalizations for EventKG an event centric knowledge graph with more than 970 thousand events.


Style Transfer by Relaxed Optimal Transport and Self Similarity. Style transfer algorithms strive to render the content of one image using the style of another. We propose Style Transfer by Relaxed Optimal Transport and Self Similarity (STROTSS), a new optimization based style transfer algorithm. We extend our method to allow user specified point to point or region to region control over visual similarity between the style image and the output. Such guidance can be used to either achieve a particular visual effect or correct errors made by unconstrained style transfer. In order to quantitatively compare our method to prior work, we conduct a large scale user study designed to assess the style content tradeoff across settings in style transfer algorithms. Our results indicate that for any desired level of content preservation, our method provides higher quality stylization than prior work. Code is available at https github.com nkolkin13 STROTSS


Nonparametric Estimation of Uncertainty Sets for Robust Optimization. We investigate a data driven approach to constructing uncertainty sets for robust optimization problems, where the uncertain problem parameters are modeled as random variables whose joint probability distribution is not known. Relying only on independent samples drawn from this distribution, we provide a nonparametric method to estimate uncertainty sets whose probability mass is guaranteed to approximate a given target mass within a given tolerance with high confidence. The nonparametric estimators that we consider are also shown to obey distribution free finite sample performance bounds that imply their convergence in probability to the given target mass. In addition to being efficient to compute, the proposed estimators result in uncertainty sets that yield computationally tractable robust optimization problems for a large family of constraint functions.


GenNet Reading Comprehension with Multiple Choice Questions using Generation and Selection model. Multiple choice machine reading comprehension is difficult task as its required machines to select the correct option from a set of candidate or possible options using the given passage and question.Reading Comprehension with Multiple Choice Questions task,required a human (or machine) to read a given passage, question pair and select the best one option from n given options. There are two different ways to select the correct answer from the given passage. Either by selecting the best match answer to by eliminating the worst match answer. Here we proposed GenNet model, a neural network based model. In this model first we will generate the answer of the question from the passage and then will matched the generated answer with given answer, the best matched option will be our answer. For answer generation we used S net (Tan et al., 2017) model trained on SQuAD and to evaluate our model we used Large scale RACE (ReAding Comprehension Dataset From Examinations) (Lai et al.,2017).


Densely Connected Search Space for More Flexible Neural Architecture Search. Neural architecture search (NAS) has dramatically advanced the development of neural network design. We revisit the search space design in most previous NAS methods and find the number and widths of blocks are set manually. However, block counts and block widths determine the network scale (depth and width) and make a great influence on both the accuracy and the model cost (FLOPs latency). In this paper, we propose to search block counts and block widths by designing a densely connected search space, i.e., DenseNAS. The new search space is represented as a dense super network, which is built upon our designed routing blocks. In the super network, routing blocks are densely connected and we search for the best path between them to derive the final architecture. We further propose a chained cost estimation algorithm to approximate the model cost during the search. Both the accuracy and model cost are optimized in DenseNAS. For experiments on the MobileNetV2 based search space, DenseNAS achieves 75.3 top 1 accuracy on ImageNet with only 361MB FLOPs and 17.9ms latency on a single TITAN XP. The larger model searched by DenseNAS achieves 76.1 accuracy with only 479M FLOPs. DenseNAS further promotes the ImageNet classification accuracies of ResNet 18, 34 and 50 B by 1.5 , 0.5 and 0.3 with 200M, 600M and 680M FLOPs reduction respectively. The related code is available at https github.com JaminFong DenseNAS.


Quadratic variation and quadratic roughness. We study the concept of quadratic variation of a continuous path along a sequence of partitions and its dependence with respect to the choice of the partition sequence. We define the concept of quadratic roughness of a path along a partition sequence and show that, for H "older continuous paths satisfying this roughness condition, the quadratic variation along balanced partitions is invariant with respect to the choice of the partition sequence. Typical paths of Brownian motion are shown to satisfy this quadratic roughness property almost surely along any partition with a required step size condition. Using these results we derive a formulation of F "ollmer's pathwise integration along paths with finite quadratic variation which is invariant with respect to the partition sequence.


Light Yield of Perovskite Nanocrystal Doped Liquid Scintillator. Future generations of liquid scintillator neutrino experiments will require stably loading tons of candidate isotopes into kiloton scale detectors, representing a significant chemical challenge. Nanoparticles containing the candidate isotopes provide a promising method for this loading. Additionally, the unique optical properties of nanoparticles can enhance detection and background discrimination. Perovskite nanocrystals are particularly attractive due to the reliability of their crystal structure and their easily scalable synthesis. We present here the first study of lead based perovskite nanocrystals for this application.


On the Cauchy problem for the Muskat equation with non Lipschitz initial data. This article is devoted to the study of the Cauchy problem for the Muskat equation. We consider initial data belonging to the critical Sobolev space of functions with three half derivative in L 2 , up to a fractional logarithmic correction. As a corollary, we obtain the first local and global well posedness results for initial free surface which are not Lipschitz.


Tiling with Squares and Packing Dominos in Polynomial Time. A polyomino is a polygonal region with axis parallel edges and corners of integral coordinates, which may have holes. In this paper, we consider planar tiling and packing problems with polyomino pieces and a polyomino container P . We give two polynomial time algorithms, one for deciding if P can be tiled with k times k squares for any fixed k which can be part of the input (that is, deciding if P is the union of a set of non overlapping k times k squares) and one for packing P with a maximum number of non overlapping and axis parallel 2 times 1 dominos, allowing rotations by 90 circ . As packing is more general than tiling, the latter algorithm can also be used to decide if P can be tiled by 2 times 1 dominos. These are classical problems with important applications in VLSI design, and the related problem of finding a maximum packing of 2 times 2 squares is known to be NP Hard J. Algorithms 1990 . For our three problems there are known pseudo polynomial time algorithms, that is, algorithms with running times polynomial in the area of P . However, the standard, compact way to represent a polygon is by listing the coordinates of the corners in binary. We use this representation, and thus present the first polynomial time algorithms for the problems. Concretely, we give a simple O(n log n) algorithm for tiling with squares, and a more involved O(n 3 , text polylog , n) algorithm for packing and tiling with dominos, where n is the number of corners of P .


Finite 'etale extension of Tate rings and decompletion of perfectoid algebras. In this paper, we examine the behavior of ideal adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable conditions. We aim to give many results on ascent and descent of certain ring theoretic properties under completion. As an application, we give conceptual details to the proof of the almost purity theorem for Witt perfect rings by Davis and Kedlaya. Witt perfect rings have the advantage that one does not need to assume that the rings are complete and separated.


EGO TOPO Environment Affordances from Egocentric Video. First person video naturally brings the use of a physical environment to the forefront, since it shows the camera wearer interacting fluidly in a space based on his intentions. However, current methods largely separate the observed actions from the persistent space itself. We introduce a model for environment affordances that is learned directly from egocentric video. The main idea is to gain a human centric model of a physical space (such as a kitchen) that captures (1) the primary spatial zones of interaction and (2) the likely activities they support. Our approach decomposes a space into a topological map derived from first person activity, organizing an ego video into a series of visits to the different zones. Further, we show how to link zones across multiple related environments (e.g., from videos of multiple kitchens) to obtain a consolidated representation of environment functionality. On EPIC Kitchens and EGTEA , we demonstrate our approach for learning scene affordances and anticipating future actions in long form video.


Actively tunable terahertz electromagnetically induced transparency analogue based on vanadium oxide assisted metamaterials. Recently, phase change materials (PCMs) have drawn more attention due to the dynamically tunable optical properties. Here, we investigate the active control of electromagnetically induced transparency (EIT) analogue based on terahertz (THz) metamaterials integrated with vanadium oxide (VO2). Utilizing the insulator to metal transition of VO2, the amplitude of EIT peak can be actively modulated with a significant modulation depth. Meanwhile the group delay within the transparent window can also be dynamically tuned, achieving the active control of slow light effect. Furthermore, we also introduce independently tunable transparent peaks as well as group delay based on a double peak EIT with good tuning performance. Finally, based on broadband EIT, the active tuning of quality factor of the EIT peak is also realized. This work introduces active EIT control with more degree of freedom by employing VO2, and can find potential applications in future wireless and ultrafast THz communication systems as multi channel filters, switches, spacers, logic gates and modulators.


Condensed Generalized Finite Element Method (CGFEM). Generalized or extended finite element methods (GFEM XFEM) are in general badly conditioned and have numerous additional degrees of freedom (DOF) compared with the FEM because of introduction of enriched functions. In this paper, we develop an approach to establish a subspace of a conventional GFEM XFEM approximation space using partition of unity (PU) techniques and local least square procedures. The proposed GFEM is referred to as condensed GFEM (CGFEM), which (i) possesses as many DOFs as the preliminary FEM, (ii) enjoys similar approximation properties with the GFEM XFEM, and (iii) is well conditioned in a sense that its conditioning is of the same order as that of the FEM. The fundamental approximation properties of CGFEM is proven mathematically. The CGFEM is applied to a problem of high order polynomial approximations and a Poisson crack problem optimal convergence orders of the former are proven rigorously. The numerical experiments and comparisons with the conventional GFEM XFEM and FEM are made to verify the theory and effectiveness of CGFEM.


Electrified Cone Formation in Perfectly Conducting Viscous Liquids Self Similar Growth Irrespective of Reynolds Number. Above a critical field strength, the free surface of an electrified, perfectly conducting viscous liquid, such as a liquid metal, is known to develop an accelerating protrusion resembling a cusp with a conic tip. Field self enhancement from tip sharpening is reported to generate divergent power law growth in finite time of the forces acting in that region. Previous studies have established that tip sharpening proceeds via a self similar process in two distinct limits the Stokes regime at textsf Re 0 and the inviscid regime textsf Re to infty . Using finite element simulations to track the acceleration of an electrified protrusion in a perfectly conducting Newtonian liquid in vacuum held at constant capillary number, we demonstrate that the conic tip textit always undergoes self similar growth irrespective of Reynolds number. The computed blow up exponents at the tip for the terms in the Navier Stokes equation and interface normal stress condition reveal the different forces at play as textsf Re increases. Rescaling of the tip shape by the capillary stress exponent yields excellent collapse onto a universal conic tip shape with interior half angle dependent on the magnitude of the Maxwell stress. The rapid acceleration of the liquid interface also generates a thin surface boundary layer with very high local strain rate. Additional details of the modeled flow, applicable to cone growth in systems such as liquid metal ion sources, help dispel prevailing misconceptions that dynamic cones resemble conventional Taylor cones or that viscous stresses at finite textsf Re can be neglected.


Flat structure of meromorphic connections on Riemann surfaces. In the first part of the paper we study relation among meromorphic k differentials, singular flat metrics and meromorphic connections. In the second part we define the notion of meromorphic G differential for a multiplicative group G subset mathbb C and we show a relation between meromorphic G differentials and meromorphic connection. Moreover we prove a Poincar 'e Bendixson theorem for infinite self intersecting geodesics of meromorphic connections monodromy in G , with arg G k 0 for some k in mathbb N .


Simple approaches on how to discover promising strategies for efficient enterprise performance, at time of crisis in the case of SMEs Voronoi clustering and outlier effects perspective. This paper analyzes the connection between innovation activities of companies implemented before a financial crisis and their performance measured after such a time of crisis. Pertinent data about companies listed in the STAR Market Segment of the Italian Stock Exchange is analyzed. Innovation is measured through the level of investments in total tangible and intangible fixed assets in 2006 2007, while performance is captured through growth expressed by variations of sales or of total assets, profitability through ROI or ROS evolution, and productivity through asset turnover or sales employee in the period 2008 2010. The variables of interest are analyzed and compared through statistical techniques and by adopting a cluster analysis. In particular, a Voronoi tessellation is implemented in a varying centroids framework. In accord with a large part of the literature, we find that the behavior of the performance of the companies is not univocal when they innovate. The statistical outliers are the best cases in order to suggest efficient strategies. In brief, it is found that a positive rate of investments is preferable.


Leveraging creativity in requirements elicitation within agile software development a systematic literature review. Agile approaches tend to focus solely on scoping and simplicity rather than on problem solving and discovery. This hampers the development of innovative solutions. Additionally, little has been said about how to capture and represent the real user needs. To fill this gap, some authors argue in favor of the application of Creative thinking for requirements elicitation within agile software development. This synergy between creativeness and agility has arisen as a new means of bringing innovation and flexibility to increasingly demanding software. The aim of the present study is therefore to employ a systematic review to investigate the state of the art of those approaches that leverage creativity in requirements elicitation within Agile Software Development, as well as the benefits, limitations and strength of evidence of these approaches. The search strategy identified 1451 studies. The selected studies contained 13 different and unique proposals. These approaches provide evidence that enhanced creativity in requirements elicitation can be successfully implemented in real software projects. We specifically observed that projects related to user interface development, such as those for mobile or web applications, are good candidates for the use of these approaches. We have also found that agile methodologies are preferred when introducing creativity into requirements elicitation. Despite this being a new research field, there is a mixture of techniques, tools and processes that have already been and are currently being successfully tested in industry. Finally, we have found that, although creativity is an important ingredient with which to bring about innovation, it is not always sufficient to generate new requirements because this needs to be followed by user engagement and a specific context in which proper conditions, such as flexibility, time or resources, have to be met.


Stability of the Gel'fand inverse boundary problem via the unique continuation. In the Gel'fand inverse problem, one aims to determine the topology, differential structure and Riemannian metric of a compact manifold M with boundary from the knowledge of the boundary partial M , the Neumann eigenvalues lambda j and the boundary values of the eigenfunctions varphi j partial M . We show that this problem has a stable solution with quantitative stability estimates in a class of manifolds with bounded geometry. More precisely, we show that finitely many eigenvalues and the boundary values of corresponding eigenfunctions, known up to small errors, determine a metric space that is close to the manifold in the Gromov Hausdorff sense. We provide an algorithm to construct this metric space. This result is based on an explicit estimate on the stability of the unique continuation for the wave operator. We hope our results may have applications, in particular, to medicine.


Multi document Summarization via Deep Learning Techniques A Survey. Multi document summarization (MDS) is an effective tool for information aggregation that generates an informative and concise summary from a cluster of topic related documents. Our survey, the first of its kind, systematically overviews the recent deep learning based MDS models. We propose a novel taxonomy to summarize the design strategies of neural networks and conduct a comprehensive summary of the state of the art. We highlight the differences between various objective functions that are rarely discussed in the existing literature. Finally, we propose several future directions pertaining to this new and exciting field.


Near Optimal Distributed Band Joins through Recursive Partitioning. We consider running time optimization for band joins in a distributed system, e.g., the cloud. To balance load across worker machines, input has to be partitioned, which causes duplication. We explore how to resolve this tension between maximum load per worker and input duplication for band joins between two relations. Previous work suffered from high optimization cost or considered partitionings that were too restricted (resulting in suboptimal join performance). Our main insight is that recursive partitioning of the join attribute space with the appropriate split scoring measure can achieve both low optimization cost and low join cost. It is the first approach that is not only effective for one dimensional band joins but also for joins on multiple attributes. Experiments indicate that our method is able to find partitionings that are within 10 of the lower bound for both maximum load per worker and input duplication for a broad range of settings, significantly improving over previous work.


Photoacoustic Imaging of Lithium Metal Batteries. We demonstrate that photoacoustic microscopy (PAM) can be a potential novel imaging tool to investigate the Li metal dendrite growth, a critical issue leading to short circuit and even explosion of Li metal batteries. Our results suggest several advantages of PAM imaging of Li metal batteries high resolution (micrometers), 3D imaging capability, deep penetration in a separator, and high contrast from bulk Li metal. Further, PAM has potential for in situ real time imaging of Li metal batteries.


Scaling laws and dynamics of hashtags on Twitter. In this paper we quantify the statistical properties and dynamics of the frequency of hashtag use on Twitter. Hashtags are special words used in social media to attract attention and to organize content. Looking at the collection of all hashtags used in a period of time, we identify the scaling laws underpinning the hashtag frequency distribution (Zipf's law), the number of unique hashtags as a function of sample size (Heaps' law), and the fluctuations around expected values (Taylor's law). While these scaling laws appear to be universal, in the sense that similar exponents are observed irrespective of when the sample is gathered, the volume and nature of the hashtags depends strongly on time, with the appearance of bursts at the minute scale, fat tailed noise, and long range correlations. We quantify this dynamics by computing the Jensen Shannon divergence between hashtag distributions obtained tau times apart and we find that the speed of change decays roughly as 1 tau . Our findings are based on the analysis of 3.5 billion hashtags used between 2015 and 2016.


On Evaluating the Quality of Rule Based Classification Systems. Two indicators are classically used to evaluate the quality of rule based classification systems predictive accuracy, i.e. the system's ability to successfully reproduce learning data and coverage, i.e. the proportion of possible cases for which the logical rules constituting the system apply. In this work, we claim that these two indicators may be insufficient, and additional measures of quality may need to be developed. We theoretically show that classification systems presenting "good" predictive accuracy and coverage can, nonetheless, be trivially improved and illustrate this proposition with examples.


Two Echelon Vehicle and UAV Routing for Post Disaster Humanitarian Operations with Uncertain Demand. Humanitarian logistics service providers have two major responsibilities immediately after a disaster locating trapped people and routing aid to them. These difficult operations are further hindered by failures in the transportation and telecommunications networks, which are often rendered unusable by the disaster at hand. In this work, we propose two echelon vehicle routing frameworks for performing these operations using aerial uncrewed autonomous vehicles (UAVs or drones) to address the issues associated with these failures. In our proposed frameworks, we assume that ground vehicles cannot reach the trapped population directly, but they can only transport drones from a depot to some intermediate locations. The drones launched from these locations serve to both identify demands for medical and other aids (e.g., epi pens, medical supplies, dry food, water) and make deliveries to satisfy them. Specifically, we present two decision frameworks, in which the resulting optimization problem is formulated as a two echelon vehicle routing problem. The first framework addresses the problem in two stages providing telecommunications capabilities in the first stage and satisfying the resulting demands in the second. To that end, two types of drones are considered. Hotspot drones have the capability of providing cell phone and internet reception, and hence are used to capture demands. Delivery drones are subsequently employed to satisfy the observed demand. The second framework, on the other hand, addresses the problem as a stochastic emergency aid delivery problem, which uses a two stage robust optimization model to handle demand uncertainty. To solve the resulting models, we propose efficient and novel solution approaches.


Fast and stable randomized low rank matrix approximation. Randomized SVD has become an extremely successful approach for efficiently computing a low rank approximation of matrices. In particular the paper by Halko, Martinsson, and Tropp (SIREV 2011) contains extensive analysis, and has made it a very popular method. The typical complexity for a rank r approximation of m times n matrices is O(mn log n (m n)r 2) for dense matrices. The classical Nystr "o m method is much faster, but applicable only to positive semidefinite matrices. This work studies a generalization of Nystr "o m method applicable to general matrices, and shows that (i) it has near optimal approximation quality comparable to competing methods, (ii) the computational cost is the near optimal O(mn log n r 3) for dense matrices, with small hidden constants, and (iii) crucially, it can be implemented in a numerically stable fashion despite the presence of an ill conditioned pseudoinverse. Numerical experiments illustrate that generalized Nystr "o m can significantly outperform state of the art methods, especially when r gg 1 , achieving up to a 10 fold speedup. The method is also well suited to updating and downdating the matrix.


Price Impact on Term Structure. We introduce a first theory of price impact in presence of an interest rates term structure. We explain how one can formulate instantaneous and transient price impact on bonds with different maturities, including a cross price impact that is endogenous to the term structure. We connect the introduced impact to classic no arbitrage theory for interest rate markets, showing that impact can be embedded in the pricing measure and that no arbitrage can be preserved. We present pricing examples in presence of price impact and numerical examples of how impact changes the shape of the term structure. Finally, to show that our approach is applicable we solve an optimal execution problem in interest rate markets with the type of price impact we developed in the paper.


Co Robots as Care Robots. Cooperation and collaboration robots, co robots or cobots for short, are an integral part of factories. For example, they work closely with the fitters in the automotive sector, and everyone does what they do best. However, the novel robots are not only relevant in production and logistics, but also in the service sector, especially where proximity between them and the users is desired or unavoidable. For decades, individual solutions of a very different kind have been developed in care. Now experts are increasingly relying on co robots and teaching them the special tasks that are involved in care or therapy. This article presents the advantages, but also the disadvantages of co robots in care and support, and provides information with regard to human robot interaction and communication. The article is based on a model that has already been tested in various nursing and retirement homes, namely Lio from F P Robotics, and uses results from accompanying studies. The authors can show that co robots are ideal for care and support in many ways. Of course, it is also important to consider a few points in order to guarantee functionality and acceptance.


Critical Benchmarking of the G4(MP2) Model, the Correlation Consistent Composite Approach and Popular Density Functional Approximations on a Probabilistically Pruned Benchmark Dataset of Formation Enthalpies. First principles calculation of the standard formation enthalpy, Delta H f circ (298K), in such large scale as required by chemical space explorations, is amenable only with density functional approximations (DFAs) and some composite wave function theories (cWFTs). Alas, the accuracies of popular range separated hybrid, rung 4' DFAs, and cWFTs that offer the best accuracy vs. cost trade off have as yet been established only for datasets predominantly comprising small molecules, hence, their transferability to larger datasets remains vague. In this study, we present an extended benchmark dataset of over 1600 values of Delta H f circ for structurally and electronically diverse molecules. We apply quartile ranking based on boundary corrected kernel density estimation to filter outliers and arrive at Probabilistically Pruned Enthalpies of 1694 compounds (PPE1694). For this dataset, we rank the prediction accuracies of G4, G4(MP2), ccCA, CBS QB3 and 23 popular DFAs using conventional and probabilistic error metrics. We discuss systematic prediction errors and highlight the role an empirical higher level correction (HLC) plays in the G4(MP2) model. Furthermore, we comment on uncertainties associated with the reference empirical data for atoms and the systematic errors stemming from these that grow with the molecular size. We believe these findings to aid in identifying meaningful application domains for quantum thermochemical methods.


Cytoplasmic streaming in C. elegans forces that drive oogenesis. In the gonad of C. elegans worms, germ cells form the outer lining of the central tube, the rachis, which carries a cytoplasmic flow.


Semi continuity of the Diederich Fornaess and Steinness indices. In this paper, we prove the semi continuity theorem of Diederich Forn ae ss index and Steinness index under a smooth deformation of pseudoconvex domains in Stein manifolds.


Stock market microstructure inference via multi agent reinforcement learning. Quantitative finance has had a long tradition of a bottom up approach to complex systems inference via multi agent systems (MAS). These statistical tools are based on modelling agents trading via a centralised order book, in order to emulate complex and diverse market phenomena. These past financial models have all relied on so called zero intelligence agents, so that the crucial issues of agent information and learning, central to price formation and hence to all market activity, could not be properly assessed. In order to address this, we designed a next generation MAS stock market simulator, in which each agent learns to trade autonomously via model free reinforcement learning. We calibrate the model to real market data from the London Stock Exchange over the years 2007 to 2018 , and show that it can faithfully reproduce key market microstructure metrics, such as various price autocorrelation scalars over multiple time intervals. Agent learning thus enables model emulation of the microstructure with greater realism.


On random approximations by generalized disc polygons. For two convex discs K and L , we say that K is L convex if it is equal to the intersection of all translates of L that contain K . In L convexity the set L plays a similar role as closed half spaces do in the classical notion of convexity. We study the following probability model Let K and L be C 2 smooth convex discs such that K is L convex. Select n i.i.d. uniform random points x 1, ldots, x n from K , and consider the intersection K (n) of all translates of L that contain all of x 1, ldots, x n . The set K (n) is a random L convex polygon in K . We study the expectation of the number of vertices f 0(K (n) ) and the missed area A(K setminus K n ) as n tends to infinity. We consider two special cases of the model. In the first case we assume that the maximum of the curvature of the boundary of L is strictly less than 1 and the minimum of the curvature of K is larger than 1 . In this setting the expected number of vertices and missed area behave in a similar way as in the classical convex case and in the r spindle convex case (when L is a radius r circular disc). The other case we study is when K L . This setting is special in the sense that an interesting phenomenon occurs the expected number of vertices tends to a finite limit depending only on L . This was previously observed in the special case when L is a circle of radius r (Fodor, Kevei and V 'igh (2014)). We also determine the extrema of the limit of the expectation of the number of vertices of L (n) if L is a convex discs of constant width 1 . The formulas we prove can be considered as generalizations of the corresponding r spindle convex statements proved by Fodor, Kevei and V 'igh (2014).


A Dual hierarchy Semantic Graph for Robust Object Recognition. We present a system for object recognition based on a semantic graph representation, which the system can learn from image examples. This graph is based on intrinsic properties of objects such as structure and geometry, so it is more robust than the current machine learning methods that can be fooled by changing a few pixels. Current methods have proved to be powerful but brittle because they ignore the structure and semantics of the objects. We define semantics as a form of abstraction, in terms of the intrinsic properties of the object, not in terms of human perception. Thus, it can be learned automatically. This is facilitated by the graph having two distinct hierarchies abstraction and parts, which also makes its representation of objects more accurate and versatile. Previous semantic networks had only one amorphous hierarchy and were difficult to build and traverse. Our system performs both the learning and recognition by an algorithm that traverses both hierarchies at the same time, combining the advantages of top down and bottom up strategies. This reduces dimensionality and obviates the need for the brute force of big data training.


Decidability via the tilting correspondence. We prove relative decidability results for perfectoid fields. This applies to show that the fields mathbb Q p(p 1 p infty ) and mathbb Q p( zeta p infty ) are (existentially) decidable relative to the perfect hull of mathbb F p((t)) and mathbb Q p ab is (existentially) decidable relative to the perfect hull of overline mathbb F p((t)) . We also prove some unconditional decidability results in mixed characteristic via reduction to characteristic p .


A Nonvanishing Conjecture for Cotangent Bundles. In this paper we study the positivity of the cotangent bundle of projective manifolds. We conjecture that the cotangent bundle is pseudoeffective if and only the manifold has non zero symmetric differentials. We confirm this conjecture for most projective surfaces that are not of general type.


Quasilinear elliptic equations with sub natural growth terms and nonlinear potential theory. We discuss recent advances in the theory of quasilinear equations of the type Delta p u sigma u q text in mathbb R n, in the case 0 q p 1 , where sigma is a nonnegative measurable function, or measure, for the p Laplacian Delta p u text div ( nabla u p 2 nabla u) , as well as more general quasilinear, fractional Laplacian, and Hessian operators. Within this context, we obtain some new results, in particular, necessary and sufficient conditions for the existence of solutions u in text BMO ( mathbb R n) , u in L r rm loc ( mathbb R n) , etc., and prove an enhanced version of Wolff's inequality for intrinsic nonlinear potentials associated with such problems.


Proofs of conservation inequalities for Levin's notion of mutual information of 1974. In this paper we consider Levin's notion of mutual information in infinite 0 1 sequences, as defined in Leonid Levin. Laws of Information Conservation (Nongrowth) and Aspects of the Foundation of Probability Theory. Problems of information transmission, vol. 10 (1974), pp. 206 211 . The respective information conservation inequalities were stated in that paper without proofs. Later some proofs appeared in the literature, however no proof of the probabilistic conservation inequality has been published yet. In this paper we prove that inequality and for the sake of completeness we present also short proofs of other properties of the said notion.


MANTRA Memory Augmented Networks for Multiple Trajectory Prediction. Autonomous vehicles are expected to drive in complex scenarios with several independent non cooperating agents. Path planning for safely navigating in such environments can not just rely on perceiving present location and motion of other agents. It requires instead to predict such variables in a far enough future. In this paper we address the problem of multimodal trajectory prediction exploiting a Memory Augmented Neural Network. Our method learns past and future trajectory embeddings using recurrent neural networks and exploits an associative external memory to store and retrieve such embeddings. Trajectory prediction is then performed by decoding in memory future encodings conditioned with the observed past. We incorporate scene knowledge in the decoding state by learning a CNN on top of semantic scene maps. Memory growth is limited by learning a writing controller based on the predictive capability of existing embeddings. We show that our method is able to natively perform multi modal trajectory prediction obtaining state of the art results on three datasets. Moreover, thanks to the non parametric nature of the memory module, we show how once trained our system can continuously improve by ingesting novel patterns.


Gap results for free boundary CMC surfaces in the Euclidean three ball. In this note, we prove that if a free boundary constant mean curvature surface Sigma in an Euclidean 3 ball satisfies a pinching condition on the length of traceless second fundamental tensor, then either Sigma is a totally umbilical disk or an annulus of revolution. The pinching is sharp since there are portions of some Delaunay surfaces inside the unit Euclidean 3 ball which are free boundary and satisfy the pinching condition.


Potential Neutralizing Antibodies Discovered for Novel Corona Virus Using Machine Learning. The fast and untraceable virus mutations take lives of thousands of people before the immune system can produce the inhibitory antibody. Recent outbreak of novel coronavirus infected and killed thousands of people in the world. Rapid methods in finding peptides or antibody sequences that can inhibit the viral epitopes of COVID 19 will save the life of thousands. In this paper, we devised a machine learning (ML) model to predict the possible inhibitory synthetic antibodies for Corona virus. We collected 1933 virus antibody sequences and their clinical patient neutralization response and trained an ML model to predict the antibody response. Using graph featurization with variety of ML methods, we screened thousands of hypothetical antibody sequences and found 8 stable antibodies that potentially inhibit COVID 19. We combined bioinformatics, structural biology, and Molecular Dynamics (MD) simulations to verify the stability of the candidate antibodies that can inhibit the Corona virus.


A hyperspace of convex bodies arising from tensor norms. In a preceding work it is determined when a centrally symmetric convex body in mathbb R d, d d 1 cdots d l, is the closed unit ball of a reasonable crossnorm on mathbb R d 1 otimes cdots otimes mathbb R d l . Consequently, the class of tensorial bodies is introduced, an associated tensorial Banach Mazur distance is defined and the corresponding Banach Mazur type compactum is proved to exist. In this paper, we introduce the hyperspace of these convex bodies. We called "the space of tensorial bodies". It is proved that the group of linear isomorphisms on mathbb R d 1 otimes cdots otimes mathbb R d l preserving decomposable vectors acts properly (in the sense of Palais) on it. A convenient compact global slice for the space is constructed. With it, topological representatives for the space of tensorial bodies and the Banach Mazur type compactum are given. Among others, it is showed that the set of ellipsoids in the class of tensorial bodies is homeomorphic to the Euclidean space of dimension p frac d 1(d 1 1) 2 cdots frac d l(d l 1) 2 . We also prove that both the projective and the injective tensor products of 0 symmetric convex bodies are continuous functions with respect to the Hausdorff distance.


Coxeter invariants for non negative unit forms of Dynkin type A. Two integral quadratic unit forms are called strongly Gram congruent if their upper triangular Gram matrices are Z congruent. The paper gives a combinatorial strong Gram invariant for those unit forms that are non negative of Dynkin type A, within the framework introduced in Fundamenta Informaticae 184(1) 49 82, 2021 , and uses it to determine all corresponding Coxeter polynomials and (reduced) Coxeter numbers.


Mining self similarity Label super resolution with epitomic representations. We show that simple patch based models, such as epitomes, can have superior performance to the current state of the art in semantic segmentation and label super resolution, which uses deep convolutional neural networks. We derive a new training algorithm for epitomes which allows, for the first time, learning from very large data sets and derive a label super resolution algorithm as a statistical inference algorithm over epitomic representations. We illustrate our methods on land cover mapping and medical image analysis tasks.


MetaMetaZipf. What do analyses of city size distributions have in common?. In this article, I conduct a textual and contextual analysis of the empirical literature on Zipf's law for cities. Building on previous meta analysis material openly available, I collect full texts and bibliographies of 66 scientific articles published in English and construct similarity networks of the terms they use as well as of the references and disciplines they cite. I use these networks as explanatory variables in a model of the similarity network of the distribution of Zipf estimates reported in the 66 articles. I find that the proximity in words frequently used by authors correlates positively with their tendency to report similar values and dispersion of Zipf estimates. The reference framework of articles also plays a role, as articles which cite similar references tend to report similar average values of Zipf estimates. As a complement to previous meta analyses, the present approach sheds light on the scientific text and context mobilized to report on city size distributions. It allows to identified gaps in the corpus and potentially overlooked articles.


Isometric Operators on Variable Exponent Discrete Lebesgue Spaces. We investigate the structure of norm preserving and linear but not necessarily surjective operators on variable exponent, discrete Lebesgue spaces. A certain class of isometries, novel to this work, are especially considered this class completely coincides with all isometries when the Lebesgue space is classical, i.e. of a fixed exponent. For said isometries it is shown that their actions are completely determined by pairs consisting of set mappings and bounded functions on mathbb N . This result recovers the previously known structure of isometries on fixed exponent spaces as a special case. In the second part, we show that another wide class of operators, including shift operators, are only isometric under very restrictive conditions on the exponent sequence. Together these results serve to highlight the striking similarities and yet radical differences between isometric operators on fixed and variable exponent spaces.


Ternary circuits why R 3 is not the Optimal Radix for Computation. A demonstration that e 2.718 rounded to 3 is the best radix for computation is disproved. The MOSFET like CNTFET technology is used to compare inverters, Nand, adders, multipliers, D Flip Flops and SRAM cells. The transistor count ratio between ternary and binary circuits is generally greater than the log(3) log(2) information ratio. The only exceptions concern a circuit approach that combines two circuit drawbacks (an additional power supply and a circuit conflict between transistors) and only when it implements circuits based on the ternary inverter. For arithmetic circuits such as adders and multipliers, the ternary circuits are always outperformed by the binary ones using the same technology.


On Distributed Algorithms for Minimum Dominating Set problem, from theory to application. In this paper, we propose a distributed algorithm for the minimum dominating set problem. For some especial networks, we prove theoretically that the achieved answer by our proposed algorithm is a constant approximation factor of the exact answer. This problem arises naturally in social networks, for example in news spreading, avoiding rumor spreading and recommendation spreading. So we implement our algorithm on massive social networks and compare our results with the state of the art algorithms. Also, we extend our algorithm to solve the k distance dominating set problem and experimentally study the efficiency of the proposed algorithm. Our proposed algorithm is fast and easy to implement and can be used in dynamic networks where the edges and vertices are added or deleted constantly. More importantly, based on the experimental results the proposed algorithm has reasonable solutions and running time which enables us to use it in distributed model practically.


A Survey of Deep Learning Techniques for Neural Machine Translation. In recent years, natural language processing (NLP) has got great development with deep learning techniques. In the sub field of machine translation, a new approach named Neural Machine Translation (NMT) has emerged and got massive attention from both academia and industry. However, with a significant number of researches proposed in the past several years, there is little work in investigating the development process of this new technology trend. This literature survey traces back the origin and principal development timeline of NMT, investigates the important branches, categorizes different research orientations, and discusses some future research trends in this field.


Boundary type Sets of Strong Product of Directed Graphs. Let D (V,E) be a strongly connected digraph and let u ,v in V(D) . The maximum distance md (u,v) is defined as md(u,v) max overrightarrow d (u,v), overrightarrow d (v,u) where overrightarrow d (u,v) denote the length of a shortest directed u v path in D . This is a metric. The boundary, contour, eccentric and peripheral sets of a strong digraph D with respect to this metric have been defined, and the above said metrically defined sets of a large strong digraph D have been investigated in terms of the factors in its prime factor decomposition with respect to Cartesian product. In this paper we investigate about the above boundary type sets of a strong digraph D in terms of the factors in its prime factor decomposition with respect to strong product.


An enriched second order method for nonconvex composite sparse optimization problems. In this paper we propose a second order method for solving emph linear composite sparse optimization problems consisting of minimizing the sum of a differentiable (possibly nonconvex function) and a nondifferentiable convex term. The composite nondifferentiable convex penalizer is given by ell 1 norm of a matrix multiplied with the coefficient vector. The algorithm that we propose for the case of the linear composite ell 1 problem relies on the three main ingredients that power the OESOM algorithm cite dlrlm07 the minimum norm subgradient, a projection step and, in particular, the second order information associated to the nondifferentiable term. By extending these devices, we obtain a full second order method for solving composite sparse optimization problems which includes a wide range of applications. For instance, problems involving the minimization of a general class emph differential graph operators can be solved with the proposed algorithm. We present several computational experiments to show the efficiency of our approach for different application examples.


An introduction to p adic period rings. This paper is the augmented notes of a course I gave jointly with Laurent Berger in Rennes in 2014. Its aim was to introduce the periods rings B crys and B dR and state several comparison theorems between 'e tale and crystalline or de Rham cohomologies for p adic varieties.


Raman transitions driven by phase modulated light in a cavity atom interferometer. Atom interferometers in optical cavities benefit from strong laser intensities and high quality wavefronts. The laser frequency pairs that are needed for driving Raman transitions (often generated by phase modulating a monochromatic beam) form multiple standing waves in the cavity, resulting in a periodic spatial variation of the properties of the atom light interaction along the cavity axis. Here, we model this spatial dependence and calculate two photon Rabi frequencies and ac Stark shifts. We compare the model to measurements performed with varying cavity and pulse parameters such as cavity offset from the carrier frequency and the longitudinal position of the atom cloud. We show how setting cavity parameters to optimal values can increase the Raman transition efficiency at all positions in the cavity and nearly double the contrast in a Mach Zehnder cavity atom interferometer in comparison to the unoptimized case.


Linear relations and their singular chains. Singular chain spaces for linear relations in linear spaces play a fundamental role in the decomposition of linear relations in finite dimensional spaces. In this paper singular chains and singular chain spaces are discussed in detail for not necessarily finite dimensional linear spaces. This leads to an identity characterizing a singular chain space in terms of root spaces. The so called proper eigenvalues of a linear relation play an important role in the finite dimensional case.


Multi agent Reinforcement Learning for Decentralized Stable Matching. In the real world, people entities usually find matches independently and autonomously, such as finding jobs, partners, roommates, etc. It is possible that this search for matches starts with no initial knowledge of the environment. We propose the use of a multi agent reinforcement learning (MARL) paradigm for a spatially formulated decentralized two sided matching market with independent and autonomous agents. Having autonomous agents acting independently makes our environment very dynamic and uncertain. Moreover, agents lack the knowledge of preferences of other agents and have to explore the environment and interact with other agents to discover their own preferences through noisy rewards. We think such a setting better approximates the real world and we study the usefulness of our MARL approach for it. Along with conventional stable matching case where agents have strictly ordered preferences, we check the applicability of our approach for stable matching with incomplete lists and ties. We investigate our results for stability, level of instability (for unstable results), and fairness. Our MARL approach mostly yields stable and fair outcomes.


Skorohod and rough integration with respect to the non commutative fractional Brownian motion. We pursue our investigations, initiated in 8 , about stochastic integration with respect to the non commutative fractional Brownian motion (NC fBm). Our main objective in this paper is to compare the pathwise constructions of 8 with a Skorohod type interpretation of the integral. As a first step, we provide details on the basic tools and properties associated with non commutative Malliavin calculus, by mimicking the presentation of Nualart's celebrated treatise 14 . Then we check that, just as in the classical (commutative) situation, Skorohod integration can indeed be considered in the presence of the NC fBm, at least for a Hurst index H 1 4.This finally puts us in a position to state and prove the desired comparison result, which can be regarded as an It o Stratonovich correction formula for the NC fBm.


Learning Opinion Dynamics From Social Traces. Opinion dynamics the research field dealing with how people's opinions form and evolve in a social context traditionally uses agent based models to validate the implications of sociological theories. These models encode the causal mechanism that drives the opinion formation process, and have the advantage of being easy to interpret. However, as they do not exploit the availability of data, their predictive power is limited. Moreover, parameter calibration and model selection are manual and difficult tasks. In this work we propose an inference mechanism for fitting a generative, agent like model of opinion dynamics to real world social traces. Given a set of observables (e.g., actions and interactions between agents), our model can recover the most likely latent opinion trajectories that are compatible with the assumptions about the process dynamics. This type of model retains the benefits of agent based ones (i.e., causal interpretation), while adding the ability to perform model selection and hypothesis testing on real data. We showcase our proposal by translating a classical agent based model of opinion dynamics into its generative counterpart. We then design an inference algorithm based on online expectation maximization to learn the latent parameters of the model. Such algorithm can recover the latent opinion trajectories from traces generated by the classical agent based model. In addition, it can identify the most likely set of macro parameters used to generate a data trace, thus allowing testing of sociological hypotheses. Finally, we apply our model to real world data from Reddit to explore the long standing question about the impact of backfire effect. Our results suggest a low prominence of the effect in Reddit's political conversation.