Multiagent Rollout and Policy Iteration for POMDP with Application to Multi Robot Repair Problems. In this paper we consider infinite horizon discounted dynamic programming problems with finite state and control spaces, partial state observations, and a multiagent structure. We discuss and compare algorithms that simultaneously or sequentially optimize the agents' controls by using multistep lookahead, truncated rollout with a known base policy, and a terminal cost function approximation. Our methods specifically address the computational challenges of partially observable multiagent problems. In particular 1) We consider rollout algorithms that dramatically reduce required computation while preserving the key cost improvement property of the standard rollout method. The per step computational requirements for our methods are on the order of O(Cm) as compared with O(C m) for standard rollout, where C is the maximum cardinality of the constraint set for the control component of each agent, and m is the number of agents. 2) We show that our methods can be applied to challenging problems with a graph structure, including a class of robot repair problems whereby multiple robots collaboratively inspect and repair a system under partial information. 3) We provide a simulation study that compares our methods with existing methods, and demonstrate that our methods can handle larger and more complex partially observable multiagent problems (state space size 10 37 and control space size 10 7 , respectively). Finally, we incorporate our multiagent rollout algorithms as building blocks in an approximate policy iteration scheme, where successive rollout policies are approximated by using neural network classifiers. While this scheme requires a strictly off line implementation, it works well in our computational experiments and produces additional significant performance improvement over the single online rollout iteration method.


NPA Neural News Recommendation with Personalized Attention. News recommendation is very important to help users find interested news and alleviate information overload. Different users usually have different interests and the same user may have various interests. Thus, different users may click the same news article with attention on different aspects. In this paper, we propose a neural news recommendation model with personalized attention (NPA). The core of our approach is a news representation model and a user representation model. In the news representation model we use a CNN network to learn hidden representations of news articles based on their titles. In the user representation model we learn the representations of users based on the representations of their clicked news articles. Since different words and different news articles may have different informativeness for representing news and users, we propose to apply both word and news level attention mechanism to help our model attend to important words and news articles. In addition, the same news article and the same word may have different informativeness for different users. Thus, we propose a personalized attention network which exploits the embedding of user ID to generate the query vector for the word and news level attentions. Extensive experiments are conducted on a real world news recommendation dataset collected from MSN news, and the results validate the effectiveness of our approach on news recommendation.


Euclidean structures and operator theory in Banach spaces. We present a general method to extend results on Hilbert space operators to the Banach space setting by representing certain sets of Banach space operators Gamma on a Hilbert space. Our assumption on Gamma is expressed in terms of alpha boundedness for a Euclidean structure alpha on the underlying Banach space X . This notion is originally motivated by mathcal R or gamma boundedness of sets of operators, but for example any operator ideal from the Euclidean space ell 2 n to X defines such a structure. Therefore, our method is quite flexible. Conversely we show that Gamma has to be alpha bounded for some Euclidean structure alpha to be representable on a Hilbert space. By choosing the Euclidean structure alpha accordingly, we get a unified and more general approach to classical factorization and extension theorems. Furthermore we use these Euclidean structures to build vector valued function spaces and define an interpolation method based on these spaces, which has formulations modelled after both the real and the complex interpolation method. Using our representation theorem we prove a transference principle for sectorial operators on a Banach space, enabling us to extend Hilbert space results for sectorial operators to the Banach space setting. We define generalizations of the classical square function estimates in L p spaces and establish, via the H infty calculus, a version of Littlewood Paley theory and associated spaces of fractional smoothness for a rather large class of sectorial operators. Our results for sectorial operators lead to some sophisticated counterexamples.


Federated Face Presentation Attack Detection. Face presentation attack detection (fPAD) plays a critical role in the modern face recognition pipeline. A face presentation attack detection model with good generalization can be obtained when it is trained with face images from different input distributions and different types of spoof attacks. In reality, training data (both real face images and spoof images) are not directly shared between data owners due to legal and privacy issues. In this paper, with the motivation of circumventing this challenge, we propose Federated Face Presentation Attack Detection (FedPAD) framework. FedPAD simultaneously takes advantage of rich fPAD information available at different data owners while preserving data privacy. In the proposed framework, each data owner (referred to as textit data centers ) locally trains its own fPAD model. A server learns a global fPAD model by iteratively aggregating model updates from all data centers without accessing private data in each of them. Once the learned global model converges, it is used for fPAD inference. We introduce the experimental setting to evaluate the proposed FedPAD framework and carry out extensive experiments to provide various insights about federated learning for fPAD.


ESAD Endoscopic Surgeon Action Detection Dataset. In this work, we take aim towards increasing the effectiveness of surgical assistant robots. We intended to make assistant robots safer by making them aware about the actions of surgeon, so it can take appropriate assisting actions. In other words, we aim to solve the problem of surgeon action detection in endoscopic videos. To this, we introduce a challenging dataset for surgeon action detection in real world endoscopic videos. Action classes are picked based on the feedback of surgeons and annotated by medical professional. Given a video frame, we draw bounding box around surgical tool which is performing action and label it with action label. Finally, we presenta frame level action detection baseline model based on recent advances in ob ject detection. Results on our new dataset show that our presented dataset provides enough interesting challenges for future method and it can serveas strong benchmark corresponding research in surgeon action detection in endoscopic videos.


Morita invariance for infinitesimal deformations. Let A and B be two Morita equivalent finite dimensional associative algebras over a field Bbbk . It is well known that Hochschild cohomology is invariant under Morita equivalence. Since infinitesimal deformations are connected with the second Hochschild cohomology group, we explicitly describe the transfer map connecting mathsf HH 2(A) with mathsf HH 2(B) . This allows us to transfer Morita equivalence between A and B to that between infinitesimal deformations of them. As an application, when Bbbk is algebraically closed, we consider the quotient path algebra associated to A and describe the presentation by quiver and relations of the infinitesimal deformations of A .


Asymptotic profiles of the steady states for an SIS epidemic patch model with asymmetric connectivity matrix. The dynamics of an SIS epidemic patch model with asymmetric connectivity matrix is analyzed. It is shown that the basic reproduction number R 0 is strictly decreasing with respect to the dispersal rate of the infected individuals, and the model has a unique endemic equilibrium if R 0 1 . The asymptotic profiles of the endemic equilibrium for small dispersal rates are characterized. In particular, it is shown that the endemic equilibrium converges to a limiting disease free equilibrium as the dispersal rate of susceptible individuals tends to zero, and the limiting disease free equilibrium has a positive number of susceptible individuals on each low risk patch. Moreover a sufficient and necessary condition is found to guarantee that the limiting disease free equilibrium has no positive number of susceptible individuals on each high risk patch. Our results extend earlier results for symmetric connectivity matrix, and we also partially solve an open problem by Allen et al. (SIAM J. Appl. Math., 67 1283 1309, 2007).


IA MOT Instance Aware Multi Object Tracking with Motion Consistency. Multiple object tracking (MOT) is a crucial task in computer vision society. However, most tracking by detection MOT methods, with available detected bounding boxes, cannot effectively handle static, slow moving and fast moving camera scenarios simultaneously due to ego motion and frequent occlusion. In this work, we propose a novel tracking framework, called "instance aware MOT" (IA MOT), that can track multiple objects in either static or moving cameras by jointly considering the instance level features and object motions. First, robust appearance features are extracted from a variant of Mask R CNN detector with an additional embedding head, by sending the given detections as the region proposals. Meanwhile, the spatial attention, which focuses on the foreground within the bounding boxes, is generated from the given instance masks and applied to the extracted embedding features. In the tracking stage, object instance masks are aligned by feature similarity and motion consistency using the Hungarian association algorithm. Moreover, object re identification (ReID) is incorporated to recover ID switches caused by long term occlusion or missing detection. Overall, when evaluated on the MOTS20 and KITTI MOTS dataset, our proposed method won the first place in Track 3 of the BMTT Challenge in CVPR2020 workshops.


Modelling and Simulation Environment for Self Adaptive and Self Aware Cloud Architectures. Cloud based software systems are increasingly becoming complex and operating in highly dynamic environments. Self adaptivity and self awareness have recently emerged to cope with such level of dynamicity and scalability. Meanwhile, designing and testing such systems have poven to be a challenging task, as well as research benchmarking. Despite the influx of research in both self adaptivity and cloud computing, as well as the various simulations environments proposed so far, there is a general lack of modelling and simulation environments of self adaptive and self aware cloud architectures. To aid researchers and practioners in overcoming such challenges, this paper presents a novel modelling and simulation environment for self adaptive and self aware cloud architectures. The environment provides significant benefits for designing self adaptive and self aware cloud architectures, as well as testing adaptation and awareness mechanisms. The toolkit is also beneficial as a symbiotic simulator during runtime to support adaptation decisions. We experimentally validated and evaluated the implementation using benchmarks and evaluation use cases.


Embeddability of real and positive operators. Embedding discrete Markov chains into continuous ones is a famous open problem in probability theory with many applications. Inspired by recent progress, we study the closely related questions of embeddability of real and positive operators into real or positive C 0 semigroups, respectively, on finite and infinite dimensional separable sequence spaces. For the real case we give both sufficient and necessary conditions for embeddability. For positive operators we present necessary conditions for positive embeddability including a full description for the 2 times 2 case. Moreover, we show that real embeddability is topologically typical for real contractions on ell 2 .


