Wavefunction based electrostatic embedding QM MM using CFOUR through MiMiC. We present an interface of the wavefunction based quantum chemical software CFOUR to the multiscale modeling framework MiMiC. Electrostatic embedding of the quantummechanical (QM) part is achieved by analytic evaluation of one electron integrals in CFOUR, while the rest of the QM MM operations are treated according to the previous MiMiC based QM MM implementation. Long range electrostatic interactions are treated by a multipole expansion of the potential from the QM electron density to reduce the computational cost without loss of accuracy. Testing on model water water systems, we verified that the CFOUR interface to MiMiC is robust, guaranteeing fast convergence of the SCF cycles and optimal conservation of the energy during the integration of the equations of motion. Finally, we verified that the CFOUR interface to MiMiC is compatible with the use of a QM QM multiple time step algorithm, which effectively reduces the cost of AIMD or QM MM MD simulations using higher level wavefunction based approaches compared to cheaper density functional theory based ones. The new wavefunction based AIMD and QM MM MD implementation was tested and validated for a large number of wavefunction approaches, including Hartree Fock and post Hartree Fock methods like Moller Plesset, coupled cluster, and complete active space self consistent field.


Do you feel safe with your robot? Factors Influencing Perceived Safety in Human Robot Interaction based on Subjective and Objective Measures. Safety in human robot interaction can be divided into physical safety and perceived safety, where the latter is still under addressed in the literature. Investigating perceived safety in human robot interaction requires a multidisciplinary perspective. Indeed, perceived safety is often considered as being associated with several common factors studied in other disciplines, i.e., comfort, predictability, sense of control, and trust. In this paper, we investigated the relationship between these factors and perceived safety in human robot interaction using subjective and objective measures. We conducted a two by five mixed subjects design experiment. The five within subjects conditions correspond to (1) baseline, and the manipulations of robot behaviors to stimulate (2) discomfort, (3) decreased perceived safety, (4) decreased sense of control and (5) distrust. Twenty seven young adult participants took part in the experiments. Participants were asked to answer questionnaires that measure the manipulated factors after within subjects conditions. Besides questionnaire data, we collected objective measures such as videos and physiological data. The questionnaire results show a correlation between comfort, sense of control, trust, and perceived safety. We also discuss the effect of individual human characteristics (such as personality and gender) that they could be predictors of perceived safety. We used the physiological signal data and facial affect from videos for estimating perceived safety where participants' subjective ratings were utilized as labels. The data from objective measures revealed that the prediction rate was higher from physiological signal data. This paper can play an important role in the goal of better understanding perceived safety in human robot interaction.


Toward a New Science of Common Sense. Common sense has always been of interest in Artificial Intelligence, but has rarely taken center stage. Despite its mention in one of John McCarthy's earliest papers and years of work by dedicated researchers, arguably no AI system with a serious amount of general common sense has ever emerged. Why is that? What's missing? Examples of AI systems' failures of common sense abound, and they point to AI's frequent focus on expertise as the cause. Those attempting to break the resulting brittleness barrier, even in the context of modern deep learning, have tended to invest their energy in large numbers of small bits of commonsense knowledge. While important, all the commonsense knowledge fragments in the world don't add up to a system that actually demonstrates common sense in a human like way. We advocate examining common sense from a broader perspective than in the past. Common sense should be considered in the context of a full cognitive system with history, goals, desires, and drives, not just in isolated circumscribed examples. A fresh look is needed common sense is worthy of its own dedicated scientific exploration.


Design of an Affordable Prosthetic Arm Equipped with Deep Learning Vision Based Manipulation. Many amputees throughout the world are left with limited options to personally own a prosthetic arm due to the expensive cost, mechanical system complexity, and lack of availability. The three main control methods of prosthetic hands are (1) body powered control, (2) extrinsic mechanical control, and (3) myoelectric control. These methods can perform well under a controlled situation but will often break down in clinical and everyday use due to poor robustness, weak adaptability, long term training, and heavy mental burden during use. This paper lays the complete outline of the design process of an affordable and easily accessible novel prosthetic arm that reduces the cost of prosthetics from 10,000 to 700 on average. The 3D printed prosthetic arm is equipped with a depth camera and closed loop off policy deep learning algorithm to help form grasps to the object in view. Current work in reinforcement learning masters only individual skills and is heavily focused on parallel jaw grippers for in hand manipulation. In order to create generalization, which better performs real world manipulation, the focus is specifically on using the general framework of Markov Decision Process (MDP) through scalable learning with off policy algorithms such as deep deterministic policy gradient (DDPG) and to study this question in the context of grasping a prosthetic arm. We were able to achieve a 78 grasp success rate on previously unseen objects and generalize across multiple objects for manipulation tasks. This work will make prosthetics cheaper, easier to use and accessible globally for amputees. Future work includes applying similar approaches to other medical assistive devices where a human is interacting with a machine to complete a task.


Accurate textit ab initio calculations of RaF electronic structure indicate the need for more laser spectroscopical measurements. Recently a breakthrough has been achieved in laser spectroscopic studies of short lived radioactive compounds with the first measurements of the radium monofluoride molecule (RaF) UV vis spectra. We report results from high accuracy emph ab initio calculations of the RaF electronic structure for ground and low lying excited electronic states. Two different methods agree excellently with experimental excitation energies from the electronic ground state to the 2 Pi 1 2 and 2 Pi 3 2 states, but lead consistently and unambiguously to deviations from experimental based adiabatic transition energy estimates for the 2 Sigma 1 2 excited electronic state and show that more measurements are needed to clarify spectroscopic assignment of the 2 Delta states.


Student networks on online teaching due to COVID 19 Academic effects of strong friendship ties and perceived academic prestige in physics and mathematics courses. Collaboration among students is fundamental for knowledge building and competency development. Nonetheless, the effectiveness of student collaboration depends on the extent that these interactions take place under conditions that favor commitment, trust, and decision making among those who interact. The sanitary situation and the transition to remote teaching has added new challenges for collaboration given that students' interactions are mediated by Information and Communication Technologies (ICTs). In this study we explore the effectiveness of different collaborative relationships on physics and mathematics, from a sample of secondary students from two schools located in rural and urban areas in southern Chile. We used Social Network Analysis (SNA) to map students' friendships relations, academic prestige, and collaboration on both courses. Later we combined the collaboration network with friendship and academic prestige on the course, to separate strong from weak friendship working ties, and those among students who enjoy or not academic prestige. Multiple linear regression models showed, on average, positive effects of collaboration on grades. Yet, when isolating the effects of the types of collaboration, the positive effects are observed only between those who display more strong friendship ties. Also, we found differences on the social networks and their effects over grades between both courses, presumably due to their pedagogical nature. With these results we contribute to the literature of collaboration and its effectiveness based on the nature of students' relationships, and advocate for the importance of instructional design in fostering appropriate motivations and guidelines for constructive collaboration in the classroom.


Spatial regularity for a class of degenerate Kolmogorov equations. We establish spatial a priori estimates for the solution u to a class of dilation invariant Kolmogorov equation, where u is assumed to only have a certain amount of regularity in the diffusion's directions. The result is that u is also regular with respect to the remaining directions. The approach we propose is based on the commutators identities and allows us to obtain a Sobolev exponent that does not depend on the integrability assumption of the right hand side. Lastly, we provide an alternative proof to that of Theorem 1.5 of 9 for the optimal spatial regularity.


Neural Networks with Inputs Based on Domain of Dependence and A Converging Sequence for Solving Conservation Laws, Part I 1D Riemann Problems. Recent research works for solving partial differential equations (PDEs) with deep neural networks (DNNs) have demonstrated that spatiotemporal function approximators defined by auto differentiation are effective for approximating nonlinear problems, e.g. the Burger's equation, heat conduction equations, Allen Cahn and other reaction diffusion equations, and Navier Stokes equation. Meanwhile, researchers apply automatic differentiation in physics informed neural network (PINN) to solve nonlinear hyperbolic systems based on conservation laws with highly discontinuous transition, such as Riemann problem, by inverse problem formulation in data driven approach. However, it remains a challenge for forward methods using DNNs without knowing part of the solution to resolve discontinuities in nonlinear conservation laws. In this study, we incorporate 1st order numerical schemes into DNNs to set up the loss functional approximator instead of auto differentiation from traditional deep learning framework, e.g. TensorFlow package, which improves the effectiveness of capturing discontinuities in Riemann problems. In particular, the 2 Coarse Grid neural network (2CGNN) and 2 Diffusion Coefficient neural network (2DCNN) are introduced in this work. We use 2 solutions of a conservation law from a converging sequence, computed from a low cost numerical scheme, and in a domain of dependence of a space time grid point as the input for a neural network to predict its high fidelity solution at the grid point. Despite smeared input solutions, they output sharp approximations to solutions containing shocks and contacts and are efficient to use once trained.


Low Rank and Framelet Based Sparsity Decomposition for Interventional MRI Reconstruction. Objective Interventional MRI (i MRI) is crucial for MR image guided therapy. Current image reconstruction methods for dynamic MR imaging are mostly retrospective that may not be suitable for i MRI in real time. Therefore, an algorithm to reconstruct images without a temporal pattern as in dynamic imaging is needed for i MRI. Methods We proposed a low rank and sparsity (LS) decomposition algorithm with framelet transform to reconstruct the interventional feature with a high temporal resolution. Different from the existing LS based algorithm, we utilized the spatial sparsity of both the low rank and sparsity components. We also used a primal dual fixed point (PDFP) method for optimization of the objective function to avoid solving sub problems. Intervention experiments with gelatin and brain phantoms were carried out for validation. Results The LS decomposition with framelet transform and PDFP could provide the best reconstruction performance compared with those without. Satisfying reconstruction results were obtained with only 10 radial spokes for a temporal resolution of 60 ms. Conclusion and Significance The proposed method has the potential for i MRI in many different application scenarios.


