Automatic discovery of physical topology plays a crucial role in enhancing the manageability of modern metro Ethernet networks. Despite the importance of the problem, earlier research and commercial network management tools have typically concentrated on either discovering logical topology, or proprietary solutions targeting specific product families. Recent works have demonstrated that network...

Both myocardial contractility and contraction duration were assessed load-independently in isolated hypertrophic and control rat hearts. Hemodynamic parameters for isolated isovolumically contracting hearts were compared for 7 Wistar rats with DOCA-salt induced hypertrophy (LVH) and 7 controls. Loads were altered by changing the volume of an intraventricular balloon. Myocardial contractility wa...

Background. Candida species are the fourth leading cause of nosocomial bloodstream infections in the United States, however incidence is low and most patients who receive empiric treatment do not actually have candidemia. Unfortunately, detection, identification and susceptibility testing using standard instrumented blood culture systems and routine microbiological techniques takes 4–10 days. A...

A method is proposed for the formal analysis of failure mode assumptions and for the evaluation of the dependability of systems whose design correctness is conditioned on the validity of such assumptions. Formal definitions are given for the types of errors that can affect items of service delivered by a system or component. Failure mode assumptions are then formalized as assertions on the type...