Sl EDGE Network Slicing at the Edge. Network slicing of multi access edge computing (MEC) resources is expected to be a pivotal technology to the success of 5G networks and beyond. The key challenge that sets MEC slicing apart from traditional resource allocation problems is that edge nodes depend on tightly intertwined and strictly constrained networking, computation and storage resources. Therefore, instantiating MEC slices without incurring in resource over provisioning is hardly addressable with existing slicing algorithms. The main innovation of this paper is Sl EDGE, a unified MEC slicing framework that allows network operators to instantiate heterogeneous slice services (e.g., video streaming, caching, 5G network access) on edge devices. We first describe the architecture and operations of Sl EDGE, and then show that the problem of optimally instantiating joint network MEC slices is NP hard. Thus, we propose near optimal algorithms that leverage key similarities among edge nodes and resource virtualization to instantiate heterogeneous slices 7.5x faster and within 0.25 of the optimum. We first assess the performance of our algorithms through extensive numerical analysis, and show that Sl EDGE instantiates slices 6x more efficiently then state of the art MEC slicing algorithms. Furthermore, experimental results on a 24 radio testbed with 9 smartphones demonstrate that Sl EDGE provides at once highly efficient slicing of joint LTE connectivity, video streaming over WiFi, and ffmpeg video transcoding.


Distributed Data Verification Protocols in Cloud Computing. Recently, storage of huge volume of data into Cloud has become an effective trend in modern day Computing due to its dynamic nature. After storing, users deletes their original copy of the data files. Therefore users, cannot directly control over that data. This lack of control introduces security issues in Cloud data storage, one of the most important security issue is integrity of the remotely stored data. Here, we propose a Distributed Algorithmic approach to address this problem with publicly probabilistic verifiable scheme. Due to heavy workload at the Third Party Auditor side, we distributes the verification task among various SUBTPAs. We uses Sobol Random Sequences to generates the random block numbers that maintains the uniformity property. In addition, our method provides uniformity for each subtasks also. To makes each subtask uniform, we uses some analytical approach. For this uniformity, our protocols verify the integrity of the data very efficiently and quickly. Also, we provides special care about critical data by using Overlap Task Distribution Keys.


Drinfeld Manin solutions of the Yang Baxter equation coming from cube complexes. The most common geometric interpretation of the Yang Baxter equation is by braids, knots and relevant Reidemeister moves. So far, cubes were used for connections with the third Reidemeister move only. We will show that there are higher dimensional cube complexes solving the D state Yang Baxter equation for arbitrarily large D . More precisely, we introduce explicit constructions of cube complexes covered by products of n trees and show that these cube complexes lead to new solutions of the Yang Baxter equations.


Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. Blockchain has become particularly popular due to its promise to support business critical services in very different domains (e.g., retail, supply chains, healthcare). Blockchain systems rely on complex middleware, like Ethereum or Hyperledger Fabric, that allow running smart contracts, which specify business logic in cooperative applications. The presence of software defects or faults in these contracts has notably been the cause of failures, including severe security problems. In this paper, we use a software implemented fault injection (SWIFI) technique to assess the behavior of permissioned blockchain systems in the presence of faulty smart contracts. We emulate the occurrence of general software faults (e.g., missing variable initialization) and also blockchain specific software faults (e.g., missing require statement on transaction sender) in smart contracts code to observe the impact on the overall system dependability (i.e., reliability and integrity). We also study the effectiveness of formal verification (i.e., done by solc verify) and runtime protections (e.g., using the assert statement) mechanisms in detection of injected faults. Results indicate that formal verification as well as additional runtime protections have to complement built in platform checks to guarantee the proper dependability of blockchain systems and applications. The work presented in this paper allows smart contract developers to become aware of possible faults in smart contracts and to understand the impact of their presence. It also provides valuable information for middleware developers to improve the behavior (e.g., overall fault tolerance) of their systems.


LuNet A Deep Neural Network for Network Intrusion Detection. Network attack is a significant security issue for modern society. From small mobile devices to large cloud platforms, almost all computing products, used in our daily life, are networked and potentially under the threat of network intrusion. With the fast growing network users, network intrusions become more and more frequent, volatile and advanced. Being able to capture intrusions in time for such a large scale network is critical and very challenging. To this end, the machine learning (or AI) based network intrusion detection (NID), due to its intelligent capability, has drawn increasing attention in recent years. Compared to the traditional signature based approaches, the AI based solutions are more capable of detecting variants of advanced network attacks. However, the high detection rate achieved by the existing designs is usually accompanied by a high rate of false alarms, which may significantly discount the overall effectiveness of the intrusion detection system. In this paper, we consider the existence of spatial and temporal features in the network traffic data and propose a hierarchical CNN RNN neural network, LuNet. In LuNet, the convolutional neural network (CNN) and the recurrent neural network (RNN) learn input traffic data in sync with a gradually increasing granularity such that both spatial and temporal features of the data can be effectively extracted. Our experiments on two network traffic datasets show that compared to the state of the art network intrusion detection techniques, LuNet not only offers a high level of detection capability but also has a much low rate of false positive alarm.


Blade Envelopes Part II Multiple Objectives and Inverse Design. Blade envelopes offer a set of data driven tolerance guidelines for manufactured components based on aerodynamic analysis. In Part I of this two part paper, a workflow for the formulation of blade envelopes is described and demonstrated. In Part II, this workflow is extended to accommodate multiple objectives. This allows engineers to prescribe manufacturing guidelines that take into account multiple performance criteria. The quality of a manufactured blade can be correlated with features derived from the distribution of primal flow quantities over the surface. We show that these distributions can be accounted for in the blade envelope using vector valued models derived from discrete surface flow measurements. Our methods result in a set of variables that allows flexible and independent control over multiple flow characteristics and performance metrics, similar in spirit to inverse design methods. The augmentations to the blade envelope workflow presented in this paper are demonstrated on the LS89 turbine blade, focusing on the control of loss, mass flow and the isentropic Mach number distribution. Finally, we demonstrate how blade envelopes can be used to visualize invariant designs by producing a 3D render of the envelope using 3D modelling software.


Teach Repeat Replan A Complete and Robust System for Aggressive Flight in Complex Environments. In this paper, we propose a complete and robust motion planning system for the aggressive flight of autonomous quadrotors. The proposed method is built upon on a classical teach and repeat framework, which is widely adopted in infrastructure inspection, aerial transportation, and search and rescue. For these applications, human's intention is essential to decide the topological structure of the flight trajectory of the drone. However, poor teaching trajectories and changing environments prevent a simple teach and repeat system from being applied flexibly and robustly. In this paper, instead of commanding the drone to precisely follow a teaching trajectory, we propose a method to automatically convert a human piloted trajectory, which can be arbitrarily jerky, to a topologically equivalent one. The generated trajectory is guaranteed to be smooth, safe, and kinodynamically feasible, with a human preferable aggressiveness. Also, to avoid unmapped or dynamic obstacles during flights, a sliding windowed local perception and re planning method are introduced to our system, to generate safe local trajectories onboard. We name our system as teach repeat replan. It can capture users' intention of a flight mission, convert an arbitrarily jerky teaching path to a smooth repeating trajectory, and generate safe local re plans to avoid unmapped or moving obstacles. The proposed planning system is integrated into a complete autonomous quadrotor with global and local perception and localization sub modules. Our system is validated by performing aggressive flights in challenging indoor outdoor environments. We release all components in our quadrotor system as open source ros packages.


HyperSeg Patch wise Hypernetwork for Real time Semantic Segmentation. We present a novel, real time, semantic segmentation network in which the encoder both encodes and generates the parameters (weights) of the decoder. Furthermore, to allow maximal adaptivity, the weights at each decoder block vary spatially. For this purpose, we design a new type of hypernetwork, composed of a nested U Net for drawing higher level context features, a multi headed weight generating module which generates the weights of each block in the decoder immediately before they are consumed, for efficient memory utilization, and a primary network that is composed of novel dynamic patch wise convolutions. Despite the usage of less conventional blocks, our architecture obtains real time performance. In terms of the runtime vs. accuracy trade off, we surpass state of the art (SotA) results on popular semantic segmentation benchmarks PASCAL VOC 2012 (val. set) and real time semantic segmentation on Cityscapes, and CamVid. The code is available https nirkin.com hyperseg.


On the Secrecy Rate of Spatial Modulation Based Indoor Visible Light Communications. In this paper, we investigate the physical layer security for a spatial modulation (SM) based indoor visible light communication (VLC) system, which includes multiple transmitters, a legitimate receiver, and a passive eavesdropper (Eve). At the transmitters, the SM scheme is employed, i.e., only one transmitter is active at each time instant. To choose the active transmitter, a uniform selection (US) scheme is utilized. Two scenarios are considered one is with non negativity and average optical intensity constraints, the other is with non negativity, average optical intensity and peak optical intensity constraints. Then, lower and upper bounds on the secrecy rate are derived for these two scenarios. Besides, the asymptotic behaviors for the derived secrecy rate bounds at high signal to noise ratio (SNR) are analyzed. To further improve the secrecy performance, a channel adaptive selection (CAS) scheme and a greedy selection (GS) scheme are proposed to select the active transmitter. Numerical results show that the lower and upper bounds of the secrecy rate are tight. At high SNR, small asymptotic performance gaps exist between the derived lower and upper bounds. Moreover, the proposed GS scheme has the best performance, followed by the CAS scheme and the US scheme.


