Results 291 to 300 of about 2,250,867 (343)
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 +3 more sources
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 +3 more sources
From projectors to 1MP and MP1 generalized inverses and their induced partial orders
RACSAM, 2021M. V. Hernández, M. Lattanzi, N. Thome
semanticscholar +1 more source
Partially ordered interpretations
Journal of Symbolic Logic, 1977In this paper, we shall define the “partially ordered interpretation” of a first order theory in another first order theory and state some recent results. Although an exact definition will be given in §4 below, we now give a brief outline. First of all, let us recall the “interpretations” defined by A. Tarski et al.
openaire +3 more sources
Partial Ordering of Populations
Journal of Educational Statistics, 1977The two-way classification design structure involving ranks has the practical limitation that it may not be possible or practical to rank all p of the objects in ascending (or descending) order of preference. However, in many such instances it may be quite reasonable to expect each observer to identify a subset, say k < p, of the objects as being ...
P. L. Claypool +2 more
openaire +2 more sources
Logic Journal of IGPL, 1997
There are in the literature a number of different ``possible worlds'' semantics for nonmonotonic reasoning, but they all rest on one or other of two basic intuitions. One intuition is to evaluate an inference by asking whether its conclusion is true in ``the most normal'' among the worlds satisfying the premises.
openaire +3 more sources
There are in the literature a number of different ``possible worlds'' semantics for nonmonotonic reasoning, but they all rest on one or other of two basic intuitions. One intuition is to evaluate an inference by asking whether its conclusion is true in ``the most normal'' among the worlds satisfying the premises.
openaire +3 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
2008
We introduce the notion of a partially ordered set (poset) we and define several types of special elements associated with partial orders.
Chabane Djeraba, Dan A. Simovici
openaire +2 more sources
We introduce the notion of a partially ordered set (poset) we and define several types of special elements associated with partial orders.
Chabane Djeraba, Dan A. Simovici
openaire +2 more sources
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 +2 more sources
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 +2 more sources
Several types of one-sided partial orders in rings
RACSAM, 2019Huihui Zhu, P. Patrício
semanticscholar +1 more source
Dynamical memristors for higher-complexity neuromorphic computing
Nature Reviews Materials, 2022Suhas Kumar +2 more
exaly