The Challenge of Diacritics in Yoruba Embeddings. The major contributions of this work include the empirical establishment of a better performance for Yoruba embeddings from undiacritized (normalized) dataset and provision of new analogy sets for evaluation. The Yoruba language, being a tonal language, utilizes diacritics (tonal marks) in written form. We show that this affects embedding performance by creating embeddings from exactly the same Wikipedia dataset but with the second one normalized to be undiacritized. We further compare average intrinsic performance with two other work (using analogy test set WordSim) and we obtain the best performance in WordSim and corresponding Spearman correlation.


BAOD Budget Aware Object Detection. We study the problem of object detection from a novel perspective in which annotation budget constraints are taken into consideration, appropriately coined Budget Aware Object Detection (BAOD). When provided with a fixed budget, we propose a strategy for building a diverse and informative dataset that can be used to optimally train a robust detector. We investigate both optimization and learning based methods to sample which images to annotate and what type of annotation (strongly or weakly supervised) to annotate them with. We adopt a hybrid supervised learning framework to train the object detector from both these types of annotation. We conduct a comprehensive empirical study showing that a handcrafted optimization method outperforms other selection techniques including random sampling, uncertainty sampling and active learning. By combining an optimal image annotation selection scheme with hybrid supervised learning to solve the BAOD problem, we show that one can achieve the performance of a strongly supervised detector on PASCAL VOC 2007 while saving 12.8 of its original annotation budget. Furthermore, when 100 of the budget is used, it surpasses this performance by 2.0 mAP percentage points.


The Impact of Execution Delay on Kelly Based Stock Trading High Frequency Versus Buy and Hold. Stock trading based on Kelly's celebrated Expected Logarithmic Growth (ELG) criterion, a well known prescription for optimal resource allocation, has received considerable attention in the literature. Using ELG as the performance metric, we compare the impact of trade execution delay on the relative performance of high frequency trading versus buy and hold. While it is intuitively obvious and straightforward to prove that in the presence of sufficiently high transaction costs, buy and hold is the better strategy, is it possible that with no transaction costs, buy and hold can still be the better strategy? When there is no delay in trade execution, we prove a theorem saying that the answer is no.'' However, when there is delay in trade execution, we present simulation results using a binary lattice stock model to show that the answer can be yes.'' This is seen to be true whether self financing is imposed or not.


Recurrence of 2 dimensional queueing processes, and random walk exit times from the quadrant. Let X (X 1, X 2) be a 2 dimensional random variable and X(n), n in mathbb N a sequence of i.i.d. copies of X . The associated random walk is S(n) X(1) cdots X(n) . The corresponding absorbed reflected walk W(n), n in mathbb N in the first quadrant is given by W(0) x in mathbb R 2 and W(n) max 0, W(n 1) X(n) , where the maximum is taken coordinate wise. This is often called the Lindley process and models the waiting times in a two server queue. We characterize recurrence of this process, assuming suitable, rather mild moment conditions on X . It turns out that this is directly related with the tail asymptotics of the exit time of the random walk x S(n) from the quadrant, so that the main part of this paper is devoted to an analysis of that exit time in relation with the drift vector, i.e., the expectation of X .


Data to text Generation with Entity Modeling. Recent approaches to data to text generation have shown great promise thanks to the use of large scale datasets and the application of neural network architectures which are trained end to end. These models rely on representation learning to select content appropriately, structure it coherently, and verbalize it grammatically, treating entities as nothing more than vocabulary tokens. In this work we propose an entity centric neural architecture for data to text generation. Our model creates entity specific representations which are dynamically updated. Text is generated conditioned on the data input and entity memory representations using hierarchical attention at each time step. We present experiments on the RotoWire benchmark and a (five times larger) new dataset on the baseball domain which we create. Our results show that the proposed model outperforms competitive baselines in automatic and human evaluation.


Spread of Covid 19 in urban neighbourhoods and slums of the developing world. We study the spread of Covid 19 across neighbourhoods of cities in the developing world and find that small numbers of neighbourhoods account for a majority of cases (k index 0.7). We also find that the countrywide distribution of cases across states provinces in these nations also displays similar inequality, indicating self similarity across scales. Neighbourhoods with slums are found to contain the highest density of cases across all cities under consideration, revealing that slums constitute the most at risk urban locations in this epidemic. We present a stochastic network model to study the spread of a respiratory epidemic through physically proximate and accidental daily human contacts in a city, and simulate outcomes for a city with two kinds of neighbourhoods slum and non slum. The model reproduces observed empirical outcomes for a broad set of parameter values reflecting the potential validity of these findings for epidemic spread in general, especially across cities of the developing world. We also find that distribution of cases becomes less unequal as the epidemic runs its course, and that both peak and cumulative caseloads are worse for slum neighbourhoods than non slums at the end of an epidemic. Large slums in the developing world therefore contain the most vulnerable populations in an outbreak, and the continuing growth of metropolises in Asia and Africa presents significant challenges for future respiratory outbreaks from perspectives of public health and socioeconomic equity.


Measurements of electric quadrupole transition frequencies in 226 Ra . We report the first driving of the 7s 2S 1 2 rightarrow 6d 2D 3 2 and 7s 2S 1 2 rightarrow 6d 2D 5 2 electric quadrupole (E2) transitions in Ra . We measure the frequencies of both E2 transitions, and two other low lying transitions in 226 Ra that are important for controlling the radium ion's motional and internal states 6d 2D 3 2 rightarrow 7p 2P 3 2 0 and 6d 2D 5 2 rightarrow 7p 2P 3 2 0 .


GLU Net Global Local Universal Network for Dense Flow and Correspondences. Establishing dense correspondences between a pair of images is an important and general problem, covering geometric matching, optical flow and semantic correspondences. While these applications share fundamental challenges, such as large displacements, pixel accuracy, and appearance changes, they are currently addressed with specialized network architectures, designed for only one particular task. This severely limits the generalization capabilities of such networks to new scenarios, where e.g. robustness to larger displacements or higher accuracy is required. In this work, we propose a universal network architecture that is directly applicable to all the aforementioned dense correspondence problems. We achieve both high accuracy and robustness to large displacements by investigating the combined use of global and local correlation layers. We further propose an adaptive resolution strategy, allowing our network to operate on virtually any input image resolution. The proposed GLU Net achieves state of the art performance for geometric and semantic matching as well as optical flow, when using the same network and weights. Code and trained models are available at https github.com PruneTruong GLU Net.


Denoising Diffusion Implicit Models. Denoising diffusion probabilistic models (DDPMs) have achieved high quality image generation without adversarial training, yet they require simulating a Markov chain for many steps to produce a sample. To accelerate sampling, we present denoising diffusion implicit models (DDIMs), a more efficient class of iterative implicit probabilistic models with the same training procedure as DDPMs. In DDPMs, the generative process is defined as the reverse of a Markovian diffusion process. We construct a class of non Markovian diffusion processes that lead to the same training objective, but whose reverse process can be much faster to sample from. We empirically demonstrate that DDIMs can produce high quality samples 10 times to 50 times faster in terms of wall clock time compared to DDPMs, allow us to trade off computation for sample quality, and can perform semantically meaningful image interpolation directly in the latent space.


Single Image Human Proxemics Estimation for Visual Social Distancing. In this work, we address the problem of estimating the so called "Social Distancing" given a single uncalibrated image in unconstrained scenarios. Our approach proposes a semi automatic solution to approximate the homography matrix between the scene ground and image plane. With the estimated homography, we then leverage an off the shelf pose detector to detect body poses on the image and to reason upon their inter personal distances using the length of their body parts. Inter personal distances are further locally inspected to detect possible violations of the social distancing rules. We validate our proposed method quantitatively and qualitatively against baselines on public domain datasets for which we provided groundtruth on inter personal distances. Besides, we demonstrate the application of our method deployed in a real testing scenario where statistics on the inter personal distances are currently used to improve the safety in a critical environment.


Waymo's Safety Methodologies and Safety Readiness Determinations. Waymo's safety methodologies, which draw on well established engineering processes and address new safety challenges specific to Automated Vehicle technology, provide a firm foundation for safe deployment of Waymo's Level 4 ADS, which Waymo also refers to as the Waymo Driver. Waymo's determination of its readiness to deploy its AVs safely in different settings rests on that firm foundation and on a thorough analysis of risks specific to a particular Operational Design Domain. Waymo's process for making these readiness determinations entails an ordered examination of the relevant outputs from all of its safety methodologies combined with careful safety and engineering judgment focused on the specific facts relevant for a particular determination. Waymo will approve when it determines the ADS is ready for the new conditions without creating any unreasonable risks to safety. This paper explains Waymo's methodologies as applied to the three layers of its technology hardware, ADS behavior, and operations, and also explains Waymo's safety governance. Waymo will continue to apply and adapt those methodologies, and to learn from the important contributions of others in the AV industry, as Waymo continues to build an ever safer and more able ADS.


Lauricella's F C with finite irreducible monodromy group. We study the conditions under which the monodromy group for Lauricella's hypergeometric function F C (a,b,c x) is finite irreducible. We give the conditions in terms of the parameters a,b,c . In addition, we discuss the structure of the finite irreducible monodromy group.


Infinite dimensional affine processes. The goal of this article is to investigate infinite dimensional affine diffusion processes on the canonical state space. This includes a derivation of the corresponding system of Riccati differential equations and an existence proof for such processes, which has been missing in the literature so far. For the existence proof, we will regard affine processes as solutions to infinite dimensional stochastic differential equations with values in Hilbert spaces. This requires a suitable version of the Yamada Watanabe theorem, which we will provide in this paper. Several examples of infinite dimensional affine processes accompany our results.


