English
Related papers

Related papers: Presenting Interval Pomsets with Interfaces

200 papers

Unordered, variable-sized inputs arise in many settings across multiple fields. The ability for set- and multiset-oriented neural networks to handle this type of input has been the focus of much work in recent years. We propose to represent…

Formal Languages and Automata Theory · Computer Science 2020-08-31 Justin DeBenedetto , David Chiang

Several methods are available in the literature to stochastically compare random variables and random vectors. We introduce the notion of asymptotic stochastic order for random processes and define four such orders. Various properties and…

Probability · Mathematics 2021-03-03 Sugata Ghosh , Asok K. Nanda

Scattering moments provide nonparametric models of random processes with stationary increments. They are expected values of random variables computed with a nonexpansive operator, obtained by iteratively applying wavelet transforms and…

Methodology · Statistics 2015-03-17 Joan Bruna , Stéphane Mallat , Emmanuel Bacry , Jean-François Muzy

The dynamics of coupled intermittent maps is used to model the correlated structure of genomic sequences. The use of intermittent maps, as opposed to other simple chaotic maps, is particularly suited for the production of long range…

Statistical Mechanics · Physics 2015-06-05 Astero Provata , Christian Beck

This paper presents different methods for solving parallel machine scheduling problems with precedence constraints and setup times between the jobs. Limited discrepancy search methods mixed with local search principles, dominance conditions…

Data Structures and Algorithms · Computer Science 2009-02-19 Bernat Gacias , Christian Artigues , Pierre Lopez

We consider large random graphs with prescribed degrees, such as those generated by the configuration model. In the regime where the empirical degree distribution approaches a limit $\mu$ with finite mean, we establish the systematic…

Probability · Mathematics 2019-02-20 Justin Salez

We study intersection access control for autonomous vehicles. Platoon forming algorithms, which aim to organize individual vehicles in platoons, are very promising. To create those platoons, we slow down vehicles before the actual arrival…

Data Structures and Algorithms · Computer Science 2024-12-20 R. W. Timmerman , M. A. A. Boon

In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset…

General Topology · Mathematics 2025-09-11 Adam Bartoš , Tristan Bice , Alessandro Vignati

Interval graphs are intersection graphs of closed intervals of the real-line. The well-known computational problem, called recognition, asks whether an input graph $G$ can be represented by closed intervals, i.e., whether $G$ is an interval…

Discrete Mathematics · Computer Science 2014-05-20 Pavel Klavík , Jan Kratochvíl , Yota Otachi , Toshiki Saitoh , Tomáš Vyskočil

Interval graphs are intersection graphs of closed intervals. A generalization of recognition called partial representation extension was introduced recently. The input gives an interval graph with a partial representation specifying some…

Combinatorics · Mathematics 2016-02-22 Pavel Klavík , Maria Saumell

The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfaces, called interface simulation distance. It makes the…

Software Engineering · Computer Science 2012-10-10 Pavol Černý , Martin Chmelík , Thomas A. Henzinger , Arjun Radhakrishna

In general, representations of interval orders may use an arbitrary set of interval lengths. We can define subclasses of interval orders by restricting the allowable lengths of intervals. Motivated by a recent paper of Keller, Trenk, and…

Combinatorics · Mathematics 2024-11-13 Csaba Biro , Sida Wan

The paper addresses an approach to ordinal assessment of alternatives based on assignment of elements into an ordinal scale. Basic versions of the assessment problems are formulated while taking into account the number of levels at a basic…

Systems and Control · Computer Science 2012-05-10 Mark Sh. Levin

In the item there are presented Interval Structure allow to extend the class of multicriteria decision making problems including incomplete Initial Information. this step will facilitate dada gathering in pairs matching for decision making.

Optimization and Control · Mathematics 2007-05-23 V. Zhukovin , Z. Alimbarashvili

We consider ways to construct a transducer for a given set of input word to output symbol pairs. This is motivated by the need for representing game playing programs in a low-level mathematical format that can be analyzed by algebraic…

Formal Languages and Automata Theory · Computer Science 2025-02-13 Attila Egri-Nagy , Chrystopher L. Nehaniv

In this paper, we consider the composition of two independent processes : one process corresponds to position and the other one to time. Such processes will be called iterated processes. We first propose an algorithm based on the Euler…

Probability · Mathematics 2017-05-03 Michèle Thieullen , Alexis Vigot

In this work we present a new simple but efficient scheme - Subsquares approach - for development of algorithms for enclosing the solution set of overdetermined interval linear systems. We are going to show two algorithms based on this…

Numerical Analysis · Computer Science 2013-05-07 Jaroslav Horáček , Milan Hladík

We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given. Some equivalence…

Logic in Computer Science · Computer Science 2007-05-23 Mauricio Osorio , Juan Antonio Navarro , Jose Arrazola

We study a subclass of the May-Leonard stochastic model with an arbitrary, even number of species, leading to the arising of two competing partnerships where individuals are indistinguishable. By carrying out a series of accurate numerical…

Pattern Formation and Solitons · Physics 2018-11-21 T. A. Pereira , J. Menezes , L. Losano

This work introduces an enhanced approach to generating scene graphs by incorporating both a relationship hierarchy and commonsense knowledge. Specifically, we begin by proposing a hierarchical relation head that exploits an informative…

Computer Vision and Pattern Recognition · Computer Science 2024-12-10 Bowen Jiang , Zhijun Zhuang , Shreyas S. Shivakumar , Camillo J. Taylor