A Study on Anxiety about Using Robo taxis HMI Design for Anxiety Factor Analysis and Anxiety Relief Based on Field Tests. Despite the approaching commercialization of robo taxis, various anxiety factors concerning the safety of autonomous vehicles are expected to form a large barrier against consumers' use of robo taxi services. The purpose of this study is to derive the various internal and external factors that contribute to the anxieties of robo taxi passengers, and to propose a human machine interface (HMI) concept to resolve such factors, by testing robo taxi services on real, complex urban roads. In addition, a remote system for safely testing a robo taxi in complex downtown areas was constructed, by adopting the Wizard of Oz (WOZ) methodology. From the results of our tests conducted upon 28 subjects in the central area of Seoul 19 major anxiety factors arising from autonomous driving were identified, and seven HMI functions to resolve such factors were designed. The functions were evaluated and their anxiety reduction effects verified. In addition, the various design insights required to increase the reliability of robo taxis were provided through quantitative and qualitative analysis of the user experience surveys and interviews.


Floor SP Inverse CAD for Floorplans by Sequential Room wise Shortest Path. This paper proposes a new approach for automated floorplan reconstruction from RGBD scans, a major milestone in indoor mapping research. The approach, dubbed Floor SP, formulates a novel optimization problem, where room wise coordinate descent sequentially solves dynamic programming to optimize the floorplan graph structure. The objective function consists of data terms guided by deep neural networks, consistency terms encouraging adjacent rooms to share corners and walls, and the model complexity term. The approach does not require corner edge detection with thresholds, unlike most other methods. We have evaluated our system on production quality RGBD scans of 527 apartments or houses, including many units with non Manhattan structures. Qualitative and quantitative evaluations demonstrate a significant performance boost over the current state of the art. Please refer to our project website http jcchen.me floor sp for code and data.


Active Depth Estimation Stability Analysis and its Applications. Recovering the 3D structure of the surrounding environment is an essential task in any vision controlled Structure from Motion (SfM) scheme. This paper focuses on the theoretical properties of the SfM, known as the incremental active depth estimation. The term incremental stands for estimating the 3D structure of the scene over a chronological sequence of image frames. Active means that the camera actuation is such that it improves estimation performance. Starting from a known depth estimation filter, this paper presents the stability analysis of the filter in terms of the control inputs of the camera. By analyzing the convergence of the estimator using the Lyapunov theory, we relax the constraints on the projection of the 3D point in the image plane when compared to previous results. Nonetheless, our method is capable of dealing with the cameras' limited field of view constraints. The main results are validated through experiments with simulated data.


Indivisibility of Heegner cycles over Shimura curves and Selmer groups. In this article, we show that the Abel Jacobi images of the Heegner cycles over the Shimura curves constructed by Nekovar, Besser and the theta elements contructed by Chida Hsieh form a bipartite Euler system in the sense of Howard. As an application of this, we deduce a converse to Gross Zagier Kolyvagin type theorem for higher weight modular forms generalizing works of Wei Zhang and Skinner for modular forms of weight two. That is, we show that if the rank of certain residual Selmer group is one, then the Abel Jacobi image of the Heegner cycle is non zero in the residual Selmer group.


On 3 dimensional almost Einstein manifolds with circulant structures. A 3 dimensional Riemannian manifold equipped with a tensor structure of type (1,1) , whose third power is the identity, is considered. This structure and the metric have circulant matrices with respect to some basis, i.e., these structures are circulant. An associated manifold, whose metric is expressed by both structures, is studied. Three classes of such manifolds are considered. Two of them are determined by special properties of the curvature tensor of the manifold. The third class is composed by manifolds whose structure is parallel with respect to the Levi Civita connection of the metric. Some geometric characteristics of these manifolds are obtained. Examples of such manifolds are given.


Pointwise dimension for a class of measures on limit sets. We study the pointwise dimension for a new class of projection measures on arbitrary fractal limit sets without separation conditions. We prove that the pointwise dimension exists a.e. for this class of measures associated to equilibrium states, and it is given by a formula in terms of Lyapunov exponents and a certain type of entropy. Thus these measures are exact dimensional. Self conformal measures belong to the above class of measures, and this allows us to obtain a new geometric formula for their pointwise dimension. Thus for self conformal measures we obtain also a geometric formula for their projection entropy.


Second Order parallel tensor on generalized f.pk space form and hypersurfaces of generalized f.pk space form. The purpose of the present paper to study a second order symmetric parallel tensor in generalized f.pk space form. Second order symmetric parallel tensor in f.pk space form is combination of the associated metric tensor and 1 forms of structure vector fields. We prove that there does not exist second order skew symmetric parallel tensor in f.pk space form. We also deduce that there is no parallel hypersurface in a generalized f.pk space form but there is semi parallel hypersurfaces in a generalized f.pk space form.


Demonstration Guided Deep Reinforcement Learning of Control Policies for Dexterous Human Robot Interaction. In this paper, we propose a method for training control policies for human robot interactions such as handshakes or hand claps via Deep Reinforcement Learning. The policy controls a humanoid Shadow Dexterous Hand, attached to a robot arm. We propose a parameterizable multi objective reward function that allows learning of a variety of interactions without changing the reward structure. The parameters of the reward function are estimated directly from motion capture data of human human interactions in order to produce policies that are perceived as being natural and human like by observers. We evaluate our method on three significantly different hand interactions handshake, hand clap and finger touch. We provide detailed analysis of the proposed reward function and the resulting policies and conduct a large scale user study, indicating that our policy produces natural looking motions.


Multifaceted Analysis of Fine Tuning in Deep Model for Visual Recognition. In recent years, convolutional neural networks (CNNs) have achieved impressive performance for various visual recognition scenarios. CNNs trained on large labeled datasets can not only obtain significant performance on most challenging benchmarks but also provide powerful representations, which can be used to a wide range of other tasks. However, the requirement of massive amounts of data to train deep neural networks is a major drawback of these models, as the data available is usually limited or imbalanced. Fine tuning (FT) is an effective way to transfer knowledge learned in a source dataset to a target task. In this paper, we introduce and systematically investigate several factors that influence the performance of fine tuning for visual recognition. These factors include parameters for the retraining procedure (e.g., the initial learning rate of fine tuning), the distribution of the source and target data (e.g., the number of categories in the source dataset, the distance between the source and target datasets) and so on. We quantitatively and qualitatively analyze these factors, evaluate their influence, and present many empirical observations. The results reveal insights into what fine tuning changes CNN parameters and provide useful and evidence backed intuitions about how to implement fine tuning for computer vision tasks.


Lowness for isomorphism, countable ideals, and computable traceability. We show that every countable ideal of degrees that are low for isomorphism is contained in a principal ideal of degrees that are low for isomorphism by adapting an exact pair construction. We further show that within the hyperimmune free degrees, lowness for isomorphism is entirely independent of computable traceability.


physics.optics physics.app-ph physics.bio-ph physics.ins-det

Hyperspectral interference tomography of nacre. Structural characterization of biologically formed materials is essential for understanding biological phenomena and their environment, and generating new bio inspired engineering concepts. For example, nacre formed by mollusks in the ocean encodes local environmental conditions throughout its formation and has exceptional strength due to its nanoscale brick and mortar structure. This layered structure, comprising transparent aragonite tablets bonded with an ultra thin organic polymer, also results in stunning interference colors. Existing methods of structural characterization of nacre rely on some form of cross sectional analysis, such as scanning electron microscopy or polarization dependent imaging contrast (PIC) mapping. However, these techniques are destructive and too time and resource intensive to analyze large sample areas. Here we present an all optical, rapid, and non destructive imaging technique hyperspectral interference tomography (HIT) to spatially map the structural parameters of nacre and other disordered layered materials. We combined hyperspectral imaging with optical interference modeling to infer the mean tablet thickness and disordering of nacre layers across entire mollusk shells at various stages of development, observing a previously unknown relationship between the growth of the mollusk and tablet thickness. Our rapid, inexpensive, and nondestructive method can be readily applied to in field studies.


Comprehensive Investigation and Isolation have Effectively Suppressed the Spread of COVID 19. The outbreak of COVID 19 since Dec. 2019 has caused severe life and economic damage worldwide, many countries are trapped by medical resource constraints or absence of targeted therapeutics, and therefore the implement of systemic policies to block this pandemic should be prioritized. Based on the transmission mechanisms and physicochemical properties of betacoronaviruses, we construct a fine grained transmission dynamics model (ICRD) to forecast the crucial information of public concern, therein using dynamical coefficients to quantify the impact of the implement time and intensity of containment policies on the spread of epidemic. We find that the comprehensive investigation policy for susceptible population and the quarantine for suspected cases eminently contribute to reduce casualties during the phase of the dramatic increase of diagnosed cases. Statistic evidences strongly suggest that society should take such forceful public health interventions to cut the infection channels in the initial stage until the pandemic is interrupted.


Optimal error estimate of a conservative Fourier pseudo spectral method for the space fractional nonlinear Schr " o dinger equation. In this paper, we consider the error analysis of a conservative Fourier pseudo spectral method that conserves mass and energy for the space fractional nonlinear Schr " o dinger equation. We give a new fractional Sobolev norm that can construct the discrete fractional Sobolev space, and we also can prove some important lemmas for the new fractional Sobolev norm. Based on these lemmas and energy method, a priori error estimate for the method can be established. Then, we are able to prove that the Fourier pseudo spectral method is unconditionally convergent with order O( tau 2 N alpha 2 r ) in the discrete L infty norm, where tau is the time step and N is the number of collocation points used in the spectral method. Numerical examples are presented to verify the theoretical analysis.