On Pointwise converse of Fatou's theorem for Euclidean and Real hyperbolic spaces. In this article, we extend a result of L. Loomis and W. Rudin, regarding boundary behavior of positive harmonic functions on the upper half space R n 1 . We show that similar results remain valid for more general approximate identities. We apply this result to prove a result regarding boundary behavior of nonnegative eigenfunctions of the Laplace Beltrami operator on real hyperbolic space mathbb H n . We shall also prove a generalization of a result regarding large time behavior of solution of the heat equation proved in cite Re . We use this result to prove a result regarding asymptotic behavior of certain eigenfunctions of the Laplace Beltrami operator on real hyperbolic space mathbb H n .


Optimal Control in Pandemics. During a pandemic, there are conflicting demands arising from public health and economic cost. Lockdowns are a common way of containing infections, but they adversely affect the economy. We study the question of how to minimise the economic damage of a lockdown while still containing infections. Our analysis is based on the SIR model, which we analyse using a clock set by the virus. This use of the "virus time" permits a clean mathematical formulation of our problem. We optimise the economic cost for a fixed health cost and arrive at a strategy for navigating the pandemic. This involves adjusting the level of lockdowns in a controlled manner so as to minimise the economic cost.


Unique photoluminescence response of MoS2 quantum dots over wide range of As (III) in aqueous media. Solvothermal synthesis of MoS2 based quantum dots (QDs) and the performance evaluation of bare QDs for the detection of aqueous As (III) oxidative state at room temperature and neutral pH over an extremely wide range (0.1 ppb to 1000 ppb) is reported here. Concentration dependent photoluminescence (PL) of the QDs was found to be enhanced up to 50 ppb and then suppressed till 1000 ppb, showing two distinctive slopes for enhancement and suppression. Passivation of trap states or defects of QDs may be the possible reason for enhancement, and the formation of extremely small glassy As2S3 particles on the QD surface may be the possible reason for suppression. The pattern of optical absorption of QDs is featureless but shows an enhanced absorbance in the near UV range below 300 nm, which increases with As (III) concentration up to 50 ppb and then decreases following the PL pattern. The MoS2 QDs were characterized by transmission electron microscopy (TEM), Xray diffraction (XRD), UV Vis, and PL spectroscopy. The enhancement and suppression results can be fitted excellently with the modified Stern Volmer equation, and the detection of arsenic is possible using these linear fit equations as calibration curves.


Unsupervised Pre training for Person Re identification. In this paper, we present a large scale unlabeled person re identification (Re ID) dataset "LUPerson" and make the first attempt of performing unsupervised pre training for improving the generalization ability of the learned person Re ID feature representation. This is to address the problem that all existing person Re ID datasets are all of limited scale due to the costly effort required for data annotation. Previous research tries to leverage models pre trained on ImageNet to mitigate the shortage of person Re ID data but suffers from the large domain gap between ImageNet and person Re ID data. LUPerson is an unlabeled dataset of 4M images of over 200K identities, which is 30X larger than the largest existing Re ID dataset. It also covers a much diverse range of capturing environments (eg, camera settings, scenes, etc.). Based on this dataset, we systematically study the key factors for learning Re ID features from two perspectives data augmentation and contrastive loss. Unsupervised pre training performed on this large scale dataset effectively leads to a generic Re ID feature that can benefit all existing person Re ID methods. Using our pre trained model in some basic frameworks, our methods achieve state of the art results without bells and whistles on four widely used Re ID datasets CUHK03, Market1501, DukeMTMC, and MSMT17. Our results also show that the performance improvement is more significant on small scale target datasets or under few shot setting.


A CCG based Compositional Semantics and Inference System for Comparatives. Comparative constructions play an important role in natural language inference. However, attempts to study semantic representations and logical inferences for comparatives from the computational perspective are not well developed, due to the complexity of their syntactic structures and inference patterns. In this study, using a framework based on Combinatory Categorial Grammar (CCG), we present a compositional semantics that maps various comparative constructions in English to semantic representations and introduces an inference system that effectively handles logical inference with comparatives, including those involving numeral adjectives, antonyms, and quantification. We evaluate the performance of our system on the FraCaS test suite and show that the system can handle a variety of complex logical inferences with comparatives.


Chromatic nonsymmetric polynomials of Dyck graphs are slide positive. Motivated by the study of Macdonald polynomials, J. Haglund and A. Wilson introduced a nonsymmetric polynomial analogue of the chromatic quasisymmetric function called the emph chromatic nonsymmetric polynomial of a Dyck graph. We give a positive expansion for this polynomial in the basis of fundamental slide polynomials using recent work of Assaf Bergeron on flagged (P, rho) partitions. We then derive the known expansion for the chromatic quasisymmetric function of Dyck graphs in terms of Gessel's fundamental basis by taking a backstable limit of our expansion.


Upper bounds on number fields of given degree and bounded discriminant. Let N n(X) denote the number of degree n number fields with discriminant bounded by X . In this note, we improve the best known upper bounds on N n(X) , finding that N n(X) O(X c ( log n) 2 ) for an explicit constant c .


Memory effects on link formation in temporal networks A fractional calculus approach. Memory plays a vital role in the temporal evolution of interactions of complex systems. To address the impact of memory on the temporal pattern of networks, we propose a simple preferential connection model, in which nodes have a preferential tendency to establish links with most active nodes. Node activity is measured by the number of links a node observes in a given time interval. Memory is investigated using a time fractional order derivative equation, which has proven to be a powerful method to understand phenomena with long term memory. The memoryless case reveals a characteristic time where node activity behaves differently below and above it. We also observe that dense temporal networks (high number of events) show a clearer characteristic time than sparse ones. Interestingly, we also find that memory leads to decay of the node activity thus, the chances of a node to receive new connections reduce with the node's age. Finally, we discuss the statistical properties of the networks for various memory length.


Random Generation of Thompson's group F . We prove that under two natural probabilistic models (studied by Cleary, Elder, Rechnitzer and Taback), the probability that a random pair of elements of Thompson's group F generate the entire group is positive. We also prove that for any k generated subgroup H of F which contains a "natural" copy of F , the probability of a random (k 2) generated subgroup of F coinciding with H is positive.


H "older regularity for quasilinear parabolic equations with anisotropic p Laplace nonlinearity Announcement. We announce some new results for proving H "older continuity of weak solutions to quasilinear parabolic equations whose prototype takes the form u t div ( nabla u p 2 nabla u) 0 qquad text or qquad u t div ( u x 1 p 1 2 u x 1 , u x 2 p 2 2 u x 2 , ldots u x N p N 2 u x N ) 0 and 1 p 1,p 2, ldots,p N infty . We develop a new technique which is independent of the "method of intrinsic scaling" developed by E.DiBenedetto in the degenerate case ( p geq 2 ) and E.DiBenedetto and Y.Z.Chen in the singular case ( p leq 2 ) and instead uses a new and elementary linearisation procedure to handle the nonlinearity.


Comparison of the depths on both sides of the local Langlands correspondence for Weil restricted groups (with appendix by Jessica Fintzen). Let E F be a finite and Galois extension of non archimedean local fields. Let G be a connected reductive group defined over E and let M mathfrak R E F , G be the reductive group over F obtained by Weil restriction of scalars. We investigate depth, and the enhanced local Langlands correspondence, in the transition from G(E) to M(F) . We obtain a depth comparison formula for Weil restricted groups.


Determination of 2 Adic Complexity of Generalized Binary Sequences of Order 2. The generalized binary sequences of order 2 have been used to construct good binary cyclic codes 4 . The linear complexity of these sequences has been computed in 2 . The autocorrelation values of such sequences have been determined in 1 and 3 . Some lower bounds of 2 adic complexity for such sequences have been presented in 5 and 7 . In this paper we determine the exact value of 2 adic complexity for such sequences. Particularly, we improve the lower bounds presented in 5 and 7 and the condition for the 2 adic complexity reaching the maximum value.


Hitting time of edge disjoint Hamilton cycles in random subgraph processes on dense base graphs. Consider the random subgraph process on a base graph G on n vertices a sequence lbrace G t rbrace t 0 E(G) of random subgraphs of G obtained by choosing an ordering of the edges of G uniformly at random, and by sequentially adding edges to G 0 , the empty graph on the vertex set of G , according to the chosen ordering. We show that if G has one of the following properties 1. There is a positive constant varepsilon 0 such that delta (G) geq left( frac 1 2 varepsilon right) n 2. There are some constants alpha, beta 0 such that every two disjoint subsets U,W of size at least alpha n have at least beta U W edges between them, and the minimum degree of G is at least (2 alpha beta ) cdot n or 3. G is an (n,d, lambda ) graph, with d geq frac C cdot n cdot log log n log n and lambda leq frac c cdot d 2 n for some absolute constants c,C 0 . then for a positive integer constant k with high probability the hitting time of the property of containing k edge disjoint Hamilton cycles is equal to the hitting time of having minimum degree at least 2k . These results extend prior results by by Johansson and by Frieze and Krivelevich, and answer a question posed by Frieze.


Strong Secrecy for General Multiple Access Wiretap Channels. This paper is concerned with the general multiple access wiretap channel and the existence of codes that accomplish reliability and strong secrecy. Information leakage to the eavesdropper is assessed by the variational distance metric, whereas the average error probability is bounded by modifying Feinsteins Lemma. We derive an achievable strong secrecy rate region by utilizing the resolvability theory for the multiple access channel in terms of information spectrum methods.


