Effective obstruction to lifting Tate classes from positive characteristic. We give an algorithm that takes a smooth hypersurface over a number field and computes a p adic approximation of the obstruction map on the Tate classes of a finite reduction. This gives an upper bound on the "middle Picard number" of the hypersurface. The improvement over existing methods is that our method relies only on a single prime reduction and gives the possibility of cutting down on the dimension of Tate classes by two or more. The obstruction map comes from p adic variational Hodge conjecture and we rely on the recent advancement by Bloch Esnault Kerz to interpret our bounds.


Connected algebraic groups acting on algebraic surfaces. We classify the maximal connected algebraic subgroups of Bir(X), when X is a surface.


A Sufficient condition for compactness of Hankel operators. Let Omega be a bounded convex domain in mathbb C n . We show that if varphi in C 1 ( overline Omega ) is holomorphic along analytic varieties in b Omega , then H q varphi , the Hankel operator with symbol varphi , is compact. We have shown the converse earlier, so that we obtain a characterization of compactness of these operators in terms of the behavior of the symbol relative to analytic structure in the boundary. A corollary is that Toeplitz operators with these symbols are Fredholm (of index zero).


ACDC Tracing Towards Anonymous Citizen Driven Contact Tracing. As we enter the control phase of the COVID 19 pandemic, many efforts have been dedicated to developing smartphone based contact tracing apps in order to automatically identify people that a person with COVID 19 might have infected. These applications while potentially useful, present significant adoption, societal, technical and privacy challenges. We propose ACDC Tracing, a simpler, anonymous, voucher based contact tracing solution that relies on peoples' knowledge of their own close contacts. People who test positive are given an anonymous voucher which they can share with a limited number of people whom they think they might be infected. The recipients can use this voucher to book a COVID 19 test and can receive their test results without ever revealing their identity. People receiving positive result are given vouchers to further backtrack the path of infection. This is a fully anonymous solution which does not require any sharing of location data, Bluetooth, or having an app installed on people's mobile device. Moreover, ACDC Tracing can be tested for effectiveness at a small scale without requiring adoption by the entire population, which would enable acquiring fast evidence about its efficacy and scalability. Finally, it is compatible with and complementary to alternative approaches to contact tracing.


Prognostic and Health Management (PHM) tool for Robot Operating System (ROS). Nowadays, prognostics aware systems are increasingly used in many systems and it is critical for sustaining autonomy. All engineering systems, especially robots, are not perfect. Absence of failures in a certain time is the perfect system and it is impossible practically. In all engineering works, we must try to predict or minimize prevent failures in the system. Failures in the systems are generally unknown, so prediction of these failures and reliability of the system is made by prediction process. Reliability analysis is important for the improving the system performance, extending system lifetime, etc. Prognostic and Health Management (PHM) includes reliability, safety, predictive fault detection isolation, advanced diagnostics prognostics, component lifecycle tracking, health reporting and information management, etc. This study proposes an open source robot prognostic and health management tool using model based methodology namely "Prognostics and Health Management tool for ROS". This tool is a generic tool for using with any kind of robot (mobile robot, robot arm, drone etc.) with compatible with ROS. Some features of this tool are managing monitoring robots' health, RUL, probability of task completion (PoTC) etc. User is able to enter the necessary equations and components information (hazard rates, robot configuration etc.) to the PHM tool and the other sensory data like temperature, humidity, pressure, load etc. In addition to these, a case study is conducted for the mobile robots (OTA) using this tool.


Canonical domains for coadjoint orbits. This paper describes two real analytic symplectomorphisms defined on appropriate dense open subsets of any coadjoint orbit of a compact semisimple Lie algebra. The first symplectomorphism sends the open dense subset to a bounded subset of a standard cotangent bundle. The second symplectomorphism has target a bounded subset of a hyperbolic coadjoint orbit of an associated non compact semi simple Lie algebra. Therefore coadjoint orbits of compact Lie algebras are symplectic compactifications of domains of cotangent bundles, and are in symplectic duality with hyperbolic orbits of non compact semisimple Lie algebras.


Reflection trees of graphs as boundaries of Coxeter groups. To any finite graph X (viewed as a topological space) we assosiate some explicit compact metric space cal X r(X) which we call it the reflection tree of graphs X . This space is of topological dimension le1 and its connected components are locally connected. We show that if X is appropriately triangulated (as a simplicial graph Gamma for which X is the geometric realization) then the visual boundary partial infty(W,S) of the right angled Coxeter system (W,S) with the nerve isomorphic to Gamma is homeomorphic to cal X r(X) . For each X , this yields in particular many word hyperbolic groups with Gromov boundary homeomorphic to the space cal X r(X) .


Planning from Pixels in Atari with Learned Symbolic Representations. Width based planning methods have been shown to yield state of the art performance in the Atari 2600 domain using pixel input. One successful approach, RolloutIW, represents states with the B PROST boolean feature set. An augmented version of RolloutIW, pi IW, shows that learned features can be competitive with handcrafted ones for width based search. In this paper, we leverage variational autoencoders (VAEs) to learn features directly from pixels in a principled manner, and without supervision. The inference model of the trained VAEs extracts boolean features from pixels, and RolloutIW plans with these features. The resulting combination outperforms the original RolloutIW and human professional play on Atari 2600 and drastically reduces the size of the feature set.


Revisiting Process versus Product Metrics a Large Scale Analysis. Numerous methods can build predictive models from software data. However, what methods and conclusions should we endorse as we move from analytics in the small (dealing with a handful of projects) to analytics in the large (dealing with hundreds of projects)? To answer this question, we recheck prior small scale results (about process versus product metrics for defect prediction and the granularity of metrics) using 722,471 commits from 700 Github projects. We find that some analytics in the small conclusions still hold when scaling up to analytics in the large. For example, like prior work, we see that process metrics are better predictors for defects than product metrics (best process product based learners respectively achieve recalls of 98 44 and AUCs of 95 54 , median values). That said, we warn that it is unwise to trust metric importance results from analytics in the small studies since those change dramatically when moving to analytics in the large. Also, when reasoning in the large about hundreds of projects, it is better to use predictions from multiple models (since single model predictions can become confused and exhibit a high variance).


Simultaneous regression and feature learning for facial landmarking. Face alignment (or facial landmarking) is an important task in many face related applications, ranging from registration, tracking and animation to higher level classification problems such as face, expression or attribute recognition. While several solutions have been presented in the literature for this task so far, reliably locating salient facial features across a wide range of posses still remains challenging. To address this issue, we propose in this paper a novel method for automatic facial landmark localization in 3D face data designed specifically to address appearance variability caused by significant pose variations. Our method builds on recent cascaded regression based methods to facial landmarking and uses a gating mechanism to incorporate multiple linear cascaded regression models each trained for a limited range of poses into a single powerful landmarking model capable of processing arbitrary posed input data. We develop two distinct approaches around the proposed gating mechanism i) the first uses a gated multiple ridge descent (GRID) mechanism in conjunction with established (hand crafted) HOG features for face alignment and achieves state of the art landmarking performance across a wide range of facial poses, ii) the second simultaneously learns multiple descent directions as well as binary features (SMUF) that are optimal for the alignment tasks and in addition to competitive landmarking results also ensures extremely rapid processing. We evaluate both approaches in rigorous experiments on several popular datasets of 3D face images, i.e., the FRGCv2 and Bosphorus 3D Face datasets and image collections F and G from the University of Notre Dame. The results of our evaluation show that both approaches are competitive in comparison to the state of the art, while exhibiting considerable robustness to pose variations.


A basis set error correction based on density functional theory for strongly correlated molecular systems. We extend to strongly correlated molecular systems the recently introduced basis set incompleteness correction based on density functional theory (DFT) E. Giner et al., J. Chem. Phys. 149, 194301 (2018) . This basis set correction relies on a mapping between wave function calculations in a finite basis set and range separated DFT (RSDFT) through the definition of an effective non divergent interaction corresponding to the electron electron Coulomb interaction projected in the finite basis set. This enables the use of RSDFT type complementary density functionals to recover the dominant part of the short range correlation effects missing in this finite basis set. To study both weak and strong correlation regimes we consider the potential energy curves of the H10, N2, O2, and F2 molecules up to the dissociation limit, and we explore various approximations of complementary functionals fulfilling two key properties spin multiplet degeneracy (i.e., independence of the energy with respect to the spin projection Sz) and size consistency. Specifically, we investigate the dependence of the functional on different types of on top pair densities and spin polarizations. The key result of this study is that the explicit dependence on the on top pair density allows one to completely remove the dependence on any form of spin polarization without any significant loss of accuracy. Quantitatively, we show that the basis set correction reaches chemical accuracy on atomization energies with triple zeta quality basis sets for most of the systems studied here. Also, the present basis set incompleteness correction provides smooth potential energy curves along the whole range of internuclear distances.


Mining International Political Norms from the GDELT Database. Researchers have long been interested in the role that norms can play in governing agent actions in multi agent systems. Much work has been done on formalising normative concepts from human society and adapting them for the government of open software systems, and on the simulation of normative processes in human and artificial societies. However, there has been comparatively little work on applying normative MAS mechanisms to understanding the norms in human society. This work investigates this issue in the context of international politics. Using the GDELT dataset, containing machine encoded records of international events extracted from news reports, we extracted bilateral sequences of inter country events and applied a Bayesian norm mining mechanism to identify norms that best explained the observed behaviour. A statistical evaluation showed that the normative model fitted the data significantly better than a probabilistic discrete event model.