Structural Text Segmentation of Legal Documents. The growing complexity of legal cases has lead to an increasing interest in legal information retrieval systems that can effectively satisfy user specific information needs. However, such downstream systems typically require documents to be properly formatted and segmented, which is often done with relatively simple pre processing steps, disregarding topical coherence of segments. Systems generally rely on representations of individual sentences or paragraphs, which may lack crucial context, or document level representations, which are too long for meaningful search results. To address this issue, we propose a segmentation system that can predict topical coherence of sequential text segments spanning several paragraphs, effectively segmenting a document and providing a more balanced representation for downstream applications. We build our model on top of popular transformer networks and formulate structural text segmentation as topical change detection, by performing a series of independent classifications that allow for efficient fine tuning on task specific data. We crawl a novel dataset consisting of roughly 74,000 online Terms of Service documents, including hierarchical topic annotations, which we use for training. Results show that our proposed system significantly outperforms baselines, and adapts well to structural peculiarities of legal documents. We release both data and trained models to the research community for future work.https github.com dennlinger TopicalChange


Fusion Based Cooperative Support Identification for Compressive Networked Sensing. This paper proposes a fusion based cooperative support identification scheme for distributed compressive sparse signal recovery via resource constrained wireless sensor networks. The proposed support identification protocol involves (i) local sparse sensing for economizing data gathering and storage, (ii) local binary decision making for partial support knowledge inference, (iii) binary information exchange among active nodes, and (iv) binary data aggregation for support estimation. Then, with the aid of the estimated signal support, a refined local decision is made at each node. Only the measurements of those informative nodes will be sent to the fusion center, which employs a weighted ell 1 minimization for global signal reconstruction. The design of a Bayesian local decision rule is discussed, and the average communication cost is analyzed. Computer simulations are used to illustrate the effectiveness of the proposed scheme.


Interval Observer of Minimal Error Dynamics. This paper proposes a simple interval observer which can generate tighter interval estimates of variables in transient states than the standard interval observer. The simple nonlinear dynamics shrinks the estimated intervals to true state variables at the maximum velocity in the absence of disturbances. In the presence of bounded disturbances, ultimate bounded of the interval estimates are given under the standard assumption for interval observer design.


Classification of simply transitive Levi non degenerate hypersurfaces in mathbb C 3 . Holomorphically homogeneous CR real hypersurfaces M 3 subset mathbb C 2 were classified by 'Elie Cartan in 1932. In the next dimension, we complete the classification of simply transitive Levi non degenerate hypersurfaces M 5 subset mathbb C 3 using a novel Lie algebraic approach independent of any earlier classifications of abstract Lie algebras. Central to our approach is a new coordinate free formula for the fundamental (complexified) quartic tensor. Our final result has a unique (Levi indefinite) non tubular model, for which we demonstrate geometric relations to planar equi affine geometry.


On the dynamical behaviour of the generalized Ricci flow. Motivated by M "uller Haslhofer results on the dynamical stability and instability of Ricci flat metrics under the Ricci flow, we obtain dynamical stability and instability results for pairs of Ricci flat metrics and vanishing 3 forms under the generalized Ricci flow.


CausaLM Causal Model Explanation Through Counterfactual Language Models. Understanding predictions made by deep neural networks is notoriously difficult, but also crucial to their dissemination. As all machine learning based methods, they are as good as their training data, and can also capture unwanted biases. While there are tools that can help understand whether such biases exist, they do not distinguish between correlation and causation, and might be ill suited for text based models and for reasoning about high level language concepts. A key problem of estimating the causal effect of a concept of interest on a given model is that this estimation requires the generation of counterfactual examples, which is challenging with existing generation technology. To bridge that gap, we propose CausaLM, a framework for producing causal model explanations using counterfactual language representation models. Our approach is based on fine tuning of deep contextualized embedding models with auxiliary adversarial tasks derived from the causal graph of the problem. Concretely, we show that by carefully choosing auxiliary adversarial pre training tasks, language representation models such as BERT can effectively learn a counterfactual representation for a given concept of interest, and be used to estimate its true causal effect on model performance. A byproduct of our method is a language representation model that is unaffected by the tested concept, which can be useful in mitigating unwanted bias ingrained in the data.


Clickbait in Hindi News Media A Preliminary Study. A corpus of Hindi news headlines shared on Twitter was created by collecting tweets of 5 mainstream Hindi news sources for a period of 4 months. 7 independent annotators were recruited to mark the 20 most retweeted news posts by each of the 5 news sources on its clickbait nature. The clickbait score hence generated was assessed for its correlation with interactions on the platform (retweets, favorites, reader replies), tweet word count, and normalized POS (part of speech) tag counts in tweets. A positive correlation was observed between readers' interactions with tweets and tweets' clickbait score. Significant correlations were also observed for POS tag counts and clickbait score. The prevalence of clickbait in mainstream Hindi news media was found to be similar to its prevalence in English news media. We hope that our observations would provide a platform for discussions on clickbait in mainstream Hindi news media.


Discussing Privacy and Surveillance on Twitter A Case Study of COVID 19. Technology is uniquely positioned to help us analyze large amounts of information to provide valuable insight during widespread public health concerns, like the ongoing COVID 19 pandemic. In fact, information technology companies like Apple and Google have recently launched tools for contact tracing the ability to process location data to determine the people who have been in contact with a possible patient, in order to contain the spread of the virus. While China and Singapore have successfully led the effort, more and more countries are now implementing such surveillance systems, raising potential privacy concerns about this long term surveillance. For example, it is not clear what happens to the information post pandemic because people are more likely to share their information during a global crisis without governments having to elaborate on their data policies. Digital Ethnography on Twitter, which has over 330 million users worldwide, with a majority in the United States where the pandemic has the worst effects provides a unique opportunity to learn about real time opinions of the general public about current affairs in a rather naturalistic setting. Consequently, it might be useful to highlight the privacy concerns of users, should they exist, through analysis of Twitter data and information sharing policies during unprecedented public health outbreaks. This will allow governments to protect their citizens both during and after health emergencies.


Hybrid Attention based Decoupled Metric Learning for Zero Shot Image Retrieval. In zero shot image retrieval (ZSIR) task, embedding learning becomes more attractive, however, many methods follow the traditional metric learning idea and omit the problems behind zero shot settings. In this paper, we first emphasize the importance of learning visual discriminative metric and preventing the partial selective learning behavior of learner in ZSIR, and then propose the Decoupled Metric Learning (DeML) framework to achieve these individually. Instead of coarsely optimizing an unified metric, we decouple it into multiple attention specific parts so as to recurrently induce the discrimination and explicitly enhance the generalization. And they are mainly achieved by our object attention module based on random walk graph propagation and the channel attention module based on the adversary constraint, respectively. We demonstrate the necessity of addressing the vital problems in ZSIR on the popular benchmarks, outperforming the state of theart methods by a significant margin. Code is available at http www.bhchen.cn


More Informed Random Sample Consensus. Random sample consensus (RANSAC) is a robust model fitting algorithm. It is widely used in many fields including image stitching and point cloud registration. In RANSAC, data is uniformly sampled for hypothesis generation. However, this uniform sampling strategy does not fully utilize all the information on many problems. In this paper, we propose a method that samples data with a L ' e vy distribution together with a data sorting algorithm. In the hypothesis sampling step of the proposed method, data is sorted with a sorting algorithm we proposed, which sorts data based on the likelihood of a data point being in the inlier set. Then, hypotheses are sampled from the sorted data with L ' e vy distribution. The proposed method is evaluated on both simulation and real world public datasets. Our method shows better results compared with the uniform baseline method.


Hashtags are (not) judgemental The untold story of Lok Sabha elections 2019. Hashtags in online social media have become a way for users to build communities around topics, promote opinions, and categorize messages. In the political context, hashtags on Twitter are used by users to campaign for their parties, spread news, or to get followers and get a general idea by following a discussion built around a hashtag. In the past, researchers have studied certain types and specific properties of hashtags by utilizing a lot of data collected around hashtags. In this paper, we perform a large scale empirical analysis of elections using only the hashtags shared on Twitter during the 2019 Lok Sabha elections in India. We study the trends and events unfolded on the ground, the latent topics to uncover representative hashtags and semantic similarity to relate hashtags with the election outcomes. We collect over 24 million hashtags to perform extensive experiments. First, we find the trending hashtags to cross reference them with the tweets in our dataset to list down notable events. Second, we use Latent Dirichlet Allocation to find topic patterns in the dataset. In the end, we use skip gram word embedding model to find semantically similar hashtags. We propose popularity and an influence metric to predict election outcomes using just the hashtags. Empirical results show that influence is a good measure to predict the election outcome.


Rates of convergence to equilibrium for Potlatch and Smoothing processes. We analyze the local and global smoothing rates of the smoothing process and obtain convergence rates to stationarity for the dual process known as the potlatch process. For general finite graphs, we connect the smoothing and convergence rates to the spectral gap of the associated Markov chain. We perform a more detailed analysis of these processes on the torus. Polynomial corrections to the smoothing rates are obtained. They show that local smoothing happens faster than global smoothing. These polynomial rates translate to rates of convergence to stationarity in L 2 Wasserstein distance for the potlatch process on mathbb Z d .


