Discovering High Utility Episodes in Sequences. Sequence data, e.g., complex event sequence, is more commonly seen than other types of data (e.g., transaction data) in real world applications. For the mining task from sequence data, several problems have been formulated, such as sequential pattern mining, episode mining, and sequential rule mining. As one of the fundamental problems, episode mining has often been studied. The common wisdom is that discovering frequent episodes is not useful enough. In this paper, we propose an efficient utility mining approach namely UMEpi Utility Mining of high utility Episodes from complex event sequence. We propose the concept of remaining utility of episode, and achieve a tighter upper bound, namely episode weighted utilization (EWU), which will provide better pruning. Thus, the optimized EWU based pruning strategies can achieve better improvements in mining efficiency. The search space of UMEpi w.r.t. a prefix based lexicographic sequence tree is spanned and determined recursively for mining high utility episodes, by prefix spanning in a depth first way. Finally, extensive experiments on four real life datasets demonstrate that UMEpi can discover the complete high utility episodes from complex event sequence, while the state of the art algorithms fail to return the correct results. Furthermore, the improved variants of UMEpi significantly outperform the baseline in terms of execution time, memory consumption, and scalability.


A new algorithm for the K DMDGP subclass of Distance Geometry Problems. The fundamental inverse problem in distance geometry is the one of finding positions from inter point distances. The Discretizable Molecular Distance Geometry Problem (DMDGP) is a subclass of the Distance Geometry Problem (DGP) whose search space can be discretized and represented by a binary tree, which can be explored by a Branch and Prune (BP) algorithm. It turns out that this combinatorial search space possesses many interesting symmetry properties that were studied in the last decade. In this paper, we present a new algorithm for this subclass of the DGP, which exploits DMDGP symmetries more effectively than its predecessors. Computational results show that the speedup, with respect to the classic BP algorithm, is considerable for sparse DMDGP instances related to protein conformation.


Improved Sentiment Detection via Label Transfer from Monolingual to Synthetic Code Switched Text. Multilingual writers and speakers often alternate between two languages in a single discourse, a practice called "code switching". Existing sentiment detection methods are usually trained on sentiment labeled monolingual text. Manually labeled code switched text, especially involving minority languages, is extremely rare. Consequently, the best monolingual methods perform relatively poorly on code switched text. We present an effective technique for synthesizing labeled code switched text from labeled monolingual text, which is more readily available. The idea is to replace carefully selected subtrees of constituency parses of sentences in the resource rich language with suitable token spans selected from automatic translations to the resource poor language. By augmenting scarce human labeled code switched text with plentiful synthetic code switched text, we achieve significant improvements in sentiment labeling accuracy (1.5 , 5.11 , 7.20 ) for three different language pairs (English Hindi, English Spanish and English Bengali). We also get significant gains for hate speech detection 4 improvement using only synthetic text and 6 if augmented with real text.


Artificial Stupidity. Public debate about AI is dominated by Frankenstein Syndrome, the fear that AI will become superhuman and escape human control. Although superintelligence is certainly a possibility, the interest it excites can distract the public from a more imminent concern the rise of Artificial Stupidity (AS). This article discusses the roots of Frankenstein Syndrome in Mary Shelley's famous novel of 1818. It then provides a philosophical framework for analysing the stupidity of artificial agents, demonstrating that modern intelligent systems can be seen to suffer from 'stupidity of judgement'. Finally it identifies an alternative literary tradition that exposes the perils and benefits of AS. In the writings of Edmund Spenser, Jonathan Swift and E.T.A. Hoffmann, ASs replace, oppress or seduce their human users. More optimistically, Joseph Furphy and Laurence Sterne imagine ASs that can serve human intellect as maps or as pipes. These writers provide a strong counternarrative to the myths that currently drive the AI debate. They identify ways in which even stupid artificial agents can evade human control, for instance by appealing to stereotypes or distancing us from reality. And they underscore the continuing importance of the literary imagination in an increasingly automated society.


Moduli of Distributions via Singular Schemes. Let X be a smooth projective variety. We show that the map that sends a codimension one distribution on X to its singular scheme is a morphism from the moduli space of distributions into a Hilbert scheme. We describe its fibers and, when X mathbb P n , compute them via syzygies. As an application, we describe the moduli spaces of degree 1 distributions on mathbb P 3 . We also give the minimal graded free resolution for the ideal of the singular scheme of a generic distribution on mathbb P 3 .


On the relation of truncation and approximation errors for the set of solutions obtained by different numerical methods. The truncation and approximation errors for the set of numerical solutions computed by methods based on the algorithms of different structure are calculated and analyzed for the case of the two dimensional steady inviscid compressible flow. The truncation errors are calculated using a special postprocessor, while the approximation errors are obtained by the comparison of the numerical solution and the analytic one. The extent of the independence of errors for the numerical solutions may be estimated via the Pearson correlation coefficient that may be geometrically expressed by the angle between errors. Due to this reason, the angles between the approximation errors are computed and related with the corresponding angles between the truncation errors. The angles between the approximation errors are found to be far from zero that enables a posteriori estimation of the error norm. The analysis of the distances between these solutions provides another approach to the estimation of the error. The comparison of the error norms, obtained by these two procedures, is provided that demonstrates the acceptable values of their effectivity indices. The results of the approximation error norm estimation for the supersonic flows, containing shock waves, are presented. The measure concentration phenomenon and the algorithmic randomness give some insights into these results.


The p Laplacian equation in a rough thin domain with terms concentrating on the boundary. In this work we use reiterated homogenization and unfolding operator approach to study the asymptotic behavior of the solutions of the p Laplacian equation with Neumann boundary conditions set in a rough thin domain with concentrated terms on the boundary. We study weak, resonant and high roughness, respectively. In the three cases, we deduce the effective equation capturing the dependence on the geometry of the thin channel and the neighborhood where the concentrations take place.


Optimal Scheduling Policy for Minimizing Age of Information with a Relay. We consider IoT sensor network where multiple sensors are connected to corresponding destination nodes via a relay. Thus, the relay schedules sensors to sample and destination nodes to update. The relay can select multiple sensors and destination nodes in each time. In order to minimize average weighted sum AoI, joint optimization of sampling and updating policy of the relay is investigated. For errorless and symmetric case where weights are equally given, necessary and sufficient conditions for optimality is found. Using this result, we obtain that the minimum average sum AoI in a closed form expression which can be interpreted as fundamental limit of sum AoI in a single relay network. Also, for error prone and symmetric case, we have proved that greedy policy achieves the minimum average sum AoI at the destination nodes. For general case, we have proposed scheduling policy obtained via reinforcement learning.


Ensemble Kalman Filter with perturbed observations in weather forecasting and data assimilation. Data assimilation provides algorithms for widespread applications in various fields. It is of practical use to deal with a large amount of information in the complex system that is hard to estimate. Weather forecasting is one of the applications, where the prediction of meteorological data are corrected given the observations. Numerous approaches are contained in data assimilation. One specific sequential method is the Kalman Filter. The core is to estimate unknown information with the new data that is measured and the prior data that is predicted. As a matter of fact, there are different improved methods in the Kalman Filter. In this project, the Ensemble Kalman Filter with perturbed observations is considered. It is achieved by Monte Carlo simulation. In this method, the ensemble is involved in the calculation instead of the state vectors. In addition, the measurement with perturbation is viewed as the suitable observation. These changes compared with the Linear Kalman Filter make it more advantageous in that applications are not restricted in linear systems any more and less time is taken when the data are calculated by computers. The thesis seeks to develop the Ensemble Kalman Filter with perturbed observation gradually. With the Mathematical preliminaries including the introduction of dynamical systems, the Linear Kalman Filter is built. Meanwhile, the prediction and analysis processes are derived. After that, we use the analogy thoughts to lead in the non linear Ensemble Kalman Filter with perturbed observations. Lastly, a classic Lorenz 63 model is illustrated by MATLAB. In the example, we experiment on the number of ensemble members and seek to investigate the relationships between the error of variance and the number of ensemble members. We reach the conclusion that on a limited scale the larger number of ensemble members indicates the smaller error of prediction.


