During the shutdown of the CERN Large Hadron Collider in 2013-2014, an additional pixel layer was installed between the existing Pixel detector of the ATLAS experiment and a new, smaller radius beam pipe. The motivation ...

Automated diversity is a promising mean of increasing the security of software systems. However, current automated diversity techniques operate at the bottom of the software stack (operating system and compiler), yielding ...

Coordination of information and resources is central to efficient ward management. Tools to aid coordination include standardized procedures and paper lists and, more recently, electronic tools such as whiteboards and ...

Ultrasound (US)and systemic administration of microbubbles (MBs)have been shown to improve the delivery of drugs and nanoparticles (NPs)to tumor tissue. A better understanding of the mechanisms is crucial for effective ...

We state and compare four different definitions of magnetic permeability for periodic, artificial media, or metamaterials. The connections among them, and properties in general, are discussed in detail, including causality, ...

Our research concerns the coordination and control of robotic vehicles for upper water-column oceanographic observations. In such an environment, operating multiple vehicles to observe dynamic oceanographic phenomena, such ...

Ultrasonic tools are being used for imaging in a large variety of fields, spanning from medical applications in a hospital to applications deep down in oil and gas wells. When applying ultrasonic imaging techniques to image ...

This position paper briefly revises the clock support in the Ada programming language, including execution time clocks and timers for tasks and interrupts. It is argued that the standard library would benefit from a more ...

Railway traffic is a set of interrelated processes that are centrally controlled. Despite optimized train schedules, train dispatchers still take ad-hoc decisions on the scheduling of trains in the context of unplanned ...