The Gerrymandering Jumble Map Projections Permute Districts' Compactness Scores. In political redistricting, the compactness of a district is used as a quantitative proxy for its fairness. Several well established, yet competing, notions of geographic compactness are commonly used to evaluate the shapes of regions, including the Polsby Popper score, the convex hull score, and the Reock score, and these scores are used to compare two or more districts or plans. In this paper, we prove mathematically that any map projection from the sphere to the plane reverses the ordering of the scores of some pair of regions for all three of these scores. Empirically, we demonstrate that the effect of using the Cartesian latitude longitude projection on the order of Reock scores is quite dramatic.


Which Trading Agent is Best? Using a Threaded Parallel Simulation of a Financial Market Changes the Pecking Order. This paper presents novel results generated from a new simulation model of a contemporary financial market, that cast serious doubt on the previously widely accepted view of the relative performance of various well known public domain automated trading algorithms. Various public domain trading algorithms have been proposed over the past 25 years in a kind of arms race, where each new trading algorithm was compared to the previous best, thereby establishing a "pecking order", i.e. a partially ordered dominance hierarchy from best to worst of the various trading algorithms. Many of these algorithms were developed and tested using simple minimal simulations of financial markets that only weakly approximated the fact that real markets involve many different trading systems operating asynchronously and in parallel. In this paper we use BSE, a public domain market simulator, to run a set of experiments generating benchmark results from several well known trading algorithms. BSE incorporates a very simple time sliced approach to simulating parallelism, which has obvious known weaknesses. We then alter and extend BSE to make it threaded, so that different trader algorithms operate asynchronously and in parallel we call this simulator Threaded BSE (TBSE). We then re run the trader experiments on TBSE and compare the TBSE results to our earlier benchmark results from BSE. Our comparison shows that the dominance hierarchy in our more realistic experiments is different from the one given by the original simple simulator. We conclude that simulated parallelism matters a lot, and that earlier results from simple simulations comparing different trader algorithms are no longer to be entirely trusted.


Evaluating text coherence based on the graph of the consistency of phrases to identify symptoms of schizophrenia. Different state of the art methods of the detection of schizophrenia symptoms based on the estimation of text coherence have been analyzed. The analysis of a text at the level of phrases has been suggested. The method based on the graph of the consistency of phrases has been proposed to evaluate the semantic coherence and the cohesion of a text. The semantic coherence, cohesion, and other linguistic features (lexical diversity, lexical density) have been taken into account to form feature vectors for the training of a model classifier. The training of the classifier has been performed on the set of English language interviews. According to the retrieved results, the impact of each feature on the output of the model has been analyzed. The results obtained can indicate that the proposed method based on the graph of the consistency of phrases may be used in the different tasks of the detection of mental illness.


Index Coding in Vehicle to Vehicle Communication. Vehicle to Vehicle (V2V) communication phase is an integral part of collaborative message dissemination in vehicular ad hoc networks (VANETs). In this work, we apply index coding techniques to reduce the number of transmissions required for data exchange. The index coding problem has a sender, which tries to meet the demands of several receivers in a minimum number of transmissions. All these receivers have some prior knowledge of the messages, known as the side information. In this work, we consider a particular case of the index coding problem, where multiple nodes want to share information among them. Under this set up, lower bound on the number of transmissions is established when the cardinality of side information is the same. An optimal solution to achieve the bound in a special case of VANET scenario is presented. For this special case, we consider the link between the nodes to be error prone, and in this setting, we construct optimal linear error correcting index codes.


Network Information Theoretic Security. Shannon showed that to achieve perfect secrecy in point to point communication, the message rate cannot exceed the shared secret key rate giving rise to the simple one time pad encryption scheme. In this paper, we extend this work from point to point to networks. We consider a connected network with pairwise communication between the nodes. We assume that each node is provided with a certain amount of secret bits before communication commences. An eavesdropper with unlimited computing power has access to all communication and can hack a subset of the nodes not known to the rest of the nodes. We investigate the limits on information theoretic secure communication for this network. We establish a tradeoff between the secure channel rate (for a node pair) and the secure network rate (sum over all node pair rates) and show that perfect secrecy can be achieved if and only if the sum rate of any subset of unhacked channels does not exceed the shared unhacked secret bit rate of these channels. We also propose two practical and efficient schemes that achieve a good balance of network and channel rates with perfect secrecy guarantee. This work has a wide range of potential applications for which perfect secrecy is desired, such as cyber physical systems, distributed control systems, and ad hoc networks.


Controlling the dynamics of cloud cavitation bubbles through acoustic feedback. Cloud cavitation causes nontrivial energy concentration and acoustic shielding in liquid, and its control is a long standing challenge due to complex dynamics of bubble clouds. We present a new framework to study closed loop control of cavitation through acoustic feedback. While previous approaches used empirical thresholding, we employ model based state estimation of coherent bubble dynamics based on theory and high performance computing. Using a pulsed ultrasound setup, we demonstrate set point control of the pulse repetition frequency (PRF) to modulate acoustic cavitation near a solid target over O(100) s. We identify a quasi equilibrium correlation between PRF and the bubble dynamics, and an optimal PRF to minimize acoustic shielding of the target. This framework can be readily scaled up by enhanced acoustic sensing and computational power.


Reciprocal Best Match Graphs. Reciprocal best matches play an important role in numerous applications in computational biology, in particular as the basis of many widely used tools for orthology assessment. Nevertheless, very little is known about their mathematical structure. Here, we investigate the structure of reciprocal best match graphs (RBMGs). In order to abstract from the details of measuring distances, we define reciprocal best matches here as pairwise most closely related leaves in a gene tree, arguing that conceptually this is the notion that is pragmatically approximated by distance or similarity based heuristics. We start by showing that a graph G is an RBMG if and only if its quotient graph w.r.t. a certain thinness relation is an RBMG. Furthermore, it is necessary and sufficient that all connected components of G are RBMGs. The main result of this contribution is a complete characterization of RBMGs with 3 colors species that can be checked in polynomial time. For 3 colors, there are three distinct classes of trees that are related to the structure of the phylogenetic trees explaining them. We derive an approach to recognize RBMGs with an arbitrary number of colors it remains open however, whether a polynomial time for RBMG recognition exists. In addition, we show that RBMGs that at the same time are cographs (co RBMGs) can be recognized in polynomial time. Co RBMGs are characterized in terms of hierarchically colored cographs, a particular class of vertex colored cographs that is introduced here. The (least resolved) trees that explain co RBMGs can be constructed in polynomial time.


OBoW Online Bag of Visual Words Generation for Self Supervised Learning. Learning image representations without human supervision is an important and active research field. Several recent approaches have successfully leveraged the idea of making such a representation invariant under different types of perturbations, especially via contrastive based instance discrimination training. Although effective visual representations should indeed exhibit such invariances, there are other important characteristics, such as encoding contextual reasoning skills, for which alternative reconstruction based approaches might be better suited. With this in mind, we propose a teacher student scheme to learn representations by training a convolutional net to reconstruct a bag of visual words (BoW) representation of an image, given as input a perturbed version of that same image. Our strategy performs an online training of both the teacher network (whose role is to generate the BoW targets) and the student network (whose role is to learn representations), along with an online update of the visual words vocabulary (used for the BoW targets). This idea effectively enables fully online BoW guided unsupervised learning. Extensive experiments demonstrate the interest of our BoW based strategy which surpasses previous state of the art methods (including contrastive based ones) in several applications. For instance, in downstream tasks such Pascal object detection, Pascal classification and Places205 classification, our method improves over all prior unsupervised approaches, thus establishing new state of the art results that are also significantly better even than those of supervised pre training. We provide the implementation code at https github.com valeoai obow.


Analogy as Nonparametric Bayesian Inference over Relational Systems. Much of human learning and inference can be framed within the computational problem of relational generalization. In this project, we propose a Bayesian model that generalizes relational knowledge to novel environments by analogically weighting predictions from previously encountered relational structures. First, we show that this learner outperforms a naive, theory based learner on relational data derived from random and Wikipedia based systems when experience with the environment is small. Next, we show how our formalization of analogical similarity translates to the selection and weighting of analogies. Finally, we combine the analogy and theory based learners in a single nonparametric Bayesian model, and show that optimal relational generalization transitions from relying on analogies to building a theory of the novel system with increasing experience in it. Beyond predicting unobserved interactions better than either baseline, this formalization gives a computational level perspective on the formation and abstraction of analogies themselves.


Algebraic Number Starscapes. We study the geometry of algebraic numbers in the complex plane, and their Diophantine approximation, aided by extensive computer visualization. Motivated by these images, called algebraic starscapes, we describe the geometry of the map from the coefficient space of polynomials to the root space, focussing on the quadratic and cubic cases. The geometry describes and explains notable features of the illustrations, and motivates a geometric minded recasting of fundamental results in the Diophantine approximation of the complex plane. The images provide a case study in the symbiosis of illustration and research, and an entry point to geometry and number theory for a wider audience. The paper is written to provide an accessible introduction to the study of homogeneous geometry and Diophantine approximation. We investigate the homogeneous geometry of root and coefficient spaces under the natural operatorname PSL (2 mathbb C ) action, especially in degrees 2 and 3. We rediscover the quadratic and cubic root formulas as isometries, and determine when the map sending certain families of polynomials to their complex roots (our starscape images) are embeddings. We consider complex Diophantine approximation by quadratic irrationals, in terms of hyperbolic distance and the discriminant as a measure of arithmetic height. We recover the quadratic case of results of Bugeaud and Evertse, and give some geometric explanation for the dichotomy they discovered (Bugeaud, Y. and Evertse, J. H., Approximation of complex algebraic numbers by algebraic numbers of bounded degree, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 8 (2009), no. 2, 333 368). Our statements go a little further in distinguishing approximability in terms of whether the target or approximations lie on rational geodesics. The paper comes with accompanying software, and finishes with a wide variety of open problems.