VIOLET End to End Video Language Transformers with Masked Visual token Modeling. A great challenge in video language (VidL) modeling lies in the disconnection between fixed video representations extracted from image video understanding models and downstream VidL data. Recent studies try to mitigate this disconnection via end to end training. To make it computationally feasible, prior works tend to "imagify" video inputs, i.e., a handful of sparsely sampled frames are fed into a 2D CNN, followed by a simple mean pooling or concatenation to obtain the overall video representations. Although achieving promising results, such simple approaches may lose temporal information that is essential for performing downstream VidL tasks. In this work, we present VIOLET, a fully end to end VIdeO LanguagE Transformer, which adopts a video transformer to explicitly model the temporal dynamics of video inputs. Further, unlike previous studies that found pre training tasks on video inputs (e.g., masked frame modeling) not very effective, we design a new pre training task, Masked Visual token Modeling (MVM), for better video modeling. Specifically, the original video frame patches are "tokenized" into discrete visual tokens, and the goal is to recover the original visual tokens based on the masked patches. Comprehensive analysis demonstrates the effectiveness of both explicit temporal modeling via video transformer and MVM. As a result, VIOLET achieves new state of the art performance on 5 video question answering tasks and 4 text to video retrieval tasks.


Optical Kerr nonlinearity and multi photon absorption of DSTMS measured by Z scan method. We investigate the optical Kerr nonlinearity and multi photon absorption (MPA) properties of DSTMS excited by femtosecond pulses at a wavelengths of 1.43 mu m, which is optimal for terahertz generation via difference frequency mixing. The MPA and the optical Kerr coefficients of DSTMS at 1.43 mu m are strongly anisotropic indicating a dominating contribution from cascaded 2nd order nonlinearity. These results suggest that the saturation of the THz generation efficiency is mainly related to the MPA process and to a spectral broadening caused by cascaded 2nd order frequency mixing within DSTMS


BERT based Acronym Disambiguation with Multiple Training Strategies. Acronym disambiguation (AD) task aims to find the correct expansions of an ambiguous ancronym in a given sentence. Although it is convenient to use acronyms, sometimes they could be difficult to understand. Identifying the appropriate expansions of an acronym is a practical task in natural language processing. Since few works have been done for AD in scientific field, we propose a binary classification model incorporating BERT and several training strategies including dynamic negative sample selection, task adaptive pretraining, adversarial training and pseudo labeling in this paper. Experiments on SciAD show the effectiveness of our proposed model and our score ranks 1st in SDU AAAI 21 shared task 2 Acronym Disambiguation.


An Information Retrieval Approach to Building Datasets for Hate Speech Detection. Building a benchmark dataset for hate speech detection presents various challenges. Firstly, because hate speech is relatively rare, random sampling of tweets to annotate is very inefficient in finding hate speech. To address this, prior datasets often include only tweets matching known "hate words". However, restricting data to a pre defined vocabulary may exclude portions of the real world phenomenon we seek to model. A second challenge is that definitions of hate speech tend to be highly varying and subjective. Annotators having diverse prior notions of hate speech may not only disagree with one another but also struggle to conform to specified labeling guidelines. Our key insight is that the rarity and subjectivity of hate speech are akin to that of relevance in information retrieval (IR). This connection suggests that well established methodologies for creating IR test collections can be usefully applied to create better benchmark datasets for hate speech. To intelligently and efficiently select which tweets to annotate, we apply standard IR techniques of em pooling and em active learning . To improve both consistency and value of annotations, we apply em task decomposition and em annotator rationale techniques. We share a new benchmark dataset for hate speech detection on Twitter that provides broader coverage of hate than prior datasets. We also show a dramatic drop in accuracy of existing detection models when tested on these broader forms of hate. Annotator rationales we collect not only justify labeling decisions but also enable future work opportunities for dual supervision and or explanation generation in modeling. Further details of our approach can be found in the supplementary materials.


Multi Faceted Hierarchical Multi Task Learning for a Large Number of Tasks with Multi dimensional Relations. There has been many studies on improving the efficiency of shared learning in Multi Task Learning(MTL). Previous work focused on the "micro" sharing perspective for a small number of tasks, while in Recommender Systems(RS) and other AI applications, there are often demands to model a large number of tasks with multi dimensional task relations. For example, when using MTL to model various user behaviors in RS, if we differentiate new users and new items from old ones, there will be a cartesian product style increase of tasks with multi dimensional relations. This work studies the "macro" perspective of shared learning network design and proposes a Multi Faceted Hierarchical MTL model(MFH). MFH exploits the multi dimension task relations with a nested hierarchical tree structure which maximizes the shared learning. We evaluate MFH and SOTA models in a large industry video platform of 10 billion samples and results show that MFH outperforms SOTA MTL models significantly in both offline and online evaluations across all user groups, especially remarkable for new users with an online increase of 9.1 in app time per user and 1.85 in next day retention rate. MFH now has been deployed in a large scale online video recommender system. MFH is especially beneficial to the cold start problems in RS where new users and new items often suffer from a "local overfitting" phenomenon. However, the idea is actually generic and widely applicable to other MTL scenarios.


Key Varieties for Prime mathbb Q Fano Threefolds related with mathbb P 2 times mathbb P 2 Fibrations. Part I. We construct a 14 dimensional affine variety Sigma 14 mathbb A with a rm GL 3 and a ( mathbb C ) 6 actions. We denote by Sigma 13 mathbb A the affine variety obtained from Sigma 14 mathbb A by setting one specified variable to 1 (we refer the precise definition to Definition 1.1 of the paper). We show that several weighted projectivizations of Sigma 13 mathbb A and Sigma 14 mathbb A produce, as weighted complete intersections, examples of prime mathbb Q Fano threefolds of codimension four belonging to 24 classes of the graded ring database. Except No.360 in the database, these prime mathbb Q Fano threefolds have a Type I Tom projection. Moreover, they are not weighted complete intersections of the cluster variety of type C 2 introduced by Coughlan and Ducat. We also show that a partial projectivization of Sigma 14 mathbb A has a mathbb P 2 times mathbb P 2 fibration over the affine space mathbb A 9 .


Invariant finite difference schemes with conservation laws preservation for one dimensional MHD equations. Invariant finite difference schemes are considered for one dimensional magnetohydrodynamics (MHD) equations in mass Lagrangian coordinates for the cases of finite and infinite conductivity. For construction these schemes previously obtained results of the group classification of MHD equations are used. On the basis of the classical Samarskiy Popov scheme new schemes are constructed for the case of finite conductivity. These schemes admit all symmetries of the original differential model and have difference analogues of all of its local differential conservation laws. Among the conservation laws there are previously unknown ones. In the case of infinite conductivity, conservative invariant schemes constructed as well. For isentropic flows of a polytropic gas proposed schemes possess the conservation law of energy and preserve entropy on two time layers. This is achieved by means of specially selected approximations for the equation of state of a polytropic gas. Also, invariant difference schemes with additional conservation laws are proposed. A new scheme for the case of finite conductivity is tested numerically for various boundary conditions which shows accurate preservation of difference conservation laws.


Differential Area Analysis for Ransomware Attack Detection within Mixed File Datasets. The threat from ransomware continues to grow both in the number of affected victims as well as the cost incurred by the people and organisations impacted in a successful attack. In the majority of cases, once a victim has been attacked there remain only two courses of action open to them either pay the ransom or lose their data. One common behaviour shared between all crypto ransomware strains is that at some point during their execution they will attempt to encrypt the users' files. Previous research Penrose et al. (2013) Zhao et al. (2011) has highlighted the difficulty in differentiating between compressed and encrypted files using Shannon entropy as both file types exhibit similar values. One of the experiments described in this paper shows a unique characteristic for the Shannon entropy of encrypted file header fragments. This characteristic was used to differentiate between encrypted files and other high entropy files such as archives. This discovery was leveraged in the development of a file classification model that used the differential area between the entropy curve of a file under analysis and one generated from random data. When comparing the entropy plot values of a file under analysis against one generated by a file containing purely random numbers, the greater the correlation of the plots is, the higher the confidence that the file under analysis contains encrypted data.


Expected Extinction Times of Epidemics with State Dependent Infectiousness. We model an epidemic where the per person infectiousness in a network of geographic localities changes with the total number of active cases. This would happen as people adopt more stringent non pharmaceutical precautions when the population has a larger number of active cases. We show that there exists a sharp threshold such that when the curing rate for the infection is above this threshold, the mean time for the epidemic to die out is logarithmic in the initial infection size, whereas when the curing rate is below this threshold, the mean time for epidemic extinction is infinite. We also show that when the per person infectiousness goes to zero asymptotically as a function of the number of active cases, the mean extinction times all have the same asymptote independent of network structure. Simulations bear out these results, while also demonstrating that if the per person infectiousness is large when the epidemic size is small (i.e., the precautions are lax when the epidemic is small and only get stringent after the epidemic has become large), it might take a very long time for the epidemic to die out. We also provide some analytical insight into these observations.


