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

Transkingdom Networks: A Systems Biology Approach to Identify Causal Members of Host-Microbiota Interactions

Improvements in sequencing technologies and reduced experimental costs have resulted in a vast number of studies generating high-throughput data. Although the number of methods to analyze these "omics" data has also increased, computational complexity and lack of documentation hinder researchers from analyzing their high-throughput data to its true potential. In this chapter we detail our data-driven, transkingdom network (TransNet) analysis protocol to integrate and interrogate multi-omics data. This systems biology approach has allowed us to successfully identify important causal relationships between different taxonomic kingdoms (e.g. mammals and microbes) using diverse types of data

Fructose transport-deficient Staphylococcus aureus reveals important role of epithelial glucose transporters in limiting sugar-driven bacterial growth in airway surface liquid.

Hyperglycaemia as a result of diabetes mellitus or acute illness is associated with increased susceptibility to respiratory infection with Staphylococcus aureus. Hyperglycaemia increases the concentration of glucose in airway surface liquid (ASL) and promotes the growth of S. aureus in vitro and in vivo. Whether elevation of other sugars in the blood, such as fructose, also results in increased concentrations in ASL is unknown and whether sugars in ASL are directly utilised by S. aureus for growth has not been investigated. We obtained mutant S. aureus JE2 strains with transposon disrupted sugar transport genes. NE768(fruA) exhibited restricted growth in 10 mM fructose. In H441 airway epithelial-bacterial co-culture, elevation of basolateral sugar concentration (5-20 mM) increased the apical growth of JE2. However, sugar-induced growth of NE768(fruA) was significantly less when basolateral fructose rather than glucose was elevated. This is the first experimental evidence to show that S. aureus directly utilises sugars present in the ASL for growth. Interestingly, JE2 growth was promoted less by glucose than fructose. Net transepithelial flux of D-glucose was lower than D-fructose. However, uptake of D-glucose was higher than D-fructose across both apical and basolateral membranes consistent with the presence of GLUT1/10 in the airway epithelium. Therefore, we propose that the preferential uptake of glucose (compared to fructose) limits its accumulation in ASL. Pre-treatment with metformin increased transepithelial resistance and reduced the sugar-dependent growth of S. aureus. Thus, epithelial paracellular permeability and glucose transport mechanisms are vital to maintain low glucose concentration in ASL and limit bacterial nutrient sources as a defence against infection

"The California critical thinking instruments for benchmarking, program assessment, and directing curricular change"

Charles R. Phillips is an Associate Professor of Pharmacy Administration/Dept. Chair of Pharmacy Practice, Renae J. Chesnut is Associate Dean for Academic and Student Affairs. Raylene M. Rospond is Dean, Pharmacy and Health Sciences. All three are in the College of Pharmacy and Health Sciences at Drake University. They can be contacted at: [email protected], [email protected], and [email protected]. To assess pharmacy students’ critical thinking (CT) measures and identify areas for curricular reform. Methods. Pharmacy students were given the California Critical Thinking Skills Test and Disposition Index at various points in the PharmD program. Scores were compared with a national referent group and evaluated for changes across the curriculum and between classes. Results. Students were comparable to national norms. Pretest and posttest scores for total disposition showed improvement. Scores in all subcategories except for truth-seeking were consistently above 40. The CT skills of the pharmacy students varied compared with those of referent students, but the pharmacy students’ overall score of 18 was in the 73rd percentile. Pre- and post-skills scores showed improvement. Students scoring low on the pretest improved more than those scoring high. Conclusions. Students had a consistent disposition towards CT and compared favorably to national norms. Both disposition and skills improved across the curriculum. Dimensions of critical thinking on which students score low should be areas for curricular and other program changes

Onset of asymptotic scaling in deuteron photodisintegration

We investigate the transition from the nucleon-meson to quark-gluon description of the strong interaction using the photon energy dependence of the $d(\gamma,p)n$ differential cross section for photon energies above 0.5 GeV and center-of-mass proton angles between $30^{\circ}$ and $150^{\circ}$. A possible signature for this transition is the onset of cross section $s^{-11}$ scaling with the total energy squared, $s$, at some proton transverse momentum, $P_T$. The results show that the scaling has been reached for proton transverse momentum above about 1.1 GeV/c. This may indicate that the quark-gluon regime is reached above this momentum.Comment: Accepted by PRL; 5 pages, 2 figure

The stellar halo of the Galaxy

Stellar halos may hold some of the best preserved fossils of the formation history of galaxies. They are a natural product of the merging processes that probably take place during the assembly of a galaxy, and hence may well be the most ubiquitous component of galaxies, independently of their Hubble type. This review focuses on our current understanding of the spatial structure, the kinematics and chemistry of halo stars in the Milky Way. In recent years, we have experienced a change in paradigm thanks to the discovery of large amounts of substructure, especially in the outer halo. I discuss the implications of the currently available observational constraints and fold them into several possible formation scenarios. Unraveling the formation of the Galactic halo will be possible in the near future through a combination of large wide field photometric and spectroscopic surveys, and especially in the era of Gaia.Comment: 46 pages, 16 figures. References updated and some minor changes. Full-resolution version available at http://www.astro.rug.nl/~ahelmi/stellar-halo-review.pd

Search For Heavy Pointlike Dirac Monopoles

We have searched for central production of a pair of photons with high transverse energies in $p\bar p$ collisions at $\sqrt{s} = 1.8$ TeV using $70 pb^{-1}$ of data collected with the D\O detector at the Fermilab Tevatron in 1994--1996. If they exist, virtual heavy pointlike Dirac monopoles could rescatter pairs of nearly real photons into this final state via a box diagram. We observe no excess of events above background, and set lower 95% C.L. limits of $610, 870, or 1580 GeV/c^2$ on the mass of a spin 0, 1/2, or 1 Dirac monopole.Comment: 12 pages, 4 figure

Search for High Mass Photon Pairs in p-pbar --> gamma-gamma-jet-jet Events at sqrt(s)=1.8 TeV

A search has been carried out for events in the channel p-barp --> gamma gamma jet jet. Such a signature can characterize the production of a non-standard Higgs boson together with a W or Z boson. We refer to this non-standard Higgs, having standard model couplings to vector bosons but no coupling to fermions, as a "bosonic Higgs." With the requirement of two high transverse energy photons and two jets, the diphoton mass (m(gamma gamma)) distribution is consistent with expected background. A 90(95)% C.L. upper limit on the cross section as a function of mass is calculated, ranging from 0.60(0.80) pb for m(gamma gamma) = 65 GeV/c^2 to 0.26(0.34) pb for m(gamma gamma) = 150 GeV/c^2, corresponding to a 95% C.L. lower limit on the mass of a bosonic Higgs of 78.5 GeV/c^2.Comment: 9 pages, 3 figures. Replacement has new H->gamma gamma branching ratios and corresponding new mass limit

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Ratio of the Isolated Photon Cross Sections at \sqrt{s} = 630 and 1800 GeV

The inclusive cross section for production of isolated photons has been measured in \pbarp collisions at $\sqrt{s} = 630$ GeV with the \D0 detector at the Fermilab Tevatron Collider. The photons span a transverse energy ($E_T$) range from 7-49 GeV and have pseudorapidity $|\eta| < 2.5$. This measurement is combined with to previous \D0 result at $\sqrt{s} = 1800$ GeV to form a ratio of the cross sections. Comparison of next-to-leading order QCD with the measured cross section at 630 GeV and ratio of cross sections show satisfactory agreement in most of the $E_T$ range.Comment: 7 pages. Published in Phys. Rev. Lett. 87, 251805, (2001