OBJECT Intracranial pressure (ICP) monitoring is used extensively in clinical practice, and as such, the accuracy of registered ICP values is paramount. Clinical observations of nonphysiological changes in ICP have called into question the accuracy of registered ICP values. Subsequently, the authors have tried to determine if the ICP monitors from major manufacturers were affected by electrosta...

Space weather forecasting critically depends upon availability of timely and reliable observational data. It is therefore particularly important to understand how existing and newly planned observational assets perform during periods of severe space weather. Extreme space weather creates challenging conditions under which instrumentation and spacecraft may be impeded or in which parameters reac...

This work-in-progress paper surveys error detection techniques for transient, timing, permanent and logical errors in system-on-chip (SoC) design and discusses their applicability in the design of monitors for our Autonomic SoC architecture framework. These monitors will be needed to deliver necessary signals to achieve fault-tolerance, self-healing and self-calibration in our Autonomic SoC arc...

OBJECTIVE To compare the diagnostic yield and cost-effectiveness of transtelephonic event monitors with those of Holter monitoring in patients with intermittent palpitations. DESIGN Randomized crossover trial. SETTING Diagnostic service of a teaching hospital and surrounding primary care practices. PATIENTS 43 patients with previously uninvestigated palpitations who were referred for Holt...

Parental knowledge is a key protective factor for youths' risky behavior. Little is known about how longitudinal combinations of knowledge-related behaviors are associated with youths' substance use. This longitudinal study uses Latent Transition Analysis to identify latent patterns of parental knowledge-related behaviors occurring in mother-youth dyads during middle school and to investigate h...

A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contracts, it also poses a problem for language designers. Indeed, two distinct semantics have emerged for such method calls, dubbed lax and picky. While lax fails to protect components in certain scenarios, picky may blame an uninv...

CVD diamond particle detectors are already in use in the CERN experiments ATLAS, CMS, LHCb and ALICE and at various particle accelerator laboratories in USA and Japan. This is a proven technology with high radiation tolerance and very fast signal read-out [1]. It can be used for measuring single-particles as well as for high-intensity particle cascades, for timing measurements on the nanosecond...

We study the correctness of automated synthesis for concurrent monitors. We adapt HML, a subset of the Hennessy-Milner logic with recursion, to specify safety properties of Erlang programs, and define an automated translation from HML formulas to Erlang monitors so as to detect formula violations at runtime. We then formalise monitor correctness for our concurrent setting and describe a techn...

Technical note: Evaluation of standard ultraviolet absorption ozone monitors in a polluted urban environment E. J. Dunlea ∗ , S. C. Herndon, D. D. Nelson, R. M. Volkamer, B. K. Lamb, E. J. Allwine, M. Grutter, C. R. Ramos Villegas, C. Marquez, S. Blanco, B. Cardenas, C. E. Kolb, L. T. Molina, and M. J. Molina Department of Earth, Atmospheric and Planetary Sciences, Massachusetts Institute of Te...