Real Time Monocular Human Depth Estimation and Segmentation on Embedded Systems. Estimating a scene's depth to achieve collision avoidance against moving pedestrians is a crucial and fundamental problem in the robotic field. This paper proposes a novel, low complexity network architecture for fast and accurate human depth estimation and segmentation in indoor environments, aiming to applications for resource constrained platforms (including battery powered aerial, micro aerial, and ground vehicles) with a monocular camera being the primary perception module. Following the encoder decoder structure, the proposed framework consists of two branches, one for depth prediction and another for semantic segmentation. Moreover, network structure optimization is employed to improve its forward inference speed. Exhaustive experiments on three self generated datasets prove our pipeline's capability to execute in real time, achieving higher frame rates than contemporary state of the art frameworks (114.6 frames per second on an NVIDIA Jetson Nano GPU with TensorRT) while maintaining comparable accuracy.


GooAQ Open Question Answering with Diverse Answer Types. While day to day questions come with a variety of answer types, the current question answering (QA) literature has failed to adequately address the answer diversity of questions. To this end, we present GooAQ, a large scale dataset with a variety of answer types. This dataset contains over 5 million questions and 3 million answers collected from Google. GooAQ questions are collected semi automatically from the Google search engine using its autocomplete feature. This results in naturalistic questions of practical interest that are nonetheless short and expressed using simple language. GooAQ answers are mined from Google's responses to our collected questions, specifically from the answer boxes in the search results. This yields a rich space of answer types, containing both textual answers (short and long) as well as more structured ones such as collections. We benchmarkT5 models on GooAQ and observe that (a) in line with recent work, LM's strong performance on GooAQ's short answer questions heavily benefit from annotated data however, (b) their quality in generating coherent and accurate responses for questions requiring long responses (such as 'how' and 'why' questions) is less reliant on observing annotated data and mainly supported by their pre training. We release GooAQ to facilitate further research on improving QA with diverse response types.


On the relation between the degree of internationalization of cited and citing publications A field level analysis, including and excluding self citations. The growing complexity of scientific challenges demands increasingly intense research collaboration, both domestic and international. The resulting trend affects not only the modes of producing new knowledge, but also the way it is disseminated within scientific communities. This paper analyses the relationship between the "degree of internationalization" of a country's scientific production and that of the relevant citing publications. The empirical analysis is based on 2010 2012 Italian publications. Findings show i) the probability of being cited increases with the degree of internationalization of the research team ii) totally domestic research teams tend to cite to a greater extent totally domestic publications iii) vice versa, publications resulting from international collaborations tend to be more cited by totally foreign publications rather than by publications including domestic authors. These results emerge both at overall and at discipline level. Findings might inform research policies geared towards internationalization.


Bayesian Logistic Shape Model Inference application to cochlea image segmentation. Incorporating shape information is essential for the delineation of many organs and anatomical structures in medical images. While previous work has mainly focused on parametric spatial transformations applied on reference template shapes, in this paper, we address the Bayesian inference of parametric shape models for segmenting medical images with the objective to provide interpretable results. The proposed framework defines a likelihood appearance probability and a prior label probability based on a generic shape function through a logistic function. A reference length parameter defined in the sigmoid controls the trade off between shape and appearance information. The inference of shape parameters is performed within an Expectation Maximisation approach where a Gauss Newton optimization stage allows to provide an approximation of the posterior probability of shape parameters. This framework is applied to the segmentation of cochlea structures from clinical CT images constrained by a 10 parameter shape model. It is evaluated on three different datasets, one of which includes more than 200 patient images. The results show performances comparable to supervised methods and better than previously proposed unsupervised ones. It also enables an analysis of parameter distributions and the quantification of segmentation uncertainty including the effect of the shape model.


Probabilistic rough paths I Lions trees and coupled Hopf algebras. In this paper, we introduce a new concept the Lions tree. These objects arise in Taylor expansions involving the Lions derivative and prove invaluable in classifying the dynamics of mean field stochastic differential equations. We discuss Lions trees, derive an Algebra spanned by Lions trees and explore how couplings between Lions trees lead to a coupled Hopf algebra. Using this framework, we construct a new way to characterise rough signals driving mean field equations the probabilistic rough path. A comprehensive generalisation of the ideas first introduced in cite 2019arXiv180205882.2B , these ideas promise powerful insights into how interactions with a collective determine the dynamics of an individual within this collective.


Work in Progress Automated Generation of Robotic Planning Domains from Observations. In this paper, we report the results of our latest work on the automated generation of planning operators from human demonstrations, and we present some of our future research ideas. To automatically generate planning operators, our system segments and recognizes different observed actions from human demonstrations. We then proposed an automatic extraction method to detect the relevant preconditions and effects from these demonstrations. Finally, our system generates the associated planning operators and finds a sequence of actions that satisfies a user defined goal using a symbolic planner. The plan is deployed on a simulated TIAGo robot. Our future research directions include learning from and explaining execution failures and detecting cause effect relationships between demonstrated hand activities and their consequences on the robot's environment. The former is crucial for trust based and efficient human robot collaboration and the latter for learning in realistic and dynamic environments.


Confluence up to Garbage in Graph Transformation. The transformation of graphs and graph like structures is ubiquitous in computer science. When a system is described by graph transformation rules, it is often desirable that the rules are both terminating and confluent so that rule applications in an arbitrary order produce unique resulting graphs. However, there are application scenarios where the rules are not globally confluent but confluent on a subclass of graphs that are of interest. In other words, non resolvable conflicts can only occur on graphs that are considered as "garbage". In this paper, we introduce the notion of confluence up to garbage and generalise Plump's critical pair lemma for double pushout graph transformation, providing a sufficient condition for confluence up to garbage by non garbage critical pair analysis. We apply our results in two case studies about efficient language recognition we present backtracking free graph reduction systems which recognise a class of flow diagrams and a class of labelled series parallel graphs, respectively. Both systems are non confluent but confluent up to garbage. We also give a critical pair condition for subcommutativity up to garbage which, together with closedness, implies confluence up to garbage even in non terminating systems.


Introducing Discrepancy Values of Matrices with Application to Bounding Norms of Commutators. We introduce discrepancy values, quantities inspired by the notion of the spectral spread of Hermitian matrices. We define them as the discrepancy between two consecutive Ky Fan like seminorms. As a result, discrepancy values share many properties with singular values and eigenvalues, yet are substantially different to merit their own study. We describe key properties of discrepancy values, and establish several tools such as representation theorems, majorization inequalities, convex formulations, etc., for working with them. As an important application, we illustrate the role of discrepancy values in deriving tight bounds on the norms of commutators.


Are Missing Links Predictable? An Inferential Benchmark for Knowledge Graph Completion. We present InferWiki, a Knowledge Graph Completion (KGC) dataset that improves upon existing benchmarks in inferential ability, assumptions, and patterns. First, each testing sample is predictable with supportive data in the training set. To ensure it, we propose to utilize rule guided train test generation, instead of conventional random split. Second, InferWiki initiates the evaluation following the open world assumption and improves the inferential difficulty of the closed world assumption, by providing manually annotated negative and unknown triples. Third, we include various inference patterns (e.g., reasoning path length and types) for comprehensive evaluation. In experiments, we curate two settings of InferWiki varying in sizes and structures, and apply the construction process on CoDEx as comparative datasets. The results and empirical analyses demonstrate the necessity and high quality of InferWiki. Nevertheless, the performance gap among various inferential assumptions and patterns presents the difficulty and inspires future research direction. Our datasets can be found in https github.com TaoMiner inferwiki


Nonlinear Multi Objective Flux Balance Analysis of the Warburg Effect. Due to its implication in cancer treatment, the Warburg Effect has received extensive in silico investigation. Flux Balance Analysis (FBA), based on constrained optimization, was successfully applied in the Warburg Effect modelling. Yet, the assumption that cell types have one invariant cellular objective severely limits the applicability of the previous FBA models. Meanwhile, we note that cell types with different objectives show different extents of the Warburg Effect. To extend the applicability of the previous model and model the disparate cellular pathway preferences in different cell types, we built a Nonlinear Multi Objective FBA (NLMOFBA) model by including three key objective terms (ATP production rate, lactate generation rate and ATP yield) into one objective function through linear scalarization. By constructing a cellular objective map and iteratively varying the objective weights, we showed disparate cellular pathway preferences manifested by different cell types driven by their unique cellular objectives, and we gained insights about the causal relationship between cellular objectives and the Warburg Effect. In addition, we obtained other biologically consistent results by using our NLMOFBA model. For example, augmented with the constraint associated with inefficient mitochondria function or limited substrate, NLMOFBA predicts cellular pathways supported by the biology literature. Collectively, NLMOFBA can help build a complete understanding towards the Warburg Effect in different cell types.


Documentation Matters Human Centered AI System to Assist Data Science Code Documentation in Computational Notebooks. Computational notebooks allow data scientists to express their ideas through a combination of code and documentation. However, data scientists often pay attention only to the code, and neglect creating or updating their documentation during quick iterations. Inspired by human documentation practices learned from 80 highly voted Kaggle notebooks, we design and implement Themisto, an automated documentation generation system to explore how human centered AI systems can support human data scientists in the machine learning code documentation scenario. Themisto facilitates the creation of documentation via three approaches a deep learning based approach to generate documentation for source code, a query based approach to retrieve online API documentation for source code, and a user prompt approach to nudge users to write documentation. We evaluated Themisto in a within subjects experiment with 24 data science practitioners, and found that automated documentation generation techniques reduced the time for writing documentation, reminded participants to document code they would have ignored, and improved participants' satisfaction with their computational notebook.


