Initial segments of the degrees of unsolvability Part II: minimal degrees

1970 ◽  
Vol 35 (2) ◽  
pp. 243-266 ◽  
Author(s):  
C. E. M. Yates
Keyword(s):  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered ◽  
Upper Semilattice ◽  
Degrees Of Unsolvability ◽  
Made In

The first of this sequence of papers [21] surveyed the progress that has been made in embedding partially ordered sets as initial segments of the uncountable upper semilattice D of degrees of unsolvability. The principal concern of the present and subsequent parts will be with initial segments of the countable upper semilattice D (≦0(1)) of degrees ≦0(1); a summary appeared in [21].

To the spectral theory of partially ordered sets

2018 ◽  
Vol 60 (3) ◽  
pp. 578-598
Author(s):  
Yu. L. Ershov ◽  
M. V. Schwidefsky
Keyword(s):  
Spectral Theory ◽  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered

Modelling Nondeterministic Concurrent Processes with Event Structures

1991 ◽  
Vol 14 (1) ◽  
pp. 39-73
Author(s):  
Rita Loogen ◽  
Ursula Goltz
Keyword(s):  
Dynamic Behaviour ◽  
Partially Ordered Sets ◽  
Parallel Composition ◽  
Ordered Sets ◽  
Communicating Sequential Processes ◽  
Partially Ordered ◽  
Event Structures ◽  
Transition Relation ◽  
Concurrent Processes ◽  
Sequential Processes

We present a non-interleaving model for non deterministic concurrent processes that is based on labelled event structures. We define operators on labelled event structures like parallel composition, nondeterministic combination, choice, prefixing and hiding. These operators correspond to the operations of the “Theory of Communicating Sequential Processes” (TCSP). Infinite processes are defined using the metric approach. The dynamic behaviour of event structures is defined by a transition relation which describes the execution of partially ordered sets of actions, abstracting from internal events.

Estimating the area under a receiver operating characteristic curve using partially ordered sets

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Ehsan Zamanzade ◽  
Xinlei Wang
Keyword(s):  
Roc Curve ◽  
Characteristic Curve ◽  
Partially Ordered Sets ◽  
Sampling Technique ◽  
Real Data ◽  
Cost Effective ◽  
Ordered Sets ◽  
Operating Characteristics ◽  
Partially Ordered ◽  
Receiver Operating

AbstractRanked set sampling (RSS), known as a cost-effective sampling technique, requires that the ranker gives a complete ranking of the units in each set. Frey (2012) proposed a modification of RSS based on partially ordered sets, referred to as RSS-t in this paper, to allow the ranker to declare ties as much as he/she wishes. We consider the problem of estimating the area under a receiver operating characteristics (ROC) curve using RSS-t samples. The area under the ROC curve (AUC) is commonly used as a measure for the effectiveness of diagnostic markers. We develop six nonparametric estimators of the AUC with/without utilizing tie information based on different approaches. We then compare the estimators using a Monte Carlo simulation and an empirical study with real data from the National Health and Nutrition Examination Survey. The results show that utilizing tie information increases the efficiency of estimating the AUC. Suggestions about when to choose which estimator are also made available to practitioners.

scholarly journals Model Checking Existential Logic on Partially Ordered Sets

2016 ◽  
Vol 17 (2) ◽  
pp. 1-35 ◽  
Author(s):  
Simone Bova ◽  
Robert Ganian ◽  
Stefan Szeider
Keyword(s):  
Model Checking ◽  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered

Planar zero divisor graphs of partially ordered sets

2012 ◽  
Vol 137 (1-2) ◽  
pp. 27-35 ◽  
Author(s):  
M. Afkhami ◽  
Z. Barati ◽  
K. Khashyarmanesh
Keyword(s):  
Zero Divisor ◽  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered

scholarly journals An inequality for partially ordered sets

1990 ◽  
Vol 54 (1) ◽  
pp. 123-128 ◽  
Author(s):  
István Beck
Keyword(s):  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered

scholarly journals Adjoint functors, projectivization, and differentiation algorithms for representations of partially ordered sets

2012 ◽  
Vol 353 (1) ◽  
pp. 224-248
Author(s):  
Mark Kleiner ◽  
Markus Reitenbach
Keyword(s):  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Adjoint Functors ◽  
Partially Ordered

On Positive-Definite Tits Forms for Unbounded Partially Ordered Sets with Involution

2005 ◽  
Vol 8 (1) ◽  
pp. 7-13
Author(s):  
V. M. Bondarenko ◽  
D. S. Chebotarev
Keyword(s):  
Partially Ordered Sets ◽  
Positive Definite ◽  
Ordered Sets ◽  
Partially Ordered

Splitting Properties in Partially Ordered Sets and Set Systems

2000 ◽  
pp. 29-44 ◽  
Author(s):  
Rudolf Ahlswede ◽  
Levon H. Khachatrian
Keyword(s):  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered ◽  
Set Systems
Sign in / Sign up

Export Citation Format

Share Document