Background: More than 500 million people worldwide live within exposure range of an active volcano and children are a vulnerable subgroup of such exposed populations. However, studies on the effects of volcanic eruptions on children’s health beyond the ...

Monitoring cognitive workload has the potential to improve both performance and fidelity of individuals facing safety-critical situations in their working environments. Psychophysiological signals, in particular from speech and the cardiovascular system, ...

The growing field of translational myology continually seeks to define and promote the generalizability of muscle research to clinical practice via optimizing the transition of a wide variety of investigative muscle assessment modalities. There are ...

Current efficiency loss in aluminum electrolysis happens due to a variety of factors. One such factor is the presence of impurities. Concerns about impurities have been voiced since the quality of raw materials has declined and dry-scrubbers were ...

Liquid dominated reservoirs are a common type of hydrothermal reservoirs. They consist of fractured rock and reservoir fluid which may obey Darcy’s law. Steam can form in such reservoirs either through heat input which causes temperature increase or ...

Transcriptional regulatory mechanisms drive the maturation of B cells to plasma cells, with a dramatic transcriptional rewiring taking place during the transition. This rewiring is dependent on a number of factors, including the transcription factor B ...

New automatic methods for enumerating permutation classes are introduced. The first is Struct, which is an algorithm that conjectures a structural description using rules similar to generalized grid classes. These conjectured structural descriptions ...

Acute kidney injury (AKI) is a growing problem worldwide and is associated with high morbidity and mortality. AKI is a known complication following cardiac operations and coronary angiography (CA). Following CA, AKI has been associated with contrast ...

Superheated steam from high enthalpy vapor dominated geothermal fields offers an opportunity to extract greater exergy per unit flow with higher thermodynamic output efficiency compared to conventional geothermal wells. The first full scale well drilled ...

This dissertation is composed of two parts. In the first part, performance evaluation and verification of safety properties are provided for real-time actors. Recently, the actor-based language, Timed Rebeca, was introduced to model distributed and ...