Coarse to Fine Curriculum Learning. When faced with learning challenging new tasks, humans often follow sequences of steps that allow them to incrementally build up the necessary skills for performing these new tasks. However, in machine learning, models are most often trained to solve the target tasks directly.Inspired by human learning, we propose a novel curriculum learning approach which decomposes challenging tasks into sequences of easier intermediate goals that are used to pre train a model before tackling the target task. We focus on classification tasks, and design the intermediate tasks using an automatically constructed label hierarchy. We train the model at each level of the hierarchy, from coarse labels to fine labels, transferring acquired knowledge across these levels. For instance, the model will first learn to distinguish animals from objects, and then use this acquired knowledge when learning to classify among more fine grained classes such as cat, dog, car, and truck. Most existing curriculum learning algorithms for supervised learning consist of scheduling the order in which the training examples are presented to the model. In contrast, our approach focuses on the output space of the model. We evaluate our method on several established datasets and show significant performance gains especially on classification problems with many labels. We also evaluate on a new synthetic dataset which allows us to study multiple aspects of our method.


Some applications of the dual spaces of Hardy amalgam spaces. In this paper, thanks to the generalizations of the dual spaces of the Hardy amalgam spaces mathcal H (q,p) and mathcal H mathrm loc (q,p) for 0 q leq1 and q leq p infty , obtained in our earlier paper, we prove that the inclusion of mathcal H (1,p) in (L 1, ell p) for 1 leq p infty is strict, and more generally, the one of mathcal H (q,p) in mathcal H mathrm loc (q,p) for 0 q leq1 and q leq p infty . Moreover, as other applications, we obtain results of boundedness of Calder 'on Zygmund and convolution operators, generalizing those known in the context of the spaces mathcal H 1 and BMO( mathbb R d) .


A thermodynamical model for paleomagnetism in Earth's crust. A thermodynamically consistent model for soft deformable viscoelastic magnets is formulated in actual space (Eulerian) coordinates. The possibility of a ferro paramagnetic type (or ferri antiferromagnetic) transition exploiting Landau phase transition theory as well as mechanical melting or solidification is considered, being motivated and applicable to paleomagnetism (involving both thermo and isothermal and viscous remanent magnetization) in rocks in Earth's crust and to rock magma transition. The temperature dependent Jeffreys rheology in the deviatoric part combined with the Kelvin Voigt rheology in the spherical (volumetric) part is used. The energy balance and the entropy imbalance behind the model are demonstrated, and its analysis is performed by time discretization, proving existence of weak solutions.


Comparison of analytic and numeric methods to calculate ball bearing capacitance. The electrical characteristics of rolling bearings become increasingly important. This work examines various methods for calculating the capacitance and contributes to a deeper understanding of the electric behavior of the rolling bearing. The focus is on the peripheral zone outside the Hertzian area of loaded as well as unloaded rolling elements. Semi analytical approximations and finite element simulations are applied and a closed form analytical two dimensional solution is derived for comparison. The rolling contact of radially loaded deep groove ball bearings serves as an application example. The results show that the semi analytical approximations reproduce the trend from numerical and analytical calculations, but show significant quantitative differences. Particularly the contribution of unloaded rolling elements to the total capacitance has been underestimated so far.


An Algorithm for Generating Gap Fill Multiple Choice Questions of an Expert System. This research is aimed to propose an artificial intelligence algorithm comprising an ontology based design, text mining, and natural language processing for automatically generating gap fill multiple choice questions (MCQs). The simulation of this research demonstrated an application of the algorithm in generating gap fill MCQs about software testing. The simulation results revealed that by using 103 online documents as inputs, the algorithm could automatically produce more than 16 thousand valid gap fill MCQs covering a variety of topics in the software testing domain. Finally, in the discussion section of this paper we suggest how the proposed algorithm should be applied to produce gap fill MCQs being collected in a question pool used by a knowledge expert system.


Domain Aware Continual Zero Shot Learning. We introduce Domain Aware Continual Zero Shot Learning (DACZSL), the task of visually recognizing images of unseen categories in unseen domains sequentially. We created DACZSL on top of the DomainNet dataset by dividing it into a sequence of tasks, where classes are incrementally provided on seen domains during training and evaluation is conducted on unseen domains for both seen and unseen classes. We also proposed a novel Domain Invariant CZSL Network (DIN), which outperforms state of the art baseline models that we adapted to DACZSL setting. We adopt a structure based approach to alleviate forgetting knowledge from previous tasks with a small per task private network in addition to a global shared network. To encourage the private network to capture the domain and task specific representation, we train our model with a novel adversarial knowledge disentanglement setting to make our global network task invariant and domain invariant over all the tasks. Our method also learns a class wise learnable prompt to obtain better class level text representation, which is used to represent side information to enable zero shot prediction of future unseen classes. Our code and benchmarks will be made publicly available.


Simulation of Hybrid Edge Computing Architectures. Dealing with a growing amount of data is a crucial challenge for the future of information and communication technologies. More and more devices are expected to transfer data through the Internet, therefore new solutions have to be designed in order to guarantee low latency and efficient traffic management. In this paper, we propose a solution that combines the edge computing paradigm with a decentralized communication approach based on Peer to Peer (P2P). According to the proposed scheme, participants to the system are employed to relay messages of other devices, so as to reach a destination (usually a server at the edge of the network) even in absence of an Internet connection. This approach can be useful in dynamic and crowded environments, allowing the system to outsource part of the traffic management from the Cloud servers to end devices. To evaluate our proposal, we carry out some experiments with the help of LUNES, an open source discrete events simulator specifically designed for distributed environments. In our simulations, we tested several system configurations in order to understand the impact of the algorithms involved in the data dissemination and some possible network arrangements.


Recommender Systems for Configuration Knowledge Engineering. The knowledge engineering bottleneck is still a major challenge in configurator projects. In this paper we show how recommender systems can support knowledge base development and maintenance processes. We discuss a couple of scenarios for the application of recommender systems in knowledge engineering and report the results of empirical studies which show the importance of user centered configuration knowledge organization.


(Quasi )conformal methods in two dimensional free boundary problems. In this paper we study the local behavior of solutions to some free boundary problems. We relate the theory of quasi conformal maps to the regularity of the solutions to nonlinear thin obstacle problems we prove that the contact set is locally a finite union of intervals and we apply this result to the solutions of one phase Bernoulli problems with geometric constraint. We also introduce a new conformal hodograph transform, which allows to obtain the precise expansion at branch points of both the solutions to the one phase problem with geometric constraint and a class of symmetric solutions to the two phase problem, as well as to construct examples of free boundaries with cusp like singularities.


BEHAVE Behavior Aware, Intelligent and Fair Resource Management for Heterogeneous Edge IoT Systems. Edge computing is an emerging solution to support the future Internet of Things (IoT) applications that are delay sensitive, processing intensive or that require closer intelligence. Machine intelligence and data driven approaches are envisioned to build future Edge IoT systems that satisfy IoT devices' demands for edge resources. However, significant challenges and technical barriers exist which complicate the resource management for such Edge IoT systems. IoT devices running various applications can demonstrate a wide range of behaviors in the devices' resource demand that are extremely difficult to manage. In addition, the management of multidimensional resources fairly and efficiently by the edge in such a setting is a challenging task. In this paper, we develop a novel data driven resource management framework named BEHAVE that intelligently and fairly allocates edge resources to heterogeneous IoT devices with consideration of their behavior of resource demand (BRD). BEHAVE aims to holistically address the management technical barriers by 1) building an efficient scheme for modeling and assessment of the BRD of IoT devices based on their resource requests and resource usage 2) expanding a new Rational, Fair, and Truthful Resource Allocation (RFTA) model that binds the devices' BRD and resource allocation to achieve fair allocation and encourage truthfulness in resource demand and 3) developing an enhanced deep reinforcement learning (EDRL) scheme to achieve the RFTA goals. The evaluation results demonstrate BEHAVE's capability to analyze the IoT devices' BRD and adjust its resource management policy accordingly.


First Steps in Twisted Rabinowitz Floer Homology. Rabinowitz Floer homology is the Morse Bott homology in the sense of Floer associated with the Rabinowitz action functional introduced by Kai Cieliebak and Urs Frauenfelder in 2009. In our work, we consider a generalisation of this theory to a Rabinowitz Floer homology of a Liouville automorphism. As an application, we show the existence of noncontractible periodic Reeb orbits on quotients of symmetric star shaped hypersurfaces. In particular, our theory applies to lens spaces.


TIMEDIAL Temporal Commonsense Reasoning in Dialog. Everyday conversations require understanding everyday events, which in turn, requires understanding temporal commonsense concepts interwoven with those events. Despite recent progress with massive pre trained language models (LMs) such as T5 and GPT 3, their capability of temporal reasoning in dialogs remains largely under explored. In this paper, we present the first study to investigate pre trained LMs for their temporal reasoning capabilities in dialogs by introducing a new task and a crowd sourced English challenge set, TIMEDIAL. We formulate TIME DIAL as a multiple choice cloze task with over 1.1K carefully curated dialogs. Empirical results demonstrate that even the best performing models struggle on this task compared to humans, with 23 absolute points of gap in accuracy. Furthermore, our analysis reveals that the models fail to reason about dialog context correctly instead, they rely on shallow cues based on existing temporal patterns in context, motivating future research for modeling temporal concepts in text and robust contextual reasoning about them. The dataset is publicly available at https github.com google research datasets timedial.


