Single-Particle Fluorescence Spectrometer for Ambient Aerosols

A fluorescence particle spectrometer (FPS) for real-time measurement of the fluorescence spectra of aerosol particles in the size range 1-10 w m diameter is reported. The prototype FPS has a sufficiently high sample rate (from 5 to 28 l/min for 3.5 w m to 11 w m diameter particles) to measure aerosol within buildings at practical rates (from 1 up to 600 particle fluorescence spectra per minute). Previously reported bioaerosol prototype detectors for measurement of single particle spectra (Pan et al., Opt. Lett ., 24, 116-118 (1999); Hill et al., Field Anal. Chem. Tech ., 3, 221-239 (1999)) were unable to sample the ambient environment; air containing particles had to be forced under pressure into a sample cell. In addition, sample rates were so small (less than 0.01 l/min) as to be impractical for most applications. The present design overcomes these deficiencies by the use of an airtight cell that highly concentrates micrometer-sized particles. A virtual impactor first concentrates aerosol particles, which are then drawn under negative pressure through an aerodynamic focusing nozzle in the inlet of the instrument, through the sample region, providing further concentration. The rate of particle spectra measured by the FPS increases significantly when the particle inlet is within a few meters of some common sources of indoor biological particles, e.g., a person coughing, sneezing, or rubbing his skin, or the presence of a dog. The spectra obtained have a variety of spectral shapes. The FPS may be useful in a variety of areas, e.g., in studying and monitoring airborne particles that cause diseases or allergies.     

Roles of ephrinB ligands and EphB receptors in cardiovascular development: demarcation of arterial/venous domains, vascular morphogenesis, and sprouting angiogenesis

Both triploids and gynogenetic diploids (GDs) were produced to clarify the relationship between the sex-chromosome constitution and the expression of sex in the common bell-ring frog, Buergeria buergeri. The sex differentiation of triploids in B. buergeri is quite remarkable. Triploid frogs consisted of three sex genotypes, ZZZ, ZWW and ZZW. All ZZZ triploids were males, and all ZWW triploids were females. It is very interesting that half of the ZZW triploids became female, and the other half became male. The GD frogs consisted of two sex genotypes, ZW and ZZ, which did not differ from the controls in sex differentiation. Since the ratios of ZZ and ZW eggs were significantly different among female parents, it is assumed that most (approximately 80-90%) of the eggs made pre-reductional division in some females and post-reductional division in others during meiosis. It seems that ZW eggs were produced by the occurrence of recombination between the centromere and the sex-determining genes in B. buergeri. It was also found that the number of Z chromosomes in each cell of these triploids and GDs agreed with that of the nucleoli in each cell.     

Generating Model Checkers from Algebraic Specifications

There is a great deal of research aimed toward the development of temporal logics and model checking algorithms which can be used to verify properties of systems. In this paper, we present a methodology and supporting tools which allow researchers and practitioners to automatically generate model checking algorithms for temporal logics from algebraic specifications. These tools are extensions of algebraic compiler generation tools and are used to specify model checkers as mappings of the form , where L _s is a temporal logic source language and L _t is a target language representing sets of states of a model M, such that . The algebraic specifications for a model checker define the logic source language, the target language representing sets of states in a model, and the embedding of the source language into the target language. Since users can modify and extend existing specifications or write original specifications, new model checking algorithms for new temporal logics can be easily and quickly developed; this allows the user more time to experiment with the logic and its model checking algorithm instead of developing its implementation. Here we show how this algebraic framework can be used to specify model checking algorithms for CTL, a real-time CTL, CTL*, and a custom extension called CTL ^e that makes use of propositions labeling the edges as well as the nodes of a model. We also show how the target language can be changed to a language of binary decision diagrams to generate symbolic model checkers from algebraic specifications.     

A Computational Model of “Active Vision” for Visual Search in Human–Computer Interaction

Human visual search plays an important role in many human–computer interaction (HCI) tasks. Better models of visual search are needed not just to predict overall performance outcomes, such as whether people will be able to find the information needed to complete an HCI task, but to understand the many human processes that interact in visual search, which will in turn inform the detailed design of better user interfaces. This article describes a detailed instantiation, in the form of a computational cognitive model, of a comprehensive theory of human visual processing known as “active vision” (Findlay & Gilchrist, 2003). The computational model is built using the Executive Process-Interactive Control cognitive architecture. Eye-tracking data from three experiments inform the development and validation of the model. The modeling asks—and at least partially answers—the four questions of active vision: (a) What can be perceived in a fixation? (b) When do the eyes move? (c) Where do the eyes move? (d) What information is integrated between eye movements? Answers include: (a) Items nearer the point of gaze are more likely to be perceived, and the visual features of objects are sometimes misidentified. (b) The eyes move after the fixated visual stimulus has been processed (i.e., has entered working memory). (c) The eyes tend to go to nearby objects. (d) Only the coarse spatial information of what has been fixated is likely maintained between fixations. The model developed to answer these questions has both scientific and practical value in that the model gives HCI researchers and practitioners a better understanding of how people visually interact with computers, and provides a theoretical foundation for predictive analysis tools that can predict aspects of that interaction.     

An authoring technology for multidevice Web applications

The rapid proliferation of mobile computing devices has increased the complexity and cost of cross-platform application development. Multidevice authoring technology (MDAT) lets developers build a generic application common to multiple devices and customize it for specific devices. We developed MDAT an end-to-end development methodology and toolset, to reduce the complexity of creating interactive, form-based Web applications that execute on heterogeneous devices. Web application refers to conventional, servlet-based Web applications as well as portlet applications. A portlet is a Web application component that a Web portal server aggregates with other portlets.     

Structure of an Fab fragment against a C-terminal peptide of hCG at 2.0 A resolution

3A2 is an antibody raised against human chorionic gonadotropin and recognizes a linear epitope on the C-terminal peptide of the human chorionic gonadotropin beta-subunit. Its three-dimensional structure has been determined to 2-A resolution using molecular replacement and refined to a conventional R-factor of 18.2%. The protein exhibits the typical immunoglobulin fold, and the model contains 944 ordered water molecules and one sulfate ion. A comparison of the complementarity-determining regions of the Fab3A2 with those from the Protein Data Bank following the canonical structure method reveals a canonical main chain conformation. This antibody belongs to the canonical structure class (combination of canonical conformations of the complementarity determining loops) that shows a preference for haptens and not for peptides. However, the shape of the surface of the antigen binding loops resembles that of an anti-peptide antibody.     

Treatment of child abuse

Standards of care have recently been established for the diagnosis and treatment of child abuse. This article addresses the key areas of treatment with which each primary care physician should be acquainted. As part of a community-based approach to this problem, the physician can positively impact the prognosis for the victimized child and his or her family.