English
Related papers

Related papers: Abstract Geometrical Computation 8: Small Machines…

200 papers

Automata networks can be seen as bare finite dynamical systems, but their growing theory has shown the importance of the underlying communication graph of such networks. This paper tackles the question of what dynamics can be realized up to…

Computational Complexity · Computer Science 2025-11-17 Julio Aracena , Florian Bridoux , Maximilien Gadouleau , Pierre Guillon , Kévin Perrot , Adrien Richard , Guillaume Theyssier

In the unsplittable capacitated vehicle routing problem, we are given a metric space with a vertex called depot and a set of vertices called terminals. Each terminal is associated with a positive demand between 0 and 1. The goal is to find…

Data Structures and Algorithms · Computer Science 2022-09-14 Fabrizio Grandoni , Claire Mathieu , Hang Zhou

Randomized higher-order computation can be seen as being captured by a lambda calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice. What matters about such computations is the probability of…

Logic in Computer Science · Computer Science 2020-12-24 Ugo Dal Lago , Claudia Faggian , Simona Ronchi Della Rocca

First-order operator splitting methods are ubiquitous among many fields through science and engineering, such as inverse problems, signal/image processing, statistics, data science and machine learning, to name a few. In this paper, we…

Optimization and Control · Mathematics 2020-09-10 Clarice Poon , Jingwei Liang

A generic rectangulation is a partition of a rectangle into finitely many interior-disjoint rectangles, such that no four rectangles meet in a point. In this work we present a versatile algorithmic framework for exhaustively generating a…

Combinatorics · Mathematics 2021-11-02 Arturo Merino , Torsten Mütze

We consider a one-dimensional traffic model with a slow-to-start rule. The initial position of the cars in $\mathbb R$ is a Poisson process of parameter $\lambda$. Cars have speed 0 or 1 and travel in the same direction. At time zero the…

Probability · Mathematics 2020-06-24 Pablo A. Ferrari , Leonardo T. Rolla

We study competition of two spreading colors starting from single sources on the configuration model with i.i.d. degrees following a power-law distribution with exponent tau in (2,3). In this model two colors spread with a fixed but not…

Probability · Mathematics 2016-11-14 Enrico Baroni , Remco van der Hofstad , Julia Komjathy

In the framework of the Hough transform technique to detect curves in images, we provide a bound for the number of Hough transforms to be considered for a successful optimization of the accumulator function in the recognition algorithm.…

Computer Vision and Pattern Recognition · Computer Science 2019-04-05 Mauro C. Beltrametti , Cristina Campi , Anna Maria Massone , Maria-Laura Torrente

Sensing and aggregation of noisy observations should not be considered as separate issues. The quality of collective estimation involves a difficult tradeoff between sensing quality which increases by increasing the number of sensors, and…

Information Theory · Computer Science 2011-02-16 Tatsuto Murayama , Peter Davis

Transitive consistency is an intrinsic property for collections of linear invertible transformations between Euclidean coordinate frames. In practice, when the transformations are estimated from data, this property is lacking. This work…

Optimization and Control · Mathematics 2015-09-03 Johan Thunberg , Florian Bernard , Jorge Goncalves

This work addresses the problem of simulating Gaussian random fields that are continuously indexed over a class of metric graphs, termed graphs with Euclidean edges, being more general and flexible than linear networks. We introduce three…

Statistics Theory · Mathematics 2024-04-29 Alfredo Alegría , Xavier Emery , Tobia Filosi , Emilio Porcu

We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented by vertices. These graphs have an interface made of…

Logic in Computer Science · Computer Science 2010-07-23 Lucas Dixon , Ross Duncan , Aleks Kissinger

The optimal calculation order of a computational graph can be represented by a set of algebraic expressions. Computational graph and algebraic expression both have close relations and significant differences, this paper looks into these…

Symbolic Computation · Computer Science 2021-01-01 Yichong Zhou

We study two-dimensional random sequential adsorption (RSA) of flat polygons and rounded squares aligned in parallel to find a transition in the asymptotic behavior of the kinetics of packing growth. Differences in the kinetics for RSA of…

Statistical Mechanics · Physics 2023-05-31 Michał Cieśla , Piotr Kubala , Aref Abbasi Moud

Counting triangles in a graph and incident to each vertex is a fundamental and frequently considered task of graph analysis. We consider how to efficiently do this for huge graphs using massively parallel distributed-memory machines.…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-24 Peter Sanders , Tim Niklas Uhl

Understanding the dynamics of traffic clusters is crucial for enhancing urban transportation systems, particularly in managing congestion and free-flow states. This study applies computational percolation theory to analyze the formation and…

Physics and Society · Physics 2025-07-30 Yongsung Kwon , Minjin Lee , Mi Jin Lee , Seung-Woo Son

To improve our understanding of connected systems, different tools derived from statistics, signal processing, information theory and statistical physics have been developed in the last decade. Here, we will focus on the graph comparison…

Physics and Society · Physics 2018-04-23 Johann H. Martínez , Mario Chavez

Consider a unit interval $[0,1]$ in which $n$ points arrive one-by-one independently and uniformly at random. On arrival of a point, the problem is to immediately and irrevocably color it in $\{+1,-1\}$ while ensuring that every interval…

Data Structures and Algorithms · Computer Science 2019-10-03 Haotian Jiang , Janardhan Kulkarni , Sahil Singla

Generative models can produce impressively realistic images. This paper demonstrates that generated images have geometric features different from those of real images. We build a set of collections of generated images, prequalified to fool…

Computer Vision and Pattern Recognition · Computer Science 2024-06-03 Ayush Sarkar , Hanlin Mai , Amitabh Mahapatra , Svetlana Lazebnik , D. A. Forsyth , Anand Bhattad

We analyze the asymptotic properties of a Euclidean optimization problem on the plane. Specifically, we consider a network with three bins and $n$ objects spatially uniformly distributed, each object being allocated to a bin at a cost…

Probability · Mathematics 2010-12-22 Charles Bordenave , Giovanni Luca Torrisi