The conical Radon transform with vertices on triple lines. We study the inversion of the conical Radon which integrates a function in three dimensional space from integrals over circular cones. The conical Radon recently got significant attention due to its relevance in various imaging applications such as Compton camera imaging and single scattering optical tomography. The unrestricted conical Radon transform is over determined because the manifold of all cones depends on six variables the center position, the axis orientation and the opening angle of the cone. In this work, we consider a particular restricted transform using triple line sensors where integrals over a three dimensional set of cones are collected, determined by a one dimensional vertex set, a one dimensional set of central axes, and the one dimensional set of opening angle. As the main result in this paper, we derive an analytic inversion formula for the restricted conical Radon transform. Along that way we define a certain ray transform adapted to the triple line sensor for which we establish an analytic inversion formula.


Robust and Efficient Multilevel ILU Preconditioning of Hybrid Newton GMRES for Incompressible Navier Stokes Equations. We introduce a robust and efficient preconditioner for a hybrid Newton GMRES method for solving the nonlinear systems arising from incompressible Navier Stokes equations. When the Reynolds number is relatively high, these systems often involve millions of degrees of freedom (DOFs), and the nonlinear systems are difficult to converge, partially due to the strong asymmetry of the system and the saddle point structure. In this work, we propose to alleviate these issues by leveraging a multilevel ILU preconditioner called HILUCSI, which is particularly effective for saddle point problems and can enable robust and rapid convergence of the inner iterations in Newton GMRES. We further use Picard iterations with the Oseen systems to hot start Newton GMRES to achieve global convergence, also preconditioned using HILUCSI. To further improve efficiency and robustness, we use the Oseen operators as physics based sparsifiers when building preconditioners for Newton iterations and introduce adaptive refactorization and iterative refinement in HILUCSI. We refer to the resulting preconditioned hybrid Newton GMRES as HILUNG. We demonstrate the effectiveness of HILUNG by solving the standard 2D driven cavity problem with Re 5000 and a 3D flow over cylinder problem with low viscosity. We compare HILUNG with some state of the art customized preconditioners for INS, including two variants of augmented Lagrangian preconditioners and two physics based preconditioners, as well as some general purpose approximate factorization techniques. Our comparison shows that HILUNG is much more robust for solving high Re problems and it is also more efficient in both memory and runtime for moderate Re problems.


Modified log Sobolev inequalities and two level concentration. We consider a generic modified logarithmic Sobolev inequality (mLSI) of the form mathrm Ent mu (e f) le tfrac rho 2 mathbb E mu e f Gamma(f) 2 for some difference operator Gamma , and show how it implies two level concentration inequalities akin to the Hanson Wright or Bernstein inequality. This can be applied to the continuous (e. ,g. the sphere or bounded perturbations of product measures) as well as discrete setting (the symmetric group, finite measures satisfying an approximate tensorization property, ldots). Moreover, we use modified logarithmic Sobolev inequalities on the symmetric group S n and for slices of the hypercube to prove Talagrand's convex distance inequality, and provide concentration inequalities for locally Lipschitz functions on S n . Some examples of known statistics are worked out, for which we obtain the correct order of fluctuations, which is consistent with central limit theorems.


In Response to COVID 19 Configuration Model of the Epidemic Spreading. A configuration model for epidemic spread, based on a scale free network, is introduced. We obtain the analytical solutions describing both unstable and stable dynamics of the epidemic spreading, and demonstrate how these regimes can interchange during the epidemic. We apply the model to the COVID 19 case and demonstrate the predictive features of our model.


Robots Assembling Machines Learning from the World Robot Summit 2018 Assembly Challenge. The Industrial Assembly Challenge at the World Robot Summit was held in 2018 to showcase the state of the art of autonomous manufacturing systems. The challenge included various tasks, such as bin picking, kitting, and assembly of standard industrial parts into 2D and 3D assemblies. Some of the tasks were only revealed at the competition itself, representing the challenge of "level 5" automation, i. e., programming and setting up an autonomous assembly system in less than one day. We conducted a survey among the teams that participated in the challenge and investigated aspects such as team composition, development costs, system setups as well as the teams' strategies and approaches. An analysis of the survey results reveals that the competitors have been in two camps those constructing conventional robotic work cells with off the shelf tools, and teams who mostly relied on custom made end effectors and novel software approaches in combination with collaborative robots. While both camps performed reasonably well, the winning team chose a middle ground in between, combining the efficiency of established play back programming with the autonomy gained by CAD based object detection and force control for assembly operations.


Learning Very Large Graphs with Unknown Vertex Distributions. Recently, Goldreich introduced the notion of property testing of bounded degree graphs with an unknown distribution. We propose a slight modification of his idea the Radon Nikodym Oracles. Using these oracles any reasonable graph property can be tested in constant time against any reasonable unknown distribution in the category of planar graphs. We also discuss Randomized Local Distributed Algorithms, which work on very large graphs with unknown distributions. Finally, we discuss how can we learn graph properties using observations instead of samplings.


Generalized torsion and Dehn filling. A generalized torsion element is a non trivial element such that some non empty finite product of its conjugates is the identity. We construct a generalized torsion element of the fundamental group of a 3 manifold obtained by Dehn surgery along a knot in the 3 sphere.


The Deligne Mumford operad as a trivialization of the circle action. We prove that the tree like Deligne Mumford operad is a homotopical model for the trivialization of the circle in the higher genus framed little discs operad. Our proof is based on a geometric argument involving nodal annuli. We use Riemann surfaces with analytically parametrized boundary as a model for higher genus framed little discs.


Newswire versus Social Media for Disaster Response and Recovery. In a disaster situation, first responders need to quickly acquire situational awareness and prioritize response based on the need, resources available and impact. Can they do this based on digital media such as Twitter alone, or newswire alone, or some combination of the two? We examine this question in the context of the 2015 Nepal Earthquakes. Because newswire articles are longer, effective summaries can be helpful in saving time yet giving key content. We evaluate the effectiveness of several unsupervised summarization techniques in capturing key content. We propose a method to link tweets written by the public and newswire articles, so that we can compare their key characteristics timeliness, whether tweets appear earlier than their corresponding news articles, and content. A novel idea is to view relevant tweets as a summary of the matching news article and evaluate these summaries. Whenever possible, we present both quantitative and qualitative evaluations. One of our main findings is that tweets and newswire articles provide complementary perspectives that form a holistic view of the disaster situation.


The sandpile model on the complete split graph, Motzkin words, and tiered parking functions. We classify recurrent states of the Abelian sandpile model (ASM) on the complete split graph. There are two distinct cases to be considered that depend upon the location of the sink vertex in the complete split graph. This characterisation of decreasing recurrent states is in terms of Motzkin words and can also be characterised in terms of combinatorial necklaces. We also give a characterisation of the recurrent states in terms of a new type of parking function that we call a tiered parking function. These parking functions are characterised by assigning a tier (or colour) to each of the cars, and specifying how many cars of a lower tier one wishes to have parked before them. We also enumerate the different sets of recurrent configurations studied in this paper, and in doing so derive a formula for the number of spanning trees of the complete split graph that uses a bijective Pr "ufer code argument.


Unconstrained Matching of 2D and 3D Descriptors for 6 DOF Pose Estimation. This paper proposes a novel concept to directly match feature descriptors extracted from 2D images with feature descriptors extracted from 3D point clouds. We use this concept to directly localize images in a 3D point cloud. We generate a dataset of matching 2D and 3D points and their corresponding feature descriptors, which is used to learn a Descriptor Matcher classifier. To localize the pose of an image at test time, we extract keypoints and feature descriptors from the query image. The trained Descriptor Matcher is then used to match the features from the image and the point cloud. The locations of the matched features are used in a robust pose estimation algorithm to predict the location and orientation of the query image. We carried out an extensive evaluation of the proposed method for indoor and outdoor scenarios and with different types of point clouds to verify the feasibility of our approach. Experimental results demonstrate that direct matching of feature descriptors from images and point clouds is not only a viable idea but can also be reliably used to estimate the 6 DOF poses of query cameras in any type of 3D point cloud in an unconstrained manner with high precision.


Deep Image Compositing. Image compositing is a task of combining regions from different images to compose a new image. A common use case is background replacement of portrait images. To obtain high quality composites, professionals typically manually perform multiple editing steps such as segmentation, matting and foreground color decontamination, which is very time consuming even with sophisticated photo editing tools. In this paper, we propose a new method which can automatically generate high quality image compositing without any user input. Our method can be trained end to end to optimize exploitation of contextual and color information of both foreground and background images, where the compositing quality is considered in the optimization. Specifically, inspired by Laplacian pyramid blending, a dense connected multi stream fusion network is proposed to effectively fuse the information from the foreground and background images at different scales. In addition, we introduce a self taught strategy to progressively train from easy to complex cases to mitigate the lack of training data. Experiments show that the proposed method can automatically generate high quality composites and outperforms existing methods both qualitatively and quantitatively.


