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.     

MOSFET modeling for circuit simulation

An overview of MOSFET modeling for circuit simulation is presented. After discussing some of the implications of analog and low-power applications, the history of the MOS models commonly used in SPICE-like circuit simulators is presented, followed by a discussion of the evolution of strategies for modeling the geometry dependence of MOSFET characteristics. The growth of complexity and requirements for future MOS models are also considered     

Effect of cisplatin and c-myb antisense phosphorothioate oligodeoxynucleotides combination on a human colon carcinoma cell line in vitro and in vivo

We investigated the effect of c-myb antisense phosphorothioate oligodeoxynucleotides [(S)ODNs] and cisplatin (CDDP) combination on the human colon carcinoma cell line LoVo Dx both in vitro and in nude mice bearing LoVo Dx solid tumour. We show that antisense (S)ODN treatment decreases c-myb mRNA and protein expression, induces growth arrest in the G1 phase of the cell cycle, and inhibits cell proliferation. In vivo treatment with c-myb antisense (S)ODNs results in a reduction in tumour growth. A greater inhibition of cell proliferation in vitro and a higher increase of tumour growth inhibition and growth delay in vivo were obtained with the combination of (S)ODNs and CDDP than when the two agents were administered separately. This comparative study, using the same tumour cell line in vitro and in vivo, suggests that c-myb antisense (S)ODNs might be useful in the therapy of colon cancer in combination with antineoplastic drugs.     

Laser interferometer with fine-focused beams to monitor the spatial position of an object

Analogies with interferometers using a light source with low temporal coherence are used to analyze the principles of the construction of laser interferometers with averaging over the photodetector aperture, whose sensitivity to the position of an object being monitored at the maximum of the output signal is as good as that of low-coherence interferometry and tomography. Pis’ma Zh. Tekh. Fiz. 24, 19–24 (February 26, 1998)     

Trp82 and Tyr332 are involved in two quaternary ammonium binding domains of human butyrylcholinesterase as revealed by photoaffinity labeling with [3H]DDF

Purified butyrylcholinesterase (BuChE) was photolabeled by [3H]-p-N, N-dimethylamino benzene diazonium ([3H]DDF) to identify the quaternary ammonium binding sites on this protein [Ehret-Sabatier, L. , Schalk, I., Goeldner, M., and Hirth, C. (1992) Eur. J. Biochem. 203, 475-481]. The covalent photoincorporation occurs with a stoichiometry of one mole of probe per mole of inactivated site and could be fully prevented by several cholinergic inhibitors such as tacrine or tetramethylammonium. After complete deglycosylation of the enzyme using N-glycosidase F, the alkylated protein was trypsinolyzed and the digests were analyzed by HPLC coupled to ES-MS. A direct comparison of tryptic fragments from labeled and unlabeled BuChE allowed us to identify the tryptic peptide Tyr61-Lys103 as carrying the probe. Purification of the labeled peptides by anion-exchange chromatography gave a major radioactive peak which was further fractionated by reversed-phase HPLC leading to three, well-resolved, radioactive peaks. Microsequencing revealed that two of these peaks contained an overlapping sequence starting at Tyr61, while the third peak contained a sequence extending from Thr315. Radioactive signals could be unambiguously attributed to positions corresponding to residues Trp82 and Tyr332. This labeling study establishes the existence of two different binding domains for quaternary ammonium in BuChE and exemplifies additional cation/pi interactions in cholinergic proteins. This work strongly supports the existence of a peripheral anionic site in BuChE, implying residue Tyr332 as a key element.     

The safer choices project: methodological issues in school-based health promotion intervention research

Randomized trials of school-based health promotion programs present unique design and analytical issues not widely discussed in the research literature. This article describes the Safer Choices study--a school-based program for prevention of HIV, other sexually transmitted diseases, and pregnancy--to illustrate critical methodological issues involved in large-scale, school-based intervention trials, particularly those evaluating interventions with a school-wide focus. The issues presented are: 1) comparability of the intervention and control groups even when few units are randomized; 2) factors that affect the decision to use a cohort or cross-sectional design; and 3) appropriate analysis strategy when the unit of randomization and intervention is at the school level, but observations are at the student level.