Partially ordered sets

2015 ◽  
pp. 47-69
Author(s):  
T. Kyle Petersen
Keyword(s):  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered

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
Sign in / Sign up

Export Citation Format

Share Document