Results 111 to 120 of about 1,696,138 (202)

Do no harm? How health care management research can advance environmentally sustainable health care. [PDF]

open access: yesHealth Care Manage Rev
Tietschert MV   +5 more
europepmc   +1 more source

Robust probabilistic temporal logics

open access: yesInformation Processing Letters
We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
openaire   +4 more sources

Spatial Logics for Bigraphs

open access: yes, 2005
Bigraphs are emerging as an interesting model for concurrent calculi, like CCS, pi-calculus, and Petri nets. Bigraphs are built orthogonally on two structures: a hierarchical place graph for locations and a link (hyper-)graph for connections.
Conforti, G., Macedonio, D., Sassone, V.
core  

From Exercise Dose to Exercise Architecture: Lifestyle-Congruent Exercise Models for Contemporary Adults. [PDF]

open access: yesSports (Basel)
Muñoz-López M   +6 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy