On Integer Sequences Associated To Two Distinct Sums. In this note, we show the existence of integer sequences of lengths at least 3 (except 7) such that for every integer in position i equiv 1 pmod 4 (respectively position j equiv 3 pmod 4 ), counting from left to right, the sum of the integer and the adjacent integer(s) has a constant sum x (respectively y ) with x ne y .


Exact SDP relaxations of quadratically constrained quadratic programs with forest structures. We study the exactness of the semidefinite programming (SDP) relaxation of quadratically constrained quadratic programs (QCQPs). With the aggregate sparsity matrix from the data matrices of a QCQP with n variables, the rank and positive semidefiniteness of the matrix are examined. We prove that if the rank of the aggregate sparsity matrix is not less than n 1 and the matrix remains positive semidefinite after replacing some off diagonal nonzero elements with zeros, then the standard SDP relaxation provides an exact optimal solution for the QCQP under feasibility assumptions. In particular, we demonstrate that QCQPs with forest structured aggregate sparsity matrix, such as the tridiagonal or arrow type matrix, satisfy the exactness condition on the rank. The exactness is attained by considering the feasibility of the dual SDP relaxation, the strong duality of SDPs, and a sequence of QCQPs with perturbed objective functions, under the assumption that the feasible region is compact. We generalize our result for a wider class of QCQPs by applying simultaneous tridiagonalization on the data matrices. Moreover, simultaneous tridiagonalization is applied to a matrix pencil so that QCQPs with two constraints can be solved exactly by the SDP relaxation.


Learning Gaussian Instance Segmentation in Point Clouds. This paper presents a novel method for instance segmentation of 3D point clouds. The proposed method is called Gaussian Instance Center Network (GICN), which can approximate the distributions of instance centers scattered in the whole scene as Gaussian center heatmaps. Based on the predicted heatmaps, a small number of center candidates can be easily selected for the subsequent predictions with efficiency, including i) predicting the instance size of each center to decide a range for extracting features, ii) generating bounding boxes for centers, and iii) producing the final instance masks. GICN is a single stage, anchor free, and end to end architecture that is easy to train and efficient to perform inference. Benefited from the center dictated mechanism with adaptive instance size selection, our method achieves state of the art performance in the task of 3D instance segmentation on ScanNet and S3DIS datasets.


Multiview Detection with Feature Perspective Transformation. Incorporating multiple camera views for detection alleviates the impact of occlusions in crowded scenes. In a multiview system, we need to answer two important questions when dealing with ambiguities that arise from occlusions. First, how should we aggregate cues from the multiple views? Second, how should we aggregate unreliable 2D and 3D spatial information that has been tainted by occlusions? To address these questions, we propose a novel multiview detection system, MVDet. For multiview aggregation, existing methods combine anchor box features from the image plane, which potentially limits performance due to inaccurate anchor box shapes and sizes. In contrast, we take an anchor free approach to aggregate multiview information by projecting feature maps onto the ground plane (bird's eye view). To resolve any remaining spatial ambiguity, we apply large kernel convolutions on the ground plane feature map and infer locations from detection peaks. Our entire model is end to end learnable and achieves 88.2 MODA on the standard Wildtrack dataset, outperforming the state of the art by 14.1 . We also provide detailed analysis of MVDet on a newly introduced synthetic dataset, MultiviewX, which allows us to control the level of occlusion. Code and MultiviewX dataset are available at https github.com hou yz MVDet.


BiHom Novikov algebras and infinitesimal BiHom bialgebras. We introduce and study infinitesimal BiHom bialgebras, BiHom Novikov algebras, BiHom Novikov Poisson algebras, and find some relations among these concepts. Our main result is to show how to obtain a left BiHom pre Lie algebra from an infinitesimal BiHom bialgebra


Central Limit Theorems on Compact Metric Spaces. We produce a series of Central Limit Theorems (CLTs) associated to compact metric measure spaces (K,d, eta) , with eta a reasonable probability measure. For the first CLT, we can ignore eta by isometrically embedding K into mathcal C (K) , the space of continuous functions on K with the sup norm, and then applying known CLTs for sample means on Banach spaces (Theorem 3.1). However, the sample mean makes no sense back on K , so using eta we develop a CLT for the sample Fr 'echet mean (Corollary 4.1). This involves working on the closed convex hull of the embedded image of K . To work in the easier Hilbert space setting of L 2(K, eta) , we have to modify the metric d to a related metric d eta . We obtain an L 2 CLT for both the sample mean and the sample Fr 'echet mean (Theorem 5.1), and we relate the Fr 'echet sample and population means on the closed convex hull to the Fr 'echet means on the image of K . Since the L 2 and L infty norms play important roles, in Section 6 we develop a metric measure criterion relating d and eta under which all L p norms are equivalent.


Matrix Monotonic Optimization Part II Multi Variable Optimization. In contrast to Part I of this treatise 1 that focuses on the optimization problems associated with single matrix variables, in this paper, we investigate the application of the matrix monotonic optimization framework in the optimization problems associated with multiple matrix variables. It is revealed that matrix monotonic optimization still works even for multiple matrix variate based optimization problems, provided that certain conditions are satisfied. Using this framework, the optimal structures of the matrix variables can be derived and the associated multiple matrix variate optimization problems can be substantially simplified. In this paper, several specific examples are given, which are essentially open problems. Firstly, we investigate multi user multiple input multiple output (MU MIMO) uplink communications under various power constraints. Using the proposed framework, the optimal structures of the precoding matrices at each user under various power constraints can be derived. Secondly, we considered the optimization of the signal compression matrices at each sensor under various power constraints in distributed sensor networks. Finally, we investigate the transceiver optimization for multi hop amplify and forward (AF) MIMO relaying networks with imperfect channel state information (CSI) under various power constraints. At the end of this paper, several simulation results are given to demonstrate the accuracy of the proposed theoretical results.


3D Dense Face Alignment via Graph Convolution Networks. Recently, 3D face reconstruction and face alignment tasks are gradually combined into one task 3D dense face alignment. Its goal is to reconstruct the 3D geometric structure of face with pose information. In this paper, we propose a graph convolution network to regress 3D face coordinates. Our method directly performs feature learning on the 3D face mesh, where the geometric structure and details are well preserved. Extensive experiments show that our approach gains superior performance over state of the art methods on several challenging datasets.


Sentiment Tagging with Partial Labels using Modular Architectures. Many NLP learning tasks can be decomposed into several distinct sub tasks, each associated with a partial label. In this paper we focus on a popular class of learning problems, sequence prediction applied to several sentiment analysis tasks, and suggest a modular learning approach in which different sub tasks are learned using separate functional modules, combined to perform the final task while sharing information. Our experiments show this approach helps constrain the learning process and can alleviate some of the supervision efforts.


The Sum Composition Problem. In this paper, we study the "sum composition problem" between two lists A and B of positive integers. We start by saying that B is "sum composition" of A when there exists an ordered m partition A 1, ldots,A m of A where m is the length of B and the sum of each part A k is equal to the corresponding part of B . Then, we consider the following two problems i) the "exhaustive problem", consisting in the generation of all partitions of A for which B is sum composition of A , and ii) the "existential problem", consisting in the verification of the existence of a partition of A for which B is sum composition of A . Starting from some general properties of the sum compositions, we present a first algorithm solving the exhaustive problem and then a second algorithm solving the existential problem. We also provide proofs of correctness and experimental analysis for assessing the quality of the proposed solutions along with a comparison with related works.


Topological full groups of ultragraph groupoids as an isomorphism invariant. We prove two isomorphism invariance theorems for groupoids associated with ultragraphs. These theorems characterize ultragraphs for which the topological full group of an associated groupoid is an isomorphism invariant. These results extend those of graph groupoids to ultragraph groupoids while providing another concrete example where the topological full group of a groupoid is a complete isomorphism invariant.


Analysing Meso and Macro conversation structures in an online suicide support forum. Platforms like Reddit and Twitter offer internet users an opportunity to talk about diverse issues, including those pertaining to physical and mental health. Some of these forums also function as a safe space for severely distressed mental health patients to get social support from peers. The online community platform Reddit's SuicideWatch is one example of an online forum dedicated specifically to people who suffer from suicidal thoughts, or who are concerned about people who might be at risk. It remains to be seen if these forums can be used to understand and model the nature of online social support, not least because of the noisy and informal nature of conversations. Moreover, understanding how a community of volunteering peers react to calls for help in cases of suicidal posts, would help to devise better tools for online mitigation of such episodes. In this paper, we propose an approach to characterise conversations in online forums. Using data from the SuicideWatch subreddit as a case study, we propose metrics at a macroscopic level measuring the structure of the entire conversation as a whole. We also develop a framework to measure structures in supportive conversations at a mesoscopic level measuring interactions with the immediate neighbours of the person in distress. We statistically show through comparison with baseline conversations from random Reddit threads that certain macro and meso scale structures in an online conversation exhibit signatures of social support, and are particularly over expressed in SuicideWatch conversations.


Quasimaps and some examples of stacks for everybody. This note introduces the theory of quasimaps to GIT quotients with intuition and concrete examples, with the goal of explaining a closed formula for the quasimap I function. Along the way, it emphasizes aspects of this story that illustrate general stacky concepts.


Boundedness of n complements for generalized pairs. We show the existence of n complements for generalized pairs with additional Diophantine approximation properties when the coefficients of boundaries belong to a DCC set.


SADet Learning An Efficient and Accurate Pedestrian Detector. Although the anchor based detectors have taken a big step forward in pedestrian detection, the overall performance of algorithm still needs further improvement for practical applications, emph e.g. , a good trade off between the accuracy and efficiency. To this end, this paper proposes a series of systematic optimization strategies for the detection pipeline of one stage detector, forming a single shot anchor based detector (SADet) for efficient and accurate pedestrian detection, which includes three main improvements. Firstly, we optimize the sample generation process by assigning soft tags to the outlier samples to generate semi positive samples with continuous tag value between 0 and 1 , which not only produces more valid samples, but also strengthens the robustness of the model. Secondly, a novel Center IoU loss is applied as a new regression loss for bounding box regression, which not only retains the good characteristics of IoU loss, but also solves some defects of it. Thirdly, we also design Cosine NMS for the postprocess of predicted bounding boxes, and further propose adaptive anchor matching to enable the model to adaptively match the anchor boxes to full or visible bounding boxes according to the degree of occlusion, making the NMS and anchor matching algorithms more suitable for occluded pedestrian detection. Though structurally simple, it presents state of the art result and real time speed of 20 FPS for VGA resolution images ( 640 times 480 ) on challenging pedestrian detection benchmarks, i.e., CityPersons, Caltech, and human detection benchmark CrowdHuman, leading to a new attractive pedestrian detector.


Emotion Detection in Text Focusing on Latent Representation. In recent years, emotion detection in text has become more popular due to its vast potential applications in marketing, political science, psychology, human computer interaction, artificial intelligence, etc. In this work, we argue that current methods which are based on conventional machine learning models cannot grasp the intricacy of emotional language by ignoring the sequential nature of the text, and the context. These methods, therefore, are not sufficient to create an applicable and generalizable emotion detection methodology. Understanding these limitations, we present a new network based on a bidirectional GRU model to show that capturing more meaningful information from text can significantly improve the performance of these models. The results show significant improvement with an average of 26.8 point increase in F measure on our test data and 38.6 increase on the totally new dataset.


Extracting Semantic Concepts and Relations from Scientific Publications by Using Deep Learning. With the large volume of unstructured data that increases constantly on the web, the motivation of representing the knowledge in this data in the machine understandable form is increased. Ontology is one of the major cornerstones of representing the information in a more meaningful way on the semantic Web. The current ontology repositories are quite limited either for their scope or for currentness. In addition, the current ontology extraction systems have many shortcomings and drawbacks, such as using a small dataset, depending on a large amount predefined patterns to extract semantic relations, and extracting a very few types of relations. The aim of this paper is to introduce a proposal of automatically extracting semantic concepts and relations from scientific publications. This paper suggests new types of semantic relations and points out of using deep learning (DL) models for semantic relation extraction.


Learning predictive representations in autonomous driving to improve deep reinforcement learning. Reinforcement learning using a novel predictive representation is applied to autonomous driving to accomplish the task of driving between lane markings where substantial benefits in performance and generalization are observed on unseen test roads in both simulation and on a real Jackal robot. The novel predictive representation is learned by general value functions (GVFs) to provide out of policy, or counter factual, predictions of future lane centeredness and road angle that form a compact representation of the state of the agent improving learning in both online and offline reinforcement learning to learn to drive an autonomous vehicle with methods that generalizes well to roads not in the training data. Experiments in both simulation and the real world demonstrate that predictive representations in reinforcement learning improve learning efficiency, smoothness of control and generalization to roads that the agent was never shown during training, including damaged lane markings. It was found that learning a predictive representation that consists of several predictions over different time scales, or discount factors, improves the performance and smoothness of the control substantially. The Jackal robot was trained in a two step process where the predictive representation is learned first followed by a batch reinforcement learning algorithm (BCQ) from data collected through both automated and human guided exploration in the environment. We conclude that out of policy predictive representations with GVFs offer reinforcement learning many benefits in real world problems.


Robust and Generalizable Visual Representation Learning via Random Convolutions. While successful for various computer vision tasks, deep neural networks have shown to be vulnerable to texture style shifts and small perturbations to which humans are robust. In this work, we show that the robustness of neural networks can be greatly improved through the use of random convolutions as data augmentation. Random convolutions are approximately shape preserving and may distort local textures. Intuitively, randomized convolutions create an infinite number of new domains with similar global shapes but random local textures. Therefore, we explore using outputs of multi scale random convolutions as new images or mixing them with the original images during training. When applying a network trained with our approach to unseen domains, our method consistently improves the performance on domain generalization benchmarks and is scalable to ImageNet. In particular, in the challenging scenario of generalizing to the sketch domain in PACS and to ImageNet Sketch, our method outperforms state of art methods by a large margin. More interestingly, our method can benefit downstream tasks by providing a more robust pretrained visual representation.


Pebble Intervals Automata and FO2 with Two Orders (Extended Version). We introduce a novel automata model, called pebble intervals automata (PIA), and study its power and closure properties. PIAs are tailored for a decidable fragment of FO that is important for reasoning about structures that use data values from infinite domains the two variable fragment with one total preorder and its induced successor relation, one linear order, and an arbitrary number of unary relations. We prove that the string projection of every language of data words definable in the logic is accepted by a pebble intervals automaton A, and obtain as a corollary an automata theoretic proof of the EXPSPACE upper bound for finite satisfiability due to Schwentick and Zeume.


On new record graphs close to bipartite Moore graphs. The modelling of interconnection networks by graphs motivated the study of several extremal problems that involve well known parameters of a graph (degree, diameter, girth and order) and ask for the optimal value of one of them while holding the other two fixed. Here we focus in em bipartite Moore graphs , that is, bipartite graphs attaining the optimum order, fixed either the degree diameter or degree girth. The fact that there are very few bipartite Moore graphs suggests the relaxation of some of the constraints implied by the bipartite Moore bound. First we deal with em local bipartite Moore graphs . We find in some cases those local bipartite Moore graphs with local girths as close as possible to the local girths given by a bipartite Moore graph. Second, we construct a family of (q 2) bipartite graphs of order 2(q 2 q 5) and diameter 3 , for q a power of prime. These graphs attain the record value for q 9 and improve the values for q 11 and q 13 .


Ego Pose Estimation and Forecasting as Real Time PD Control. We propose the use of a proportional derivative (PD) control based policy learned via reinforcement learning (RL) to estimate and forecast 3D human pose from egocentric videos. The method learns directly from unsegmented egocentric videos and motion capture data consisting of various complex human motions (e.g., crouching, hopping, bending, and motion transitions). We propose a video conditioned recurrent control technique to forecast physically valid and stable future motions of arbitrary length. We also introduce a value function based fail safe mechanism which enables our method to run as a single pass algorithm over the video data. Experiments with both controlled and in the wild data show that our approach outperforms previous art in both quantitative metrics and visual quality of the motions, and is also robust enough to transfer directly to real world scenarios. Additionally, our time analysis shows that the combined use of our pose estimation and forecasting can run at 30 FPS, making it suitable for real time applications.


Approximate Turing Kernelization for Problems Parameterized by Treewidth. We extend the notion of lossy kernelization, introduced by Lokshtanov et al. STOC 2017 , to approximate Turing kernelization. An alpha approximate Turing kernel for a parameterized optimization problem is a polynomial time algorithm that, when given access to an oracle that outputs c approximate solutions in O(1) time, obtains an ( alpha cdot c) approximate solution to the considered problem, using calls to the oracle of size at most f(k) for some function f that only depends on the parameter. Using this definition, we show that Independent Set parameterized by treewidth ell has a (1 varepsilon) approximate Turing kernel with O( frac ell 2 varepsilon ) vertices, answering an open question posed by Lokshtanov et al. STOC 2017 . Furthermore, we give (1 varepsilon) approximate Turing kernels for the following graph problems parameterized by treewidth Vertex Cover, Edge Clique Cover, Edge Disjoint Triangle Packing and Connected Vertex Cover. We generalize the result for Independent Set and Vertex Cover, by showing that all graph problems that we will call "friendly" admit (1 varepsilon) approximate Turing kernels of polynomial size when parameterized by treewidth. We use this to obtain approximate Turing kernels for Vertex Disjoint H packing for connected graphs H , Clique Cover, Feedback Vertex Set and Edge Dominating Set.


XACs DyPol Towards an XACML based Access Control Model for Dynamic Security Policy. Authorization and access control play an essential role in protecting sensitive information from malicious users. The system is based on security policies to determine if an access request is allowed. However, of late, the growing popularity of big data has created a new challenge which the security policy management is facing with such as dynamic and update policies in run time. Applications of dynamic policies have brought many benefits to modern domains. To the best of our knowledge, there are no previous studies focusing on solving authorization problems in the dynamic policy environments. In this article, we focus on analyzing and classifying when an update policy occurs, and provide a pragmatic solution for such dynamic policies. The contribution of this work is twofold a novel solution for managing the policy changes even when the access request has been granted, and an XACML based implementation to empirically evaluate the proposed solution. The experimental results show the comparison between the newly introduced XACs DyPol framework with Balana (an open source framework supporting XACML 3.0). The datasets are XACML 3.0 based policies, including three samples of real world policy sets. According to the comparison results, our XACs DyPol framework performs better than Balana in terms of all updates in dynamic security policy cases. Specially, our proposed solution outperforms by an order of magnitude when the policy structure includes complex policy sets, policies, and rules or some complicated comparison expression which contains higher than function and less than function.


