Continuation-Passing C: compiling threads to events through continuations

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324

Soil biochemistry and microbial activity in vineyards under conventional and organic management at Northeast Brazil.

The São Francisco Submedium Valley is located at the Brazilian semiarid region and is an important center for irrigated fruit growing. This region is responsible for 97% of the national exportation of table grapes, including seedless grapes. Based on the fact that orgThe São Francisco Submedium Valley is located at the Brazilian semiarid region and is an important center for irrigated fruit growing. This region is responsible for 97% of the national exportation of table grapes, including seedless grapes. Based on the fact that organic fertilization can improve soil quality, we compared the effects of conventional and organic soil management on microbial activity and mycorrhization of seedless grape crops. We measured glomerospores number, most probable number (MPN) of propagules, richness of arbuscular mycorrhizal fungi (AMF) species, AMF root colonization, EE-BRSP production, carbon microbial biomass (C-MB), microbial respiration, fluorescein diacetate hydrolytic activity (FDA) and metabolic coefficient (qCO2). The organic management led to an increase in all variables with the exception of EE-BRSP and qCO2. Mycorrhizal colonization increased from 4.7% in conventional crops to 15.9% in organic crops. Spore number ranged from 4.1 to 12.4 per 50 g-1 soil in both management systems. The most probable number of AMF propagules increased from 79 cm-3 soil in the conventional system to 110 cm-3 soil in the organic system. Microbial carbon, CO2 emission, and FDA activity were increased by 100 to 200% in the organic crop. Thirteen species of AMF were identified, the majority in the organic cultivation system. Acaulospora excavata, Entrophospora infrequens, Glomus sp.3 and Scutellospora sp. were found only in the organically managed crop. S. gregaria was found only in the conventional crop. Organically managed vineyards increased mycorrhization and general soil microbial activity

Low Q^2 Jet Production at HERA and Virtual Photon Structure

The transition between photoproduction and deep-inelastic scattering is investigated in jet production at the HERA ep collider, using data collected by the H1 experiment. Measurements of the differential inclusive jet cross-sections dsigep/dEt* and dsigmep/deta*, where Et* and eta* are the transverse energy and the pseudorapidity of the jets in the virtual photon-proton centre of mass frame, are presented for 0 < Q2 < 49 GeV2 and 0.3 < y < 0.6. The interpretation of the results in terms of the structure of the virtual photon is discussed. The data are best described by QCD calculations which include a partonic structure of the virtual photon that evolves with Q2.Comment: 20 pages, 5 Figure

A Search for Selectrons and Squarks at HERA

Data from electron-proton collisions at a center-of-mass energy of 300 GeV are used for a search for selectrons and squarks within the framework of the minimal supersymmetric model. The decays of selectrons and squarks into the lightest supersymmetric particle lead to final states with an electron and hadrons accompanied by large missing energy and transverse momentum. No signal is found and new bounds on the existence of these particles are derived. At 95% confidence level the excluded region extends to 65 GeV for selectron and squark masses, and to 40 GeV for the mass of the lightest supersymmetric particle.Comment: 13 pages, latex, 6 Figure

Measurement of D* Meson Cross Sections at HERA and Determination of the Gluon Density in the Proton using NLO QCD

With the H1 detector at the ep collider HERA, D* meson production cross sections have been measured in deep inelastic scattering with four-momentum transfers Q^2>2 GeV2 and in photoproduction at energies around W(gamma p)~ 88 GeV and 194 GeV. Next-to-Leading Order QCD calculations are found to describe the differential cross sections within theoretical and experimental uncertainties. Using these calculations, the NLO gluon momentum distribution in the proton, x_g g(x_g), has been extracted in the momentum fraction range 7.5x10^{-4}< x_g <4x10^{-2} at average scales mu^2 =25 to 50 GeV2. The gluon momentum fraction x_g has been obtained from the measured kinematics of the scattered electron and the D* meson in the final state. The results compare well with the gluon distribution obtained from the analysis of scaling violations of the proton structure function F_2.Comment: 27 pages, 9 figures, 2 tables, submitted to Nucl. Phys.

Measurement of Leading Proton and Neutron Production in Deep Inelastic Scattering at HERA

Deep--inelastic scattering events with a leading baryon have been detected by the H1 experiment at HERA using a forward proton spectrometer and a forward neutron calorimeter. Semi--inclusive cross sections have been measured in the kinematic region 2 <= Q^2 <= 50 GeV^2, 6.10^-5 <= x <= 6.10^-3 and baryon p_T <= MeV, for events with a final state proton with energy 580 <= E' <= 740 GeV, or a neutron with energy E' >= 160 GeV. The measurements are used to test production models and factorization hypotheses. A Regge model of leading baryon production which consists of pion, pomeron and secondary reggeon exchanges gives an acceptable description of both semi-inclusive cross sections in the region 0.7 <= E'/E_p <= 0.9, where E_p is the proton beam energy. The leading neutron data are used to estimate for the first time the structure function of the pion at small Bjorken--x.Comment: 30 pages, 9 figures, 2 tables, submitted to Eur. Phys.