Blur shift spaces. In this work we propose a new type of shift spaces, called blur shift spaces, where one can represent with a single symbol an entire set of infinite symbols. Such shift spaces are constructed from classical shift spaces, by choosing some sets of infinitely many symbols that will be represented by a new symbol, and then defining a convenient topology. The shift spaces we are proposing generalize ideas presented previously by Ott, Tomforde and Willis, and by Gon c c alves and Royer, which were used to find isomorphism between C algebras associated to some classes of shift spaces. In particular, blur shifts can be used as a compactification scheme for classical shift spaces.


Pro nilfactors of the space of arithmetic progressions in topological dynamical systems. For a topological dynamical system (X, T) , l in mathbb N and x in X , let N l(X) and L x l(X) be the orbit closures of the diagonal point (x,x, ldots,x) ( l times) under the actions mathcal G l and tau l respectively, where mathcal G l is generated by T times T times ldots times T ( l times) and tau l T times T 2 times ldots times T l . In this paper, we show that for a minimal system (X,T) and l in mathbb N , the maximal d step pro nilfactor of (N l(X), mathcal G l ) is (N l(X d), mathcal G l ) , where pi d X to X mathbf RP d X d,d in mathbb N is the factor map and mathbf RP d is the regionally proximal relation of order d . Meanwhile, when (X,T) is a minimal nilsystem, we also calculate the pro nilfactors of (L x l(X), tau l) for almost every x w.r.t. the Haar measure. In particular, there exists a minimal 2 step nilsystem (Y,T) and a countable set Omega subset Y such that for y in Y backslash Omega the maximal equicontinuous factor of (L y 2(Y), tau 2) is not (L pi 1(y) 2(Y 1 ), tau 2) .


Some isoperimetric inequalities with respect to monomial weights. We solve a class of isoperimetric problems on mathbb R 2 left (x,y) in mathbb R 2 y 0 right with respect to monomial weights. Let alpha and beta be real numbers such that 0 le alpha beta 1 , beta le 2 alpha . We show that, among all smooth sets Omega in mathbb R 2 with fixed weighted measure iint Omega y beta dxdy , the weighted perimeter int partial Omega y alpha , ds achieves its minimum for a smooth set which is symmetric w.r.t. to the y axis, and is explicitly given. Our results also imply an estimate of a weighted Cheeger constant and a lower bound for the first eigenvalue of a class of nonlinear problems.


Smart readout of the Skipper CCD Achieving Sub electron Noise Levels in Regions of Interest. The skipper CCD is a special type of charge coupled device in which the readout noise can be reduced to sub electron levels by averaging independent measurements of the same charge. Thus the charge in the pixels can be determined by counting the exact number of electrons. The total readout time is proportional to the number of measurements of the charge in each pixel. For some applications this time may be too long however, researchers usually are interested only on certain region within the matrix of pixels. In this paper we present the development of a smart skipper readout technique that allows the user to specify regions of interest of the CCD matrix where an arbitrary (high) number of measurements of the same charge can taken to obtain the desired noise level, and far less measurements are performed in those regions that are less interesting to the researcher, therefore reducing the total readout time.


Aspherical completions and rationally inert elements. Let X be a connected space. An element f in pi n(X) is called rationally inert if pi (X) otimes mathbb Q to pi (X cup fD n 1 ) otimes mathbb Q is surjective. We extend the results obtained in the simply connected case, and prove in particular that if X cup fD n 1 is a Poincar 'e duality complex and the algebra H(X) requires at least two generators then f in pi n(X) is rationally inert. On the other hand, if X is rationally a wedge of at least two spheres and f is rationally non trivial, then f is rationally inert. Finally if f is rationally inert then the rational homotopy of the homotopy fibre of the injection X to X cup fD n 1 is the completion of a free Lie algebra.


A Decomposition and Metric Based Evaluation Framework for Microservices. Migrating from monolithic systems into microservice is a very complex task. Companies are commonly decomposing the monolithic system manually, analyzing dependencies of the monolith and then assessing different decomposition options. The goal of our work is two folded 1) we provide a microservice measurement framework to objectively evaluate and compare the quality of microservices based systems 2) we propose a decomposition system based on business process mining. The microservice measurement framework can be applied independently from the decomposition process adopted, but is also useful to continuously evaluate the architectural evolution of a system. Results show that the decomposition framework helps companies to easily identify the different decomposition options. The measurement framework can help to decrease the subjectivity of the decision between different decomposition options and to evaluate architectural erosion in existing systems.


A GPU based multi criteria optimization algorithm for HDR brachytherapy. Currently in HDR brachytherapy planning, a manual fine tuning of an objective function is necessary to obtain case specific valid plans. This study intends to facilitate this process by proposing a patient specific inverse planning algorithm for HDR prostate brachytherapy GPU based multi criteria optimization (gMCO). Two GPU based optimization engines including simulated annealing (gSA) and a quasi Newton optimizer (gL BFGS) were implemented to compute multiple plans in parallel. After evaluating the equivalence and the computation performance of these two optimization engines, one preferred optimization engine was selected for the gMCO algorithm. Five hundred sixty two previously treated prostate HDR cases were divided into validation set (100) and test set (462). In the validation set, the number of Pareto optimal plans to achieve the best plan quality was determined for the gMCO algorithm. In the test set, gMCO plans were compared with the physician approved clinical plans. Over 462 cases, the number of clinically valid plans was 428 (92.6 ) for clinical plans and 461 (99.8 ) for gMCO plans. The number of valid plans with target V100 coverage greater than 95 was 288 (62.3 ) for clinical plans and 414 (89.6 ) for gMCO plans. The mean planning time was 9.4 s for the gMCO algorithm to generate 1000 Pareto optimal plans. In conclusion, gL BFGS is able to compute thousands of SA equivalent treatment plans within a short time frame. Powered by gL BFGS, an ultra fast and robust multi criteria optimization algorithm was implemented for HDR prostate brachytherapy. A large scale comparison against physician approved clinical plans showed that treatment plan quality could be improved and planning time could be significantly reduced with the proposed gMCO algorithm.


NewsStand CoronaViz A Map Query Interface for Spatio Temporal and Spatio Textual Monitoring of Disease Spread. With the rapid continuing spread of COVID 19, it is clearly important to be able to track the progress of the virus over time in order to be better prepared to anticipate its emergence and spread in new regions as well as declines in its presence in regions thereby leading to or justifying "reopening" decisions. There are many applications and web sites that monitor officially released numbers of cases which are likely to be the most accurate methods for tracking the progress of the virus however, they will not necessarily paint a complete picture. To begin filling any gaps in official reports, we have developed the NewsStand CoronaViz web application (https coronaviz.umiacs.io) that can run on desktops and mobile devices that allows users to explore the geographic spread in discussions about the virus through analysis of keyword prevalence in geotagged news articles and tweets in relation to the real spread of the virus as measured by confirmed case numbers reported by the appropriate authorities. NewsStand CoronaViz users have access to dynamic variants of the disease related variables corresponding to the numbers of confirmed cases, active cases, deaths, and recoveries (where they are provided) via a map query interface. It has the ability to step forward and backward in time using both a variety of temporal window sizes (day, week, month, or combinations thereof) in addition to user defined varying spatial window sizes specified by direct manipulation actions (e.g., pan, zoom, and hover) as well as textually (e.g., by the name of the containing country, state or province, or county as well as textually specified spatially adjacent combinations thereof), and finally by the amount of spatio temporally varying news and tweet volume involving COVID 19.


Shape optimization for composite materials and scaffolds. This article combines shape optimization and homogenization techniques by looking for the optimal design of the microstructure in composite materials and of scaffolds. The development of materials with specific properties is of huge practical interest, for example, for medical applications or for the development of light weight structures in aeronautics. In particular, the optimal design of microstructures leads to fundamental questions for porous media what is the sensitivity of homogenized coefficients with respect to the shape of the microstructure? We compute Hadamard's shape gradient for the problem of realizing a prescribed effective tensor and demonstrate the applicability and feasibility of our approach by numerical experiments.


Monocular Vision based Crowdsourced 3D Traffic Sign Positioning with Unknown Camera Intrinsics and Distortion Coefficients. Autonomous vehicles and driver assistance systems utilize maps of 3D semantic landmarks for improved decision making. However, scaling the mapping process as well as regularly updating such maps come with a huge cost. Crowdsourced mapping of these landmarks such as traffic sign positions provides an appealing alternative. The state of the art approaches to crowdsourced mapping use ground truth camera parameters, which may not always be known or may change over time. In this work, we demonstrate an approach to computing 3D traffic sign positions without knowing the camera focal lengths, principal point, and distortion coefficients a priori. We validate our proposed approach on a public dataset of traffic signs in KITTI. Using only a monocular color camera and GPS, we achieve an average single journey relative and absolute positioning accuracy of 0.26 m and 1.38 m, respectively.


Controllable Paraphrase Generation with a Syntactic Exemplar. Prior work on controllable text generation usually assumes that the controlled attribute can take on one of a small set of values known a priori. In this work, we propose a novel task, where the syntax of a generated sentence is controlled rather by a sentential exemplar. To evaluate quantitatively with standard metrics, we create a novel dataset with human annotations. We also develop a variational model with a neural module specifically designed for capturing syntactic knowledge and several multitask training objectives to promote disentangled representation learning. Empirically, the proposed model is observed to achieve improvements over baselines and learn to capture desirable characteristics.


