11,132 research outputs found

    Adaptation and readaptation medical concerns of a Mars trip

    Get PDF
    The ability of the human body to adapt to microgravity environments and to later readapt to a gravity environment was examined. Issues specifically relating to the effects of long duration space flight on the adaptation/readaptation process are discussed. The need for better health prediction techniques is stressed in order to be able to better anticipate crew health problems and to perform corrective actions. Several specific examples are discussed of latent diseases which could occur during a long duration space mission, even after having subjected the crew to thorough premission checkups. The need for learning how to prevent or ameliorate such problems as space adaptation syndrome, bone and muscle (and possibly tissue) atrophy, immune system atrophy, and heart arrythmias is also discussed. The implications of the age of the crew, the influence of an onboard low level gravity field, and drugs are briefly addressed as factors in the adaptation/readaptation process

    First Class Call Stacks: Exploring Head Reduction

    Get PDF
    Weak-head normalization is inconsistent with functional extensionality in the call-by-name λ\lambda-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the λ\lambda-calculus with control, we derive and justify alternative operational semantics and a sequence of abstract machines for performing head reduction. Head reduction avoids the problems with weak-head reduction and extensionality, while our operational semantics and associated abstract machines show us how to retain weak-head reduction's ease of implementation.Comment: In Proceedings WoC 2015, arXiv:1606.0583
    corecore