Fast Direct Stereo Visual SLAM. We propose a novel approach for fast and accurate stereo visual Simultaneous Localization and Mapping (SLAM) independent of feature detection and matching. We extend monocular Direct Sparse Odometry (DSO) to a stereo system by optimizing the scale of the 3D points to minimize photometric error for the stereo configuration, which yields a computationally efficient and robust method compared to conventional stereo matching. We further extend it to a full SLAM system with loop closure to reduce accumulated errors. With the assumption of forward camera motion, we imitate a LiDAR scan using the 3D points obtained from the visual odometry and adapt a LiDAR descriptor for place recognition to facilitate more efficient detection of loop closures. Afterward, we estimate the relative pose using direct alignment by minimizing the photometric error for potential loop closures. Optionally, further improvement over direct alignment is achieved by using the Iterative Closest Point (ICP) algorithm. Lastly, we optimize a pose graph to improve SLAM accuracy globally. By avoiding feature detection or matching in our SLAM system, we ensure high computational efficiency and robustness. Thorough experimental validations on public datasets demonstrate its effectiveness compared to the state of the art approaches.


Identifying Processes Governing Damage Evolution in Quasi Static Elasticity Part I Analysis. We present a quasi static elasticity model that accounts for damage evolution based on the ideas of Kachanov 1958 and and Rabotnov 1968. We analyze the resulting strongly nonlinear system of differential equations in view of well posedness. The specific feature is that the displacements are connected to the damage evolution equation via a Nemytskii or superposition operator. The novelty in this work is that we present an inverse problem in a parameter identification setting, in which we are able to identify the shape of this Nemytskii operator. From the material modelling point of view, the relation of material damage and displacements is modelled by the shape of this operator. We establish the Fr 'echet derivative of the forward operator as well as the adjoint of the derivative and characterize both via systems of linear differential equations. We prove ill posedness of the inverse problem and provide a sufficient condition for the classical nonlinear Landweber method to converge.


Classification of Calabi Hypersurfaces in bbr n 1 with parallel Fubini Pick form. The classifications of locally strongly convex equiaffine hypersurfaces (resp. centroaffine hypersurfaces) with parallel Fubini Pick form with respect to the Levi Civita connection of the Blaschke Berwald affine metric (resp. centroaffine metric) have been completed by several geometers in the last decades, see cite HLV and cite CHM . In this paper we define a generalized Calabi product in Calabi geometry and prove decomposition theorems in terms of their Calabi invariants. As the main result, we obtain a complete classification of Calabi hypersurfaces in bbr n 1 with parallel Fubini Pick form with respect to the Levi Civita connection of the Calabi metric. This result is a counterpart in Calabi geometry of the classification theorems in equiaffine situation cite HLV and centroaffine situation cite CHM .


Learning with Multiclass AUC Theory and Algorithms. The Area under the ROC curve (AUC) is a well known ranking metric for problems such as imbalanced learning and recommender systems. The vast majority of existing AUC optimization based machine learning methods only focus on binary class cases, while leaving the multiclass cases unconsidered. In this paper, we start an early trial to consider the problem of learning multiclass scoring functions via optimizing multiclass AUC metrics. Our foundation is based on the M metric, which is a well known multiclass extension of AUC. We first pay a revisit to this metric, showing that it could eliminate the imbalance issue from the minority class pairs. Motivated by this, we propose an empirical surrogate risk minimization framework to approximately optimize the M metric. Theoretically, we show that (i) optimizing most of the popular differentiable surrogate losses suffices to reach the Bayes optimal scoring function asymptotically (ii) the training framework enjoys an imbalance aware generalization error bound, which pays more attention to the bottleneck samples of minority classes compared with the traditional O( sqrt 1 N ) result. Practically, to deal with the low scalability of the computational operations, we propose acceleration methods for three popular surrogate loss functions, including the exponential loss, squared loss, and hinge loss, to speed up loss and gradient evaluations. Finally, experimental results on 11 real world datasets demonstrate the effectiveness of our proposed framework.


Verification and Validation the Path to Predictive Scale Resolving Simulations of Turbulence. This work investigates the importance of verification and validation (V V) to achieve predictive scale resolving simulations (SRS) of turbulence, i.e., computations capable of resolving a fraction of the turbulent flow scales. Toward this end, we propose a novel but simple V V strategy based on grid and physical resolution refinement studies that can be used even when the exact initial flow conditions are unknown, or reference data are unavailable. This is particularly relevant for transient and transitional flow problems, as well as for the improvement of turbulence models. We start by presenting a literature survey of results obtained with distinct SRS models for flows past circular cylinders. It confirms the importance of V V by illustrating a large variability of results, which is independent of the selected mathematical model and Reynolds number. The proposed V V strategy is then used on three representative problems of practical interest. The results illustrate that it is possible to conduct reliable verification and validation exercises with SRS models, and evidence the importance of V V to predictive SRS of turbulence. Most notably, the data also confirm the advantages and potential of the proposed V V strategy separate assessment of numerical and modeling errors, enhanced flow physics analysis, identification of key flow phenomena, and ability to operate when the exact flow conditions are unknown or reference data are unavailable.


Issue Auto Assignment in Software Projects with Machine Learning Techniques. Usually, managers or technical leaders in software projects assign issues manually. This task may become more complex as more detailed is the issue description. This complexity can also make the process more prone to errors (misassignments) and time consuming. In the literature, many studies aim to address this problem by using machine learning strategies. Although there is no specific solution that works for all companies, experience reports are useful to guide the choices in industrial auto assignment projects. This paper presents an industrial initiative conducted in a global electronics company that aims to minimize the time spent and the errors that can arise in the issue assignment process. As main contributions, we present a literature review, an industrial report comparing different algorithms, and lessons learned during the project.


Reducibility of a family of local Artinian Gorenstein algebras. The Jordan type of an Artinian algebra is the Jordan block partition associated to multiplication by a generic element of the maximal ideal. We study the Jordan type for Artinian Gorenstein (AG) local algebras A, and the interaction of Jordan type with the symmetric decomposition of the Hilbert function H(A). We give examples of Gorenstein sequences H for which the family Gor(H) of AG algebras having Hilbert function H has several irreducible components, each corresponding to a symmetric decomposition of H. The component structure results from the intersection of two opposing filtrations of the family Gor(H) of AG algebras that by Jordan type satisfies the usual dominance property the second filtration, by symmetric decomposition, satisfies a known semicontinuity property. Our examples are in codimension three the lowest codimension of such an example, as Gor(H) is irreducible in codimension two.


Splitting schemes for the semi linear wave equation with dynamic boundary conditions. This paper introduces novel splitting schemes of first and second order for the wave equation with kinetic and acoustic boundary conditions of semi linear type. For kinetic boundary conditions, we propose a reinterpretation of the system equations as a coupled system. This means that the bulk and surface dynamics are modeled separately and connected through a coupling constraint. This allows the implementation of splitting schemes, which show first order convergence in numerical experiments. On the other hand, acoustic boundary conditions naturally separate bulk and surface dynamics. Here, Lie and Strang splitting schemes reach first and second order convergence, respectively, as we reveal numerically.


The necessity theory for commutators of multilinear singular integral operators the weighted case. In this paper, the necessity theory for commutators of multilinear singular integral operators on weighted Lebesgue spaces is investigated. The results relax the restriction of the weights class to the general multiple weights, which can be regarded as an essential improvement of cite ChafCruz2018,GLW2020 . Our approach elaborates on a commonly expanding the kernel locally by Fourier series, recovering many known results but yielding also numerous new ones. In particular, we answer the question about the necessity theory of the iterated commutators of the multilinear singular integral operators.


Almost Paracomplex Structures on 4 Manifolds. Reflection in a line in Euclidean 3 space defines an almost paracomplex structure on the space of all oriented lines, isometric with respect to the canonical neutral Kaehler metric. Beyond Euclidean 3 space, the space of oriented geodesics of any real 3 dimensional space form admits both isometric and anti isometric paracomplex structures. This paper considers the existence or otherwise of isometric and anti isometric almost paracomplex structures j on a pseudo Riemannian 4 manifold (M,g) , such that j is parallel with respect to the Levi Civita connection of g . It is shown that if an isometric or anti isometric almost paracomplex structure on a conformally flat manifold is parallel, then the scalar curvature of the metric must be zero. In addition, it is found that j is parallel iff the eigenplanes are tangent to a pair of mutually orthogonal foliations by totally geodesic surfaces. The composition of a Riemannian metric with an isometric almost paracomplex structure j yields a neutral metric g' . It is proven that if j is parallel, then g is Einstein iff g' is conformally flat and scalar flat. The vanishing of the Hirzebruch signature is found to be a necessary topological condition for a closed 4 manifold to admit an Einstein metric with a parallel isometric paracomplex structure. Thus, while the K3 manifold admits an Einstein metric with an isometric paracomplex structure, it cannot be parallel. The same holds true for certain connected sums of complex projective 2 space and its conjugate.


Mode conversion of extraordinary waves in stratified plasmas with an external magnetic field perpendicular to the directions of inhomogeneity and wave propagation. We study theoretically the mode conversion and the resonant absorption of high frequency electromagnetic waves into longitudinal modes in magnetized and stratified plasmas in the case where the external magnetic field is perpendicular to both the directions of inhomogeneity and wave propagation. Mode conversion is shown to occur only when the waves are extraordinary waves. We develop an efficient method for calculating the mode conversion coefficient for arbitrary spatial configurations of the plasma density and the external magnetic field in a numerically exact manner using the invariant imbedding method. We calculate the mode conversion coefficient extensively as a function of the incident angle, the external magnetic field, and the plasma density in the incident region. We show that there is strong asymmetry under the sign change of the incident angle and the external magnetic field and find that the mode conversion coefficient is close to one in certain ranges of the parameter values. We discuss the implications of our results in plasma heating phenomena.