Interpolation of Beilinson Kato elements and p adic L functions. Our objective in this series of two articles, of which the present article is the first, is to give a Perrin Riou style construction of p adic L functions (of Bella "iche and Stevens) over the eigencurve. As the first ingredient, we interpolate the Beilinson Kato elements over the eigencurve (including the neighborhoods of theta critical points). Along the way, we prove 'etale variants of Bella "iche's results describing the local properties of the eigencurve. We also develop the local framework to construct and establish the interpolative properties of these p adic L functions away from theta critical points.


Isoperimetry, Stability, and Irredundance in Direct Products. The direct product of graphs G 1, ldots,G n is the graph with vertex set V(G 1) times cdots times V(G n) in which two vertices (g 1, ldots,g n) and (g 1', ldots,g n') are adjacent if and only if g i is adjacent to g i' in G i for all i . Building off of the recent work of Brakensiek, we prove an optimal vertex isoperimetric inequality for direct products of complete multipartite graphs. Applying this inequality, we derive a stability result for independent sets in direct products of balanced complete multipartite graphs, showing that every large independent set must be close to the maximal independent set determined by setting one of the coordinates to be constant. Armed with these isoperimetry and stability results, we prove that the upper irredundance number of a direct product of balanced complete multipartite graphs is equal to its independence number in all but at most 37 cases. This proves most of a conjecture of Burcroff that arose as a strengthening of a conjecture of the second author and Iyer. We also propose a further strengthening of Burcroff's conjecture.


Homotopical Cancellation Theory for Gutierrez Sotomayor Singular Flows. In this article, we present a dynamical homotopical cancellation theory for Gutierrez Sotomayor singular flows varphi , GS flows, on singular surfaces M . This theory generalizes the classical theory of Morse complexes of smooth dynamical systems together with the corresponding cancellation theory for non degenerate singularities. This is accomplished by defining a GS chain complex for (M, varphi) and computing its spectral sequence (E r,d r) . As r increases, algebraic cancellations occur, causing modules in E r to become trivial. The main theorems herein relate these algebraic cancellations within the spectral sequence to a family M r, varphi r of GS flows varphi r on singular surfaces M r , all of which have the same homotopy type as M . The surprising element in these results is that the dynamical homotopical cancellation of GS singularities of the flows varphi r are in consonance with the algebraic cancellation of the modules in E r of its associated spectral sequence. Also, the convergence of the spectral sequence corresponds to a GS flow varphi bar r on M bar r , for some bar r , with the property that varphi bar r admits no further dynamical homotopical cancellation of GS singularities.


Multiagent Evaluation under Incomplete Information. This paper investigates the evaluation of learned multiagent strategies in the incomplete information setting, which plays a critical role in ranking and training of agents. Traditionally, researchers have relied on Elo ratings for this purpose, with recent works also using methods based on Nash equilibria. Unfortunately, Elo is unable to handle intransitive agent interactions, and other techniques are restricted to zero sum, two player settings or are limited by the fact that the Nash equilibrium is intractable to compute. Recently, a ranking method called alpha Rank, relying on a new graph based game theoretic solution concept, was shown to tractably apply to general games. However, evaluations based on Elo or alpha Rank typically assume noise free game outcomes, despite the data often being collected from noisy simulations, making this assumption unrealistic in practice. This paper investigates multiagent evaluation in the incomplete information regime, involving general sum many player games with noisy outcomes. We derive sample complexity guarantees required to confidently rank agents in this setting. We propose adaptive algorithms for accurate ranking, provide correctness and sample complexity guarantees, then introduce a means of connecting uncertainties in noisy match outcomes to uncertainties in rankings. We evaluate the performance of these approaches in several domains, including Bernoulli games, a soccer meta game, and Kuhn poker.


Continuity of Lyapunov exponents for non uniformly fiber bunched cocycles. We provide conditions which imply the continuity of the Lyapunov exponents for non uniformly fiber bunched cocycles in SL(2, mathbb R ) . The main theorem is an extension of the result of Backes, Brown and Butler and gives a partial answer to a conjecture of Marcelo Viana.


Understanding The Top 10 OWASP Vulnerabilities. Understanding the common vulnerabilities in web applications help businesses be better prepared in protecting their data against such attacks. With the knowledge gained from research users and developers can be better equipped to deal with the most common attacks and form solutions to prevent future attacks against their web applications. Vulnerabilities exist in many forms within modern web applications which can be easily mitigated with investment of time and research.


Cartesian Tree Matching and Indexing. We introduce a new metric of match, called Cartesian tree matching, which means that two strings match if they have the same Cartesian trees. Based on Cartesian tree matching, we define single pattern matching for a text of length n and a pattern of length m, and multiple pattern matching for a text of length n and k patterns of total length m. We present an O(n m) time algorithm for single pattern matching, and an O((n m) log k) deterministic time or O(n m) randomized time algorithm for multiple pattern matching. We also define an index data structure called Cartesian suffix tree, and present an O(n) randomized time algorithm to build the Cartesian suffix tree. Our efficient algorithms for Cartesian tree matching use a representation of the Cartesian tree, called the parent distance representation.


The Holonomy Groupoids of Singularly Foliated Bundles. We define a notion of connection in a fibre bundle that is compatible with a singular foliation of the base. Fibre bundles equipped with such connections are in plentiful supply, arising naturally for any Lie groupoid equivariant bundle, and simultaneously generalising regularly foliated bundles in the sense of Kamber Tondeur and singular foliations. We define hierarchies of diffeological holonomy groupoids associated to such bundles, which arise from the parallel transport of jet germinal conservation laws. We show that the groupoids associated in this manner to trivial singularly foliated bundles are quotients of Androulidakis Skandalis holonomy groupoids, which coincide with Androulidakis Skandalis holonomy groupoids in the regular case. Finally we prove functoriality of all our constructions under appropriate morphisms.


A New Dataset and Proposed Convolutional Neural Network Architecture for Classification of American Sign Language Digits. According to interviews with people who work with speech impaired persons, speech impaired people have difficulties in communicating with other people around them who do not know the sign language, and this situation may cause them to isolate themselves from society and lose their sense of independence. With this paper, to increase the quality of life of individuals with facilitating communication between individuals who use sign language and who do not know this language, a new American Sign Language (ASL) digits dataset that can help to create machine learning algorithms which need to large and varied data to be successful created and published as Sign Language Digits Dataset on Kaggle Datasets web page, a proposal Convolutional Neural Network (CNN) architecture that can get 98 test accuracy on our dataset presented, and compared with the existing popular CNN models.


MIMC VINS A Versatile and Resilient Multi IMU Multi Camera Visual Inertial Navigation System. As cameras and inertial sensors are becoming ubiquitous in mobile devices and robots, it holds great potential to design visual inertial navigation systems (VINS) for efficient versatile 3D motion tracking which utilize any (multiple) available cameras and inertial measurement units (IMUs) and are resilient to sensor failures or measurement depletion. To this end, rather than the standard VINS paradigm using a minimal sensing suite of a single camera and IMU, in this paper we design a real time consistent multi IMU multi camera (MIMC) VINS estimator that is able to seamlessly fuse multi modal information from an arbitrary number of uncalibrated cameras and IMUs. Within an efficient multi state constraint Kalman filter (MSCKF) framework, the proposed MIMC VINS algorithm optimally fuses asynchronous measurements from all sensors, while providing smooth, uninterrupted, and accurate 3D motion tracking even if some sensors fail. The key idea of the proposed MIMC VINS is to perform high order on manifold state interpolation to efficiently process all available visual measurements without increasing the computational burden due to estimating additional sensors' poses at asynchronous imaging times. In order to fuse the information from multiple IMUs, we propagate a joint system consisting of all IMU states while enforcing rigid body constraints between the IMUs during the filter update stage. Lastly, we estimate online both spatiotemporal extrinsic and visual intrinsic parameters to make our system robust to errors in prior sensor calibration. The proposed system is extensively validated in both Monte Carlo simulations and real world experiments.


Improving proximity bounds using sparsity. We refer to the distance between optimal solutions of integer programs and their linear relaxations as proximity. In 2018, Eisenbrand and Weismantel proved that proximity is independent of the dimension for programs in standard form. We improve their bounds using existing and novel results on the sparsity of integer solutions. We first bound proximity in terms of the largest absolute value of any full dimensional minor in the constraint matrix, and this bound is tight up to a polynomial factor in the number of constraints. We also give an improved bound in terms of the largest absolute entry in the constraint matrix, after efficiently transforming the program into an equivalent one. Our results are stated in terms of general sparsity bounds, so any new results on sparse solutions immediately improves our work. Generalizations to mixed integer programs are also discussed.


Resource Management Techniques for Cloud Based IoT Environment. Internet of Things (IoT) is an Internet based environment of connected devices and applications. IoT creates an environment where physical devices and sensors are flawlessly combined into information nodes to deliver innovative and smart services for human being to make their life easier and more efficient. The main objective of the IoT devices network is to generate data, which are converted into useful information by the data analysis process, it also provides useful resources to the end users. IoT resource management is a key challenge to ensure the quality of end user experience. Many IoT smart devices and technologies like sensors, actuators, RFID, UMTS, 3G, and GSM etc. are used to develop IoT networks. Cloud Computing plays an important role in these networks deployment by providing physical resources as virtualized resources consist of memory, computation power, network bandwidth, virtualized system and device drivers in secure and pay as per use basis. One of the major concerns of Cloud based IoT environment is resource management, which ensures efficient resource utilization, load balancing, reduce SLA violation, and improve the system performance by reducing operational cost and energy consumption. Many researchers have been proposed IoT based resource management techniques. The focus of this paper is to investigate these proposed resource allocation techniques and finds which parameters must be considered for improvement in resource allocation for IoT networks. Further, this paper also uncovered challenges and issues of Cloud based resource allocation for IoT environment.


Cluster categories of formal DG algebras and singularity categories. Given a negatively graded Calabi Yau algebra, we regard it as a DG algebra with vanishing differentials and study its cluster category. We show that this DG algebra is sign twisted Calabi Yau, and realize its cluster category as a triangulated hull of an orbit category of a derived category, and as the singularity category of a finite dimensional Iwanaga Gorenstein algebra. Along the way, we give two results which stand on their own. First, we show that the derived category of coherent sheaves over a Calabi Yau algebra has a natural cluster tilting subcategory whose dimension is determined by the Calabi Yau dimension and the a invariant of the algebra. Secondly, we prove that two DG orbit categories obtained from a DG endofunctor and its homotopy inverse are quasi equivalent. As an application, we show that the higher cluster category of a higher representation infinite algebra is triangle equivalent to the singularity category of an Iwanaga Gorenstein algebra which is explicitly described. Also, we demonstrate that our results generalize the context of Keller Murfet Van den Bergh on the derived orbit category involving a square root of the AR translation.


Regulator based risk statistics with scenario analysis. As regulators pay more attentions to losses rather than gains, we are able to derive a new class of risk statistics, named regulator based risk statistics with scenario analysis in this paper. This new class of risk statistics can be considered as a kind of risk extension of risk statistics introduced by Kou et al. cite 11 , and also data based versions of loss based risk measures introduced by Cont et al. cite 5 and Sun et al. cite 12 .


Efficiency in managing peer review of scientific manuscripts editors' perspective. The purpose of this paper is to introduce a model for measuring the efficiency in managing peer review of scientific manuscripts by editors. The approach employed is based on the assumption that the editorial aim is to manage publication with high efficiency, employing the least amount of editorial resources. Efficiency is defined in this research as a measure based on 7 variables. An on line survey was constructed and editors of journals originating from Serbia regularly publishing articles in the field of chemistry were invited to participate. An evaluation of the model is given based on responses from 24 journals and 50 editors. With this investigation we aimed to contribute to our understanding of the peer review process and, possibly, offer a tool to improve the "efficiency" in journal editing. The proposed protocol may be adapted by other journals in order to assess the managing potential of editors.


On the Chow theory of Quot schemes of locally free quotients. We prove a formula for Chow groups of Quot schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric situations such as blowups, Cayley's trick, projectivizations, Grassmannian bundles, flops from Springer type resolutions, as well as provide new phenomena such as formulae for Grassmannain type flips flops and virtual flips. We also give applications to blowups of determinantal ideals, moduli spaces of linear series on curves, and Hilbert schemes of points on surfaces.


Mapping nanoscale charge states and phase domains with quantitative hyperspectral coherent diffractive imaging spectroscopy. The critical properties of functional materials and nanoscale devices often originate from the coexistence of different thermodynamic phases and or oxidization states, but sample makeup is seldom completely known a priori. Coherent diffractive imaging (CDI) provides the spatial resolution needed to observe nanoscale coexistence while returning the full amplitude and phase information of an object, but to date lacks the spectral information necessary for composition identification. Here we demonstrate CDI spectroscopy (CDIS), acquiring images of the prototypical quantum material vanadium oxide across the vanadium L2,3 and oxygen K X ray absorption edges with nanometer scale resolution. Using the hyperspectral X ray image we show coexistence of multiple oxidization states and phases in a single sample and extract the full complex refractive index of V2O5 and the monoclinic insulating and rutile conducting phases of VO2. These results constrain the role of hidden phases in the insulator to metal transition in VO2.


Scaling Equilibrium Propagation to Deep ConvNets by Drastically Reducing its Gradient Estimator Bias. Equilibrium Propagation (EP) is a biologically inspired algorithm for convergent RNNs with a local learning rule that comes with strong theoretical guarantees. The parameter updates of the neural network during the credit assignment phase have been shown mathematically to approach the gradients provided by Backpropagation Through Time (BPTT) when the network is infinitesimally nudged toward its target. In practice, however, training a network with the gradient estimates provided by EP does not scale to visual tasks harder than MNIST. In this work, we show that a bias in the gradient estimate of EP, inherent in the use of finite nudging, is responsible for this phenomenon and that cancelling it allows training deep ConvNets by EP. We show that this bias can be greatly reduced by using symmetric nudging (a positive nudging and a negative one). We also generalize previous EP equations to the case of cross entropy loss (by opposition to squared error). As a result of these advances, we are able to achieve a test error of 11.7 on CIFAR 10 by EP, which approaches the one achieved by BPTT and provides a major improvement with respect to the standard EP approach with same sign nudging that gives 86 test error. We also apply these techniques to train an architecture with asymmetric forward and backward connections, yielding a 13.2 test error. These results highlight EP as a compelling biologically plausible approach to compute error gradients in deep neural networks.


ZSCRGAN A GAN based Expectation Maximization Model for Zero Shot Retrieval of Images from Textual Descriptions. Most existing algorithms for cross modal Information Retrieval are based on a supervised train test setup, where a model learns to align the mode of the query (e.g., text) to the mode of the documents (e.g., images) from a given training set. Such a setup assumes that the training set contains an exhaustive representation of all possible classes of queries. In reality, a retrieval model may need to be deployed on previously unseen classes, which implies a zero shot IR setup. In this paper, we propose a novel GAN based model for zero shot text to image retrieval. When given a textual description as the query, our model can retrieve relevant images in a zero shot setup. The proposed model is trained using an Expectation Maximization framework. Experiments on multiple benchmark datasets show that our proposed model comfortably outperforms several state of the art zero shot text to image retrieval models, as well as zero shot classification and hashing models suitably used for retrieval.


Probing the Need for Visual Context in Multimodal Machine Translation. Current work on multimodal machine translation (MMT) has suggested that the visual modality is either unnecessary or only marginally beneficial. We posit that this is a consequence of the very simple, short and repetitive sentences used in the only available dataset for the task (Multi30K), rendering the source text sufficient as context. In the general case, however, we believe that it is possible to combine visual and textual information in order to ground translations. In this paper we probe the contribution of the visual modality to state of the art MMT models by conducting a systematic analysis where we partially deprive the models from source side textual context. Our results show that under limited textual context, models are capable of leveraging the visual input to generate better translations. This contradicts the current belief that MMT models disregard the visual modality because of either the quality of the image features or the way they are integrated into the model.


Virtual Adversarial Training in Feature Space to Improve Unsupervised Video Domain Adaptation. Virtual Adversarial Training has recently seen a lot of success in semi supervised learning, as well as unsupervised Domain Adaptation. However, so far it has been used on input samples in the pixel space, whereas we propose to apply it directly to feature vectors. We also discuss the unstable behaviour of entropy minimization and Decision Boundary Iterative Refinement Training With a Teacher in Domain Adaptation, and suggest substitutes that achieve similar behaviour. By adding the aforementioned techniques to the state of the art model TA 3 N, we either maintain competitive results or outperform prior art in multiple unsupervised video Domain Adaptation tasks


Optimal additive quaternary codes of low dimension. An additive quaternary n,k,d code (length n, quaternary dimension k, minimum distance d ) is a 2k dimensional F 2 vector space of n tuples with entries in Z 2 times Z 2 (the 2 dimensional vector space over F 2) with minimum Hamming distance d. We determine the optimal parameters of additive quaternary codes of dimension k leq 3. The most challenging case is dimension k 2.5. We prove that an additive quaternary n,2.5,d code where d n 1 exists if and only if 3(n d) geq lceil d 2 rceil lceil d 4 rceil lceil d 8 rceil . In particular we construct new optimal 2.5 dimensional additive quaternary codes. As a by product we give a direct proof for the fact that a binary linear 3m,5,2e 2 code for e m 1 exists if and only if the Griesmer bound 3(m e) geq lceil e 2 rceil lceil e 4 rceil lceil e 8 rceil is satisfied.


RadLex Normalization in Radiology Reports. Radiology reports have been widely used for extraction of various clinically significant information about patients' imaging studies. However, limited research has focused on standardizing the entities to a common radiology specific vocabulary. Further, no study to date has attempted to leverage RadLex for standardization. In this paper, we aim to normalize a diverse set of radiological entities to RadLex terms. We manually construct a normalization corpus by annotating entities from three types of reports. This contains 1706 entity mentions. We propose two deep learning based NLP methods based on a pre trained language model (BERT) for automatic normalization. First, we employ BM25 to retrieve candidate concepts for the BERT based models (re ranker and span detector) to predict the normalized concept. The results are promising, with the best accuracy (78.44 ) obtained by the span detector. Additionally, we discuss the challenges involved in corpus construction and propose new RadLex terms.


Restoring Arabic vowels through omission tolerant dictionary lookup. Vowels in Arabic are optional orthographic symbols written as diacritics above or below letters. In Arabic texts, typically more than 97 percent of written words do not explicitly show any of the vowels they contain that is to say, depending on the author, genre and field, less than 3 percent of words include any explicit vowel. Although numerous studies have been published on the issue of restoring the omitted vowels in speech technologies, little attention has been given to this problem in papers dedicated to written Arabic technologies.f In this research, we present Arabic Unitex, an Arabic Language Resource, with emphasis on vowel representation and encoding. Specifically, we present two dozens of rules formalizing a detailed description of vowel omission in written text. They are typographical rules integrated into large coverage resources for morphological annotation. For restoring vowels, our resources are capable of identifying words in which the vowels are not shown, as well as words in which the vowels are partially or fully included. By taking into account these rules, our resources are able to compute and restore for each word form a list of compatible fully vowelized candidates through omission tolerant dictionary lookup. Our program performs the analysis of 5000 words second for running text (20 pages second). Based on these comprehensive linguistic resources, we created a spell checker that detects any invalid misplaced vowel in a fully or partially vowelized form. Finally, our resources provide a lexical coverage of more than 99 percent of the words used in popular newspapers, and restore vowels in words (out of context) simply and efficiently.


A survey of the Shi arrangement. In 1983, Lusztig defined a map sigma from affine permutations of n to partitions of n . He conjectured that for any partition lambda of n , sigma 1 ( lambda) is a two sided cell. Shi, in 1986, proved part of this conjecture. As a byproduct, he introduced the Shi arrangement of hyperplanes and found a few of its remarkable properties. The Shi arrangement has since become a central object in algebraic combinatorics. This article is intended to be a fairly gentle introduction to the Shi arrangement, intended for readers with a modest background in combinatorics, algebra, and Euclidean geometry.


Some cyclic properties of L 1 graphs. A graph G is called an L 1 graph if d(u) d(v) ge N(u) cup N(v) cup N(w) 1 for every triple of vertices u,v,w where u and v are at distance 2 and w in N(u) cap N(v) . Asratian et al. (1996) proved that all finite connected L 1 graphs on at least three vertices such that N(u) cap N(v) ge2 for each pair of vertices u,v at distance 2 are Hamiltonian, except for a simple family mathcal K of exceptions. We show that not all such graphs are pancyclic, but that any non Hamiltonian cycle in such a graph can be extended to a larger cycle containing all vertices of the original cycle and at most two other vertices. We also prove a similar result for paths whose endpoints do not have any common neighbors.


Symmetry and stability of non negative solutions to degenerate elliptic equations in a ball. We consider non negative distributional solutions u in C 1 ( bar B R ) to the equation mbox div g( nabla u ) nabla u 1 nabla u f( x ,u) in a ball B R , with u 0 on partial B R , where f is continuous and non increasing in the first variable and g in C 1 (0, infty ) cap C 0, infty ) , with g(0) 0 and g'(t) 0 for t 0 . According to a result of the first author, the solutions satisfy a certain 'local' type of symmetry. Using this, we first prove that the solutions are radially symmetric provided that f satisfies appropriate growth conditions near its zeros. In a second part we study the autonomous case, f f(u) . The solutions of the equation are critical points for an associated variation problem. We show under rather mild conditions that global and local minimizers of the variational problem are radial.


