Reusable Components of Semantic Specifications

Semantic specifications of programming languages typically have poor modularity. This hinders reuse of parts of the semantics of one language when specifying a different language – even when the two languages have many constructs in common – and evolution of a language may require major reformulation of its semantics. Such drawbacks have discouraged language developers from using formal semantics to document their designs. In the PLanCompS project, we have developed a component-based approach to semantics. Here, we explain its modularity aspects, and present an illustrative case study: a component-based semantics for Caml Light. We have tested the correctness of the semantics by running programs on an interpreter generated from the semantics, comparing the output with that produced on the standard implementation of the language. Our approach provides good modularity, facilitates reuse, and should support co-evolution of languages and their formal semantics. It could be particularly useful in connection with domain-specific languages and language-driven software development

Futures in the making: Practices to anticipate 'ubiquitous computing'

This paper addresses the discourse for a proactive thinking of futurity, intimately concerned with technology, which comes to an influential fruition in the discussion and representation of 'ubiquitous computing'. The imagination, proposal, or playing out of ubiquitous computing environments are bound up with particular ways of constructing futurity. This paper charts the techniques used in ubiquitous computing development to negotiate that futurity. In so doing, it engages with recent geographical debates around anticipation and futurity. The discussion accordingly proceeds in four parts. First, the spatial imagination engendered by the development of ubiquitous computing is explored. Second, particular techniques in ubiquitous computing research and development for anticipating future technology use, and their limits, are discussed through empirical findings. Third, anticipatory knowledge is explored as the basis for stable means of future orientation, which both generates and derives from the techniques for anticipating futures. Fourth, the importance of studying future orientation is situated in relation to the somewhat contradictory nature of anticipatory knowledges of ubicomp and related forms of spatial imagination. © 2012 Pion and its Licensors

Search for CP violation in D+→ϕπ+ and D+s→K0Sπ+ decays

A search for CP violation in D + → ϕπ + decays is performed using data collected in 2011 by the LHCb experiment corresponding to an integrated luminosity of 1.0 fb−1 at a centre of mass energy of 7 TeV. The CP -violating asymmetry is measured to be (−0.04 ± 0.14 ± 0.14)% for candidates with K − K + mass within 20 MeV/c 2 of the ϕ meson mass. A search for a CP -violating asymmetry that varies across the ϕ mass region of the D + → K − K + π + Dalitz plot is also performed, and no evidence for CP violation is found. In addition, the CP asymmetry in the D+s→K0Sπ+ decay is measured to be (0.61 ± 0.83 ± 0.14)%

Nutrition education: a questionnaire for assessment and teaching

It is generally recognized that there is a need for improved teaching of nutrition in medical schools and for increased education of the general population. A questionnaire, derived in part from a study of physician knowledge, was administered to first year medical students in order to assess their knowledge of various aspects of nutrition and metabolism, and as a teaching tool to transmit information about the subject. The performance of first year students was consistent with a generally educated population but there were surprising deficits in some fundamental areas of nutrition. Results of the questionnaire are informative about student knowledge, and immediate reinforcement from a questionnaire may provide a useful teaching tool. In addition, some of the subject matter can serve as a springboard for discussion of critical issues in nutrition such as obesity and markers for cardiovascular disease. A major barrier to improved teaching of nutrition is the lack of agreement on some of these critical issues and there are apparent inconsistencies in recommendations of government and health agencies. It seems reasonable that improved teaching should address the lack of knowledge of nutrition, rather than knowledge of official guidelines. Student awareness of factual information should be the primary goal

Dual clumped isotope thermometry resolves kinetic biases in carbonate formation temperatures

© The Author(s), 2020. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Bajnai, D., Guo, W., Spötl, C., Coplen, T. B., Methner, K., Löffler, N., Krsnik, E., Gischler, E., Hansen, M., Henkel, D., Price, G. D., Raddatz, J., Scholz, D., & Fiebig, J. Dual clumped isotope thermometry resolves kinetic biases in carbonate formation temperatures. Nature Communications, 11(1), (2020): 4005, doi:10.1038/s41467-020-17501-0.Surface temperature is a fundamental parameter of Earth’s climate. Its evolution through time is commonly reconstructed using the oxygen isotope and the clumped isotope compositions of carbonate archives. However, reaction kinetics involved in the precipitation of carbonates can introduce inaccuracies in the derived temperatures. Here, we show that dual clumped isotope analyses, i.e., simultaneous ∆47 and ∆48 measurements on the single carbonate phase, can identify the origin and quantify the extent of these kinetic biases. Our results verify theoretical predictions and evidence that the isotopic disequilibrium commonly observed in speleothems and scleractinian coral skeletons is inherited from the dissolved inorganic carbon pool of their parent solutions. Further, we show that dual clumped isotope thermometry can achieve reliable palaeotemperature reconstructions, devoid of kinetic bias. Analysis of a belemnite rostrum implies that it precipitated near isotopic equilibrium and confirms the warmer-than-present temperatures during the Early Cretaceous at southern high latitudes.This work became possible through DFG grant “INST 161/871-1” and the Investment in Science Fund at Woods Hole Oceanographic Institution. The authors would like to thank Sven Hofmann and Manuel Schumann for their assistance in the joint Goethe University – Senckenberg BiK-F Stable Isotope Facility at the Institute of Geosciences, Goethe University Frankfurt. K.M. acknowledges funding through “DFG ME 4955/1-1”, E.K. through “DFG MU 2845/6-1”, D.S. through “DFG SCHO 1274/8-1” and “DFG SCHO 1274/11-1”, and M.H. through “DFG HA 8694/1-1”. C.S. acknowledges funding from the University of Innsbruck. A review of the manuscript by David Evans on behalf of the USGS is acknowledged

A Krill Oil Supplemented Diet Suppresses Hepatic Steatosis in High-Fat Fed Rats

Krill oil (KO) is a dietary source of n-3 polyunsaturated fatty acids, mainly represented by eicosapentaenoic acid and docosahexaenoic acid bound to phospholipids. The supplementation of a high-fat diet with 2.5% KO efficiently prevented triglyceride and cholesterol accumulation in liver of treated rats. This effect was accompanied by a parallel reduction of the plasma levels of triglycerides and glucose and by the prevention of a plasma insulin increase. The investigation of the molecular mechanisms of KO action in high-fat fed animals revealed a strong decrease in the activities of the mitochondrial citrate carrier and of the cytosolic acetyl-CoA carboxylase and fatty acid synthetase, which are both involved in hepatic de novo lipogenesis. In these animals a significant increase in the activity of carnitine palmitoyl-transferase I and in the levels of carnitine was also observed, suggesting a concomitant stimulation of hepatic fatty acid oxidation. The KO supplemented animals also retained an efficient mitochondrial oxidative phosphorylation, most probably as a consequence of a KO-induced arrest of the uncoupling effects of a high-fat diet. Lastly, the KO supplementation prevented an increase in body weight, as well as oxidative damage of lipids and proteins, which is often found in high-fat fed animals