Selection on X 1 X 2 cdots X m with layer ordered heaps. Selection on X 1 X 2 cdots X m is an important problem with many applications in areas such as max convolution, max product Bayesian inference, calculating most probable isotopes, and computing non parametric test statistics, among others. Faster than na " i ve approaches exist for m 2 Frederickson (1993) published the optimal algorithm with runtime O(k) and Kaplan emph et al. (2018) has since published a much simpler algorithm which makes use of Chazelle's soft heaps (2003). No fast methods exist for m 2 . Johnson Mizoguchi (1978) introduced a method to compute the single k th value when m 2 , but that method runs in O(m cdot n lceil frac m 2 rceil log(n)) time and is inefficient when m gg 1 and k ll n lceil frac m 2 rceil . In this paper, we introduce the first efficient methods, both in theory and practice, for problems with m 2 . We introduce the layer ordered heap,'' a simple special class of heap with which we produce a new, fast selection algorithm on the Cartesian product. Using this new algorithm to perform k selection on the Cartesian product of m arrays of length n has runtime in o(k cdot m) . We also provide implementations of the algorithms proposed and evaluate their performance in practice.


Advancing Lazy Grounding ASP Solving Techniques Restarts, Phase Saving, Heuristics, and More. Answer Set Programming (ASP) is a powerful and expressive knowledge representation paradigm with a significant number of applications in logic based AI. The traditional ground and solve approach, however, requires ASP programs to be grounded upfront and thus suffers from the so called grounding bottleneck (i.e., ASP programs easily exhaust all available memory and thus become unsolvable). As a remedy, lazy grounding ASP solvers have been developed, but many state of the art techniques for grounded ASP solving have not been available to them yet. In this work we present, for the first time, adaptions to the lazy grounding setting for many important techniques, like restarts, phase saving, domain independent heuristics, and learned clause deletion. Furthermore, we investigate their effects and in general observe a large improvement in solving capabilities and also uncover negative effects in certain cases, indicating the need for portfolio solving as known from other solvers. Under consideration for acceptance in TPLP.


On necessary and sufficient conditions relating the adjoint of a column to a row of linear relations. A row and a column of two linear relations in Hilbert spaces are presented respectively as a sum and an intersection of two linear relations. As an application, necessary and sufficient conditions for the adjoint of a column to be a row are examined. Several outcomes are discussed as well.


Existence and relaxation theorems for differential inclusions involving time dependent maximal monotone operators. In this paper, we consider evolution problems involving time dependent maximal monotone operators in Hilbert spaces. Existence and relaxation theorems are proved.


Large System Analysis of Box Relaxation in Correlated Massive MIMO Systems Under Imperfect CSI (Extended Version). In this paper, we study the mean square error (MSE) and the bit error rate (BER) performance of the box relaxation decoder in massive multiple input multiple output (MIMO) systems under the assumptions of imperfect channel state information (CSI) and receive side channel correlation. Our analysis assumes that the number of transmit and receive antennas ( n ,and m ) grow simultaneously large while their ratio remains fixed. For simplicity of the analysis, we consider binary phase shift keying (BPSK) modulated signals. The asymptotic approximations of the MSE and BER enable us to derive the optimal power allocation scheme under MSE BER minimization. Numerical simulations suggest that the asymptotic approximations are accurate even for small n and m . They also show the important role of the box constraint in mitigating the so called double descent phenomenon.


Exploring an Application of Virtual Reality for Early Detection of Dementia. Facing the severe global dementia problem, an exploration was conducted adopting the technology of virtual reality (VR). This report lays a technical foundation for further research project "Early Detection of Dementia Using Testing Tools in VR Environment", which illustrates the process of developing a VR application using Unity 3D software on Oculus Go. This preliminary exploration is composed of three steps, including 3D virtual scene construction, VR interaction design and monitoring. The exploration was recorded to provide basic technical guidance and detailed method for subsequent research.


A column generation based matheuristic for periodic train timetabling with integrated passenger routing. In this study, the periodic train timetabling problem is formulated using a time space graph formulation. Three solution methods are proposed and compared where solutions are built by what we define as a dive and cut and price procedure. An LP relaxed version of the problem with a subset of constraints is solved using column generation where each column corresponds to the train paths of a line. Violated constraints are added by separation and a heuristic process is applied to help to find integer solutions. The passenger travel time is computed based on a solution timetable and Benders' optimality cuts are generated allowing the method to integrate the routing of the passengers. We propose two large neighborhood search methods where the solution is iteratively destroyed and repaired into a new one and one random iterative method. The problem is tested on the morning rush hour period of the Regional and InterCity train network of Zealand, Denmark. The solution approaches show robust performance in a variety of scenarios, being able to find good quality solutions in terms of travel time and path length relatively fast. The inclusion of the proposed Benders' cuts provides stronger relaxations to the problem. In addition, the graph formulation covers different real life constraints and has the potential to easily be extended to accommodate more constraints.


A new technique to solve linear integro differential equations (IDEs) with modified Bernoulli polynomials. In this work, a new technique has been presented to find approximate solution of linear integro differential equations. The method is based on modified orthonormal Bernoulli polynomials and an operational matrix thereof. The method converts a given integro differential equation into a set of algebraic equations with unknown coefficients, which is easily obtained with help of the known functions appearing in the equation, modified Bernoulli polynomials and operational matrix. Approximate solution is obtained in form of a polynomial of required degree. The method is also applied to three well known integro differential equations to demonstrated the accuracy and efficacy of the method. Numerical results of approximate solution are plotted to compared with available exact solutions. Considerably small error of approximation is observed through numerical comparison, which is further reducible to a required level of significance. Method is comparatively simpler and shorter than many existing methods.


Detection of Binary Square Fiducial Markers Using an Event Camera. Event cameras are a new type of image sensors that output changes in light intensity (events) instead of absolute intensity values. They have a very high temporal resolution and a high dynamic range. In this paper, we propose a method to detect and decode binary square markers using an event camera. We detect the edges of the markers by detecting line segments in an image created from events in the current packet. The line segments are combined to form marker candidates. The bit value of marker cells is decoded using the events on their borders. To the best of our knowledge, no other approach exists for detecting square binary markers directly from an event camera using only the CPU unit in real time. Experimental results show that the performance of our proposal is much superior to the one from the RGB ArUco marker detector. The proposed method can achieve the real time performance on a single CPU thread.


Structured random sketching for PDE inverse problems. For an overdetermined system mathsf A mathsf x approx mathsf b with mathsf A and mathsf b given, the least square (LS) formulation min x , mathsf A mathsf x mathsf b 2 is often used to find an acceptable solution mathsf x . The cost of solving this problem depends on the dimensions of mathsf A , which are large in many practical instances. This cost can be reduced by the use of random sketching, in which we choose a matrix mathsf S with fewer rows than mathsf A and mathsf b , and solve the sketched LS problem min x , mathsf S ( mathsf A mathsf x mathsf b ) 2 to obtain an approximate solution to the original LS problem. Significant theoretical and practical progress has been made in the last decade in designing the appropriate structure and distribution for the sketching matrix mathsf S . When mathsf A and mathsf b arise from discretizations of a PDE based inverse problem, tensor structure is often present in mathsf A and mathsf b . For reasons of practical efficiency, mathsf S should be designed to have a structure consistent with that of mathsf A . Can we claim similar approximation properties for the solution of the sketched LS problem with structured mathsf S as for fully random mathsf S ? We give estimates that relate the quality of the solution of the sketched LS problem to the size of the structured sketching matrices, for two different structures. Our results are among the first known for random sketching matrices whose structure is suitable for use in PDE inverse problems.


Dynamic social learning under graph constraints. We introduce a model of graph constrained dynamic choice with reinforcement modeled by positively alpha homogeneous rewards. We show that its empirical process, which can be written as a stochastic approximation recursion with Markov noise, has the same probability law as a certain vertex reinforced random walk. We use this equivalence to show that for alpha 0 , the asymptotic outcome concentrates around the optimum in a certain limiting sense when annealed' by letting alpha uparrow infty slowly.


Lack of Equality between Abel and Cesaro Limits in Discrete Optimal Control and the Implied Duality Gap. In a recent paper it has been shown that if Cesaro and Abel limits for a certain discrete time optimal control problem are not equal, then there is a duality gap between a certain infinite dimensional linear programming problem and its dual. In this paper we construct an example of a problem satisfying the assumptions of the aforementioned paper, where Cesaro and Abel limits are different.


Clark Ocone Formula for Generalized Functionals of Discrete Time Normal Noises. The Clark Ocone formula in the theory of discrete time chaotic calculus holds only for square integrable functionals of discrete time normal noises. In this paper, we aim at extending this formula to generalized functionals of discrete time normal noises. Let Z be a discrete time normal noise that has the chaotic representation property. We first prove a result concerning the regularity of generalized functionals of Z . Then, we use the Fock transform to define some fundamental operators on generalized functionals of Z , and apply the above mentioned regularity result to prove the continuity of these operators. Finally, we establish the Clark Ocone formula for generalized functionals of Z , and show its application results, which include the covariant identity result and the variant upper bound result for generalized functionals of Z .


Prognosis Prediction in Covid 19 Patients from Lab Tests and X ray Data through Randomized Decision Trees. AI and Machine Learning can offer powerful tools to help in the fight against Covid 19. In this paper we present a study and a concrete tool based on machine learning to predict the prognosis of hospitalised patients with Covid 19. In particular we address the task of predicting the risk of death of a patient at different times of the hospitalisation, on the base of some demographic information, chest X ray scores and several laboratory findings. Our machine learning models use ensembles of decision trees trained and tested using data from more than 2000 patients. An experimental evaluation of the models shows good performance in solving the addressed task.


