Results 261 to 270 of about 323,082 (307)
An American Hospital Association-informed weighting framework for Oracle Health Real-World Data: validation against National Healthcare Cost and Utilization Project encounter databases. [PDF]
JAMIA OpenQeadan F +5 more
europepmc +1 more source
A Serious Game for Soft Skills Assessment in Human Resources: Cross-Sectional Within-Participant Convergent Validity Study. [PDF]
JMIR Serious GamesBoutrouille M, Fichet L, Dinet J.
europepmc +1 more source
Observation equivalence as a testing equivalence
Theoretical Computer Science, 1987 A notion of testing is developed for transition systems with divergence. The forms of testing include traces, refusals, copying and global testing. Both denotational and operational formulations of testing are given. The equivalence based on this notion of testing is shown to coincide with observation equivalence.
Samson Abramsky
exaly +5 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Testing equivalence as a bisimulation equivalence
Formal Aspects of Computing, 1990Abstract In this paper we show how the testing equivalences and preorders on transition systems may be interpreted as instances of generalized bisimulation equivalences and prebisimulation preorders. The characterization relies on defining transformations on the transition systems in such a way that the testing relations on the original ...
Rance Cleaveland, Matthew Hennessy
openaire +3 more sources
Theoretical Computer Science, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yunong Zhang +4 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yunong Zhang +4 more
openaire +2 more sources
An Equivalence‐Theoretic Equivalent of the Axiom of Choice
Mathematical Logic Quarterly, 1986Representability of unary partial operations by equivalence relations as introduced by the author [Z. Math. Logik Grundlagen Math. 29, 569-571 (1983; Zbl 0509.08002)] is shown to be equivalent to the axiom of choice.
openaire +3 more sources
Fuzzy equivalence relations and their equivalence classes
Fuzzy Sets and Systems, 2007The authors investigate various properties of equivalence classes of fuzzy equivalence relations over a complete residuated lattice, and give certain characterizations of fuzzy semi-partitions and fuzzy partitions over a complete residuated lattice, as well as over a linearly ordered complete Heyting algebra.
Miroslav Ciric +2 more
exaly +4 more sources
Equivalence and Non-equivalence in Parallel Corpora
International Journal of Corpus Linguistics, 2001The present paper shows how an aligned parallel corpus can be used to investigate the consistency of translation equivalence across the two languages in a parallel corpus. The particular issues addressed are the bidirectionality of translation equivalence, the coverage of multiword units, and the amount of implicit knowledge presupposed on the part of ...
Tamás Váradi, Gábor Kiss
openaire +1 more source
International Economic Review, 1988
The paper provides a way to formulate a general equilibrium model with both infinite time horizon and continuous uncertainty by \({\mathcal L}_{\infty}\)-commodity space, and provides a simple proof of the equivalence of equilibria in complete markets, incomplete markets with sequential trading, and incomplete markets with one-shot trades in single ...
openaire +1 more source
The paper provides a way to formulate a general equilibrium model with both infinite time horizon and continuous uncertainty by \({\mathcal L}_{\infty}\)-commodity space, and provides a simple proof of the equivalence of equilibria in complete markets, incomplete markets with sequential trading, and incomplete markets with one-shot trades in single ...
openaire +1 more source