Adaptive Real Time Scheduling for Cooperative Cyber Physical Systems. CPSs are widely used in all sorts of applications ranging from industrial automation to search and rescue. So far, in these applications they work either isolated with a high mobility or operate in a static networks setup. If mobile CPSs work cooperatively, it is in applications with relaxed real time requirements. To enable such cooperation also in hard real time applications we present a scheduling approach that is able to adapt real time schedules to the changes that happen in mobile networks. We present a Mixed Integer Linear Programmingmodel and a heuristic to generate schedules for those networks. One of the key challenges is that running applications must not be interrupted while the schedule is adapted. Therefore, the scheduling has to consider the delay and jitter boundaries, given by the application, while generating the adapted schedule.


Tracing Antisemitic Language Through Diachronic Embedding Projections France 1789 1914. We investigate some aspects of the history of antisemitism in France, one of the cradles of modern antisemitism, using diachronic word embeddings. We constructed a large corpus of French books and periodicals issues that contain a keyword related to Jews and performed a diachronic word embedding over the 1789 1914 period. We studied the changes over time in the semantic spaces of 4 target words and performed embedding projections over 6 streams of antisemitic discourse. This allowed us to track the evolution of antisemitic bias in the religious, economic, socio politic, racial, ethic and conspiratorial domains. Projections show a trend of growing antisemitism, especially in the years starting in the mid 80s and culminating in the Dreyfus affair. Our analysis also allows us to highlight the peculiar adverse bias towards Judaism in the broader context of other religions.


Gradient Projection for Solving Quadratic Programs with Standard Simplex Constraints. An important method to optimize a function on standard simplex is the active set algorithm, which requires the gradient of the function to be projected onto a hyperplane, with sign constraints on the variables that lie in the boundary of the simplex. We propose a new algorithm to efficiently project the gradient for this purpose. Furthermore, we apply the proposed gradient projection method to quadratic programs (QP) with standard simplex constraints, where gradient projection is used to explore the feasible region and, when we believe the optimal active set is identified, we switch to constrained conjugate gradient to accelerate convergence. Specifically, two different directions of gradient projection are used to explore the simplex, namely, the projected gradient and the reduced gradient. We choose one of the two directions according to the angle between the directions. Moreover, we propose two conditions for guessing the optimal active set heuristically. The first condition is that the working set remains unchanged for many iterations, and the second condition is that the angle between the projected gradient and the reduced gradient is small enough. Based on these strategies, a new active set algorithm for solving quadratic programs on standard simplex is proposed.


Singularity and Coordination Problems Pandemic Lessons from 2020. Are there any indications that a Technological Singularity may be on the horizon? In trying to answer these questions, the authors made a small introduction to the area of safety research in artificial intelligence. The authors review some of the current paradigms in the development of autonomous intelligent systems, searching for evidence that may indicate the coming of a possible Technological Singularity. Finally, the authors present a reflection using the COVID 19 pandemic, something that showed that global society biggest problem in managing existential risks is its lack of coordination skills as a global society.


K theory formulas for orthogonal and symplectic orbit closures. The complex orthogonal and symplectic groups both act on the complete flag variety with finitely many orbits. We study two families of polynomials introduced by Wyser and Yong representing the K theory classes of the closures of these orbits. Our polynomials are analogous to the Grothendieck polynomials representing K classes of Schubert varieties, and we show that like Grothendieck polynomials, they are uniquely characterized among all polynomials representing the relevant classes by a certain stability property. We show that the same polynomials represent the equivariant K classes of symmetric and skew symmetric analogues of Knutson and Miller's matrix Schubert varieties. We derive explicit expressions for these polynomials in special cases, including a Pfaffian formula relying on a more general degeneracy locus formula of Anderson. Finally, we show that taking an appropriate limit of our representatives recovers the K theoretic Schur Q functions of Ikeda and Naruse.


Predicting Visual Memory Schemas with Variational Autoencoders. Visual memory schema (VMS) maps show which regions of an image cause that image to be remembered or falsely remembered. Previous work has succeeded in generating low resolution VMS maps using convolutional neural networks. We instead approach this problem as an image to image translation task making use of a variational autoencoder. This approach allows us to generate higher resolution dual channel images that represent visual memory schemas, allowing us to evaluate predicted true memorability and false memorability separately. We also evaluate the relationship between VMS maps, predicted VMS maps, ground truth memorability scores, and predicted memorability scores.


Harmonic differential forms for pseudo reflection groups I. Semi invariants. We give a type independent construction of an explicit basis for the semi invariant harmonic differential forms of an arbitrary pseudo reflection group in characteristic zero. Our "top down" approach uses the methods of Cartan's exterior calculus and is in some sense dual to related work of Solomon, Orlik Solomon, and Shepler describing (semi )invariant differential forms. We apply our results to a recent conjecture of Zabrocki which provides a representation theoretic model for the Delta conjecture of Haglund Remmel Wilson in terms of a certain non commutative coinvariant algebra for the symmetric group. In particular, we verify the alternating component of a specialization of Zabrocki's conjecture.


An Interactive Indoor Drone Assistant. With the rapid advance of sophisticated control algorithms, the capabilities of drones to stabilise, fly and manoeuvre autonomously have dramatically improved, enabling us to pay greater attention to entire missions and the interaction of a drone with humans and with its environment during the course of such a mission. In this paper, we present an indoor office drone assistant that is tasked to run errands and carry out simple tasks at our laboratory, while given instructions from and interacting with humans in the space. To accomplish its mission, the system has to be able to understand verbal instructions from humans, and perform subject to constraints from control and hardware limitations, uncertain localisation information, unpredictable and uncertain obstacles and environmental factors. We combine and evaluate the dialogue, navigation, flight control, depth perception and collision avoidance components. We discuss performance and limitations of our assistant at the component as well as the mission level. A 78 mission success rate was obtained over the course of 27 missions.


On minimal bases and indices of rational matrices and their linearizations. A complete theory of the relationship between the minimal bases and indices of rational matrices and those of their strong linearizations is presented. Such theory is based on establishing first the relationships between the minimal bases and indices of rational matrices and those of their polynomial system matrices under the classical minimality condition and certain additional conditions of properness. This is related to pioneer results obtained by Verghese, Van Dooren and Kailath in 1979 80, which were the first proving results of this type under different nonequivalent conditions. It is shown that the definitions of linearizations and strong linearizations do not guarantee any relationship between the minimal bases and indices of the linearizations and the rational matrices in general. In contrast, simple relationships are obtained for the family of strong block minimal bases linearizations, which can be used to compute minimal bases and indices of any rational matrix, including rectangular ones, via algorithms for pencils. These results extend the corresponding ones for other families of linearizations available in recent literature for square rational matrices.


Ownership at Large Open Problems and Challenges in Ownership Management. Software intensive organizations rely on large numbers of software assets of different types, e.g., source code files, tables in the data warehouse, and software configurations. Who is the most suitable owner of a given asset changes over time, e.g., due to reorganization and individual function changes. New forms of automation can help suggest more suitable owners for any given asset at a given point in time. By such efforts on ownership health, accountability of ownership is increased. The problem of finding the most suitable owners for an asset is essentially a program comprehension problem how do we automatically determine who would be best placed to understand, maintain, evolve (and thereby assume ownership of) a given asset. This paper introduces the Facebook Ownesty system, which uses a combination of ultra large scale data mining and machine learning and has been deployed at Facebook as part of the company's ownership management approach. Ownesty processes many millions of software assets (e.g., source code files) and it takes into account workflow and organizational aspects. The paper sets out open problems and challenges on ownership for the research community with advances expected from the fields of software engineering, programming languages, and machine learning.


The Surjectivity of the Evaluation Map of the Affine Super Yangian. There exists a homomorphism from the affine super Yangian to the completion of the universal enveloping algebra of widehat mathfrak gl (m n) , called the evaluation map. In this paper, we show that this homomorphism is surjective. Via the homomorphism, we obtain irreducible representations of the affine super Yangian.


An efficient algorithm of solution for the flow of generalized Newtonian fluid in channels of simple geometries. In this paper a problem of stationary flow of generalized Newtonian fluid in a thin channel is considered. An efficient algorithm of solution is proposed that includes a flexible procedure for a continuous approximation of the apparent viscosity by means of elementary functions combined with analytical integration of the governing equations. The algorithm can be easily adapted to circular or elliptic conduits. The accuracy and efficiency of computations are analyzed using an example of the Carreau fluid. The proposed computational scheme proves to be highly efficient and versatile providing excellent accuracy of solution at a very low computational cost.


TwitterMancer Predicting Interactions on Twitter Accurately. This paper investigates the interplay between different types of user interactions on Twitter, with respect to predicting missing or unseen interactions. For example, given a set of retweet interactions between Twitter users, how accurately can we predict reply interactions? Is it more difficult to predict retweet or quote interactions between a pair of accounts? Also, how important is time locality, and which features of interaction patterns are most important to enable accurate prediction of specific Twitter interactions? Our empirical study of Twitter interactions contributes initial answers to these questions. We have crawled an extensive dataset of Greek speaking Twitter accounts and their follow, quote, retweet, reply interactions over a period of a month. We find we can accurately predict many interactions of Twitter users. Interestingly, the most predictive features vary with the user profiles, and are not the same across all users. For example, for a pair of users that interact with a large number of other Twitter users, we find that certain "higher dimensional" triads, i.e., triads that involve multiple types of interactions, are very informative, whereas for less active Twitter users, certain in degrees and out degrees play a major role. Finally, we provide various other insights on Twitter user behavior. Our code and data are available at https github.com twittermancer . Keywords Graph mining, machine learning, social media, social networks


