In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a gr...

Notation and Acronyms α scale parameter β shape parameter φ demand rate for the hidden function per hour CA cost of an accident CI cost of inspection COC opportunity cost of lost production Cr cost of repair CRep cost of Discard FFI Failure Finding Inspection F(t) unreliability function FN(t) conditional probability of failure within the N extended FFI Fk(t) conditional probability of failure w...

BACKGROUND Although the efficacy and toxicity of extended-interval (once-daily) aminoglycoside regimens is well established for immunocompetent patients, there is clinical concern about using this regimen for patients with neutropenia. OBJECTIVE To summarize and evaluate the literature reporting the clinical efficacy and safety of extended-interval aminoglycosides therapy in adults with febri...

Information technology (IT) outsourcing has been recognized as a new methodology in many organizations. Yet making an appropriate decision with regard to selection and use of these methodologies may impose uncertainties and risks. Estimating the occurrence probability of risks and their impacts organizations goals may reduce their threats. In this study, an extended analytical hierarchical proc...

INTRODUCTION Translaryngeal intubated and ventilated patients often need sedation to treat anxiety, agitation and/or pain. Current opinion is that tracheotomy reduces sedation requirements. We determined sedation needs before and after tracheotomy of intubated and mechanically ventilated patients. METHODS We performed a retrospective analysis of the use of morphine, midazolam and propofol in ...