An L1 approximation for a fractional reaction diffusion equation, a second order error analysis over time graded meshes. A time stepping L1 scheme for subdiffusion equation with a Riemann Liouville time fractional derivative is developed and analyzed. This is the first paper to show that the L1 scheme for the model problem under consideration is second order accurate (sharp error estimate) over nonuniform time steps. The established convergence analysis is novel, innovative and concise. For completeness, the L1 scheme is combined with the standard Galerkin finite elements for the spatial discretization, which will then define a fully discrete numerical scheme. The error analysis for this scheme is also investigated. To support our theoretical contributions, some numerical tests are provided at the end. The considered (typical) numerical example suggests that the imposed time graded meshes assumption can be further relaxed.


Ultrashort Pulse Generation in Modeless Laser Cavity. We demonstrate experimentally that random phase modulation of an erbium doped fiber ring laser by an intra cavity electro optic phase modulator did not inhibit ultrashort pulse operation. Stable and self starting ultrashort pulse operation with a single pulse circulating in the cavity was achieved even when the phase modulator was driven with random sequences sufficiently fast and strong to render the laser cavity modeless, in the sense that heterodyning of the laser output did not show any spectral lines corresponding to a mode spectrum. No significant change in measured pulse characteristics was observed, compared to conventional mode locking in the unmodulated cavity. The insensitivity to the random phase modulation is expected, given the lack of phase sensitive elements in the cavity.


Graphs of relational structures restricted types. The algebraic approach to the Constraint Satisfaction Problem (CSP) uses high order symmetries of relational structures polymorphisms to study the complexity of the CSP. In this paper we further develop one of the methods the algebraic approach can be implemented, and apply it to some kinds of the CSP. This method was introduced in our LICS 2004 paper and involves the study of the local structure of finite algebras and relational structures. It associates with an algebra A or a relational structure S a graph, whose vertices are the elements of A (or S), the edges represent subsets of A such that the restriction of some term operation of A is good' on the subset, that is, act as an operation of one of the 3 types semilattice, majority, or affine. In this paper we use this theory and consider algebras with edges from a restricted set of types. We prove type restrictions are preserved under the standard algebraic constructions. Then we show that if the types edges in a relational structure are restricted, then the corresponding CSP can be solved in polynomial time by specific algorithms. In particular, we give a new, somewhat more intuitive proof of the Bounded Width Theorem the CSP over algebra A has bounded width if and only if A does not contain affine edges. Actually, this result shows that bounded width implies width (2,3). Finally, we prove that algebras without semilattice edges have few subalgebras of powers, that is, the CSP over such algebras is also polynomial time. The methods and results obtained in this paper are important ingredients of the 2017 proof of the Dichotomy Conjecture by the author. The Dichotomy Conjecture was also proved independently by Zhuk.


Classification with Strategically Withheld Data. Machine learning techniques can be useful in applications such as credit approval and college admission. However, to be classified more favorably in such contexts, an agent may decide to strategically withhold some of her features, such as bad test scores. This is a missing data problem with a twist which data is missing em depends on the chosen classifier , because the specific classifier is what may create the incentive to withhold certain feature values. We address the problem of training classifiers that are robust to this behavior. We design three classification methods sc Mincut , sc Hill Climbing ( sc HC ) and Incentive Compatible Logistic Regression ( sc IC LR ). We show that sc Mincut is optimal when the true distribution of data is fully known. However, it can produce complex decision boundaries, and hence be prone to overfitting in some cases. Based on a characterization of truthful classifiers (i.e., those that give no incentive to strategically hide features), we devise a simpler alternative called sc HC which consists of a hierarchical ensemble of out of the box classifiers, trained using a specialized hill climbing procedure which we show to be convergent. For several reasons, sc Mincut and sc HC are not effective in utilizing a large number of complementarily informative features. To this end, we present sc IC LR , a modification of Logistic Regression that removes the incentive to strategically drop features. We also show that our algorithms perform well in experiments on real world data sets, and present insights into their relative performance in different settings.


Parallelization of Kmeans using CUDA. K means is an algorithm which is invented to improve the process of finding initial seeds in K means algorithm. In this algorithm, initial seeds are chosen consecutively by a probability which is proportional to the distance to the nearest center. The most crucial problem of this algorithm is that when running in serial mode, it decreases the speed of clustering. In this paper, we aim to parallelize the most time consuming steps of the k means algorithm. Our purpose is to reduce the running time while maintaining the quality of the serial algorithm.