A sparsity result for the Dynamical Mordell Lang Conjecture in positive characteristic. We prove a quantitative partial result in support of the Dynamical Mordell Lang Conjecture (also known as the DML conjecture) in positive characteristic. More precisely, we show the following given a field K of characteristic p , given a semiabelian variety X defined over a finite subfield of K and endowed with a regular self map Phi X longrightarrow X defined over K , given a point alpha in X(K) and a subvariety V subseteq X , then the set of all non negative integers n such that Phi n( alpha) in V(K) is a union of finitely many arithmetic progressions along with a subset S with the property that there exists a positive real number A (depending only on N , Phi , alpha , V ) such that for each positive integer M , we have left n in S colon n le M right le A cdot left(1 log M right) dim V .


A Hilbert Kunz function with a periodic term that has a given period. A result of Monsky states that the Hilbert Kunz function of a one dimensional local ring of prime characteristic has a term phi that is eventually periodic. For example, in the case of a power series ring in one variable over a prime characteristic field, phi is the zero function and is therefore immediately periodic with period 1. In additional examples produced by Kunz and Monsky, phi is immediately periodic with period 2. We show that, for every positive integer pi , there exists a ring for which phi is immediately periodic with period pi .


Learning Invariant Representation for Unsupervised Image Restoration. Recently, cross domain transfer has been applied for unsupervised image restoration tasks. However, directly applying existing frameworks would lead to domain shift problems in translated images due to lack of effective supervision. Instead, we propose an unsupervised learning method that explicitly learns invariant presentation from noisy data and reconstructs clear observations. To do so, we introduce discrete disentangling representation and adversarial domain adaption into general domain transfer framework, aided by extra self supervised modules including background and semantic consistency constraints, learning robust representation under dual domain constraints, such as feature and image domains. Experiments on synthetic and real noise removal tasks show the proposed method achieves comparable performance with other state of the art supervised and unsupervised methods, while having faster and stable convergence than other domain adaption methods.


On elements of large order of elliptic curves and multiplicative dependent images of rational functions over finite fields. Let E 1 and E 2 be elliptic curves in Legendre form with integer parameters. We show there exists a constant C such that for almost all primes, for all but at most C pairs of points on the reduction of E 1 times E 2 modulo p having equal x coordinate, at least one among P 1 and P 2 has a large group order. We also show similar abundance over finite fields of elements whose images under the reduction modulo p of a finite set of rational functions have large multiplicative orders


ROBIN a Graph Theoretic Approach to Reject Outliers in Robust Estimation using Invariants. Many estimation problems in robotics, computer vision, and learning require estimating unknown quantities in the face of outliers. Outliers are typically the result of incorrect data association or feature matching, and it is common to have problems where more than 90 of the measurements used for estimation are outliers. While current approaches for robust estimation are able to deal with moderate amounts of outliers, they fail to produce accurate estimates in the presence of many outliers. This paper develops an approach to prune outliers. First, we develop a theory of invariance that allows us to quickly check if a subset of measurements are mutually compatible without explicitly solving the estimation problem. Second, we develop a graph theoretic framework, where measurements are modeled as vertices and mutual compatibility is captured by edges. We generalize existing results showing that the inliers form a clique in this graph and typically belong to the maximum clique. We also show that in practice the maximum k core of the compatibility graph provides an approximation of the maximum clique, while being faster to compute in large problems. These two contributions leads to ROBIN, our approach to Reject Outliers Based on INvariants, which allows us to quickly prune outliers in generic estimation problems. We demonstrate ROBIN in four geometric perception problems and show it boosts robustness of existing solvers while running in milliseconds in large problems.


On the vanishing of discrete singular cubical homology for graphs. We prove that if G is a graph without 3 cycles and 4 cycles, then the discrete cubical homology of G is trivial in dimension d, for all d ge 2. We also construct a sequence G d of graphs such that this homology is non trivial in dimension d for d ge 1. Finally, we show that the discrete cubical homology induced by certain coverings of G equals the ordinary singular homology of a 2 dimensional cell complex built from G, although in general it differs from the discrete cubical homology of the graph as a whole.


Video Moment Localization using Object Evidence and Reverse Captioning. We address the problem of language based temporal localization of moments in untrimmed videos. Compared to temporal localization with fixed categories, this problem is more challenging as the language based queries have no predefined activity classes and may also contain complex descriptions. Current state of the art model MAC addresses it by mining activity concepts from both video and language modalities. This method encodes the semantic activity concepts from the verb object pair in a language query and leverages visual activity concepts from video activity classification prediction scores. We propose "Multi faceted VideoMoment Localizer" (MML), an extension of MAC model by the introduction of visual object evidence via object segmentation masks and video understanding features via video captioning. Furthermore, we improve language modelling in sentence embedding. We experimented on Charades STA dataset and identified that MML outperforms MAC baseline by 4.93 and 1.70 on R 1 and R 5metrics respectively. Our code and pre trained model are publicly available at https github.com madhawav MML.


Learning Category level Shape Saliency via Deep Implicit Surface Networks. This paper is motivated from a fundamental curiosity on what defines a category of object shapes. For example, we may have the common knowledge that a plane has wings, and a chair has legs. Given the large shape variations among different instances of a same category, we are formally interested in developing a quantity defined for individual points on a continuous object surface the quantity specifies how individual surface points contribute to the formation of the shape as the category. We term such a quantity as category level shape saliency or shape saliency for short. Technically, we propose to learn saliency maps for shape instances of a same category from a deep implicit surface network sensible saliency scores for sampled points in the implicit surface field are predicted by constraining the capacity of input latent code. We also enhance the saliency prediction with an additional loss of contrastive training. We expect such learned surface maps of shape saliency to have the properties of smoothness, symmetry, and semantic representativeness. We verify these properties by comparing our method with alternative ways of saliency computation. Notably, we show that by leveraging the learned shape saliency, we are able to reconstruct either category salient or instance specific parts of object surfaces semantic representativeness of the learned saliency is also reflected in its efficacy to guide the selection of surface points for better point cloud classification.


Inhomogeneous affine Volterra processes. We extend recent results on affine Volterra processes to the inhomogeneous case. This includes moment bounds of solutions of Volterra equations driven by a Brownian motion with an inhomogeneous kernel K(t,s) and inhomogeneous drift and diffusion coefficients b(s,X s) and sigma(s,X s) . In the case of affine b and sigma sigma T we show how the conditional Fourier Laplace functional can be represented by a solution of an inhomogeneous Riccati Volterra integral equation. For a kernel of convolution type K(t,s) overline K (t s) we establish existence of a solution to the stochastic inhomogeneous Volterra equation. If in addition b and sigma sigma T are affine, we prove that the conditional Fourier Laplace functional is exponential affine in the past path. Finally, we apply these results to an inhomogeneous extension of the rough Heston model used in mathematical finance.


Outer scaling of self similar adverse pressure gradient turbulent boundary layers. The prediction of turbulent boundary layer (TBL) flow over a convex surface as in aircraft wings or gas turbine blades is a challenging problem. Finding a universal scaling law of turbulence statistics of TBLs over a wide range of adverse pressure gradients (APG) remains unresolved. Here, we introduce characteristic length and velocity scales for APG TBLs and nondimensionalise the turbulence statistics of the recent canonical self similar APG TBLs by Kitsios it et al. ( it J. Fluid Mech. , vol.829, 2018, pp. 392 419). The characteristic length scale, which is termed the shear thickness', delta ast , is defined as the location which corresponds to the end of an actively sheared region in a turbulent shear flow, where the nondimensional shear rate normalised by the kinetic energy and the dissipation rate is approximately constant. Next, we show a universal scaling using a mixed velocity, termed the friction pressure velocity', u ast , which is based on total shear stress. It is revealed that the velocity fluctuations and the Reynolds stresses in TBLs over a wide range of APGs agree well with those in TBLs with zero pressure gradient (ZPG). The present scaling is used to scale the kinetic energy balance in TBLs, and compare them to other shear flows. Furthermore, a scaling for small scale properties, i.e. vorticities, using delta ast and u ast is also obtained assuming the local equilibrium in the inertial range. The present scaling for wall bounded shear flows, including TBLs over a wide range of pressure gradients, implies that the underlying instantaneous turbulence structures have common features under a proper scaling and is key to the development and application of turbulent models.


A Comprehensive Study on Deep Learning Bug Characteristics. Deep learning has gained substantial popularity in recent years. Developers mainly rely on libraries and tools to add deep learning capabilities to their software. What kinds of bugs are frequently found in such software? What are the root causes of such bugs? What impacts do such bugs have? Which stages of deep learning pipeline are more bug prone? Are there any antipatterns? Understanding such characteristics of bugs in deep learning software has the potential to foster the development of better deep learning platforms, debugging mechanisms, development practices, and encourage the development of analysis and verification frameworks. Therefore, we study 2716 high quality posts from Stack Overflow and 500 bug fix commits from Github about five popular deep learning libraries Caffe, Keras, Tensorflow, Theano, and Torch to understand the types of bugs, root causes of bugs, impacts of bugs, bug prone stage of deep learning pipeline as well as whether there are some common antipatterns found in this buggy software. The key findings of our study include data bug and logic bug are the most severe bug types in deep learning software appearing more than 48 of the times, major root causes of these bugs are Incorrect Model Parameter (IPS) and Structural Inefficiency (SI) showing up more than 43 of the times. We have also found that the bugs in the usage of deep learning libraries have some common antipatterns that lead to a strong correlation of bug types among the libraries.