AliMe KBQA Question Answering over Structured Knowledge for E commerce Customer Service. With the rise of knowledge graph (KG), question answering over knowledge base (KBQA) has attracted increasing attention in recent years. Despite much research has been conducted on this topic, it is still challenging to apply KBQA technology in industry because business knowledge and real world questions can be rather complicated. In this paper, we present AliMe KBQA, a bold attempt to apply KBQA in the E commerce customer service field. To handle real knowledge and questions, we extend the classic "subject predicate object (SPO)" structure with property hierarchy, key value structure and compound value type (CVT), and enhance traditional KBQA with constraints recognition and reasoning ability. We launch AliMe KBQA in the Marketing Promotion scenario for merchants during the "Double 11" period in 2018 and other such promotional events afterwards. Online results suggest that AliMe KBQA is not only able to gain better resolution and improve customer satisfaction, but also becomes the preferred knowledge management method by business knowledge staffs since it offers a more convenient and efficient management experience.


Users' traffic on two sided Internet platforms. Qualitative dynamics. Internet platforms' traffic defines important characteristics of platforms, such as pricing of services, advertisements, speed of operations. One can estimate the traffic with the traditional time series models like ARIMA, Holt Winters, functional and kernel regressions. When using these methods, we usually smooth out noise and various external effects in the data and obtain short term predictions of processes. However, these models do not necessarily help us to understand the underlying mechanism and the tendencies of the processes. In this article, we discuss the dynamical system approach to the modeling, which is designed to discover the underlying mechanism and the qualitative properties of the system's phase portrait. We show how to reconstruct the governing differential equations from data. The external effects are modeled as system's parameters (initial conditions). Utilizing this new approach, we construct the models for the volume of users, interacting through Internet platforms, such as "Amazon.com", "Homes.mil" or "Wikipedia.org". Then, we perform qualitative analysis of the system's phase portrait and discuss the main characteristics of the platforms.


Investigation on the Initial System Angle of a Torsion Springs using Cad. Helical torsion springs with tangential legs are used for many applications from simple everyday use systems, like clothes peg, to advanced systems, as sectional doors. Torsion springs are usually exploited with an inner rod as a guide. The required space between the spring and the rod make the spring tilted. Unfortunately, as far as we are aware, no industrial software is able to determine the initial system angle made by the spring in its tilted position. All the torque angle curves are presented with relative angles. It means that whatever the number of coils considered, the angle is null when the torque is null. For that reason, we have developed a methodology using both CATIA and ABAQUS to determine the system angle at the beginning of the behavior. The model exploits wires designed with CATIA and imported in ABAQUS for the center rod, the torsion spring and the rods of the system to apply the torque. Several options to model contact between the several parts have been investigated. They mostly use connector with an axial property and a stop criterion. The obtained results are very interesting and enable to plan further studies.


A Stability Theorem for Maximal C 2k 1 free Graphs. For any positive integer k , we show that every maximal C 2k 1 free graph with at least n 2 4 o(n 3 2 ) edges contains an induced complete bipartite subgraph on (1 o(1))n vertices. We also show that this is best possible.


Adiabatic and non adiabatic evolution of wave packets and applications to initial value representations. We review some recent results obtained for the time evolution of wave packets for systems of equations of pseudo differential type, including Schr "o dinger ones, and discuss their application to the approximation of the associated unitary propagator. We start with scalar equations, propagation of coherent states, and applications to the Herman Kluk approximation. Then we discuss the extension of these results to systems with eigenvalues of constant multiplicity or with smooth crossings.


Natural Language Generation at Scale A Case Study for Open Domain Question Answering. Current approaches to Natural Language Generation (NLG) for dialog mainly focus on domain specific, task oriented applications (e.g. restaurant booking) using limited ontologies (up to 20 slot types), usually without considering the previous conversation context. Furthermore, these approaches require large amounts of data for each domain, and do not benefit from examples that may be available for other domains. This work explores the feasibility of applying statistical NLG to scenarios requiring larger ontologies, such as multi domain dialog applications or open domain question answering (QA) based on knowledge graphs. We model NLG through an Encoder Decoder framework using a large dataset of interactions between real world users and a conversational agent for open domain QA. First, we investigate the impact of increasing the number of slot types on the generation quality and experiment with different partitions of the QA data with progressively larger ontologies (up to 369 slot types). Second, we perform multi task learning experiments between open domain QA and task oriented dialog, and benchmark our model on a popular NLG dataset. Moreover, we experiment with using the conversational context as an additional input to improve response generation quality. Our experiments show the feasibility of learning statistical NLG models for open domain QA with larger ontologies.


A direct approach to the analytic Bergman projection. We develop a direct approach to the semiclassical asymptotics for Bergman projections in exponentially weighted spaces of holomorphic functions, with real analytic strictly plurisubharmonic weights. In particular, the approach does not rely upon the Kuranishi trick and it allows us to shorten and simplify proofs of a result due to Rouby Sj "ostrand V u Ngoc and Deleporte, stating that in the analytic case, the amplitude of the asymptotic Bergman projection is a realization of a classical analytic symbol.


Human biases in body measurement estimation. Body measurements, including weight and height, are key indicators of health. Being able to visually assess body measurements reliably is a step towards increased awareness of overweight and obesity and is thus important for public health. Nevertheless it is currently not well understood how accurately humans can assess weight and height from images, and when and how they fail. To bridge this gap, we start from 1,682 images of persons collected from the Web, each annotated with the true weight and height, and ask crowd workers to estimate the weight and height for each image. We conduct a faceted analysis taking into account characteristics of the images as well as the crowd workers assessing the images, revealing several novel findings (1) Even after aggregation, the crowd's accuracy is overall low. (2) We find strong evidence of contraction bias toward a reference value, such that the weight (height) of light (short) people is overestimated, whereas that of heavy (tall) people is underestimated. (3) We estimate workers' individual reference values using a Bayesian model, finding that reference values strongly correlate with workers' own height and weight, indicating that workers are better at estimating people similar to themselves. (4) The weight of tall people is underestimated more than that of short people yet, knowing the height decreases the weight error only mildly. (5) Accuracy is higher on images of females than of males, but female and male workers are no different in terms of accuracy. (6) Crowd workers improve over time if given feedback on previous guesses. Finally, we explore various bias correction models for improving the crowd's accuracy, but find that this only leads to modest gains. Overall, this work provides important insights on biases in body measurement estimation as obesity related conditions are on the rise.


Zeta Functions and the (Linear) Logic of Markov Processes. In a series of papers, the author introduced models of linear logic known as "Interaction Graphs". These models generalise Girard's various geometry of interaction constructions, providing a unifying framework for those. In this work, we exhibit how these models can be understood mathematically through a cocycle property satisfied by zeta functions of dynamical systems. Focussing on probabilistic models, we then explain how the notion of graphings used in the models captures a natural class of Markov processes. We further extend previous constructions to provide a model of second order linear logic as a type system over the set of all (discrete time) sub Markov processes.


Dimension Reduction based Signal Compression for Uplink Distributed MIMO C RAN with Limited Fronthaul Capacity. This paper proposes a dimension reduction based signal compression scheme for uplink distributed MIMO cloud radio access networks (C RAN) with an overall excess of receive antennas, in which users are jointly served by distributed multi antenna receivers connected to a central processor via individual finite capacity fronthaul links. We first show that, under quantization noise limited operation, applying linear dimension reduction at each receiver before compressing locally with a uniform quantization noise level results in a sum capacity that scales approximately linearly with fronthaul capacity, and can come within a fixed gap of the cut set bound. The dimension reduction filters that maximize joint mutual information are then shown to be truncated forms of the conditional Karhunen Loeve transform, with a block coordinate ascent algorithm for finding a stationary point given. Analysis and numerical results indicate that the signal dimension can be reduced without significant loss of information, particularly at high signal to noise ratio, preserving the benefits of using excess antennas. The method is then adapted for the case of imperfect channel state information at the receivers. The scheme significantly outperforms conventional local signal compression at all fronthaul rates, and with complexity linear in network size represents a scalable solution for distributed MIMO C RAN systems.


A Greedy Method for Solving Classes of PDE Problems. Motivated by the successful use of greedy algorithms for Reduced Basis Methods, a greedy method is proposed that selects N input data in an asymptotically optimal way to solve well posed operator equations using these N data. The operator equations are defined as infinitely many equations given via a compact set of functionals in the dual of an underlying Hilbert space, and then the greedy algorithm, defined directly in the dual Hilbert space, selects N functionals step by step. When N functionals are selected, the operator equation is numerically solved by projection onto the span of the Riesz representers of the functionals. Orthonormalizing these yields useful Reduced Basis functions. By recent results on greedy methods in Hilbert spaces, the convergence rate is asymptotically given by Kolmogoroff N widths and therefore optimal in that sense. However, these N widths seem to be unknown in PDE applications. Numerical experiments show that for solving elliptic second order Dirichlet problems, the greedy method of this paper behaves like the known P greedy method for interpolation, applied to second derivatives. Since the latter technique is known to realize Kolmogoroff N widths for interpolation, it is hypothesized that the Kolmogoroff N widths for solving second order PDEs behave like the Kolmogoroff N widths for second derivatives, but this is an open theoretical problem.


