Infusion of a GABA agonist (Reiter & Stryker, 1988) and infusion of an NMDA receptor antagonist (Bear et al., 1990), in the primary visual cortex of kittens during monocular deprivation, shifts ocular dominance toward the closed eye, in the cortical region near the infusion site. This reverse ocular dominance shift has been previously modeled by variants of a covariance synaptic plasticity rule...

We present a case study on the use of robustness-guided and statistical model checking approaches for simulating risks due to insulin infusion pump usage by diabetic patients. Insulin infusion pumps allow for a continuous delivery of insulin with varying rates and delivery profiles to help patients self-regulate their blood glucose levels. However, the use of infusion pumps and continuous gluco...

Infusion pumps are commonly used in home/hospital care to inject drugs into a patient at programmable rates over time. However, in practice, a combination of faults including software errors, mechanical failures and human error can lead to catastrophic situations, causing death or serious harm to the patient. Dependability analysis techniques such as failure mode effect analysis (FMEA) can be u...

Monte Carlo simulation was used to assess the type I error rate and rank order of power for six different metrics using linear mixed-effect models, including two variables recommended by the European Agency for the Evaluation of Medicinal Products (EMEA) in the analysis of QTc interval data. The metrics analyzed were maximal change in QTc interval from baseline, maximal QTc interval, area under...

BACKGROUND (Pro)renin receptor (PRR) is a new component of the renin-angiotensin system and regulates renin activity in vitro. Within the kidney, PRR is highly expressed in the renal medulla where its expression is induced by angiotensin II infusion. The objective of the present study was to test a potential role of renal medullary PRR during angiotensin II-induced hypertension. METHODS A rat...