Filters
Some examples of universal and generic partial orders
We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by g...
BA - Obecná matematika
- 2011 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Hypergrupoids on Special Partially Ordered Sets
Hypergrupoids on Special Partially Ordered Sets are considered...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Hypersemigroups Constructed on Especially Partial Ordered Sets
Hypersemigroups Constructed on Especially Partial Ordered Sets are study...
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
FTIR spectroscopy of partially ordered conducting polyaniline films
FTIR spectroscopy of partially ordered conducting polyaniline films...
BM - Fyzika pevných látek a magnetismus
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Partial Order Reduction for State/Event LTL
The main contribution of the paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of sttuttering equivalence which w...
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Partially ordered automata and piecewise testability
Partially ordered automata are automata where the transition relation induces a partial order on states. The expressive power of partially ordered automata is closely languages. These languages ar...
Automation and control systems
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Big Ramsey Degrees of the Generic Partial Order
As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order in a similar way as Devlin characterised big Ramsey degrees of the generic linear order (the order of r...
Pure mathematics
- 2021 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
More on PT-Symmetry in (Generalized) Effect Algebras and Partial Groups
We continue in the direction of our paper on PT -Symmetry in (Generalized) Effect Algebras and Partial Groups. Namely we extend our considerations to the setting of weakly ordered partial groups. In this setting, any operat...
BA - Obecná matematika
- 2011 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Algorithms for comparability of matrices in partial orders imposed by graph homomorphisms
The paper presents several algorithms for comparability of matrices in partial orders imposed by locally constrained graph homomorphisms....
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Distributed Partial Order Reduction of State Spaces
In this paper we propose a distrubuted partial order reduction algorithm for generating a reduced state space. Our algorithm exploits some features of the partial order reduction which make the idea of distributed ...
IN - Informatika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 84 402