On the improvement of the in place merge algorithm parallelization. In this paper, we present several improvements in the parallelization of the in place merge algorithm, which merges two contiguous sorted arrays into one with an O(T) space complexity (where T is the number of threads). The approach divides the two arrays into as many pairs of partitions as there are threads available such that each thread can later merge a pair of partitions independently of the others. We extend the existing method by proposing a new algorithm to find the median of two partitions. Additionally, we provide a new strategy to divide the input arrays where we minimize the data movement, but at the cost of making this stage sequential. Finally, we provide the so called linear shifting algorithm that swaps two partitions in place with contiguous data access. We emphasize that our approach is straightforward to implement and that it can also be used for external (out of place) merging. The results demonstrate that it provides a significant speedup compared to sequential executions, when the size of the arrays is greater than a thousand elements.


Understanding Points of Correspondence between Sentences for Abstractive Summarization. Fusing sentences containing disparate content is a remarkable human ability that helps create informative and succinct summaries. Such a simple task for humans has remained challenging for modern abstractive summarizers, substantially restricting their applicability in real world scenarios. In this paper, we present an investigation into fusing sentences drawn from a document by introducing the notion of points of correspondence, which are cohesive devices that tie any two sentences together into a coherent text. The types of points of correspondence are delineated by text cohesion theory, covering pronominal and nominal referencing, repetition and beyond. We create a dataset containing the documents, source and fusion sentences, and human annotations of points of correspondence between sentences. Our dataset bridges the gap between coreference resolution and summarization. It is publicly shared to serve as a basis for future work to measure the success of sentence fusion systems. (https github.com ucfnlp points of correspondence)


Repo convexity. There is an observed basis between repo discounting, implied from market repo rates, and bond discounting, stripped from the market prices of the underlying bonds. Here, this basis is explained as a convexity effect arising from the decorrelation between the discount rates for derivatives and bonds. Using a Hull White model for the discount basis, expressions are derived that can be used to interpolate the repo rates of bonds with different maturities and to extrapolate the repo curve for discounting bond collateralised derivatives.


Gerstenhaber brackets on Hochschild cohomology of general twisted tensor products. We present techniques for computing Gerstenhaber brackets on Hochschild cohomology of general twisted tensor product algebras. These techniques involve twisted tensor product resolutions and are based on recent results on Gerstenhaber brackets expressed on arbitrary bimodule resolutions.


How to Investigate the Historical Roots and Evolution of Research Fields in China? A Case Study on iMetrics Using RootCite. This paper aimed to provide an approach to investigate the historical roots and evolution of research fields in China by extending the reference publication year spectroscopy (RPYS). RootCite, an open source software accepts raw data from both the Web of Science and the China Social Science Citation Index (CSSCI), was developed using python. We took iMetrics in China as the research case. 5,141 Chinese iMetrics related publications with 73,376 non distinct cited references (CR) collected from the CSSCI were analyzed using RootCite. The results showed that the first CR in the field can be dated back to 1882 and written in English but the majority (64.2 ) of the CR in the field were Chinese publications. 17 peaks referring to 18 seminal works (13 in English and 5 in Chinese) were located during the period from 1900 to 2017. The field shared the same roots with that in the English world but has its own characteristics, and it was then shaped by contributions from both the English world and China. The five Chinese works have played irreplaceable and positive roles in the historical evolutionary path of the field, which should not be ignored, especially for the evolution of the field. This research demonstrated how RootCite aided the task of identifying the origin and evolution of research fields in China, which could be valuable for extending RPYS for countries with other languages.


Studying Person Specific Pointing and Gaze Behavior for Multimodal Referencing of Outside Objects from a Moving Vehicle. Hand pointing and eye gaze have been extensively investigated in automotive applications for object selection and referencing. Despite significant advances, existing outside the vehicle referencing methods consider these modalities separately. Moreover, existing multimodal referencing methods focus on a static situation, whereas the situation in a moving vehicle is highly dynamic and subject to safety critical constraints. In this paper, we investigate the specific characteristics of each modality and the interaction between them when used in the task of referencing outside objects (e.g. buildings) from the vehicle. We furthermore explore person specific differences in this interaction by analyzing individuals' performance for pointing and gaze patterns, along with their effect on the driving task. Our statistical analysis shows significant differences in individual behaviour based on object's location (i.e. driver's right side vs. left side), object's surroundings, driving mode (i.e. autonomous vs. normal driving) as well as pointing and gaze duration, laying the foundation for a user adaptive approach.


Leveraging WiFi Network Logs to Infer Student Collocation and its Relationship with Academic Performance. A comprehensive understanding of collocation can help understand performance outcomes. For university cohorts, this needs data that describes large groups over a long period. Harnessing user devices to infer this, while tempting, is challenged by privacy concerns, power consumption, and maintenance issues. Alternatively, embedding new sensors in the environment is limited by the expense of covering the entire campus. We investigate the feasibility of leveraging WiFi association logs for this purpose. While these provide coarse approximations of location, these are easily obtainable and depict multiple users on campus over a semester. We explore how these coarse collocations are related to individual performance. Specifically, we inspect the association between individual performance and the collocation behaviors of project group members. We study 163 students (in 54 project groups) over 14 weeks. After describing how we determine collocation with the WiFi logs, we present a study to analyze how collocation within groups relates to a student's final score. We find collocation behaviors show a significant correlation (Pearson's r 0.24) with performance better than both peer feedback or individual behaviors like attendance. Finally, we discuss how repurposing WiFi logs can facilitate applications for domains like mental wellbeing and physical health.


Learning Emotional Blinded Face Representations. We propose two face representations that are blind to facial expressions associated to emotional responses. This work is in part motivated by new international regulations for personal data protection, which enforce data controllers to protect any kind of sensitive information involved in automatic processes. The advances in Affective Computing have contributed to improve human machine interfaces but, at the same time, the capacity to monitorize emotional responses triggers potential risks for humans, both in terms of fairness and privacy. We propose two different methods to learn these expression blinded facial features. We show that it is possible to eliminate information related to emotion recognition tasks, while the performance of subject verification, gender recognition, and ethnicity classification are just slightly affected. We also present an application to train fairer classifiers in a case study of attractiveness classification with respect to a protected facial expression attribute. The results demonstrate that it is possible to reduce emotional information in the face representation while retaining competitive performance in other face based artificial intelligence tasks.


Impact of Semantic Granularity on Geographic Information Search Support. The Information Retrieval research has used semantics to provide accurate search results, but the analysis of conceptual abstraction has mainly focused on information integration. We consider session based query expansion in Geographical Information Retrieval, and investigate the impact of semantic granularity (i.e., specificity of concepts representation) on the suggestion of relevant types of information to search for. We study how different levels of detail in knowledge representation influence the capability of guiding the user in the exploration of a complex information space. A comparative analysis of the performance of a query expansion model, using three spatial ontologies defined at different semantic granularity levels, reveals that a fine grained representation enhances recall. However, precision depends on how closely the ontologies match the way people conceptualize and verbally describe the geographic space.


Improving Machine Reading Comprehension via Adversarial Training. Adversarial training (AT) as a regularization method has proved its effectiveness in various tasks, such as image classification and text classification. Though there are successful applications of AT in many tasks of natural language processing (NLP), the mechanism behind it is still unclear. In this paper, we aim to apply AT on machine reading comprehension (MRC) and study its effects from multiple perspectives. We experiment with three different kinds of RC tasks span based RC, span based RC with unanswerable questions and multi choice RC. The experimental results show that the proposed method can improve the performance significantly and universally on SQuAD1.1, SQuAD2.0 and RACE. With virtual adversarial training (VAT), we explore the possibility of improving the RC models with semi supervised learning and prove that examples from a different task are also beneficial. We also find that AT helps little in defending against artificial adversarial examples, but AT helps the model to learn better on examples that contain more low frequency words.


