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

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 LiX_XFePO4_4 platelet-like nanoparticles

Experiments on single crystal Li$_X$FePO$_4$ (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 $ab$- plane of platelet-like single-crystal platelet-like Li$_X$FePO$_4$ nanoparticles. Finite element simulations are performed for 2D plane-stress conditions in the $ab$- 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

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

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

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