On colon operations and special types of ideals. We record a general asymptotic formula for colon of ideals and proceed to give some applications regarding m full, weakly m full, and full ideals.


On Separation of level sets for a pair of quadratic functions. Given a quadratic function f(x) x TAx 2a Tx a 0, it is possible that its level set x in mathbb R n f(x) 0 has two connected components and thus can be separated by the level set x in mathbb R n g(x) 0 of another quadratic function g(x) x TBx 2b Tx b 0. It turns out that the separation property of such kind has great implication in quadratic optimization problems and thus deserves careful studies. In this paper, we characterize the separation property analytically by necessary and sufficient conditions as a new tool to solving optimization problems.


MOEA D with Random Partial Update Strategy. Recent studies on resource allocation suggest that some subproblems are more important than others in the context of the MOEA D, and that focusing on the most relevant ones can consistently improve the performance of that algorithm. These studies share the common characteristic of updating only a fraction of the population at any given iteration of the algorithm. In this work we investigate a new, simpler partial update strategy, in which a random subset of solutions is selected at every iteration. The performance of the MOEA D using this new resource allocation approach is compared experimentally against that of the standard MOEA D DE and the MOEA D with relative improvement based resource allocation. The results indicate that using the MOEA D with this new partial update strategy results in improved HV and IGD values, and a much higher proportion of non dominated solutions, particularly as the number of updated solutions at every iteration is reduced.