Executable formal semantics for the POSIX shell. The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert's control panel, a necessary tool for configuring, compiling, installing, maintaining, and deploying systems. Even though it is powerful, critical infrastructure, the POSIX shell is maligned and misunderstood. Its power and its subtlety are a dangerous combination. We define a formal, mechanized, executable small step semantics for the POSIX shell, which we call Smoosh. We compared Smoosh against seven other shells that aim for some measure of POSIX compliance (bash, dash, zsh, OSH, mksh, ksh93, and yash). Using three test suites the POSIX test suite, the Modernish test suite and shell diagnosis, and a test suite of our own device we found Smoosh's semantics to be the most conformant to the POSIX standard. Modernish judges Smoosh to have the fewest bugs (just one, from using dash's parser) and no quirks. To show that our semantics is useful beyond yielding a conformant, executable shell, we also implemented a symbolic stepper to illuminate the subtle behavior of the shell. Smoosh will serve as a foundation for formal study of the POSIX shell, supporting research on and development of new shells, new tooling for shells, and new shell designs.


Deep High Resolution Representation Learning for Visual Recognition. High resolution representations are essential for position sensitive vision problems, such as human pose estimation, semantic segmentation, and object detection. Existing state of the art frameworks first encode the input image as a low resolution representation through a subnetwork that is formed by connecting high to low resolution convolutions emph in series (e.g., ResNet, VGGNet), and then recover the high resolution representation from the encoded low resolution representation. Instead, our proposed network, named as High Resolution Network (HRNet), maintains high resolution representations through the whole process. There are two key characteristics (i) Connect the high to low resolution convolution streams emph in parallel (ii) Repeatedly exchange the information across resolutions. The benefit is that the resulting representation is semantically richer and spatially more precise. We show the superiority of the proposed HRNet in a wide range of applications, including human pose estimation, semantic segmentation, and object detection, suggesting that the HRNet is a stronger backbone for computer vision problems. All the codes are available at url https github.com HRNet .


A greedy algorithm for computing eigenvalues of a symmetric matrix. We present a greedy algorithm for computing selected eigenpairs of a large sparse matrix H that can exploit localization features of the eigenvector. When the eigenvector to be computed is localized, meaning only a small number of its components have large magnitudes, the proposed algorithm identifies the location of these components in a greedy manner, and obtains approximations to the desired eigenpairs of H by computing eigenpairs of a submatrix extracted from the corresponding rows and columns of H . Even when the eigenvector is not completely localized, the approximate eigenvectors obtained by the greedy algorithm can be used as good starting guesses to accelerate the convergence of an iterative eigensolver applied to H . We discuss a few possibilities for selecting important rows and columns of H and techniques for constructing good initial guesses for an iterative eigensolver using the approximate eigenvectors returned from the greedy algorithm. We demonstrate the effectiveness of this approach with examples from nuclear quantum many body calculations, many body localization studies of quantum spin chains and road network analysis.


Meta Consolidation for Continual Learning. The ability to continuously learn and adapt itself to new tasks, without losing grasp of already acquired knowledge is a hallmark of biological learning systems, which current deep learning systems fall short of. In this work, we present a novel methodology for continual learning called MERLIN Meta Consolidation for Continual Learning. We assume that weights of a neural network boldsymbol psi , for solving task boldsymbol t , come from a meta distribution p( boldsymbol psi t ) . This meta distribution is learned and consolidated incrementally. We operate in the challenging online continual learning setting, where a data point is seen by the model only once. Our experiments with continual learning benchmarks of MNIST, CIFAR 10, CIFAR 100 and Mini ImageNet datasets show consistent improvement over five baselines, including a recent state of the art, corroborating the promise of MERLIN.


Image Captioning using Facial Expression and Attention. Benefiting from advances in machine vision and natural language processing techniques, current image captioning systems are able to generate detailed visual descriptions. For the most part, these descriptions represent an objective characterisation of the image, although some models do incorporate subjective aspects related to the observer's view of the image, such as sentiment current models, however, usually do not consider the emotional content of images during the caption generation process. This paper addresses this issue by proposing novel image captioning models which use facial expression features to generate image captions. The models generate image captions using long short term memory networks applying facial features in addition to other visual features at different time steps. We compare a comprehensive collection of image captioning models with and without facial features using all standard evaluation metrics. The evaluation metrics indicate that applying facial features with an attention mechanism achieves the best performance, showing more expressive and more correlated image captions, on an image caption dataset extracted from the standard Flickr 30K dataset, consisting of around 11K images containing faces. An analysis of the generated captions finds that, perhaps unexpectedly, the improvement in caption quality appears to come not from the addition of adjectives linked to emotional aspects of the images, but from more variety in the actions described in the captions.


Tackling Morpion Solitaire with AlphaZero likeRanked Reward Reinforcement Learning. Morpion Solitaire is a popular single player game, performed with paper and pencil. Due to its large state space (on the order of the game of Go) traditional search algorithms, such as MCTS, have not been able to find good solutions. A later algorithm, Nested Rollout Policy Adaptation, was able to find a new record of 82 steps, albeit with large computational resources. After achieving this record, to the best of our knowledge, there has been no further progress reported, for about a decade. In this paper we take the recent impressive performance of deep self learning reinforcement learning approaches from AlphaGo AlphaZero as inspiration to design a searcher for Morpion Solitaire. A challenge of Morpion Solitaire is that the state space is sparse, there are few win loss signals. Instead, we use an approach known as ranked reward to create a reinforcement learning self play framework for Morpion Solitaire. This enables us to find medium quality solutions with reasonable computational effort. Our record is a 67 steps solution, which is very close to the human best (68) without any other adaptation to the problem than using ranked reward. We list many further avenues for potential improvement.


Dynamics and Control of Covid 19 Comments by Two Mathematicians. We are asking why are the dynamics and control of Covid 19 most interesting for mathematicians and why are mathematicians urgently needed for controlling the pandemic? First we present our comments in a Bottom up approach, i.e., following the events from their beginning as they evolved through time. They happened differently in different countries, and the main objective of the first part is to compare these evolutions in a few selected countries with each other. The second part of the article is not "country oriented" but "problem oriented". From a given problem we go Top down to its solutions and their applications in concrete situations. We have organized this part by the mathematical methods that play a role in their solution. We give an overview of the main branches of mathematics that play a role and sketch the most frequent applications, emphasising mathematical pattern analysis in laboratory work and statistical mathematical models in judging the quality of tests demographic methods in the collection of data different ways to model the evolution of the pandemic mathematically and clinical epidemiology in attempts to develop a vaccine.


Crowdsourced Peer Learning Activity for Internet of Things Education A Case Study. Computing devices such as laptops, tablets and mobile phones have become part of our daily lives. End users increasingly know more and more information about these devices. Further, more technically savvy end users know how such devices are being built and know how to choose one over the others. However, we cannot say the same about the Internet of Things (IoT) products. Due to its infancy nature of the marketplace, end users have very little idea about IoT products. To address this issue, we developed a method, a crowdsourced peer learning activity, supported by an online platform (OLYMPUS) to enable a group of learners to learn IoT products space better. We conducted two different user studies to validate that our tool enables better IoT education. Our method guide learners to think more deeply about IoT products and their design decisions. The learning platform we developed is open source and available for the community.


A new class of non injective polynomial local diffeomorphisms on the plane. In this short note we provide the example with the lowest degree known so far of a non injective local polynomial diffeomorphism F (p,q) mathbb R 2 to mathbb R 2 . In our example p has degree 10 and q has degree 15 , rather than 10 and 25 , respectively, known up to now as the smallest degrees for the coordinates of F . Our construction was based on S. Pinchuk celebrated counterexample to the real Jacobian conjecture.


Language Features Matter Effective Language Representations for Vision Language Tasks. Shouldn't language and vision features be treated equally in vision language (VL) tasks? Many VL approaches treat the language component as an afterthought, using simple language models that are either built upon fixed word embeddings trained on text only data or are learned from scratch. We believe that language features deserve more attention, and conduct experiments which compare different word embeddings, language models, and embedding augmentation steps on five common VL tasks image sentence retrieval, image captioning, visual question answering, phrase grounding, and text to clip retrieval. Our experiments provide some striking results an average embedding language model outperforms an LSTM on retrieval style tasks state of the art representations such as BERT perform relatively poorly on vision language tasks. From this comprehensive set of experiments we propose a set of best practices for incorporating the language component of VL tasks. To further elevate language features, we also show that knowledge in vision language problems can be transferred across tasks to gain performance with multi task training. This multi task training is applied to a new Graph Oriented Vision Language Embedding (GrOVLE), which we adapt from Word2Vec using WordNet and an original visual language graph built from Visual Genome, providing a ready to use vision language embedding http ai.bu.edu grovle.


Inverse Dynamics Control of Compliant Hybrid Zero Dynamic Walking. We present a trajectory planning and control architecture for bipedal locomotion at a variety of speeds on a highly underactuated and compliant bipedal robot. A library of compliant walking trajectories are planned offline, and stored as compact arrays of polynomial coefficients for tracking online. The control implementation uses a floating base inverse dynamics controller which generates dynamically consistent feedforward torques to realize walking using information obtained from the trajectory optimization. The effectiveness of the controller is demonstrated in simulation and on hardware for walking both indoors on flat terrain and over unplanned disturbances outdoors. Additionally, both the controller and optimization source code are made available on GitHub.


Wide range screening of algorithmic bias in word embedding models using large sentiment lexicons reveals underreported bias types. This work describes a large scale analysis of sentiment associations in popular word embedding models along the lines of gender and ethnicity but also along the less frequently studied dimensions of socioeconomic status, age, sexual orientation, religious sentiment and political leanings. Consistent with previous scholarly literature, this work has found systemic bias against given names popular among African Americans in most embedding models examined. Gender bias in embedding models however appears to be multifaceted and often reversed in polarity to what has been regularly reported. Interestingly, using the common operationalization of the term bias in the fairness literature, novel types of so far unreported bias types in word embedding models have also been identified. Specifically, the popular embedding models analyzed here display negative biases against middle and working class socioeconomic status, male children, senior citizens, plain physical appearance, Islamic religious faith, non religiosity and conservative political orientation. Reasons for the paradoxical underreporting of these bias types in the relevant literature are probably manifold but widely held blind spots when searching for algorithmic bias and a lack of widespread technical jargon to unambiguously describe a variety of algorithmic associations could conceivably be playing a role. The causal origins for the multiplicity of loaded associations attached to distinct demographic groups within embedding models are often unclear but the heterogeneity of said associations and their potential multifactorial roots raises doubts about the validity of grouping them all under the umbrella term bias. Richer and more fine grained terminology as well as a more comprehensive exploration of the bias landscape could help the fairness epistemic community to characterize and neutralize algorithmic discrimination more efficiently.


MPC Protocol for G module and its Application in Secure Compare and ReLU. Secure comparison and secure selection are two fundamental MPC (secure Multi Party Computation) protocols. One important application of these protocols is the secure ReLU and DReLU computation in privacy preserving deep learning. In this paper, we introduce G module, a mathematics tool, to re design such protocols. In mathematics, given a group G, a G module is an abelian group M on which G acts compatibly with the abelian group structure on M. We design three secure protocols for three G module operations. i.e. "G module action", "Cross G module action" and "G module recover". As far as we know, this is the first work on secure G module operations. Based on them, we design secure comparison, selection, ReLU and DReLU protocols, which improve communication efficiency by 2X to 10X compared with state of arts. Our protocols are very computation efficient too. They do not require public key operations or any other expensive operations.


BlazeFace Sub millisecond Neural Face Detection on Mobile GPUs. We present BlazeFace, a lightweight and well performing face detector tailored for mobile GPU inference. It runs at a speed of 200 1000 FPS on flagship devices. This super realtime performance enables it to be applied to any augmented reality pipeline that requires an accurate facial region of interest as an input for task specific models, such as 2D 3D facial keypoint or geometry estimation, facial features or expression classification, and face region segmentation. Our contributions include a lightweight feature extraction network inspired by, but distinct from MobileNetV1 V2, a GPU friendly anchor scheme modified from Single Shot MultiBox Detector (SSD), and an improved tie resolution strategy alternative to non maximum suppression.


Some Generalizations of Jensen's Inequality. In this article we give some improvements and generalizations of the famous Jensen's and Jensen Mercer inequalities for twice differentiable functions, where convexity property of the target function is not assumed in advance. They represents a refinement of these inequalities in the case of convex concave functions with numerous applications in Theory of Means and Probability and Statistics.


Relativization of Gurevich's Conjectures. Gurevich (1988) conjectured that there is no logic for textsf P or for textsf NP cap textsf coNP . For the latter complexity class, he also showed that the existence of a logic would imply that textsf NP cap textsf coNP has a complete problem under polynomial time reductions. We show that there is an oracle with respect to which textsf P does have a logic and textsf P ne textsf NP . We also show that a logic for textsf NP cap textsf coNP follows from the existence of a complete problem and a further assumption about canonical labelling. For intersection classes Sigma p n cap Pi p n higher in the polynomial hierarchy, the existence of a logic is equivalent to the existence of complete problems.


Overcoming the dephasing limit in multiple pulse laser wakefield acceleration. The electric field in laser driven plasma wakefield acceleration is orders of magnitude higher than conventional radio frequency cavities, but the energy gain is limited by dephasing between the ultra relativistic electron bunch and the wakefield, which travels at the laser group velocity. We present a way to overcome this limit within a single plasma stage. The amplitude of the wakefield behind a train of laser pulses can be controlled in flight by modulating the density profile. This creates a succession of resonant laser plasma accelerator sections and non resonant drift sections, within which the wakefield disappears and the electrons rephase. A two dimensional particle in cell simulation with four 2.5TW laser pulses produces a 50MeV electron energy gain, four times that obtained from a uniform plasma. Although laser red shift prevents operation in the blowout regime, the technique offers increased energy gain for accelerators limited to the linear regime by the available laser power. This is particularly relevant for laser plasma x ray sources capable of operating at high repetition rates, which are highly sought after.


Degenerate Affine Flag Varieties and Quiver Grassmannians. We study finite dimensional approximations to degenerate versions of affine flag varieties using quiver Grassmannians for cyclic quivers. We prove that they admit cellular decompositions parametrized by affine Dellac configurations, and that their irreducible components are normal Cohen Macaulay varieties with rational singularities.


Non reciprocal Wave Phenomena in Energy Self reliant Gyric Metamaterials. This work presents a mechanism by which non reciprocal wave transmission is achieved in a class of gyric metamaterial lattices with embedded rotating elements. A modulation of the device's angular momentum is obtained via prescribed rotations of a set of locally housed spinning motors and are then used to induce space periodic, time periodic, as well as space time periodic variations which influence wave propagation in distinct ways. Owing to their dependence on gyroscopic effects, such systems are able to break reciprocal wave symmetry without stiffness perturbations rendering them consistently stable as well as energy self reliant. Dispersion patterns, band gap emergence, as well as non reciprocal wave transmission in the space time periodic gyric metamaterials are predicted both analytically from the gyroscopic system dynamics as well as numerically via time transient simulations. In addition to breaking reciprocity, we show that the energy content of a frictionless gyric metamaterial is conserved over one temporal modulation cycle enabling it to exhibit a stable response irrespective of the pumping frequency.


Sz( cdot) leqslant omega xi is rarely a three space property. We prove that for any non zero, countable ordinal xi which is not additively indecomposable, the property of having Szlenk index not exceeding omega xi is not a three space property. This complements a result of Brooker and Lancien, which states that if xi is additively indecomposable, then having Szlenk index not exceeding omega xi is a three space property.


MMTM Multimodal Transfer Module for CNN Fusion. In late fusion, each modality is processed in a separate unimodal Convolutional Neural Network (CNN) stream and the scores of each modality are fused at the end. Due to its simplicity late fusion is still the predominant approach in many state of the art multimodal applications. In this paper, we present a simple neural network module for leveraging the knowledge from multiple modalities in convolutional neural networks. The propose unit, named Multimodal Transfer Module (MMTM), can be added at different levels of the feature hierarchy, enabling slow modality fusion. Using squeeze and excitation operations, MMTM utilizes the knowledge of multiple modalities to recalibrate the channel wise features in each CNN stream. Despite other intermediate fusion methods, the proposed module could be used for feature modality fusion in convolution layers with different spatial dimensions. Another advantage of the proposed method is that it could be added among unimodal branches with minimum changes in the their network architectures, allowing each branch to be initialized with existing pretrained weights. Experimental results show that our framework improves the recognition accuracy of well known multimodal networks. We demonstrate state of the art or competitive performance on four datasets that span the task domains of dynamic hand gesture recognition, speech enhancement, and action recognition with RGB and body joints.


Data Driven Optimization Approach for Inverse Problems Application to Turbulent Mixed Convection Flows. Optimal control of turbulent mixed convection flows has attracted considerable attention from researchers. Numerical algorithms such as Genetic Algorithms (GAs) are powerful tools that allow to perform global optimization. These algorithms are particularly of great interest in complex optimization problems where cost functionals may lack smoothness and regularity. In turbulent flow optimization, the hybridization of GA with high fidelity Computational Fluid Dynamics (CFD) is extremely demanding in terms of computational time and memory storage. Thus, alternative approaches aiming to alleviate these requirements are of great interest. Nowadays, data driven approaches gained attention due to their potential in predicting flow solutions based only on preexisting data. In the present paper, we propose a near real time data driven genetic algorithm (DDGA) for inverse parameter identification problems involving turbulent flows. In this optimization framework, the parametrized flow data are used in their reduced form obtained by the POD (Proper Orthogonal Decomposition) and solutions prediction is made by interpolating the temporal and the spatial POD subspaces through a recently developed Riemannian barycentric interpolation. The validation of the proposed optimization approach is carried out in the parameter identification problem of the turbulent mixed convection flow in a cavity. The objective is to determine the inflow temperature and inflow velocity corresponding to a given temperature distribution in a restricted area of the spatial domain. The results show that the proposed genetic programming optimization framework is able to deliver good approximations of the optimal solutions within less than two minutes.


Quantum Projective Planes Finite over their Centers. For a 3 dimensional quantum polynomial algebra A mathcal A (E, sigma) , Artin Tate Van den Bergh showed that A is finite over its center if and only if sigma infty . Moreover, Artin showed that if A is finite over its center and E neq mathbb P 2 , then A has a fat point module, which plays an important role in noncommutative algebraic geometry, however the converse is not true in general. In this paper, we will show that, if E neq mathbb P 2 , then A has a fat point module if and only if the quantum projective plane mathsf Proj rm nc A is finite over its center in the sense of this paper if and only if nu sigma 3 infty where nu is the Nakayama automorphism of A .In particular, we will show that if the second Hessian of E is zero, then A has no fat point module.


The global extended rational Arnoldi method for matrix function approximation. The numerical computation of matrix functions such as f(A)V , where A is an n times n large and sparse square matrix, V is an n times p block with p ll n and f is a nonlinear matrix function, arises in various applications such as network analysis ( f(t) exp(t) or f(t) t 3) , machine learning (f(t) log(t)) , theory of quantum chromodynamics (f(t) t 1 2 ) , electronic structure computation, and others. In this work, we propose the use of global extended rational Arnoldi method for computing approximations of such expressions. The derived method projects the initial problem onto an global extended rational Krylov subspace mathcal RK e m(A,V) text span ( prod limits i 1 m(A s iI n) 1 V, ldots,(A s 1I n) 1 V,V ,AV, ldots,A m 1 V ) of a low dimension. An adaptive procedure for the selection of shift parameters s 1, ldots,s m is given. The proposed method is also applied to solve parameter dependent systems. Numerical examples are presented to show the performance of the global extended rational Arnoldi for these problems.


A Hierarchical Framework for Long term and Robust Deployment of Field Ground Robots in Large Scale Farming. Achieving long term autonomy of robots operating in dynamic environments such as farms remains a significant challenge. Arguably, the most demanding factors to achieve this are the on board resource constraints such as energy, planning in the presence of moving individuals such as livestock and people, and handling unknown and undulating terrain. These considerations require a robot to be adaptive in its immediate actions in order to successfully achieve long term, resource efficient and robust autonomy. To achieve this, we propose a hierarchical framework that integrates a local dynamic path planner with a longer term objective based planner and advanced motion control methods, whilst taking into consideration the dynamic responses of moving individuals within the environment. The framework is motivated by and synthesizes our recent work on energy aware mission planning, path planning in dynamic environments, and receding horizon motion control. In this paper we detail the proposed framework and outline its integration on a robotic platform. We evaluate the strategy in extensive simulated trials, traversing between objective waypoints to complete tasks such as soil sampling, weeding and recharging across a dynamic environment, demonstrating its capability to robustly adapt long term mission plans in the presence of moving individuals and obstacles for real world applications such as large scale farming.


Aligning Multilingual Word Embeddings for Cross Modal Retrieval Task. In this paper, we propose a new approach to learn multimodal multilingual embeddings for matching images and their relevant captions in two languages. We combine two existing objective functions to make images and captions close in a joint embedding space while adapting the alignment of word embeddings between existing languages in our model. We show that our approach enables better generalization, achieving state of the art performance in text to image and image to text retrieval task, and caption caption similarity task. Two multimodal multilingual datasets are used for evaluation Multi30k with German and English captions and Microsoft COCO with English and Japanese captions.


Integrating Visualization Literacy into Computer Graphics Education Using the Example of Dear Data. The amount of visual communication we are facing is rapidly increasing, and skills to process, understand, and generate visual representations are in high demand. Especially students focusing on computer graphics and visualization can benefit from a more diverse education on visual literacy, as they often have to work on graphical representations for broad masses after their graduation. Our proposed teaching approach incorporates basic design thinking principles into traditional visualization and graphics education. Our course was inspired by the book Dear Data that was the subject of a lively discussion at the closing capstone of IEEE VIS 2017. The paper outlines our 12 week teaching experiment and summarizes the results extracted from accompanying questionnaires and interviews. In particular, we provide insights into the creation process and pain points of visualization novices, discuss the observed interplay between visualization tasks and design thinking, and finally draw design implications for visual literacy education in general.


Minimal Riesz energy on balanced fractal sets. We investigate the asymptotic behavior of minimal N point Riesz s energy on fractal sets of non integer dimension, with algebraically dependent contraction ratios. For s bigger than the dimension of the set A , we prove the asymptotic behavior of the minimal N point Riesz s energy of A along explicit subsequences, but we show that the general asymptotic behavior does not exist.


A Semantic Framework for PEGs. Parsing Expression Grammars (PEGs) are a recognition based formalism which allows to describe the syntactical and the lexical elements of a language. The main difference between Context Free Grammars (CFGs) and PEGs relies on the interpretation of the choice operator while the CFGs' unordered choice e e' is interpreted as the union of the languages recognized by e and e, the PEGs' prioritized choice e e' discards e' if e succeeds. Such subtle, but important difference, changes the language recognized and yields more efficient parsing algorithms. This paper proposes a rewriting logic semantics for PEGs. We start with a rewrite theory giving meaning to the usual constructs in PEGs. Later, we show that cuts, a mechanism for controlling backtracks in PEGs, finds also a natural representation in our framework. We generalize such mechanism, allowing for both local and global cuts with a precise, unified and formal semantics. Hence, our work strives at better understanding and controlling backtracks in parsers for PEGs. The semantics we propose is executable and, besides being a parser with modest efficiency, it can be used as a playground to test different optimization ideas. More importantly, it is a mathematical tool that can be used for different analyses.


New lower bounds for partial k parallelisms. Due to the applications in network coding, subspace codes and designs have received many attentions. Suppose that k mid n and V(n,q) is an n dimensional space over the finite field mathbb F q . A k spread is a frac q n 1 q k 1 set of k dimensional subspaces of V(n,q) such that each nonzero vector is covered exactly once. A partial k parallelism in V(n,q) is a set of pairwise disjoint k spreads. As the number of k dimensional subspaces in V(n,q) is n brack k q , there are at most n 1 brack k 1 q spreads in a partial k parallelism. By studying the independence numbers of Cayley graphs associated to a special type of partial k parallelisms in V(n,q) , we obtain new lower bounds for partial k parallelisms. In particular, we show that there exist at least frac q k 1 q n 1 n 1 brack k 1 q pairwise disjoint k spreads in V(n,q) .


Enstrophy transfers in helical turbulence. In this paper we study the enstrophy transers in helical turbulence using direct numerical simulation. We observe that the helicity injection does not have significant effects on the inertial range energy and helicity spectra ( sim k 5 3 ) and fluxes (constants). We also calculate the separate contributions to enstrophy transfers via velocity to vorticity and vorticity to vorticity channels. There are four different enstrophy fluxes associated with the former channel or vorticity stretching, and one flux associated with the latter channel or vorticity advection. In the inertial range, the fluxes due to vorticity stretching are larger than that due to advection. These transfers too are insensitive to helicity injection.


Sparsifying and Down scaling Networks to Increase Robustness to Distortions. It has been shown that perfectly trained networks exhibit drastic reduction in performance when presented with distorted images. Streaming Network (STNet) is a novel architecture capable of robust classification of the distorted images while been trained on undistorted images. The distortion robustness is enabled by means of sparse input and isolated parallel streams with decoupled weights. Recent results prove STNet is robust to 20 types of noise and distortions. STNet exhibits state of the art performance for classification of low light images, while being of much smaller size when other networks. In this paper, we construct STNets by using scaled versions (number of filters in each layer is reduced by factor of n) of popular networks like VGG16, ResNet50 and MobileNetV2 as parallel streams. These new STNets are tested on several datasets. Our results indicate that more efficient (less FLOPS), new STNets exhibit higher or equal accuracy in comparison with original networks. Considering a diversity of datasets and networks used for tests, we conclude that a new type of STNets is an efficient tool for robust classification of distorted images.


Careful synchronization of partial deterministic finite automata. We approach the task of computing a carefully synchronizing word of optimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experiments demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used. We compare our results with the ones obtained by the first author for exact synchronization, which is another version of synchronization studied in the literature, and draw some theoretical conclusions.


Stochastic geodesics. We describe, in an intrinsic way and using the global chart provided by Ito's parallel transport, a generalisation of the notion of geodesic (as critical path of an energy functional) to diffusion processes on Riemannian manifolds. These stochastic processes are no longer smooth paths but they are still critical points of a regularised stochastic energy functional. We consider stochastic geodesics on compact Riemannian manifolds and also on (possibly infinite dimensional) Lie groups. Finally the question of existence of such stochastic geodesics is discussed we show how it can be approached via forward backward stochastic differential equations.


Extractive Summarization via Weighted Dissimilarity and Importance Aligned Key Iterative Algorithm. We present importance aligned key iterative algorithm for extractive summarization that is faster than conventional algorithms keeping its accuracy. The computational complexity of our algorithm is O( SNlogN ) to summarize original N sentences into final S sentences. Our algorithm maximizes the weighted dissimilarity defined by the product of importance and cosine dissimilarity so that the summary represents the document and at the same time the sentences of the summary are not similar to each other. The weighted dissimilarity is heuristically maximized by iterative greedy search and binary search to the sentences ordered by importance. We finally show a benchmark score based on summarization of customer reviews of products, which highlights the quality of our algorithm comparable to human and existing algorithms. We provide the source code of our algorithm on github https github.com qhapaq 49 imakita .


Ergodicity conditions for general Markov chains in terms of invariant finitely additive measures. We consider general Markov chains with discrete time in an arbitrary measurable (phase) space and homogeneous in time. Markov chains are defined by the classical transition function which within the framework of the operator treatment generates a conjugate pair of linear Markov operators in the Banach space of measurable bounded functions and in the Banach space of bounded finite additive measures. It is proved that the well known Doeblin condition (D) of ergodicity (quasi compactness) of the Markov chain is equivalent to the condition ( ) all finitely additive invariant measures of the Markov operator are countably additive i.e. there are no invariant purely finitely additive measures. Under some assumptions, it is proved that the conditions (D) and ( ) are also equivalent to the condition ( ) the set of invariant finitely additive measures of a Markov operator is finite dimensional. Ergodic theorems are given.


A Computational Approach to Measuring the Semantic Divergence of Cognates. Meaning is the foundation stone of intercultural communication. Languages are continuously changing, and words shift their meanings for various reasons. Semantic divergence in related languages is a key concern of historical linguistics. In this paper we investigate semantic divergence across languages by measuring the semantic similarity of cognate sets in multiple languages. The method that we propose is based on cross lingual word embeddings. In this paper we implement and evaluate our method on English and five Romance languages, but it can be extended easily to any language pair, requiring only large monolingual corpora for the involved languages and a small bilingual dictionary for the pair. This language agnostic method facilitates a quantitative analysis of cognates divergence by computing degrees of semantic similarity between cognate pairs and provides insights for identifying false friends. As a second contribution, we formulate a straightforward method for detecting false friends, and introduce the notion of "soft false friend" and "hard false friend", as well as a measure of the degree of "falseness" of a false friends pair. Additionally, we propose an algorithm that can output suggestions for correcting false friends, which could result in a very helpful tool for language learning or translation.


Silicon Vertex Tracking Detectors for the Compact Linear Collider. CLIC is a proposed linear e e collider with center of mass energies of up to 3 TeV. Its main objectives are precise top quark, Higgs boson and Beyond Standard Model physics. In addition to spatial resolutions of a few micrometers and a very low material budget, the vertex and tracking detectors also require timing capabilities with a precision of a few nanoseconds to allow suppression of beam induced background particles. Different technologies using hybrid silicon detectors are explored for the vertex detectors, such as dedicated 65 nm readout ASICs, small pitch sensors as well as bonding using anisotropic conductive films. Monolithic sensors are the current choice for the tracking detector, and a prototype using a 180 nm high resistivity CMOS process has been designed and produced, and is currently under evaluation. Different designs using a silicon on insulator process are under investigation for both vertex and tracking detector. All prototypes are tested in laboratory and beam tests, and newly developed simulation tools combining Geant4 and TCAD are used to assess and optimize their performance. This contribution gives an overview of the R D program for the CLIC vertex and tracking detectors, highlighting new results from the prototypes.


DDNet Dual path Decoder Network for Occlusion Relationship Reasoning. Occlusion relationship reasoning based on convolution neural networks consists of two subtasks occlusion boundary extraction and occlusion orientation inference. Due to the essential differences between the two subtasks in the feature expression at the higher and lower stages, it is challenging to carry on them simultaneously in one network. To address this issue, we propose a novel Dual path Decoder Network, which uniformly extracts occlusion information at higher stages and separates into two paths to recover boundary and occlusion orientation respectively in lower stages. Besides, considering the restriction of occlusion orientation presentation to occlusion orientation learning, we design a new orthogonal representation for occlusion orientation and proposed the Orthogonal Orientation Regression loss which can get rid of the unfitness between occlusion representation and learning and further prompt the occlusion orientation learning. Finally, we apply a multi scale loss together with our proposed orientation regression loss to guide the boundary and orientation path learning respectively. Experiments demonstrate that our proposed method achieves state of the art results on PIOD and BSDS ownership datasets.


Towards ML Engineering A Brief History Of TensorFlow Extended (TFX). Software Engineering, as a discipline, has matured over the past 5 decades. The modern world heavily depends on it, so the increased maturity of Software Engineering was an eventuality. Practices like testing and reliable technologies help make Software Engineering reliable enough to build industries upon. Meanwhile, Machine Learning (ML) has also grown over the past 2 decades. ML is used more and more for research, experimentation and production workloads. ML now commonly powers widely used products integral to our lives. But ML Engineering, as a discipline, has not widely matured as much as its Software Engineering ancestor. Can we take what we have learned and help the nascent field of applied ML evolve into ML Engineering the way Programming evolved into Software Engineering 1 ? In this article we will give a whirlwind tour of Sibyl 2 and TensorFlow Extended (TFX) 3 , two successive end to end (E2E) ML platforms at Alphabet. We will share the lessons learned from over a decade of applied ML built on these platforms, explain both their similarities and their differences, and expand on the shifts (both mental and technical) that helped us on our journey. In addition, we will highlight some of the capabilities of TFX that help realize several aspects of ML Engineering. We argue that in order to unlock the gains ML can bring, organizations should advance the maturity of their ML teams by investing in robust ML infrastructure and promoting ML Engineering education. We also recommend that before focusing on cutting edge ML modeling techniques, product leaders should invest more time in adopting interoperable ML platforms for their organizations. In closing, we will also share a glimpse into the future of TFX.


New atomic decompositions of Bergman spaces on bounded symmetric domains. We provide a large family of atoms for Bergman spaces on irreducible bounded symmetric domains. This vastly generalizes results by Coifman and Rochberg from 1980. The atomic decompositions are derived using the holomorphic discrete series representations for the domain, and the approach is inspired by recent advances in wavelet and coorbit theory. This approach also settles the relation between atomic decompositions for the bounded and unbounded realizations of the domain.


Laplace operators in finite energy and dissipation spaces. Recent applications of large network models to machine learning, and to neural network suggest a need for a systematic study of the general correspondence, (i) discrete vs (ii) continuous. Even if the starting point is (i), limit considerations lead to (ii), or, more precisely, to a measure theoretic framework which we make precise. Our motivation derives from graph analysis, e.g., studies of (infinite) electrical networks of resistors, but our focus will be (ii), i.e., the measure theoretic setting. In electrical networks of resistors, one considers pairs (of typically countably infinite), sets V (vertices), E (edges) a suitable subset of V times V , and prescribed positive symmetric functions c on E . A conductance function c is defined on E (edges), or on V times V , but with E as its support. From an initial triple (V, E, c) , one gets graph Laplacians, generalized Dirichlet spaces (also called energy Hilbert spaces), dipoles, relative reproducing kernel theory, dissipation spaces, reversible Markov chains, and more. Our main results include spectral theory and Green's functions for measure theoretic graph Laplace operators the theory of reproducing kernel Hilbert spaces related to Laplace operators a rigorous analysis of the Laplacian on Borel equivalence relations a new decomposition theory irreducibility criteria dynamical systems governed by endomorphisms and measurable fields orbit equivalence criteria and path space measures and induced dissipation Hilbert spaces. We consider several applications of our results to other fields such as machine learning problems, reproducing kernel Hilbert spaces, Gaussian and determinantal processes, and joinings.


Characters of pi' degree. Let G be a finite group and let pi be a set of primes. Write mathrm Irr pi' (G) for the set of irreducible characters of degree not divisible by any prime in pi . We show that if pi contains at most two prime numbers and the only element in mathrm Irr pi' (G) is the principal character, then G 1 .


Loeb Extension and Loeb Equivalence. In Keisler and Sun (2004), the authors raise several open problems on Loeb equivalences between various internal probability spaces. We provide counter examples for the first two open problems. Moreover, we reduce the third open problem to the following question Is the internal algebra generated by the union of two Loeb equivalent internal algebras a subset of the Loeb extension of any one of the internal algebra?


Non comparability with respect to the convex transform order with applications. In the literature of stochastic orders, one rarely finds results that can be considered as criteria for the non comparability of random variables. In this paper, we provide results that enable researchers to use simple tools to conclude that two random variables are not comparable with respect to the convex transform order. The criteria are applied to prove the non comparability of parallel systems with components that are either exponential, Weibull or Gamma distributed, providing a negative answer for a conjecture about comparability with respect to the convex transform order in a much broader scope than its initial statement.


Norm Inequalities for Inner Product Type Integral Transformers. In this paper, we give a detailed survey on norm inequalities for inner product type integral transformers. We first consider unitarily invariant norms and operator valued functions. We then give results on norm inequalities for inner product type integral transformers in terms of Landau inequality, Gr " uss inequality. Lastly, we explore some of the applications in quantum theory.


Invariance principles for clocks. We show an invariance principle for rescaled clocks of positive semi stable Markov processes, proving a conjecture presented in Remark 4 in Demni, Rouault, Zani 11 , 2015.


Connected Subgraph Defense Games. We study a security game over a network played between a defender and k attackers . Every attacker chooses, probabilistically, a node of the network to damage. The defender chooses, probabilistically as well, a connected induced subgraph of the network of lambda nodes to scan and clean.Each attacker wishes to maximize the probability of escaping her cleaning by the defender. On the other hand, the goal of the defender is to maximize the expected number of attackers that she catches. This game is a generalization of the model from the seminal paper of Mavronicolas et al. "The price of defense" (MFCS'06). We are interested in Nash equilibria (NE) of this game, as well as in characterizing defense optimal networks which allow for the best equilibrium defense ratio , termed Price of Defense this is the ratio of k over the expected number of attackers that the defender catches in a NE. We provide characterizations of the NEs of this game and defense optimal networks. This allows us to show that the NEs of the game coincide independently from the coordination or not of the attackers. In addition, we give an algorithm for computing NEs. Our algorithm requires exponential time in the worst case, but it is polynomial time for lambda constantly close to 1 or n . For the special case of tree networks, we refine our characterization which allows us to derive a polynomial time algorithm for deciding whether a tree is defense optimal and if this is the case it computes a defense optimal NE. On the other hand, we prove that it is NP hard to find a best defense strategy if the tree is not defense optimal. We complement this negative result with a polynomial time constant approximation algorithm that computes solutions that are close to optimal ones for general graphs. Finally, we provide asymptotically (almost) tight bounds for the Price of Defense for any lambda .


A minimax approach for inverse variational inequalities. In this work, we characterize the existence of solution for a certain variational inequality by means of a classical minimax theorem. In addition, we propose a numerical algorithm for the solution of an inverse problem associated with a variational inequality. To this end we state a collage type result in this variational framework.


Micro controllers Promoting Structurally Flexible Controllers in Self Adaptive Software Systems. To promote structurally flexible controllers in self adaptive software systems, this paper proposes the use of micro controllers. Instead of generic monolithic controllers, like Rainbow, we advocate the use of service specific micro controllers which can be based on microservices. Although traditional generic controllers can be configured parametrically according to system needs, their use and reuse are nevertheless restrictive because of the wide range of services expected from the different stages of the feedback control loop.The solution being advocated is to have structurally flexible controllers that can be composed from micro controllers. Controlling the architectural configuration of these micro controllers is a meta controller that is able to configure the controller according to the services required for controlling the target system. The feasibility of the proposed approach of using micro controllers at the level of the controller is demonstrated in the context of the PhoneAdapter case study in which micro controllers are configured at run time depending on changes affecting the system or its environment.


On the equidistribution of unstable curves for pseudo Anosov diffeomorphisms of compact surfaces. Weprovethattheasymptoticsofergodicintegralsalonganinvariant foliation of a toral Anosov diffeomorphism, or of a pseudo Anosov diffeomorphism on a compact orientable surface of higher genus, are determined (up to a logarithmic error) by the action of the diffeomorphism on the cohomology of the surface. As a consequence of our argument and of the results of Giulietti and Liverani GL on horospherical averages, toral Anosov diffeomorphisms have no Ruelle resonances in the open interval (1,e h top ) .


EWareNet Emotion Aware Human Intent Prediction and Adaptive Spatial Profile Fusion for Social Robot Navigation. We present EWareNet, a novel intent aware social robot navigation algorithm among pedestrians. Our approach predicts the trajectory based pedestrian intent from historical gaits, which is then used for intent guided navigation taking into account social and proxemic constraints. To predict pedestrian intent, we propose a transformer based model that works on a commodity RGB D camera mounted onto a moving robot. Our intent prediction routine is integrated into a mapless navigation scheme and makes no assumptions about the environment of pedestrian motion. Our navigation scheme consists of a novel obstacle profile representation methodology that is dynamically adjusted based on the pedestrian pose, intent, and emotion. The navigation scheme is based on a reinforcement learning algorithm that takes into consideration human intent and robot's impact on human intent, in addition to the environmental configuration. We outperform current state of art algorithms for intent prediction from 3D gaits.


BiST Bi directional Spatio Temporal Reasoning for Video Grounded Dialogues. Video grounded dialogues are very challenging due to (i) the complexity of videos which contain both spatial and temporal variations, and (ii) the complexity of user utterances which query different segments and or different objects in videos over multiple dialogue turns. However, existing approaches to video grounded dialogues often focus on superficial temporal level visual cues, but neglect more fine grained spatial signals from videos. To address this drawback, we propose Bi directional Spatio Temporal Learning (BiST), a vision language neural framework for high resolution queries in videos based on textual cues. Specifically, our approach not only exploits both spatial and temporal level information, but also learns dynamic information diffusion between the two feature spaces through spatial to temporal and temporal to spatial reasoning. The bidirectional strategy aims to tackle the evolving semantics of user queries in the dialogue setting. The retrieved visual cues are used as contextual information to construct relevant responses to the users. Our empirical results and comprehensive qualitative analysis show that BiST achieves competitive performance and generates reasonable responses on a large scale AVSD benchmark. We also adapt our BiST models to the Video QA setting, and substantially outperform prior approaches on the TGIF QA benchmark.


Comprehensive assessment of error correction methods for high throughput sequencing data. The advent of DNA and RNA sequencing has revolutionized the study of genomics and molecular biology. Next generation sequencing (NGS) technologies like Illumina, Ion Torrent, SOLiD sequencing etc. have brought about a quick and cheap way to sequence genomes. Recently, third generation sequencing (TGS) technologies like PacBio and Oxford Nanopore Technology (ONT) have also been developed. Different technologies use different underlying methods for sequencing and are prone to different error rates. Though many tools exist for error correction of sequencing data from NGS and TGS methods, no standard method is available yet to evaluate the accuracy and effectiveness of these error correction tools. In this study, we present a Software Package for Error Correction Tool Assessment on nuCLEic acid sequences (SPECTACLE) providing comprehensive algorithms to evaluate error correction methods for DNA and RNA sequencing, for NGS and TGS platforms. We also present a compilation of sequencing datasets for Illumina, PacBio and ONT platforms that present challenging scenarios for error correction tools. Using these datasets and SPECTACLE, we evaluate the performance of 23 different error correction tools and present unique and helpful insights into their strengths and weaknesses. We hope that our methodology will standardize the evaluation of DNA and RNA error correction tools in the future.


Bootstrapping Complete The Look at Pinterest. Putting together an ideal outfit is a process that involves creativity and style intuition. This makes it a particularly difficult task to automate. Existing styling products generally involve human specialists and a highly curated set of fashion items. In this paper, we will describe how we bootstrapped the Complete The Look (CTL) system at Pinterest. This is a technology that aims to learn the subjective task of "style compatibility" in order to recommend complementary items that complete an outfit. In particular, we want to show recommendations from other categories that are compatible with an item of interest. For example, what are some heels that go well with this cocktail dress? We will introduce our outfit dataset of over 1 million outfits and 4 million objects, a subset of which we will make available to the research community, and describe the pipeline used to obtain and refresh this dataset. Furthermore, we will describe how we evaluate this subjective task and compare model performance across multiple training methods. Lastly, we will share our lessons going from experimentation to working prototype, and how to mitigate failure modes in the production environment. Our work represents one of the first examples of an industrial scale solution for compatibility based fashion recommendation.


Non trivial d wise Intersecting families. For an integer d geq 2 , a family mathcal F of sets is textit d wise intersecting if for any distinct sets A 1,A 2, dots,A d in mathcal F , A 1 cap A 2 cap dots cap A d neq emptyset , and textit non trivial if bigcap mathcal F emptyset . Hilton and Milner conjectured that for k geq d geq 2 and large enough n , the extremal non trivial d wise intersecting family of k element subsets of n is one of the following two families begin align mathcal H (k,d) A in binom n k d 1 subset A, A cap d,k 1 neq emptyset cup k 1 setminus i i in d 1 mathcal A (k,d) A in binom n k A cap d 1 geq d . end align The celebrated Hilton Milner Theorem states that mathcal H (k,2) is the unique extremal non trivial intersecting family for k 3 . We prove the conjecture and prove a stability theorem, stating that any large enough non trivial d wise intersecting family of k element subsets of n is a subfamily of mathcal A (k,d) or mathcal H (k,d) .


The algebraic and geometric classification of nilpotent bicommutative algebras. We classify the 4 dimensional nilpotent bicommutative algebras over mathbb C from both algebraic and geometric approaches.


Turbulent flow over transitionally rough surfaces with varying roughness densities. We investigate rough wall turbulent flows through direct numerical simulations of flow over three dimensional transitionally rough sinusoidal surfaces. The roughness Reynolds number is fixed at k 10 , where k is the sinusoidal semi amplitude, and the sinusoidal wavelength is varied, resulting in the roughness solidity, Lambda (frontal area divided by plan area) ranging from 0.05 to 0.54. The high cost of resolving both the flow around the dense roughness elements and the bulk flow is circumvented by the use of the minimal span channel technique, recently demonstrated by Chung et al. (J. Fluid Mech., vol. 773, 2015, pp. 418 431) to accurately determine the Hama roughness function, Delta U . Good agreement of the second order statistics in the near wall roughness affected region between minimal and full span rough wall channels is observed. In the sparse regime of roughness ( Lambda lesssim 0.15 ) the roughness function increases with increasing solidity, while in the dense regime the roughness function decreases with increasing solidity. It was found that the dense regime begins when Lambda gtrsim0.15 0.18, in agreement with the literature. A model is proposed for the limit of Lambda rightarrow infty , which is a smooth wall located at the crest of the roughness elements. This model assists with interpreting the asymptotic behaviour of the roughness, and the rough wall data presented in this paper show that the near wall flow is tending towards this modelled limit. The peak streamwise turbulence intensity, which is associated with the turbulent near wall cycle, is seen to move increasingly further away from the wall with increasing solidity. In the sparse regime, increasing Lambda reduces streamwise turbulent energy associated with the near wall cycle, while increasing Lambda in the dense regime increases turbulent energy continued ldots


Tree optimized directed graphs. For an additive submonoid mathcal M of mathbb R ge 0 , the weight of an mathcal M labeled directed graph is the sum of all of its edge labels, while the content is the product of the labels. Having fixed mathcal M and a directed tree E , we prove a general result on the shape of directed mathcal M labeled graphs Gamma of weight N in mathcal M maximizing the sum of the contents of all copies E subset Gamma . This specializes to recover a result of Hajac and Tobolski on the maximal number of length k paths in a directed acyclic graph. It also applies to prove a conjecture by the same authors on the maximal sum of entries of A k for a nilpotent mathbb R ge 0 valued square matrix A whose entries add up to N . Finally, we apply the same techniques to obtain the maximal number of stars with a arms in a directed graph with N edges.


Towards Marrying Files to Objects. To deal with the constant growth of unstructured data, vendors have deployed scalable, resilient, and cost effective object based storage systems built on RESTful web services. However, many applications rely on richer file system APIs and semantics, and cannot benefit from object stores. This leads to storage sprawl, as object stores are deployed alongside file systems and data is accessed and managed across both systems in an ad hoc fashion. We believe there is a critical need for a transparent merger of objects and files, consolidating data into a single platform. Such a merger would extend the capabilities of both object and file stores while preserving existing semantics and interfaces. In this position paper, we examine the viability of unifying object stores and file systems, and the various design tradeoffs that exist. Then, using our own implementation of an object based, POSIX complete file system, we experimentally demonstrate several critical design considerations.


On tangential weak defectiveness and identifiability of projective varieties. A point p in mathbb P N of a projective space is h identifiable, with respect to a variety X subset mathbb P N , if it can be written as linear combination of h elements of X in a unique way. Identifiability is implied by conditions on the contact locus in X of general linear spaces called non weak defectiveness and non tangential weak defectiveness. We give conditions ensuring non tangential weak defectiveness of an irreducible and non degenerated projective variety X subset mathbb P N , and we apply these results to Segre Veronese varieties.