Learn More
We present a rewriting logic based technique for defining the formal executable semantics of a non-autonomous Petri net class, named Input-Output Place/Transition nets (IOPT nets), designed for model-based embedded system's development, according to the MDA initiative. For this purpose, we provide model-to-model transformations from ecore IOPT models to a(More)
Transdiaphragmatic intercostal hernia is uncommon and mostly related to blunt or penetrating trauma. We report three similar cases of cough-induced transdiaphragmatic intercostal hernia, highlighting the anatomic findings obtained with different imaging modalities (radiography, ultrasonography, CT, and magnetic resonance) in each of the cases.
BACKGROUND AND OBJECTIVES Since controlling tracheal tube cuffs internal pressure is unusual and there is no detailed description in the literature on how to maintain it below 30 cmH2O without manometer, this study aimed at checking tracheal tube intra-cuff pressures in intensive care unit and operating room patients. A maneuver was tested to keep(More)
  • 1