Strong ill posedness of logarithmically regularized 2D Euler equations in the borderline Sobolev Space. Logarithmically regularized 2D Euler equations are active scalar equations with the non local velocity u nabla perp Delta 1 T gamma omega for the scalar omega . Two types of the regularizing operator T gamma with a parameter gamma 0 are considered T gamma ln gamma (e nabla ) and T gamma ln gamma (e Delta) . These models regularize the 2D Euler equation for the vorticity (conventionally corresponding to the gamma 0 case), which results in their local well posedness in the borderline Sobolev space H 1( mathrm R 2) cap dot H 1 ( mathrm R 2) when gamma frac 12 . In this paper, we examine the regularized models in the remaining regime gamma leq frac 12 and establish the strong ill posedness in the borderline space. This completely solves the well posedness problem of the regularized models in the borderline space by closing the gap between the local well posedness result for gamma frac 12 and the strong ill posedness for gamma 0 .


Troupes, Cumulants, and Stack Sorting. Several sequences of free cumulants that count binary plane trees correspond to sequences of classical cumulants that count the decreasing versions of the same trees. Using two new operations on colored binary plane trees that we call insertion and decomposition, we prove that this surprising phenomenon holds for families of trees that we call troupes. We give a simple characterization of troupes, which provide a broad framework for generalizing several of the results known about West's stack sorting map s . Indeed, we give new proofs of some of the main techniques that have been developed for understanding s these new proofs are far more conceptual than the original ones, explain how the objects called valid hook configurations arise naturally, and generalize to troupes. For t in 2,3 , we enumerate t stack sortable alternating permutations of odd length and t stack sortable permutations whose descents are all peaks. The unexpected connection between troupes and cumulants provides a powerful new tool for analyzing the stack sorting map that hinges on free probability theory. We give numerous applications of this method. For example, we show that if sigma in S n 1 is chosen uniformly at random, then the expected value of text des (s( sigma)) 1 is left(3 sum j 0 n frac 1 j! right)n. Furthermore, the variance of text des (s( sigma)) 1 is asymptotically (2 2e e 2)n . We obtain similar results concerning the expected number of descents of postorder readings of decreasing colored binary plane trees. We also obtain improved estimates for s(S n) and an improved lower bound for the degree of noninvertibility of s . We give two novel formulas that convert from free to classical cumulants. The first is given by a sum over noncrossing partitions, and the second is given by a sum over 231 avoiding valid hook configurations. We pose several open problems.


Towards High Performance, Portability, and Productivity Lightweight Augmented Neural Networks for Performance Prediction. Writing high performance code requires significant expertise in the programming language, compiler optimizations, and hardware knowledge. This often leads to poor productivity and portability and is inconvenient for a non programmer domain specialist such as a Physicist. More desirable is a high level language where the domain specialist simply specifies the workload in terms of high level operations (e.g., matrix multiply(A, B)), and the compiler identifies the best implementation fully utilizing the heterogeneous platform. For creating a compiler that supports productivity, portability, and performance simultaneously, it is crucial to predict the performance of various available implementations (variants) of the dominant operations (kernels) contained in the workload on various hardware to decide (a) which variant should be chosen for each kernel in the workload, and (b) on which hardware resource the variant should run. To enable the performance prediction, we propose lightweight augmented neural networks for arbitrary combinations of kernel variant hardware. A key innovation is utilizing the mathematical complexity of the kernels as a feature to achieve higher accuracy. These models are compact to reduce training time and fast inference during compile time and run time. Using models with less than 75 parameters, and only 250 training data instances, we are able to obtain a low MAPE of 3 , significantly outperforming traditional feed forward neural networks on 48 kernel variant hardware combinations. We further demonstrate that our variant selection approach can be used in Halide implementations to obtain up to 1.7x speedup over Halide's auto scheduler.


A note on the Jacobian Conjecture. Let F Bbb C n to Bbb C n be a polynomial mapping with a non vanishing Jacobian. If the set S F of non properness of F is smooth, then F is a surjective mapping. Moreover, the set S F can not be connected (this is the Nollet Xavier Conjecture). Additionally, if n 2 , then the set S F of non properness of F cannot be a curve without self intersections.


Modeling Long Term and Short Term Interests with Parallel Attentions for Session based Recommendation. The aim of session based recommendation is to predict the users' next clicked item, which is a challenging task due to the inherent uncertainty in user behaviors and anonymous implicit feedback information. A powerful session based recommender can typically explore the users' evolving interests (i.e., a combination of his her long term and short term interests). Recent advances in attention mechanisms have led to state of the art methods for solving this task. However, there are two main drawbacks. First, most of the attention based methods only simply utilize the last clicked item to represent the user's short term interest ignoring the temporal information and behavior context, which may fail to capture the recent preference of users comprehensively. Second, current studies typically think long term and short term interests as equally important, but the importance of them should be user specific. Therefore, we propose a novel Parallel Attention Network model (PAN) for Session based Recommendation. Specifically, we propose a novel time aware attention mechanism to learn user's short term interest by taking into account the contextual information and temporal signals simultaneously. Besides, we introduce a gated fusion method that adaptively integrates the user's long term and short term preferences to generate the hybrid interest representation. Experiments on the three real world datasets show that PAN achieves obvious improvements than the state of the art methods.


Multi attribute community detection in International Trade Network. Understanding the structure of communities in a network has a great importance in the economic analysis. Communities are indeed characterized by specific properties, that are different from those of both the individual node and the whole network, and they can affect various processes on the network. In the International Trade Network, community detection aims to search sets of countries (or of trade sectors) which have a high intra cluster connectivity and a low inter cluster connectivity. In general, exchanges among countries occur according to preferential economic relationships ranging over different sectors. In this paper, we combine community detection with specific topological indicators, such as centrality measures. As a result, a new weighted network is constructed by the original one, in which weights are determined taking into account all the topological indicators in a multi criteria approach. To solve the resulting Clique Partitioning Problem and find homogeneous group of nations, we use a new fast algorithm, based on quick descents to a local optimal solution. The analysis allows to cluster countries by interconnections, economic power and intensity of trade, giving an important overview on the international trade patterns.


Fine Grained Image Captioning with Global Local Discriminative Objective. Significant progress has been made in recent years in image captioning, an active topic in the fields of vision and language. However, existing methods tend to yield overly general captions and consist of some of the most frequent words phrases, resulting in inaccurate and indistinguishable descriptions (see Figure 1). This is primarily due to (i) the conservative characteristic of traditional training objectives that drives the model to generate correct but hardly discriminative captions for similar images and (ii) the uneven word distribution of the ground truth captions, which encourages generating highly frequent words phrases while suppressing the less frequent but more concrete ones. In this work, we propose a novel global local discriminative objective that is formulated on top of a reference model to facilitate generating fine grained descriptive captions. Specifically, from a global perspective, we design a novel global discriminative constraint that pulls the generated sentence to better discern the corresponding image from all others in the entire dataset. From the local perspective, a local discriminative constraint is proposed to increase attention such that it emphasizes the less frequent but more concrete words phrases, thus facilitating the generation of captions that better describe the visual details of the given images. We evaluate the proposed method on the widely used MS COCO dataset, where it outperforms the baseline methods by a sizable margin and achieves competitive performance over existing leading approaches. We also conduct self retrieval experiments to demonstrate the discriminability of the proposed method.


The simple type conjecture for mod 2 Seiberg Witten invariants. We prove that, under a simple condition on the cohomology ring, every closed 4 manifold has mod 2 Seiberg Witten simple type. This result shows that there exists a large class of topological 4 manifolds such that all smooth structures have mod 2 simple type, and yet some have non vanishing (mod 2) Seiberg Witten invariants. As corollaries, we obtain adjunction inequalities and show that, under a mild topological condition, every geometrically simply connected closed 4 manifold has the vanishing mod 2 Seiberg Witten invariant for at least one orientation.


Correcting the formalism governing Bloch Surface Waves excited by 3D Gaussian beams. Due to the growing number of publications and applications based on the exploitation of Bloch surface waves and the gross errors and approximations that are regularly used to evaluate the properties of this type of wave, we judge seriously important for successful interpretation and understanding of experiments to implement adapted formalism allowing to extract the relevant information. Through a comprehensive calculation supported by an analytical development, we establish a generalized formula for the propagation length which is different from what is usually employed in the literature. We also demonstrate that the Goos H "anchen shift becomes an extrinsic property that depends on the beam dimension with an asymptotic behavior limiting its value to that of the propagation length. The proposed theoretical scheme allows predicting some new and unforeseen results such as the effect due to a slight deviation of the angle of incidence or of the beam waist position with respect to the structure. This formalism can be used to describe any polarization dependent resonant structure illuminated by a polarized Gaussian beam.


