Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it could not infer determinacy conditions for programs that contained cuts or applied certain tests to select a clause. This paper shows how to remedy these serious deficiencies. It also addresses the problem of identifying those predicates which can be rewritten in a more deterministic fashion. To this end, a radically new form of determinacy inference is introduced, which is founded on ideas in ccp, that is capable of reasoning about the way bindings imposed by a rightmost goal can make a leftmost goal deterministic

Myogenin Regulates Exercise Capacity and Skeletal Muscle Metabolism in the Adult Mouse

Although skeletal muscle metabolism is a well-studied physiological process, little is known about how it is regulated at the transcriptional level. The myogenic transcription factor myogenin is required for skeletal muscle development during embryonic and fetal life, but myogenin's role in adult skeletal muscle is unclear. We sought to determine myogenin's function in adult muscle metabolism. A Myog conditional allele and Cre-ER transgene were used to delete Myog in adult mice. Mice were analyzed for exercise capacity by involuntary treadmill running. To assess oxidative and glycolytic metabolism, we performed indirect calorimetry, monitored blood glucose and lactate levels, and performed histochemical analyses on muscle fibers. Surprisingly, we found that Myog-deleted mice performed significantly better than controls in high- and low-intensity treadmill running. This enhanced exercise capacity was due to more efficient oxidative metabolism during low- and high-intensity exercise and more efficient glycolytic metabolism during high-intensity exercise. Furthermore, Myog-deleted mice had an enhanced response to long-term voluntary exercise training on running wheels. We identified several candidate genes whose expression was altered in exercise-stressed muscle of mice lacking myogenin. The results suggest that myogenin plays a critical role as a high-level transcriptional regulator to control the energy balance between aerobic and anaerobic metabolism in adult skeletal muscle

The Effect of Antioxidant Supplementation on Fatigue during Exercise: Potential Role for NAD+(H)

This study compared serum pyridine levels (NAD+ /NADH) in trained (n = 6) and untrained (n = 7) subjects after continuous progressive exercise at 50%, 70% then 95% of physical work capacity until fatigue (TTF) after consuming a placebo or antioxidant (AO) cocktail (Lactaway©). An increase of 17% in TTF was observed in AO as compared to placebo (p = 0.032). This was accompanied by a significant increase in serum NAD+ levels (p = 0.037) in the AO supplemented group post exercise. The increases in NAD+ and improved endurance reflect lower oxidative stress-induced suppression of aerobic respiration

Some strategic national initiatives for the Swedish education in the geodata field

Ponencias, comunicaciones y pósters presentados en el 17th AGILE Conference on Geographic Information Science "Connecting a Digital Europe through Location and Place", celebrado en la Universitat Jaume I del 3 al 6 de junio de 2014.This paper describes national cooperation in Sweden launched by its universities and authorities, aimed at improving geodata education. These initiatives have been focused upon providing common access to geodata, the production of teaching materials in Swedish and organizing annual meetings for teachers. We argue that this type of cooperation is vital to providing high quality education for a poorly recognized subject in a country with a relatively small population

A pilot study comparing the metabolic profiles of elite-level athletes from different sporting disciplines

Background: The outstanding performance of an elite athlete might be associated with changes in their blood metabolic profile. The aims of this study were to compare the blood metabolic profiles between moderate- and high-power and endurance elite athletes and to identify the potential metabolic pathways underlying these differences. Methods: Metabolic profiling of serum samples from 191 elite athletes from different sports disciplines (121 high- and 70 moderate-endurance athletes, including 44 high- and 144 moderate-power athletes), who participated in national or international sports events and tested negative for doping abuse at anti-doping laboratories, was performed using non-targeted metabolomics-based mass spectroscopy combined with ultrahigh-performance liquid chromatography. Multivariate analysis was conducted using orthogonal partial least squares discriminant analysis. Differences in metabolic levels between high- and moderate-power and endurance sports were assessed by univariate linear models. Results: Out of 743 analyzed metabolites, gamma-glutamyl amino acids were significantly reduced in both high-power and high-endurance athletes compared to moderate counterparts, indicating active glutathione cycle. High-endurance athletes exhibited significant increases in the levels of several sex hormone steroids involved in testosterone and progesterone synthesis, but decreases in diacylglycerols and ecosanoids. High-power athletes had increased levels of phospholipids and xanthine metabolites compared to moderate-power counterparts. Conclusions: This pilot data provides evidence that high-power and high-endurance athletes exhibit a distinct metabolic profile that reflects steroid biosynthesis, fatty acid metabolism, oxidative stress, and energy-related metabolites. Replication studies are warranted to confirm differences in the metabolic profiles associated with athletes’ elite performance in independent data sets, aiming ultimately for deeper understanding of the underlying biochemical processes that could be utilized as biomarkers with potential therapeutic implications