Cone structures and parabolic geometries. A cone structure on a complex manifold M is a closed submanifold mathcal C subset mathbb P TM of the projectivized tangent bundle which is submersive over M . A conic connection on mathcal C specifies a distinguished family of curves on M in the directions specified by mathcal C . There are two common sources of cone structures and conic connections, one in differential geometry and another in algebraic geometry. In differential geometry, we have cone structures induced by the geometric structures underlying holomorphic parabolic geometries, a classical example of which is the null cone bundle of a holomorphic conformal structure. In algebraic geometry, we have the cone structures consisting of varieties of minimal rational tangents (VMRT) given by minimal rational curves on uniruled projective manifolds. The local invariants of the cone structures in parabolic geometries are given by the curvature of the parabolic geometries, the nature of which depend on the type of the parabolic geometry, i.e., the type of the fibers of mathcal C to M . For the VMRT structures, more intrinsic invariants of the conic connections which do not depend on the type of the fiber play important roles. We study the relation between these two different aspects for the cone structures induced by parabolic geometries associated with a long simple root of a complex simple Lie algebra. As an application, we obtain a local differential geometric version of the global algebraic geometric recognition theorem due to Mok and Hong Hwang. In our local version, the role of rational curves is completely replaced by appropriate torsion conditions on the conic connection.


Deep learning models for predictive maintenance a survey, comparison, challenges and prospect. Given the growing amount of industrial data spaces worldwide, deep learning solutions have become popular for predictive maintenance, which monitor assets to optimise maintenance tasks. Choosing the most suitable architecture for each use case is complex given the number of examples found in literature. This work aims at facilitating this task by reviewing state of the art deep learning architectures, and how they integrate with predictive maintenance stages to meet industrial companies' requirements (i.e. anomaly detection, root cause analysis, remaining useful life estimation). They are categorised and compared in industrial applications, explaining how to fill their gaps. Finally, open challenges and future research paths are presented.


Ethnic Diversity in Computer Science at a Large Public R1 Research University. Even with recent increases in enrollments, computer science departments in the United States are not producing the number of graduates that the computing workforce needs, an issue that impacts the scientific and economic growth of our country. Because the computer science field is predicted to grow, it is important to draw from demographic groups that are growing in the US. At the same time, increasing the representation of students from minority groups will include a more diverse perspective in the development of new technologies. Previous work has addressed the low representation of students of color in computer science classes at the high school level and explored what are the causes for those low numbers. In this paper, we study patterns of recruitment and retention among minority students at a large R1 research university in order to understand the unique challenges in racial and ethnic diversity that computer science departments face. We use student data from a set of three core curriculum computer science classes at a large public research university and answer questions about the ethnic gap in our department, how it has changed with the recent increase in student enrollments, and how it changes as students progress through the major. We also analyze our students' intent to major when they are taking our introductory programming class, and how many of our CS1 students take more advanced classes. We measure retention rates for students in each ethnic group, how do their prior experiences differ, if there is a difference between groups in how many of them change their minds about majoring after taking CS1, and whether or not their grades are correlated with a change in their intent to major.We show that students from different race ethnicity groups are not as different as it is perceived by the public.


DeepTake Prediction of Driver Takeover Behavior using Multimodal Data. Automated vehicles promise a future where drivers can engage in non driving tasks without hands on the steering wheels for a prolonged period. Nevertheless, automated vehicles may still need to occasionally hand the control back to drivers due to technology limitations and legal requirements. While some systems determine the need for driver takeover using driver context and road condition to initiate a takeover request, studies show that the driver may not react to it. We present DeepTake, a novel deep neural network based framework that predicts multiple aspects of takeover behavior to ensure that the driver is able to safely take over the control when engaged in non driving tasks. Using features from vehicle data, driver biometrics, and subjective measurements, DeepTake predicts the driver's intention, time, and quality of takeover. We evaluate DeepTake performance using multiple evaluation metrics. Results show that DeepTake reliably predicts the takeover intention, time, and quality, with an accuracy of 96 , 93 , and 83 , respectively. Results also indicate that DeepTake outperforms previous state of the art methods on predicting driver takeover time and quality. Our findings have implications for the algorithm development of driver monitoring and state detection.


Graded C algebras and twisted groupoid C algebras. Let C algebra that is acted upon by a compact abelian group. We show that if the fixed point algebra of the action contains a Cartan subalgebra D satisfying an appropriate regularity condition, then A is the reduced C algebra of a groupoid twist. We further show that the embedding D hookrightarrow A is uniquely determined by the twist. These results generalize Renault's results on Cartan subalgebras of C algebras.


Symmetries of the C algebra of a vector bundle. We consider C algebras constructed from compact group actions on complex vector bundles E to X endowed with a Hermitian metric. An action of G by isometries on E to X induces an action on the C correspondence Gamma(E) over C(X) consisting of continuous sections, and on the associated Cuntz Pimsner algebra mathcal O E , so we can study the crossed product mathcal O E rtimes G . If the action is free and rank E n , then we prove that mathcal O E rtimes G is Morita Rieffel equivalent to a field of Cuntz algebras mathcal O n over the orbit space X G . If the action is fiberwise, then mathcal O E rtimes G becomes a continuous field of crossed products mathcal O n rtimes G . For transitive actions, we show that mathcal O E rtimes G is Morita Rieffel equivalent to a graph C algebra.


Correlation trends in the hyperfine structure for Rb, Cs, Fr and high accuracy predictions for hyperfine constants. We have performed high precision calculations of the hyperfine structure for n 2S 1 2 and n 2P 1 2 states of the alkali metal atoms Rb, Cs, and Fr across principal quantum number n, and studied the trend in the size of the correlations. Our calculations were performed in the all orders correlation potential method. We demonstrate that the relative correlation corrections fall off quickly with n and tend towards constant and non zero values for highly excited states. This trend is supported by experiment, and we utilize the smooth dependence on n to make high accuracy predictions of the hyperfine constants, with uncertainties to within 0.1 for most states of Rb and Cs.


Auction learning as a two player game. Designing an incentive compatible auction that maximizes expected revenue is a central problem in Auction Design. While theoretical approaches to the problem have hit some limits, a recent research direction initiated by Duetting et al. (2019) consists in building neural network architectures to find optimal auctions. We propose two conceptual deviations from their approach which result in enhanced performance. First, we use recent results in theoretical auction design (Rubinstein and Weinberg, 2018) to introduce a time independent Lagrangian. This not only circumvents the need for an expensive hyper parameter search (as in prior work), but also provides a principled metric to compare the performance of two auctions (absent from prior work). Second, the optimization procedure in previous work uses an inner maximization loop to compute optimal misreports. We amortize this process through the introduction of an additional neural network. We demonstrate the effectiveness of our approach by learning competitive or strictly improved auctions compared to prior work. Both results together further imply a novel formulation of Auction Design as a two player game with stationary utility functions.


A computational glimpse at the Leibniz and Frege hierarchies. In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for logics presented syntactically, this problem is in general undecidable. More precisely, we show that there is no algorithm that classifies the logic of a finite consistent Hilbert calculus in the Leibniz and in the Frege hierarchies.


Constant coefficient Laurent biorthogonal polynomials, Riordan arrays and moment sequences. We study properties of constant coefficient Laurent biorthogonal polynomials using Riordan arrays. We give details of related orthogonal polynomials, and we explore relationships between the moments of these orthogonal polynomials, the moments of the defining Laurent biorthogonal polynomials, and the expansions of T fractions. Closed form expressions are given for the polynomials and their moments.


Complex geodesics and complex Monge Amp e re equations with boundary singularity. We study complex geodesics and complex Monge Amp e re equations on bounded strongly linearly convex domains in mathbb C n . More specifically, we prove the uniqueness of complex geodesics with prescribed boundary value and direction in such a domain, when its boundary is of minimal regularity. The existence of such complex geodesics was proved by the first author in the early 1990s, but the uniqueness was left open. Based on the existence and the uniqueness proved here, as well as other previously obtained results, we solve a homogeneous complex Monge Amp e re equation with prescribed boundary singularity, which was first considered by Bracci et al. on smoothly bounded strongly convex domains in mathbb C n .


Some remarks on steady solutions to the Euler system in mathbb R d . We show that the Euler system of gas dynamics in mathbb R d , d 2,3 , with positive far field density and arbitrary far field entropy, admits infinitely many steady solutions with compactly supported velocity. The same proof yields a similar result for the incompressible Euler system with variable density. In particular, these are examples of global in time smooth (non trivial) solutions for the corresponding time dependent systems.


Symplectic homology of fiberwise convex sets and homology of loop spaces. For any nonempty, compact and fiberwise convex set K in T mathbb R n , we prove an isomorphism between symplectic homology of K and a certain relative homology of loop spaces of mathbb R n . We also prove a formula which computes symplectic homology capacity (which is a symplectic capacity defined from symplectic homology) of K using homology of loop spaces. As applications, we prove (i) symplectic homology capacity of any convex body is equal to its Ekeland Hofer Zehnder capacity, (ii) a certain subadditivity property of the Hofer Zehnder capacity, which is a generalization of a result previously proved by Haim Kislev.