How strong are single fixed points of normal functions?. In a recent paper by M. Rathjen and the present author it has been shown that the statement every normal function has a derivative'' is equivalent to Pi 1 1 bar induction. The equivalence was proved over mathbf ACA 0 , for a suitable representation of normal functions in terms of dilators. In the present paper we show that the statement every normal function has at least one fixed point'' is equivalent to Pi 1 1 induction along the natural numbers.


Tilting complexes for group graded self injective algebras. We construct derived equivalences between group graded self injective algebras, starting from equivalences between their 1 components, obtained via a construction of J. Rickard and S. Al Nofayee.


Slow entropy of some combinatorial constructions. Measure theoretic slow entropy is a more refined invariant than the classical measure theoretic entropy to characterize the complexity of dynamical systems with subexponential growth rates of distinguishable orbit types. In this paper we prove flexibility results for the values of upper and lower polynomial slow entropy of rigid transformations as well as maps admitting a good cyclic approximation. Moreover, we show that there cannot exist a general upper bound on the lower measure theoretic slow entropy for systems of finite rank.


A Canonical Form for Positive Definite Matrices. We exhibit an explicit, deterministic algorithm for finding a canonical form for a positive definite matrix under unimodular integral transformations. We use characteristic sets of short vectors and partition backtracking graph software. The algorithm runs in a number of arithmetic operations that is exponential in the dimension n , but it is practical and more efficient than canonical forms based on Minkowski reduction.


One Point is All You Need Directional Attention Point for Feature Learning. We present a novel attention based mechanism for learning enhanced point features for tasks such as point cloud classification and segmentation. Our key message is that if the right attention point is selected, then "one point is all you need" not a sequence as in a recurrent model and not a pre selected set as in all prior works. Also, where the attention point is should be learned, from data and specific to the task at hand. Our mechanism is characterized by a new and simple convolution, which combines the feature at an input point with the feature at its associated attention point. We call such a point a directional attention point (DAP), since it is found by adding to the original point an offset vector that is learned by maximizing the task performance in training. We show that our attention mechanism can be easily incorporated into state of the art point cloud classification and segmentation networks. Extensive experiments on common benchmarks such as ModelNet40, ShapeNetPart, and S3DIS demonstrate that our DAP enabled networks consistently outperform the respective original networks, as well as all other competitive alternatives, including those employing pre selected sets of attention points.


Towards Autonomous Industrial Scale Bathymetric Surveying. Both higher efficiency and cost reduction can be gained from automating bathymetric surveying for offshore applications such as pipeline, telecommunication or power cables installation and inspection on the seabed. We present a SLAM system that optimizes the geo referencing of bathymetry surveys by fusing the dead reckoning sensor data from the surveying vehicle with constraints from the maximization of the geometric consistency of overlapping regions of the survey. The framework has been extensively tested on bathymetric maps from both simulation and several actual industrial surveys and has proved robustness over different types of terrain. We demonstrate that our system is able to maximize the consistency of the final map even when there are large sections of the survey with reduced topographic variation. The framework has been made publicly available together with the simulation environment used to test it and some of the datasets.


Exact G 2 structures on unimodular Lie algebras. We consider seven dimensional unimodular Lie algebras mathfrak g admitting exact G 2 structures, focusing our attention on those with vanishing third Betti number b 3( mathfrak g ) . We discuss some examples, both in the case when b 2( mathfrak g ) neq0 , and in the case when the Lie algebra mathfrak g is (2,3) trivial, i.e., when both b 2( mathfrak g ) and b 3( mathfrak g ) vanish. These examples are solvable, as b 3( mathfrak g ) 0 , but they are not strongly unimodular, a necessary condition for the existence of lattices on the simply connected Lie group corresponding to mathfrak g . More generally, we prove that any seven dimensional (2,3) trivial strongly unimodular Lie algebra does not admit any exact G 2 structure. From this, it follows that there are no compact examples of the form ( Gamma backslash G, varphi) , where G is a seven dimensional simply connected Lie group with (2,3) trivial Lie algebra, Gamma subset G is a co compact discrete subgroup, and varphi is an exact G 2 structure on Gamma backslash G induced by a left invariant one on G .


Large and Small Data Blow Up Solutions in the Trojan Y Chromosome Model. The Trojan Y Chromosome Strategy (TYC) is an extremely well investigated biological control method for controlling invasive populations with an XX XY sex determinism. In cite GP12, WP14 various dynamical properties of the system are analyzed, including well posedness, boundedness of solutions, and conditions for extinction or recovery. These results are derived under the assumption of positive solutions. In the current manuscript, we show that if the introduction rate of trojan fish is zero, under certain large data assumptions, negative solutions are possible for the male population, which in turn can lead to finite time blow up in the female and male populations. A comparable result is established for emph any positive initial condition if the introduction rate of trojan fish is large enough. Similar finite time blow up results are obtained in a spatial temporal TYC model that includes diffusion. Lastly, we investigate improvements to the TYC modeling construct that may dampen the mechanisms to the blow up phenomenon or remove the negativity of solutions. The results draw into suspect the reliability of current TYC models under certain situations.


Lithium Niobate Michelson Interferometer Modulator on Silicon On Insulator Platform. We propose and demonstrate a hybrid silicon and lithium niobate Michelson Interferometer Modulator (MIM) with enhanced modulation efficiency compared to a Mach Zehnder modulator. The modulator is based on seamless integration of a high contrast waveguide based on lithium niobate a popular modulator material with compact, low loss silicon circuitry. The present device demonstrates a modulation efficiency as high as 1.2 Vcm and a low insertion loss of 3.3 dB. The 3dB electro optic bandwidth is approximately 17.5 GHz. The optical eye diagrams, operating at 32 Gbit s and 40 Gbit s, with measured dynamic extinction ratios at 8 dB and 6.6 dB respectively. The present device avoids absorption loss and nonlinearity in conventional silicon modulators and demonstrates highest modulation efficiency in LN modulators, showing potential in future optical interconnects.


Dual comb correction with spectrally broadened fiber lasers. The phase information provided by the beat note between frequency combs and two continuous wave lasers is used to extrapolate the phase evolution of comb modes found in a spectral region obtained via nonlinear broadening. This thereafter enables using interferogram self correction to fully retrieve the coherence of a dual comb beat note between two independent fiber lasers. This approach allows to forego the f 2f self referencing of both combs, which is a significant simplification. Broadband near infrared methane spectroscopy has been conducted as a demonstration of the simplified system's preserved performance.


How does a coin toss? A look under an asymptotic microscope. Is flipping a coin a deterministic process or a random one? We do not allow bounces. If we know the initial velocity and the spin given to the coin, mechanics should predict the face it lands on. However, the coin toss has been everyone's introduction to probability and has been assumed to be the hallmark random process. So, what's going on here? This article discusses the problem first brought up by Keller in 1986 using a perspective tangential to the one used by Keller which leads us to new insight about the probability of getting heads.