A Gelfand Tsetlin type base for the algebra mathfrak sp 4 and hypergeometric functions. In the paper a realization of representation of a Lie algebra mathfrak sp 4 in the space of function on the Lie group Sp 4 is considered. We find a function corresponding to a Gelfand Tsetlin type vector for mathfrak sp 4 constructed by D.P. Zhelobenko. This function is expressed though a A hypergeometric function. After developing some new technique we derive analytically formulas for the action of generators of algebra in this base (the were not known before). These formula turn out to be much more difficult than the formulas for the action of generators in the Gelfand Tsetlin type base constructed by Molev.


High Performance Parallel Graph Coloring with Strong Guarantees on Work, Depth, and Quality. We develop the first parallel graph coloring heuristics with strong theoretical guarantees on work and depth and coloring quality. The key idea is to design a relaxation of the vertex degeneracy order, a well known graph theory concept, and to color vertices in the order dictated by this relaxation. This introduces a tunable amount of parallelism into the degeneracy ordering that is otherwise hard to parallelize. This simple idea enables significant benefits in several key aspects of graph coloring. For example, one of our algorithms ensures polylogarithmic depth and a bound on the number of used colors that is superior to all other parallelizable schemes, while maintaining work efficiency. In addition to provable guarantees, the developed algorithms have competitive run times for several real world graphs, while almost always providing superior coloring quality. Our degeneracy ordering relaxation is of separate interest for algorithms outside the context of coloring.


Approximate subgroups with bounded VC dimension. We combine the fundamental results of Breuillard, Green, and Tao on the structure of approximate groups, together with "tame" arithmetic regularity methods based on work of the authors and Terry, to give a structure theorem for finite subsets A of arbitrary groups G where A has "small tripling" and bounded VC dimension Roughly speaking, up to a small error, A will be a union of a bounded number of translates of a coset nilprogression of bounded rank and step (see Theorem 2.1). We also prove a stronger result in the setting of bounded exponent (see Theorem 2.2). Our results extend recent work of Martin Pizarro, Palac ' i n, and Wolf on finite stable sets of small tripling.


Improved simulation of El Ni no and its influence on the climate anomalies of the East Asia western North Pacific in the ICM Version 2. This study introduces the second version of the Integrated Climate Model (ICM). ICM is developed by the Center for Monsoon System Research, Institute of Atmospheric Physics to improve the short term climate prediction of the East Asia western North Pacific (EA WNP). The main update of the second version of ICM (ICM.V2) relative to the first version (ICM.V1) is the improvement of the horizontal resolution of the atmospheric model from T31 spectral resolution (3.75 deg 3.75 deg ) to T63 (1.875 deg 1.875 deg ). As a result, some important factors for the short term climate prediction of the EA WNP is apparently improved from ICM.V1 to ICM.V2, including the climatological SST, the rainfall and circulation of the East Asian summer monsoon, and the variability and spatial pattern of ENSO. The impact of El Ni no on the EA WNP climate simulated in ICM.V2 is also improved with more realistic anticyclonic anomalies and precipitation pattern over the EA WNP. The tropical Indian ocean capacitor effect and the WNP local air sea interaction feedback, two popular mechanisms to explain the impact of El Ni no on the EA WNP climate is also realistically reproduced in ICM.V2, much improved relative to that in ICM.V1.


WIMS, a community of teachers, developers and users. IWIMS (WWW Interactive Multipurpose Server) offers interactive resources designed over the past 20 years for teaching in various subjects (particularly focusing on mathematics, but also in biology, chemistry, economics, languages, physics), at various levels (from primary school to university). In this paper some interactive tools and exercises that can be used to teach mathematics are presented. Through these examples, the strengths and weaknesses of a didactic exploiting computer based exercises are discussed.


CMOS compatible titanium nitride for on chip plasmonic Schottky photodetector. Here, we propose titanium nitride (TiN) as an alternative plasmonic material for an on chip silicon plasmonic Schottky photodetector that is based on an internal photoemission process and operating at telecom wavelengths. The examined structure employs an asymmetric metal semiconductor metal waveguide structure with one of the electrodes being gold and the second either gold, titanium or titanium nitride. Apart from the excellent optical properties desired for this type of photodetector such as high absorption losses and reasonably high real part of the permittivity, titanium nitride is a CMOS compatible material that enables easy integration with existing CMOS technology. For the first time, we find a Schottky barrier height of 0.67 eV for titanium nitride on p doped silicon, which is very close to the optimal value of 0.69 eV. This value ensures very high signal to noise ratio of the photodetector operating at a wavelength of 1550 nm. Additionally, TiN provides shorter penetration depth of the mode into metal compared to Ti, which enhances transmission probability of hot electrons to a semiconductor and gives rise to responsivity enhancement.


APPLR Adaptive Planner Parameter Learning from Reinforcement. Classical navigation systems typically operate using a fixed set of hand picked parameters (e.g. maximum speed, sampling rate, inflation radius, etc.) and require heavy expert re tuning in order to work in new environments. To mitigate this requirement, it has been proposed to learn parameters for different contexts in a new environment using human demonstrations collected via teleoperation. However, learning from human demonstration limits deployment to the training environment, and limits overall performance to that of a potentially suboptimal demonstrator. In this paper, we introduce APPLR, Adaptive Planner Parameter Learning from Reinforcement, which allows existing navigation systems to adapt to new scenarios by using a parameter selection scheme discovered via reinforcement learning (RL) in a wide variety of simulation environments. We evaluate APPLR on a robot in both simulated and physical experiments, and show that it can outperform both a fixed set of hand tuned parameters and also a dynamic parameter tuning scheme learned from human demonstration.


On the density of Birkhoff sums for Anosov diffeomorphisms. Let f be an Anosov diffeomorphism on a nilmanifold. We consider Birkhoff sums for a Holder continuous observation along periodic orbits. We show that if there are two Birkhoff sums distributed at both sides of zero, then the set of Birkhoff sums of all periodic points is dense in the whole set of real numbers.


Le groupe de Selmer des isog 'enies de hauteur un. On montre que le groupe de Selmer d'une isog 'enie de hauteur un entre deux vari 'et 'es ab 'eliennes d 'efinies sur le corps de fonctions d'une vari 'et 'e quasi projective et lisse V sur un corps parfait k 0 de caract 'eristique p 0 peut etre plong 'e dans le groupe des homomorphismes entre deux fibr 'es vectoriels naturels sur V . We show that the Selmer group of an isogeny of height one between two abelian varieties defined on the function field of a smooth and quasi projective variety V over a perfect field k 0 of characteristic p 0 can be embedded in the group of homomorphisms between two natural vector bundles on V .


Generalized continued fraction expansions for pi and e . Recently Raayoni et al. announced various conjectures on continued fractions of fundamental constants automatically generated with machine learning techniques. In this paper we prove some of their stated conjectures for Euler number e and show the equivalence of some of the listed conjectures. Moreover, we propose a simple method that can be used to generate other continued fractions using their series representations.


Investigation of the Status of Unit 2 Nuclear Reactor of the Fukushima Daiichi by the Cosmic Muon Radiography. We have investigated the status of the nuclear debris in the Unit 2 Nuclear Reactor of the Fukushima Daiichi Nuclear Power plant by the method called Cosmic Muon Radiography. In this measurement, the muon detector was placed outside of the reactor building as was the case of the measurement for the Unit 1 Reactor. Compared to the previous measurements, the detector was down sized, which made us possible to locate it closer to the reactor and to investigate especially the lower part of the fuel loading zone. We identified the inner structures of the reactor such as the containment vessel, pressure vessel and other objects through the thick concrete wall of the reactor building. Furthermore, the observation showed existence of heavy material at the bottom of the pressure vessel, which can be interpreted as the debris of melted nuclear fuel dropped from the loading zone.


Sequential convergence of AdaGrad algorithm for smooth convex optimization. We prove that the iterates produced by, either the scalar step size variant, or the coordinatewise variant of AdaGrad algorithm, are convergent sequences when applied to convex objective functions with Lipschitz gradient. The key insight is to remark that such AdaGrad sequences satisfy a variable metric quasi Fej 'er monotonicity property, which allows to prove convergence.


Assessing the Efficiency of Different Control Strategies for the Coronavirus (COVID 19) Epidemic. The goal of this work is to analyse the effects of control policies for the coronavirus (COVID 19) epidemic in Brazil. This is done by considering an age structured SEIR model with a quarantine class and two types of controls. The first one studies the sensitivity with regard to the parameters of the basic reproductive number R0 which is calculated by the next generation method. The second one evaluates different quarantine strategies by comparing their relative total number of deaths.


Random words in free groups, non crossing matchings and RNA secondary structures. Consider a random word X n (X 1, ldots ,X n) in an alphabet consisting of 4 letters, with the letters viewed either as A , U , G and C (i.e., nucleotides in an RNA sequence) or alpha , bar alpha , beta and bar beta (i.e., generators of the free group langle alpha, beta rangle and their inverses). We show that the expected fraction rho(n) of unpaired bases in an optimal RNA secondary structure (with only Watson Crick bonds and no pseudo knots) converges to a constant lambda 2 with 0 lambda 2 1 as n to infty . Thus, a positive proportion of the bases of a random RNA string do not form hydrogen bonds. We do not know the exact value of lambda 2 , but we derive upper and lower bounds for it. In terms of free groups, rho(n) is the ratio of the length of the shortest word representing X in the generating set consisting of conjugates of generators and their inverses to the word length of X with respect to the standard generators and their inverses. Thus for a typical word the word length in the (infinite) generating set consisting of the conjugates of standard generators grows linearly with the word length in the standard generators. In fact, we show that a similar result holds for all non abelian finitely generated free groups langle alpha 1, dots, alpha k rangle , k geq 2 .


