Motivated by the waiting lines between the US-Canadian border-crossings, we investigate a security-check system with both security and customer service goals. In such a system, every customer has to be inspected by the first stage inspector but only a proportion of customers need to go through the second stage for further inspection. This "further inspection proportion", affecting both security...

Sao Paulo Med J/Rev Paul Med 2002; 120(5):131. A very positive phenomenon is taking hold within the Brazilian medical scene: the idea that it is possible to get advance warning of diseases by detecting markers (biochemical, hormonal, immunological and anatomical) that would make it possible to alter the natural history of a disease. Such actions, called check-ups, screening or early detection, ...

The purpose of this tutorial is to demonstrate how to use the VMD plugins cispeptide and chirality together with AutoIMD to ensure proper structure of peptide bonds and correct stereochemistry of proteins and nucleic acids. The described plugins are designed to work with proteins and nucleic acids and understand atom names as used by the force fields CHARMM and AMBER as well as the standard PDB...

The Java programming language’s semantics require that out-of-bounds array accesses be caught at runtime. In general, this requires dynamic checks at the time the array element is accessed. Some of these checks can be eliminated statically during just-in-time (JIT) compilation, but the most precise analyses are too expensive to run in JIT compilers. This paper presents a framework in which thor...

The correspondence gives a new condition for a -ary linear code of length and minimum distance to be extendable to a code of the same dimension, length + 1, and minimum distance

In this issue of Cell, Norden et al. (2006) describe a new pathway, NoCut, that links the completion of chromosome segregation to the onset of cytokinesis in budding yeast. In NoCut, Aurora kinase (Ipl1) at the spindle midzone negatively regulates cytokinesis through two proteins previously identified to be involved in cell polarity, Boi1 and Boi2.

A reengineering pattern describes how to go from an existing legacy solution to a new refactored solution. In this paper we discuss the role of reengineering patterns and contrast them with design patterns and antipatterns. We then highlight the structure of a reengineering pattern and present two simple, related patterns for type-check elimination. 1 Reengineering Patterns When important legac...

Catheter-related blood stream infections in the intensive care unit (ICU) are common, costly, and potentially lethal. The Dec 28, 2006, issue of The New England Journal of Medicine reported that an evidence-based intervention in 103 intensive care units in the Michigan Keystone ICU programme had resulted in a large sustained reduction in rates of these infections. The study was widely reported ...

For many distributed autonomous robotic systems, it is important to maintain communication connectivity among the robots. That is, each robot must be able to communicate with each other robot, perhaps through a series of other robots. Ideally, this property should be robust to the removal of any single robot from the system. In this work, we define a property of a team’s communication graph tha...