Addressless A New Internet Server Model to Prevent Network Scanning. Eliminating unnecessary exposure is a principle of server security. The huge IPv6 address space enhances security by making scanning infeasible, however, with recent advances of IPv6 scanning technologies, network scanning is again threatening server security. In this paper, we propose a new model named addressless server, which separates the server into an entrance module and a main service module, and assigns an IPv6 prefix instead of an IPv6 address to the main service module. The entrance module generates a legitimate IPv6 address under this prefix by encrypting the client address, so that the client can access the main server on a destination address that is different in each connection. In this way, the model provides isolation to the main server, prevents network scanning, and minimizes exposure. Moreover it provides a novel framework that supports flexible load balancing, high availability, and other desirable features. The model is simple and does not require any modification to the client or the network. We implement a prototype and experiments show that our model can prevent the main server from being scanned at a slight performance cost.


Kindling the Darkness A Practical Low light Image Enhancer. Images captured under low light conditions often suffer from (partially) poor visibility. Besides unsatisfactory lightings, multiple types of degradations, such as noise and color distortion due to the limited quality of cameras, hide in the dark. In other words, solely turning up the brightness of dark regions will inevitably amplify hidden artifacts. This work builds a simple yet effective network for textbf Kin dling the textbf D arkness (denoted as KinD), which, inspired by Retinex theory, decomposes images into two components. One component (illumination) is responsible for light adjustment, while the other (reflectance) for degradation removal. In such a way, the original space is decoupled into two smaller subspaces, expecting to be better regularized learned. It is worth to note that our network is trained with paired images shot under different exposure conditions, instead of using any ground truth reflectance and illumination information. Extensive experiments are conducted to demonstrate the efficacy of our design and its superiority over state of the art alternatives. Our KinD is robust against severe visual defects, and user friendly to arbitrarily adjust light levels. In addition, our model spends less than 50ms to process an image in VGA resolution on a 2080Ti GPU. All the above merits make our KinD attractive for practical use.


The Loewner function of a log concave function. We introduce the notion of Loewner (ellipsoid) function for a log concave function and show that it is an extension of the Loewner ellipsoid for convex bodies. We investigate its duality relation to the recently defined John (ellipsoid) function by Alonso Gutierrez, Merino, Jimenez and Villa. For convex bodies, John and Loewner ellipsoids are dual to each other. Interestingly, this need not be the case for the John function and the Loewner function.


Gyrokinetic Simulations on Many and Multi core Architectures with the Global Electromagnetic Particle In Cell Code ORB5. Gyrokinetic codes in plasma physics need outstanding computational resources to solve increasingly complex problems, requiring the effective exploitation of cutting edge HPC architectures. This paper focuses on the enabling of ORB5, a state of the art, first principles based gyrokinetic code, on modern parallel hybrid multi core, multi GPU systems. ORB5 is a Lagrangian, Particle In Cell (PIC), finite element, global, electromagnetic code, originally implementing distributed parallelism through MPI based on domain decomposition and domain cloning. In order to support multi many cores devices, the code has been completely refactored. Data structures have been re designed to ensure efficient memory access, enhancing data locality. Multi threading has been introduced through OpenMP on the CPU and adopting OpenACC to support GPU acceleration. MPI can still be used in combination with the two approaches. The performance results obtained using the full production ORB5 code on the Summit system at ORNL, on Piz Daint at CSCS and on the Marconi system at CINECA are presented, showing the effectiveness and performance portability of the adopted solutions the same source code version was used to produce all results on all architectures.


Deeply Shape guided Cascade for Instance Segmentation. The key to a successful cascade architecture for precise instance segmentation is to fully leverage the relationship between bounding box detection and mask segmentation across multiple stages. Although modern instance segmentation cascades achieve leading performance, they mainly make use of a unidirectional relationship, i.e., mask segmentation can benefit from iteratively refined bounding box detection. In this paper, we investigate an alternative direction, i.e., how to take the advantage of precise mask segmentation for bounding box detection in a cascade architecture. We propose a Deeply Shape guided Cascade (DSC) for instance segmentation, which iteratively imposes the shape guidances extracted from mask prediction at the previous stage on bounding box detection at current stage. It forms a bi directional relationship between the two tasks by introducing three key components (1) Initial shape guidance A mask supervised Region Proposal Network (mPRN) with the ability to generate class agnostic masks (2) Explicit shape guidance A mask guided region of interest (RoI) feature extractor, which employs mask segmentation at previous stage to focus feature extraction at current stage within a region aligned well with the shape of the instance of interest rather than a rectangular RoI (3) Implicit shape guidance A feature fusion operation which feeds intermediate mask features at previous stage to the bounding box head at current stage. Experimental results show that DSC outperforms the state of the art instance segmentation cascade, Hybrid Task Cascade (HTC), by a large margin and achieves 51.8 box AP and 45.5 mask AP on COCO test dev. The code is released at https github.com hding2455 DSC.


Long time behavior of solutions of degenerate parabolic equations with inhomogeneous density on manifolds. We consider the Cauchy problem for doubly non linear degenerate parabolic equations on Riemannian manifolds of infinite volume, or in R N . The equation contains a weight function as a capacitary coefficient which we assume to decay at infinity. We connect the behavior of non negative solutions to the interplay between such coefficient and the geometry of the manifold, obtaining, in a suitable subcritical range, estimates of the vanishing rate for long times and of the finite speed of propagation. In supercritical ranges we obtain universal bounds and prove blow up in a finite time of the (initially bounded) support of solutions.


Multilevel spectral coarsening for graph Laplacian problems with application to reservoir simulation. We extend previously developed two level coarsening procedures for graph Laplacian problems written in a mixed saddle point form to the fully recursive multilevel case. The resulting hierarchy of discretizations gives rise to a hierarchy of upscaled models, in the sense that they provide approximation in the natural norms (in the mixed setting). This property enables us to utilize them in three applications (i) as an accurate reduced model, (ii) as a tool in multilevel Monte Carlo simulations (in application to finite volume discretizations), and (iii) for providing a sequence of nonlinear operators in FAS (full approximation scheme) for solving nonlinear pressure equations discretized by the conservative two point flux approximation. We illustrate the potential of the proposed multilevel technique in all three applications on a number of popular benchmark problems used in reservoir simulation.


The Multi Event Class Synchronization (MECS) Algorithm. Synchronization is a fundamental component of computational models of human behavior, at both intra personal and inter personal level. Event synchronization analysis was originally conceived with the aim of providing a simple and robust method to measure synchronization between two time series. In this paper we propose a novel method extending the state of the art of the event synchronization techniques the Multi Event Class Synchronization (MECS) algorithm. MECS measures the synchronization between relevant events belonging to different event classes that are detected in multiple time series. Its motivation emerged from the need to model non verbal multimodal signals in Human Computer Interaction. Using MECS, synchronization can be computed between events belonging to the same class (intra class synchronization) or between events belonging to different classes (inter class synchronization). In the paper we also show how our technique can deal with macro events (i.e., sets of events satisfying constraints) and macro classes (i.e., sets of classes). In the last part of the paper, we apply the proposed method to two types of data i) artificial and 2) real world case study concerning analysis of human multimodal behavior.


Logistic and theta logistic models in population dynamics General analysis and exact results. In the present paper we provide the closed form of the path like solutions for the logistic and theta logistic stochastic differential equations, along with the exact expressions of both their probability density functions and their moments. We simulate in addition a few typical sample trajectories, and we provide a few examples of numerical computation of the said closed formulas at different noise intensities this shows in particular that an increasing randomness while making the process more unpredictable asymptotically tends to suppress in average the logistic growth. These main results are preceded by a discussion of the noiseless, deterministic versions of these models a prologue which turns out to be instrumental on the basis of a few simplified but functional hypotheses to frame the logistic and theta logistic equations in a unified context, within which also the Gompertz model emerges from an anomalous scaling.


ScrabbleGAN Semi Supervised Varying Length Handwritten Text Generation. Optical character recognition (OCR) systems performance have improved significantly in the deep learning era. This is especially true for handwritten text recognition (HTR), where each author has a unique style, unlike printed text, where the variation is smaller by design. That said, deep learning based HTR is limited, as in every other task, by the number of training examples. Gathering data is a challenging and costly task, and even more so, the labeling task that follows, of which we focus here. One possible approach to reduce the burden of data annotation is semi supervised learning. Semi supervised methods use, in addition to labeled data, some unlabeled samples to improve performance, compared to fully supervised ones. Consequently, such methods may adapt to unseen images during test time. We present ScrabbleGAN, a semi supervised approach to synthesize handwritten text images that are versatile both in style and lexicon. ScrabbleGAN relies on a novel generative model which can generate images of words with an arbitrary length. We show how to operate our approach in a semi supervised manner, enjoying the aforementioned benefits such as performance boost over state of the art supervised HTR. Furthermore, our generator can manipulate the resulting text style. This allows us to change, for instance, whether the text is cursive, or how thin is the pen stroke.


Learning Rhyming Constraints using Structured Adversaries. Existing recurrent neural language models often fail to capture higher level structure present in text for example, rhyming patterns present in poetry. Much prior work on poetry generation uses manually defined constraints which are satisfied during decoding using either specialized decoding procedures or rejection sampling. The rhyming constraints themselves are typically not learned by the generator. We propose an alternate approach that uses a structured discriminator to learn a poetry generator that directly captures rhyming constraints in a generative adversarial setup. By causing the discriminator to compare poems based only on a learned similarity matrix of pairs of line ending words, the proposed approach is able to successfully learn rhyming patterns in two different English poetry datasets (Sonnet and Limerick) without explicitly being provided with any phonetic information.