A Brief Note for Sheaf Structures on Posets. This note is a part of the lecture notes of a graduate student algebraic geometry seminar held at the department of mathematics in National Taiwan Normal University, 2020 Falls. It aims to introduce an example of sheaves defined on posets equipped with the Alexandrov topology, called the cellular sheaves. A cellular sheaf is a functor from the category of a poset to the category of specific algebraic structures (e.g. the category of groups). Strictly speaking, even equipping the poset with the Alexandrov topology, it is just the definition of a pre sheaf on the Alexandrov topological space. By checking details, cellular sheaves are actually sheaves on topological spaces. This is a well known fact in sheaf theory via the Kan extension, while it requires readers who are familiar with the category theory. In this note, we follow an elementary approach to describe the connection between cellular sheaves and sheaves concerned in algebraic geometry, where only basic commutative algebra and point set topology are required as the background knowledge.


Incentive Design for Efficient Federated Learning in Mobile Networks A Contract Theory Approach. To strengthen data privacy and security, federated learning as an emerging machine learning technique is proposed to enable large scale nodes, e.g., mobile devices, to distributedly train and globally share models without revealing their local data. This technique can not only significantly improve privacy protection for mobile devices, but also ensure good performance of the trained results collectively. Currently, most the existing studies focus on optimizing federated learning algorithms to improve model training performance. However, incentive mechanisms to motivate the mobile devices to join model training have been largely overlooked. The mobile devices suffer from considerable overhead in terms of computation and communication during the federated model training process. Without well designed incentive, self interested mobile devices will be unwilling to join federated learning tasks, which hinders the adoption of federated learning. To bridge this gap, in this paper, we adopt the contract theory to design an effective incentive mechanism for simulating the mobile devices with high quality (i.e., high accuracy) data to participate in federated learning. Numerical results demonstrate that the proposed mechanism is efficient for federated learning with improved learning accuracy.


Symmetries and turbulence modeling. A critical examination. The recent study by Klingenberg, Oberlack Pluemacher (2020) proposes a new strategy for modeling turbulence in general. A proof of concept is presented therein for the particular flow configuration of a spatially evolving turbulent planar jet flow, coming to the conclusion that their model can generate scaling laws which go beyond the classical ones. Our comment, however, shows that their proof of concept is flawed and that their newly proposed scaling laws do not go beyond any classical solutions. Hence, their argument of having established a new and more advanced turbulence model cannot be confirmed. The problem is already rooted in the modeling strategy itself, in that a nonphysical statistical scaling symmetry gets implemented. Breaking this symmetry will restore the internal consistency and will turn all self similar solutions back to the classical ones. To note is that their model also includes a second nonphysical symmetry. One of the authors already acknowledged this fact for turbulent jet flow in a formerly published Corrigendum (Sadeghi, Oberlack Gauding, 2020). However, the Corrigendum is not cited and so the reader is not made aware that their method has fundamental problems that lead to inconsistencies and conflicting results. Instead, the very same nonphysical symmetry gets published again.


Drug Repurposing for COVID 19 via Knowledge Graph Completion. Objective To discover candidate drugs to repurpose for COVID 19 using literature derived knowledge and knowledge graph completion methods. Methods We propose a novel, integrative, and neural network based literature based discovery (LBD) approach to identify drug candidates from both PubMed and COVID 19 focused research literature. Our approach relies on semantic triples extracted using SemRep (via SemMedDB). We identified an informative subset of semantic triples using filtering rules and an accuracy classifier developed on a BERT variant, and used this subset to construct a knowledge graph. Five SOTA, neural knowledge graph completion algorithms were used to predict drug repurposing candidates. The models were trained and assessed using a time slicing approach and the predicted drugs were compared with a list of drugs reported in the literature and evaluated in clinical trials. These models were complemented by a discovery pattern based approach. Results Accuracy classifier based on PubMedBERT achieved the best performance (F1 0.854) in classifying semantic predications. Among five knowledge graph completion models, TransE outperformed others (MR 0.923, Hits 1 0.417). Some known drugs linked to COVID 19 in the literature were identified, as well as some candidate drugs that have not yet been studied. Discovery patterns enabled generation of plausible hypotheses regarding the relationships between the candidate drugs and COVID 19. Among them, five highly ranked and novel drugs (paclitaxel, SB 203580, alpha 2 antiplasmin, pyrrolidine dithiocarbamate, and butylated hydroxytoluene) with their mechanistic explanations were further discussed. Conclusion We show that an LBD approach can be feasible for discovering drug candidates for COVID 19, and for generating mechanistic explanations. Our approach can be generalized to other diseases as well as to other clinical questions.


Synchronous Concurrent Broadcasts for Intermittent Channels with Bounded Capacities. In this work we extend the recently proposed synchronous broadcast algorithm amnesiac flooding to the case of intermittent communication channels. In amnesiac flooding a node forwards a received message in the subsequent round. There are several reasons that render an immediate forward of a message impossible Higher priority traffic, overloaded channels, etc. We show that postponing the forwarding for one or more rounds prevents termination. Our extension overcomes this shortcoming while retaining the advantages of the algorithm Nodes don't need to memorize the reception of a message to guarantee termination and messages are sent at most twice per edge. This extension allows to solve more general broadcast tasks such as multi source broadcasts and concurrent broadcasts for systems with bounded channel capacities.


API Misuse Detection An Immune System inspired Approach. APIs are essential ingredients for developing complex software systems. However, they are difficult to learn and to use. Thus, developers may misuse them, which results in various types of issues. In this paper, we explore the use of a bio inspired approach (artificial immune system) to detect API misuses in client code. We built APIMMUNE, a novel API misuse detector. We collect normal usages of a given APIs from the set of client programs using the APIs, especially after some API usages were fixed in those programs. The normal API usages are considered as normal body cells. We transform them into normal usage signatures. Then, artificial detectors are randomly generated by generating artificial deviations from these usages with the objective of being different from the normal usage signatures. The generated detectors have the ability to detect risky uses of APIs exactly as the immune system detects foreign cells of the organism. Moreover, for the detection purpose, only the artificial detectors are necessary, without the need to disclose the code used to generate them. Our approach was evaluated on the misuses dataset of three APIs as well as on known misuses from a state of the art APIs misuses benchmarking dataset. APIMMUNE was also compared to four state of the art API misuse detection tools. The results show that APIMMUNE has good detection accuracy and performance, and it can complement pattern based tools for uncommon misuses detection.


Machine learning based reduced order modeling for unsteady flows around bluff bodies of various shapes. We propose a method to construct a reduced order model with machine learning for unsteady flows. The present machine learned reduced order model (ML ROM) is constructed by combining a convolutional neural network autoencoder (CNN AE) and a long short term memory (LSTM), which are trained in a sequential manner. First, the CNN AE is trained using direct numerical simulation (DNS) data so as to map the high dimensional flow data into low dimensional latent space. Then, the LSTM is utilized to establish a temporal prediction system for the low dimensionalized vectors obtained by CNN AE. As a test case, we consider flows around a bluff body whose shape is defined using a combination of trigonometric functions with random amplitudes. The present ML ROMs are trained on a set of 80 bluff body shapes and tested on a different set of 20 bluff body shapes not used for training, with both training and test shapes chosen from the same random distribution. The flow fields are confirmed to be well reproduced by the present ML ROM in terms of various statistics. We also focus on the influence of two main parameters (1) the latent vector size in the CNN AE, and (2) the time step size between the mapped vectors used for the LSTM. The present results show that the ML ROM works well even for unseen shapes of bluff bodies when these parameters are properly chosen, which implies great potential for the present type of ML ROM to be applied to more complex flows


Spatio temporal relationships between rainfall and convective clouds during Indian Monsoon through a discrete lens. The Indian monsoon, a multi variable process causing heavy rains during June September every year, is very heterogeneous in space and time. We study the relationship between rainfall and Outgoing Longwave Radiation (OLR, convective cloud cover) for monsoon between 2004 2010. To identify, classify and visualize spatial patterns of rainfall and OLR we use a discrete and spatio temporally coherent representation of the data, created using a statistical model based on Markov Random Field. Our approach clusters the days with similar spatial distributions of rainfall and OLR into a small number of spatial patterns. We find that eight daily spatial patterns each in rainfall and OLR, and seven joint patterns of rainfall and OLR, describe over 90 of all days. Through these patterns, we find that OLR generally has a strong negative correlation with precipitation, but with significant spatial variations. In particular, peninsular India (except west coast) is under significant convective cloud cover over a majority of days but remains rainless. We also find that much of the monsoon rainfall co occurs with low OLR, but some amount of rainfall in Eastern and North western India in June occurs on OLR days, presumably from shallow clouds. To study day to day variations of both quantities, we identify spatial patterns in the temporal gradients computed from the observations. We find that changes in convective cloud activity across India most commonly occur due to the establishment of a north south OLR gradient which persists for 1 2 days and shifts the convective cloud cover from light to deep or vice versa. Such changes are also accompanied by changes in the spatial distribution of precipitation. The present work thus provides a highly reduced description of the complex spatial patterns and their day to day variations, and could form a useful tool for future simplified descriptions of this process.


Online Distributed Job Dispatching with Outdated and Partially Observable Information. In this paper, we investigate online distributed job dispatching in an edge computing system residing in a Metropolitan Area Network (MAN). Specifically, job dispatchers are implemented on access points (APs) which collect jobs from mobile users and distribute each job to a server at the edge or the cloud. A signaling mechanism with periodic broadcast is introduced to facilitate cooperation among APs. The transmission latency is non negligible in MAN, which leads to outdated information sharing among APs. Moreover, the fully observed system state is discouraged as reception of all broadcast is time consuming. Therefore, we formulate the distributed optimization of job dispatching strategies among the APs as a Markov decision process with partial and outdated system state, i.e., partially observable Markov Decision Process (POMDP). The conventional solution for POMDP is impractical due to huge time complexity. We propose a novel low complexity solution framework for distributed job dispatching, based on which the optimization of job dispatching policy can be decoupled via an alternative policy iteration algorithm, so that the distributed policy iteration of each AP can be made according to partial and outdated observation. A theoretical performance lower bound is proved for our approximate MDP solution. Furthermore, we conduct extensive simulations based on the Google Cluster trace. The evaluation results show that our policy can achieve as high as 20.67 reduction in average job response time compared with heuristic baselines, and our algorithm consistently performs well under various parameter settings.


Lower bounds on the growth of power free languages over large alphabets. We study the growth rate of some power free languages. For any integer k and real beta 1 , we let alpha(k, beta) be the growth rate of the number of beta free words of a given length over the alphabet 1,2, ldots, k . Shur studied the asymptotic behavior of alpha(k, beta) for beta ge2 as k goes to infinity. He suggested a conjecture regarding the asymptotic behavior of alpha(k, beta) as k goes to infinity when 1 beta 2 . He showed that for frac 9 8 le beta 2 the asymptotic upper bound holds of his conjecture holds. We show that the asymptotic lower bound of his conjecture holds. This implies that the conjecture is true for frac 9 8 le beta 2 .


Deep Semi Supervised Embedded Clustering (DSEC) for Stratification of Heart Failure Patients. Determining phenotypes of diseases can have considerable benefits for in hospital patient care and to drug development. The structure of high dimensional data sets such as electronic health records are often represented through an embedding of the data, with clustering methods used to group data of similar structure. If subgroups are known to exist within data, supervised methods may be used to influence the clusters discovered. We propose to extend deep embedded clustering to a semi supervised deep embedded clustering algorithm to stratify subgroups through known labels in the data. In this work we apply deep semi supervised embedded clustering to determine data driven patient subgroups of heart failure from the electronic health records of 4,487 heart failure and control patients. We find clinically relevant clusters from an embedded space derived from heterogeneous data. The proposed algorithm can potentially find new undiagnosed subgroups of patients that have different outcomes, and, therefore, lead to improved treatments.


Disaggregation and the Application. This paper examines disaggregated data center architectures from the perspective of the applications that would run on these data centers, and challenges the abstractions that have been proposed to date. In particular, we argue that operating systems for disaggregated data centers should not abstract disaggregated hardware resources, such as memory, compute, and storage away from applications, but should instead give them information about, and control over, these resources. To this end, we propose additional OS abstractions and interfaces for disaggregation and show how they can improve data transfer in data parallel frameworks and speed up failure recovery in replicated, fault tolerant applications. This paper studies the technical challenges in providing applications with this additional functionality and advances several preliminary proposals to overcome these challenges.


A Phase Transition for Circle Maps with a Flat Spot and Different Critical Exponents. We study circle maps with a flat interval where the critical exponents at the two boundary points of the flat spot might be different. The space of such systems is partitioned in two connected parts whose common boundary only depends on the critical exponents. At this boundary there is a phase transition in the geometry of the system. Differently from the previous approaches, this is achieved by studying the asymptotical behavior of the renormalization operator.


Markovian Switching of Mutation Rates in Evolutionary Network Dynamics. The replicator mutator dynamic was originally derived to model the evolution of language, and since the model was derived in such a general manner, it has been applied to the dynamics of social behavior and decision making in multi agent networks. For the two type population, a bifurcation point of the mutation rate is derived, displaying different long run behaviors above and below this point. The long run behavior would naturally be subjected to noise from the environment, however, to date there does not exist a model that dynamically accounts for the effects of the environment. To account for the environmental impacts on the evolution of the populace, mutation rates above and below this bifurcation point are switched according to a continuous time Markov chain. The long run behaviors of this model are derived, showing a counterintuitive result that the majority of initial conditions will favor the dominated type.


Accurate absolute and relative core level binding energies from GW . We present an accurate approach to compute X ray photoelectron spectra based on the GW Green's function method, that overcomes shortcomings of common density functional theory approaches. GW has become a popular tool to compute valence excitations for a wide range of materials. However, core level spectroscopy is thus far almost uncharted in GW . We show that single shot perturbation calculations in the G 0W 0 approximation, which are routinely used for valence states, cannot be applied for core levels and suffer from an extreme, erroneous transfer of spectral weight to the satellite spectrum. The correct behavior can be restored by partial self consistent GW schemes or by using hybrid functionals with almost 50 of exact exchange as starting point for G 0W 0 . We include also relativistic corrections and present a benchmark study for 65 molecular 1s excitations. Our absolute and relative GW core level binding energies agree within 0.3 and 0.2 eV with experiment, respectively.


The Biophysical Micro Environment's Influence on Cell Fate Decisions During Macrophage Activation and Somatic Cell Reprogramming. Cells are known to sense and respond to their mechanical microenvironment in profound ways. Various evidence has implicated the adhesome, a body of adhesion associated proteins, in several cell fate decisions, including differentiation and proliferation. Furthermore, recent work has demonstrated that substrate topography can modulate the epigenetic state of fibroblasts, facilitate cell reprogramming, and temper inflammation. However, the effectors responsible for such phenomena remain poorly understood. Here we explore the effect of biomaterial design, adhesion, and intracellular forces of the epigenetic and transcriptional regulation of cell state during macrophage activation and somatic cell reprogramming.


2A Majorana Representations of A 12 . Majorana representations have been introduced by Ivanov in order to provide an axiomatic framework for studying the actions on the Griess algebra of the Monster and of its subgroups generated by Fischer involutions. A crucial step in this programme is to obtain an explicit description of the Majorana representations of A 12 , for this might eventually lead to a new and independent construction of the Monster group. In this paper we prove that A 12 has a unique Majorana representation on the set of its involutions of type 2 2 and 2 6 (that is the involutions that fall into the class of Fischer involutions when A 12 is embedded in the Monster) and we determine the degree and the decomposition into irreducibles of such representation. As a consequence we get that Majorana algebras affording a 2A representation of A 12 and of the Harada Norton sporadic simple group satisfy the Straight Flush Conjecture. As a by product we also determine the degree and the decomposition into irreducibles of the Majorana representation induced on the A 8 subgroup of A 12 . We finally state a conjecture about Majorana representations of the alternating groups A n , 8 leq n leq 12 .


Computing sandpile configurations using integer linear programming. It is well known that recurrent sandpile configurations can be characterized as the optimal solution of certain optimization problems. In this article, we present two new integer linear programming models, one that computes recurrent configurations and other that computes the order of the configuration. Finally, by using duality of linear programming, we are able to compute the identity configuration for the cone of a regular graph.


Multiscale High Dimensional Sparse Fourier Algorithms for Noisy Data. We develop an efficient and robust high dimensional sparse Fourier algorithm for noisy samples. Earlier in the paper Multi dimensional sublinear sparse Fourier algorithm" (2016), an efficient sparse Fourier algorithm with Theta(ds log s) average case runtime and Theta(ds) sampling complexity under certain assumptions was developed for signals that are s sparse and bandlimited in the d dimensional Fourier domain, i.e. there are at most s energetic frequencies and they are in left N 2, N 2 right) d cap mathbb Z d . However, in practice the measurements of signals often contain noise, and in some cases may only be nearly sparse in the sense that they are well approximated by the best s Fourier modes. In this paper, we propose a multiscale sparse Fourier algorithm for noisy samples that proves to be both robust against noise and efficient.


A construction of special Lagrangian submanifolds by generalized perpendicular symmetries. We show a method to construct a special Lagrangian submanifold L' from a given special Lagrangian submanifold L in a Calabi Yau manifold with the use of generalized perpendicular symmetries. We use moment maps of the actions of Lie groups, which are not necessarily abelian. By our method, we construct some non trivial examples in the cotangent bundles of the spheres which are non flat Calabi Yau manifolds equipped with the Stenzel metrics.


Constant Along Primal Rays Conjugacies and the l0 Pseudonorm. The so called l0 pseudonorm on Rd counts the number of nonzero components of a vector. It is used in sparse optimization, either as criterion or in the constraints, to obtain solutions with few nonzero entries. For such problems, the Fenchel conjugacy fails to provide relevant analysis indeed, the Fenchel conjugate of the characteristic function of the level sets of the l0 pseudonorm is minus infinity, and the Fenchel biconjugate of the l0 pseudonorm is zero. In this paper, we display a class of conjugacies that are suitable for the l0 pseudonorm. For this purpose, we suppose given a (source) norm on Rd. With this norm, we define, on the one hand, a sequence of so called coordinate k norms and, on the other hand, a coupling between Rd and Rd , called Capra (constant along primal rays). Then, we provide formulas for the Capra conjugate and biconjugate, and for the Capra subdifferentials, of functions of the l0 pseudonorm (hence, in particular, of the l0 pseudonorm itself and of the characteristic functions of its level sets), in terms of the coordinate k norms. As an application, we provide a new family of lower bounds for the l0 pseudonorm, as a fraction between two norms, the denominator being any norm.