An intriguing branching of the maximum position of the absorption cross section in Mie theory explained. A potential control over the position of maxima of scattering and absorption cross sections can be exploited to better tailor nanoparticles for specific light matter interaction applications. Here we explain in detail the mechanism of an appreciable blue shift of the absorption cross section peak relative to a metal spherical particle localized surface plasmon resonance (LSPR) and remaining scattering and extinction cross sections. Such a branching of cross sections maxima requires a certain threshold value of size parameter x 0.7 and is a prerequisite for obtaining high fluorescence enhancements, because the spectral region of high radiative rate enhancement becomes separated from the spectral region of high non radiative rate enhancement. A consequence is that the maximum of the absorption cross section cannot be used as the definition of the LSPR position for x 0.7.


Information Theoretic Abstractions for Planning in Agents with Computational Constraints. In this paper, we develop a framework for path planning on abstractions that are not provided to the agent a priori but instead emerge as a function of the available computational resources. We show how a path planning problem in an environment can be systematically approximated by solving a sequence of easier to solve problems on abstractions of the original space. The properties of the problem are analyzed, and a number of theoretical results are presented and discussed. A numerical example is presented to show the utility of the approach and to corroborate the theoretical findings. We conclude by providing a discussion detailing the connections of the proposed approach to anytime algorithms and bounded rationality.


Exact arithmetic as a tool for convergence assessment of the IRM CG method. Using exact computer arithmetic, it is possible to determine the (exact) solution of a numerical model without rounding error. For such purposes, a corresponding system of equations should be exactly defined, either directly or by rationalisation of numerically given input data. In the latter case there is an initial round off error, but this does not propagate during the solution process. If this system is first exactly solved, then by the floating point arithmetic, convergence of the numerical method is easily followed. As one example, IRM CG, a special case of the more general Iterated Ritz method and interesting replacement for a standard or preconditioned CG, is verified. Further, because the computer demands and execution time grow enourmously with the number of unknowns using this strategy, the possibilities for larger systems are also provided.


Control Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Control flow refinement refers to program transformations whose purpose is to make implicit control flow explicit, and is used in the context of program analysis to increase precision. Several techniques have been suggested for different programming models, typically tailored to improving precision for a particular analysis. In this paper we explore the use of partial evaluation of Horn clauses as a general purpose technique for control flow refinement for integer transitions systems. These are control flow graphs where edges are annotated with linear constraints describing transitions between corresponding nodes, and they are used in many program analysis tools. Using partial evaluation for control flow refinement has the clear advantage over other approaches in that soundness follows from the general properties of partial evaluation in particular, properties such as termination and complexity are preserved. We use a partial evaluation algorithm incorporating property based abstraction, and show how the right choice of properties allows us to prove termination and to infer complexity of challenging programs that cannot be handled by state of the art tools. We report on the integration of the technique in a termination analyzer, and its use as a preprocessing step for several cost analyzers. Under consideration for acceptance in TPLP.


Sorting Cayley permutations with pattern avoiding machines. Pattern avoiding machines were recently introduced by Claesson, Ferrari and the current author to gain a better understanding of the classical 2 stacksort problem. In this paper we generalize these devices by allowing permutations with repeated elements, also known as Cayley permutations. The main result is a description of those patterns such that the corresponding set of sortable permutations is a class. We also show a new involution on the set of Cayley permutations, obtained by regarding a pattern avoiding stack as an operator. Finally, we analyze two generalizations of pop stack sorting on Cayley permutations. In both cases we describe sortable permutations in terms of pattern avoidance.


Uniform approximations by Fourier sums on classes of convolutions of periodic functions. We establish asymptotic estimates for exact upper bounds of uniform approximations by Fourier sums on the classes of 2 pi periodic functions, which are represented by convolutions of functions varphi ( varphi bot 1) from unit ball of the space L 1 with fixed kernels Psi beta of the form Psi beta (t) sum limits k 1 infty psi(k) cos left(kt frac beta pi 2 right) , sum limits k 1 infty k psi(k) infty , psi(k) geq 0 , beta in mathbb R .


Magnetic Iron Nanocubes Effectively Capture Epithelial and Mesenchymal Cancer Cells. Current methods for capturing circulating tumor cells (CTCs) are based on the overexpression of cytokeratin (CK) or epithelial cell adhesion molecule (EpCAM) on cancer cells. However, during the process of metastasis, tumor cells undergo epithelial to mesenchymal transition (EMT) that can lead to the loss of CK EpCAM expression. Therefore, it is vital to develop a capturing technique independent of CK EpCAM expression on the cancer cell. To develop this technique, it is important to identify common secondary oncogenic markers overexpressed on tumor cells before and after EMT. We analyzed the biomarker expression levels in tumor cells, before and after EMT, and found two common proteins human epidermal growth factor receptor 2 (Her2) and epidermal growth factor receptor (EGFR) whose levels remained unaffected. So, we synthesized immunomagnetic iron nanocubes covalently conjugated with antibodies of Her2 or EGFR to capture cancer cells irrespective of the EMT status. The nanocubes showed high specificity (6 to 9 fold) in isolating the cancer cells of interest from a mixture of cells spiked in serum. We characterized the captured cells for identifying their EMT status. Thus, we believe the results presented here would help in the development of novel strategies for capturing both primary and metastatic cancer cells from patients blood to develop an effective treatment plan.


A Comparison of Partitioning Strategies in AC Optimal Power Flow. The highly non convex AC optimal power flow problem is known to scale very poorly with respect to the number of lines and buses. To achieve improved computational speed and scalability, we apply a distributed optimization algorithm, the so called Augmented Lagrangian based Alternating Direction Inexact Newton (ALADIN) method. However, the question of how to optimally partition a power grid for use in distributed optimization remains open in the literature. In the present paper, we compare four partitioning strategies using the standard IEEE 9, 14, 30, 39, 57, 118, 300 bus models as the performance benchmark. To this end, we apply the graph partitioners KaFFPa and METIS as well as two spectral clustering methods to the aforementioned bus models. For larger grids, KaFFPa yields the best results on average.


Superposition for Lambda Free Higher Order Logic. We introduce refutationally complete superposition calculi for intentional and extensional clausal lambda free higher order logic, two formalisms that allow partial application and applied variables. The calculi are parameterized by a term order that need not be fully monotonic, making it possible to employ the lambda free higher order lexicographic path and Knuth Bendix orders. We implemented the calculi in the Zipperposition prover and evaluated them on Isabelle HOL and TPTP benchmarks. They appear promising as a stepping stone towards complete, highly efficient automatic theorem provers for full higher order logic.


Renormalizing individual performance metrics for cultural heritage management of sports records. Individual performance metrics are commonly used to compare players from different eras. However, such cross era comparison is often biased due to significant changes in success factors underlying player achievement rates (e.g. performance enhancing drugs and modern training regimens). Such historical comparison is more than fodder for casual discussion among sports fans, as it is also an issue of critical importance to the multi billion dollar professional sport industry and the institutions (e.g. Hall of Fame) charged with preserving sports history and the legacy of outstanding players and achievements. To address this cultural heritage management issue, we report an objective statistical method for renormalizing career achievement metrics, one that is particularly tailored for common seasonal performance metrics, which are often aggregated into summary career metrics despite the fact that many player careers span different eras. Remarkably, we find that the method applied to comprehensive Major League Baseball and National Basketball Association player data preserves the overall functional form of the distribution of career achievement, both at the season and career level. As such, subsequent re ranking of the top 50 all time records in MLB and the NBA using renormalized metrics indicates reordering at the local rank level, as opposed to bulk reordering by era. This local order refinement signals time independent mechanisms underlying annual and career achievement in professional sports, meaning that appropriately renormalized achievement metrics can be used to compare players from eras with different season lengths, team strategies, rules and possibly even different sports.


An Abstract Stabilization Method with Applications to Nonlinear Incompressible Elasticity. In this paper, we propose and analyze an abstract stabilized mixed finite element framework that can be applied to nonlinear incompressible elasticity problems. In the abstract stabilized framework, we prove that any mixed finite element method that satisfies the discrete inf sup condition can be modified so that it is stable and optimal convergent as long as the mixed continuous problem is stable. Furthermore, we apply the abstract stabilized framework to nonlinear incompressible elasticity problems and present numerical experiments to verify the theoretical results.


Equivariant calculus on mu character and mu K stability of polarized schemes. We introduce and study mu K stability of polarized schemes with respect to general test configurations as an algebro geometric aspect of the existence of mu cscK metrics, which is introduced in the paper arXiv 1902.00664 as a framework unifying the frameworks of K "ahler Ricci solitons and cscK metrics. This article consists of two ingredients. On one hand, we develop a foundational framework concerning derivative of relative equivariant intersection', which we call equivariant calculus. A core claim in equivariant calculus is a convergence result for some infinite series in equivariant cohomology, which is obtained by relative equivariant intersections. Our proof is based on some observations on deRham Cartan model of equivariant locally finite homology. This framework furnishes a language to describe mu K stability. We in particular conclude the mu K semistability of mu cscK manifolds with respect to general test configurations. On the other hand, we introduce an equivariant character mathbf check mu lambda called mu character for equivariant family of polarized schemes, motivated by the mu volume functional introduced in the paper arXiv1902.00664 as a generalization of Tian Zhu's functional in the theory of K "ahler Ricci soliton. The equivariant derivative of the mu character derive mu Futaki invariant for general test configuration, and furthermore, it also produces an analogue of the equivariant first Chern class of CM line bundle for family of polarized schemes, which is irrational and hence cannot be realized as a mathbb Q line bundle in our general mu K stability setup.


