597 research outputs found

    Incongruity in the Seventh Circuit: Do Federal Courts Have the Authority to Order Summary Jury Trials?

    Get PDF

    Student Appraisal of Decentralized Advisement and Centralized Advisement

    Get PDF

    Evaluation of safety-oriented two-version architectures

    Get PDF
    A Markov model taking into account physical and design faults for a two-version architecture oriented to safety-related applications is developed. Only a probabilistic knowledge of the initial state of the versions in relation to the presence of design faults is assumed. The model can be split into two submodels accounting separately for physical and design faults, and a closed form expression for the unsafety of the system is obtained. The parameter estimation problem is discussed and a method to predict the probability distribution of the number of related design faults at the beginning of the operational life of the system is proposed. The method uses a pool model to process fault-occurrence data collected during a “face-to-face” debugging of the two versions. It has by nature a limited capability for proving version diversity, but it is shown that the limit is of the order of the diversity reported by recent experiments on real software. Finally, the impact of version correction during operation is shown to be negligible for critical applications.Postprint (author’s final draft

    Progressive stridor: extraintestinal airway manifestations in a pediatric patient with inflammatory bowel disease.

    Get PDF
    Airway manifestations of inflammatory bowel disease are rare in pediatrics. This case describes a nine-year-old female with ulcerative colitis (UC) with progressive stridor and dyspnea for two months. Severe upper airway obstruction was noted on spirometry. CatScan (CT) of the neck and chest revealed tracheal narrowing with circumferential, heterogeneous soft tissue thickening, and posterior wall nodularity. Bronchoscopy visualized the granulation tissue of the large airways and an ulcerative lesion to the right mainstem. Consultation and evaluation by gastroenterology, oncology, and rheumatology determined a diagnosis of extraintestinal manifestations of UC. Systemic steroids led to symptom resolution and improvement in lung function
    • …
    corecore