Grundy Distinguishes Treewidth from Pathwidth. Structural graph parameters, such as treewidth, pathwidth, and clique width, are a central topic of study in parameterized complexity. A main aim of research in this area is to understand the "price of generality" of these widths as we transition from more restrictive to more general notions, which are the problems that see their complexity status deteriorate from fixed parameter tractable to intractable? This type of question is by now very well studied, but, somewhat strikingly, the algorithmic frontier between the two (arguably) most central width notions, treewidth and pathwidth, is still not understood currently, no natural graph problem is known to be W hard for one but FPT for the other. Indeed, a surprising development of the last few years has been the observation that for many of the most paradigmatic problems, their complexities for the two parameters actually coincide exactly, despite the fact that treewidth is a much more general parameter. It would thus appear that the extra generality of treewidth over pathwidth often comes "for free". Our main contribution in this paper is to uncover the first natural example where this generality comes with a high price. We consider Grundy Coloring, a variation of coloring where one seeks to calculate the worst possible coloring that could be assigned to a graph by a greedy First Fit algorithm. We show that this well studied problem is FPT parameterized by pathwidth however, it becomes significantly harder (W 1 hard) when parameterized by treewidth. Furthermore, we show that Grundy Coloring makes a second complexity jump for more general widths, as it becomes para NP hard for clique width. Hence, Grundy Coloring nicely captures the complexity trade offs between the three most well studied parameters. Completing the picture, we show that Grundy Coloring is FPT parameterized by modular width.


Falcon 2.0 An Entity and Relation Linking Tool over Wikidata. The Natural Language Processing (NLP) community has significantly contributed to the solutions for entity and relation recognition from the text, and possibly linking them to proper matches in Knowledge Graphs (KGs). Considering Wikidata as the background KG, still, there are limited tools to link knowledge within the text to Wikidata. In this paper, we present Falcon 2.0, first joint entity, and relation linking tool over Wikidata. It receives a short natural language text in the English language and outputs a ranked list of entities and relations annotated with the proper candidates in Wikidata. The candidates are represented by their Internationalized Resource Identifier (IRI) in Wikidata. Falcon 2.0 resorts to the English language model for the recognition task (e.g., N Gram tiling and N Gram splitting), and then an optimization approach for linking task. We have empirically studied the performance of Falcon 2.0 on Wikidata and concluded that it outperforms all the existing baselines. Falcon 2.0 is public and can be reused by the community all the required instructions of Falcon 2.0 are well documented at our GitHub repository. We also demonstrate an online API, which can be run without any technical expertise. Falcon 2.0 and its background knowledge bases are available as resources at https labs.tib.eu falcon falcon2 .


EvoZip Efficient Compression of Large Collections of Evolutionary Trees. Phylogenetic trees represent evolutionary relationships among sets of organisms. Popular phylogenetic reconstruction approaches typically yield hundreds to thousands of trees on a common leafset. Storing and sharing such large collection of trees requires considerable amount of space and bandwidth. Furthermore, the huge size of phylogenetic tree databases can make search and retrieval operations time consuming. Phylogenetic compression techniques are specialized compression techniques that exploit redundant topological information to achieve better compression of phylogenetic trees. Here, we present EvoZip, a new approach for phylogenetic tree compression. On average, EvoZip achieves 71.6 better compression and takes 80.71 less compression time and 60.47 less decompression time than TreeZip, the current state of the art algorithm for phylogenetic tree compression. While EvoZip is based on TreeZip, it betters TreeZip due to (a) an improved bipartition and support list encoding scheme, (b) use of Deflate compression algorithm, and (c) use of an efficient tree reconstruction algorithm. EvoZip is freely available online for use by the scientific community.


Prediction of separation and transition on a low pressure turbine blade using a RANS grid. Flow past a high lift low pressure turbine (LPT) blade in a cascade could be quite complex as phenomena like separation and transition are often involved. For a highly loadedT106A blade at a high incidence and relatively low Reynolds number(25, 000 Re 1, 00, 000), separation induced transition is observed on the suction side of the blade, making it a challenging problem for model based simulations. In this work, computations for this flow are carried out using RANS and hybrid LES RANS approaches. The RANS simulations are performed with six popular low Re turbulence models. While turbulence models by themselves fail to predict any separation on the T106A blade, the four equation Langtry Menter transition model predicts a short separation bubble. The characteristic of this bubble, however, is very different from what is observed in experiments and DNS, and therefore transition is not accurately predicted. An embedded hybrid LES RANS approach, Limited numerical scales(LNS), with an automatic switch to LES in sufficiently resolved grids, is then used for predictions on the sameRANS grid. With the statistical turbulence on fine grids, LES like behavior of LNS results in an unphysical drop in Reynolds stresses as the turbulent fluctuations are not appropriately represented on the resolved scale. Therefore, the LNS results are very similar to those obtained with turbulence models. However, when synthetic turbulence with correct statistical characteristics is used to stimulate the large eddies in the embedded LES zone, LNS is able to predict separation and recovers a solution very close to DNS and experimental results.


Unsupervised Label Noise Modeling and Loss Correction. Despite being robust to small amounts of label noise, convolutional neural networks trained with stochastic gradient methods have been shown to easily fit random labels. When there are a mixture of correct and mislabelled targets, networks tend to fit the former before the latter. This suggests using a suitable two component mixture model as an unsupervised generative model of sample loss values during training to allow online estimation of the probability that a sample is mislabelled. Specifically, we propose a beta mixture to estimate this probability and correct the loss by relying on the network prediction (the so called bootstrapping loss). We further adapt mixup augmentation to drive our approach a step further. Experiments on CIFAR 10 100 and TinyImageNet demonstrate a robustness to label noise that substantially outperforms recent state of the art. Source code is available at https git.io fjsvE


A review on the complementarity of renewable energy sources concept, metrics, application and future research directions. It is expected, and regionally observed, that energy demand will soon be covered by a widespread deployment of renewable energy sources. However, the weather and climate driven energy sources are characterized by a significant spatial and temporal variability. One of the commonly mentioned solutions to overcome the mismatch between demand and supply provided by renewable generation is a hybridization of two or more energy sources in a single power station (like wind solar, solar hydro or solar wind hydro). The operation of hybrid energy sources is based on the complementary nature of renewable sources. Considering the growing importance of such systems and increasing number of research activities in this area this paper presents a comprehensive review of studies which investigated, analyzed, quantified and utilized the effect of temporal, spatial and spatio temporal complementarity between renewable energy sources. The review starts with a brief overview of available research papers, formulates detailed definition of major concepts, summarizes current research directions and ends with prospective future research activities. The review provides a chronological and spatial information with regard to the studies on the complementarity concept.


Local Gorenstein duality for cochains on spaces. We investigate when a commutative ring spectrum R satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein duality along morphisms of k algebras. Our main examples are of the form R C (X k) , the ring spectrum of cochains on a space X for a field k . In particular, we establish local Gorenstein duality in characteristic p for p compact groups and p local finite groups as well as for k Q and X a simply connected space which is Gorenstein in the sense of Dwyer, Greenlees, and Iyengar.


Recurrence and the existence of invariant measures. We show that recurrence conditions do not yield invariant Borel probability measures in the descriptive set theoretic milieu, in the strong sense that if a Borel action of a locally compact Polish group on a standard Borel space satisfies such a condition but does not have an orbit supporting an invariant Borel probability measure, then there is an invariant Borel set on which the action satisfies the condition but does not have an invariant Borel probability measure.


SynCGAN Using learnable class specific priors to generate synthetic data for improving classifier performance on cytological images. One of the most challenging aspects of medical image analysis is the lack of a high quantity of annotated data. This makes it difficult for deep learning algorithms to perform well due to a lack of variations in the input space. While generative adversarial networks have shown promise in the field of synthetic data generation, but without a carefully designed prior the generation procedure can not be performed well. In the proposed approach we have demonstrated the use of automatically generated segmentation masks as learnable class specific priors to guide a conditional GAN for the generation of patho realistic samples for cytology image. We have observed that augmentation of data using the proposed pipeline called "SynCGAN" improves the performance of state of the art classifiers such as ResNet 152, DenseNet 161, Inception V3 significantly.


HERS Homomorphically Encrypted Representation Search. We present a method to search for a probe (or query) image representation against a large gallery in the encrypted domain. We require that the probe and gallery images be represented in terms of a fixed length representation, which is typical for representations obtained from learned networks. Our encryption scheme is agnostic to how the fixed length representation is obtained and can therefore be applied to any fixed length representation in any application domain. Our method, dubbed HERS (Homomorphically Encrypted Representation Search), operates by (i) compressing the representation towards its estimated intrinsic dimensionality with minimal loss of accuracy (ii) encrypting the compressed representation using the proposed fully homomorphic encryption scheme, and (iii) efficiently searching against a gallery of encrypted representations directly in the encrypted domain, without decrypting them. Numerical results on large galleries of face, fingerprint, and object datasets such as ImageNet show that, for the first time, accurate and fast image search within the encrypted domain is feasible at scale (500 seconds 275 times speed up over state of the art for encrypted search against a gallery of 100 million).


The Meyer function on the handlebody group. We give an explicit formula for the signature of handlebody bundles over the circle in terms of the homological monodromy. This gives a cobounding function of Meyer's signature cocycle on the mapping class group of a 3 dimensional handlebody, i.e., the handlebody group. As an application, we give a topological interpretation for the generator of the first cohomology group of the hyperelliptic handlebody group.


Manifolds with many Rarita Schwinger fields. The Rarita Schwinger operator is the twisted Dirac operator restricted to 3 2 spinors. Rarita Schwinger fields are solutions of this operator which are in addition divergence free. This is an overdetermined problem and solutions are rare it is even more unexpected for there to be large dimensional spaces of solutions. In this paper we prove the existence of a sequence of compact manifolds in any given dimension greater than or equal to 4 for which the dimension of the space of Rarita Schwinger fields tends to infinity. These manifolds are either simply connected K "ahler Einstein spin with negative Einstein constant, or products of such spaces with flat tori. Moreover, we construct Calabi Yau manifolds of even complex dimension with more linearly independent Rarita Schwinger fields than flat tori of the same dimension.


