Cleanroom software development

The 'cleanroom' software development process is a technical and organizational approach to developing software with certifiable reliability. Key ideas behind the process are well structured software specifications, randomized testing methods and the introduction of statistical controls; but the main point is to deny entry for defects during the development of software. This latter point suggests the use of the term 'cleanroom' in analogy to the defect prevention controls used in the manufacturing of high technology hardware. In the 'cleanroom', the entire software development process is embedded within a formal statistical design, in contrast to executing selected tests and appealing to the randomness of operational settings for drawing statistical inferences. Instead, random testing is introduced as a part of the statistical design itself so that when development and testing are completed, statistical inferences are made about the operation of the system

Ancient Cosmic Dust from Triassic Halite

We describe the discovery of fossil micrometeorites in ancient Triassic rock salt; the first to be found in salt and the oldest complete micrometeorites found to date. We present an estimated flux rate of micrometeorites to Earth at this time

Ferromagnetic relaxation by magnon-induced currents

A theory for calculating spin wave relaxation times based on the magnon-electron interaction is developed. The theory incorporates a thin film geometry and is valid for a large range of magnon frequencies and wave vectors. For high conductivity metals such as permalloy, the wave vector dependent damping constant approaches values as high as 0.2, showing the large magnitude of the effect, and can dominate experimentally observed relaxation.Comment: 5 pages, 4 figure

Applications of acoustics in the measurement of coal slab thickness

The determination of the possibility of employing acoustic waves at ultrasonic frequencies for measurements of thicknesses of slabs of coal backed by shale is investigated. Fundamental information concerning the acoustical properties of coal, and the relationship between these properties and the structural and compositional parameters used to characterize coal samples was also sought. The testing device, which utilizes two matched transducers, is described

Decay rate and other properties of the positronium negative ion

A new method for detecting the positronium minus ion is described, and the possibility of a long positronium mean free path in a solid is discussed

Macrospin Models of Spin Transfer Dynamics

The current-induced magnetization dynamics of a spin valve are studied using a macrospin (single domain) approximation and numerical solutions of a generalized Landau-Lifshitz-Gilbert equation. For the purpose of quantitative comparison with experiment [Kiselev {\it et al.} Nature {\bf 425}, 380 (2003)], we calculate the resistance and microwave power as a function of current and external field including the effects of anisotropies, damping, spin-transfer torque, thermal fluctuations, spin-pumping, and incomplete absorption of transverse spin current. While many features of experiment appear in the simulations, there are two significant discrepancies: the current dependence of the precession frequency and the presence/absence of a microwave quiet magnetic phase with a distinct magnetoresistance signature. Comparison is made with micromagnetic simulations designed to model the same experiment.Comment: 14 pages, 14 figures. Email [email protected] for a pdf with higher quality figure

The healing mechanism for excited molecules near metallic surfaces

Radiation damage prevents the ability to obtain images from individual molecules. We suggest that this problem can be avoided for organic molecules by placing them in close proximity with a metallic surface. The molecules will then quickly dissipate any electronic excitation via their coupling to the metal surface. They may therefore be observed for a number of elastic scattering events that is sufficient to determine their structure.Comment: 4 pages, 4 figures. Added reference

The TTF finite-energy spectral features in photoemission of TTF-TCNQ: The Hubbard-chain description

A dynamical theory which accounts for all microscopic one-electron processes is used to study the spectral function of the 1D Hubbard model for the whole $(k, \omega)$-plane, beyond previous studies which focused on the weight distribution in the vicinity of the singular branch lines only. While our predictions agree with those of the latter studies concerning the tetracyanoquinodimethane (TCNQ) related singular features in photoemission of the organic compound tetrathiafulvalene-tetracyanoquinodimethane (TTF-TCNQ) metallic phase, the generalized theory also leads to quantitative agreement concerning the tetrathiafulvalene (TTF) related finite-energy spectral features, which are found to correspond to a value of the on-site repulsion $U$ larger than for TCNQ. Our study reveals the microscopic mechanisms behind the unusual spectral features of TTF-TCNQ and provides a good overall description of those features for the whole $(k, \omega)$-plane.Comment: To appear in Journal of Physics: Condensed Matte

Oligonucleotide sequences forming short self-complimentary hairpins can expedite the down-regulation of Coprinopsis cinerea genes

Gene silencing in fungi is often induced by dsRNA hairpin forming constructs the preparation of which can require multiple cloning steps. To simplify gene silencing in the filamentous fungi we have evaluated a high throughput cloning method for target sequences using the homobasidiomycete Coprinopsis cinerea, the GFP reporter and a commercially available vector system. The pSUPER RNAi System™, which was developed for mammalian experiments, exploits the human H1 Polymerase III (Pol III) RNA gene promoter and expedites cloning/expression of specific user-defined oligonucleotide sequences to form short self-complimentary hairpins. Transformation of C. cinerea with pSUPER constructs harboring specific oligonucleotides (19 nt stem length) enabled recovery of transformants with reduced transcripts of the GFP transgene, that were less fluorescent in protein assays and microscopic phenotypes. This technological advance should expedite functional genomic studies in C. cinerea and has wider potential for utility in other homobasidiomycete and filamentous fungi

Field testing of World Health Organization (WHO) 2003 recommendations for initiating anti-retroviral therapy (ART) where CD4 is not available revealed low sensitivity among stage I and II patients; a combination of Automated Total Lymphocyte Count (TLC) and Haemoglobin (Hgb) can ration the referral for CD4 testing.

2006 AIDS Conference, Toront