On regularity of functions of Markov chains. We consider processes which are functions of finite state Markov chains. It is well known that such processes are rarely Markov. However, such processes are often regular in the following sense the distant past values of the process have diminishing influence on the distribution of the present value. In the present paper, we present novel sufficient conditions for regularity of functions of Markov chains.


A duality operators Banach spaces. Given a set B of operators between subspaces of L p spaces, we characterize the operators between subspaces of L p spaces that remain bounded on the X valued L p space for every Banach space on which elements of the original class B are bounded. This is a form of the bipolar theorem for a duality between the class of Banach spaces and the class of operators between subspaces of L p spaces, essentially introduced by Pisier. The methods we introduce allow us to recover also the other direction characterizing the bipolar of a set of Banach spaces , which had been obtained by Hernandez in 1983.


BARTpho Pre trained Sequence to Sequence Models for Vietnamese. In this paper, we present BARTpho with two versions BARTpho syllable and BARTpho word, which are the first public large scale monolingual sequence to sequence models pre trained for Vietnamese. BARTpho uses the "large" architecture and the pre training scheme of the sequence to sequence denoising autoencoder BART, thus especially suitable for generative NLP tasks. We conduct experiments to compare our BARTpho with its competitor mBART on a downstream task of Vietnamese text summarization and show that in both automatic and human evaluations, BARTpho outperforms the strong baseline mBART and improves the state of the art. We release BARTpho to facilitate future research and applications of generative Vietnamese NLP tasks. Our BARTpho models are publicly available at https github.com VinAIResearch BARTpho


On Asymptotic Linear Convergence of Projected Gradient Descent for Constrained Least Squares. Many recent problems in signal processing and machine learning such as compressed sensing, image restoration, matrix tensor recovery, and non negative matrix factorization can be cast as constrained optimization. Projected gradient descent is a simple yet efficient method for solving such constrained optimization problems. Local convergence analysis furthers our understanding of its asymptotic behavior near the solution, offering sharper bounds on the convergence rate compared to global convergence analysis. However, local guarantees often appear scattered in problem specific areas of machine learning and signal processing. This manuscript presents a unified framework for the local convergence analysis of projected gradient descent in the context of constrained least squares. The proposed analysis offers insights into pivotal local convergence properties such as the condition of linear convergence, the region of convergence, the exact asymptotic rate of convergence, and the bound on the number of iterations needed to reach a certain level of accuracy. To demonstrate the applicability of the proposed approach, we present a recipe for the convergence analysis of PGD and demonstrate it via a beginning to end application of the recipe on four fundamental problems, namely, linearly constrained least squares, sparse recovery, least squares with the unit norm constraint, and matrix completion.


Phrase Retrieval Learns Passage Retrieval, Too. Dense retrieval methods have shown great promise over sparse retrieval methods in a range of NLP problems. Among them, dense phrase retrieval the most fine grained retrieval unit is appealing because phrases can be directly used as the output for question answering and slot filling tasks. In this work, we follow the intuition that retrieving phrases naturally entails retrieving larger text blocks and study whether phrase retrieval can serve as the basis for coarse level retrieval including passages and documents. We first observe that a dense phrase retrieval system, without any retraining, already achieves better passage retrieval accuracy ( 3 5 in top 5 accuracy) compared to passage retrievers, which also helps achieve superior end to end QA performance with fewer passages. Then, we provide an interpretation for why phrase level supervision helps learn better fine grained entailment compared to passage level supervision, and also show that phrase retrieval can be improved to achieve competitive performance in document retrieval tasks such as entity linking and knowledge grounded dialogue. Finally, we demonstrate how phrase filtering and vector quantization can reduce the size of our index by 4 10x, making dense phrase retrieval a practical and versatile solution in multi granularity retrieval.


Optimizing QoS for Erasure Coded Wireless Data Centers. Cloud computing facilitates the access of applications and data from any location by a distributed storage system. Erasure codes offer better data replication technique with reduced storage costs for more reliability. This paper considers the erasure coded data center with multiple servers in a wireless network where each is equipped with a base station. The cause of latency in the file retrieval process is mainly due to queuing delays at each server. This work puts forth a stochastic optimization framework for obtaining the optimal scheduling policy that maximizes users' quality of service (QoS) while adhering to the latency requirements. We further show that the problem has non linear functions of expectations in objective and constraints and is impossible to solve with traditional SGD like algorithms. We propose a new algorithm that addresses compositional structure in the problem. Further, we show that the proposed algorithm achieves a faster convergence rate than the best known results. Finally, we test the efficacy of the proposed method in a simulated environment.


Characterizing and Measuring the Similarity of Neural Networks with Persistent Homology. Characterizing the structural properties of neural networks is crucial yet poorly understood, and there are no well established similarity measures between networks. In this work, we observe that neural networks can be represented as abstract simplicial complex and analyzed using their topological 'fingerprints' via Persistent Homology (PH). We then describe a PH based representation proposed for characterizing and measuring similarity of neural networks. We empirically show the effectiveness of this representation as a descriptor of different architectures in several datasets. This approach based on Topological Data Analysis is a step towards better understanding neural networks and serves as a useful similarity measure.


Yet another proof of the strong law of large numbers. We give a short proof of the strong law of large numbers based on duality for random walk


A Deep Learning Algorithm for Piecewise Linear Interface Construction (PLIC). Piecewise Linear Interface Construction (PLIC) is frequently used to geometrically reconstruct fluid interfaces in Computational Fluid Dynamics (CFD) modeling of two phase flows. PLIC reconstructs interfaces from a scalar field that represents the volume fraction of each phase in each computational cell. Given the volume fraction and interface normal, the location of a linear interface is uniquely defined. For a cubic computational cell (3D), the position of the planar interface is determined by intersecting the cube with a plane, such that the volume of the resulting truncated polyhedron cell is equal to the volume fraction. Yet it is geometrically complex to find the exact position of the plane, and it involves calculations that can be a computational bottleneck of many CFD models. However, while the forward problem of 3D PLIC is challenging, the inverse problem, of finding the volume of the truncated polyhedron cell given a defined plane, is simple. In this work, we propose a deep learning model for the solution to the forward problem of PLIC by only making use of its inverse problem. The proposed model is up to several orders of magnitude faster than traditional schemes, which significantly reduces the computational bottleneck of PLIC in CFD simulations.


A Riemann von Mangoldt type formula for the distribution of Beurling primes. In this paper we work out a Riemann von Mangoldt type formula for the summatory function psi(x) sum g in G, g le x Lambda G (g) , where G is an arithmetical semigroup (a Beurling generalized system of integers) and Lambda G is the corresponding von Mangoldt function attaining log p for g p k with a prime element p in G and zero otherwise. On the way towards this formula, we prove explicit estimates on the Beurling zeta function zeta G , belonging to G , to the number of zeroes of zeta G in various regions, in particular within the critical strip where the analytic continuation exists, and to the magnitude of the logarithmic derivative of zeta G , under the sole additional assumption that Knopfmacher's Axiom A is satisfied. We also construct a technically useful broken line contour to which the technic of integral transformation can be well applied. The whole work serves as a first step towards a further study of the distribution of zeros of the Beurling zeta function, providing appropriate zero density and zero clustering estimates, to be presented in the continuation of this paper.


Residual2Vec Debiasing graph embedding with random graphs. Graph embedding maps a graph into a convenient vector space representation for graph analysis and machine learning applications. Many graph embedding methods hinge on a sampling of context nodes based on random walks. However, random walks can be a biased sampler due to the structural properties of graphs. Most notably, random walks are biased by the degree of each node, where a node is sampled proportionally to its degree. The implication of such biases has not been clear, particularly in the context of graph representation learning. Here, we investigate the impact of the random walks' bias on graph embedding and propose residual2vec, a general graph embedding method that can debias various structural biases in graphs by using random graphs. We demonstrate that this debiasing not only improves link prediction and clustering performance but also allows us to explicitly model salient structural properties in graph embedding.


BMO solutions to quasilinear equations of p Laplace type. We give necessary and sufficient conditions for the existence of a BMO solution to the quasilinear equation Delta p u mu in mathbb R n , u ge 0 , where mu is a locally finite Radon measure, and Delta p u text div ( nabla u p 2 nabla u) is the p Laplacian ( p 1 ). We also characterize BMO solutions to equations Delta p u sigma u q mu in mathbb R n , u ge 0 , with q 0 , where both mu and sigma are locally finite Radon measures. Our main results hold for a class of more general quasilinear operators rm div ( mathcal A (x, nabla cdot)) in place of Delta p .


Hebbian Semi Supervised Learning in a Sample Efficiency Setting. We propose to address the issue of sample efficiency, in Deep Convolutional Neural Networks (DCNN), with a semi supervised training strategy that combines Hebbian learning with gradient descent all internal layers (both convolutional and fully connected) are pre trained using an unsupervised approach based on Hebbian learning, and the last fully connected layer (the classification layer) is trained using Stochastic Gradient Descent (SGD). In fact, as Hebbian learning is an unsupervised learning method, its potential lies in the possibility of training the internal layers of a DCNN without labels. Only the final fully connected layer has to be trained with labeled examples. We performed experiments on various object recognition datasets, in different regimes of sample efficiency, comparing our semi supervised (Hebbian for internal layers SGD for the final fully connected layer) approach with end to end supervised backprop training, and with semi supervised learning based on Variational Auto Encoder (VAE). The results show that, in regimes where the number of available labeled samples is low, our semi supervised approach outperforms the other approaches in almost all the cases.