Pattern formation in clouds via Turing instabilities. Pattern formation in clouds is a well known feature, which can be observed almost every day. However, the guiding processes for structure formation are mostly unknown, and also theoretical investigations of cloud patterns are quite rare. From many scientific disciplines the occurrence of patterns in non equilibrium systems due to Turing instabilities is known, i.e. unstable modes grow and form spatial structures. In this study we investigate a generic cloud model for the possibility of Turing instabilities. For this purpose, the model is extended by diffusion terms. We can show that for some cloud models, i.e special cases of the generic model, no Turing instabilities are possible. However, we also present a general class of cloud models, where Turing instabilities can occur. A key requisite is the occurrence of (weakly) nonlinear terms for accretion. Using numerical simulations for a special case of the general class of cloud models, we show spatial patterns of clouds in one and two spatial dimensions. From the numerical simulations we can see that the competition between collision terms and sedimentation is an important issue for the existence of pattern formation.


A Semicircle Law for Derivatives of Random Polynomials. Let x 1, dots, x n be n independent and identically distributed random variables with mean zero, unit variance, and finite moments of all remaining orders. We study the random polynomial p n having roots at x 1, dots, x n . We prove that for ell in mathbb N fixed as n rightarrow infty , the (n ell) th derivative of p n behaves like a Hermite polynomial for x in a compact interval, n ell 2 frac ell! n! cdot p n (n ell) left( frac x sqrt n right) rightarrow He ell (x gamma n), where He ell is the ell th probabilists' Hermite polynomial and gamma n is a random variable converging to the standard mathcal N (0,1) Gaussian as n rightarrow infty . Thus, there is a universality phenomenon when differentiating a random polynomial many times the remaining roots follow a Wigner semicircle distribution.


On Rall's 1 2 conjecture on the domination game. The 1 2 conjecture on the domination game asserts that if G is a traceable graph, then the game domination number gamma g(G) of G is at most left lceil frac n(G) 2 right rceil . A traceable graph is a 1 2 graph if gamma g(G) left lceil frac n(G) 2 right rceil holds. It is proved that the so called hatted cycles are 1 2 graphs and that unicyclic graphs fulfill the 1 2 conjecture. Several additional families of graphs that support the conjecture are determined and computer experiments related to the conjecture described.


Coprime Ehrhart theory and counting free segments. A lattice polytope is "free" (or "empty") if its vertices are the only lattice points it contains. In the context of valuation theory, Klain (1999) proposed to study the functions alpha i(P n) that count the number of free polytopes in nP with i vertices. For i 1 , this is the famous Ehrhart polynomial. For i 3 , the computation is likely impossible and for i 2,3 computationally challenging. In this paper, we develop a theory of coprime Ehrhart functions, that count lattice points with relatively prime coordinates, and use it to compute alpha 2(P n) for unimodular simplices. We show that the coprime Ehrhart function can be explicitly determined from the Ehrhart polynomial and we give some applications to combinatorial counting.


Deligne Lusztig duality on the stack of local systems. In the setting of the geometric Langlands conjecture, we argue that the phenomenon of divergence at infinity on Bun G (that is, the difference between ! extensions and extensions) is controlled, Langlands dually, by the locus of semisimple check G local systems. To see this, we first rephrase the question in terms of Deligne Lusztig duality and then study the Deligne Lusztig functor DL G spec acting on the spectral Langlands DG category IndCoh N(LS G). We prove that DL G spec is the projection IndCoh N(LS G) to QCoh(LS G), followed by the action of a coherent D module St G which we call the Steinberg D module. We argue that St G might be regarded as the dualizing sheaf of the locus of semisimple G local systems. We also show that DL G spec, while far from being conservative, is fully faithful on the subcategory of compact objects.


Translating the Concept of Goal Setting into Practice What 'Else' does it Require than a Goal Setting Tool?. This conceptual paper reviews the current status of goal setting in the area of technology enhanced learning and education. Besides a brief literature review, three current projects on goal setting are discussed. The paper shows that the main barriers for goal setting applications in education are not related to the technology, the available data or analytical methods, but rather the human factor. The most important bottlenecks are the lack of students goal setting skills and abilities, and the current curriculum design, which, especially in the observed higher education institutions, provides little support for goal setting interventions.


Pose Neural Fabrics Search. Neural Architecture Search (NAS) technologies have emerged in many domains to jointly learn the architectures and weights of the neural network. However, most existing NAS works claim they are task specific and focus only on optimizing a single architecture to replace a human designed neural network, in fact, their search processes are almost independent of domain knowledge of the tasks. In this paper, we propose Pose Neural Fabrics Search (PoseNFS). We explore a new solution for NAS and human pose estimation task part specific neural architecture search, which can be seen as a variant of multi task learning. Firstly, we design a new neural architecture search space, Cell based Neural Fabric (CNF), to learn micro as well as macro neural architecture using a differentiable search strategy. Then, we view locating human keypoints as multiple disentangled prediction sub tasks, and then use prior knowledge of body structure as guidance to search for multiple part specific neural architectures for different human parts. After search, all these part specific CNFs have distinct micro and macro architecture parameters. The results show that such knowledge guided NAS based architectures have obvious performance improvements to a hand designed part based baseline model. The experiments on MPII and MS COCO datasets demonstrate that PoseNFS footnote Code is available at url https github.com yangsenius PoseNFS can achieve comparable performance to some efficient and state of the art methods.


Deconfounded Image Captioning A Causal Retrospect. The dataset bias in vision language tasks is becoming one of the main problems that hinder the progress of our community. However, recent studies lack a principled analysis of the bias. In this paper, we present a novel perspective Deconfounded Image Captioning (DIC), to find out the cause of the bias in image captioning, then retrospect modern neural image captioners, and finally propose a DIC framework DICv1.0. DIC is based on causal inference, whose two principles the backdoor and front door adjustments, help us to review previous works and design the effective models. In particular, we showcase that DICv1.0 can strengthen two prevailing captioning models and achieves a single model 130.7 CIDEr D and 128.4 c40 CIDEr D on Karpathy split and online split of the challenging MS COCO dataset, respectively. Last but not least, DICv1.0 is merely a natural derivation from our causal retrospect, which opens a promising direction for image captioning.


Roles of electron correlation effects for accurate determination of g j factors of low lying states of 113 Cd and their applications to atomic clock. We investigate roles of electron correlation effects in the determination of g j factors of the ns 2S 1 2 ( n 5,6,7), np 2P 1 2,3 2 ( n 5,6), 5d 2D 3 2,5 2 , and 4f 2F 5 2,7 2 states of the singly ionized cadmium (Cd ) ion. Single and double excited configurations along with important valence triple excited configurations through relativistic coupled cluster (RCC) theory are taken into account for incorporating electron correlation effects in our calculations. We find significant contributions from the triples to the lower S and P states for attaining high accuracy results. The contributions of Breit interaction and lower order quantum electrodynamics effects, such as vacuum polarization and self energy corrections, are also estimated using the RCC theory and are quoted explicitly. In addition, we present energies of the aforementioned states from our calculations and compare them with the experimental results to validate g j values. Using the g j factor of the ground state, systematical shift due to the Zeeman effect in the microwave clock frequency of the 5s 2S 1 2 , F 0,m F 0 rangle leftrightarrow 5s 2S 1 2 , F 1,m F 0 rangle transition in 113 Cd ion has been estimated.


Covering gonalities of complete intersections in positive characteristic. We define the covering gonality and separable covering gonality of varieties over arbitrary fields, generalizing the definition given by Bastianelli de Poi Ein Lazarsfeld Ullery for complex varieties. We show that over an arbitrary field a smooth multidegree (d 1, ldots,d k) complete intersection in mathbb P N has separable covering gonality at least d N 1 , where d d 1 cdots d k . We also show that the very general such variety has covering gonality at least frac d N 2 2 .


PipelineProfiler A Visual Analytics Tool for the Exploration of AutoML Pipelines. In recent years, a wide variety of automated machine learning (AutoML) methods have been proposed to search and generate end to end learning pipelines. While these techniques facilitate the creation of models for real world applications, given their black box nature, the complexity of the underlying algorithms, and the large number of pipelines they derive, it is difficult for their developers to debug these systems. It is also challenging for machine learning experts to select an AutoML system that is well suited for a given problem or class of problems. In this paper, we present the PipelineProfiler, an interactive visualization tool that allows the exploration and comparison of the solution space of machine learning (ML) pipelines produced by AutoML systems. PipelineProfiler is integrated with Jupyter Notebook and can be used together with common data science tools to enable a rich set of analyses of the ML pipelines and provide insights about the algorithms that generated them. We demonstrate the utility of our tool through several use cases where PipelineProfiler is used to better understand and improve a real world AutoML system. Furthermore, we validate our approach by presenting a detailed analysis of a think aloud experiment with six data scientists who develop and evaluate AutoML tools.