Duluth at SemEval 2020 Task 12 Offensive Tweet Identification in English with Logistic Regression. This paper describes the Duluth systems that participated in SemEval 2020 Task 12, Multilingual Offensive Language Identification in Social Media (OffensEval 2020). We participated in the three English language tasks. Our systems provide a simple Machine Learning baseline using logistic regression. We trained our models on the distantly supervised training data made available by the task organizers and used no other resources. As might be expected we did not rank highly in the comparative evaluation 79th of 85 in Task A, 34th of 43 in Task B, and 24th of 39 in Task C. We carried out a qualitative analysis of our results and found that the class labels in the gold standard data are somewhat noisy. We hypothesize that the extremely high accuracy ( 90 ) of the top ranked systems may reflect methods that learn the training data very well but may not generalize to the task of identifying offensive language in English. This analysis includes examples of tweets that despite being mildly redacted are still offensive.


On maximum of Gaussian random field having unique maximum point of its variance. Gaussian random fields on Euclidean spaces whose variances reach their maximum values at unique points are considered. Exact asymptotic behaviors of probabilities of large absolute maximum of theirs trajectories have been evaluated using Double Sum Method under the widest possible conditions.


Solitary Waves in Mass in Mass Lattices. We consider the existence of spatially localized traveling wave solutions of the mass in mass lattice. Under an anti resonance condition first discovered by Kevrekidis, Stefanov and Xu, we prove that such solutions exist in two distinguished limits, the first where the mass of the internal resonator is small and the second where the internal spring is very stiff. We then numerically simulate the solutions and these simulations indicate that the anti resonant traveling waves are weakly unstable


Inequalities for Taylor series involving the divisor function. Let T(q) sum k 1 infty d(k) q k, quad q 1, where d(k) denotes the number of positive divisors of the natural number k . We present monotonicity properties of functions defined in terms of T . More specifically, we proved that H(q) T(q) frac log(1 q) log(q) is strictly increasing in (0,1) while F(q) frac 1 q q ,H(q) is strictly decreasing in (0,1) . These results are then applied to obtain various inequalities, one of which states that the double inequality alpha , frac q 1 q frac log(1 q) log(q) T(q) beta , frac q 1 q frac log(1 q) log(q) , quad 0 q 1, holds with the best possible constant factors alpha gamma and beta 1 . Here, gamma denotes Euler's constant. This refines a result of Salem, who proved the inequalities with alpha 1 2 and beta 1 .


Knowledge Representations in Technical Systems A Taxonomy. The recent usage of technical systems in human centric environments leads to the question, how to teach technical systems, e.g., robots, to understand, learn, and perform tasks desired by the human. Therefore, an accurate representation of knowledge is essential for the system to work as expected. This article mainly gives insight into different knowledge representation techniques and their categorization into various problem domains in artificial intelligence. Additionally, applications of presented knowledge representations are introduced in everyday robotics tasks. By means of the provided taxonomy, the search for a proper knowledge representation technique regarding a specific problem should be facilitated.


Finite subgroups of the birational automorphism group are 'almost' nilpotent of class at most two. We call a group G nilpotently Jordan of class at most c (c in mathbb N ) if there exists a constant J in mathbb Z such that every finite subgroup H leqq G contains a nilpotent subgroup K leqq H of class at most c and index at most J . We show that the birational automorphism group of a variety over a field of characteristic zero is nilpotently Jordan of class at most two.


Scalable First Order Methods for Robust MDPs. Robust Markov Decision Processes (MDPs) are a powerful framework for modeling sequential decision making problems with model uncertainty. This paper proposes the first first order framework for solving robust MDPs. Our algorithm interleaves primal dual first order updates with approximate Value Iteration updates. By carefully controlling the tradeoff between the accuracy and cost of Value Iteration updates, we achieve an ergodic convergence rate of O left( A 2 S 3 log(S) log( epsilon 1 ) epsilon 1 right) for the best choice of parameters on ellipsoidal and Kullback Leibler s rectangular uncertainty sets, where S and A is the number of states and actions, respectively. Our dependence on the number of states and actions is significantly better (by a factor of O(A 1.5 S 1.5 ) ) than that of pure Value Iteration algorithms. In numerical experiments on ellipsoidal uncertainty sets we show that our algorithm is significantly more scalable than state of the art approaches. Our framework is also the first one to solve robust MDPs with s rectangular KL uncertainty sets.


An authorship protection technology for electronic documents based on image watermarking. In the field of information technology, information security technologies hold a special place. They ensure the security of the use of information technology. One of the urgent tasks is the protection of electronic documents during their transfer in information systems. This paper proposes a technology for protecting electronic documents containing digital images. The main idea is that the electronic document authorship protection can be implemented by digital watermark embedding in the images that are contained in this document. The paper considers three cases of using the proposed technology full copying of an electronic document, copying of images contained in the document, and copying of text. It is shown that in all three cases the authorship confirmation can be successfully implemented. Computational experiments are conducted with robust watermarking algorithms that can be used within the technology. A scenario of technology implementation is proposed, which provides for the joint use of different class algorithms.


PaStaNet Toward Human Activity Knowledge Engine. Existing image based activity understanding methods mainly adopt direct mapping, i.e. from image to activity concepts, which may encounter performance bottleneck since the huge gap. In light of this, we propose a new path infer human part states first and then reason out the activities based on part level semantics. Human Body Part States (PaSta) are fine grained action semantic tokens, e.g. hand, hold, something , which can compose the activities and help us step toward human activity knowledge engine. To fully utilize the power of PaSta, we build a large scale knowledge base PaStaNet, which contains 7M PaSta annotations. And two corresponding models are proposed first, we design a model named Activity2Vec to extract PaSta features, which aim to be general representations for various activities. Second, we use a PaSta based Reasoning method to infer activities. Promoted by PaStaNet, our method achieves significant improvements, e.g. 6.4 and 13.9 mAP on full and one shot sets of HICO in supervised learning, and 3.2 and 4.2 mAP on V COCO and images based AVA in transfer learning. Code and data are available at http hake mvig.cn .


Towards Compositional Verification for Modular Robotic Systems. Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presents its own unique set of challenges. In particular, distinct components in a modular robotic system often require different verification techniques to ensure that they behave as expected. Ensuring whole system consistency when individual components are verified using a variety of techniques and formalisms is difficult. This paper discusses how to use compositional verification to integrate the various verification techniques that are applied to modular robotic software, using a First Order Logic (FOL) contract that captures each component's assumptions and guarantees. These contracts can then be used to guide the verification of the individual components, be it by testing or the use of a formal method. We provide an illustrative example of an autonomous robot used in remote inspection. We also discuss a way of defining confidence for the verification associated with each component.


Partial stabilization of stochastic systems with application to rotating rigid bodies. This paper addresses the problem of stabilizing a part of variables for control systems described by stochastic differential equations of the Ito type. The considered problem is related to the asymptotic stability property of invariant sets and has important applications in mechanics and engineering. Sufficient conditions for the asymptotic stability of an invariant set are proposed by using a stochastic version of LaSalle's invariance principle. These conditions are applied for constructing the state feedback controllers in the problem of single axis stabilization of a rigid body. The cases of control torques generated by jet engines and rotors are considered as illustrations of the proposed control design methodology.


Fundamental Limits of Lossless Data Compression with Side Information. The problem of lossless data compression with side information available to both the encoder and the decoder is considered. The finite blocklength fundamental limits of the best achievable performance are defined, in two different versions of the problem Reference based compression, when a single side information string is used repeatedly in compressing different source messages, and pair based compression, where a different side information string is used for each source message. General achievability and converse theorems are established for arbitrary source side information pairs. Nonasymptotic normal approximation expansions are proved for the optimal rate in both the reference based and pair based settings, for memoryless sources. These are stated in terms of explicit, finite blocklength bounds, that are tight up to third order terms. Extensions that go significantly beyond the class of memoryless sources are obtained. The relevant source dispersion is identified and its relationship with the conditional varentropy rate is established. Interestingly, the dispersion is different in reference based and pair based compression, and it is proved that the reference based dispersion is in general smaller.


One Thousand and One Hours Self driving Motion Prediction Dataset. Motivated by the impact of large scale datasets on ML systems we present the largest self driving dataset for motion prediction to date, containing over 1,000 hours of data. This was collected by a fleet of 20 autonomous vehicles along a fixed route in Palo Alto, California, over a four month period. It consists of 170,000 scenes, where each scene is 25 seconds long and captures the perception output of the self driving system, which encodes the precise positions and motions of nearby vehicles, cyclists, and pedestrians over time. On top of this, the dataset contains a high definition semantic map with 15,242 labelled elements and a high definition aerial view over the area. We show that using a dataset of this size dramatically improves performance for key self driving problems. Combined with the provided software kit, this collection forms the largest and most detailed dataset to date for the development of self driving machine learning tasks, such as motion forecasting, motion planning and simulation. The full dataset is available at http level5.lyft.com .


