The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness. Existing modeling formalisms leave gap between highly abstract, largely structural models and executable code on the implementation level. In HATS we aim to close this gap with an object-oriented,...

Personal protective equipment (PPE) is the least desirable way to ensure workplace safety, and it is difficult to use consistently. Hard hats are different; they have cachet and are often worn even when they are not required. We investigated the history of this personal protective equipment to see if there were any lessons that could be applied to other forms of PPE. We learned that what makes ...

The delay and dispersion of the packet train have been widely used in most network measurement tools. The timestamp of the packet is critical for the measurement accuracy. However, timestamping performed either in the application or the kernel layer would be easily affected by the source and destination hosts especially in high-speed network. Therefore, to evaluate the impact of the timestamp p...

The efficacy of a Gamgee-lined hat in reducing the rate of fall in rectal temperature of infants during the first 30 minutes of life was studied. The trial, which included 211 infants, was randomised, prospective, and controlled. One hundred and seven infants were exposed to overhead radiantheaters. Of these, only 30 had normal deliveries, so the analysis was confined to the infants who were no...

unknown or, if known, not match the physiological mission of that cell. The water channel AQP1 came to mind, and we then demonstrated that AQP1 is permeable to CO 2. We are now busy determining whether AQPs are permeable to O 2 and whether gas permeability through channels plays a physiological role in external respiration. .. all triggered and guided by my experience as a teacher of respirator...

The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we describe a class of invisible reservoirs and amplifiers for waves, which we refer to as Schrödinger hats. The unifying mathematical principle on which these are based admits such devices for any time harmonic waves modeled by either the Helmholtz or Schrödinger ...