Macrófitas aquáticas do sistema lacustre do Vale do Rio Doce, Minas Gerais, Brasil

Resumo Esta pesquisa trata da composição e da ocorrência de espécies de macrófitas aquáticas em área de proteção ambiental e áreas não protegidas, que compõem o conjunto de lagos do Vale do Rio Doce em Minas Gerais, terceiro maior sistema lacustre brasileiro. As informações foram levantadas a partir de publicações, material depositado em herbários e coletas botânicas entre os anos de 2007 e 2010, em ambientes aquáticos localizados no Parque Estadual do Rio Doce (PERD) e zona de amortecimento. Foram registradas 184 espécies pertencentes a distintos grupos taxonômicos, hábitos e formas biológicas, sendo aqui proposta a criação de uma nova categoria destas, designada embalsada, para contemplar plantas que se estabelecem em ilhas flutuantes. A pesquisa contribuiu com 152 novas citações para o Vale do Rio Doce em Minas Gerais, com dois primeiros registros nesse estado e com a descrição de uma espécie inédita para a ciência. A similaridade florística entre áreas protegidas e não protegidas indicou que o PERD guarda 74% das espécies de macrófitas aquáticas encontradas. Entretanto, 26% do total de espécies estão desprotegidas, pois não ocorrem nessa unidade de conservação

Charmonium Production in Deep Inelastic Scattering at HERA

The electroproduction of J/psi and psi(2S) mesons is studied in elastic, quasi-elastic and inclusive reactions for four momentum transfers 2 Q^2 80 GeV^2 and photon-proton centre of mass energies 25 W 180 GeV. The data were taken with the H1 detector at the electron proton collider HERA in the years 1995 to 1997. The total virtual photon-proton cross section for elastic J/psi production is measured as a function of Q^2 and W. The dependence of the production rates on the square of the momentum transfer from the proton (t) is extracted. Decay angular distributions are analysed and the ratio of the longitudinal and transverse cross sections is derived. The ratio of the cross sections for quasi-elastic psi(2S) and J/psi meson production is measured as a function of Q^2. The results are discussed in terms of theoretical models based upon perturbative QCD. Differential cross sections for inclusive and inelastic production of J/psi mesons are determined and predictions within two theoretical frameworks are compared with the data, the non-relativistic QCD factorization approach including colour octet and colour singlet contributions, and the model of Soft Colour Interactions

SARS-CoV-2-specific nasal IgA wanes 9 months after hospitalisation with COVID-19 and is not induced by subsequent vaccination

BACKGROUND: Most studies of immunity to SARS-CoV-2 focus on circulating antibody, giving limited insights into mucosal defences that prevent viral replication and onward transmission. We studied nasal and plasma antibody responses one year after hospitalisation for COVID-19, including a period when SARS-CoV-2 vaccination was introduced. METHODS: In this follow up study, plasma and nasosorption samples were prospectively collected from 446 adults hospitalised for COVID-19 between February 2020 and March 2021 via the ISARIC4C and PHOSP-COVID consortia. IgA and IgG responses to NP and S of ancestral SARS-CoV-2, Delta and Omicron (BA.1) variants were measured by electrochemiluminescence and compared with plasma neutralisation data. FINDINGS: Strong and consistent nasal anti-NP and anti-S IgA responses were demonstrated, which remained elevated for nine months (p < 0.0001). Nasal and plasma anti-S IgG remained elevated for at least 12 months (p < 0.0001) with plasma neutralising titres that were raised against all variants compared to controls (p < 0.0001). Of 323 with complete data, 307 were vaccinated between 6 and 12 months; coinciding with rises in nasal and plasma IgA and IgG anti-S titres for all SARS-CoV-2 variants, although the change in nasal IgA was minimal (1.46-fold change after 10 months, p = 0.011) and the median remained below the positive threshold determined by pre-pandemic controls. Samples 12 months after admission showed no association between nasal IgA and plasma IgG anti-S responses (R = 0.05, p = 0.18), indicating that nasal IgA responses are distinct from those in plasma and minimally boosted by vaccination. INTERPRETATION: The decline in nasal IgA responses 9 months after infection and minimal impact of subsequent vaccination may explain the lack of long-lasting nasal defence against reinfection and the limited effects of vaccination on transmission. These findings highlight the need to develop vaccines that enhance nasal immunity. FUNDING: This study has been supported by ISARIC4C and PHOSP-COVID consortia. ISARIC4C is supported by grants from the National Institute for Health and Care Research and the Medical Research Council. Liverpool Experimental Cancer Medicine Centre provided infrastructure support for this research. The PHOSP-COVD study is jointly funded by UK Research and Innovation and National Institute of Health and Care Research. The funders were not involved in the study design, interpretation of data or the writing of this manuscript