Results 241 to 250 of about 983,168 (284)
Some of the next articles are maybe not open access.
2000
Partial order reductions are a family of techniques for diminishing the statespace explosion problem for model-checking concurrent programs. They are based on the Observation that execution sequences of a concurrent program can be grouped together into equivalence classes that are indistinguishable by the property to be checked.
openaire +1 more source
Partial order reductions are a family of techniques for diminishing the statespace explosion problem for model-checking concurrent programs. They are based on the Observation that execution sequences of a concurrent program can be grouped together into equivalence classes that are indistinguishable by the property to be checked.
openaire +1 more source
1999
Many of the semirings originally studied, such as ℕ and ideal(R), have a partial-order structure in addition to their algebraic structure and, indeed, the most interesting theorems concerning them make use of the interplay between these two structures.
openaire +1 more source
Many of the semirings originally studied, such as ℕ and ideal(R), have a partial-order structure in addition to their algebraic structure and, indeed, the most interesting theorems concerning them make use of the interplay between these two structures.
openaire +1 more source
Partial Orderings in Chemistry
Journal of Chemical Information and Computer Sciences, 1997The cosmopolitan relevance of partially ordered mathematical structures in chemistry is argued. Many examples are briefly noted, including those involving chemical periodicities, reactivities, aromaticities, electronegativities, molecular branching, molecular shapes, symmetries, complexities, curve fittings, and more.
Klein, D.J, Babić, Darko
openaire +3 more sources
Uncountable Homogeneous Partial Orders
MLQ, 2002A partially ordered set is called \(k\)-homogeneous if any isomorphism between \(k\)-element subsets extends to an automorphism. In this paper the \(k\)-homogeneous but not \((k+1)\)-homogeneous partially ordered sets are studied.
Droste, Manfred +2 more
openaire +2 more sources
Partially Ordered Abelian Groupoids
Siberian Mathematical JournalzbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. A. Pervukhin +2 more
openaire +2 more sources
1997
Abstract We explore several connections between graphs and partially ordered sets. We define various graphs and digraphs associated with a partially ordered set, and explore how the properties of the partial order are reflected in these graphs.
openaire +1 more source
Abstract We explore several connections between graphs and partially ordered sets. We define various graphs and digraphs associated with a partially ordered set, and explore how the properties of the partial order are reflected in these graphs.
openaire +1 more source
Correlation Among Partial Orders
SIAM Journal on Algebraic Discrete Methods, 1983If A is a poset and P is a (finite) poset whose underlying set contains the elements of A, then A is said to occur in a linear extension L of P if each relation in A is realized in L; if L is chose...
openaire +2 more sources
Partially ordered groups and partially ordered linear spaces.
1951zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kantorovich, L. V. +2 more
openaire +2 more sources
Hierarchical partial order ranking
Environmental Pollution, 2008Assessing the potential impact on environmental and human health from the production and use of chemicals or from polluted sites involves a multi-criteria evaluation scheme. A priori several parameters are to address, e.g., production tonnage, specific release scenarios, geographical and site-specific factors in addition to various substance dependent ...
openaire +2 more sources
Journal of Mathematical Sciences, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources