Development of mathematical models of environmental physiology

Selected articles concerned with mathematical or simulation models of human thermoregulation are presented. The articles presented include: (1) development and use of simulation models in medicine, (2) model of cardio-vascular adjustments during exercise, (3) effective temperature scale based on simple model of human physiological regulatory response, (4) behavioral approach to thermoregulatory set point during exercise, and (5) importance of skin temperature in sweat regulation

Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

We consider the incremental computation of minimal unsatisfiable cores (MUCs) of QBFs. To this end, we equipped our incremental QBF solver DepQBF with a novel API to allow for incremental solving based on clause groups. A clause group is a set of clauses which is incrementally added to or removed from a previously solved QBF. Our implementation of the novel API is related to incremental SAT solving based on selector variables and assumptions. However, the API entirely hides selector variables and assumptions from the user, which facilitates the integration of DepQBF in other tools. We present implementation details and, for the first time, report on experiments related to the computation of MUCs of QBFs using DepQBF's novel clause group API.Comment: (fixed typo), camera-ready version, 6-page tool paper, to appear in proceedings of SAT 2015, LNCS, Springe

Genetic recombination is targeted towards gene promoter regions in dogs

The identification of the H3K4 trimethylase, PRDM9, as the gene responsible for recombination hotspot localization has provided considerable insight into the mechanisms by which recombination is initiated in mammals. However, uniquely amongst mammals, canids appear to lack a functional version of PRDM9 and may therefore provide a model for understanding recombination that occurs in the absence of PRDM9, and thus how PRDM9 functions to shape the recombination landscape. We have constructed a fine-scale genetic map from patterns of linkage disequilibrium assessed using high-throughput sequence data from 51 free-ranging dogs, Canis lupus familiaris. While broad-scale properties of recombination appear similar to other mammalian species, our fine-scale estimates indicate that canine highly elevated recombination rates are observed in the vicinity of CpG rich regions including gene promoter regions, but show little association with H3K4 trimethylation marks identified in spermatocytes. By comparison to genomic data from the Andean fox, Lycalopex culpaeus, we show that biased gene conversion is a plausible mechanism by which the high CpG content of the dog genome could have occurred.Comment: Updated version, with significant revision

Eliciting imitation in early infancy

N/

Science Requirements and Conceptual Design for a Polarized Medium Energy Electron-Ion Collider at Jefferson Lab

This report presents a brief summary of the science opportunities and program of a polarized medium energy electron-ion collider at Jefferson Lab and a comprehensive description of the conceptual design of such a collider based on the CEBAF electron accelerator facility.Comment: 160 pages, ~93 figures This work was supported by the U.S. Department of Energy, Office of Nuclear Physics, under Contract No. DE-AC05-06OR23177, DE-AC02-06CH11357, DE-AC05-060R23177, and DESC0005823. The U.S. Government retains a non-exclusive, paid-up, irrevocable, world-wide license to publish or reproduce this manuscript for U.S. Government purpose

Airway hyperresponsiveness, but not airway remodeling, is attenuated during chronic pulmonary allergic responses to Aspergillus in CCR4‐/‐ mice

The role of CC chemokine receptor 4 (CCR4) during the development and maintenance of Th2type allergic airway disease is controversial. In this study, we examined the role of CCR4 in the chronic allergic airway response to live Aspergillus fumigatus spores, or conidia, in A. fumigatussensitized mice. After the conidia challenge, mice lacking CCR4 (CCR4‐/‐ mice) exhibited significantly increased numbers of airway neutrophils and macrophages, and conidia were more rapidly eliminated from these mice compared with control CCR4 wild‐type (CCR4+/+) mice. Significant airway hyperresponsiveness to intravenous methacholine was observed at day 3 in CCR4‐/‐ mice, whereas at days 7 and 30, airway hyperresponsiveness was attenuated in these mice compared with control mice. A major reduction in peribronchial and airway eosinophilia was observed in CCR4‐/‐ mice at all times after conidia challenge in contrast to CCR4+/+ mice. Further, whole lung levels of interleukin (IL) 4 and IL‐5 were significantly increased in CCR4‐/‐ mice at day 3, whereas these Th2 cytokines and IL‐13 were significantly decreased at day 30 in CCR4‐/‐ mice compared with their wild‐type counterparts. Peribronchial fibrosis and goblet cell hyperplasia were similar in both groups of mice throughout the course of this model. In summary, CCR4 modulates both innate and acquired immune responses associated with chronic fungal asthma.Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/154441/1/fsb2fasebj16100193-sup-0001.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/154441/2/fsb2fasebj16100193.pd