Effects of acute fatigue on the volitional and magnetically-evoked electromechanical delay of the knee flexors in males and females

Neuromuscular performance capabilities, including those measured by evoked responses, may be adversely affected by fatigue; however, the capability of the neuromuscular system to initiate muscle force rapidly under these circumstances is yet to be established. Sex-differences in the acute responses of neuromuscular performance to exercise stress may be linked to evidence that females are much more vulnerable to ACL injury than males. Optimal functioning of the knee flexors is paramount to the dynamic stabilisation of the knee joint, therefore the aim of this investigation was to examine the effects of acute maximal intensity fatiguing exercise on the voluntary and magnetically-evoked electromechanical delay in the knee flexors of males and females. Knee flexor volitional and magnetically-evoked neuromuscular performance was assessed in seven male and nine females prior to and immediately after: (i) an intervention condition comprising a fatigue trial of 30-seconds maximal static exercise of the knee flexors, (ii) a control condition consisting of no exercise. The results showed that the fatigue intervention was associated with a substantive reduction in volitional peak force (PFV) that was greater in males compared to females (15.0%, 10.2%, respectively, p < 0.01) and impairment to volitional electromechanical delay (EMDV) in females exclusively (19.3%, p < 0.05). Similar improvements in magnetically-evoked electromechanical delay in males and females following fatigue (21%, p < 0.001), however, may suggest a vital facilitatory mechanism to overcome the effects of impaired voluntary capabilities, and a faster neuromuscular response that can be deployed during critical times to protect the joint system

Policy Options for Sustainable Food Consumption – Review and Recommendations for Sweden. Mistra Sustainable Consumption report 1:10

The environmental impact of the average Swede’s diet exceeds the planetary limits for the food system in most areas. Over 15% of consumption-based greenhouse gas emissions come from food in Sweden. Sweden’s agricultural landscape has the largest proportion of European Red List species of all landscape types in Sweden and food imports are associated with high rates of land use, pesticides and veterinary antibiotics in other countries. Our diet is also not sustainable in terms of health – for example, 51% of Swedes are overweight and many of the most common diseases and causes of death are linked to diet.This report identifies and discusses policy instruments that the state and other public actors could introduce to steer food consumption in Sweden towards a more environmentally sustainable diet. Seventeen policy instruments operating either through knowledge and support, changes in relative prices, or regulation and requirements have been identified and previous research on policy effectiveness, costs and acceptance has been mapped out in a way that we hope is clear and easy to understand. Based on the current state of knowledge, we have formulated three recommendations on what public actors could do to accelerate the transition to a more sustainable food system.1.Intensify work in the public sector2.Develop national targets for sustainable food consumption3.Develop and implement effective and attractive policy instrument packagesThe mapping and analysis show that there is a need for research on policy instruments for environmentally sustainable food consumption, particularly when it comes to combinations of instruments. However, there is a sufficient evidence base for the immediate development and implementation of policy instruments to deal with the climate, environmental and health impacts of food. A focus on targets and policy instruments in the food area, as outlined above, is also fully in line with the EU’s new Farm-to-Fork strategy. The policy instruments discussed in the report can probably achieve only part of the huge, transformative changes required to limit the production and consumption of food to planetary limits, but a central issue is how to do this. Part of the answer lies in a change in food consumption and here we believe that we know where the answer lies: public actors ought to develop and implement a variety of policy instruments and systematically evaluate them – it is in this more large-scale implementation that the real need for research lies. The challenge of reducing the environmental impact of food consumption in Sweden is considerable, but there are good opportunities for nudging the trend towards more environment-friendly and health-friendly sustainable food consumption through the deployment of new policy instruments

Specializing Interpreters using Offline Partial Deduction

We present the latest version of the Logen partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.We show how to achieve Jones-optimality in a systematic way for several interpreters. Finally, we present and specialise a non-trivial interpreter for a small functional programming language. Experimental results are also presented, highlighting that the Logen system can be a good basis for generating compilers for high-level languages