Percolation theory suggests some general features in range margins across environmental gradients. The margins within the geographic range of species are often specific in terms of ecological and evolutionary processes, and can strongly influence the species' reaction to climate change. One of the frequently observed features at range margins is fragmentation, caused internally by population dynamics or externally by the limited availability of suitable habitat sites. We study both causes, and describe the transition from a connected to a fragmented state across space by means of a gradient metapopulation model. The main features of our approach are the following. 1) Inhomogeneities can occur at two spatial scales there is a broad scale gradient, which can be patterned by fine scale heterogeneities. The latter is implemented by dispersing a variable number of small obstacles over the terrain, which can be penetrable or unpenetrable by the spreading species. 2) We study the occupancy of this terrain in a steady state on two temporal scales in snapshots and by long term averages. The simulations reveal some general scaling laws that are applicable in various environments, independently of the mechanism of fragmentation. The edge of the connected region (the hull) is a fractal with dimension 7 4. Its width and length changes with the gradient according to universal scaling laws, that are characteristic for percolation transitions. The results suggest that percolation theory is a powerful tool for understanding the structure of range margins in a broad variety of real life scenarios, including those in which the environmental gradient is combined with fine scale heterogeneity. This provides a new method for comparing the range margins of different species in various geographic regions, and monitoring range shifts under climate change.


Sato Contextual Semantic Type Detection in Tables. Detecting the semantic types of data columns in relational tables is important for various data preparation and information retrieval tasks such as data cleaning, schema matching, data discovery, and semantic search. However, existing detection approaches either perform poorly with dirty data, support only a limited number of semantic types, fail to incorporate the table context of columns or rely on large sample sizes for training data. We introduce Sato, a hybrid machine learning model to automatically detect the semantic types of columns in tables, exploiting the signals from the context as well as the column values. Sato combines a deep learning model trained on a large scale table corpus with topic modeling and structured prediction to achieve support weighted and macro average F1 scores of 0.925 and 0.735, respectively, exceeding the state of the art performance by a significant margin. We extensively analyze the overall and per type performance of Sato, discussing how individual modeling components, as well as feature categories, contribute to its performance.


Mean variance hedging of unit linked life insurance contracts in a jump diffusion model. We consider a time consistent mean variance portfolio selection problem of an insurer and allow for the incorporation of basis (mortality) risk. The optimal solution is identified with a Nash subgame perfect equilibrium. We characterize an optimal strategy as solution of a system of partial integro differential equations (PIDEs), a so called extended Hamilton Jacobi Bellman (HJB) system. We prove that the equilibrium is necessarily a solution of the extended HJB system. Under certain conditions we obtain an explicit solution to the extended HJB system and provide the optimal trading strategies in closed form. A simulation shows that the previously found strategies yield payoffs whose expectations and variances are robust regarding the distribution of jump sizes of the stock. The same phenomenon is observed when the variance is correctly estimated, but erroneously ascribed to the diffusion components solely. Further, we show that differences in the insurance horizon and the time to maturity of a longevity asset do not add to the variance of the terminal wealth.


Extensions of the John Nirenberg theorem and applications. The John Nirenberg theorem states that functions of bounded mean oscillation are exponentially integrable. In this article we give two extensions of this theorem. The first one relates the dyadic maximal function to the sharp maximal function of Fefferman Stein, while the second one concerns local weighted mean oscillations, generalizing a result of Muckenhoupt and Wheeden. Applications to the context of generalized Poincar 'e type inequalities and to the context of the C p class of weights are given. Extensions to the case of polynomial BMO type spaces are also given.


Hot Spots in Convex Domains are in the Tips (up to an Inradius). Let Omega subset mathbb R 2 be a bounded, convex domain and let Delta phi 1 mu 1 phi 1 be the first nontrivial Laplacian eigenfunction with Neumann boundary conditions. The Hot Spots conjecture claims that the maximum and minimum are attained at the boundary. We show that they are attained far away from one another if x 1, x 2 in Omega satisfy x 1 x 2 mbox diam ( Omega) , then every maximum and minimum is assumed within distance c cdot mbox inrad ( Omega) of x 1 and x 2 , where c is a universal constant (which is the optimal scaling up to the value of c ).


Convergence Results for Implicit Explicit General Linear Methods. This paper studies fixed step convergence of implicit explicit general linear methods. We focus on a subclass of schemes that is internally consistent, has high stage order, and favorable stability properties. Classical, index 1 differential algebraic equation, and singular perturbation convergence analyses results are given. For all these problems IMEX GLMs from the class of interest converge with the full theoretical orders under general assumptions. The convergence results require the time steps to be sufficiently small, with upper bounds that are independent on the stiffness of the problem.


