English
Related papers

Related papers: Presenting Interval Pomsets with Interfaces

200 papers

Although diffusion models have successfully extended to function-valued data, stochastic interpolants -- which offer a flexible way to bridge arbitrary distributions -- remain limited to finite-dimensional settings. This work bridges this…

Machine Learning · Statistics 2026-02-03 James Boran Yu , RuiKang OuYang , Julien Horwood , José Miguel Hernández-Lobato

We give an efficient algorithm that, given a graph $G$ and a partition $V_1,\ldots,V_m$ of its vertex set, finds either an independent transversal (an independent set $\{v_1,\ldots,v_m\}$ in $G$ such that $v_i\in V_i$ for each $i$), or a…

Combinatorics · Mathematics 2020-09-16 Alessandra Graf , Penny Haxell

Preferential attachment lies at the heart of many network models aiming to replicate features of real world networks. To simulate the attachment process, conduct statistical tests, or obtain input data for benchmarks, efficient algorithms…

Data Structures and Algorithms · Computer Science 2023-01-18 Daniel Allendorf , Ulrich Meyer , Manuel Penschuck , Hung Tran

We present several infinite series of synchronizing automata for which the minimum length of reset words is close to the square of the number of states. All these automata are tightly related to primitive digraphs with large exponent.

Formal Languages and Automata Theory · Computer Science 2014-11-25 Dmitry S. Ananichev , Vladimir V. Gusev , Mikhail V. Volkov

We consider databases in which each attribute takes values from a partially ordered set (poset). This allows one to model a number of interesting scenarios arising in different applications, including quantitative databases, taxonomies, and…

Databases · Computer Science 2014-11-11 Khaled M. Elbassioni

A novel language system has given rise to promising alternatives to standard formal and processor network models of computation. An interstring linked with a abstract machine environment, shares sub-expressions, transfers data, and…

Programming Languages · Computer Science 2010-05-31 Alexander Victor Berka

This paper considers the problem of distributed state estimation using multi-robot systems. The robots have limited communication capabilities and, therefore, communicate their measurements intermittently only when they are physically close…

Robotics · Computer Science 2019-03-12 Reza Khodayi-mehr , Yiannis Kantaros , Michael M. Zavlanos

We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of…

Logic · Mathematics 2019-02-01 Rob Egrot

Motility-induced phase separation (MIPS) is a purely non-equilibrium phenomenon in which self-propelled particles phase separate without any attractive interactions. One surprising feature of MIPS is the emergence of polar, nematic, and…

Soft Condensed Matter · Physics 2022-02-08 Chiu Fan Lee

The concept of "stochastic precedence" between two real-valued random variables has often emerged in different applied frameworks. In this paper we consider a slightly more general, and completely natural, concept of stochastic precedence…

Probability · Mathematics 2015-06-17 Emilio De Santis , Fabio Fantozzi , Fabio Spizzichino

Large Language Models (LLMs) have demonstrated impressive reasoning capabilities but continue to struggle with arithmetic tasks. Prior works largely focus on outputs or prompting strategies, leaving the open question of the internal…

Computation and Language · Computer Science 2025-11-04 Dharunish Yugeswardeenoo , Harshil Nukala , Ved Shah , Cole Blondin , Sean O Brien , Vasu Sharma , Kevin Zhu

We describe an intermediate language designed as a medium-level internal representation of programs of the interactive music system Antescofo. This representation is independent both of the Antescofo source language and of the architecture…

Multimedia · Computer Science 2014-04-30 Florent Jacquemard , Clément Poncelet Sanchez

We propose a new approach to compute an interval over-approximation of the finite time reachable set for a large class of nonlinear systems. This approach relies on the notions of sensitivity matrices, which are the partial derivatives…

Systems and Control · Electrical Eng. & Systems 2021-04-19 Pierre-Jean Meyer , Murat Arcak

Current Conversational AI systems employ different machine learning pipelines, as well as external knowledge sources and business logic to predict the next action. Maintaining various components in dialogue managers' pipeline adds…

Computation and Language · Computer Science 2024-04-15 Amin Hosseiny Marani , Ulie Schnaithmann , Youngseo Son , Akil Iyer , Manas Paldhe , Arushi Raghuvanshi

We study discrete time linear constrained switching systems with additive disturbances, in which the switching may be on the system matrices, the disturbance sets, the state constraint sets or a combination of the above. In our general…

Systems and Control · Computer Science 2017-02-03 Nikolaos Athanasopoulos , Konstantinos Smpoukis , Raphael M. Jungers

We consider the problem of analyzing social network data sets in which the edges of the network have timestamps, and we wish to analyze the subgraphs formed from edges in contiguous subintervals of these timestamps. We provide data…

Data Structures and Algorithms · Computer Science 2012-09-27 Michael J. Bannister , Christopher DuBois , David Eppstein , Padhraic Smyth

For the task of moving a group of indistinguishable agents on a connected graph with unit edge lengths into an arbitrary goal formation, it was previously shown that distance optimal paths can be scheduled to complete with a tight…

Robotics · Computer Science 2015-03-20 Jingjin Yu

Directed graphs occur throughout statistical modeling of networks, and exchangeability is a natural assumption when the ordering of vertices does not matter. There is a deep structural theory for exchangeable undirected graphs, which…

Statistics Theory · Mathematics 2016-12-19 Diana Cai , Nathanael Ackerman , Cameron Freer

The problem of counting collisions or interactions is common in areas as computer graphics and scientific simulations. Since it is a major bottleneck in applications of these areas, a lot of research has been carried out on such subject,…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-09-04 Matheus Henrique Junqueira Saldanha , Paulo Sérgio Lopes de Souza

Tabular datasets are ubiquitous in data science applications. Given their importance, it seems natural to apply state-of-the-art deep learning algorithms in order to fully unlock their potential. Here we propose neural network models that…

Machine Learning · Computer Science 2021-02-15 Inkit Padhi , Yair Schiff , Igor Melnyk , Mattia Rigotti , Youssef Mroueh , Pierre Dognin , Jerret Ross , Ravi Nair , Erik Altman