A stochastic Gronwall inequality and applications to moments, strong completeness, strong local Lipschitz continuity, and perturbations. There are numerous applications of the classical (deterministic) Gronwall inequality. Recently, Michael Scheutzow discovered a stochastic Gronwall inequality which provides upper bounds for p th moments, p in(0,1) , of the supremum of nonnegative scalar continuous processes which satisfy a linear integral inequality. In this article we complement this with upper bounds for p th moments, p in 2, infty) , of the supremum of general It o processes which satisfy a suitable one sided affine linear growth condition. As example applications, we improve known results on strong local Lipschitz continuity in the starting point of solutions of stochastic differential equations (SDEs), on (exponential) moment estimates for SDEs, on strong completeness of SDEs, and on perturbation estimates for SDEs.


Learning the sense of touch in simulation a sim to real strategy for vision based tactile sensing. Data driven approaches to tactile sensing aim to overcome the complexity of accurately modeling contact with soft materials. However, their widespread adoption is impaired by concerns about data efficiency and the capability to generalize when applied to various tasks. This paper focuses on both these aspects with regard to a vision based tactile sensor, which aims to reconstruct the distribution of the three dimensional contact forces applied on its soft surface. Accurate models for the soft materials and the camera projection, derived via state of the art techniques in the respective domains, are employed to generate a dataset in simulation. A strategy is proposed to train a tailored deep neural network entirely from the simulation data. The resulting learning architecture is directly transferable across multiple tactile sensors without further training and yields accurate predictions on real data, while showing promising generalization capabilities to unseen contact conditions.


Finite Element Error Analysis of Surface Stokes Equations in Stream Function Formulation. We consider a surface Stokes problem in stream function formulation on a simply connected oriented surface Gamma subset mathbb R 3 without boundary. This formulation leads to a coupled system of two second order scalar surface partial differential equations (for the stream function and an auxiliary variable). To this coupled system a trace finite element discretization method is applied. The main topic of the paper is an error analysis of this discretization method, resulting in optimal order discretization error bounds. The analysis applies to the surface finite element method of Dziuk Elliott, too. We also investigate methods for reconstructing velocity and pressure from the stream function approximation. Results of numerical experiments are included.


Towards a Better Global Loss Landscape of GANs. Understanding of GAN training is still very limited. One major challenge is its non convex non concave min max objective, which may lead to sub optimal local minima. In this work, we perform a global landscape analysis of the empirical loss of GANs. We prove that a class of separable GAN, including the original JS GAN, has exponentially many bad basins which are perceived as mode collapse. We also study the relativistic pairing GAN (RpGAN) loss which couples the generated samples and the true samples. We prove that RpGAN has no bad basins. Experiments on synthetic data show that the predicted bad basin can indeed appear in training. We also perform experiments to support our theory that RpGAN has a better landscape than separable GAN. For instance, we empirically show that RpGAN performs better than separable GAN with relatively narrow neural nets. The code is available at https github.com AilsaF RS GAN.


The Convergence of AI code and Cortical Functioning a Commentary. Neural nets, one of the oldest architectures for AI programming, are loosely based on biological neurons and their properties. Recent work on language applications has made the AI code closer to biological reality in several ways. This commentary examines this convergence and, in light of what is known of neocortical structure, addresses the question of whether general AI'' looks attainable with these tools.


Connecting Vision and Language with Localized Narratives. We propose Localized Narratives, a new form of multimodal image annotations connecting vision and language. We ask annotators to describe an image with their voice while simultaneously hovering their mouse over the region they are describing. Since the voice and the mouse pointer are synchronized, we can localize every single word in the description. This dense visual grounding takes the form of a mouse trace segment per word and is unique to our data. We annotated 849k images with Localized Narratives the whole COCO, Flickr30k, and ADE20K datasets, and 671k images of Open Images, all of which we make publicly available. We provide an extensive analysis of these annotations showing they are diverse, accurate, and efficient to produce. We also demonstrate their utility on the application of controlled image captioning.


Approximate Reconstruction of Torsional Potential Energy Surface based on Voronoi Tessellation. Torsional modes within a complex molecule containing various functional groups are often strongly coupled so that the harmonic approximation and one dimensional torsional treatment are inaccurate to evaluate their partition functions. A family of multi structural approximation methods have been proposed and applied in recent years to deal with the torsional anharmonicity.However, these methods approximate the exact "almost periodic" potential energy as a summation of local periodic functions with symmetric barrier positions and heights. In the present theoretical study, we illustrated that the approximation is inaccurate when torsional modes present non uniformly distributed local minima. Thereby, we proposed an improved method to reconstruct approximate potential to replace the periodic potential by using information of the local minima and their Voronoi tessellation. First, we established asymmetric barrier heights by introducing two periodicity parameters and assuming that the exact barrier positions are at the boundaries of Voronoi cells. Second, we used multiplicatively weighted Voronoi tessellation to refine the barrier heights and positions by defining a structure related distance metric. The proposed method has been tested for a few higher dimensional cases, all of which show promising improved accuracy.


Convolutional Neural Networks for Sentiment Analysis in Persian Social Media. With the social media engagement on the rise, the resulting data can be used as a rich resource for analyzing and understanding different phenomena around us. A sentiment analysis system employs these data to find the attitude of social media users towards certain entities in a given document. In this paper we propose a sentiment analysis method for Persian text using Convolutional Neural Network (CNN), a feedforward Artificial Neural Network, that categorize sentences into two and five classes (considering their intensity) by applying a layer of convolution over input data through different filters. We evaluated the method on three different datasets of Persian social media texts using Area under Curve metric. The final results show the advantage of using CNN over earlier attempts at developing traditional machine learning methods for Persian texts sentiment classification especially for short texts.


Reconstructing the Optical Parameters of a Layered Medium with Optical Coherence Elastography. In this work we consider the inverse problem of reconstructing the optical properties of a layered medium from an elastography measurement where optical coherence tomography is used as the imaging method. We hereby model the sample as a linear dielectric medium so that the imaging parameter is given by its electric susceptibility, which is a frequency and depth dependent parameter. Additionally to the layered structure (assumed to be valid at least in the small illuminated region), we allow for small scatterers which we consider to be randomly distributed, a situation which seems more realistic compared to purely homogeneous layers. We then show that a unique reconstruction of the susceptibility of the medium (after averaging over the small scatterers) can be achieved from optical coherence tomography measurements for different compression states of the medium.


Energy Levels, Transition Rates and Electron Impact Excitation Rates for B like Kr XXXII. Energy levels and transition rates for electric dipole, electric quadrupole, electric octupole, magnetic dipole, and magnetic quadrupole transitions among the levels arising from the n leq 5 configurations in B like Kr XXXII are calculated by using two state of the art methods, namely, the multi configuration Dirac Hartree Fock (MCDHF) approach and the second order many body perturbation theory (RMBPT). Our results are compared with several available experimental and other theoretical values. Electron impact excitation (EIE) collision strengths are calculated via the independent process and isolated resonance approximation using distorted wave (denoted by IPIRDW). Radiation damping effects on the resonance excitation contributions are included. Effective collision strengths are calculated as a function of electron temperature by assuming a Maxwellian electron velocity distribution. Spectral line intensities are modeled by using collision radiative model, and several line pairs pointed out might be useful for density diagnostics.


Conformally formal manifolds and the uniformly quasiregular non ellipticity of ( mathbb S 2 times mathbb S 2) operatorname ( mathbb S 2 times mathbb S 2) . We show that the manifold ( mathbb S 2 times mathbb S 2) operatorname ( mathbb S 2 times mathbb S 2) does not admit a non constant non injective uniformly quasiregular self map. This answers a question of Martin, Mayer, and Peltonen, and provides the first example of a quasiregularly elliptic manifold which is not uniformly quasiregularly elliptic. To obtain the result, we introduce conformally formal manifolds, which are closed smooth n manifolds M admitting a measurable conformal structure g for which the (n k) harmonic k forms of the structure g form an algebra. This is a conformal counterpart to the existing study of geometrically formal manifolds. We show that, similarly as in the geometrically formal theory, the real cohomology ring H (M mathbb R ) of a conformally formal n manifold M admits an embedding of algebras Phi colon H (M mathbb R ) hookrightarrow wedge mathbb R n . We also show that uniformly quasiregularly elliptic manifolds M are conformally formal in a stronger sense, in which the wedge product is replaced with a conformally scaled Clifford product. For this stronger version of conformal formality, the image of Phi is closed under the Euclidean Clifford product of wedge mathbb R n , which in turn is impossible for M ( mathbb S 2 times mathbb S 2) operatorname ( mathbb S 2 times mathbb S 2) .


Boundary effect on the nodal length for Arithmetic Random Waves, and spectral semi correlations. We test M. Berry's ansatz on nodal deficiency in presence of boundary. The square billiard is studied, where the high spectral degeneracies allow for the introduction of a Gaussian ensemble of random Laplace eigenfunctions ("boundary adapted arithmetic random waves"). As a result of a precise asymptotic analysis, two terms in the asymptotic expansion of the expected nodal length are derived, in the high energy limit along a generic sequence of energy levels. It is found that the precise nodal deficiency or surplus of the nodal length depends on arithmetic properties of the energy levels, in an explicit way. To obtain the said results we apply the Kac Rice method for computing the expected nodal length of a Gaussian random field. Such an application uncovers major obstacles, e.g. the occurrence of "bad" subdomains, that, one hopes, contribute insignificantly to the nodal length. Fortunately, we were able to reduce this contribution to a number theoretic question of counting the "spectral semi correlations", a concept joining the likes of "spectral correlations" and "spectral quasi correlations" in having impact on the nodal length for arithmetic dynamical systems. This work rests on several breakthrough techniques of J. Bourgain, whose interest in the subject helped shaping it to high extent, and whose fundamental work on spectral correlations, joint with E. Bombieri, has had a crucial impact on the field.


