Learning automata with side-effects

Automata learning has been successfully applied in the verification of hardware and software. The size of the automaton model learned is a bottleneck for scalability, and hence optimizations that enable learning of compact representations are important. This paper exploits monads, both as a mathematical structure and a programming construct, to design and prove correct a wide class of such optimizations. Monads enable the development of a new learning algorithm and correctness proofs, building upon a general framework for automata learning based on category theory. The new algorithm is parametric on a monad, which provides a rich algebraic structure to capture non-determinism and other side-effects. We show that this allows us to uniformly capture existing algorithms, develop new ones, and add optimizations

Cerebrovascular mental stress reactivity is impaired in hypertension

<p>Abstract</p> <p>Background</p> <p>Brachial artery reactivity in response to shear stress is altered in subjects with hypertension. Since endothelial dysfunction is generalized, we hypothesized that carotid artery (CA) reactivity would also be altered in hypertension.</p> <p>Purpose</p> <p>To compare (CA endothelium-dependent vasodilation in response to mental stress in normal and hypertensive subjects.</p> <p>Methods</p> <p>We evaluated CA reactivity to mental stress in 10 young healthy human volunteers (aged 23 ± 4 years), 20 older healthy volunteers (aged 49 ± 11 years) and in 28 patients with essential hypertension (aged 51 ± 13 years). In 10 healthy volunteers and 12 hypertensive subjects, middle cerebral artery (MCA) PW transcranial Doppler was performed before and 3 minutes after mental stress.</p> <p>Results</p> <p>Mental stress by Stroop color word conflict, math or anger recall tests caused CA vasodilation in young healthy subjects (0.61 ± 0.06 to 0.65 ± 0.07 cm, p < 0.05) and in older healthy subjects (0.63 ± 0.06 to 0.66 ± 0.07 cm, p < 0.05), whereas no CA vasodilation occurred in hypertensive subjects (0.69 ± 0.06 to 0.68 ± 0.07 cm; p, NS). CA blood flow in response to mental stress increased in young healthy subjects (419 ± 134 to 541 ± 209 ml, p < 0.01 vs. baseline) and in older healthy subjects (351 ± 114 to 454 ± 136 ml, p < 0.01 vs. baseline) whereas no change in blood flow (444 ± 143 vs. 458 ± 195 ml; p, 0.59) occurred in hypertensive subjects. There was no difference in the CA response to nitroglycerin in healthy and hypertensive subjects. Mental stress caused a significant increase in baseline to peak MCA systolic (84 ± 22 to 95 ± 22 cm/s, p < 0.05), diastolic (42 ± 12 to 49 ± 14 cm/s, p < 0.05) as well as mean (30 ± 13 to 39 ± 13 cm/s, p < 0.05) PW Doppler velocities in normal subjects, whereas no change in systolic (70 ± 18 to 73 ± 22 cm/s, p < 0.05), diastolic (34 ± 14 to 37 ± 14 cm/s, p = ns) or mean velocities (25 ± 9 to 26 ± 9 cm/s, p = ns) occurred in hypertensive subjects, despite a similar increase in heart rate and blood pressure in response to mental stress in both groups.</p> <p>Conclusion</p> <p>Mental stress produces CA vasodilation and is accompanied by an increase in CA and MCA blood flow in healthy subjects. This mental stress induced CA vasodilation and flow reserve is attenuated in subjects with hypertension and may reflect cerebral vascular endothelial dysfunction. Assessment of mental stress induced CA reactivity by ultrasound is a novel method for assessing the impact of hypertension on cerebrovascular endothelial function and blood flow reserve.</p

The ethical issues regarding consent to clinical trials with pre-term or sick neonates: a systematic review (framework synthesis) of the empirical research

Background: Conducting clinical trials with pre-term or sick infants is important if care for this population is to be underpinned by sound evidence. Yet approaching parents at this difficult time raises challenges for the obtaining of valid informed consent to such research. This study asked: what light does the empirical literature cast on an ethically defensible approach to the obtaining of informed consent in perinatal clinical trials? Methods: A systematic search identified 49 studies. Analysis began by applying philosophical frameworks which were then refined in light of the concepts emerging from empirical studies to present a coherent picture of a broad literature. Results: Between them, studies addressed the attitudes of both parents and clinicians concerning consent in neonatal trials; the validity of the consent process in the neonatal research context; and different possible methods of obtaining consent. Conclusions: Despite a variety of opinions among parents and clinicians there is a strongly and widely held view that it is important that parents do give or decline consent for neonatal participation in trials. However, none of the range of existing consent processes reviewed by the research is satisfactory. A significant gap is evaluation of the widespread practice of emergency ‘assent’, in which parents assent or refuse their baby’s participation as best they can during the emergency and later give full consent to ongoing participation and follow-up. Emergency assent has not been evaluated for its acceptability, how such a process would deal with bad outcomes such as neonatal death between assent and consent, or the extent to which late parental refusal might bias results. This review of a large number of empirical papers, while not making fundamental changes, has refined and developed the conceptual framework from philosophy for examining informed consent in this context

Modular risk modeling and management of water infrastructure disaster incidents

Water supply and wastewater control are critical elements of society's infrastructure. The objective of this study will be to provide a generic risk assessment tool to provide municipalities and the nation as a whole with a quantifiable assessment of their vulnerability to water infrastructure threats. The approach will prioritize countermeasures and identify where research and development is required to further minimize risk. This paper outlines the current context, primary concerns and state-of-the art in critical infrastructure risk management for the water sector and proposes a novel approach to resolve existing questions in the field. The proposed approach is based on a modular framework that derives a quantitative risk index for varied domains of interest. The approach methodology is scaleable and based on formal definitions of event probability and severity. The framework is equally applicable to natural and human-induced hazard types and can be used for analysis of compound risk events