An Empirical Study on the Practical Impact of Prior Beliefs over Policy Types. Many multiagent applications require an agent to learn quickly how to interact with previously unknown other agents. To address this problem, researchers have studied learning algorithms which compute posterior beliefs over a hypothesised set of policies, based on the observed actions of the other agents. The posterior belief is complemented by the prior belief, which specifies the subjective likelihood of policies before any actions are observed. In this paper, we present the first comprehensive empirical study on the practical impact of prior beliefs over policies in repeated interactions. We show that prior beliefs can have a significant impact on the long term performance of such methods, and that the magnitude of the impact depends on the depth of the planning horizon. Moreover, our results demonstrate that automatic methods can be used to compute prior beliefs with consistent performance effects. This indicates that prior beliefs could be eliminated as a manual parameter and instead be computed automatically.


Do ML Experts Discuss Explainability for AI Systems? A discussion case in the industry for a domain specific solution. The application of Artificial Intelligence (AI) tools in different domains are becoming mandatory for all companies wishing to excel in their industries. One major challenge for a successful application of AI is to combine the machine learning (ML) expertise with the domain knowledge to have the best results applying AI tools. Domain specialists have an understanding of the data and how it can impact their decisions. ML experts have the ability to use AI based tools dealing with large amounts of data and generating insights for domain experts. But without a deep understanding of the data, ML experts are not able to tune their models to get optimal results for a specific domain. Therefore, domain experts are key users for ML tools and the explainability of those AI tools become an essential feature in that context. There are a lot of efforts to research AI explainability for different contexts, users and goals. In this position paper, we discuss interesting findings about how ML experts can express concerns about AI explainability while defining features of an ML tool to be developed for a specific domain. We analyze data from two brainstorm sessions done to discuss the functionalities of an ML tool to support geoscientists (domain experts) on analyzing seismic data (domain specific data) with ML resources.


Acoustic metamaterials with spinning components. Using both multiple scattering theory and effective medium theory, we find that an acoustic metamaterial consisting of an array of spinning cylinders can possess a host of unusual properties including folded bulk and interface state bands in the subwavelength regime. The folding of the bands has its origin in the rotation induced antiresonance of the effective compressibility with its frequency at the angular velocity of the spinning cylinders, as well as in the rotational Doppler effect which breaks the chiral symmetry of the effective mass densities. Both bulk and interface state bands exhibit remarkable variations as the filling fraction of the spinning cylinders is increased. In particular, a zero frequency gap appears when exceeds a critical value. The uni directional interface states bear interesting unconventional characteristics and their robust one way transport properties are demonstrated numerically.


Matrix Engines for High Performance Computing A Paragon of Performance or Grasping at Straws?. Matrix engines or units, in different forms and affinities, are becoming a reality in modern processors CPUs and otherwise. The current and dominant algorithmic approach to Deep Learning merits the commercial investments in these units, and deduced from the No.1 benchmark in supercomputing, namely High Performance Linpack, one would expect an awakened enthusiasm by the HPC community, too. Hence, our goal is to identify the practical added benefits for HPC and machine learning applications by having access to matrix engines. For this purpose, we perform an in depth survey of software stacks, proxy applications and benchmarks, and historical batch job records. We provide a cost benefit analysis of matrix engines, both asymptotically and in conjunction with state of the art processors. While our empirical data will temper the enthusiasm, we also outline opportunities to misuse these dense matrix multiplication engines if they come for free.


User Adaptive Text Entry for Augmentative and Alternative Communication. The viability of an Augmentative and Alternative Communication device often depends on its ability to adapt to an individual user's unique abilities. Though human input can be noisy, there is often structure to our errors. For example, keyboard keys adjacent to a target may be more likely to be pressed in error. Furthermore, there can be structure in the input message itself (e.g. u' is likely to follow q'). In a previous work, Recursive Bayesian Coding for BCIs' (IEEE Transactions on Neural Systems and Rehabilitation Engineering, 2016), a query strategy considers these structures to offer an error adaptive single character text entry scheme. However, constraining ourselves to single character entry limits performance. A single user input may be able to resolve more uncertainty than the next character has. In this work, we extend the previous framework to incorporate multi character querying similar to word completion. During simulated spelling, our method requires 20 fewer queries compared to single character querying with no accuracy penalty. Most significantly, we show that this multi character querying scheme converges to the information theoretic capacity of the discrete, memoryless user input model.


Exploring Controllable Text Generation Techniques. Neural controllable text generation is an important area gaining attention due to its plethora of applications. Although there is a large body of prior work in controllable text generation, there is no unifying theme. In this work, we provide a new schema of the pipeline of the generation process by classifying it into five modules. The control of attributes in the generation process requires modification of these modules. We present an overview of different techniques used to perform the modulation of these modules. We also provide an analysis on the advantages and disadvantages of these techniques. We further pave ways to develop new architectures based on the combination of the modules described in this paper.


Using Temporal and Topological Features for Intrusion Detection in Operational Networks. Until two decades ago, industrial networks were deemed secure due to physical separation from public networks. An abundance of successful attacks proved that assumption wrong. Intrusion detection solutions for industrial application need to meet certain requirements that differ from home and office environments, such as working without feedback to the process and compatibility with legacy systems. Industrial systems are commonly used for several decades, updates are often difficult and expensive. Furthermore, most industrial protocols do not have inherent authentication or encryption mechanisms, allowing for easy lateral movement of an intruder once the perimeter is breached. In this work, an algorithm for motif discovery in time series, Matrix Profiles, is used to detect outliers in the timing behaviour of an industrial process. This process was monitored in an experimental environment, containing ground truth labels after attacks were performed. Furthermore, the graph representations of a different industrial data set that has been emulated are used to detect malicious activities. These activities can be derived from anomalous communication patterns, represented as edges in the graph. Finally, an integration concept for both methods is proposed.


Using Machine Learning and Alternative Data to Predict Movements in Market Risk. Using machine learning and alternative data for the prediction of financial markets has been a popular topic in recent years. Many financial variables such as stock price, historical volatility and trade volume have already been through extensive investigation. Remarkably, we found no existing research on the prediction of an asset's market implied volatility within this context. This forward looking measure gauges the sentiment on the future volatility of an asset, and is deemed one of the most important parameters in the world of derivatives. The ability to predict this statistic may therefore provide a competitive edge to practitioners of market making and asset management alike. Consequently, in this paper we investigate Google News statistics and Wikipedia site traffic as alternative data sources to quantitative market data and consider Logistic Regression, Support Vector Machines and AdaBoost as machine learning models. We show that movements in market implied volatility can indeed be predicted through the help of machine learning techniques. Although the employed alternative data appears to not enhance predictive accuracy, we reveal preliminary evidence of non linear relationships between features obtained from Wikipedia page traffic and movements in market implied volatility.


Singular Brascamp Lieb a survey. We present an overview of results on multi linear singular integrals in the broader context of Brascamp Lieb inequalities. This elaborates a lecture given at the inspiring conference on Geometric Aspects of Harmonic Analysis at Cortona 2018 in honor of Fulvio Ricci.


Polarized rigid del Pezzo surfaces in low codimension. We provide explicit graded constructions of orbifold del Pezzo surfaces with rigid orbifold points of type left k i times frac 1 r i (1,a i) 3 le r i le 10,k i in ZZ ge 0 right as well formed and quasismooth varieties embedded in some weighted projective space. In particular, we present a collection of 147 such surfaces such that their image under their anti canonical embeddings can be described by using one of the following sets of equations a single equation, two linearly independent equations, five maximal Pfaffians of 5 times 5 skew symmetric matrix, and nine 2 times 2 minors of size 3 square matrix. This is a complete classification of such surfaces under certain carefully chosen bounds on the weights of ambient weighted projective spaces and it is largely based on detailed computer assisted searches by using the computer algebra system textsc magma .


Asymptotic behavior and control of a "guidance by repulsion" model. We model and analyze a herding problem, where the drivers try to steer the evaders' trajectories while the evaders always move away from the drivers. This problem is motivated by the guidance by repulsion model Escobedo, R., Iba nez, A. and Zuazua, E. COMMUN NONLINEAR SCI 39 (2016) 58 72 , where the authors answer how to control the evaders' positions and what is the optimal maneuver of the drivers. First, we obtain the well posedness and the long time behavior of the one driver and one evader model, assuming of the same friction coefficients. In this case, the exact controllability is proved in a long enough time horizon. We extend the model to the multi driver and multi evader case, and develop numerical simulations to systematically explore the nature of controlled dynamics in various scenarios. The optimal strategies turn out to share a common pattern to the one driver and one evader case the drivers rapidly occupy the position behind the target, and want to pursuit evaders in a straight line for most of the time. Inspired by this, we build a feedback strategy which stabilizes the direction of evaders.


An efficient steady state analysis of the eddy current problem using a parallel in time algorithm. This paper introduces a parallel in time algorithm for efficient steady state solution of the eddy current problem. Its main idea is based on the application of the well known multi harmonic (or harmonic balance) approach as the coarse solver within the periodic parallel in time framework. A frequency domain representation allows for the separate calculation of each harmonic component in parallel and therefore accelerates the solution of the time periodic system. The presented approach is verified for a nonlinear coaxial cable model.