Weyl families of transformed boundary pairs. Let ( mathfrak L , Gamma) be an isometric boundary pair associated with a closed symmetric linear relation T in a Krein space mathfrak H . Let M Gamma be the Weyl family corresponding to ( mathfrak L , Gamma) . We cope with two main topics. First, since M Gamma need not be (generalized) Nevanlinna, the characterization of the closure and the adjoint of a linear relation M Gamma(z) , for some z in mathbb C smallsetminus mathbb R , becomes a nontrivial task. Regarding M Gamma(z) as the (Shmul'yan) transform of zI induced by Gamma , we give conditions for the equality in overline M Gamma(z) subseteq overline M overline Gamma (z) and we compute the adjoint M overline Gamma (z) . It follows, for example, that, if T is a standard linear relation in a Pontryagin space then the Weyl family M Gamma corresponding to a boundary relation Gamma for T is a generalized Nevanlinna family a similar conclusion is already known if T is an operator. In the second topic we characterize the transformed boundary pair ( mathfrak L prime, Gamma prime) with its Weyl family M Gamma prime . The transformation scheme is either Gamma prime Gamma V 1 or Gamma prime V Gamma with suitable linear relations V . Results in this direction include but are not limited to a 1 1 correspondence between ( mathfrak L , Gamma) and ( mathfrak L prime, Gamma prime) the formula for M Gamma prime M Gamma , for an ordinary boundary triple and a standard unitary operator V (first scheme) construction of a quasi boundary triple from an isometric boundary triple ( mathfrak L , Gamma 0, Gamma 1) with ker Gamma T and T 0 T 0 (second scheme, Hilbert space case).


Assessing the Quality of Scientific Papers. A multitude of factors are responsible for the overall quality of scientific papers, including readability, linguistic quality, fluency,semantic complexity, and of course domain specific technical factors. These factors vary from one field of study to another. In this paper, we propose a measure and method for assessing the overall quality of the scientific papers in a particular field of study. We evaluate our method in the computer science domain, but it can be applied to other technical and scientific fields.Our method is based on the corpus linguistics technique. This technique enables the extraction of required information and knowledge associated with a specific domain. For this purpose, we have created a large corpus, consisting of papers from very high impact conferences. First, we analyze this corpus in order to extract rich domain specific terminology and knowledge. Then we use the acquired knowledge to estimate the quality of scientific papers by applying our proposed measure. We examine our measure on high and low scientific impact test corpora. Our results show a significant difference in the measure scores of the high and low impact test corpora. Second, we develop a classifier based on our proposed measure and compare it to the baseline classifier. Our results show that the classifier based on our measure over performed the baseline classifier. Based on the presented results the proposed measure and the technique can be used for automated assessment of scientific papers.


Leveraging Post Hoc Context for Faster Learning in Bandit Settings with Applications in Robot Assisted Feeding. Autonomous robot assisted feeding requires the ability to acquire a wide variety of food items. However, it is impossible for such a system to be trained on all types of food in existence. Therefore, a key challenge is choosing a manipulation strategy for a previously unseen food item. Previous work showed that the problem can be represented as a linear bandit with visual context. However, food has a wide variety of multi modal properties relevant to manipulation that can be hard to distinguish visually. Our key insight is that we can leverage the haptic context we collect during and after manipulation (i.e., "post hoc") to learn some of these properties and more quickly adapt our visual model to previously unseen food. In general, we propose a modified linear contextual bandit framework augmented with post hoc context observed after action selection to empirically increase learning speed and reduce cumulative regret. Experiments on synthetic data demonstrate that this effect is more pronounced when the dimensionality of the context is large relative to the post hoc context or when the post hoc context model is particularly easy to learn. Finally, we apply this framework to the bite acquisition problem and demonstrate the acquisition of 8 previously unseen types of food with 21 fewer failures across 64 attempts.


Microsimulation Analysis for Network Traffic Assignment (MANTA) at Metropolitan Scale for Agile Transportation Planning. Abrupt changes in the environment, such as unforeseen events due to climate change, have triggered massive and precipitous changes in human mobility. The ability to quickly predict traffic patterns in different scenarios has become more urgent to support short term operations and long term transportation planning. This requires modeling entire metropolitan areas to recognize the upstream and downstream effects on the network. However, there is a well known trade off between increasing the level of detail of a model and decreasing computational performance. To achieve the level of detail required for traffic microsimulation, current implementations often compromise by simulating small spatial scales, and those that operate at larger scales often require access to expensive high performance computing systems or have computation times on the order of days or weeks that discourage productive research and real time planning. This paper addresses the performance shortcomings by introducing a new platform, MANTA (Microsimulation Analysis for Network Traffic Assignment), for traffic microsimulation at the metropolitan scale. MANTA employs a highly parallelized GPU implementation that is capable of running metropolitan scale simulations within a few minutes. The runtime to simulate all morning trips, using half second timesteps, for the nine county San Francisco Bay Area is just over four minutes, not including routing and initialization. This computational performance significantly improves the state of the art in large scale traffic microsimulation. MANTA expands the capacity to analyze detailed travel patterns and travel choices of individuals for infrastructure planning.


SA Net A deep spectral analysis network for image clustering. Although supervised deep representation learning has attracted enormous attentions across areas of pattern recognition and computer vision, little progress has been made towards unsupervised deep representation learning for image clustering. In this paper, we propose a deep spectral analysis network for unsupervised representation learning and image clustering. While spectral analysis is established with solid theoretical foundations and has been widely applied to unsupervised data mining, its essential weakness lies in the fact that it is difficult to construct a proper affinity matrix and determine the involving Laplacian matrix for a given dataset. In this paper, we propose a SA Net to overcome these weaknesses and achieve improved image clustering by extending the spectral analysis procedure into a deep learning framework with multiple layers. The SA Net has the capability to learn deep representations and reveal deep correlations among data samples. Compared with the existing spectral analysis, the SA Net achieves two advantages (i) Given the fact that one spectral analysis procedure can only deal with one subset of the given dataset, our proposed SA Net elegantly integrates multiple parallel and consecutive spectral analysis procedures together to enable interactive learning across different units towards a coordinated clustering model (ii) Our SA Net can identify the local similarities among different images at patch level and hence achieves a higher level of robustness against occlusions. Extensive experiments on a number of popular datasets support that our proposed SA Net outperforms 11 benchmarks across a number of image clustering applications.


Direct Visual Inertial Odometry with Semi Dense Mapping. The paper presents a direct visual inertial odometry system. In particular, a tightly coupled nonlinear optimization based method is proposed by integrating the recent advances in direct dense tracking and Inertial Measurement Unit (IMU) pre integration, and a factor graph optimization is adapted to estimate the pose of the camera and rebuild a semi dense map. Two sliding windows are maintained in the proposed approach. The first one, based on Direct Sparse Odometry (DSO), is to estimate the depths of candidate points for mapping and dense visual tracking. In the second one, measurements from the IMU pre integration and dense visual tracking are fused probabilistically using a tightly coupled, optimization based sensor fusion framework. As a result, the IMU pre integration provides additional constraints to suppress the scale drift induced by the visual odometry. Evaluations on real world benchmark datasets show that the proposed method achieves competitive results in indoor scenes.


Improved MPC Algorithms for MIS, Matching, and Coloring on Trees and Beyond. We present O( log log n) round scalable Massively Parallel Computation algorithms for maximal independent set and maximal matching, in trees and more generally graphs of bounded arboricity, as well as for constant coloring trees. Following the standards, by a scalable MPC algorithm, we mean that these algorithms can work on machines that have capacity memory as small as n delta for any positive constant delta 1 . Our results improve over the O( log 2 log n) round algorithms of Behnezhad et al. PODC'19 . Moreover, our matching algorithm is presumably optimal as its bound matches an Omega( log log n) conditional lower bound of Ghaffari, Kuhn, and Uitto FOCS'19 .


On the Evaluation and Real World Usage Scenarios of Deep Vessel Segmentation for Retinography. We identify and address three research gaps in the field of vessel segmentation for funduscopy. The first focuses on the task of inference on high resolution fundus images for which only a limited set of ground truth data is publicly available. Notably, we highlight that simple rescaling and padding or cropping of lower resolution datasets is surprisingly effective. Additionally we explore the effectiveness of semi supervised learning for better domain adaptation. Our results show competitive performance on a set of common public retinal vessel datasets using a small and light weight neural network. For HRF, the only very high resolution dataset currently available, we reach new state of the art performance by solely relying on training images from lower resolution datasets. The second topic concerns evaluation metrics. We investigate the variability of the F1 score on the existing datasets and report results for recent SOTA architectures. Our evaluation show that most SOTA results are actually comparable to each other in performance. Last, we address the issue of reproducibility by open sourcing our complete pipeline.


Use of Remote Sensing Data to Identify Air Pollution Signatures in India. Air quality has major impact on a country's socio economic position and identifying major air pollution sources is at the heart of tackling the issue. Spatially and temporally distributed air quality data acquisition across a country as varied as India has been a challenge to such analysis. The launch of the Sentinel 5P satellite has helped in the observation of a wider variety of air pollutants than measured before at a global scale on a daily basis. In this chapter, spatio temporal multi pollutant data retrieved from Sentinel 5P satellite is used to cluster states as well as districts in India and associated average monthly pollution signature and trends depicted by each of the clusters are derived and presented.The clustering signatures can be used to identify states and districts based on the types of pollutants emitted by various pollution sources.


A blind Robust Image Watermarking Approach exploiting the DFT Magnitude. Due to the current progress in Internet, digital contents (video, audio and images) are widely used. Distribution of multimedia contents is now faster and it allows for easy unauthorized reproduction of information. Digital watermarking came up while trying to solve this problem. Its main idea is to embed a watermark into a host digital content without affecting its quality. Moreover, watermarking can be used in several applications such as authentication, copy control, indexation, Copyright protection, etc. In this paper, we propose a blind robust image watermarking approach as a solution to the problem of copyright protection of digital images. The underlying concept of our method is to apply a discrete cosine transform (DCT) to the magnitude resulting from a discrete Fourier transform (DFT) applied to the original image. Then, the watermark is embedded by modifying the coefficients of the DCT using a secret key to increase security. Experimental results show the robustness of the proposed technique to a wide range of common attacks, e.g., Low Pass Gaussian Filtering, JPEG compression, Gaussian noise, salt pepper noise, Gaussian Smoothing and Histogram equalization. The proposed method achieves a Peak signal to noise ration (PSNR) value greater than 66 (dB) and ensures a perfect watermark extraction.


Feature Based Software Design Pattern Detection. Software design patterns are standard solutions to common problems in software design and architecture. Knowing that a particular module implements a design pattern is a shortcut to design comprehension. Manually detecting design patterns is a time consuming and challenging task, therefore, researchers have proposed automatic design pattern detection techniques. However, these techniques show low performance for certain design patterns. In this work, we introduce a design pattern detection approach, DPD F that improves the performance over the state of the art by using code features with machine learning classifiers to automatically train a design pattern detector. DPD F creates a semantic representation of Java source code using the code features and the call graph, and applies the textit Word2Vec algorithm on the semantic representation to construct the word space geometric model of the Java source code. DPD F then builds a Machine Learning classifier trained on a labelled dataset and identifies software design patterns with over 80 Precision and over 79 Recall. Additionally, we have compared DPD F with two existing design pattern detection techniques namely FeatureMaps MARPLE DPD. Empirical results demonstrate that our approach outperforms the state of the art approaches by approximately 35 and 15 respectively in terms of Precision. The run time performance also supports the practical applicability of our classifier.


Proceedings 36th International Conference on Logic Programming (Technical Communications). Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to Foundations Semantics, Formalisms, Answer Set Programming, Non monotonic Reasoning, Knowledge Representation. Declarative Programming Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic based domain specific languages, constraint handling rules. Related Paradigms and Synergies Inductive and Co inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object oriented and Functional programming, Description logics, Neural Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. Implementation Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta programming, Foreign interfaces, User interfaces. Applications Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics.


Supervised Learning with First to Spike Decoding in Multilayer Spiking Neural Networks. Experimental studies support the notion of spike based neuronal information processing in the brain, with neural circuits exhibiting a wide range of temporally based coding strategies to rapidly and efficiently represent sensory stimuli. Accordingly, it would be desirable to apply spike based computation to tackling real world challenges, and in particular transferring such theory to neuromorphic systems for low power embedded applications. Motivated by this, we propose a new supervised learning method that can train multilayer spiking neural networks to solve classification problems based on a rapid, first to spike decoding strategy. The proposed learning rule supports multiple spikes fired by stochastic hidden neurons, and yet is stable by relying on first spike responses generated by a deterministic output layer. In addition to this, we also explore several distinct, spike based encoding strategies in order to form compact representations of presented input data. We demonstrate the classification performance of the learning rule as applied to several benchmark datasets, including MNIST. The learning rule is capable of generalising from the data, and is successful even when used with constrained network architectures containing few input and hidden layer neurons. Furthermore, we highlight a novel encoding strategy, termed scanline encoding', that can transform image data into compact spatiotemporal patterns for subsequent network processing. Designing constrained, but optimised, network structures and performing input dimensionality reduction has strong implications for neuromorphic applications.


A free boundary problem arising from branching Brownian motion with selection. We study a free boundary problem for a parabolic partial differential equation in which the solution is coupled to the moving boundary through an integral constraint. The problem arises as the hydrodynamic limit of an interacting particle system involving branching Brownian motion with selection, the so called Brownian bees model which is studied in a companion paper. In this paper we prove existence and uniqueness of the solution to the free boundary problem, and we characterise the behaviour of the solution in the large time limit.


Constant Factor Approximation Algorithms for Parity Constrained Facility Location Problems. Facility location is a prominent optimization problem that has inspired a large quantity of both theoretical and practical studies in combinatorial optimization. Although the problem has been investigated under various settings reflecting typical structures within the optimization problems of practical interest, little is known on how the problem behaves in conjunction with parity constraints. This shortfall of understanding was rather disturbing when we consider the central role of parity in the field of combinatorics. In this paper, we present the first constant factor approximation algorithm for the facility location problem with parity constraints. We are given as the input a metric on a set of facilities and clients, the opening cost of each facility, and the parity requirement odd, even, or unconstrained of every facility in this problem. The objective is to open a subset of facilities and assign every client to an open facility so as to minimize the sum of the total opening costs and the assignment distances, but subject to the condition that the number of clients assigned to each open facility must have the same parity as its requirement. Although the unconstrained facility location problem as a relaxation for this parity constrained generalization has unbounded gap, we demonstrate that it yields a structured solution whose parity violation can be corrected at small cost. This correction is prescribed by a T join on an auxiliary graph constructed by the algorithm. This graph does not satisfy the triangle inequality, but we show that a carefully chosen set of shortcutting operations leads to a cheap and sparse T join. Finally, we bound the correction cost by exhibiting a combinatorial multi step construction of an upper bound. We also present the first constant factor approximation algorithm for the parity constrained k center problem, the bottleneck optimization variant.


Positive solutions and harmonic measure for Schr " o dinger operators in uniform domains. We give bilateral pointwise estimates for positive solutions of the equation begin equation left begin aligned triangle u omega u , , mbox in , , Omega, quad u ge 0, u f , , mbox on , , partial Omega , end aligned right. end equation in a bounded uniform domain Omega subset bf R n , where omega is a locally finite Borel measure in Omega , and f ge 0 is integrable with respect to harmonic measure d H x on partial Omega . We also give sufficient and matching necessary conditions for the existence of a positive solution in terms of the exponential integrability of M (m omega)(z) int Omega M(x, z) m(x) , d omega (x) on partial Omega with respect to f , d H x 0 , where M(x, cdot) is Martin's function with pole at x 0 in Omega, m(x) min (1, G(x, x 0)) , and G is Green's function. These results give bilateral bounds for the harmonic measure associated with the Schr " o dinger operator triangle omega on Omega , and in the case f 1 , a criterion for the existence of the gauge function. Applications to elliptic equations of Riccati type with quadratic growth in the gradient are given.


Attribution Methods Reveal Flaws in Fingerprint Based Virtual Screening. Fingerprint based models for protein ligand binding have demonstrated outstanding success on benchmark datasets however, these models may not learn the correct binding rules. To assess this concern, we use in silico datasets with known binding rules to develop a general framework for evaluating model attribution. This framework identifies fragments that a model considers necessary to achieve a particular score, sidestepping the need for a model to be differentiable. Our results confirm that high performing models may not learn the correct binding rule, and suggest concrete steps that can remedy this situation. We show that adding fragment matched inactive molecules (decoys) to the data reduces attribution false negatives, while attribution false positives largely arise from the background correlation structure of molecular data. Normalizing for these background correlations helps to reveal the true binding logic. Our work highlights the danger of trusting attributions from high performing models and suggests that a closer examination of fingerprint correlation structure and better decoy selection may help reduce misattributions.


A new characterization of symmetric H tensors and M tensors. In this work, we present a new characterization of symmetric H tensors. It is known that a symmetric tensor is an H tensor if and only if it is a generalized diagonally dominant tensor with nonnegative diagonal elements. By exploring the diagonal dominance property, we derive new necessary and sufficient conditions for a symmetric tensor to be an H tensor. Based on these conditions, we propose a novel method that allows to check if a tensor is a symmetric H tensor in polynomial time. Moreover, these results can be applied to the closely related and important class of M tensors. In particular, this allows to efficiently compute the minimum H eigenvalue of symmetric M tensors. Furthermore, we show how this latter result can be used to provide tighter lower bounds for the minimum H eigenvalue of the Fan product of two symmetric M tensors.


Sharp exponential inequalities for the Ornstein Uhlenbeck operator. The optimal constants in a class of exponential type inequalities for the Ornstein Uhlenbeck operator in the Gauss space are detected. The existence of extremal functions in the relevant inequalities is also established. Our results disclose analogies and dissimilarities in comparison with Adams' inequality for the Laplace operator, a companion of our inequalities in the Euclidean space.


CosRec 2D Convolutional Neural Networks for Sequential Recommendation. Sequential patterns play an important role in building modern recommender systems. To this end, several recommender systems have been built on top of Markov Chains and Recurrent Models (among others). Although these sequential models have proven successful at a range of tasks, they still struggle to uncover complex relationships nested in user purchase histories. In this paper, we argue that modeling pairwise relationships directly leads to an efficient representation of sequential features and captures complex item correlations. Specifically, we propose a 2D convolutional network for sequential recommendation (CosRec). It encodes a sequence of items into a three way tensor learns local features using 2D convolutional filters and aggregates high order interactions in a feedforward manner. Quantitative results on two public datasets show that our method outperforms both conventional methods and recent sequence based approaches, achieving state of the art performance on various evaluation metrics.


Dissecting Image Crops. The elementary operation of cropping underpins nearly every computer vision system, ranging from data augmentation and translation invariance to computational photography and representation learning. This paper investigates the subtle traces introduced by this operation. For example, despite refinements to camera optics, lenses will leave behind certain clues, notably chromatic aberration and vignetting. Photographers also leave behind other clues relating to image aesthetics and scene composition. We study how to detect these traces, and investigate the impact that cropping has on the image distribution. While our aim is to dissect the fundamental impact of spatial crops, there are also a number of practical implications to our work, such as revealing faulty photojournalism and equipping neural network researchers with a better understanding of shortcut learning. Code is available at https github.com basilevh dissecting image crops.


Multi scale energy budget of inertially driven turbulence in normal and superfluid helium. In this paper we present a novel hydrodynamic experiment using liquid 4 He. The flow is forced inertially by a canonical oscillating grid using either its normal (He I) or superfluid (He II) phase, generating a statistically stationary turbulence. We characterise the turbulent properties of the flow using 2D Lagrangian Particle tracking on hollow glass micro spheres. As expected for tracer particles, the Vorono " i tessellation on particle positions does not show a significant departure from a random Poisson process neither in He I nor He II phase. Particles' positions are tracked with high temporal resolution, allowing to resolve velocity fluctuations at integral and inertial scales while properly assessing the noise contribution. Additionally, we differentiate the particles' positions (by convolution with Gaussian kernels) in order to access small scale quantities like acceleration. Using these measured quantities and the formalism of classical Homogeneous Isotropic Turbulence (HIT) to perform an energy budget across scales we extract the energy injection rate at the large scale, the energy flux cascading through inertial scales, down to small scales at which it is dissipated. We found that in such inertially driven turbulence, regardless of the normal or superfluid state of the fluid, estimates of energy at the different scales are compatible with each other and consistent with oscillating grid turbulence results reported for normal fluids in the literature. The largest discrepancy shows up at small scales where the signal to noise ratio is harder to control and where the 2D measurement is contaminated by the 3D nature of the flow. This motivates to focus future experimental projects towards small scales, low noise and 3D measurements.


Learnt dynamics generalizes across tasks, datasets, and populations. Differentiating multivariate dynamic signals is a difficult learning problem as the feature space may be large yet often only a few training examples are available. Traditional approaches to this problem either proceed from handcrafted features or require large datasets to combat the m n problem. In this paper, we show that the source of the problem signal dynamics can be used to our advantage and noticeably improve classification performance on a range of discrimination tasks when training data is scarce. We demonstrate that self supervised pre training guided by signal dynamics produces embedding that generalizes across tasks, datasets, data collection sites, and data distributions. We perform an extensive evaluation of this approach on a range of tasks including simulated data, keyword detection problem, and a range of functional neuroimaging data, where we show that a single embedding learnt on healthy subjects generalizes across a number of disorders, age groups, and datasets.


Who's in the Gang? Revealing Coordinating Communities in Social Media. Political astroturfing and organised trolling are online malicious behaviours with significant real world effects. Common approaches examining these phenomena focus on broad campaigns rather than the small groups responsible. To reveal latent networks of cooperating accounts, we propose a novel temporal window approach that relies on account interactions and metadata alone. It detects groups of accounts engaging in behaviours that, in concert, execute different goal based strategies, which we describe. Our approach is validated against two relevant datasets with ground truth data.


Taming Discrete Integration via the Boon of Dimensionality. Discrete integration is a fundamental problem in computer science that concerns the computation of discrete sums over exponentially large sets. Despite intense interest from researchers for over three decades, the design of scalable techniques for computing estimates with rigorous guarantees for discrete integration remains the holy grail. The key contribution of this work addresses this scalability challenge via an efficient reduction of discrete integration to model counting. The proposed reduction is achieved via a significant increase in the dimensionality that, contrary to conventional wisdom, leads to solving an instance of the relatively simpler problem of model counting. Building on the promising approach proposed by Chakraborty et al, our work overcomes the key weakness of their approach a restriction to dyadic weights. We augment our proposed reduction, called DeWeight, with a state of the art efficient approximate model counter and perform detailed empirical analysis over benchmarks arising from neural network verification domains, an emerging application area of critical importance. DeWeight, to the best of our knowledge, is the first technique to compute estimates with provable guarantees for this class of benchmarks.


Feshbach resonances in p wave three body recombination within Fermi Fermi mixtures of open shell 6 Li and closed shell 173 Yb atoms. We report on observations and modeling of interspecies magnetic Feshbach resonances in dilute ultracold mixtures of open shell alkali metal 6 Li and closed shell 173 Yb atoms with temperatures just above quantum degeneracy for both fermionic species. Resonances are located by detecting magnetic field dependent atom loss due to three body recombination. We resolve closely located resonances that originate from a weak separation dependent hyperfine coupling between the electronic spin of 6 Li and the nuclear spin of 173 Yb, and confirm their magnetic field spacing by ab initio electronic structure calculations. Through quantitative comparisons of theoretical atom loss profiles and experimental data at various temperatures between 1 mu K and 20 mu K, we show that three body recombination in fermionic mixtures has a p wave Wigner threshold behavior leading to characteristic asymmetric loss profiles. Such resonances can be applied towards the formation of ultracold doublet ground state molecules and quantum simulation of superfluid p wave pairing.


A Multi Agent Primal Dual Strategy for Composite Optimization over Distributed Features. This work studies multi agent sharing optimization problems with the objective function being the sum of smooth local functions plus a convex (possibly non smooth) function coupling all agents. This scenario arises in many machine learning and engineering applications, such as regression over distributed features and resource allocation. We reformulate this problem into an equivalent saddle point problem, which is amenable to decentralized solutions. We then propose a proximal primal dual algorithm and establish its linear convergence to the optimal solution when the local functions are strongly convex. To our knowledge, this is the first linearly convergent decentralized algorithm for multi agent sharing problems with a general convex (possibly non smooth) coupling function.


Optimal Fraction Repetition Codes for Access Balancing in Distributed Storage. To solve the access balancing problem in distributed storage systems, we introduce a new combinatorial model, called MinVar model for fractional repetition (FR) codes. Since FR codes are based on graphs or set systems, our MinVar model is characterized by the property that the variance among the sums of block labels incident to a fixed vertex is minimized. This characterization is different from Dau and Milenkovic's MaxMinSum model, while the minimum sum of labels is maximized. We show that our MinVar model is meaningful by distinguishing labelings with different variances but with the same MaxMin value for some FR codes. By reformulating the MinVar model to an equivalent vertex labeling problem of graphs, we find several families of optimal FR codes with balanced access frequency, and provide fundamental results for both problems. It is interesting that MinVar model is closely related to the concept of magic labeling in graph theory.


Third order Exceptional Point and Successive Switching among Three States in a Degenerate Optical Microcavity. One of the most intriguing topological features of open systems is exhibiting exceptional point (EP) singularities. Apart from the widely explored second order EPs (EP2s), the explorations of higher order EPs in any system requires more complex topology, which is still a challenge. Here, we encounter a third order EP (EP3) for the first time in a simple fabrication feasible gain loss assisted optical microcavity. Using scattering matrix formalism, we study the simultaneous interactions between three successive coupled states around two EP2s, which yield an EP3. Following an adiabatic parametric variation around the identified EP3, we present a robust successive state conversion mechanism among three coupled states. The proposed scheme indeed opens a unique platform to manipulate light in integrated devices.


Lecture Notes on Spin Geometry. We review the Atiyah Singer Index theorem and some applications. Only basic knowledge of differential geometry and Lie groups is required.


Graph based Dynamic Segmentation of Generic Objects in 3D. We propose a novel 3D segmentation method for RBGD stream data to deal with 3D object segmentation task in a generic scenario with frequent object interactions. It mainly contributes in two aspects, while being generic and not requiring initialization firstly, a novel tree structure representation for the point cloud of the scene is proposed. Then, a dynamic manangement mechanism for connected component splits and merges exploits the tree structure representation.


An Obata type characterization of doubly warped product K ''ahler manifolds. We give a characterization sl a la Obata for certain families of K ''ahler manifolds. These results are in the same line as other extensions of the well known Obata's rigidity theorem from cite Obata62 , like for instance the generalizations in cite RanjSant97 and cite Santhanam07 . Moreover, we give a complete description of the so called K ''ahler doubly warped product structures whose underlying metric is Einstein.


Bio inspired Adaptive Latching System for Towing and Guiding Power less Floating Platforms with Autonomous Robotic Boats. Autonomous robotic boats are expected to perform several tasks 1) navigate autonomously in water environments, such as the canals of Amsterdam 2) perform individual task, such as water monitoring, transporting goods and people 3) latch together to create floating infrastructure, such as bridges and markets. In this paper we present a novel bio inspired robotic system for latching, towing and guiding a floating passive power less platform. The challenge is to design an adaptive latching mechanism, able to create a secure connection between the entities, easy to attach detach, even if the boats are affected by water disturbances. But most important, the adaptive latching must be able to restricting the DoF (degrees of freedom) of the latched "dummy" platform. Since, the robotic boat may drive it in narrow water canals and must prevent it from drifting and hitting the wall. This novel adaptive latching mechanism is based on the ball and socket joint that allows rotation and free movements in two planes at the same time. It consists of two parts the male part that includes a bearing stud (ball) integrated on the floating bin "dummy" and the female part located on the autonomous robotic boat. Which integrates an adaptive framed funnel to guide the male ball into an actuated receptor that traps the ball, creating the ball socket joint between the boats. In this sense, the adaptive latching mechanism mimics squid's tentacles that can adjust the forces applied to a holding object restricting its degrees of freedom. Experimental results are presented from our swarm robotic boats integrating the adaptive latching system and performing the towing and guiding use cases.


