Fokkink and Zantema (Fokkink and Zantema 1994) have shown that bisimulation equivalence has a finite equational axiomatization over the language of Basic P... L Aceto,W Fokkink,A Ingólfsdóttir - 《Mathematical Structures in Computer Science》 被引量: 77发表: 1998年 Descending chains and an...
We study a class of dynamic games with a continuum of atomless players where each player controls a semi-Markov process of individual states, while the global state of the game is the aggregation of individual states of all the players. The model differs from standard models of dynamic games ...
A special property of the (dis-)connection events appearing in our results is that even though they are non-local, i.e., they depend on a macroscopic (in terms of the size of the graph) number of edge variables, their probabilities are simple functions of the boundary measurements which a...
Spearman correlations were used to examine relations among indicators of VA status and between indicators of inflammation and VA status. Regression analysis was used to examine associations between biomarkers of VA toxicity and estimated liver VA concentration, and biomarkers of VA toxicity and usual di...
Editors select a small number of articles recently published in the journal that they believe will be particularly interesting to readers, or important in the respective research area. The aim is to provide a snapshot of some of the most exciting work published in the various research areas of...
Our analysis revealed that while quantum mutual information, the p-norm, and the Pearson measure exhibit equivalence for two-qubit systems, they all suffer from an ordering problem. Despite criticisms regarding its reliability, we argued that QMI remains a valid measure of total correlations. ...