On Ascent, Repetition and Descent Sequences. Ascent sequences have received a lot of attention in recent years in connection with (2 2) free posets and other combinatorial objects. Here, we first show bijectively that analogous repetition sequences are counted by the Bell numbers, and 021 avoiding repetition sequences by the Catalan numbers. Then we adapt a bijection of Chen et al and use it along with the "symbolic" method of Flajolet to find the 4 variable generating function for 021 avoiding ascent sequences by length, number of 0's, number of isolated 0's, and number of runs of 2 or more 0's. We deduce that 021 avoiding ascent sequences that have no consecutive 0's (resp. no isolated 0's) both satisfy a Catalan like recurrence, differing only in initial conditions, and give a bijective proof for the case of no consecutive 0's. Lastly, we show that 021 avoiding descent sequences are equinumerous with same size UUDU avoiding Dyck paths.


Usable, Acceptable, Appropriable Towards Practicable Privacy. A majority of the work on digital privacy and security has focused on users from developed countries who account for only around 20 of the global population. Moreover, the privacy needs for population that is already marginalized and vulnerable differ from users who have privilege to access a greater social support system. We reflect on our experiences of introducing computers and the Internet to a group of sex trafficking survivors in Nepal and highlight a few socio political factors that have influenced the design space around digital privacy. These factors include the population's limited digital and text literacy skills and the fear of stigma against trafficked persons widely prevalent in Nepali society. We underscore the need to widen our perspective by focusing on practicable privacy, that is, privacy practices that are (1) usable, (2) acceptable, and (3) appropriable.


The relativistic quantum Boltzmann equation near equilibrium. The relativistic quantum Boltzmann equation (or the relativistic Uehling Uhlenbeck equation) describes the dynamics of single species fast moving quantum particles. With the recent development of the relativistic quantum mechanics, the relativistic quantum Boltzmann equation has been widely used in physics and engineering such as in the quantum collision experiments and the simulations of electrons in graphene. In spite of such importance, there has been no mathematical theory on the existence of solutions for the relativistic quantum Boltzmann equation to the best of authors' knowledge. In this paper, we prove the global existence of a unique classical solution to the relativistic Boltzmann equation for both bosons and fermions when the initial distribution is nearby a global equilibrium.


GeoGebra e situa c c oes que envolvem modela c c ao numa abordagem STEAM. In order to implement a STEAM approach including the use of technology, namely the use of interactive mathematics software GeoGebra, in mathematics classes, in the lusophone space, the materials presented here were conceived, to be implemented in a first phase among teachers. Later, with the necessary adaptations, these tasks will be applied to the students. The tasks deal with modeling situations, in two and three dimensional geometric problems, in order to apply GeoGebra software in its analysis to illustrate its capabilities. The different windows of this software are used, namely the 2D and 3D windows, CAS window, spreadsheet and extra two dimensional windows in order to study cutting planes in solids and some surfaces. The tasks are presented so that any user, regardless of the degree of knowledge they have of the software, can follow them, being supported in scripts with some indications of the tools and commands to use. Designed for the teaching and learning of Mathematics, from a STEAM approach, these tasks allow connections with other Sciences and the Arts, and allow the development of projects using and consolidating relevant mathematical contents. These tasks are part of the proposals of activities of the participants of the Training Courses for Trainers in GeoGebra for Portuguese Speaking Countries, which from 2019 have an impact on the STEAM approach. These courses are carried out with the high sponsorship of the Organization of Ibero American States for Education, Science and Culture (OEI). Given the interest that the tasks have for the users of the Iberian space, as well as their dissemination at a global level, the materials initially developed in Portuguese language will be adapted for Spanish and English speakers.


A utility based analysis of equilibria in multi objective normal form games. In multi objective multi agent systems (MOMAS), agents explicitly consider the possible tradeoffs between conflicting objective functions. We argue that compromises between competing objectives in MOMAS should be analysed on the basis of the utility that these compromises have for the users of a system, where an agent's utility function maps their payoff vectors to scalar utility values. This utility based approach naturally leads to two different optimisation criteria for agents in a MOMAS expected scalarised returns (ESR) and scalarised expected returns (SER). In this article, we explore the differences between these two criteria using the framework of multi objective normal form games (MONFGs). We demonstrate that the choice of optimisation criterion (ESR or SER) can radically alter the set of equilibria in a MONFG when non linear utility functions are used.


Interassociativity and three element doppelsemigroups. In the paper we characterize all interassociates of some non inverse semigroups and describe up to isomorphism all three element (strong) doppelsemigroups and their automorphism groups. We prove that there exist 75 pairwise non isomorphic three element doppelsemigroups among which 41 doppelsemigroups are commutative. Non commutative doppelsemigroups are divided into 17 pairs of dual doppelsemigroups. Also up to isomorphism there are 65 strong doppelsemigroups of order 3 , and all non strong doppelsemigroups are not commutative.


Summarize, Outline, and Elaborate Long Text Generation via Hierarchical Supervision from Extractive Summaries. Long text generation remains a challenge. The difficulty of generating coherent long texts lies in the fact that existing models overwhelmingly focus on the tasks of local word prediction, and cannot make high level plans on what to generate or capture the high level discourse dependencies between chunks of texts. Inspired by how humans write, where a list of bullet points or a catalog is first outlined, and then each bullet point is expanded to form the whole article, we propose it SOE , a pipelined system that involves of summarizing, outlining and elaborating for long text generation the model first outlines the summaries for different segments of long texts, and then elaborates on each bullet point to generate the corresponding segment. To avoid the labor intensive process of summary soliciting, we propose the it reconstruction strategy, which extracts segment summaries in an unsupervised manner by selecting its most informative part to reconstruct the segment.The proposed generation system comes with the following merits (1) the summary provides high level guidances for text generation and avoids the local minimum of individual word predictions (2) the high level discourse dependencies are captured in the conditional dependencies between summaries and are preserved during the summary expansion process and (3) additionally, we are able to consider significantly more contexts by representing contexts as concise summaries. Extensive experiments demonstrate that SOE produces long texts with significantly better quality, along with faster convergence speed.


Graded rings of paramodular forms of levels 5 and 7 . We compute generators and relations for the graded rings of paramodular forms of degree two and levels 5 and 7. The generators are expressed as quotients of Gritsenko lifts and Borcherds products. The computation is made possible by a characterization of modular forms on the Humbert surfaces of discriminant 4 that arise from paramodular forms by restriction.


Steroids for DOPed Applications A Compiler for Automated Data Oriented Programming. The wide spread adoption of system defenses such as the randomization of code, stack, and heap raises the bar for code reuse attacks. Thus, attackers utilize a scripting engine in target programs like a web browser to prepare the code reuse chain, e.g., relocate gadget addresses or perform a just in time gadget search. However, many types of programs do not provide such an execution context that an attacker can use. Recent advances in data oriented programming (DOP) explored an orthogonal way to abuse memory corruption vulnerabilities and demonstrated that an attacker can achieve Turing complete computations without modifying code pointers in applications. As of now, constructing DOP exploits requires a lot of manual work. In this paper, we present novel techniques to automate the process of generating DOP exploits. We implemented a compiler called Steroids that compiles our high level language SLANG into low level DOP data structures driving malicious computations at run time. This enables an attacker to specify her intent in an application and vulnerability independent manner to maximize reusability. We demonstrate the effectiveness of our techniques and prototype implementation by specifying four programs of varying complexity in SLANG that calculate the Levenshtein distance, traverse a pointer chain to steal a private key, relocate a ROP chain, and perform a JIT ROP attack. Steroids compiles each of those programs to low level DOP data structures targeted at five different applications including GStreamer, Wireshark, and ProFTPd, which have vastly different vulnerabilities and DOP instances. Ultimately, this shows that our compiler is versatile, can be used for both 32 and 64 bit applications, works across bug classes, and enables highly expressive attacks without conventional code injection or code reuse techniques in applications lacking a scripting engine.


A Non linear Differential CNN Rendering Module for 3D Data Enhancement. In this work we introduce a differential rendering module which allows neural networks to efficiently process cluttered data. The module is composed of continuous piecewise differentiable functions defined as a sensor array of cells embedded in 3D space. Our module is learnable and can be easily integrated into neural networks allowing to optimize data rendering towards specific learning tasks using gradient based methods in an end to end fashion. Essentially, the module's sensor cells are allowed to transform independently and locally focus and sense different parts of the 3D data. Thus, through their optimization process, cells learn to focus on important parts of the data, bypassing occlusions, clutter and noise. Since sensor cells originally lie on a grid, this equals to a highly non linear rendering of the scene into a 2D image. Our module performs especially well in presence of clutter and occlusions. Similarly, it deals well with non linear deformations and improves classification accuracy through proper rendering of the data. In our experiments, we apply our module to demonstrate efficient localization and classification tasks in cluttered data both 2D and 3D.


Learning to Engage with Interactive Systems A Field Study on Deep Reinforcement Learning in a Public Museum. Physical agents that can autonomously generate engaging, life like behaviour will lead to more responsive and interesting robots and other autonomous systems. Although many advances have been made for one to one interactions in well controlled settings, future physical agents should be capable of interacting with humans in natural settings, including group interaction. In order to generate engaging behaviours, the autonomous system must first be able to estimate its human partners' engagement level. In this paper, we propose an approach for estimating engagement during group interaction by simultaneously taking into account active and passive interaction, i.e. occupancy, and use the measure as the reward signal within a reinforcement learning framework to learn engaging interactive behaviours. The proposed approach is implemented in an interactive sculptural system in a museum setting. We compare the learning system to a baseline using pre scripted interactive behaviours. Analysis based on sensory data and survey data shows that adaptable behaviours within an expert designed action space can achieve higher engagement and likeability.


Bounds of the sum of edge lengths in linear arrangements of trees. A fundamental problem in network science is the normalization of the topological or physical distance between vertices, that requires understanding the range of variation of the unnormalized distances. Here we investigate the limits of the variation of the physical distance in linear arrangements of the vertices of trees. In particular, we investigate various problems on the sum of edge lengths in trees of a fixed size the minimum and the maximum value of the sum for specific trees, the minimum and the maximum in classes of trees (bistar trees and caterpillar trees) and finally the minimum and the maximum for any tree. We establish some foundations for research on optimality scores for spatial networks in one dimension.


SSDL Self Supervised Domain Learning for Improved Face Recognition. Face recognition in unconstrained environments is challenging due to variations in illumination, quality of sensing, motion blur and etc. An individual's face appearance can vary drastically under different conditions creating a gap between train (source) and varying test (target) data. The domain gap could cause decreased performance levels in direct knowledge transfer from source to target. Despite fine tuning with domain specific data could be an effective solution, collecting and annotating data for all domains is extremely expensive. To this end, we propose a self supervised domain learning (SSDL) scheme that trains on triplets mined from unlabelled data. A key factor in effective discriminative learning, is selecting informative triplets. Building on most confident predictions, we follow an "easy to hard" scheme of alternate triplet mining and self learning. Comprehensive experiments on four different benchmarks show that SSDL generalizes well on different domains.


Using Oshima splines to produce accurate numerical results and high quality graphical output. We illustrate the use of Oshima splines in producing high quality LaTeX output in two cases first, the numerical computation of derivatives and integrals, and second, the display of silhouettes and wireframe surfaces, using the macros package KeTCindy. Both cases are of particular interest for college and university teachers wanting to create handouts to be used by students, or drawing figures for a research paper. When dealing with numerical computations, KeTCindy can make a call to the CAS Maxima to check for accuracy in the case of surface graphics, it is particularly important to be able to detect intersections of projected curves, and we show how to do it in a seamlessly manner using Oshima splines in KeTCindy. A C compiler can be called in this case to speed up computations.


Improving Image Autoencoder Embeddings with Perceptual Loss. Autoencoders are commonly trained using element wise loss. However, element wise loss disregards high level structures in the image which can lead to embeddings that disregard them as well. A recent improvement to autoencoders that helps alleviate this problem is the use of perceptual loss. This work investigates perceptual loss from the perspective of encoder embeddings themselves. Autoencoders are trained to embed images from three different computer vision datasets using perceptual loss based on a pretrained model as well as pixel wise loss. A host of different predictors are trained to perform object positioning and classification on the datasets given the embedded images as input. The two kinds of losses are evaluated by comparing how the predictors performed with embeddings from the differently trained autoencoders. The results show that, in the image domain, the embeddings generated by autoencoders trained with perceptual loss enable more accurate predictions than those trained with element wise loss. Furthermore, the results show that, on the task of object positioning of a small scale feature, perceptual loss can improve the results by a factor 10. The experimental setup is available online https github.com guspih Perceptual Autoencoders


Three dimensional reconstruction of integrated implosion targets from simulated small angle pinhole images. To indirectly evaluate the asymmetry of the radiation drive under limited measurement conditions in inertial confinement fusion research, we have proposed an integral method to approximate the three dimensional self radiation distribution of the compressed plasma core using only four pinhole images from a single laser entrance hole at a maximum projection angle of 10 deg . The simultaneous algebraic reconstruction technique (SART) that uses spatial constraints provided by the prior structural information and the central pinhole image is utilized in the simulation. The simulation results showed that the normalized mean square deviation between the original distribution and reconstruction results of the central radiation area of the simulated cavity was 0.4401, and the structural similarity of the cavity radiation distribution was 0.5566. Meanwhile, using more diagnostic holes could achieve better structural similarity and lower reconstruction error. In addition, the results indicated that our new proposed method could reconstruct the distribution of a compressed plasma core in a vacuum hohlraum with high accuracy.


Deep Interactive Reinforcement Learning for Path Following of Autonomous Underwater Vehicle. Autonomous underwater vehicle (AUV) plays an increasingly important role in ocean exploration. Existing AUVs are usually not fully autonomous and generally limited to pre planning or pre programming tasks. Reinforcement learning (RL) and deep reinforcement learning have been introduced into the AUV design and research to improve its autonomy. However, these methods are still difficult to apply directly to the actual AUV system because of the sparse rewards and low learning efficiency. In this paper, we proposed a deep interactive reinforcement learning method for path following of AUV by combining the advantages of deep reinforcement learning and interactive RL. In addition, since the human trainer cannot provide human rewards for AUV when it is running in the ocean and AUV needs to adapt to a changing environment, we further propose a deep reinforcement learning method that learns from both human rewards and environmental rewards at the same time. We test our methods in two path following tasks straight line and sinusoids curve following of AUV by simulating in the Gazebo platform. Our experimental results show that with our proposed deep interactive RL method, AUV can converge faster than a DQN learner from only environmental reward. Moreover, AUV learning with our deep RL from both human and environmental rewards can also achieve a similar or even better performance than that with the deep interactive RL method and can adapt to the actual environment by further learning from environmental rewards.


The effect of norm based messages on reading and understanding COVID 19 pandemic response governmental rules. The new coronavirus disease (COVID 19) threatens the lives of millions of people around the world, making it the largest health threat in recent times. Billions of people around the world are asked to adhere to strict shelter in place rules, finalised to slow down the spread of the virus. Appeals and messages are being used by leaders and policy makers to promote pandemic response. Given the stakes at play, it is thus important for social scientists to explore which messages are most effective in promoting pandemic response. In fact, some papers in the last month have explored the effect of several messages on people's intentions to engage in pandemic response behaviour. In this paper, we make two contributions. First, we explore the effect of messages on people's actual engagement, and not on intentions. Specifically, our dependent variables are the level of understanding of official COVID 19 pandemic response governmental informative panels, measured through comprehension questions, and the time spent on reading these rules. Second, we test a novel set of appeals built through the theory of norms. One message targets the personal norm (what people think is the right thing to do), one targets the descriptive norm (what people think others are doing), and one targets the injunctive norm (what people think others approve or disapprove of). Our experiment is conducted online with a representative (with respect to gender, age, and location) sample of Italians. Norms are made salient using a flier. We find that norm based fliers had no effect on comprehension and on time spent on the panels. These results suggest that norm based interventions through fliers have very little impact on people's reading and understanding of COVID 19 pandemic response governmental rules.


Level set based eXtended finite element modelling of the response of fibrous networks under hygroscopic swelling. Materials like paper, consisting of a network of natural fibres, exposed to variations in moisture, undergo changes in geometrical and mechanical properties. This behaviour is particularly important for understanding the hygro mechanical response of sheets of paper in applications like digital printing. A two dimensional microstructural model of a fibrous network is therefore developed to upscale the hygro expansion of individual fibres, through their interaction, to the resulting overall expansion of the network. The fibres are modelled with rectangular shapes and are assumed to be perfectly bonded where they overlap. For realistic networks the number of bonds is large and the network is geometrically so complex that discretizing it by conventional, geometry conforming, finite elements is cumbersome. The combination of a level set and XFEM formalism enables the use of regular, structured grids in order to model the complex microstructural geometry. In this approach, the fibres are described implicitly by a level set function. In order to represent the fibre boundaries in the fibrous network, an XFEM discretization is used together with a Heaviside enrichment function. Numerical results demonstrate that the proposed approach successfully captures the hygro expansive properties of the network with fewer degrees of freedom compared to classical FEM, preserving desired accuracy.


Sequential Defaulting in Financial Networks. We consider financial networks, where banks are connected by contracts such as debts or credit default swaps. We study the clearing problem in these systems we want to know which banks end up in a default, and what portion of their liabilities can these defaulting banks fulfill. We analyze these networks in a sequential model where banks announce their default one at a time, and the system evolves in a step by step manner. We first consider the reversible model of these systems, where banks may return from a default. We show that the stabilization time in this model can heavily depend on the ordering of announcements. However, we also show that there are systems where for any choice of ordering, the process lasts for an exponential number of steps before an eventual stabilization. We also show that finding the ordering with the smallest (or largest) number of banks ending up in default is an NP hard problem. Furthermore, we prove that defaulting early can be an advantageous strategy for banks in some cases, and in general, finding the best time for a default announcement is NP hard. Finally, we discuss how changing some properties of this setting affects the stabilization time of the process, and then use these techniques to devise a monotone model of the systems, which ensures that every network stabilizes eventually.


Properties of Normal Harmonic Mappings. In this paper, we present several necessary and sufficient conditions for a harmonic mapping to be normal. Also, we discuss maximum principle and five point theorem for normal harmonic mappings. Furthermore, we investigate the convergence of sequences for sense preserving normal harmonic mappings and show that the asymptotic values and angular limits are identical for normal harmonic mappings.


Rate Memory Trade off for Multi access Coded Caching with Uncoded Placement. We study a multi access variant of the popular coded caching framework, which consists of a central server with a catalog of N files, K caches with limited memory M , and K users such that each user has access to L consecutive caches with a cyclic wrap around and requests one file from the central server's catalog. The server assists in file delivery by transmitting a message of size R over a shared error free link and the goal is to characterize the optimal rate memory trade off. This setup was studied previously by Hachem et al., where an achievable rate and an information theoretic lower bound were derived. However, the multiplicative gap between them was shown to scale linearly with the access degree L and thus order optimality could not be established. A series of recent works have used a natural mapping of the coded caching problem to the well known index coding problem to derive tighter characterizations of the optimal rate memory trade off under the additional assumption that the caches store uncoded content. We follow a similar strategy for the multi access framework and provide new bounds for the optimal rate memory trade off R (M) over all uncoded placement policies. In particular, we derive a new achievable rate for any L ge 1 and a new lower bound, which works for any uncoded placement policy and L ge K 2 . We then establish that the (multiplicative) gap between the new achievable rate and the lower bound is at most 2 independent of all parameters, thus establishing an order optimal characterization of R (M) for any L ge K 2 . This is a significant improvement over the previously known gap result, albeit under the restriction of uncoded placement policies. Finally, we also characterize R (M) exactly for a few special cases.


Iterated Type Partitions. This paper deals with the complexity of some natural graph problems when parametrized by measures that are restrictions of clique width, such as modular width and neighborhood diversity. The main contribution of this paper is to introduce a novel parameter, called iterated type partition, that can be computed in polynomial time and nicely places between modular width and neighborhood diversity. We prove that the Equitable Coloring problem is W 1 hard when parametrized by the iterated type partition. This result extends to modular width, answering an open question about the possibility to have FPT algorithms for Equitable Coloring when parametrized by modular width. Moreover, we show that the Equitable Coloring problem is instead FTP when parameterized by neighborhood diversity. Furthermore, we present simple and fast FPT algorithms parameterized by iterated type partition that provide optimal solutions for several graph problems in particular, this paper presents algorithms for the Dominating Set, the Vertex Coloring and the Vertex Cover problems. While the above problems are already known to be FPT with respect to modular width, the novel algorithms are both simpler and more efficient For the Dominating set and Vertex Cover problems, our algorithms output an optimal set in time O(2 t poly(n)) , while for the Vertex Coloring problem, our algorithm outputs an optimal set in time O(t 2.5t o(t) log n poly(n)) , where n and t are the size and the iterated type partition of the input graph, respectively.


Linking artificial and human neural representations of language. What information from an act of sentence understanding is robustly represented in the human brain? We investigate this question by comparing sentence encoding models on a brain decoding task, where the sentence that an experimental participant has seen must be predicted from the fMRI signal evoked by the sentence. We take a pre trained BERT architecture as a baseline sentence encoding model and fine tune it on a variety of natural language understanding (NLU) tasks, asking which lead to improvements in brain decoding performance. We find that none of the sentence encoding tasks tested yield significant increases in brain decoding performance. Through further task ablations and representational analyses, we find that tasks which produce syntax light representations yield significant improvements in brain decoding performance. Our results constrain the space of NLU models that could best account for human neural representations of language, but also suggest limits on the possibility of decoding fine grained syntactic information from fMRI human neuroimaging.


Comparison of a Head Mounted Display and a Curved Screen in a Multi Talker Audiovisual Listening Task. Objectives Virtual audiovisual technology and its methodology has yet to be established for psychoacoustic research. This study examined the effects of different audiovisual conditions on head yaw and eye gaze direction as well as on preference when listening to multi talker conversations. The study's goal is to explore and assess audiovisual technologies in the context of hearing research. Design The participants listened to audiovisual conversations between four talkers. Two displays were tested and compared a curved screen (CS) and a head mounted display (HMD). Using three visual conditions (audio only, virtual characters and video recordings), three groups of participants were tested seventeen young normal hearing, eleven older normal hearing, and ten older hearing impaired listeners. Results When there were no visual cues, participants tended to look ahead when visual information was available, they looked at the target talker. Participants generally turned their head close towards the target talkers when presented as video than virtual characters. In addition, an effect of display showed that in the most extreme case when the talker was at 45 degrees, they turned closer when wearing the HMD than when viewing the curved screen. Open interviews showed that the CS was preferred over the HMD for older participants and that video recordings were the preferred visual condition. Conclusions Using different audiovisual setups may lead to slightly different movement behavior in terms of head yaw and horizontal gaze. These differences, as well as preference for specific audiovisual technologies, should be taken into account when designing and comparing experiments.


Connected objects in categories of S acts. In this paper, the categorial property of compactness of an object, i. e. commuting of the corresponding Hom functor with coproducts, is studied in categories of S acts and the corresponding structural properties of compact S acts are shown. In order to establish a general context and to unify the approach to both of the most important categories of S acts, the notion of a concrete category with unique decomposition of objects is introduced and studied.


Strongly bounded groups of various cardinalities. Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at least 2 aleph 0 . We produce examples of strongly bounded groups of many cardinalities, including aleph 1 , answering a question of Yves de Cornulier 4 . In fact, any infinite group embeds as a subgroup of a strongly bounded group which is, at most, two cardinalities larger.


Towards Active Robotic Vision in Agriculture A Deep Learning Approach to Visual Servoing in Occluded and Unstructured Protected Cropping Environments. 3D Move To See (3DMTS) is a mutli perspective visual servoing method for unstructured and occluded environments, like that encountered in robotic crop harvesting. This paper presents a deep learning method, Deep 3DMTS for creating a single perspective approach for 3DMTS through the use of a Convolutional Neural Network (CNN). The novel method is developed and validated via simulation against the standard 3DMTS approach. The Deep 3DMTS approach is shown to have performance equivalent to the standard 3DMTS baseline in guiding the end effector of a robotic arm to improve the view of occluded fruit (sweet peppers) end effector final position within 11.4 mm of the baseline and an increase in fruit size in the image by a factor of 17.8 compared to the baseline of 16.8 (avg.).


Determination for minimum symbol pair and RT weights via torsional degrees of repeated root cyclic codes. There are various metrics for researching error correcting codes. Especially, high density data storage system gives the existence of inconsistency for the reading and writing process. The symbol pair metric is motivated for outputs that have overlapping pairs of symbols in a certain channel. The Rosenbloom Tsfasman (RT) metric is introduced since there exists a problem that is related to transmission over several parallel communication channels with some channels not available for the transmission. In this paper, we determine the minimum symbol pair weight and RT weight of repeated root cyclic codes over mathfrak R Bbb F p m u langle u 4 rangle of length n p k . For the determination, we explicitly present third torsional degree for all different types of cyclic codes over mathfrak R of length n .


Give more data, awareness and control to individual citizens, and they will help COVID 19 containment. The rapid dynamics of COVID 19 calls for quick and effective tracking of virus transmission chains and early detection of outbreaks, especially in the phase 2 of the pandemic, when lockdown and other restriction measures are progressively withdrawn, in order to avoid or minimize contagion resurgence. For this purpose, contact tracing apps are being proposed for large scale adoption by many countries. A centralized approach, where data sensed by the app are all sent to a nation wide server, raises concerns about citizens' privacy and needlessly strong digital surveillance, thus alerting us to the need to minimize personal data collection and avoiding location tracking. We advocate the conceptual advantage of a decentralized approach, where both contact and location data are collected exclusively in individual citizens' "personal data stores", to be shared separately and selectively, voluntarily, only when the citizen has tested positive for COVID 19, and with a privacy preserving level of granularity. This approach better protects the personal sphere of citizens and affords multiple benefits it allows for detailed information gathering for infected people in a privacy preserving fashion and, in turn this enables both contact tracing, and, the early detection of outbreak hotspots on more finely granulated geographic scale. Our recommendation is two fold. First to extend existing decentralized architectures with a light touch, in order to manage the collection of location data locally on the device, and allow the user to share spatio temporal aggregates if and when they want, for specific aims with health authorities, for instance. Second, we favour a longer term pursuit of realizing a Personal Data Store vision, giving users the opportunity to contribute to collective good in the measure they want, enhancing self awareness, and cultivating collective efforts for rebuilding society.


An optimal control problem for the Navier Stokes alpha system. In this paper we study a distributed optimal control problem for a three dimensional Navier Stokes alpha model. We prove the solvability of the optimal control problem, and derive first order optimality conditions by using a Lagrange multipliers Theorem. Finally, considering a velocity tracking control problem for the three dimensional Navier Stokes alpha model, we analyze the relation of its optimality system to the corresponding one associated to the Navier Stokes model by proving a convergence theorem, which establishes that, as the length scale alpha goes to zero, the optimality system of the three dimensional Navier Stokes alpha model converges to the optimality system associated with the velocity tracking control problem of the Navier Stokes equations.


Parameter Estimation in the Hermitian and Skew Hermitian Splitting Method Using Gradient Iterations. This paper presents enhancement strategies for the Hermitian and skew Hermitian splitting method based on gradient iterations. The spectral properties are exploited for the parameter estimation, often resulting in a better convergence. In particular, steepest descent with early stopping can generate a rough estimate of the optimal parameter. This is better than an arbitrary choice since the latter often causes stability problems or slow convergence. Additionally, lagged gradient methods are considered as inner solvers for the splitting method. Experiments show that they are competitive with conjugate gradient in low precision.


Burst Photography for Learning to Enhance Extremely Dark Images. Capturing images under extremely low light conditions poses significant challenges for the standard camera pipeline. Images become too dark and too noisy, which makes traditional enhancement techniques almost impossible to apply. Recently, learning based approaches have shown very promising results for this task since they have substantially more expressive capabilities to allow for improved quality. Motivated by these studies, in this paper, we aim to leverage burst photography to boost the performance and obtain much sharper and more accurate RGB images from extremely dark raw images. The backbone of our proposed framework is a novel coarse to fine network architecture that generates high quality outputs progressively. The coarse network predicts a low resolution, denoised raw image, which is then fed to the fine network to recover fine scale details and realistic textures. To further reduce the noise level and improve the color accuracy, we extend this network to a permutation invariant structure so that it takes a burst of low light images as input and merges information from multiple images at the feature level. Our experiments demonstrate that our approach leads to perceptually more pleasing results than the state of the art methods by producing more detailed and considerably higher quality images.


The joint bidiagonalization method for large GSVD computations in finite precision. The joint bidiagonalization (JBD) method has been used to compute some extreme generalized singular values and vectors of a large regular matrix pair A,L , where we propose three approaches to compute approximate generalized singular values and vectors. We make a numerical analysis of the underlying JBD process and establish relationships between it and two mathematically equivalent Lanczos bidiagonalizations in finite precision. Based on the results of numerical analysis, we investigate the convergence of the approximate generalized singular values and vectors of A,L . The results show that, under some mild conditions, the semiorthogonality of Lanczos type vectors suffices to deliver approximate generalized singular values with the same accuracy as the full orthogonality does, meaning that it is only necessary to seek for efficient semiorthogonalization strategies for the JBD process. We also establish a sharp bound for the residual norm of an approximate generalized singular value and corresponding approximate right generalized singular vectors, which can reliably estimate the residual norm without explicitly computing the approximate right generalized singular vectors before the convergence occurs.


IndoLEM and IndoBERT A Benchmark Dataset and Pre trained Language Model for Indonesian NLP. Although the Indonesian language is spoken by almost 200 million people and the 10th most spoken language in the world, it is under represented in NLP research. Previous work on Indonesian has been hampered by a lack of annotated datasets, a sparsity of language resources, and a lack of resource standardization. In this work, we release the IndoLEM dataset comprising seven tasks for the Indonesian language, spanning morpho syntax, semantics, and discourse. We additionally release IndoBERT, a new pre trained language model for Indonesian, and evaluate it over IndoLEM, in addition to benchmarking it against existing resources. Our experiments show that IndoBERT achieves state of the art performance over most of the tasks in IndoLEM.


Detection of true Gaussian shaped pulses at high count rates. A new true Gaussian digital shaper of detector pulses is tested and compared to the standard trapezoidal shaper in terms of output count rate, amplitude resolution and biasing the output shaped pulses. The true Gaussian shaper allows for shaping detector pulses into a symmetrical form which width can be considerably less than their rise time. Standard trapezoidal shapers cannot provide such short pulses. Therefore, the dead time of the true Gaussian shaper can be considerably reduced in regards to that of trapezoidal shaper. The output count rate of the true Gaussian and trapezoidal pulses are compared in a wide range of input count rates. The maximal output count rate of the true Gaussian shaper has been found to exceed in several times the rate of the trapezoidal shapers. The true Gaussian shapers provide better resolution and biasing free measurements of pulse amplitudes at high count rates. The tests have been performed by modeling output signals of silicon drift detector (SDD) VITUS H7 equipped with AXAS D pre amplifier developed by KETEK GmbH for measurements of soft X ray spectra at high count rates.


Assessing the interplay between human mobility and mosquito borne diseases in urban environments. Urbanization drives the epidemiology of infectious diseases to many threats and new challenges. In this research, we study the interplay between human mobility and dengue outbreaks in the complex urban environment of the city state of Singapore. We integrate both stylized and mobile phone data driven mobility patterns in an agent based transmission model in which humans and mosquitoes are represented as agents that go through the epidemic states of dengue. We monitor with numerical simulations the system level response to the epidemic by comparing our results with the observed cases reported during the 2013 and 2014 outbreaks. Our results show that human mobility is a major factor in the spread of vector borne diseases such as dengue even on the short scale corresponding to intra city distances. We finally discuss the advantages and the limits of mobile phone data and potential alternatives for assessing valuable mobility patterns for modeling vector borne diseases outbreaks in cities.


Contraction Analysis on Primal Dual Gradient Optimization. This paper analyzes the contraction of the primal dual gradient optimization via contraction theory in the context of discrete time updating dynamics. The contraction theory based on Riemannian manifolds is first established for convergence analysis of a convex optimization algorithm. The equality and inequality constrained optimization cases are studied, respectively. Under some reasonable assumptions, we construct the Riemannian metric to characterize a contraction region. It is shown that if the step sizes of the updating dynamics are properly designed, the convergence rates for both cases can be obtained according to the contraction region in which the convergence can be guaranteed. Moreover, the augmented Lagrangian function which is projection free is adopted to tackle the inequality constraints. Some numerical experiments are simulated to demonstrate the effectiveness of the presented contraction analysis results on primal dual gradient optimization algorithm.


HAL Improved Text Image Matching by Mitigating Visual Semantic Hubs. The hubness problem widely exists in high dimensional embedding space and is a fundamental source of error for cross modal matching tasks. In this work, we study the emergence of hubs in Visual Semantic Embeddings (VSE) with application to text image matching. We analyze the pros and cons of two widely adopted optimization objectives for training VSE and propose a novel hubness aware loss function (HAL) that addresses previous methods' defects. Unlike (Faghri et al.2018) which simply takes the hardest sample within a mini batch, HAL takes all samples into account, using both local and global statistics to scale up the weights of "hubs". We experiment our method with various configurations of model architectures and datasets. The method exhibits exceptionally good robustness and brings consistent improvement on the task of text image matching across all settings. Specifically, under the same model architectures as (Faghri et al. 2018) and (Lee at al. 2018), by switching only the learning objective, we report a maximum R 1improvement of 7.4 on MS COCO and 8.3 on Flickr30k.


From Proximal Point Method to Nesterov's Acceleration. The proximal point method (PPM) is a fundamental method in optimization that is often used as a building block for fast optimization algorithms. In this work, building on a recent work by Defazio (2019), we provide a complete understanding of Nesterov's accelerated gradient method (AGM) by establishing quantitative and analytical connections between PPM and AGM. The main observation in this paper is that AGM is in fact equal to a simple approximation of PPM, which results in an elementary derivation of the mysterious updates of AGM as well as its step sizes. This connection also leads to a conceptually simple analysis of AGM based on the standard analysis of PPM. This view naturally extends to the strongly convex case and also motivates other accelerated methods for practically relevant settings.


An Improved Analysis of Stochastic Gradient Descent with Momentum. SGD with momentum (SGDM) has been widely applied in many machine learning tasks, and it is often applied with dynamic stepsizes and momentum weights tuned in a stagewise manner. Despite of its empirical advantage over SGD, the role of momentum is still unclear in general since previous analyses on SGDM either provide worse convergence bounds than those of SGD, or assume Lipschitz or quadratic objectives, which fail to hold in practice. Furthermore, the role of dynamic parameters has not been addressed. In this work, we show that SGDM converges as fast as SGD for smooth objectives under both strongly convex and nonconvex settings. We also establish textit the first convergence guarantee for the multistage setting, and show that the multistage strategy is beneficial for SGDM compared to using fixed parameters. Finally, we verify these theoretical claims by numerical experiments.


Generalised Barred Preferential Arrangements. A barred preferential arrangement is a preferential arrangement onto which a number of identical bars are inserted in between the blocks of the preferential arrangement. In this study we examine combinatorial properties of barred preferential arrangements whose elements are colored with a number of available colors.


Non elitist Evolutionary Multi objective Optimizers Revisited. Since around 2000, it has been considered that elitist evolutionary multi objective optimization algorithms (EMOAs) always outperform non elitist EMOAs. This paper revisits the performance of non elitist EMOAs for bi objective continuous optimization when using an unbounded external archive. This paper examines the performance of EMOAs with two elitist and one non elitist environmental selections. The performance of EMOAs is evaluated on the bi objective BBOB problem suite provided by the COCO platform. In contrast to conventional wisdom, results show that non elitist EMOAs with particular crossover methods perform significantly well on the bi objective BBOB problems with many decision variables when using the unbounded external archive. This paper also analyzes the properties of the non elitist selection.


QED calculations of the nuclear recoil effect on the bound electron g factor. Fully relativistic approach is applied to evaluation of the nuclear recoil effect on the bound electron g factor in hydrogenlike ions to first order in the electron to nucleus mass ratio m M and to all orders in alpha Z . The calculations are performed in the range 1 leqslant Z leqslant 20 for the g factors of 1s , 2s , 2p 1 2 , and 2p 3 2 states. The alpha Z dependence of the nontrivial QED recoil contribution as a function of Z is studied.


Spectra, rigidity and stability of sine cones. We compute the spectra of the Laplace Beltrami operator, the connection Laplacian on 1 forms and the Einstein operator on symmetric 2 tensors on the sine cone over a positive Einstein manifold (M, g) . We conclude under which conditions on (M,g) , the sine cone is dynamically stable under the singular Ricci de Turck flow and rigid as a singular Einstein manifold


STAMINA STochastic Approximate Model checker for INfinite state Analysis. Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is limited as probabilistic models of real world applications typically have very large or infinite state space. This paper presents a new infinite state CTMC model checker, STAMINA, with improved scalability. It uses a novel state space approximation method to reduce large and possibly infinite state CTMC models to finite state representations that are amenable to existing stochastic model checkers. It is integrated with a new property guided state expansion approach that improves the analysis accuracy. Demonstration of the tool on several benchmark examples shows promising results in terms of analysis efficiency and accuracy compared with a state of the art CTMC model checker that deploys a similar approximation method.


DEXA Supporting Non Expert Annotators with Dynamic Examples from Experts. The success of crowdsourcing based annotation of text corpora depends on ensuring that crowdworkers are sufficiently well trained to perform the annotation task accurately. To that end, a frequent approach to train annotators is to provide instructions and a few example cases that demonstrate how the task should be performed (referred to as the CONTROL approach). These globally defined "task level examples", however, (i) often only cover the common cases that are encountered during an annotation task and (ii) require effort from crowdworkers during the annotation process to find the most relevant example for the currently annotated sample. To overcome these limitations, we propose to support workers in addition to task level examples, also with "task instance level" examples that are semantically similar to the currently annotated data sample (referred to as Dynamic Examples for Annotation, DEXA). Such dynamic examples can be retrieved from collections previously labeled by experts, which are usually available as gold standard dataset. We evaluate DEXA on a complex task of annotating participants, interventions, and outcomes (known as PIO) in sentences of medical studies. The dynamic examples are retrieved using BioSent2Vec, an unsupervised semantic sentence similarity method specific to the biomedical domain. Results show that (i) workers of the DEXA approach reach on average much higher agreements (Cohen's Kappa) to experts than workers of the the CONTROL approach (avg. of 0.68 to experts in DEXA vs. 0.40 in CONTROL) (ii) already three per majority voting aggregated annotations of the DEXA approach reach substantial agreements to experts of 0.78 0.75 0.69 for P I O (in CONTROL 0.73 0.58 0.46). Finally, (iii) we acquire explicit feedback from workers and show that in the majority of cases (avg. 72 ) workers find the dynamic examples useful.


Predicting Landslides Using Locally Aligned Convolutional Neural Networks. Landslides, movement of soil and rock under the influence of gravity, are common phenomena that cause significant human and economic losses every year. Experts use heterogeneous features such as slope, elevation, land cover, lithology, rock age, and rock family to predict landslides. To work with such features, we adapted convolutional neural networks to consider relative spatial information for the prediction task. Traditional filters in these networks either have a fixed orientation or are rotationally invariant. Intuitively, the filters should orient uphill, but there is not enough data to learn the concept of uphill instead, it can be provided as prior knowledge. We propose a model called Locally Aligned Convolutional Neural Network, LACNN, that follows the ground surface at multiple scales to predict possible landslide occurrence for a single point. To validate our method, we created a standardized dataset of georeferenced images consisting of the heterogeneous features as inputs, and compared our method to several baselines, including linear regression, a neural network, and a convolutional network, using log likelihood error and Receiver Operating Characteristic curves on the test set. Our model achieves 2 7 improvement in terms of accuracy and 2 15 boost in terms of log likelihood compared to the other proposed baselines.


India nudges to contain COVID 19 pandemic a reactive public policy analysis using machine learning based topic modelling. India locked down 1.3 billion people on March 25, 2020 in the wake of COVID 19 pandemic. The economic cost of it was estimated at USD 98 billion, while the social costs are still unknown. This study investigated how government formed reactive policies to fight coronavirus across its policy sectors. Primary data was collected from the Press Information Bureau (PIB) in the form press releases of government plans, policies, programme initiatives and achievements. A text corpus of 260,852 words was created from 396 documents from the PIB. An unsupervised machine based topic modelling using Latent Dirichlet Allocation (LDA) algorithm was performed on the text corpus. It was done to extract high probability topics in the policy sectors. The interpretation of the extracted topics was made through a nudge theoretic lens to derive the critical policy heuristics of the government. Results showed that most interventions were targeted to generate endogenous nudge by using external triggers. Notably, the nudges from the Prime Minister of India was critical in creating herd effect on lockdown and social distancing norms across the nation. A similar effect was also observed around the public health (e.g., masks in public spaces Yoga and Ayurveda for immunity), transport (e.g., old trains converted to isolation wards), micro, small and medium enterprises (e.g., rapid production of PPE and masks), science and technology sector (e.g., diagnostic kits, robots and nano technology), home affairs (e.g., surveillance and lockdown), urban (e.g. drones, GIS tools) and education (e.g., online learning). A conclusion was drawn on leveraging these heuristics are crucial for lockdown easement planning.


Real World Airline Crew Pairing Optimization Customized Genetic Algorithm versus Column Generation Method. Airline crew cost is the second largest operating cost component and its marginal improvement may translate to millions of dollars annually. Further, it's highly constrained combinatorial nature brings in high impact research and commercial value. The airline crew pairing optimization problem (CPOP) is aimed at generating a set of crew pairings, covering all flights from its timetable, with minimum cost, while satisfying multiple legality constraints laid by federations, etc. Depending upon CPOP's scale, several Genetic Algorithm and Column Generation based approaches have been proposed in the literature. However, these approaches have been validated either on small scale flight datasets (a handful of pairings) or for smaller airlines (operating in low demand regions) such as Turkish Airlines, etc. Their search efficiency gets impaired drastically when scaled to the networks of bigger airlines. The contributions of this paper relate to the proposition of a customized genetic algorithm, with improved initialization and genetic operators, developed by exploiting the domain knowledge and its comparison with a column generation based large scale optimizer (developed by authors). To demonstrate the utility of the above cited contributions, a real world test case (839 flights), provided by GE Aviation, is used which has been extracted from the networks of larger airlines (operating up to 33000 monthly flights in the US).


The dot W 1,p Neumann problem for higher order elliptic equations. We solve the Neumann problem in the half space mathbb R n 1 , for higher order elliptic differential equations with variable self adjoint t independent coefficients, and with boundary data in the negative smoothness space dot W 1,p , where max(0, frac 1 2 frac 1 n varepsilon) frac 1 p frac 1 2 . Our arguments are inspired by an argument of Shen and build on known well posedness results in the case p 2 . We use the same techniques to establish nontangential and square function estimates on layer potentials with inputs in L p or dot W pm1,p for a similar range of p , based on known bounds for p near 2 in this case we may relax the requirement of self adjointess.


Iterated Monodromy Groups of Exponential Maps. This paper introduces iterated monodromy groups for transcendental functions and discusses them in the simplest setting, for post singularly finite exponential functions. These groups are self similar groups in a natural way, based on an explicit construction in terms of kneading sequences. We investigate the group theoretic properties of these groups, and show in particular that they are amenable, but they are not elementary subexponentially amenable.


MMM Exploring Conditional Multi Track Music Generation with the Transformer. We propose the Multi Track Music Machine (MMM), a generative system based on the Transformer architecture that is capable of generating multi track music. In contrast to previous work, which represents musical material as a single time ordered sequence, where the musical events corresponding to different tracks are interleaved, we create a time ordered sequence of musical events for each track and concatenate several tracks into a single sequence. This takes advantage of the Transformer's attention mechanism, which can adeptly handle long term dependencies. We explore how various representations can offer the user a high degree of control at generation time, providing an interactive demo that accommodates track level and bar level inpainting, and offers control over track instrumentation and note density.


Homotopy invariance of convolution products. The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of simplicial sets indexed by the category of finite sets and injections and for tame M simplicial sets, with M the monoid of injective self maps of the positive natural numbers. We also show that a certain convolution product studied by Nikolaus and the first author is fully homotopical. This implies that every presentably symmetric monoidal infty category can be represented by a symmetric monoidal model category with a fully homotopical monoidal product.


Performance Prediction for Convolutional Neural Networks in Edge Devices. Running Convolutional Neural Network (CNN) based applications on edge devices near the source of data can meet the latency and privacy challenges. However due to their reduced computing resources and their energy constraints, these edge devices can hardly satisfy CNN needs in processing and data storage. For these platforms, choosing the CNN with the best trade off between accuracy and execution time while respecting Hardware constraints is crucial. In this paper, we present and compare five (5) of the widely used Machine Learning based methods for execution time prediction of CNNs on two (2) edge GPU platforms. For these 5 methods, we also explore the time needed for their training and tuning their corresponding hyperparameters. Finally, we compare times to run the prediction models on different platforms. The utilization of these methods will highly facilitate design space exploration by providing quickly the best CNN on a target edge GPU. Experimental results show that eXtreme Gradient Boosting (XGBoost) provides a less than 14.73 average prediction error even for unexplored and unseen CNN models' architectures. Random Forest (RF) depicts comparable accuracy but needs more effort and time to be trained. The other 3 approaches (OLS, MLP and SVR) are less accurate for CNN performances estimation.


Topological invariants of some chemical reaction networks. Certain toric dynamical systems studied in physical chemistry have associated toric varieties which, when smooth, represent elements in the homotopy groups M xi B T of a symplectic variant of the A infty Baker Richter spectrum M xi . The noncommutative Hopf algebroid (M xi ,M xi M xi) has interesting connections to the group of formal diffeomorphism of the noncommutative line, conjecturally defining a noncommutative analog Helmholtz free energy for systems of complex symplectic (completely integrable) Hamiltonian toric manifolds


The neighbourhood of a singular leaf. An important result for regular foliations is their formal semi local triviality near simply connected leaves. We extend this result to singular foliations for all 2 connected leaves and a wide class of 1 connected leaves by proving a semi local Levi Malcev theorem for the semi simple part of their holonomy Lie algebroid.


Distinguishing Cell Phenotype Using Cell Epigenotype. The relationship between microscopic observations and macroscopic behavior is a fundamental open question in biophysical systems. Here, we develop a unified approach that in contrast with existing methods predicts cell type from macromolecular data even when accounting for the scale of human tissue diversity and limitations in the available data. We achieve these benefits by applying a k nearest neighbors algorithm after projecting our data onto the eigenvectors of the correlation matrix inferred from many observations of gene expression or chromatin conformation. Our approach identifies variations in epigenotype that impact cell type, thereby supporting the cell type attractor hypothesis and representing the first step toward model independent control strategies in biological systems.


A heuristic study of prime number distribution. This work consists of a heuristic study on the distribution of prime numbers in short intervals. We have modelled the occurrence of prime numbers such intervals as a counting experiment. As a result, we have provided an experimental validation and an extension of the Montgomery and Soundararajan conjecture. This is a reduced version of my bachelor s thesis presented at the University of Valencia.


TTDM A Travel Time Difference Model for Next Location Prediction. Next location prediction is of great importance for many location based applications and provides essential intelligence to business and governments. In existing studies, a common approach to next location prediction is to learn the sequential transitions with massive historical trajectories based on conditional probability. Unfortunately, due to the time and space complexity, these methods (e.g., Markov models) only use the just passed locations to predict next locations, without considering all the passed locations in the trajectory. In this paper, we seek to enhance the prediction performance by considering the travel time from all the passed locations in the query trajectory to a candidate next location. In particular, we propose a novel method, called Travel Time Difference Model (TTDM), which exploits the difference between the shortest travel time and the actual travel time to predict next locations. Further, we integrate the TTDM with a Markov model via a linear interpolation to yield a joint model, which computes the probability of reaching each possible next location and returns the top rankings as results. We have conducted extensive experiments on two real datasets the vehicle passage record (VPR) data and the taxi trajectory data. The experimental results demonstrate significant improvements in prediction accuracy over existing solutions. For example, compared with the Markov model, the top 1 accuracy improves by 40 on the VPR data and by 15.6 on the Taxi data.


A counterexample to Batson's conjecture. We show that the torus knot T 4,9 bounds a smooth M "obius band in the 4 ball, giving a counterexample to Batson's non orientable analogue of Milnor's conjecture on the smooth slice genera of torus knots.


Global behaviors of defocusing semilinear wave equations. In this paper, we investigate the global behaviors of solutions to defocusing semilinear wave equations in mathbb R 1 d with d geq 3 . We prove that in the energy space the solution verifies the integrated local energy decay estimates for the full range of energy subcritical and critical power. For the case when p 1 frac 2 d 1 , we derive a uniform weighted energy bound for the solution as well as inverse polynomial decay of the energy flux through hypersurfaces away from the light cone. As a consequence, the solution scatters in the energy space and in the critical Sobolev space for p with an improved lower bound. This in particular extends the existing scattering results to higher dimensions without spherical symmetry.


Decision Support in the Context of a Complex Decision Situation. The aim of a clinical decision support tool is to reduce the complexity of clinical decisions. However, when decision support tools are poorly implemented they may actually confuse physicians and complicate clinical care. This paper argues that information from decision support tools is often removed from the clinical context of the targeted decisions. Physicians largely depend on clinical context to handle the complexity of their day to day decisions. Clinical context enables them to take into account all ambiguous information and patient preferences. Decision support tools that provide analytic information to physicians, without its context, may then complicate the decision process of physicians. It is likely that the joint forces of physicians and technology will produce better decisions than either of them exclusively after all, they do have different ways of dealing with the complexity of a decision and are thus complementary. Therefore, the future challenges of decision support do not only reside in the optimization of the predictive value of the underlying models and algorithms, but equally in the effective communication of information and its context to doctors.


Unconstrained Biometric Recognition Summary of Recent SOCIA Lab. Research. The development of biometric recognition solutions able to work in visual surveillance conditions, i.e., in unconstrained data acquisition conditions and under covert protocols has been motivating growing efforts from the research community. Among the various laboratories, schools and research institutes concerned about this problem, the SOCIA Soft Computing and Image Analysis Lab., of the University of Beira Interior, Portugal, has been among the most active in pursuing disruptive solutions for obtaining such extremely ambitious kind of automata. This report summarises the research works published by elements of the SOCIA Lab. in the last decade in the scope of biometric recognition in unconstrained conditions. The idea is that it can be used as basis for someone wishing to entering in this research topic.


DetectFusion Detecting and Segmenting Both Known and Unknown Dynamic Objects in Real time SLAM. We present DetectFusion, an RGB D SLAM system that runs in real time and can robustly handle semantically known and unknown objects that can move dynamically in the scene. Our system detects, segments and assigns semantic class labels to known objects in the scene, while tracking and reconstructing them even when they move independently in front of the monocular camera. In contrast to related work, we achieve real time computational performance on semantic instance segmentation with a novel method combining 2D object detection and 3D geometric segmentation. In addition, we propose a method for detecting and segmenting the motion of semantically unknown objects, thus further improving the accuracy of camera tracking and map reconstruction. We show that our method performs on par or better than previous work in terms of localization and object reconstruction accuracy, while achieving about 20 FPS even if the objects are segmented in each frame.