The L q spectrum for a class of self similar measures with overlap. It is known that the heuristic principle, referred to as the multifractal formalism, need not hold for self similar measures with overlap, such as the 3 fold convolution of the Cantor measure and certain Bernoulli convolutions. In this paper we study an important function in the multifractal theory, the L q spectrum, tau (q) , for measures of finite type, a class of self similar measures that includes these examples. Corresponding to each measure, we introduce finitely many variants on the L q spectrum which arise naturally from the finite type structure and are often easier to understand than tau . We show that tau is always bounded by the minimum of these variants and is equal to the minimum variant for q geq 0 . This particular variant coincides with the L q spectrum of the measure mu restricted to appropriate subsets of its support. If the IFS satisfies particular structural properties, which do hold for the above examples, then tau is shown to be the minimum of these variants for all q . Under certain assumptions on the local dimensions of mu , we prove that the minimum variant for q ll 0 coincides with the straight line having slope equal to the maximum local dimension of mu . Again, this is the case with the examples above. More generally, bounds are given for tau and its variants in terms of notions closely related to the local dimensions of mu .


Necessary and Sufficient Conditions for Difference Flatness. We show that the flatness of a nonlinear discrete time system can be checked by computing a unique sequence of involutive distributions. The well known test for static feedback linearizability is included as a special case. Since the computation of the sequence of distributions requires only the solution of algebraic equations, it allows an efficient implementation in a computer algebra program. In case of a positive result, a flat output can be obtained by straightening out the involutive distributions with the Frobenius theorem. The resulting coordinate transformation can be used to transform the system into a structurally flat implicit triangular form. We illustrate our results by an example.


Game of Pure Chance with Restricted Boundary. We consider various probabilistic games with piles for one player or two players. In each round of the game, a player randomly chooses to add a or b chips to his pile under the condition that a and b are not necessarily positive. If a player has a negative number of chips after making his play, then the number of chips he collects will stay at 0 and the game will continue. All the games we considered satisfy these rules. The game ends when one collects n chips for the first time. Each player is allowed to start with s chips where s geq 0 . We consider various cases of (a,b) including the pairs (1, 1) and (2, 1) in particular. We investigate the probability generating functions of the number of turns required to end the games. We derive interesting recurrence relations for the sequences of such functions in n and write these generating functions as rational functions. As an application, we derive other statistics for the games which include the average number of turns required to end the game and other higher moments.


A tetrachotomy of ontology mediated queries with a covering axiom. Our concern is the problem of efficiently determining the data complexity of answering queries mediated by description logic ontologies and constructing their optimal rewritings to standard database queries. Originated in ontology based data access and datalog optimisation, this problem is known to be computationally very complex in general, with no explicit syntactic characterisations available. In this article, aiming to understand the fundamental roots of this difficulty, we strip the problem to the bare bones and focus on Boolean conjunctive queries mediated by a simple covering axiom stating that one class is covered by the union of two other classes. We show that, on the one hand, these rudimentary ontology mediated queries, called disjunctive sirups (or d sirups), capture many features and difficulties of the general case. For example, answering d sirups is Pi p 2 complete for combined complexity and can be in AC0 or LogSpace , NL , P , or coNP complete for data complexity (with the problem of recognising FO rewritability of d sirups being 2ExpTime hard) some d sirups only have exponential size resolution proofs, some only double exponential size positive existential FO rewritings and single exponential size nonrecursive datalog rewritings. On the other hand, we prove a few partial sufficient and necessary conditions of FO and (symmetric linear ) datalog rewritability of d sirups. Our main technical result is a complete and transparent syntactic AC0 NL P coNP tetrachotomy of d sirups with disjoint covering classes and a path shaped Boolean conjunctive query. To obtain this tetrachotomy, we develop new techniques for establishing P and coNP hardness of answering non Horn ontology mediated queries as well as showing that they can be answered in NL.


Does Comma Selection Help To Cope With Local Optima. One hope when using non elitism in evolutionary computation is that the ability to abandon the current best solution aids leaving local optima. To improve our understanding of this mechanism, we perform a rigorous runtime analysis of a basic non elitist evolutionary algorithm (EA), the ( mu, lambda) EA, on the most basic benchmark function with a local optimum, the jump function. We prove that for all reasonable values of the parameters and the problem, the expected runtime of the ( mu, lambda) EA is, apart from lower order terms, at least as large as the expected runtime of its elitist counterpart, the ( mu lambda) EA (for which we conduct the first runtime analysis on jump functions to allow this comparison). Consequently, the ability of the ( mu, lambda) EA to leave local optima to inferior solutions does not lead to a runtime advantage. We complement this lower bound with an upper bound that, for broad ranges of the parameters, is identical to our lower bound apart from lower order terms. This is the first runtime result for a non elitist algorithm on a multi modal problem that is tight apart from lower order terms.


Dynamic metabolic resource allocation based on the maximum entropy principle. Organisms have evolved a variety of mechanisms to cope with the unpredictability of environmental conditions, and yet mainstream models of metabolic regulation are typically based on strict optimality principles that do not account for uncertainty. This paper introduces a dynamic metabolic modelling framework that is a synthesis of recent ideas on resource allocation and the powerful optimal control formulation of Ramkrishna and colleagues. In particular, their work is extended based on the hypothesis that cellular resources are allocated among elementary flux modes according to the principle of maximum entropy. These concepts both generalise and unify prior approaches to dynamic metabolic modelling by establishing a smooth interpolation between dynamic flux balance analysis and dynamic metabolic models without regulation. The resulting theory is successful in describing bet hedging' strategies employed by cell populations dealing with uncertainty in a fluctuating environment, including heterogenous resource investment, accumulation of reserves in growth limiting conditions, and the observed behaviour of yeast growing in batch and continuous cultures. The maximum entropy principle is also shown to yield an optimal control law consistent with partitioning resources between elementary flux mode families, which has important practical implications for model reduction, selection, and simulation.


Cohomology and conformal derivations of BiHom Lie conformal superalgebras. In this paper, we introduce the notion of BiHom Lie conformal superalgebras. We develop its representation theory and define the cohomology group with coefficients in a module. Finally, we introduce conformal derivations of BiHom Lie conformal superalgebras and study some of their properties.


Bayesian fusion and multimodal DCM for EEG and fMRI. This paper asks whether integrating multimodal EEG and fMRI data offers a better characterisation of functional brain architectures than either modality alone. This evaluation rests upon a dynamic causal model that generates both EEG and fMRI data from the same neuronal dynamics. We introduce the use of Bayesian fusion to provide informative (empirical) neuronal priors derived from dynamic causal modelling (DCM) of EEG data for subsequent DCM of fMRI data. To illustrate this procedure, we generated synthetic EEG and fMRI timeseries for a mismatch negativity (or auditory oddball) paradigm, using biologically plausible model parameters (i.e., posterior expectations from a DCM of empirical, open access, EEG data). Using model inversion, we found that Bayesian fusion provided a substantial improvement in marginal likelihood or model evidence, indicating a more efficient estimation of model parameters, in relation to inverting fMRI data alone. We quantified the benefits of multimodal fusion with the information gain pertaining to neuronal and haemodynamic parameters as measured by the Kullback Leibler divergence between their prior and posterior densities. Remarkably, this analysis suggested that EEG data can improve estimates of haemodynamic parameters thereby furnishing proof of principle that Bayesian fusion of EEG and fMRI is necessary to resolve conditional dependencies between neuronal and haemodynamic estimators. These results suggest that Bayesian fusion may offer a useful approach that exploits the complementary temporal (EEG) and spatial (fMRI) precision of different data modalities. We envisage the procedure could be applied to any multimodal dataset that can be explained by a DCM with a common neuronal parameterisation.


Obstruction to a Higman embedding theorem for residually finite groups with solvable word problem. We prove that, for a finitely generated residually finite group, having solvable word problem is not a sufficient condition to be a subgroup of a finitely presented residually finite group. The obstruction is given by a residually finite group with solvable word problem for which there is no effective method that allows, given some non identity element, to find a morphism onto a finite group in which this element has a non trivial image. We also prove that the depth function of this group grows faster than any recursive function.


Packing Disks by Flipping and Flowing. We provide a new type of proof for the Koebe Andreev Thurston (KAT) planar circle packing theorem based on combinatorial edge flips. In particular, we show that starting from a disk packing with a maximal planar contact graph G , one can remove any flippable edge e of this graph and then continuously flow the disks in the plane, such that at the end of the flow, one obtains a new disk packing whose contact graph is the graph resulting from flipping the edge e in G . This flow is parameterized by a single inversive distance.


Driving with Style Inverse Reinforcement Learning in General Purpose Planning for Automated Driving. Behavior and motion planning play an important role in automated driving. Traditionally, behavior planners instruct local motion planners with predefined behaviors. Due to the high scene complexity in urban environments, unpredictable situations may occur in which behavior planners fail to match predefined behavior templates. Recently, general purpose planners have been introduced, combining behavior and local motion planning. These general purpose planners allow behavior aware motion planning given a single reward function. However, two challenges arise First, this function has to map a complex feature space into rewards. Second, the reward function has to be manually tuned by an expert. Manually tuning this reward function becomes a tedious task. In this paper, we propose an approach that relies on human driving demonstrations to automatically tune reward functions. This study offers important insights into the driving style optimization of general purpose planners with maximum entropy inverse reinforcement learning. We evaluate our approach based on the expected value difference between learned and demonstrated policies. Furthermore, we compare the similarity of human driven trajectories with optimal policies of our planner under learned and expert tuned reward functions. Our experiments show that we are able to learn reward functions exceeding the level of manual expert tuning without prior domain knowledge.


