scholarly journals Boolean Dependence Logic and Partially-Ordered Connectives

2013 ◽  
pp. 111-125 ◽  
Author(s):  
Johannes Ebbing ◽  
Lauri Hella ◽  
Peter Lohmann ◽  
Jonni Virtema
Keyword(s):  
Dependence Logic ◽  
Partially Ordered

scholarly journals Boolean dependence logic and partially-ordered connectives

2017 ◽  
Vol 88 ◽  
pp. 103-125 ◽  
Author(s):  
Johannes Ebbing ◽  
Lauri Hella ◽  
Peter Lohmann ◽  
Jonni Virtema
Keyword(s):  
Dependence Logic ◽  
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

PROBABILITY ON A PARTIALLY ORDERED SET

2020 ◽  
Vol 9 (10) ◽  
pp. 8771-8777
Author(s):  
Aditya Kumar Mishra
Keyword(s):  
Partially Ordered Set ◽  
Ordered Set ◽  
Partially Ordered

scholarly journals Author Correction: Experimental evidence for the existence of a second partially-ordered phase of ice VI

2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Ryo Yamane ◽  
Kazuki Komatsu ◽  
Jun Gouchi ◽  
Yoshiya Uwatoko ◽  
Shinichi Machida ◽  
...  
Keyword(s):  
Experimental Evidence ◽  
Partially Ordered

A Correction to this paper has been published: https://doi.org/10.1038/s41467-021-22085-4

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.

Intrinsic metric preserving maps on partially ordered groups

1996 ◽  
Vol 36 (1) ◽  
pp. 135-140 ◽  
Author(s):  
M. Jasem
Keyword(s):  
Intrinsic Metric ◽  
Partially Ordered ◽  
Ordered Groups

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

Export Citation Format

Share Document