11,132 research outputs found
Adaptation and readaptation medical concerns of a Mars trip
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
Weak-head normalization is inconsistent with functional extensionality in the
call-by-name -calculus. We explore this problem from a new angle via
the conflict between extensionality and effects. Leveraging ideas from work on
the -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
- …