Hybrid Compositional Reasoning for Reactive Synthesis from Finite Horizon Specifications. LTLf synthesis is the automated construction of a reactive system from a high level description, expressed in LTLf, of its finite horizon behavior. So far, the conversion of LTLf formulas to deterministic finite state automata (DFAs) has been identified as the primary bottleneck to the scalabity of synthesis. Recent investigations have also shown that the size of the DFA state space plays a critical role in synthesis as well. Therefore, effective resolution of the bottleneck for synthesis requires the conversion to be time and memory performant, and prevent state space explosion. Current conversion approaches, however, which are based either on explicit state representation or symbolic state representation, fail to address these necessities adequately at scale Explicit state approaches generate minimal DFA but are slow due to expensive DFA minimization. Symbolic state representations can be succinct, but due to the lack of DFA minimization they generate such large state spaces that even their symbolic representations cannot compensate for the blow up. This work proposes a hybrid representation approach for the conversion. Our approach utilizes both explicit and symbolic representations of the state space, and effectively leverages their complementary strengths. In doing so, we offer an LTLf to DFA conversion technique that addresses all three necessities, hence resolving the bottleneck. A comprehensive empirical evaluation on conversion and synthesis benchmarks supports the merits of our hybrid approach.


Bounded multiplicity for eigenvalues of a circular vibrating clamped plate. We prove that no eigenvalue of the clamped disk can have multiplicity greater than six. Our method of proof is based on a new recursion formula, linear algebra arguments and a transcendency theorem due to Siegel and Shidlovskii.


A Finite Test for the Linearizability of Two Input Systems by a Two Dimensional Endogenous Dynamic Feedback. We propose an algorithmic test to check whether a two input system is linearizable by an endogenous dynamic feedback with a dimension of at most two. This test furthermore provides a procedure for systematically deriving flat outputs for this class of systems.


Spatiotemporal Characteristics and Factor Analysis of SARS CoV 2 Infections among Healthcare Workers in Wuhan, China. Studying the spatiotemporal distribution of SARS CoV 2 infections among healthcare workers (HCWs) can aid in protecting them from exposure. Existing studies related to HCW infections have emphasized infection rates and protective measures. However, the spatiotemporal patterns and related external environmental factors of HCW infections remain unclear. To fill this gap, an open source dataset of HCW diagnoses was provided, and the spatiotemporal distributions of SARS CoV 2 infections among HCWs in Wuhan, China were explored. A geographical detector technique was then used to investigate the impacts of hospital level, type, distance from the infection source, and other external indicators of HCW infections. The results showed that the number of daily HCW infections over time in Wuhan followed a log normal distribution, with and its mean observed on January 23, 2020 and a standard deviation of 10.8 days. The implementation of high impact measures, such as the lockdown of the city, may have increased the probability of HCW infections in the short term, especially for HCWs in the outer ring of Wuhan. The infection of HCWs Wuhan exhibited clear spatial heterogeneity. The number of HCW infections was higher in the central city and lower in the outer city. Moreover, HCW infections displayed significant spatial autocorrelation and dependence. Factors analyses revealed that hospital level and type had an even greater impact on HCW infections third class and general hospitals closer to infection sources were correlated with especially high risks of infection. These findings can aid national epidemic prevention and control departments to understand the spatiotemporal distributions of viral transmission resulting in HCW infections, as well as external influencing factors, which can facilitate the protection of HCWs in China.


Derived length of zero entropy groups acting on projective varieties in arbitrary characteristic A remark to a paper of Dinh Oguiso Zhang. Let X be a projective variety of dimension n ge1 over an algebraically closed field of arbitrary characteristic. We prove a Fujiki Lieberman type theorem on the structure of the automorphism group of X . Let G be a group of zero entropy automorphisms of X and G 0 the set of elements in G which are isotopic to the identity. We show that after replacing G by a suitable finite index subgroup, G G 0 is a unipotent group of the derived length at most n 1 . This result was first proved by Dinh, Oguiso and Zhang for compact K "ahler manifolds.


Integrals of groups II. An integral of a group G is a group H whose commutator subgroup is isomorphic to G . This paper continues the investigation on integrals of groups started in the work arXiv 1803.10179. We study (1) A sufficient condition for a bound on the order of an integral for a finite integrable group and a necessary condition for a group to be integrable. (2) The existence of integrals that are p groups for abelian p groups, and of nilpotent integrals for all abelian groups. (3) Integrals of (finite or infinite) abelian groups, including nilpotent integrals, groups with finite index in some integral, periodic groups, torsion free groups and finitely generated groups. (4) The variety of integrals of groups from a given variety, varieties of integrable groups and classes of groups whose integrals (when they exist) still belong to such a class. (5) Integrals of profinite groups and a characterization for integrability for finitely generated profinite centreless groups. (6) Integrals of Cartesian products, which are then used to construct examples of integrable profinite groups without a profinite integral. We end the paper with a number of open problems.


AlloVera A Multilingual Allophone Database. We introduce a new resource, AlloVera, which provides mappings from 218 allophones to phonemes for 14 languages. Phonemes are contrastive phonological units, and allophones are their various concrete realizations, which are predictable from phonological context. While phonemic representations are language specific, phonetic representations (stated in terms of (allo)phones) are much closer to a universal (language independent) transcription. AlloVera allows the training of speech recognition models that output phonetic transcriptions in the International Phonetic Alphabet (IPA), regardless of the input language. We show that a "universal" allophone model, Allosaurus, built with AlloVera, outperforms "universal" phonemic models and language specific models on a speech transcription task. We explore the implications of this technology (and related technologies) for the documentation of endangered and minority languages. We further explore other applications for which AlloVera will be suitable as it grows, including phonological typology.


WES Agent based User Interaction Simulation on Real Infrastructure. We introduce the Web Enabled Simulation (WES) research agenda, and describe FACEBOOK's WW system. We describe the application of WW to reliability, integrity and privacy at FACEBOOK , where it is used to simulate social media interactions on an infrastructure consisting of hundreds of millions of lines of code. The WES agenda draws on research from many areas of study, including Search Based Software Engineering, Machine Learning, Programming Languages, Multi Agent Systems, Graph Theory, Game AI, and AI Assisted Game Play. We conclude with a set of open problems and research challenges to motivate wider investigation.


(Positive) Totally Ordered Noncommutative Monoids How Noncommutative Can They Be?. Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition. In this note we attempt an introductory investigation of totally (also partially) ordered monoids, not assumed commutative (still writing them additively), and taking them as positive, i.e. every element is greater than the unit element. That, in the usual commutative cases, allows the ordering to be defined via the algebraic structure, namely, as divisibility (in our additive sense) a le b defined as exists ,c , ,(b a c) . The noncommutative case offers several ways to generalize that. First we try to follow the divisibility definition (on the right or on the left). Then, alternatively, we insist on the ordering being compatible with the operation both on the left and on the right, but strict inequality may not carry over again refer to the ordinals example. We try to see what axiom(s) such requirements impose on the monoid structure, and some facts are established. Focusing especially on the totally ordered case, one finds that necessarily the noncommutativity is somewhat limited. One may partly emulate here the commutative case, speaking about infinitely grater vs. Archimedean to each other elements, and in the Archimedean case even emulate Euclid's Elements' theory of ratios' all that imposing some partial commutativity.


The asymptotic number of prefix normal words. We show that the number of prefix normal binary words of length n is 2 n Theta(( log n) 2) . We also show that the maximum number of binary words of length n with a given fixed prefix normal form is 2 n O( sqrt n log n ) .


The singularities and Kodaira dimension of unitary Shimura varieties. The Kodaira dimension of Shimura varieties has been studied by many people. Kondo and Gritsenko Hulek Sankaran studied the singularities of orthogonal Shimura varieties related to the moduli spaces of polarized K3 surfaces. They proved that they have canonical singularities and are of general type if the polarization degree is sufficiently large. In this paper, we work on similar problems for unitary Shimura varieties. We show that they have canonical singularities if n 4 . As an application, we show that certain unitary Shimura varieties associated with Hermitian forms over the rings of integers of mathbb Q ( sqrt 1 ) , mathbb Q ( sqrt 3 ) are of general type. We use modular forms of low weight vanishing on ramification divisors, which are the restrictions of the quasi pullbacks of the Borcherds form Phi 12 .


Search via Parallel L 'e vy Walks on mathbb Z 2 . Motivated by the emph L 'e vy foraging hypothesis the premise that various animal species have adapted to follow emph L 'e vy walks to optimize their search efficiency we study the parallel hitting time of L 'e vy walks on the infinite two dimensional grid.We consider k independent discrete time L 'e vy walks, with the same exponent alpha in(1, infty) , that start from the same node, and analyze the number of steps until the first walk visits a given target at distance ell .We show that for any choice of k and ell from a large range, there is a unique optimal exponent alpha k, ell in (2,3) , for which the hitting time is tilde O( ell 2 k) w.h.p., while modifying the exponent by an epsilon term increases the hitting time by a polynomial factor, or the walks fail to hit the target almost surely.Based on that, we propose a surprisingly simple and effective parallel search strategy, for the setting where k and ell are unknown the exponent of each L 'e vy walk is just chosen independently and uniformly at random from the interval (2,3) .This strategy achieves optimal search time (modulo polylogarithmic factors) among all possible algorithms (even centralized ones that know k ).Our results should be contrasted with a line of previous work showing that the exponent alpha 2 is optimal for various search problems.In our setting of k parallel walks, we show that the optimal exponent depends on k and ell , and that randomizing the choice of the exponents works simultaneously for all k and ell .