On adversarial patches real world attack on ArcFace 100 face recognition system. Recent works showed the vulnerability of image classifiers to adversarial attacks in the digital domain. However, the majority of attacks involve adding small perturbation to an image to fool the classifier. Unfortunately, such procedures can not be used to conduct a real world attack, where adding an adversarial attribute to the photo is a more practical approach. In this paper, we study the problem of real world attacks on face recognition systems. We examine security of one of the best public face recognition systems, LResNet100E IR with ArcFace loss, and propose a simple method to attack it in the physical world. The method suggests creating an adversarial patch that can be printed, added as a face attribute and photographed the photo of a person with such attribute is then passed to the classifier such that the classifier's recognized class changes from correct to the desired one. Proposed generating procedure allows projecting adversarial patches not only on different areas of the face, such as nose or forehead but also on some wearable accessory, such as eyeglasses.


Learning Software Configuration Spaces A Systematic Literature Review. Most modern software systems (operating systems like Linux or Android, Web browsers like Firefox or Chrome, video encoders like ffmpeg, x264 or VLC, mobile and cloud applications, etc.) are highly configurable. Hundreds of configuration options, features, or plugins can be combined, each potentially with distinct functionality and effects on execution time, security, energy consumption, etc. Due to the combinatorial explosion and the cost of executing software, it is quickly impossible to exhaustively explore the whole configuration space. Hence, numerous works have investigated the idea of learning it from a small sample of configurations' measurements. The pattern "sampling, measuring, learning" has emerged in the literature, with several practical interests for both software developers and end users of configurable systems. In this survey, we report on the different application objectives (e.g., performance prediction, configuration optimization, constraint mining), use cases, targeted software systems and application domains. We review the various strategies employed to gather a representative and cost effective sample. We describe automated software techniques used to measure functional and non functional properties of configurations. We classify machine learning algorithms and how they relate to the pursued application. Finally, we also describe how researchers evaluate the quality of the learning process. The findings from this systematic review show that the potential application objective is important there are a vast number of case studies reported in the literature from the basis of several domains and software systems. Yet, the huge variant space of configurable systems is still challenging and calls to further investigate the synergies between artificial intelligence and software engineering.


