Journal of critical care
The most recent articles from:
J Crit Care
-
Journal of critical care · Aug 2014
Verifying a medical protocol with temporal graphs: The case of a nosocomial disease.
Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. ⋯ The proposed approach allows for the visual modeling of temporal reasoning and a formalization of knowledge that can assist in the diagnosis and treatment of nosocomial infections and some clinical problems. This is the first time that one emphasizes the temporal situation modeling in conceptual graphs. It will also deliver a formal verification method for clinical guideline analyses.
-
Journal of critical care · Aug 2014
Editorial Comment LetterNeurally adjusted ventilatory assist: First indications of clinical outcomes.