Network Utility Maximization based on Incentive Mechanism for Truthful Reporting of Local Information. Classic network utility maximization problems are usually solved assuming all information is available, implying that information not locally available is always truthfully reported. This may not be practical in all scenarios, especially in distributed semi distributed networks. In this paper, incentive for truthful reporting in network optimizations with local information is studied. A novel general model for extending network utility maximization (NUM) problems to incorporate local information is proposed, which allows each user to choose its own objective locally and or privately. Two specific problems, i.e., a user centric problem (UCP) and a network centric problem (NCP), are studied. In the UCP, a network center aims to maximize the collective benefit of all users, and truthful reporting from the users regarding their local information is necessary for finding the solution. We show that the widely adopted dual pricing cannot guarantee truthful information reporting from a user unless the resource is over supplied or the price is too high for this user to afford. In the NCP, the network center has its own objective and preferred solution, and incentive needs to be provided for the users to adopt the solution it prefers. Truthful reporting from users is necessary for the center to determine the incentives and achieve its solution. For two user and multiuser cases, we propose two mechanisms to motivate truthful reporting from users while guaranteeing nonnegative utility gains for both the users and the center. A case study on underlay D2D communication illustrates the application of the UCP and NCP. Simulations are conducted for the D2D application to validate the analytical results and demonstrate the proposed mechanisms.


Giant photonic spin Hall effect near the Dirac points. The origin of spin orbit interaction of light at a conventional optical interface lies in the transverse nature of the photon polarization The polarizations associated with the plane wave components experience slightly different rotations in order to satisfy the transversality after reflection or refraction. Recent advances in topological photonic materials provide crucial opportunities to reexamine the spin orbit interaction of light at the unique optical interface. Here, we establish a general model to describe the spin orbit interaction of light in the photonic Dirac metacrystal. We find a giant photonic spin Hall effect near the Dirac points when a Gaussian beam impinges at the interface of the photonic Dirac metacrystal. The giant photonic spin Hall effect is attribute to the strong spin orbit interaction of light, which manifests itself as the large polarization rotations of different plane wave components. We believe that these results may provide insight into the fundamental properties of the spin orbit interaction of light in the topological photonic systems.


Second generation of portable gamma camera based on Caliste CdTe hybrid technology. In the framework of a national funded program for nuclear safety, a first prototype of portable gamma camera was built and tested. It integrates a Caliste HD CdTe hybrid detector designed for space X ray astronomy coupled with a new system on chip based acquisition system (FPGA and ARM microprocessor) and thermo electrical coolers for a use at room temperature. The complete gamma part of the camera fits in a volume of 15 x 15 x 40 cm 3 for a mass lower than 1 kg and a power consumption lower than 10 W. Localization and spectro identification of radionuclides in a contaminated scene were demonstrated during several test campaigns. A new generation of system is under development taking into account feedback experience from in situ measurements and integrating a new generation of sensor cost optimized by industrial applications called Caliste O. Caliste O holds a 16 x 16 pixel detector of 14 x 14 mm 2 and 2 mm thick with 8 full custom front end IDeF X HD ASICs. Two prototypes were fabricated and tested. The paper will present the results of in situ measurements with the first gamma camera, the spectroscopic performance of Caliste O and the design of the second generation of gamma camera which aims for real time imaging and spectro identification.


Implication via Spacetime. In this paper we intend to study implications in their most general form, generalizing different classes of implications including the Heyting implication, sub structural implications and weak strict implications. Following the topological interpretation of the intuitionistic logic, we will introduce non commutative spacetimes to provide a more dynamic and subjective interpretation of an intuitionistic proposition. These combinations of space and time are natural sources for well behaved implications and we will show that their spatio temporal implications represent any other reasonable abstract implication. Then to provide a faithful well behaved syntax for abstract implications, we will develop a logical system for the non commutative spacetimes for which we will present both topological and Kripke semantics. These logics unify sub structural and sub intuionistic logics by embracing them as their special fragments.


Rolling Shutter Modelling for Direct Visual Inertial Odometry. We present a direct visual inertial odometry (VIO) method which estimates the motion of the sensor setup and sparse 3D geometry of the environment based on measurements from a rolling shutter camera and an inertial measurement unit (IMU). The visual part of the system performs a photometric bundle adjustment on a sparse set of points. This direct approach does not extract feature points and is able to track not only corners, but any pixels with sufficient gradient magnitude. Neglecting rolling shutter effects in the visual part severely degrades accuracy and robustness of the system. In this paper, we incorporate a rolling shutter model into the photometric bundle adjustment that estimates a set of recent keyframe poses and the inverse depth of a sparse set of points. IMU information is accumulated between several frames using measurement preintegration, and is inserted into the optimization as an additional constraint between selected keyframes. For every keyframe we estimate not only the pose but also velocity and biases to correct the IMU measurements. Unlike systems with global shutter cameras, we use both IMU measurements and rolling shutter effects of the camera to estimate velocity and biases for every state. Last, we evaluate our system on a novel dataset that contains global shutter and rolling shutter images, IMU data and ground truth poses for ten different sequences, which we make publicly available. Evaluation shows that the proposed method outperforms a system where rolling shutter is not modelled and achieves similar accuracy to the global shutter method on global shutter data.


Examples, counterexamples, and structure in bounded width algebras. We study bounded width algebras which are minimal in the sense that every proper reduct does not have bounded width. We show that minimal bounded width algebras can be arranged into a pseudovariety with one basic ternary operation. We classify minimal bounded width algebras which have size at most three, and prove a structure theorem for minimal bounded width algebras which have no majority subalgebra, which form a pseudovariety with a commutative binary operation. As a byproduct of our results, we also classify minimal clones which have a Taylor term.


Allocation of Multi Robot Tasks with Task Variants. Task allocation has been a well studied problem. In most prior problem formulations, it is assumed that each task is associated with a unique set of resource requirements. In the scope of multi robot task allocation problem, these requirements can be satisfied by a coalition of robots. In this paper, we introduce a more general formulation of multi robot task allocation problem that allows more than one option for specifying the set of task requirements satisfying any one of the options will satisfy the task. We referred to this new problem as the multi robot task allocation problem with task variants. First, we theoretically show that this extension fortunately does not impact the complexity class, which is still NP complete. For solution methods, we adapt two previous greedy methods for the task allocation problem without task variants to solve this new problem and analyze their effectiveness. In particular, we "flatten" the new problem to the problem without task variants, modify the previous methods to solve the flattened problem, and prove that the bounds still hold. Finally, we thoroughly evaluate these two methods along with a random baseline to demonstrate their efficacy for the new problem.


Fibrations in semi toric and generalized complex geometry. This paper studies the interplay between self crossing boundary Lefschetz fibrations and generalized complex structures. We show that these fibrations arise from the moment maps in semi toric geometry and use them to construct self crossing stable generalized complex four manifolds using Gompf Thurston methods for Lie algebroids. These results bring forth further structure on several previously known examples of generalized complex manifolds. We moreover show that these fibrations are compatible with taking connected sums, and use this to prove a singularity trade result between two types of singularities occurring in these fibrations.


Mitigating Noisy Inputs for Question Answering. Natural language processing systems are often downstream of unreliable inputs machine translation, optical character recognition, or speech recognition. For instance, virtual assistants can only answer your questions after understanding your speech. We investigate and mitigate the effects of noise from Automatic Speech Recognition systems on two factoid Question Answering (QA) tasks. Integrating confidences into the model and forced decoding of unknown words are empirically shown to improve the accuracy of downstream neural QA systems. We create and train models on a synthetic corpus of over 500,000 noisy sentences and evaluate on two human corpora from Quizbowl and Jeopardy! competitions.


Inferring Tracker Advertiser Relationships in the Online Advertising Ecosystem using Header Bidding. Online advertising relies on trackers and data brokers to show targeted ads to users. To improve targeting, different entities in the intricately interwoven online advertising and tracking ecosystems are incentivized to share information with each other through client side or server side mechanisms. Inferring data sharing between entities, especially when it happens at the server side, is an important and challenging research problem. In this paper, we introduce KASHF a novel method to infer data sharing relationships between advertisers and trackers by studying how an advertiser's bidding behavior changes as we manipulate the presence of trackers. We operationalize this insight by training an interpretable machine learning model that uses the presence of trackers as features to predict the bidding behavior of an advertiser. By analyzing the machine learning model, we are able to infer relationships between advertisers and trackers irrespective of whether data sharing occurs at the client side or the server side. We are also able to identify several server side data sharing relationships that are validated externally but are not detected by client side cookie syncing.


An information theoretic view on selecting linguistic probes. There is increasing interest in assessing the linguistic knowledge encoded in neural representations. A popular approach is to attach a diagnostic classifier or "probe" to perform supervised classification from internal representations. However, how to select a good probe is in debate. Hewitt and Liang (2019) showed that a high performance on diagnostic classification itself is insufficient, because it can be attributed to either "the representation being rich in knowledge", or "the probe learning the task", which Pimentel et al. (2020) challenged. We show this dichotomy is valid information theoretically. In addition, we find that the methods to construct and select good probes proposed by the two papers, control task (Hewitt and Liang, 2019) and control function (Pimentel et al., 2020), are equivalent the errors of their approaches are identical (modulo irrelevant terms). Empirically, these two selection criteria lead to results that highly agree with each other.