Demonstration of an ion-implanted, wavelength-shifted quantum-well laser

A technique for fabricating many different wavelength lasers on the same wafer has been developed. High energy ion implantation was used to selectively blue shift the emission wavelength of an InP-based quantum well laser structure. This structure was then processed into fully functional broad-area lasers whose current threshold was unaffected by the implantation process, indicating extremely high material quality after bandgap-shifting. This process has the potential for the integration of not only different wavelength lasers, but also other devices, such as waveguides, detectors, modulators, etc., on a single wafer.     

Array pattern synthesis in the complex plane optimised by a geneticalgorithm

Array pattern nulling by operating on the roots of the array polynomial in the complex plane using a genetic algorithm (GA) is demonstrated. A pattern envelope constraint and an array efficiency criterion are applied. The algorithm is much faster than a similar GA operating on the complex weights of the array factor     

A method for constructing decodable de Bruijn sequences

We present two related methods of construction for de Bruijn (1946) sequences, both based on interleaving “smaller” de Bruijn sequences. Sequences obtained using these construction methods have the advantage that they can be “decoded” very efficiently, i.e., the position within the sequence of any particular “window” can be found very simply. Sequences with simple decoding algorithms are of considerable practical importance in position location applications     

Selectors Make Set-Based Analysis Too Hard

A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example, if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract the relevant component from the abstract representation of the procedure. In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more efficient manner.     

Medications and cataract. The Blue Mountains Eye Study

PURPOSE: Corticosteroids are known to cause cataracts, but the effects of other medications on the lens are unclear. The aim of this study was to investigate the relationships between cataracts and a range of medications, including allopurinol, aspirin, chloroquine, diuretics, phenothiazines, and simvastatin. DESIGN: Population-based cross-sectional study. PARTICIPANTS: 3654 individuals 49 to 97 years of age (response rate, 82%) from an urban community near Sydney, Australia, were included. TESTING: Lens photography. PRIMARY OUTCOME MEASURE: Lens photographs were graded for the presence and severity of cortical, nuclear, and posterior subcapsular cataract. RESULTS: After adjusting for numerous potential confounders in ordinal regression models, use of phenothiazines was associated with nuclear cataract (adjusted odds ratio [OR], 2.18; 95% confidence interval [CI], 1.01-4.74); long-term aspirin users (> or = 10 years) had higher prevalence of posterior subcapsular cataract than did nonusers and short-term users (test for trend, P = 0.02); and the antimalarial drug mepacrine was associated with posterior subcapsular cataract (adjusted OR, 3.56; 95% CI, 1.56-8.13). There was a suggestion that use of chloroquine-like drugs for more than 1 year (test for trend, P = 0.12) might also be associated with posterior subcapsular cataract. Antihypertensive medications, cholesterol-lowering drugs, and allopurinol were not associated with any type of cataract. Potassium-sparing diuretics were the only diuretic to show any evidence of an association with cataract (test for trend for posterior subcapsular cataract, P = 0.14). Amiodarone was associated with cortical cataract (age- and gender-adjusted OR, 3.84; 95% CI, 1.01-14.81), but there were too few users to do analyses adjusted for multiple confounders. CONCLUSIONS: Most drugs commonly used in the community do not appear to be associated with cataract. The findings of this study do not support the hypothesis that aspirin protects against cataract.     

Recognition and management of catheter-induced pulmonary artery rupture

The use of PCR to amplify a specific virA gene fragment serves as a highly specific and sensitive method to detect virulent bacteria of the genus Shigella and enteroinvasive Escherichia coli. Amplification of a 215-bp DNA band was obtained by using isolated genomic DNA of Shigella, individual cells of Shigella dysenteriae, and mayonnaise contaminated with S. dysenteriae. Moreover, a multiplex PCR with specific (virA) and bacterium-restricted (16S ribosomal DNA) primers generated an amplification product of approximately 755 bp for all bacteria tested and an additional 215-bp product for Shigella and enteroinvasive E. coli.     

The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

Using Survey Data and Mathematical Modeling to Prioritize Water Interventions in Developing Countries

Water Resources Management - A traditional cost-benefit analysis of potential water interventions in a given locality is a laborious and time-intensive process. To help decision makers identify...     

Exploitation of a pulsed neutron source for the structural study of anisotropic polymer films

A novel but simple time-of-flight neutron scattering geometry which allows structural anisotropy to be probed directly, simultaneously and thus unambiguously in polymeric and other materials is described. A particular advantage of the simultaneous data collection when coupled to the large area of the beam is that it enables thin films (< 10 m < 10 mg) to be studied with relative ease. The utility of the technique is illustrated by studies on both deformed poly(styrene) glasses and on thin films of electrical conducting polymers. In the latter case, the power of isotopic substitution is illustrated to great effect. The development of these procedures for use in other areas of materials science is briefly discussed.