TILT A GDPR Aligned Transparency Information Language and Toolkit for Practical Privacy Engineering. In this paper, we present TILT, a transparency information language and toolkit explicitly designed to represent and process transparency information in line with the requirements of the GDPR and allowing for a more automated and adaptive use of such information than established, legalese data protection policies do. We provide a detailed analysis of transparency obligations from the GDPR to identify the expressiveness required for a formal transparency language intended to meet respective legal requirements. In addition, we identify a set of further, non functional requirements that need to be met to foster practical adoption in real world (web) information systems engineering. On this basis, we specify our formal language and present a respective, fully implemented toolkit around it. We then evaluate the practical applicability of our language and toolkit and demonstrate the additional prospects it unlocks through two different use cases a) the inter organizational analysis of personal data related practices allowing, for instance, to uncover data sharing networks based on explicitly announced transparency information and b) the presentation of formally represented transparency information to users through novel, more comprehensible, and potentially adaptive user interfaces, heightening data subjects' actual informedness about data related practices and, thus, their sovereignty. Altogether, our transparency information language and toolkit allow differently from previous work to express transparency information in line with actual legal requirements and practices of modern (web) information systems engineering and thereby pave the way for a multitude of novel possibilities to heighten transparency and user sovereignty in practice.


Spitz A Verifiable Database System. Databases in the past have helped businesses maintain and extract insights from their data. Today, it is common for a business to involve multiple independent, distrustful parties. This trend towards decentralization introduces a new and important requirement to databases the integrity of the data, the history, and the execution must be protected. In other words, there is a need for a new class of database systems whose integrity can be verified (or verifiable databases). In this paper, we identify the requirements and the design challenges of verifiable databases.We observe that the main challenges come from the need to balance data immutability, tamper evidence, and performance. We first consider approaches that extend existing OLTP and OLAP systems with support for verification. We next examine a clean slate approach, by describing a new system, Spitz, specifically designed for efficiently supporting immutable and tamper evident transaction management. We conduct a preliminary performance study of both approaches against a baseline system, and provide insights on their performance.


Self supervised Feature Learning by Cross modality and Cross view Correspondences. The success of supervised learning requires large scale ground truth labels which are very expensive, time consuming, or may need special skills to annotate. To address this issue, many self or un supervised methods are developed. Unlike most existing self supervised methods to learn only 2D image features or only 3D point cloud features, this paper presents a novel and effective self supervised learning approach to jointly learn both 2D image features and 3D point cloud features by exploiting cross modality and cross view correspondences without using any human annotated labels. Specifically, 2D image features of rendered images from different views are extracted by a 2D convolutional neural network, and 3D point cloud features are extracted by a graph convolution neural network. Two types of features are fed into a two layer fully connected neural network to estimate the cross modality correspondence. The three networks are jointly trained (i.e. cross modality) by verifying whether two sampled data of different modalities belong to the same object, meanwhile, the 2D convolutional neural network is additionally optimized through minimizing intra object distance while maximizing inter object distance of rendered images in different views (i.e. cross view). The effectiveness of the learned 2D and 3D features is evaluated by transferring them on five different tasks including multi view 2D shape recognition, 3D shape recognition, multi view 2D shape retrieval, 3D shape retrieval, and 3D part segmentation. Extensive evaluations on all the five different tasks across different datasets demonstrate strong generalization and effectiveness of the learned 2D and 3D features by the proposed self supervised method.


Efficient Multi Resource, Multi Unit VCG Auction. We consider the optimization problem of a multi resource, multi unit VCG auction that produces an optimal, i.e., non approximated, social welfare. We present an algorithm that solves this optimization problem with pseudo polynomial complexity and demonstrate its efficiency via our implementation. Our implementation is efficient enough to be deployed in real systems to allocate computing resources in fine time granularity. Our algorithm has a pseudo near linear time complexity on average (over all possible realistic inputs) with respect to the number of clients and the number of possible unit allocations. In the worst case, it is quadratic with respect to the number of possible allocations. Our experiments validate our analysis and show near linear complexity. This is in contrast to the unbounded, nonpolynomial complexity of known solutions, which do not scale well for a large number of agents. For a single resource and concave valuations, our algorithm reproduces the results of a well known algorithm. It does so, however, without subjecting the valuations to any restrictions and supports a multiple resource auction, which improves the social welfare over a combination of single resource auctions by a factor of 2.5 50. This makes our algorithm applicable to real clients in a real system.


Global effect of non conservative perturbations on homoclinic orbits. We study the effect of time dependent, non conservative perturbations on the dynamics along homoclinic orbits to a normally hyperbolic invariant manifold. We assume that the unperturbed system is Hamiltonian, and the normally hyperbolic invariant manifold is parametrized via action angle coordinates. The homoclinic excursions can be described via the scattering map, which gives the future asymptotic of an orbit as a function of the past asymptotic. We provide explicit formulas, in terms of convergent integrals, for the perturbed scattering map expressed in action angle coordinates. We illustrate these formulas in the case of a perturbed rotator pendulum system.


Multilingual Named Entity Recognition Using Pretrained Embeddings, Attention Mechanism and NCRF. In this paper we tackle multilingual named entity recognition task. We use the BERT Language Model as embeddings with bidirectional recurrent network, attention, and NCRF on the top. We apply multilingual BERT only as embedder without any fine tuning. We test out model on the dataset of the BSNLP shared task, which consists of texts in Bulgarian, Czech, Polish and Russian languages.


An overview of Intrusion Detection and Prevention Systems. Cyber threats are increasing not only in their volume but also in their sophistication and difficulty to detect. Attacks have become a national global threat as they have targeted private and public, as well as government sectors over the years. This is a growing issue and organisations are taking steps to reduce, detect and prevent threats. To do this they need to use systems that are equipped with the capabilities to do either of those steps and develop them for the type of networks they use, for instance wired or wireless. One of these systems are Intrusion Detection Systems (IDS), which can be used as the first defence mechanism or a secondary defence mechanism of a threat or an attack. There are different types of attacks that can occur in a network, such as Denial of service (DoS) Distributed Denial of Service (DDoS), port scanning, malware or ransomware and so forth that IDSs have a capability of detecting. Assisting in the mitigation of such attacks, there are also Intrusion Prevention Systems (IPS) whose role has a different purpose than that of IDSs. Unlike IDSs they not only detect threats but prevent them from disrupting the network, IPSs can be used in conjunction with IDSs to double the defences. This paper provides an overview of IDS and their classifications and IPS. It will detail typical benefits and limitations to using IDSs, IPSs and the hybrids (such as Intrusions Detection Prevention Systems (IDPSs and more)) which will be discussed further. It will also outline developments in the making using ML and how it is used to improve these systems and the dilemmas they produce and possible ways to counter act them.


Reinterpreting the Middle Levels Theorem via Natural Enumeration of Ordered Trees. Let 0 k in mathbb Z . A reinterpretation of the proof of existence of Hamilton cycles in the middle levels graph M k induced by the vertices of the (2k 1) cube representing the k and (k 1) subsets of 0, ldots,2k is given via an associated dihedral quotient graph of M k whose vertices represent the ordered (rooted) trees of order k 1 and size k .


Unsupervised Domain Adaptive Object Detection using Forward Backward Cyclic Adaptation. We present a novel approach to perform the unsupervised domain adaptation for object detection through forward backward cyclic (FBC) training. Recent adversarial training based domain adaptation methods have shown their effectiveness on minimizing domain discrepancy via marginal feature distributions alignment. However, aligning the marginal feature distributions does not guarantee the alignment of class conditional distributions. This limitation is more evident when adapting object detectors as the domain discrepancy is larger compared to the image classification task, e.g. various number of objects exist in one image and the majority of content in an image is the background. This motivates us to learn domain invariance for category level semantics via gradient alignment. Intuitively, if the gradients of two domains point in similar directions, then the learning of one domain can improve that of another domain. To achieve gradient alignment, we propose Forward Backward Cyclic Adaptation, which iteratively computes adaptation from source to target via backward hopping and from target to source via forward passing. In addition, we align low level features for adapting holistic color texture via adversarial training. However, the detector performs well on both domains is not ideal for target domain. As such, in each cycle, domain diversity is enforced by maximum entropy regularization on the source domain to penalize confident source specific learning and minimum entropy regularization on target domain to intrigue target specific learning. Theoretical analysis of the training process is provided, and extensive experiments on challenging cross domain object detection datasets have shown the superiority of our approach over the state of the art.


Cylindrical and Asymmetrical 3D Convolution Networks for LiDAR Segmentation. State of the art methods for large scale driving scene LiDAR segmentation often project the point clouds to 2D space and then process them via 2D convolution. Although this corporation shows the competitiveness in the point cloud, it inevitably alters and abandons the 3D topology and geometric relations. A natural remedy is to utilize the3D voxelization and 3D convolution network. However, we found that in the outdoor point cloud, the improvement obtained in this way is quite limited. An important reason is the property of the outdoor point cloud, namely sparsity and varying density. Motivated by this investigation, we propose a new framework for the outdoor LiDAR segmentation, where cylindrical partition and asymmetrical 3D convolution networks are designed to explore the 3D geometric pat tern while maintaining these inherent properties. Moreover, a point wise refinement module is introduced to alleviate the interference of lossy voxel based label encoding. We evaluate the proposed model on two large scale datasets, i.e., SemanticKITTI and nuScenes. Our method achieves the 1st place in the leaderboard of SemanticKITTI and outperforms existing methods on nuScenes with a noticeable margin, about 4 . Furthermore, the proposed 3D framework also generalizes well to LiDAR panoptic segmentation and LiDAR 3D detection.


