General parameterised refinement and recursion for the M-net calculus

AbstractThe algebra of M-nets, a high-level class of labelled Petri nets, was introduced in order to cope with the size problem of the low-level Petri box calculus, especially when applied as semantical domain for parallel programming languages. General, unrestricted and parameterised refinement and recursion operators, allowing to represent the (possibly recursive and concurrent) procedure call mechanism, are introduced into the M-net calculus

Sleep and circadian rhythms in mood disorders

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65629/1/j.1600-0447.2007.00968.x.pd

Bacterial metabolism of algal extracellular carbon

Measurements of microbial utilization of extracellular organic carbon (EOC) released by phytoplankton commonly consider only EOC fractions subject to rapid uptake. Questions remain whether other EOC fractions are metabolized, what portion is labile, and with what assimilation efficiency this carbon substrate is utilized. 14 C-EOC was prepared by incubation of the natural mixed planktonic community from an oligotrophic lake with H 14 CO 3 in the light. 14 C-EOC which was not rapidly removed by heterotrophs remained in solution and was isolated by filtration. This residual EOC was inoculated with lake microheterotrophs in laboratory microcosms, and utilization kinetics were determined through long-term assays of cumulative 14 CO 2 production. Time-courses for 14 CO 2 production were consistent for all assays and were well described by a deterministic mixed-order degradation model. On twelve sampling occasions, from 29% to 76% of residual 14 C-EOC was labile to further metabolism by lake heterotrophs. First-order rate constants for EOC utilization showed a mode of 0.05 to 0.15 per day. From 33% to 78% of gross 14 C-EOC uptake was respired (mean 50%), indicating appreciable return of algal EOC to the pelagic food web as microbial biomass.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/42876/1/10750_2004_Article_BF00015524.pd

Measurement of the W-Pair Production Cross Section and W-Decay Branching Fractions in e+e−e^{+}e^{-} Interactions at s\sqrt{s}= 189 GeV

The data collected by the L3 experiment at LEP at a centre-of-mass energy of $188.6~\rm{Ge\kern -0.1em V}$ are used to measure the W-pair production cross section and the W-boson decay branching fractions. These data correspond to an integrated luminosity of 176.8~pb$^{-1}$. The total cross section for W-pair production, combining all final states, is measured to be $\sigma_{\rm{WW}}= 16.24 \pm 0.37~(stat.) \pm 0.22~(syst.)$~pb. Including our data collected at lower centre-of-mass energies, the hadronic branching fraction of the W-boson is determined to be $B(\rm{W} \rightarrow \rm{qq})= \left[ 68.20 \pm 0.68~(stat.) \pm 0.33~(syst.)\right]~\%$. The results agree with the Standard Model predictions.The data collected by the L3 experiment at LEP at a centre-of-mass energy of 188.6 GeV are used to measure the W-pair production cross section and the W-boson decay branching fractions. These data correspond to an integrated luminosity of 176.8pb^-1. The total cross section for W-pair production, combining all final states, is measured to be sigma_WW = 16.24 +/- 0.37(stat.) +/- 0.22(syst.) pb. Including our data collected at lower centre-of-mass energies, the hadronic branching fraction of the W-boson is determined to be B(W ->qq) = [68.20 +/- 0.68 (stat.) +/- 0.33 (syst.) ] %. The results agree with the Standard Model predictions.The data collected by the L3 experiment at LEP at a centre-of-mass energy of 188.6 GeV are used to measure the W-pair production cross section and the W-boson decay branching fractions. These data correspond to an integrated luminosity of 176.8 pb −1 . The total cross section for W-pair production, combining all final states, is measured to be σ WW =16.24±0.37 (stat.)±0.22 (syst.) pb. Including our data collected at lower centre-of-mass energies, the hadronic branching fraction of the W-boson is determined to be B (W→qq)=[68.20±0.68 (stat.)±0.33 (syst.)]%. The results agree with the Standard Model predictions

Erratum to: 36th International Symposium on Intensive Care and Emergency Medicine

[This corrects the article DOI: 10.1186/s13054-016-1208-6.]

HE-LHC: The High-Energy Large Hadron Collider – Future Circular Collider Conceptual Design Report Volume 4

In response to the 2013 Update of the European Strategy for Particle Physics (EPPSU), the Future Circular Collider (FCC) study was launched as a world-wide international collaboration hosted by CERN. The FCC study covered an energy-frontier hadron collider (FCC-hh), a highest-luminosity high-energy lepton collider (FCC-ee), the corresponding 100 km tunnel infrastructure, as well as the physics opportunities of these two colliders, and a high-energy LHC, based on FCC-hh technology. This document constitutes the third volume of the FCC Conceptual Design Report, devoted to the hadron collider FCC-hh. It summarizes the FCC-hh physics discovery opportunities, presents the FCC-hh accelerator design, performance reach, and staged operation plan, discusses the underlying technologies, the civil engineering and technical infrastructure, and also sketches a possible implementation. Combining ingredients from the Large Hadron Collider (LHC), the high-luminosity LHC upgrade and adding novel technologies and approaches, the FCC-hh design aims at significantly extending the energy frontier to 100 TeV. Its unprecedented centre-of-mass collision energy will make the FCC-hh a unique instrument to explore physics beyond the Standard Model, offering great direct sensitivity to new physics and discoveries

FCC-ee: The Lepton Collider: Future Circular Collider Conceptual Design Report Volume 2

In response to the 2013 Update of the European Strategy for Particle Physics, the Future Circular Collider (FCC) study was launched, as an international collaboration hosted by CERN. This study covers a highest-luminosity high-energy lepton collider (FCC-ee) and an energy-frontier hadron collider (FCC-hh), which could, successively, be installed in the same 100 km tunnel. The scientific capabilities of the integrated FCC programme would serve the worldwide community throughout the 21st century. The FCC study also investigates an LHC energy upgrade, using FCC-hh technology. This document constitutes the second volume of the FCC Conceptual Design Report, devoted to the electron-positron collider FCC-ee. After summarizing the physics discovery opportunities, it presents the accelerator design, performance reach, a staged operation scenario, the underlying technologies, civil engineering, technical infrastructure, and an implementation plan. FCC-ee can be built with today’s technology. Most of the FCC-ee infrastructure could be reused for FCC-hh. Combining concepts from past and present lepton colliders and adding a few novel elements, the FCC-ee design promises outstandingly high luminosity. This will make the FCC-ee a unique precision instrument to study the heaviest known particles (Z, W and H bosons and the top quark), offering great direct and indirect sensitivity to new physics