On finitely ambiguous B\"uchi automata

Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word

Characterization of a globin-coupled oxygen sensor with a gene-regulating function

Globin-coupled sensors (GCSs) are multiple-domain transducers, consisting of a regulatory globin-like heme-binding domain and a linked transducer domain(s). GCSs have been described in both Archaea and bacteria. They are generally assumed to bind O2 (and perhaps other gaseous ligands) and to transmit a conformational change signal through the transducer domain in response to fluctuating O2 levels. In this study, the heme-binding domain, AvGReg178, and the full protein, AvGReg of the Azotobacter vinelandii GCS, were cloned, expressed, and purified. After purification, the heme iron of AvGReg178 was found to bind O2. This form was stable over many hours. In contrast, the predominant presence of a bis-histidine coordinate heme in ferric AvGReg was revealed. Differences in the heme pocket structure were also observed for the deoxygenated ferrous state of these proteins. The spectra showed that the deoxygenated ferrous derivatives of AvGReg178 and AvGReg are characterized by a penta-coordinate and hexa-coordinate heme iron, respectively. O2 binding isotherms indicate that AvGReg178 and AvGReg show a high affinity for O2 with P50 values at 20 °C of 0.04 and 0.15 torr, respectively. Kinetics of CO binding indicate that AvGReg178 carbonylation conforms to a monophasic process, comparable with that of myoglobin, whereas AvGReg carbonylation conforms to a three-phasic reaction, as observed for several proteins with bis-histidine heme iron coordination. Besides sensing ligands, in vitro data suggest that AvGReg(178) may have a role in O2-mediated NO-detoxification, yielding metAvGReg(178) and nitrate. © 2007 by The American Society for Biochemistry and Molecular Biology, Inc

Potential climatic transitions with profound impact on Europe

We discuss potential transitions of six climatic subsystems with large-scale impact on Europe, sometimes denoted as tipping elements. These are the ice sheets on Greenland and West Antarctica, the Atlantic thermohaline circulation, Arctic sea ice, Alpine glaciers and northern hemisphere stratospheric ozone. Each system is represented by co-authors actively publishing in the corresponding field. For each subsystem we summarize the mechanism of a potential transition in a warmer climate along with its impact on Europe and assess the likelihood for such a transition based on published scientific literature. As a summary, the ‘tipping’ potential for each system is provided as a function of global mean temperature increase which required some subjective interpretation of scientific facts by the authors and should be considered as a snapshot of our current understanding. <br/

Microenterprise development, industrial labour, and the seductions of precarity

Microenterprise development is underpinned by an ideology that the solution to poverty is the integration of the poor into market relations. This article addresses the paradox that its ‘beneficiaries’ may be dispossessed industrial workers who already have a long history of participation in the capitalist economy. Exploring the transformation of garment workers in Trinidad from factory employees to home-based ‘micro-entrepreneurs’, I argue that working conditions and labour rights have deteriorated under the protective cover of seemingly laudable policies to promote economic empowerment via self-employment. Showing how microenterprise initiatives contribute to women workers’ ‘adverse incorporation’ (Phillips, 2011) into global production networks, this article calls for renewed attention to the labour politics of microenterprise development

In vivo imaging and quantitative analysis of leukocyte directional migration and polarization in inflamed tissue

Directional migration of transmigrated leukocytes to the site of injury is a central event in the inflammatory response. Here, we present an in vivo chemotaxis assay enabling the visualization and quantitative analysis of subtype-specific directional motility and polarization of leukocytes in their natural 3D microenvironment. Our technique comprises the combination of i) semi-automated in situ microinjection of chemoattractants or bacteria as local chemotactic stimulus, ii) in vivo near-infrared reflected-light oblique transillumination (RLOT) microscopy for the visualization of leukocyte motility and morphology, and iii) in vivo fluorescence microscopy for the visualization of different leukocyte subpopulations or fluorescence-labeled bacteria. Leukocyte motility parameters are quantified off-line in digitized video sequences using computer-assisted single cell tracking. Here, we show that perivenular microinjection of chemoattractants [macrophage inflammatory protein-1alpha (MIP-1alpha/Ccl3), platelet-activating factor (PAF)] or E. coli into the murine cremaster muscle induces target-oriented intravascular adhesion and transmigration as well as polarization and directional interstitial migration of leukocytes towards the locally administered stimuli. Moreover, we describe a crucial role of Rho kinase for the regulation of directional motility and polarization of transmigrated leukocytes in vivo. Finally, combining in vivo RLOT and fluorescence microscopy in Cx3CR1(gfp/gfp) mice (mice exhibiting green fluorescent protein-labeled monocytes), we are able to demonstrate differences in the migratory behavior of monocytes and neutrophils.Taken together, we propose a novel approach for investigating the mechanisms and spatiotemporal dynamics of subtype-specific motility and polarization of leukocytes during their directional interstitial migration in vivo

Radiation hardness qualification of PbWO4 scintillation crystals for the CMS Electromagnetic Calorimeter

This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2010 IOPEnsuring the radiation hardness of PbWO4 crystals was one of the main priorities during the construction of the electromagnetic calorimeter of the CMS experiment at CERN. The production on an industrial scale of radiation hard crystals and their certification over a period of several years represented a difficult challenge both for CMS and for the crystal suppliers. The present article reviews the related scientific and technological problems encountered

Search for Second-Generation Scalar Leptoquarks in ppˉ\bm{p \bar{p}} Collisions at s\sqrt{s}=1.96 TeV

Results on a search for pair production of second generation scalar leptoquark in $p \bar{p}$ collisions at $\sqrt{s}$=1.96 TeV are reported. The data analyzed were collected by the CDF detector during the 2002-2003 Tevatron Run II and correspond to an integrated luminosity of 198 pb$^{-1}$. Leptoquarks (LQ) are sought through their decay into (charged) leptons and quarks, with final state signatures represented by two muons and jets and one muon, large transverse missing energy and jets. We observe no evidence for $LQ$ production and derive 95% C.L. upper limits on the $LQ$ production cross sections as well as lower limits on their mass as a function of $\beta$, where $\beta$ is the branching fraction for $LQ \to \mu q$.Comment: 9 pages (3 author list) 5 figure

Intercalibration of the barrel electromagnetic calorimeter of the CMS experiment at start-up

Calibration of the relative response of the individual channels of the barrel electromagnetic calorimeter of the CMS detector was accomplished, before installation, with cosmic ray muons and test beams. One fourth of the calorimeter was exposed to a beam of high energy electrons and the relative calibration of the channels, the intercalibration, was found to be reproducible to a precision of about 0.3%. Additionally, data were collected with cosmic rays for the entire ECAL barrel during the commissioning phase. By comparing the intercalibration constants obtained with the electron beam data with those from the cosmic ray data, it is demonstrated that the latter provide an intercalibration precision of 1.5% over most of the barrel ECAL. The best intercalibration precision is expected to come from the analysis of events collected in situ during the LHC operation. Using data collected with both electrons and pion beams, several aspects of the intercalibration procedures based on electrons or neutral pions were investigated