1,426 research outputs found
Point of View
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/99079/1/j.2326-1951.1974.tb01151.x.pd
Germ-Line Gene Therapy: Another View
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/63188/1/hum.1993.4.2-127.pd
Recommended from our members
Recovering purity with comonads and capabilities
© 2020 Owner/Author. In this paper, we take a pervasively effectful (in the style of ML) typed lambda calculus, and show how to extend it to permit capturing pure expressions with types. Our key observation is that, just as the pure simply-typed lambda calculus can be extended to support effects with a monadic type discipline, an impure typed lambda calculus can be extended to support purity with a comonadic type discipline. We establish the correctness of our type system via a simple denotational model, which we call the capability space model. Our model formalises the intuition common to systems programmers that the ability to perform effects should be controlled via access to a permission or capability, and that a program is capability-safe if it performs no effects that it does not have a runtime capability for. We then identify the axiomatic categorical structure that the capability space model validates, and use these axioms to give a categorical semantics for our comonadic type system. We then give an equational theory (substitution and the call-by-value ß and • laws) for the imperative lambda calculus, and show its soundness relative to this semantics. Finally, we give a translation of the pure simply-typed lambda calculus into our comonadic imperative calculus, and show that any two terms which are ß•-equal in the STLC are equal in the equational theory of the comonadic calculus, establishing that pure programs can be mapped in an equation-preserving way into our imperative calculus
MS 089 Guide to Robert K. Blair, MD Papers; 1944-1983
The James V. Neel papers contains incoming and outgoing Atomic Bomb Casualty Commission communication and correspondence, Committee on Atomic Casualties minutes, hematology ABCC 1, hematology ABCC 2, hematology ABCC program 1, Japan lectures, Nagasaki study of Metal Ret. Children, ABCC memoranda and reports, genetics data, atomic calculations, various conference information, genetics and vital statistics, genetics code, studies on consanguinity and heritability, genetics section monthly reports, cousin marriage, congenital and/or hereditary abnormalities in Japanese and Caucasians, quarterly reports submitted from Japan, monthly reports, genetics and research information, calculation sheet on atomic bomb studies, radiation census, midwife training, Kitamura program, consultants correspondence, staff correspondence, photocopy of manuscript, and other prints and photos related to the work and research of Dr. James V. Neel.
See more informaon at https://archives.library.tmc.edu/ms-089
Interplay of phase boundary anisotropy and electro-autocatalytic surface reactions on the lithium intercalation dynamics in LiFePO platelet-like nanoparticles
Experiments on single crystal LiFePO (LFP) nanoparticles indicate
rich nonequilibrium phase behavior, such as suppression of phase separation at
high lithiation rates, striped patterns of coherent phase boundaries,
nucleation by binarysolid surface wetting and intercalation waves. These
observations have been successfully predicted (prior to the experiments) by 1D
depth-averaged phase-field models, which neglect any subsurface phase
separation. In this paper, using an electro-chemo-mechanical phase-field model,
we investigate the coherent non-equilibrium subsurface phase morphologies that
develop in the - plane of platelet-like single-crystal platelet-like
LiFePO nanoparticles. Finite element simulations are performed for 2D
plane-stress conditions in the - plane, and validated by 3D simulations,
showing similar results. We show that the anisotropy of the interfacial tension
tensor, coupled with electroautocatalytic surface intercalation reactions,
plays a crucial role in determining the subsurface phase morphology. With
isotropic interfacial tension, subsurface phase separation is observed,
independent of the reaction kinetics, but for strong anisotropy, phase
separation is controlled by surface reactions, as assumed in 1D models.
Moreover, the driven intercalation reaction suppresses phase separation during
lithiation, while enhancing it during delithiation, by electro-autocatalysis,
in quantitative agreement with {\it in operando} imaging experiments in
single-crystalline nanoparticles, given measured reaction rate constants
Genetic studies of quantitative variation in a component of human saliva
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66392/1/j.1469-1809.1963.tb01529.x.pd
Reappraisal of studies concerning the genetic effects of the radiation of humans, mice, and Drosophila
No abstract.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/35016/1/2_ftp.pd
Two recent radiation-related genetic false alarms: Leukemia in West Cumbria, England, and minisatellite mutations in Belarus
No abstract.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/34554/1/17_ftp.pd
- …