The Power of Non-Determinism in Higher-Order Implicit Complexity

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1

Estimativa de sequestro de carbono numa população espontânea de palmeiras macaúba.

Este trabalho teve por objetivo estimar o estoque de carbono e a concentração de nutrientes da biomassa de uma população espontânea de palmeiras macaúba (Acrocomia aculeata (Jacq.) Lodd. ex Mart.) em associação com pastagem de Brachiaria ruziziensis. A área foi desmatada há cerca de 25 anos e situa-se em Planaltina, DF. Após realização de inventário da densidade populacional e medições de altura e diâmetro, foram abatidos cinco exemplares representativos que foram divididos nos compartimentos: estipe, raízes, folhas. Amostras representativas passaram por secagem, pesagem e moagem, determinação dos teores de carbono, celulose, lignina e nutrientes e estoques de carbono. A média dos teores de carbono por unidade de biomassa de raízes e folhas foi de 45,3% e 41,0%, respectivamente. No estipe, a concentração de C e lignina variaram em função da altura e representaram em média 43,7% e 15% de C e lignina, respectivamente. Considerando a ponderação da concentração de C por seção e compartimento da planta, o estoque de carbono estimado para biomassa de 89 plantas ha-1 foi de 19,51 Mg C ha-1. Além do sequestro de C, esse sistema florestal sinalizou ser relevante na contribuição para o armazenamento e ciclagem de nutrientes

Identification of Streptococcus pneumoniae by a real-time PCR assay targeting SP2020.

Real-time PCR targeting lytA (the major autolysin gene) and piaB (permease gene of the pia ABC transporter) are currently used as the gold-standard culture-independent assays for Streptococcus pneumoniae identification. We evaluated the performance of a new real-time PCR assay - targeting SP2020 (putative transcriptional regulator gene) - and compared its performance with the assays previously described. A collection of 150 pneumococci, 433 non-pneumococci and 240 polymicrobial samples (obtained from nasopharynx, oropharynx, and saliva; 80 from each site) was tested. SP2020 and lytA-CDC assays had the best performance (sensitivity of 100% for each compared to 95.3% for piaB). The specificity for lytA and piaB was 99.5% and for SP2020 was 99.8%. Misidentifications occurred for the three genes: lytA, piaB and SP2020 were found in non-pneumococcal strains; piaB was absent in some pneumococci including a serotype 6B strain. Combining lytA and SP2020 assays resulted in no misidentifications. Most polymicrobial samples (88.8%) yielded concordant results for the three molecular targets. The remaining samples seemed to contain non-typeable pneumococci (0.8%), and non-pneumococci positive for lytA (1.7%) or SP2020 (8.7%). We propose that combined detection of both lytA-CDC and SP2020 is a powerful strategy for the identification of pneumococcus either in pure cultures or in polymicrobial samples

Postcopulatory sexual selection

The female reproductive tract is where competition between the sperm of different males takes place, aided and abetted by the female herself. Intense postcopulatory sexual selection fosters inter-sexual conflict and drives rapid evolutionary change to generate a startling diversity of morphological, behavioural and physiological adaptations. We identify three main issues that should be resolved to advance our understanding of postcopulatory sexual selection. We need to determine the genetic basis of different male fertility traits and female traits that mediate sperm selection; identify the genes or genomic regions that control these traits; and establish the coevolutionary trajectory of sexes

Effects of mesenchymal stromal cells versus serum on tendon healing in a controlled experimental trial in an equine model

Abstract Background Mesenchymal stromal cells (MSC) have shown promising results in the treatment of tendinopathy in equine medicine, making this therapeutic approach seem favorable for translation to human medicine. Having demonstrated that MSC engraft within the tendon lesions after local injection in an equine model, we hypothesized that they would improve tendon healing superior to serum injection alone. Methods Quadrilateral tendon lesions were induced in six horses by mechanical tissue disruption combined with collagenase application 3 weeks before treatment. Adipose-derived MSC suspended in serum or serum alone were then injected intralesionally. Clinical examinations, ultrasound and magnetic resonance imaging were performed over 24 weeks. Tendon biopsies for histological assessment were taken from the hindlimbs 3 weeks after treatment. Horses were sacrificed after 24 weeks and forelimb tendons were subjected to macroscopic and histological examination as well as analysis of musculoskeletal marker expression. Results Tendons injected with MSC showed a transient increase in inflammation and lesion size, as indicated by clinical and imaging parameters between week 3 and 6 (p < 0.05). Thereafter, symptoms decreased in both groups and, except that in MSC-treated tendons, mean lesion signal intensity as seen in T2w magnetic resonance imaging and cellularity as seen in the histology (p < 0.05) were lower, no major differences could be found at week 24. Conclusions These data suggest that MSC have influenced the inflammatory reaction in a way not described in tendinopathy studies before. However, at the endpoint of the current study, 24 weeks after treatment, no distinct improvement was observed in MSC-treated tendons compared to the serum-injected controls. Future studies are necessary to elucidate whether and under which conditions MSC are beneficial for tendon healing before translation into human medicine

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