Complexity Bounds for Ordinal-Based Termination

`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program running times. Our main tool for this are length function theorems, which provide complexity bounds on the use of well quasi orders. We illustrate how to prove such theorems in the simple yet until now untreated case of ordinals. We show how to apply this new theorem to derive complexity bounds on programs when they are proven to terminate thanks to a ranking function into some ordinal.Comment: Invited talk at the 8th International Workshop on Reachability Problems (RP 2014, 22-24 September 2014, Oxford

Endogenous fantasy and learning in digital games.

Many people believe that educational games are effective because they motivate children to actively engage in a learning activity as part of playing the game. However, seminal work by Malone (1981), exploring the motivational aspects of digital games, concluded that the educational effectiveness of a digital game depends on the way in which learning content is integrated into the fantasy context of the game. In particular, he claimed that content which is intrinsically related to the fantasy will produce better learning than that which is merely extrinsically related. However, this distinction between intrinsic and extrinsic (or endogenous and exogenous) fantasy is a concept that has developed a confused standing over the following years. This paper will address this confusion by providing a review and critique of the empirical and theoretical foundations of endogenous fantasy, and its relevance to creating educational digital games. Substantial concerns are raised about the empirical basis of this work and a theoretical critique of endogenous fantasy is offered, concluding that endogenous fantasy is a misnomer, in so far as the "integral and continuing relationship" of fantasy cannot be justified as a critical means of improving the effectiveness of educational digital games. An alternative perspective on the intrinsic integration of learning content is described, incorporating game mechanics, flow and representations

Games in Higher Education

International audienceThis entry presents an overview of how and why Learning Games are used in higher education.Learning Games can be defined as games that are designed to captivate the learners’ attention and facilitate their learning process. They have explicit educational purposes and can be used for teaching at all levels of education. All types of games can be used for learning: board games, card games, role-playing games, First Person Shooter games, simulation games, management games, puzzle games, treasure hunts…The main characteristic of Learning Games for higher education is the fact that they are designed to teach specific complex skills taught at university or during professional training programs. Unfortunately, it is not infrequent to observe strong opposition on the part of this target audience to this mode of learning, that these adult students associate with children.The use of Learning Games in primary school seems natural to teachers and is encouraged by specialists in didactics and neuroscience. This learning technique is much less frequently used in middle school and is almost completely absent from higher education. Yet teachers at all these levels are faced with the same problems, such as lack of motivation and investment, for which games are known to be an effective solution. This entry presents an overview of the games that can be used for higher education and the reasons why some teachers and students still show resistance to this type of learning. The numerous advantages of games for higher education will then be presented, citing games presently used in universities, in graduate schools and for professional training. Finally, thisDraft : Marfisi-Schottman I. (2019) Games in Higher Education. In: Tatnall A. (eds) Encyclopedia of Education and Information Technologies. Springer, Chamentry presents the current research questions that need to be addressed concerning the design of games for higher education and the acceptance of these games by teachers

Building bridges between industry and academia: what is the profile of an industrial doctorate student?

info:eu-repo/semantics/acceptedVersio

Helicobacter pylori Impairs Murine Dendritic Cell Responses to Infection

International audienceBACKGROUND: Helicobacter pylori, a human pathogen associated with chronic gastritis, peptic ulcer and gastric malignancies, is generally viewed as an extracellular microorganism. Here, we show that H. pylori replicates in murine bone marrow derived-dendritic cells (BMDCs) within autophagosomes. METHODOLOGY/PRINCIPAL FINDINGS: A 10-fold increase of CFU is found between 2 h and 6 h p.i. in H. pylori-infected BMDCs. Autophagy is induced around the bacterium and participates at late time points of infection for the clearance of intracellular H. pylori. As a consequence of infection, LC3, LAMP1 and MHC class II molecules are retained within the H. pylori-containing vacuoles and export of MHC class II molecules to cell surface is blocked. However, formalin-fixed H. pylori still maintain this inhibitory activity in BMDC derived from wild type mice, but not in from either TLR4 or TLR2-deficient mice, suggesting the involvement of H. pylori-LPS in this process. TNF-alpha, IL-6 and IL-10 expression was also modulated upon infection showing a TLR2-specific dependent IL-10 secretion. No IL-12 was detected favoring the hypothesis of a down modulation of DC functions during H. pylori infection. Furthermore, antigen-specific T cells proliferation was also impaired upon infection. CONCLUSIONS/SIGNIFICANCE: H. pylori can infect and replicate in BMDCs and thereby affects DC-mediated immune responses. The implication of this new finding is discussed for the biological life cycle of H. pylori in the host

Lean Body Mass, Interleukin 18, and Metabolic Syndrome in Apparently Healthy Chinese

OBJECTIVE: We aimed to investigate how lean body mass is related to circulating Interleukin 18 (IL-18) and its association with metabolic syndrome (MetS) among apparently healthy Chinese. METHODS: A population-based sample of 1059 Chinese men and women aged 35-54 years was used to measure plasma IL-18, glucose, insulin, lipid profile, inflammatory markers and high-molecular-weight (HMW)-adiponectin. Fat mass index (FMI) and lean mass index (LMI) were measured by dual-energy X-ray absorptiometry. MetS was defined by the updated National Cholesterol Education Program Adult Treatment Panel III criteria for Asian-Americans. RESULTS: Circulating IL-18 was positively correlated with LMI after adjustment for FMI (correlation coefficient = 0.11, P<0.001). The association with the MetS (odds ratio 3.43, 95% confidence interval 2.01-5.85) was substantially higher in the highest than the lowest quartile of IL-18 after multiple adjustments including body mass index. In the stratified multivariable regression analyses, the positive association between IL-18 and MetS was independent of tertiles of FMI, inflammatory markers and HMW-adiponectin, but significantly interacted with tertile of LMI (P for interaction = 0.010). CONCLUSION: Elevated plasma IL-18 was associated with higher MetS prevalence in apparently healthy Chinese, independent of traditional risk factors, FMI, inflammatory markers and HMW-adiponectin. More studies are needed to clarify the role of lean mass in IL-18 secretion and its associated cardio-metabolic disorders

Iron Status Predicts Treatment Failure and Mortality in Tuberculosis Patients: A Prospective Cohort Study from Dar es Salaam, Tanzania

Experimental data suggest a role for iron in the course of tuberculosis (TB) infection, but there is limited evidence on the potential effects of iron deficiency or iron overload on the progression of TB disease in humans. The aim of the present analysis was to examine the association of iron status with the risk of TB progression and death.\ud We analyzed plasma samples and data collected as part a randomized micronutrient supplementation trial (not including iron) among HIV-infected and HIV-uninfected TB patients in Dar es Salaam, Tanzania. We prospectively related baseline plasma ferritin concentrations from 705 subjects (362 HIV-infected and 343 HIV-uninfected) to the risk of treatment failure at one month after initiation, TB recurrence and death using binomial and Cox regression analyses. Overall, low (plasma ferritin<30 µg/L) and high (plasma ferritin>150 µg/L for women and>200 µg/L for men) iron status were seen in 9% and 48% of patients, respectively. Compared with normal levels, low plasma ferritin predicted an independent increased risk of treatment failure overall (adjusted RR = 1.95, 95% CI: 1.07 to 3.52) and of TB recurrence among HIV-infected patients (adjusted RR = 4.21, 95% CI: 1.22 to 14.55). High plasma ferritin, independent of C-reactive protein concentrations, was associated with an increased risk of overall mortality (adjusted RR = 3.02, 95% CI: 1.95 to 4.67). Both iron deficiency and overload exist in TB patients and may contribute to disease progression and poor clinical outcomes. Strategies to maintain normal iron status in TB patients could be helpful to reduce TB morbidity and mortality

The aged niche disrupts muscle stem cell quiescence

SUMMARY The niche is a conserved regulator of stem cell quiescence and function. During aging, stem cell function declines. To what extent and by which means age-related changes within the niche contribute to this phenomenon are unknown. We demonstrate that the aged muscle stem cell niche, the muscle fiber, expresses FGF2 under homeostatic conditions, driving a subset of satellite cells to break quiescence and lose self-renewing capacity. We show that relatively dormant aged satellite cells robustly express Sprouty1 (spry1), an inhibitor of FGF signalling. Increasing FGF signalling in aged satellite cells under homeostatic conditions by removing spry1, results in the loss of quiescence, satellite cell depletion and diminished regenerative capacity. Conversely, reducing niche-derived FGF activity through inhibition of FGFR1 signalling or overexpression of spry1 in satellite cells prevents their depletion. These experiments identify an age-dependent change in the stem cell niche that directly influences stem cell quiescence and function

CREB Is Activated by Muscle Injury and Promotes Muscle Regeneration

The cAMP response element binding protein (CREB) plays key roles in differentiation of embryonic skeletal muscle progenitors and survival of adult skeletal muscle. However, little is known about the physiologic signals that activate CREB in normal muscle. Here we show that CREB phosphorylation and target genes are induced after acute muscle injury and during regeneration due to genetic mutation. Activated CREB localizes to both myogenic precursor cells and newly regenerating myofibers within regenerating areas. Moreover, we found that signals from damaged skeletal muscle tissue induce CREB phosphorylation and target gene expression in primary mouse myoblasts. An activated CREB mutant (CREBY134F) potentiates myoblast proliferation as well as expression of early myogenic transcription factors in cultured primary myocytes. Consistently, activated CREB-YF promotes myoblast proliferation after acute muscle injury in vivo and enhances muscle regeneration in dystrophic mdx mice. Our findings reveal a new physiologic function for CREB in contributing to skeletal muscle regeneration