PEtab interoperable specification of parameter estimation problems in systems biology. Reproducibility and reusability of the results of data based modeling studies are essential. Yet, there has been so far no broadly supported format for the specification of parameter estimation problems in systems biology. Here, we introduce PEtab, a format which facilitates the specification of parameter estimation problems using Systems Biology Markup Language (SBML) models and a set of tab separated value files describing the observation model and experimental data as well as parameters to be estimated. We already implemented PEtab support into eight well established model simulation and parameter estimation toolboxes with hundreds of users in total. We provide a Python library for validation and modification of a PEtab problem and currently 20 example parameter estimation problems based on recent studies. Specifications of PEtab, the PEtab Python library, as well as links to examples, and all supporting software tools are available at https github.com PEtab dev PEtab, a snapshot is available at https doi.org 10.5281 zenodo.3732958. All original content is available under permissive licenses.


LayoutVAE Stochastic Scene Layout Generation From a Label Set. Recently there is an increasing interest in scene generation within the research community. However, models used for generating scene layouts from textual description largely ignore plausible visual variations within the structure dictated by the text. We propose LayoutVAE, a variational autoencoder based framework for generating stochastic scene layouts. LayoutVAE is a versatile modeling framework that allows for generating full image layouts given a label set, or per label layouts for an existing image given a new label. In addition, it is also capable of detecting unusual layouts, potentially providing a way to evaluate layout generation problem. Extensive experiments on MNIST Layouts and challenging COCO 2017 Panoptic dataset verifies the effectiveness of our proposed framework.


Elimination distance to bounded degree on planar graphs. We study the graph parameter elimination distance to bounded degree, which was introduced by Bulian and Dawar in their study of the parameterized complexity of the graph isomorphism problem. We prove that the problem is fixed parameter tractable on planar graphs, that is, there exists an algorithm that given a planar graph G and integers d and k decides in time f(k,d) cdot n c for a computable function f and constant c whether the elimination distance of G to the class of degree d graphs is at most k .


BIGPATENT A Large Scale Dataset for Abstractive and Coherent Summarization. Most existing text summarization datasets are compiled from the news domain, where summaries have a flattened discourse structure. In such datasets, summary worthy content often appears in the beginning of input articles. Moreover, large segments from input articles are present verbatim in their respective summaries. These issues impede the learning and evaluation of systems that can understand an article's global content structure as well as produce abstractive summaries with high compression ratio. In this work, we present a novel dataset, BIGPATENT, consisting of 1.3 million records of U.S. patent documents along with human written abstractive summaries. Compared to existing summarization datasets, BIGPATENT has the following properties i) summaries contain a richer discourse structure with more recurring entities, ii) salient content is evenly distributed in the input, and iii) lesser and shorter extractive fragments are present in the summaries. Finally, we train and evaluate baselines and popular learning models on BIGPATENT to shed light on new challenges and motivate future directions for summarization research.


Detection imaging with Leak Microstructures. Results obtained with a new very compact detector for imaging with a matrix of Leak Microstructures (LM)are reported. Spatial linearity and spatial resolution obtained by scanning as well as the detection of alpha particles with 100 efficiency, when compared with a silicon detector, are stressed. Preliminary results recently obtained in detecting single electrons emitted by heated filament (Ec 1 eV) at 1 3 mbar of propane are reported.


Learning from Easy to Complex Adaptive Multi curricula Learning for Neural Dialogue Generation. Current state of the art neural dialogue systems are mainly data driven and are trained on human generated responses. However, due to the subjectivity and open ended nature of human conversations, the complexity of training dialogues varies greatly. The noise and uneven complexity of query response pairs impede the learning efficiency and effects of the neural dialogue generation models. What is more, so far, there are no unified dialogue complexity measurements, and the dialogue complexity embodies multiple aspects of attributes specificity, repetitiveness, relevance, etc. Inspired by human behaviors of learning to converse, where children learn from easy dialogues to complex ones and dynamically adjust their learning progress, in this paper, we first analyze five dialogue attributes to measure the dialogue complexity in multiple perspectives on three publicly available corpora. Then, we propose an adaptive multi curricula learning framework to schedule a committee of the organized curricula. The framework is established upon the reinforcement learning paradigm, which automatically chooses different curricula at the evolving learning process according to the learning status of the neural dialogue generation model. Extensive experiments conducted on five state of the art models demonstrate its learning efficiency and effectiveness with respect to 13 automatic evaluation metrics and human judgments.


Evaluating two electron repulsion integrals over arbitrary orbitals using Zero Variance Monte Carlo Application to Full Configuration Interaction calculations with Slater type orbitals. A Monte Carlo method for evaluating multi center two electron repulsion integrals over any type of orbitals (Slater, Sturmian, finite range, numerical, etc.) is presented. The approach is based on a simple and universal (orbital independent) gaussian sampling of the two electron configuration space and on the use of efficient zero variance Monte Carlo estimators. Quite remarkably, it is shown that the high level of accuracy required on two electron integrals to make Hartree Fock (HF) and configuration interaction (CI) calculations feasible can be achieved. A first zero variance estimator is built by introducing a gaussian approximation of the orbitals and by evaluating the two electron integrals using a correlated sampling scheme for the difference between exact and approximate orbitals. A second one is based on the introduction of a general coordinate transformation. The price to pay for this simple and general Monte Carlo scheme is the high computational cost required. However, we argue that the great simplicity of the algorithm, its embarrassingly parallel nature, its ideal adaptation to modern computational platforms and, most importantly, the possibility of using more compact and physically meaningful basis sets make nevertheless the method attractive. HF and near full CI (FCI) calculations using Slater type orbitals (STO) are reported for Be, CH4 and H2N(CH)NH2 (a simple model of cyanine). To the best of our knowledge, our largest FCI calculation involving 18 active electrons distributed among 90 orbitals for the cyanine molecule, is the most extensive molecular calculation performed so far using pure STO orbitals (no gaussian approximation, even for the challenging four center two electron integrals).


New explicitly diagonalizable Hankel matrices related to the Stieltjes Carlitz polynomials. Four new examples of explicitly diagonalizable Hankel matrices depending on a parameter k in(0,1) are presented. The Hankel matrices are regarded as matrix operators on the Hilbert space ell 2 ( mathbb N 0 ) and the solution of the spectral problem is based on an application of the commutator method. Each of the Hankel matrices commutes with a Jacobi matrix which is related to a particular family of the Stieltjes Carlitz polynomials. More examples of explicitly diagonalizable structured matrix operators are obtained when taking into account also weighted Hankel matrices.


Spectral Extremal Results for Hypergraphs. Let F be a graph. A hypergraph is called Berge F if it can be obtained by replacing each edge in F by a hyperedge containing it. Given a family of graphs mathcal F , we say that a hypergraph H is Berge mathcal F free if for every F in mathcal F , the hypergraph H does not contain a Berge F as a subhypergraph. In this paper we investigate the connections between spectral radius of the adjacency tensor and structural properties of a linear hypergraph. In particular, we obtain a spectral version of Tur ' a n type problems over linear k uniform hypergraphs by using spectral methods, including a tight result on Berge C 4 free linear 3 uniform hypergraphs.


Mechanism of reconstitution activation of the soluble PQQ dependent glucose dehydrogenase from Acinetobacter calcoaceticus a comprehensive study. The ability to switch on the activity of an enzyme through its spontaneous reconstitution has proven to be a valuable tool in fundamental studies of enzyme structure reactivity relationships or in the design of artificial signal transduction systems in bioelectronics, synthetic biology, or bioanalytical applications. In particular, those based on the spontaneous reconstitution activation of the apo PQQ dependent soluble glucose dehydrogenase (sGDH) from Acinetobacter calcoaceticus were widely developed. However, the reconstitution mechanism of sGDH with its two cofactors, i.e. the pyrroloquinoline quinone (PQQ) and Ca2 , remains unknown. The objective here is to elucidate this mechanism by stopped flow kinetics under single turnover conditions. The reconstitution of sGDH exhibited biphasic kinetics, characteristic of a square reaction scheme associated to two activation pathways. From a complete kinetic analysis, we were able to fully predict the reconstitution dynamic, but also to demonstrate that when PQQ first binds to the apo sGDH, it strongly impedes the access of Ca2 to its enclosed position at the bottom of the enzyme binding site, thereby greatly slowing down the reconstitution rate of sGDH. This slow calcium insertion may purposely be accelerated by providing more flexibility to the Ca2 binding loop through the specific mutation of the calcium coordinating P248 proline residue, reducing thus the kinetic barrier to calcium ion insertion. The dynamic nature of the reconstitution process is also supported by the observation of a clear loop shift and a reorganization of the hydrogen bonding network and van der Waals interactions observed in both active sites of the apo and holo forms, a structural change modulation that was revealed from the refined X ray structure of apo sGDH (PDB 5MIN).


