Daniela Rose

Learn More
In safety-critical applications, the real-time behavior is crucial for the correctness of the overall system and must be tested thoroughly. However, the generation of test traces that cover most or all of the desired behavior of a real-time system is a difficult challenge. In this paper, we present an evolutionary algorithm that generates timed test traces,(More)
BACKGROUND A recent randomized trial showed that pretreatment of the brain-dead donor with low-dose dopamine improves immediate kidney graft function, by limiting injury from cold storage (ClinicalTrials.gov Identifier: NCT00115115). This study determines whether donor exposure to desmopressin (1-deamino-8-d-arginine-vasopressin [DDAVP]) before organ(More)
A considerable variability in the incidence and prevalence of diabetic nephropathy (DN) coheres with an important contribution of multigenetic predisposition in the development of DN. Some genes, which probably participate in the pathogenesis of diabetic nephropathy, also play a role in the regulation of blood pressure, familial hyperlipidemia, familial(More)
Michaelis-Menten saturable pharmacokinetics confound the determination of appropriate phenytoin maintenance doses. This study retrospectively evaluated the performance of an IBM-PC/XT computer program applying Bayesian regression to the "explicit solution to the Michaelis-Menten equation." Zero to five non-steady-state phenytoin serum concentrations were(More)
To evaluate the feasibility and potential on therapy management of time-resolved dynamic computed tomography angiography (dCTA) in patients with forearm arterio-venous fistula (AVF)/arterio-venous grafts (AVG). Thirty-five patients with complex failing forearm AVF/AVGs were examined with ultrasound and a dCTA protocol. Diagnosis and therapy management was(More)
  • 1