A limit law for the most favorite point of simple random walk on a regular tree. We consider a continuous time random walk on a regular tree of finite depth and study its favorite points among the leaf vertices. For the walk started from a leaf vertex and stopped upon hitting the root we prove that, in the limit as as the depth of the tree tends to infinity, the suitably scaled and centered maximal time spent at any leaf converges to a randomly shifted Gumbel law. The random shift is characterized using a derivative martingale like object associated with square root local time process on the tree.


Renting Servers in the Cloud The Case of Equal Duration Jobs. Renting servers in the cloud is a generalization of the bin packing problem, motivated by job allocation to servers in cloud computing applications. Jobs arrive in an online manner, and need to be assigned to servers their duration and size are known at the time of arrival. There is an infinite supply of identical servers, each having one unit of computational capacity per unit of time. A server can be rented at any time and continues to be rented until all jobs assigned to it finish. The cost of an assignment is the sum of durations of rental periods of all servers. The goal is to assign jobs to servers to minimize the overall cost while satisfying server capacity constraints. We focus on analyzing two natural algorithms, NextFit and FirstFit, for the case of jobs of equal duration. It is known that the competitive ratio of NextFit and FirstFit are at most 3 and 4 respectively for this case. We prove a tight bound of 2 on the competitive ratio of NextFit. For FirstFit, we establish a lower bound of 2.519 on the competitive ratio, even when jobs have only two distinct arrival times. For the case when jobs have arrival times 0 and 1 and duration 2, we show a lower bound of 1.89 and an upper bound of 2 on the strict competitive ratio of FirstFit. Finally, using the weight function technique, we obtain stronger results for the case of uniform servers.


A New First Order Taylor like Theorem With An Optimized Reduced Remainder. This paper is devoted to a new first order Taylor like formula where the corresponding remainder is strongly reduced in comparison with the usual one which appears in the classical Taylor's formula. To derive this new formula, we introduce a linear combination of the first derivative of the concerned function, which is computed at n 1 equally spaced points between the two points where the function has to be evaluated. We show that an optimal choice of the weights in the linear combination leads to minimizing the corresponding remainder. Then, we analyze the Lagrange P1 interpolation error estimate and also the trapezoidal quadrature error, in order to assess the gain of accuracy we obtain using this new Taylor like formula.


Multi Task Learning based Online Dialogic Instruction Detection with Pre trained Language Models. In this work, we study computational approaches to detect online dialogic instructions, which are widely used to help students understand learning materials, and build effective study habits. This task is rather challenging due to the widely varying quality and pedagogical styles of dialogic instructions. To address these challenges, we utilize pre trained language models, and propose a multi task paradigm which enhances the ability to distinguish instances of different classes by enlarging the margin between categories via contrastive loss. Furthermore, we design a strategy to fully exploit the misclassified examples during the training stage. Extensive experiments on a real world online educational data set demonstrate that our approach achieves superior performance compared to representative baselines. To encourage reproducible results, we make our implementation online available at url https github.com AIED2021 multitask dialogic instruction .


Processing Analytical Queries in the AWESOME Polystore Information Systems Architectures . Modern big data applications usually involve heterogeneous data sources and analytical functions, leading to increasing demand for polystore systems, especially analytical polystore systems. This paper presents AWESOME system along with a domain specific language ADIL. ADIL is a powerful language which supports 1) native heterogeneous data models such as Corpus, Graph, and Relation 2) a rich set of analytical functions and 3) clear and rigorous semantics. AWESOME is an efficient tri store middle ware which 1) is built on the top of three heterogeneous DBMSs (Postgres, Solr, and Neo4j) and is easy to be extended to incorporate other systems 2) supports the in memory query engines and is equipped with analytical capability 3) applies a cost model to efficiently execute workloads written in ADIL 4) fully exploits machine resources to improve scalability. A set of experiments on real workloads demonstrate the capability, efficiency, and scalability of AWESOME.


Sparse Steerable Convolutions An Efficient Learning of SE(3) Equivariant Features for Estimation and Tracking of Object Poses in 3D Space. As a basic component of SE(3) equivariant deep feature learning, steerable convolution has recently demonstrated its advantages for 3D semantic analysis. The advantages are, however, brought by expensive computations on dense, volumetric data, which prevent its practical use for efficient processing of 3D data that are inherently sparse. In this paper, we propose a novel design of Sparse Steerable Convolution (SS Conv) to address the shortcoming SS Conv greatly accelerates steerable convolution with sparse tensors, while strictly preserving the property of SE(3) equivariance. Based on SS Conv, we propose a general pipeline for precise estimation of object poses, wherein a key design is a Feature Steering module that takes the full advantage of SE(3) equivariance and is able to conduct an efficient pose refinement. To verify our designs, we conduct thorough experiments on three tasks of 3D object semantic analysis, including instance level 6D pose estimation, category level 6D pose and size estimation, and category level 6D pose tracking. Our proposed pipeline based on SS Conv outperforms existing methods on almost all the metrics evaluated by the three tasks. Ablation studies also show the superiority of our SS Conv over alternative convolutions in terms of both accuracy and efficiency. Our code is released publicly at https github.com Gorilla Lab SCUT SS Conv.


FPT algorithms for packing k safe spanning rooted sub(di)graphs. We study three problems introduced by Bang Jensen and Yeo Theor. Comput. Sci. 2015 and by Bang Jensen, Havet, and Yeo Discret. Appl. Math. 2016 about finding disjoint "balanced" spanning rooted substructures in graphs and digraphs, which generalize classic packing problems. Namely, given a positive integer k , a digraph D (V,A) , and a root r in V , we consider the problem of finding two arc disjoint k safe spanning r arborescences and the problem of finding two arc disjoint (r,k) flow branchings. We show that both these problems are FPT with parameter k , improving on existing XP algorithms. The latter of these results answers a question of Bang Jensen, Havet, and Yeo Discret. Appl. Math. 2016 . Further, given an integer k , a graph G (V,E) , and r in V , we consider the problem of finding two arc disjoint (r,k) safe spanning trees. We show that this problem is also FPT with parameter k , again improving on a previous XP algorithm. Our main technical contribution is to prove that the existence of such spanning substructures is equivalent to the existence of substructures with size and maximum (out )degree both bounded by a (linear or quadratic) function of k , which may be of independent interest.


kdehumor at semeval 2020 task 7 a neural network model for detecting funniness in dataset humicroedit. This paper describes our contribution to SemEval 2020 Task 7 Assessing Humor in Edited News Headlines. Here we present a method based on a deep neural network. In recent years, quite some attention has been devoted to humor production and perception. Our team KdeHumor employs recurrent neural network models including Bi Directional LSTMs (BiLSTMs). Moreover, we utilize the state of the art pre trained sentence embedding techniques. We analyze the performance of our method and demonstrate the contribution of each component of our architecture.


Calder 'on Zygmund operators on RBMO. Let mu be an n dimensional finite positive measure on mathbb R m . We obtain a T1 condition sufficient for the boundedness of Calder ' o n Zygmund operators on textrm RBMO ( mu) , the regular BMO space of Tolsa.


Geometric Transformer for End to End Molecule Properties Prediction. Transformers have become methods of choice in many applications thanks to their ability to represent complex interactions between elements. However, extending the Transformer architecture to non sequential data such as molecules and enabling its training on small datasets remains a challenge. In this work, we introduce a Transformer based architecture for molecule property prediction, which is able to capture the geometry of the molecule. We modify the classical positional encoder by an initial encoding of the molecule geometry, as well as a learned gated self attention mechanism. We further suggest an augmentation scheme for molecular data capable of avoiding the overfitting induced by the overparameterized architecture. The proposed framework outperforms the state of the art methods while being based on pure machine learning solely, i.e. the method does not incorporate domain knowledge from quantum chemistry and does not use extended geometric inputs besides the pairwise atomic distances.


Closures and co closures attached to FCP ring extensions. The paper deals with ring extensions R subseteq S and the poset R,S of their subextensions, with a special look at FCP extensions (extensions such that R,S is Artinian and Noetherian). When the extension has FCP, we show that there exists a co integral closure, that is a least element underline R in R,S such that underline R subseteq S is integral. Replacing the integral property by the integrally closed property, we are able to prove a similar result for an FCP extension. The radicial closure of R in S is well known. We are able to exhibit a suitable separable closure of R in S in case the extension has FCP, and then results are similar to those of field theory. The FCP property being always guaranteed, we discuss when an extension has a co subintegral or a co infra integral closure. Our theory is made easier by using anodal extensions. These (co) closures exist for example when the extension is catenarian, an interesting special case for the study of distributive extensions to appear in a forthcoming paper.


Cognitive architecture aided by working memory for self supervised multi modal humans recognition. The ability to recognize human partners is an important social skill to build personalized and long term human robot interactions, especially in scenarios like education, care giving, and rehabilitation. Faces and voices constitute two important sources of information to enable artificial systems to reliably recognize individuals. Deep learning networks have achieved state of the art results and demonstrated to be suitable tools to address such a task. However, when those networks are applied to different and unprecedented scenarios not included in the training set, they can suffer a drop in performance. For example, with robotic platforms in ever changing and realistic environments, where always new sensory evidence is acquired, the performance of those models degrades. One solution is to make robots learn from their first hand sensory data with self supervision. This allows coping with the inherent variability of the data gathered in realistic and interactive contexts. To this aim, we propose a cognitive architecture integrating low level perceptual processes with a spatial working memory mechanism. The architecture autonomously organizes the robot's sensory experience into a structured dataset suitable for human recognition. Our results demonstrate the effectiveness of our architecture and show that it is a promising solution in the quest of making robots more autonomous in their learning process.