Bounds for Invariance Pressure. This paper provides an upper for the invariance pressure of control sets with nonempty interior and a lower bound for sets with finite volume. In the special case of the control set of a hyperbolic linear control system in R d this yields an explicit formula. Further applications to linear control systems on Lie groups and to inner control sets are discussed.


Topological 4 manifolds with 4 dimensional fundamental group. Let pi be a group satisfying the Farrell Jones conjecture and assume that B pi is a 4 dimensional Poincar 'e duality space. We consider topological, closed, connected manifolds with fundamental group pi whose canonical map to B pi has degree 1 and show that two such manifolds are s cobordant if and only if their equivariant intersection forms are isometric and they have the same Kirby Siebenmann invariant. If pi is good in the sense of Freedman, it follows that two such manifolds are homeomorphic if and only if they are homotopy equivalent and have the same Kirby Siebenmann invariant. This shows rigidity in many cases that lie between aspherical 4 manifolds, where rigidity is expected by Borel's conjecture, and simply connected manifolds where rigidity is a consequence of Freedman's classification results.


Computer Vision based Accident Detection in Traffic Surveillance. Computer vision based accident detection through video surveillance has become a beneficial but daunting task. In this paper, a neoteric framework for detection of road accidents is proposed. The proposed framework capitalizes on Mask R CNN for accurate object detection followed by an efficient centroid based object tracking algorithm for surveillance footage. The probability of an accident is determined based on speed and trajectory anomalies in a vehicle after an overlap with other vehicles. The proposed framework provides a robust method to achieve a high Detection Rate and a low False Alarm Rate on general road traffic CCTV surveillance footage. This framework was evaluated on diverse conditions such as broad daylight, low visibility, rain, hail, and snow using the proposed dataset. This framework was found effective and paves the way to the development of general purpose vehicular accident detection algorithms in real time.