Development of tests for measurement of primary perceptual-motor performance

Tests for measuring primary perceptual-motor performance for assessing space environment effects on human performanc

A Paraconsistent Higher Order Logic

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order logic with countable infinite indeterminacy, where each basic formula can get its own indeterminate truth value (or as we prefer: truth code). The meaning of the logical operators is new and rather different from traditional many-valued logics as well as from logics based on bilattices. The adequacy of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens.Comment: Originally in the proceedings of PCL 2002, editors Hendrik Decker, Joergen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/). Correcte

Available Coal Resources of the Booneville 7.5–Minute Quadrangle, Owsley County, Kentucky

The Booneville Quadrangle lies within the Southwestern Reserve District of the Eastern Kentucky Coal Field. Six coal beds in the quadrangle have been commercially developed, mainly by surface mining methods, and comprise the basis of this Coal Availability Study. These beds are, in descending stratigraphic order, Copland, Whitesburg, Amburgy, Upper Elkhorn No. 3, Jellico and Manchester. A computerized Geographic Information System (GRASS) was used to calculate estimates of original, mined-out and remaining resources, restrictions to mining and available resources

Vortices in a Bose-Einstein Condensate

We have created vortices in two-component Bose-Einstein condensates. The vortex state was created through a coherent process involving the spatial and temporal control of interconversion between the two components. Using an interference technique, we map the phase of the vortex state to confirm that it possesses angular momentum. We can create vortices in either of the two components and have observed differences in the dynamics and stability.Comment: 4 pages with 3 figure

Survey of highly non-Keplerian orbits with low-thrust propulsion

Celestial mechanics has traditionally been concerned with orbital motion under the action of a conservative gravitational potential. In particular, the inverse square gravitational force due to the potential of a uniform, spherical mass leads to a family of conic section orbits, as determined by Isaac Newton, who showed that Kepler‟s laws were derivable from his theory of gravitation. While orbital motion under the action of a conservative gravitational potential leads to an array of problems with often complex and interesting solutions, the addition of non-conservative forces offers new avenues of investigation. In particular, non-conservative forces lead to a rich diversity of problems associated with the existence, stability and control of families of highly non-Keplerian orbits generated by a gravitational potential and a non-conservative force. Highly non-Keplerian orbits can potentially have a broad range of practical applications across a number of different disciplines. This review aims to summarize the combined wealth of literature concerned with the dynamics, stability and control of highly non-Keplerian orbits for various low thrust propulsion devices, and to demonstrate some of these potential applications

Measurement of relative phase diffusion between two Bose-Einstein condensates

We propose a method of measuring diffusion of the relative phase between two Bose-Einstein condensates occupying different nuclear or spin hyperfine states coupled by a two-photon transition via an intermediate level. Due to the macroscopic quantum coherence the condensates can be decoupled from the electromagnetic fields. The rate of decoherence and the phase collapse may be determined from the occupation of the intermediate level or the absorption of radiation.Comment: 4 pages, RevTex, 2 ps figure

Fluoromycobacteriophages for rapid, specific, and sensitive antibiotic susceptibility testing of Mycobacterium tuberculosis

Rapid antibiotic susceptibility testing of Mycobacterium tuberculosis is of paramount importance as multiple- and extensively- drug resistant strains of M. tuberculosis emerge and spread. We describe here a virus-based assay in which fluoromycobacteriophages are used to deliver a GFP or ZsYellow fluorescent marker gene to M. tuberculosis, which can then be monitored by fluorescent detection approaches including fluorescent microscopy and flow cytometry. Pre-clinical evaluations show that addition of either Rifampicin or Streptomycin at the time of phage addition obliterates fluorescence in susceptible cells but not in isogenic resistant bacteria enabling drug sensitivity determination in less than 24 hours. Detection requires no substrate addition, fewer than 100 cells can be identified, and resistant bacteria can be detected within mixed populations. Fluorescence withstands fixation by paraformaldehyde providing enhanced biosafety for testing MDR-TB and XDR-TB infections. © 2009 Piuri et al

Coherent coupling between radio frequency, optical, and acoustic waves in piezo-optomechanical circuits

The interaction of optical and mechanical modes in nanoscale optomechanical systems has been widely studied for applications ranging from sensing to quantum information science. Here, we develop a platform for cavity optomechanical circuits in which localized and interacting 1550 nm photons and 2.4 GHz phonons are combined with photonic and phononic waveguides. Working in GaAs facilitates manipulation of the localized mechanical mode either with a radio frequency field through the piezo-electric effect, or optically through the strong photoelastic effect. We use this to demonstrate a novel acoustic wave interference effect, analogous to coherent population trapping in atomic systems, in which the coherent mechanical motion induced by the electrical drive can be completely cancelled out by the optically-driven motion. The ability to manipulate cavity optomechanical systems with equal facility through either photonic or phononic channels enables new device and system architectures for signal transduction between the optical, electrical, and mechanical domains