The Hurewicz map in motivic homotopy theory. For an A 1 connected pointed simplicial sheaf sX over a perfect field k , we prove that the Hurewicz map pi 1 A 1 ( sX) to H 1 A 1 ( sX) is surjective. We also observe that the Hurewicz map for P 1 k is the abelianisation map. In the course of proving this result, we also show that for any morphism phi of strongly A 1 invariant sheaves of groups, the image and kernel of phi are also strongly A 1 invariant.


Optimization Methods for Fully Composite Problems. In this paper, we propose a new Fully Composite Formulation of convex optimization problems. It includes, as a particular case, the problems with functional constraints, max type minimization problems, and problems of Composite Minimization, where the objective can have simple nondifferentiable components. We treat all these formulations in a unified way, highlighting the existence of very natural optimization schemes of different order. We prove the global convergence rates for our methods under the most general conditions. Assuming that the upper level component of our objective function is subhomogeneous, we develop efficient modification of the basic Fully Composite first order and second order Methods, and propose their accelerated variants.


Investigating the Thixotropic Behaviour of Tremie Concrete Using the Slump flow Test and the Material Point Method. A new thixotropic model is developed integrating the Papanastasiou Bingham model with thixotropy equations to simulate the flow behaviour of Tremie Concrete in the Material Point Method framework. The effect of thixotropy on the rheological behaviour of fresh concrete is investigated by comparing field measurements with numerical simulations. The comparison yields new insights into a critical and often overlooked behaviour of concrete. A parametric study is performed to understand the effect of model parameters and rest time on the shear stress response of fresh concrete. The Material Point Method with the Papanastasiou Bingham model reproduces slump flow measurements observed in the field. The novel model revealed a decline in concrete workability during the Slump flow test after a period of rest due to thixotropy, which the physical version of the test fails to capture. This reduction in workability significantly affects the flow behaviour and the effective use of fresh concrete in construction operation.


Learning Successor States and Goal Dependent Values A Mathematical Viewpoint. In reinforcement learning, temporal difference based algorithms can be sample inefficient for instance, with sparse rewards, no learning occurs until a reward is observed. This can be remedied by learning richer objects, such as a model of the environment, or successor states. Successor states model the expected future state occupancy from any given state for a given policy and are related to goal dependent value functions, which learn how to reach arbitrary states. We formally derive the temporal difference algorithm for successor state and goal dependent value function learning, either for discrete or for continuous environments with function approximation. Especially, we provide finite variance estimators even in continuous environments, where the reward for exactly reaching a goal state becomes infinitely sparse. Successor states satisfy more than just the Bellman equation a backward Bellman operator and a Bellman Newton (BN) operator encode path compositionality in the environment. The BN operator is akin to second order gradient descent methods and provides the true update of the value function when acquiring more observations, with explicit tabular bounds. In the tabular case and with infinitesimal learning rates, mixing the usual and backward Bellman operators provably improves eigenvalues for asymptotic convergence, and the asymptotic convergence of the BN operator is provably better than TD, with a rate independent from the environment. However, the BN method is more complex and less robust to sampling noise. Finally, a forward backward (FB) finite rank parameterization of successor states enjoys reduced variance and improved samplability, provides a direct model of the value function, has fully understood fixed points corresponding to long range dependencies, approximates the BN method, and provides two canonical representations of states as a byproduct.


Spectral Data for SU(1,2) Higgs Bundles. In this article we give an explicit description of the Hitchin fiber of SU(1,2) Higgs bundles (L,F, gamma, beta) over a compact Riemann surface X of genus ge 2 with q gamma circ beta having simple zeros and Toledo invariant tau 2 rm deg L satisfying rm deg L g 1 . In particular we identify the data in an SU(1,2) Higgs bundle as a Hecke transformation iota F to L 2 K oplus LK at Z(q) . The Hitchin fiber is identified with a fiber bundle over text Pic d X with unirational fiber, which is a GIT quotient of a mathbb C times action on left( mathbb P 1 right) 4g 4 . The base parametrizes choice of the line bundle L and the fiber gives parameters for the Hecke transformation. The stable locus is shown to be a coarse moduli space of the corresponding moduli functor.


Conditional Value at Risk and Partial Moments for the Metalog Distributions. The metalog distributions represent a convenient way to approach many practical applications. Their distinctive feature is simple closed form expressions for quantile functions. This paper contributes to further development of the metalog distributions by deriving the closed form expressions for the Conditional Value at Risk, a risk measure that is closely related to the tail conditional expectations. It also addressed the derivation of the first order partial moments and shows that they are convex with respect to the vector of the metalog distribution parameters.


Proceedings 14th Interaction and Concurrency Experience. This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21. The ICE workshop series features a distinguishing review and selection procedure, allowing PC members to interact anonymously with authors. As in the past 13 editions, this interaction considerably improved the accuracy of the feedback from the reviewers and the quality of accepted papers, and offered the basis for lively discussion during the workshop. The 2021 edition of ICE included double blind reviewing of original research papers, in order to increase fairness and avoid bias in reviewing. Each paper was reviewed by three or four PC members, and altogether 5 papers were accepted for publication plus 4 oral presentations which are not part of this volume. We were proud to host 2 invited talks, by Laura Bocchi and Helene Coullon. The abstracts of these talks are included in this volume together with the regular papers. The final versions of the contributions, taking into account the discussion at the workshop, are included.


Representative community divisions of networks. Methods for detecting community structure in networks typically aim to identify a single best partition of network nodes into communities, often by optimizing some objective function, but in real world applications there may be many competitive partitions with objective scores close to the global optimum and one can obtain a more informative picture of the community structure by examining a representative set of such high scoring partitions than by looking at just the single optimum. However, such a set can be difficult to interpret since its size can easily run to hundreds or thousands of partitions. In this paper we present a method for analyzing large partition sets by dividing them into groups of similar partitions and then identifying an archetypal partition as a representative of each group. The resulting set of archetypal partitions provides a succinct, interpretable summary of the form and variety of community structure in any network. We demonstrate the method on a range of example networks.


HM DDP A Hybrid Multiple shooting Differential Dynamic Programming Method for Constrained Trajectory Optimization. Trajectory optimization has been used extensively in robotic systems. In particular, Differential Dynamic Programming (DDP) has performed well as an off line planner or an online nonlinear model predictive control solver, with a lower computational cost compared with other general purpose nonlinear programming solvers. However, standard DDP cannot handle any constraints or perform reasonable initialization of a state trajectory. In this paper, we propose a hybrid constrained DDP variant with a multiple shooting framework. The main technical contributions are twofold 1) In addition to inheriting the simplicity of the initialization in multiple shooting, a two stage framework is developed to deal with state and control inequality constraints robustly without loss of the linear feedback term of DDP. Such a hybrid strategy offers a fast convergence of constraint satisfaction. 2) An improved globalization strategy is proposed to exploit the coupled effects between line searching and regularization, which is able to enhance the numerical robustness of DDP like approaches. Our approach is tested on three constrained trajectory optimization problems with nonlinear inequality constraints and outperforms the commonly used collocation and shooting methods in terms of runtime and constraint satisfaction.


Composing Networks of Automated Market Makers. Automated market makers (AMMs) are automata that trade electronic assets at rates set by mathematical formulas. AMMs are usually implemented by smart contracts on blockchains. In practice, AMMs are often composed and outputs from AMMs can be directed into other compatible AMMs. This paper proposes a mathematical model for AMM composition. We define sequential and parallel composition operators for AMMs in a way that ensures that AMMs are closed under composition, in a way that works for "higher dimensional" AMMs that manage more than two asset classes, and so the composition of AMMs in "stable" states remains stable.


Impact of individual behavioral changes on epidemic spreading in time varying networks. Changs in individual behavior often entangles with the dynamic interaction of individuals, which complicates the epidemic process and brings great challenges for the understanding and control of the epidemic. In this work, we consider three kinds of typical behavioral changes in epidemic process that is, self quarantine of infected individuals, self protection of susceptible individuals, and social distancing between them. We connect the behavioral changes with individual's social attributes by the activity driven network with attractiveness. A mean field theory is established to derive an analytical estimate of epidemic threshold for SIS models with individual behavioral changes, which depends on the correlations between activity, attractiveness and the number of generative links in the susceptible and infected states. We find that individual behaviors play different roles in suppressing the epidemic. Although all the behavioral changes could delay the epidemic by increasing the epidemic threshold, self quarantine and social distancing of infected individuals could effectively decrease the epidemic size. In addition, simultaneous changes in these behaviors and the timing of implement of them also play a key role in suppressing the epidemic. These results provide helpful significance for understanding the interaction of individual behaviors in the epidemic process.


Towards One Shot Search Space Poisoning in Neural Architecture Search. We evaluate the robustness of a Neural Architecture Search (NAS) algorithm known as Efficient NAS (ENAS) against data agnostic poisoning attacks on the original search space with carefully designed ineffective operations. We empirically demonstrate how our one shot search space poisoning approach exploits design flaws in the ENAS controller to degrade predictive performance on classification tasks. With just two poisoning operations injected into the search space, we inflate prediction error rates for child networks upto 90 on the CIFAR 10 dataset.