Objective: To determine the incidence and the severity of intra-abdominal hypertension in non-surgical patients hospitalized in the intensive care unit. Materials and methods: : From June 2009 to December 2012 we studied prospectively a randomized group of nonsurgical patients that remained more than 48 hours at our ICU. For the purpose of the screening the intra abdominal pressure was measured...

Regular model checking is an exploration technique for infinite state systems where spaces are represented as regular languages and transition relations expressed using rational over (or finite) strings. We extend the paradigm to permit use of more powerful relations: class relations, which a strict subset. language monadic second-order logic (MSO) on strings specify such adopt streaming string...

Quantifying temporal patterns of ephemeral plant structures such as leaves, flowers, and fruits gives insight into both plant and animal ecology. Different scales of temporal changes in fruits, for example within- versus across-year variability, are driven by different processes, but are not always easy to disentangle. We apply generalized additive mixed models (GAMMs) to study a long-term frui...

PURPOSE To compare the dimensional accuracy of three impression techniques- a separating foil impression, a custom tray impression, and a stock tray impression. MATERIALS AND METHODS A machined mandibular complete-arch metal model with special modifications served as a master cast. Three different impression techniques (n = 6 in each group) were performed with addition-cured silicon materials...