Reachability Analysis of Self Modifying Code. A Self modifying code is code that modifies its own instructions during execution time. It is nowadays widely used, especially in malware to make the code hard to analyse and to detect by anti viruses. Thus, the analysis of such self modifying programs is a big challenge. Pushdown systems (PDSs) is a natural model that is extensively used for the analysis of sequential programs because they allow to accurately model procedure calls and mimic the program's stack. In this work, we propose to extend the PushDown System model with self modifying rules. We call the new model Self Modifying PushDown System (SM PDS). A SM PDS is a PDS that can modify its own set of transitions during execution. We show how SM PDSs can be used to naturally represent self modifying programs and provide efficient algorithms to compute the backward and forward reachable configurations of SM PDSs. We implemented our techniques in a tool and obtained encouraging results. In particular, we successfully applied our tool for the detection of self modifying malware.


Die Stromversorgung der ISS. This activity was created within the framework of the "Space for Education" project, which ams at experiencing physical principles on the basis of topics related to space travel. It enables the students to investigate the power supply of the International Space Station. If available, they determine the current parameters of the electrical system from the telemetry of the ISS in real time. Otherwise, they can use archive data attached to the working documents. From this, they calculate the electrical power provided by the solar cells. Additional materials at https www.haus der astronomie.de raum fuer bildung Diese Aktivit "at wurde im Rahmen des Projekts "Raum f "ur Bildung" erstellt, welches physikalische Prinzipien anhand der Raumfahrt erlebbar macht. Sie erm "oglicht den Sch "ulerinnen und Sch "ulern, die Stromversorgung der Internationalen Raumstation zu untersuchen. Falls vorhanden, ermitteln sie die augenblicklichen Parameter des elektrischen Systems aus der Telemetrie der ISS in Echtzeit. Ansonsten k "onnen sie Archivdaten nutzen, die den Arbeitsunterlagen beigef "ugt sind. Hieraus berechnen sie die von den Solarzellen zur Verf "ugung gestellte elektrische Leistung. Weitere Materialien unter https www.haus der astronomie.de raum fuer bildung


Spectral Efficiency of Dense Multicell Massive MIMO Networks in Spatially Correlated Channels. This paper is on the spectral efficiency (SE) of a dense multi cell massive multiple input multiple output (MIMO). The channels are spatially correlated and the multi slope path loss model is considered. In our framework, the channel state information is obtained by using pilot sequences and the BSs are deployed randomly. First, we study the channel estimation accuracy and its impact on the SE as the BS density increases and the network becomes densified. Second, we consider the special case of uncorrelated channels for which the stochastic geometry framework helps us to simplify the SE expressions and obtain the minimum value of antenna UE ratio over which the pilot contamination is dominant rather than the inter and intra cell interference. Finally, we provide some insights into the obtained SE for the spatially correlated channels, from a multi cell processing scheme as well as the single cell ones in terms of the BS density. Our results show that while all the detectors result in non increasing SE in terms of the BS density, their area SE increases exponentially as the network becomes densified. Moreover, we conclude that in order to achieve a given SE, the required value of antenna UE ratio decreases as the level of channel correlation increases.


Optimal Payoff under the Generalized Dual Theory of Choice. We consider portfolio optimization under a preference model in a single period, complete market. This preference model includes Yaari's dual theory of choice and quantile maximization as special cases. We characterize when the optimal solution exists and derive the optimal solution in closed form when it exists. The payoff of the optimal portfolio is a digital option it yields an in the money payoff when the market is good and zero payoff otherwise. When the initial wealth increases, the set of good market scenarios remains unchanged while the payoff in these scenarios increases. Finally, we extend our portfolio optimization problem by imposing a dependence structure with a given benchmark payoff and derive similar results.


A Review on Software Architectures for Heterogeneous Platforms. The increasing demands for computing performance have been a reality regardless of the requirements for smaller and more energy efficient devices. Throughout the years, the strategy adopted by industry was to increase the robustness of a single processor by increasing its clock frequency and mounting more transistors so more calculations could be executed. However, it is known that the physical limits of such processors are being reached, and one way to fulfill such increasing computing demands has been to adopt a strategy based on heterogeneous computing, i.e., using a heterogeneous platform containing more than one type of processor. This way, different types of tasks can be executed by processors that are specialized in them. Heterogeneous computing, however, poses a number of challenges to software engineering, especially in the architecture and deployment phases. In this paper, we conduct an empirical study that aims at discovering the state of the art in software architecture for heterogeneous computing, with focus on deployment. We conduct a systematic mapping study that retrieved 28 studies, which were critically assessed to obtain an overview of the research field. We identified gaps and trends that can be used by both researchers and practitioners as guides to further investigate the topic.


Some Properties of a Class of Sparse Polynomials. We study an infinite class of sequences of sparse polynomials that have binomial coefficients both as exponents and as coefficients. This generalizes a sequence of sparse polynomials which arises in a natural way as graph theoretic polynomials. After deriving some basic identities, we obtain properties concerning monotonicity and log concavity, as well as identities involving derivatives. We also prove upper and lower bounds on the moduli of the zeros of these polynomials.


Rotation of a low Reynolds number watermill theory and simulations. Recent experiments have demonstrated that small scale rotary devices installed in a microfluidic channel can be driven passively by the underlying flow alone without resorting to conventionally applied magnetic or electric fields. In this work, we conduct a theoretical and numerical study on such a flow driven "watermill" at low Reynolds number, focusing on its hydrodynamic features. We model the watermill by a collection of equally spaced rigid rods. Based on the classical resistive force (RF) theory and direct numerical simulations, we compute the watermill's instantaneous rotational velocity as a function of its rod number N , position and orientation. When N geq 4 , the RF theory predicts that the watermill's rotational velocity is independent of N and its orientation, implying the full rotational symmetry (of infinity order), even though the geometrical configuration exhibits a lower fold rotational symmetry the numerical solutions including hydrodynamic interactions show a weak dependence on N and the orientation. In addition, we adopt a dynamical system approach to identify the equilibrium positions of the watermill and analyse their stability. We further compare the theoretically and numerically derived rotational velocities, which agree with each other in general, while considerable discrepancy arises in certain configurations owing to the hydrodynamic interactions neglected by the RF theory. We confirm this conclusion by employing the RF based asymptotic framework incorporating hydrodynamic interactions for a simpler watermill consisting of two or three rods and we show that accounting for hydrodynamic interactions can significantly enhance the accuracy of the theoretical predictions.


Optomechanical suspended waveguide for broadband phase modulation with frequency memory effect. Whether it is for transmitting information or for controlling intensity, light modulation is among the essential functions commonly used in complex optical systems. In integrated optics, modulation principles usually include the use of electro optical effects or acousto optics varying index waves. Here, we demonstrate a concept of light modulation based on a vibrating suspended cantilever clamped on both ends, acting as an optical waveguide. In this approach, an optical phase shift is introduced by the physical elongation and by the stress induced in the vibrating cantilever. Most interesting, such a device can store optical information in the form of a phase shift, related to the frequency path dependence of the vibration. This remarkable property stems from the intrinsic non linear dynamical behavior of the device, resembling Duffing like oscillators. In this proof of concept, the micro device is manufactured in a single fused silica chip using femtosecond laser exposure combined with chemical etching and CO2 laser polishing to achieve optical roughness quality. The cantilever vibration results from dielectrophoresis forces arising in the silica beam as a consequence of the non uniform electrostatic field applied to it. Noticeably, being made entirely of fused silica, the device is capable of broadband operation, from the near UV to the mid IR range, and this, at kHz frequencies.


Causality, Responsibility and Blame in Team Plans. Many objectives can be achieved (or may be achieved more effectively) only by a group of agents executing a team plan. If a team plan fails, it is often of interest to determine what caused the failure, the degree of responsibility of each agent for the failure, and the degree of blame attached to each agent. We show how team plans can be represented in terms of structural equations, and then apply the definitions of causality introduced by Halpern 2015 and degree of responsibility and blame introduced by Chockler and Halpern 2004 to determine the agent(s) who caused the failure and what their degree of responsibility blame is. We also prove new results on the complexity of computing causality and degree of responsibility and blame, showing that they can be determined in polynomial time for many team plans of interest.


Real square roots of matrices differential properties in semi simple, symmetric and orthogonal cases. We study the differential and metric structures of the set of real square roots of a non singular real matrix, under the assumption that the matrix and its square roots are semi simple, or symmetric, or orthogonal.


SurfelGAN Synthesizing Realistic Sensor Data for Autonomous Driving. Autonomous driving system development is critically dependent on the ability to replay complex and diverse traffic scenarios in simulation. In such scenarios, the ability to accurately simulate the vehicle sensors such as cameras, lidar or radar is essential. However, current sensor simulators leverage gaming engines such as Unreal or Unity, requiring manual creation of environments, objects and material properties. Such approaches have limited scalability and fail to produce realistic approximations of camera, lidar, and radar data without significant additional work. In this paper, we present a simple yet effective approach to generate realistic scenario sensor data, based only on a limited amount of lidar and camera data collected by an autonomous vehicle. Our approach uses texture mapped surfels to efficiently reconstruct the scene from an initial vehicle pass or set of passes, preserving rich information about object 3D geometry and appearance, as well as the scene conditions. We then leverage a SurfelGAN network to reconstruct realistic camera images for novel positions and orientations of the self driving vehicle and moving objects in the scene. We demonstrate our approach on the Waymo Open Dataset and show that it can synthesize realistic camera data for simulated scenarios. We also create a novel dataset that contains cases in which two self driving vehicles observe the same scene at the same time. We use this dataset to provide additional evaluation and demonstrate the usefulness of our SurfelGAN model.


Equivalence of the existence of K partitions with the existence of the precipitous ideal. In this note we give equivalence of the existence of K partitions with the existence of the precipitous ideal which is essentially topological. This way we strengthen the main result of Frankiewczi and Kunen (1987).