Domain Aware Unsupervised Hyperspectral Reconstruction for Aerial Image Dehazing. Haze removal in aerial images is a challenging problem due to considerable variation in spatial details and varying contrast. Changes in particulate matter density often lead to degradation in visibility. Therefore, several approaches utilize multi spectral data as auxiliary information for haze removal. In this paper, we propose SkyGAN for haze removal in aerial images. SkyGAN consists of 1) a domain aware hazy to hyperspectral (H2H) module, and 2) a conditional GAN (cGAN) based multi cue image to image translation module (I2I) for dehazing. The proposed H2H module reconstructs several visual bands from RGB images in an unsupervised manner, which overcomes the lack of hazy hyperspectral aerial image datasets. The module utilizes task supervision and domain adaptation in order to create a "hyperspectral catalyst" for image dehazing. The I2I module uses the hyperspectral catalyst along with a 12 channel multi cue input and performs effective image dehazing by utilizing the entire visual spectrum. In addition, this work introduces a new dataset, called Hazy Aerial Image (HAI) dataset, that contains more than 65,000 pairs of hazy and ground truth aerial images with realistic, non homogeneous haze of varying density. The performance of SkyGAN is evaluated on the recent SateHaze1k dataset as well as the HAI dataset. We also present a comprehensive evaluation of HAI dataset with a representative set of state of the art techniques in terms of PSNR and SSIM.


Recipes for Adapting Pre trained Monolingual and Multilingual Models to Machine Translation. There has been recent success in pre training on monolingual data and fine tuning on Machine Translation (MT), but it remains unclear how to best leverage a pre trained model for a given MT task. This paper investigates the benefits and drawbacks of freezing parameters, and adding new ones, when fine tuning a pre trained model on MT. We focus on 1) Fine tuning a model trained only on English monolingual data, BART. 2) Fine tuning a model trained on monolingual data from 25 languages, mBART. For BART we get the best performance by freezing most of the model parameters, and adding extra positional embeddings. For mBART we match the performance of naive fine tuning for most language pairs, and outperform it for Nepali to English (0.5 BLEU) and Czech to English (0.6 BLEU), all with a lower memory cost at training time. When constraining ourselves to an out of domain training set for Vietnamese to English we outperform the fine tuning baseline by 0.9 BLEU.


E theory for C ast Categories. E theory was originally defined concretely by Connes and Higson and further work followed this construction. We generalise the definition to C ast categories. C ast categories were formulated to give a theory of operator algebras in a categorical picture and play important role in the study of mathematical physics. In this context, they are analogous to C ast algebras and so have invariants defined coming from C ast algebra theory but they do not yet have a definition of E theory. Here we define E theory for both complex and real graded C ast categories and prove it has similar properties to E theory for C ast algebras.


Measuring micro displacements of specular surfaces using speckle interferometry. The displacement field of an object surface can be measured by using speckle interferometry. This technique is based on the phenomenon of laser speckle and consists in correlating speckle interferograms taken after and before the deformation of the surface. The main requirement is that the surface under study must be optically rough to generate the speckle patterns to be correlated. In this paper, we present a very simple and intuitive method based on speckle interferometry to measure out of plane displacements on specular reflecting surfaces that generate no speckle patterns. The method consists in a modified digital speckle pattern interferometer which requires no special equipment other than that used in conventional speckle interferometers. The proposed method could find useful application in the measurement of thermal deformation of mirrors.


Exploring Sensitivity of ICF Outputs to Design Parameters in Experiments Using Machine Learning. Building a sustainable burn platform in inertial confinement fusion (ICF) requires an understanding of the complex coupling of physical processes and the effects that key experimental design changes have on implosion performance. While simulation codes are used to model ICF implosions, incomplete physics and the need for approximations deteriorate their predictive capability. Identification of relationships between controllable design inputs and measurable outcomes can help guide the future design of experiments and development of simulation codes, which can potentially improve the accuracy of the computational models used to simulate ICF implosions. In this paper, we leverage developments in machine learning (ML) and methods for ML feature importance sensitivity analysis to identify complex relationships in ways that are difficult to process using expert judgment alone. We present work using random forest (RF) regression for prediction of yield, velocity, and other experimental outcomes given a suite of design parameters, along with an assessment of important relationships and uncertainties in the prediction model. We show that RF models are capable of learning and predicting on ICF experimental data with high accuracy, and we extract feature importance metrics that provide insight into the physical significance of different controllable design inputs for various ICF design configurations. These results can be used to augment expert intuition and simulation results for optimal design of future ICF experiments.


Invariant measures for stochastic damped 2D Euler equations. We study the two dimensional Euler equations, damped by a linear term and driven by an additive noise. The existence of weak solutions has already been studied pathwise uniqueness is known for solutions that have vorticity in L infty . In this paper, we prove the Markov property and then the existence of an invariant measure in the space L infty by means of a Krylov Bogoliubov's type method, working with the weak star and the bounded weak star topologies in L infty .


The r central factorial numbers with even indices. In this paper, we introduce the r central factorial numbers with even indices of the first and second kind, as extended versions of the central factorial numbers with even indices of both kinds. We obtain several fundamental properties and identities related to these numbers. We show that the unsigned r central factorial numbers with even indices of the first kind are strictly log concave and Poisson binomially distributed . Finally, we consider the r central factorial matrices and the factorization of it.


Understanding Unnatural Questions Improves Reasoning over Text. Complex question answering (CQA) over raw text is a challenging task. A prominent approach to this task is based on the programmer interpreter framework, where the programmer maps the question into a sequence of reasoning actions which is then executed on the raw text by the interpreter. Learning an effective CQA model requires large amounts of human annotated data,consisting of the ground truth sequence of reasoning actions, which is time consuming and expensive to collect at scale. In this paper, we address the challenge of learning a high quality programmer (parser) by projecting natural human generated questions into unnatural machine generated questions which are more convenient to parse. We firstly generate synthetic (question,action sequence) pairs by a data generator, and train a semantic parser that associates synthetic questions with their corresponding action sequences. To capture the diversity when applied tonatural questions, we learn a projection model to map natural questions into their most similar unnatural questions for which the parser can work well. Without any natural training data, our projection model provides high quality action sequences for the CQA task. Experimental results show that the QA model trained exclusively with synthetic data generated by our method outperforms its state of the art counterpart trained on human labeled data.


A non Euclidean story or how to persist when your geometry doesn't. Too little mathematics has been written in prose. Thus we prove here, via a fantasy novellette, that a locally L bilipschitz mapping f colon X to Y between uniformly Ahlfors q regular, complete and locally compact path metric spaces X and Y is an L bilipschitz map when Y is simply connected. The motivation for such a result arises from studying the asymptotic values of BLD mappings with an empty branch set see e.g. L17 . As far as the author is aware, the result is new, even though it would not be hard for specialists in the field to prove. The proof is essentially a modest extension of the ideas in L17 in a more general setting when the branch set is empty.


Certifying zeros of polynomial systems using interval arithmetic. We establish interval arithmetic as a practical tool for certification in numerical algebraic geometry. Our software HomotopyContinuation.jl now has a built in function certify, which proves the correctness of an isolated solution to a square system of polynomial equations. The implementation rests on Krawczyk's method. We demonstrate that it dramatically outperforms earlier approaches to certification. We see this contribution as the basis for a paradigm shift in numerical algebraic geometry where certification is the default and not just an option.


Doubly Reflected Backward SDEs Driven by G Brownian Motion a Monotone Approach. In this paper, we study the doubly reflected backward stochastic differential equations driven by G Brownian motion. We show that the solution can be constructed by a family of penalized reflected G BSDEs with a lower obstacle. The advantage of this construction is that the convergence sequence is monotone, which is helpful to establish the relation between doubly reflected G BSDEs and double obstacle fully nonlinear partial differential equations.


math.NA cs.NA physics.ao-ph physics.comp-ph

An efficient algorithm for weakly compressible flows in spherical geometries. This study proposes an algorithm for modeling compressible flows in spherical shells in nearly incompressible and weakly compressible regimes based on an implicit direction splitting approach. The method retains theoretically expected convergence rates and remains stable for extremely small values of the characteristic Mach number. The staggered spatial discretization on the MAC stencil, commonly used in numerical methods for incompressible Navier Stokes equations, was found to be convenient for the discretization of the compressible Navier Stokes equations written in the non conservative form in terms of the primitive variables. This approach helped to avoid the high frequency oscillations without any artificial stabilization terms. Nonlinear Picard iterations with the splitting error reduction were also implemented to allow one to obtain a solution of the fully nonlinear system of equations. These results, alongside excellent parallel performance, prove the viability of the direction splitting approach in large scale high resolution high performance simulations of atmospheric and oceanic flows.


Soft landing of metal clusters on graphite a molecular dynamics study. Structure and stability of 3 nm size Ag 887 , Au 887 and Ti 787 clusters deposited on graphite under soft landing conditions ( sim 10 3 10 0 eV per atom) are studied by means of molecular dynamics simulations. Parameters for the cluster surface interaction are derived from complementary ab initio calculations. We found that the shape of clusters on the surface is governed by their elemental composition and depends also on the initial cluster structure and landing conditions. At deposition energies below 0.1 eV atom, the Ag 887 cluster acquires an ellipsoidal shape, while Au 887 and Ti 787 clusters transform into oblate and prolate truncated spheroids, respectively, due to stronger adhesion to graphite. The clusters flatten over the surface and eventually disintegrate as the deposition energy increases. Simulation results reveal that Ag 887 and Au 887 fragment at about 0.75 1.0 eV atom whereas higher energy of about 3 eV atom is required for the fragmentation of Ti 787 . The contact angle, contact radius and height of the clusters as functions of deposition energy are determined from fitting the positions of cluster surface atoms with a surface equation. The dependence of these parameters on the internal energy of the clusters is also analyzed.


