On July 9, 2013, an outbreak of Legionnaires' disease (LD) was identified at Long-Term Care Facility A in central Ohio. This article describes the investigation of the outbreak and identification of the outbreak source, a cooling tower using an automated biocide delivery system. In total, 39 outbreak LD cases were identified; among these, six patients died. Water samples from a cooling tower we...

RESOLVE is a widely used program for statistical density modification, local pattern matching, automated model-building, automated ligand-fitting, and prime-and-switch minimum bias phasing (Terwilliger 2000, Terwilliger 2003). In recent years it has been developed primarily in the context of PHENIX, which is a rapidly growing software suite for the automated determination of macromolecular stru...

Synchronized verbal behavior can reveal important information about social dynamics. This study introduces the linguistic style matching (LSM) algorithm for calculating verbal mimicry based on an automated textual analysis of function words. The LSM algorithm was applied to language generated during a small group discussion in which 70 groups comprised of 324 individuals engaged in an informati...

We present Why3, a tool for deductive program verification, and WhyML, its programming and specification language. WhyML is a first-order language with polymorphic types, pattern matching, and inductive predicates. Programs can make use of record types with mutable fields, type invariants, and ghost code. Verification conditions are discharged by Why3 with the help of various existing automated...

The integration and large-scale analyses of medical error databases would be greatly facilitated by the use of a standard terminology. We investigated the availability in the UMLS metathesaurus of concepts that are required for coding patient safety data. Terms from three proprietary patient safety terminologies were mapped to the concepts in UMLS by an automated mapping program developed by us...

Automated model transformations play an important role in modern model-driven system engineering in order to query, derive and manipulate large, industrial models. Since such transformations are frequently integrated to design environments, they need to provide short reaction time to support software engineers. Graph transformation (GT) [1] based tools have been frequently used for specifying a...

A complete processing chain for visual object recognition is described in this paper. The system automatically detects individual objects on an assembly line, identifies their type, position, and orientation, and, thereby, forms the basis for automated object recognition and manipulation by single-arm robots. Two new ideas entered into the design of the recognition system. First we introduce a ...

We used a fully automated system for the behavioural measurement of physiologically meaningful properties of basic mechanisms of cognition to test two strains of heterozygous mutant mice, Bfc (batface) and L1, and their wild-type littermate controls. Both of the target genes are involved in the establishment and maintenance of synapses. We find that the Bfc heterozygotes show reduced precision ...

The computer-based harmonic analysis of music recordings with the goal to automatically extract chord labels directly from the given audio data constitutes a major task in music information retrieval. In most automated chord recognition procedures, the given music recording is first converted into a sequence of chroma-based audio features and then pattern matching techniques are applied to map ...

Many automated processes in digital photogrammetry such as relative orientation of a stereopair of aerial images or a derivation of a digital terrain model (DTM) are based on image matching. Several approaches to image matching have been developed. In this paper, attention is paid to area based matching. Using of MATLAB in procedures of finding parameters of exterior orientation of an aerial im...