A diagnostic system for microprocessor systems is being designed and developed. In microprocessor system diagnosis, temporal reasoning of event changes occurring at imprecisely known time instants as an important issue. The concept of time range has been proposed to capture the notion of time imprecision in event occurrence. According to this concept, efficient temporal reasoning techniques for...

A bitemporal deductive database is a deductive database that supports valid and transaction time. A set of facts to be inserted and/or deleted in a bitemporal deductive database can be done in a past, present or future valid time. This circumstance causes that the maintenance of database consistency becomes more hard. In this paper, we present a new approach to reduce the difficulty of this pro...

While debt is not problematic per se, it can become an additional burden when people experience negative life events–like unemployment, a severe disease, divorce, or their partner’s death–which be detrimental for individuals’ subjective wellbeing. We investigate first, potential moderating effect of economic resources or, better yet, lack thereof in the relations between events and general sati...

Job loss is a significant income shock that can lead to declines in living standards and satisfaction. Wealth provide key resource stratifying the risk consequences of such an event. In this article, I examine extent which wealth stratified experience job UK from 1991 2008. distinguish between different groups using information on homeownership home value primary residency, then study whether t...

In many Discrete Event Systems DES both state and event information are of im portance to the systems designer To obtain compositionally consistent hierarchical models of systems the behavior of Discrete Event Systems with unobservable tran sitions and state output maps is considered Observers for deterministic DES are generalized to nondeterministic DES and characterized using the join semilat...

OBJECTIVE Treatment satisfaction (TS) is an important patient reported outcome (PRO) in diabetes as it is correlated with outcomes necessary for optimal treatment (e.g., compliance, self-management behaviour). The objective of this study was to examine the responsiveness of the DiabMedSat, a disease-specific PRO measure, assessing Overall, Burden, Efficacy and Symptom TS. METHODS The DiabMedS...

OBJECTIVE To assess patient satisfaction with liposuction in tumescent local anesthesia (TLA) and to define a patient profile regarding sociodemographic data. METHODS Three hundred randomly selected patients were asked by mail to complete a standardized questionnaire on aesthetic dermatology and cosmetic surgery 3-25 months after liposuction. The 64 items addressed treatment satisfaction, tre...

STUDY OBJECTIVE We determine whether emergency physician-provided deep sedation with 1:1 ketofol versus propofol results in fewer adverse respiratory events requiring physician intervention when used for procedural sedation and analgesia. METHODS Consenting patients requiring deep sedation were randomized to receive either ketofol or propofol in a double-blind fashion according to a weight-ba...

BACKGROUND/AIMS We investigated whether sodium picosulfate with magnesium citrate (SPMC) plus bisacodyl compares favorably with conventional polyethylene glycol (PEG) with respect to bowel cleansing adequacy, compliance, and safety. METHODS We performed a multicenter, prospective, single-blinded study in outpatients undergoing daytime colonoscopies. Patients were randomized into a split prepa...