Solving the Blind Perspective n Point Problem End To End With Robust Differentiable Geometric Optimization. Blind Perspective n Point (PnP) is the problem of estimating the position and orientation of a camera relative to a scene, given 2D image points and 3D scene points, without prior knowledge of the 2D 3D correspondences. Solving for pose and correspondences simultaneously is extremely challenging since the search space is very large. Fortunately it is a coupled problem the pose can be found easily given the correspondences and vice versa. Existing approaches assume that noisy correspondences are provided, that a good pose prior is available, or that the problem size is small. We instead propose the first fully end to end trainable network for solving the blind PnP problem efficiently and globally, that is, without the need for pose priors. We make use of recent results in differentiating optimization problems to incorporate geometric model fitting into an end to end learning framework, including Sinkhorn, RANSAC and PnP algorithms. Our proposed approach significantly outperforms other methods on synthetic and real data.


H2O Cloud A Resource and Quality of Service Aware Task Scheduling Framework for Warehouse Scale Data Centers A Hierarchical Hybrid DRL (Deep Reinforcement Learning) based Approach. Cloud computing has attracted both end users and Cloud Service Providers (CSPs) in recent years. Improving resource utilization rate (RUtR), such as CPU and memory usages on servers, while maintaining Quality of Service (QoS) is one key challenge faced by CSPs with warehouse scale data centers. Prior works proposed various algorithms to reduce energy cost or to improve RUtR, which either lack the fine grained task scheduling capabilities, or fail to take a comprehensive system model into consideration. This article presents H2O Cloud, a Hierarchical and Hybrid Online task scheduling framework for warehouse scale CSPs, to improve resource usage effectiveness while maintaining QoS. H2O Cloud is highly scalable and considers comprehensive information such as various workload scenarios, cloud platform configurations, user request information and dynamic pricing model. The hierarchy and hybridity of the framework, combined with its deep reinforcement learning (DRL) engines, enable H2O Cloud to efficiently start on the go scheduling and learning in an unpredictable environment without pre training. Our experiments confirm the high efficiency of the proposed H2O Cloud when compared to baseline approaches, in terms of energy and cost while maintaining QoS. Compared with a state of the art DRL based algorithm, H2O Cloud achieves up to 201.17 energy cost efficiency improvement, 47.88 energy efficiency improvement and 551.76 reward rate improvement.


Infinite time admissibility under compact perturbations. We investigate the behavior of infinite time admissibility under compact perturbations. We show, by means of two completely different examples, that infinite time admissibility is not preserved under compact perturbations Q of the underlying semigroup generator A , even if A and A Q both generate strongly stable semigroups.


On Hybrid Quantum and Classical Computing Algorithms for Mixed Integer Programming. Quantum computing is emerging as a new computing resource that could be superior to conventional computing for certain classes of optimization problems. However, in principle, most existing approaches to quantum optimization are intended to solve unconstrained binary programming problems, while mixed integer linear programming is of most interest in practice. We attempt to bridge the gap between the capability of quantum computing and real world applications by developing a new approach for mixed integer programming. The approach applies Benders decomposition to decompose the mixed integer programming into binary programming and linear programming sub problems, which are solved by a noisy intermediate scale quantum processor and conventional processor, respectively. The algorithm is provably able to reach the optimal solution of the original mixed integer programming problem. The algorithm is tested on a D Wave 2000Q quantum processing unit and is shown to be effective for small scaled test cases. We also test the algorithm on a mixed integer programming inspired by power system applications. Many insights are drawn from the numerical results for both the capabilities and limitations of the proposed algorithm.


Catch the Ball Accurate High Speed Motions for Mobile Manipulators via Inverse Dynamics Learning. Mobile manipulators consist of a mobile platform equipped with one or more robot arms and are of interest for a wide array of challenging tasks because of their extended workspace and dexterity. Typically, mobile manipulators are deployed in slow motion collaborative robot scenarios. In this paper, we consider scenarios where accurate high speed motions are required. We introduce a framework for this regime of tasks including two main components (i) a bi level motion optimization algorithm for real time trajectory generation, which relies on Sequential Quadratic Programming (SQP) and Quadratic Programming (QP), respectively and (ii) a learning based controller optimized for precise tracking of high speed motions via a learned inverse dynamics model. We evaluate our framework with a mobile manipulator platform through numerous high speed ball catching experiments, where we show a success rate of 85.33 . To the best of our knowledge, this success rate exceeds the reported performance of existing related systems and sets a new state of the art.


Faster STR EC LCS Computation. The longest common subsequence (LCS) problem is a central problem in stringology that finds the longest common subsequence of given two strings A and B . More recently, a set of four constrained LCS problems (called generalized constrained LCS problem) were proposed by Chen and Chao J. Comb. Optim, 2011 . In this paper, we consider the substring excluding constrained LCS (STR EC LCS) problem. A string Z is said to be an STR EC LCS of two given strings A and B excluding P if, Z is one of the longest common subsequences of A and B that does not contain P as a substring. Wang et al. proposed a dynamic programming solution which computes an STR EC LCS in O(mnr) time and space where m A , n B , r P Inf. Process. Lett., 2013 . In this paper, we show a new solution for the STR EC LCS problem. Our algorithm computes an STR EC LCS in O(n Sigma (L 1)(m L 1)r) time where Sigma leq min m, n denotes the set of distinct characters occurring in both A and B , and L is the length of the STR EC LCS. This algorithm is faster than the O(mnr) time algorithm for short long STR EC LCS (namely, L in O(1) or m L in O(1) ), and is at least as efficient as the O(mnr) time algorithm for all cases.


Technical Question Answering across Tasks and Domains. Building automatic technical support system is an important yet challenge task. Conceptually, to answer a user question on a technical forum, a human expert has to first retrieve relevant documents, and then read them carefully to identify the answer snippet. Despite huge success the researchers have achieved in coping with general domain question answering (QA), much less attentions have been paid for investigating technical QA. Specifically, existing methods suffer from several unique challenges (i) the question and answer rarely overlaps substantially and (ii) very limited data size. In this paper, we propose a novel framework of deep transfer learning to effectively address technical QA across tasks and domains. To this end, we present an adjustable joint learning approach for document retrieval and reading comprehension tasks. Our experiments on the TechQA demonstrates superior performance compared with state of the art methods.


Transcoding compositionally using attention to find more generalizable solutions. While sequence to sequence models have shown remarkable generalization power across several natural language tasks, their construct of solutions are argued to be less compositional than human like generalization. In this paper, we present seq2attn, a new architecture that is specifically designed to exploit attention to find compositional patterns in the input. In seq2attn, the two standard components of an encoder decoder model are connected via a transcoder, that modulates the information flow between them. We show that seq2attn can successfully generalize, without requiring any additional supervision, on two tasks which are specifically constructed to challenge the compositional skills of neural networks. The solutions found by the model are highly interpretable, allowing easy analysis of both the types of solutions that are found and potential causes for mistakes. We exploit this opportunity to introduce a new paradigm to test compositionality that studies the extent to which a model overgeneralizes when confronted with exceptions. We show that seq2attn exhibits such overgeneralization to a larger degree than a standard sequence to sequence model.


Inferring effective forces for Langevin dynamics using Gaussian processes. Effective forces derived from experimental or it in silico molecular dynamics time traces are critical in developing reduced and computationally efficient descriptions of otherwise complex dynamical problems. Thus, designing methods to learn effective forces efficiently from time series data is important. Of equal importance is the fact that methods should be suitable in inferring forces for undersampled regions of the phase space where data are limited. Ideally, a method should it a priori be minimally committal as to the shape of the effective force profile, exploit every data point without reducing data quality through any form of binning or pre processing, and provide full credible intervals (error bars) about the prediction. So far no method satisfies all three criteria. Here we propose a generalization of the Gaussian process (GP), a key tool in Bayesian nonparametric inference and machine learning, to achieve this for the first time.


Cultural Convergence Insights into the behavior of misinformation networks on Twitter. How can the birth and evolution of ideas and communities in a network be studied over time? We use a multimodal pipeline, consisting of network mapping, topic modeling, bridging centrality, and divergence to analyze Twitter data surrounding the COVID 19 pandemic. We use network mapping to detect accounts creating content surrounding COVID 19, then Latent Dirichlet Allocation to extract topics, and bridging centrality to identify topical and non topical bridges, before examining the distribution of each topic and bridge over time and applying Jensen Shannon divergence of topic distributions to show communities that are converging in their topical narratives.


A Cognitive Approach based on the Actionable Knowledge Graph for supporting Maintenance Operations. In the era of Industry 4.0, cognitive computing and its enabling technologies (Artificial Intelligence, Machine Learning, etc.) allow to define systems able to support maintenance by providing relevant information, at the right time, retrieved from structured companies' databases, and unstructured documents, like technical manuals, intervention reports, and so on. Moreover, contextual information plays a crucial role in tailoring the support both during the planning and the execution of interventions. Contextual information can be detected with the help of sensors, wearable devices, indoor and outdoor positioning systems, and object recognition capabilities (using fixed or wearable cameras), all of which can collect historical data for further analysis. In this work, we propose a cognitive system that learns from past interventions to generate contextual recommendations for improving maintenance practices in terms of time, budget, and scope. The system uses formal conceptual models, incremental learning, and ranking algorithms to accomplish these objectives.