Rewriting Modulo SMT

Combining symbolic techniques such as: (i) SMT solving, (ii) rewriting modulo theories, and (iii) model checking can enable the analysis of infinite-state systems outside the scope of each such technique. This paper proposes rewriting modulo SMT as a new technique combining the powers of (i)-(iii) and ideally suited to model and analyze infinite-state open systems; that is, systems that interact with a non-deterministic environment. Such systems exhibit both internal non-determinism due to the system, and external non-determinism due to the environment. They are not amenable to finite-state model checking analysis because they typically are infinite-state. By being reducible to standard rewriting using reflective techniques, rewriting modulo SMT can both naturally model and analyze open systems without requiring any changes to rewriting-based reachability analysis techniques for closed systems. This is illustrated by the analysis of a real-time system beyond the scope of timed automata methods

O mercado da tilápia - 1° trimestre de 2016.

Comportamento do mercado de varejo nacional. Evolução dos preços. O setor externo.bitstream/item/142435/1/CNPASA-2016-mt.pd

Willingness to pay for biofertilizers among grain legume farmers in northern Ghana

Open Access Journal; Published online: 27 April 2018Background: The call for use of improved Soil Fertility Management (SFM) technologies is a prerequisite to increase agricultural productivity among farmers. This study assessed farmers’ willingness to pay (WTP) for selected financially rewarding biofertilizer technologies/packages for legume production in northern Ghana. Primary data was elicited from 400 grain legume farmers selected from Northern and Upper West Regions of Ghana through a simple random sampling technique. The double bounded dichotomous choice (DBDC) format of contingent valuation approach was employed to elicit willingness to pay values and determinants of farmers WTP was evaluated using the maximum likelihood estimation procedure. Results: The results showed that about 60%, 25% and 46% of soya, cowpea and groundnuts farmers were willing to pay for the selected biofertilizers (Biofix, BR3267 and Legumefix respectively) at prices not exceeding GHC 14.00, GHC 28.00 and GHC 20.00 per 0.2kg of the respective biofertilizers. Legume farmers in Northern Region were however willing to pay higher for the three biofertilizer technologies as compared to their counterparts in Upper West Region. For 0.2 kg each of Biofix, BR3267 and Legumefix, farmers in Northern Region were willing to pay approximately GHC 17.00, GHC 12.00 and GHC 23.00 respectively whereas those in Upper West Region were willing to pay GHC 14.00, GHC 9.00 and GHC 11.00 for the same quantity of each biofertilizer. The study identified farming experience, FBO membership, awareness and previous use of biofertilizers as significant determinants of farmers’ willingness to pay for Biofertilizers. Conclusion: Comparatively, mean prices farmers are willing to pay for these three technologies are below ex-factory prices, hence subsidizing the cost of production of these biofertilizers in the initial stages would be relevant for improving farmers’ uptake of these fertilizers. Sustained awareness creation through periodic education and sensitization by using FBOs as leverage points is also highly recommended to improve farmers’ understanding of the concept of biofertilizer use

The Rewiring of Ubiquitination Targets in a Pathogenic Yeast Promotes Metabolic Flexibility, Host Colonization and Virulence

Funding: This work was funded by the European Research Council [http://erc.europa.eu/], AJPB (STRIFE Advanced Grant; C-2009-AdG-249793). The work was also supported by: the Wellcome Trust [www.wellcome.ac.uk], AJPB (080088, 097377); the UK Biotechnology and Biological Research Council [www.bbsrc.ac.uk], AJPB (BB/F00513X/1, BB/K017365/1); the CNPq-Brazil [http://cnpq.br], GMA (Science without Borders fellowship 202976/2014-9); and the National Centre for the Replacement, Refinement and Reduction of Animals in Research [www.nc3rs.org.uk], DMM (NC/K000306/1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. Acknowledgments We thank Dr. Elizabeth Johnson (Mycology Reference Laboratory, Bristol) for providing strains, and the Aberdeen Proteomics facility for the biotyping of S. cerevisiae clinical isolates, and to Euroscarf for providing S. cerevisiae strains and plasmids. We are grateful to our Microscopy Facility in the Institute of Medical Sciences for their expert help with the electron microscopy, and to our friends in the Aberdeen Fungal Group for insightful discussions.Peer reviewedPublisher PD

Short-term follow-up of chagasic patients after benznidazole treatment using multiple serological markers

<p>Abstract</p> <p>Background</p> <p>Conventional serological tests, using total soluble proteins or a cocktail of recombinant proteins from <it>T. cruzi </it>as antigens, are highly sensitive for Chagas disease diagnosis. This type of tests, however, does not seem to be reliable tools for short- and medium-term monitoring of the evolution of patients after antiparasitic treatment. The aim of the present study was to search for immunological markers that could be altered in the sera from Chagas disease patients after benznidazole treatment, and therefore have a potential predictive diagnostic value.</p> <p>Methods</p> <p>We analyzed the reactivity of sera from chagasic patients during different clinical phases of the disease against a series of immunodominant antigens, known as KMP11, PFR2, HSP70 and Tgp63. The reactivity of the sera from 46 adult Chronic Chagas disease patients living in a non-endemic country without vector transmission of <it>T. cruzi </it>(15 patients in the indeterminate stage, 16 in the cardiomiopathy stage and 16 in the digestive stage) and 22 control sera from non-infected subjects was analyzed. We also analyzed the response dynamics of sera from those patients who had been treated with benznidazole.</p> <p>Results</p> <p>Regardless of the stage of the sickness, the sera from chagasic patients reacted against KMP11, HSP70, PFR2 and Tgp63 recombinant proteins with statistical significance relative to the reactivity against the same antigens by the sera from healthy donors, patients with autoimmune diseases or patients suffering from tuberculosis, leprosy or malaria. Shortly after benznidazole treatment, a statistically significant decrease in reactivity against KMP11, HSP70 and PFR2 was observed (six or nine month). It was also observed that, following benznidazole treatment, the differential reactivity against these antigens co-relates with the clinical status of the patients.</p> <p>Conclusions</p> <p>The recombinant antigens KMP11, PFR2, Tgp63 and HSP70 are recognized by Chagas disease patients' sera at any clinical stage of the disease. Shortly after benznidazole treatment, a drop in reactivity against three of these antigens is produced in an antigen-specific manner. Most likely, analysis of the reactivity against these recombinant antigens may be useful for monitoring the effectiveness of benznidazole treatment.</p

CMB-S4 Science Book, First Edition

This book lays out the scientific goals to be addressed by the next-generation ground-based cosmic microwave background experiment, CMB-S4, envisioned to consist of dedicated telescopes at the South Pole, the high Chilean Atacama plateau and possibly a northern hemisphere site, all equipped with new superconducting cameras. CMB-S4 will dramatically advance cosmological studies by crossing critical thresholds in the search for the B-mode polarization signature of primordial gravitational waves, in the determination of the number and masses of the neutrinos, in the search for evidence of new light relics, in constraining the nature of dark energy, and in testing general relativity on large scales

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Elliptic flow of charged particles in Pb-Pb collisions at 2.76 TeV

We report the first measurement of charged particle elliptic flow in Pb-Pb collisions at 2.76 TeV with the ALICE detector at the CERN Large Hadron Collider. The measurement is performed in the central pseudorapidity region (|$\eta$|<0.8) and transverse momentum range 0.2< $p_{\rm T}$< 5.0 GeV/$c$. The elliptic flow signal v$_2$, measured using the 4-particle correlation method, averaged over transverse momentum and pseudorapidity is 0.087 $\pm$ 0.002 (stat) $\pm$ 0.004 (syst) in the 40-50% centrality class. The differential elliptic flow v$_2(p_{\rm T})$ reaches a maximum of 0.2 near $p_{\rm T}$ = 3 GeV/$c$. Compared to RHIC Au-Au collisions at 200 GeV, the elliptic flow increases by about 30%. Some hydrodynamic model predictions which include viscous corrections are in agreement with the observed increase.Comment: 10 pages, 4 captioned figures, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/389

Horizontal DNA transfer mechanisms of bacteria as weapons of intragenomic conflict

Horizontal DNA transfer (HDT) is a pervasive mechanism of diversification in many microbial species, but its primary evolutionary role remains controversial. Much recent research has emphasised the adaptive benefit of acquiring novel DNA, but here we argue instead that intragenomic conflict provides a coherent framework for understanding the evolutionary origins of HDT. To test this hypothesis, we developed a mathematical model of a clonally descended bacterial population undergoing HDT through transmission of mobile genetic elements (MGEs) and genetic transformation. Including the known bias of transformation toward the acquisition of shorter alleles into the model suggested it could be an effective means of counteracting the spread of MGEs. Both constitutive and transient competence for transformation were found to provide an effective defence against parasitic MGEs; transient competence could also be effective at permitting the selective spread of MGEs conferring a benefit on their host bacterium. The coordination of transient competence with cell-cell killing, observed in multiple species, was found to result in synergistic blocking of MGE transmission through releasing genomic DNA for homologous recombination while simultaneously reducing horizontal MGE spread by lowering the local cell density. To evaluate the feasibility of the functions suggested by the modelling analysis, we analysed genomic data from longitudinal sampling of individuals carrying Streptococcus pneumoniae. This revealed the frequent within-host coexistence of clonally descended cells that differed in their MGE infection status, a necessary condition for the proposed mechanism to operate. Additionally, we found multiple examples of MGEs inhibiting transformation through integrative disruption of genes encoding the competence machinery across many species, providing evidence of an ongoing "arms race." Reduced rates of transformation have also been observed in cells infected by MGEs that reduce the concentration of extracellular DNA through secretion of DNases. Simulations predicted that either mechanism of limiting transformation would benefit individual MGEs, but also that this tactic's effectiveness was limited by competition with other MGEs coinfecting the same cell. A further observed behaviour we hypothesised to reduce elimination by transformation was MGE activation when cells become competent. Our model predicted that this response was effective at counteracting transformation independently of competing MGEs. Therefore, this framework is able to explain both common properties of MGEs, and the seemingly paradoxical bacterial behaviours of transformation and cell-cell killing within clonally related populations, as the consequences of intragenomic conflict between self-replicating chromosomes and parasitic MGEs. The antagonistic nature of the different mechanisms of HDT over short timescales means their contribution to bacterial evolution is likely to be substantially greater than previously appreciated

BRAF V600E Mutations Are Common in Pleomorphic Xanthoastrocytoma: Diagnostic and Therapeutic Implications

Pleomorphic xanthoastrocytoma (PXA) is low-grade glial neoplasm principally affecting children and young adults. Approximately 40% of PXA are reported to recur within 10 years of primary resection. Upon recurrence, patients receive radiation therapy and conventional chemotherapeutics designed for high-grade gliomas. Genetic changes that can be targeted by selective therapeutics have not been extensively evaluated in PXA and ancillary diagnostic tests to help discriminate PXA from other pleomorphic and often more aggressive astrocytic malignancies are limited. In this study, we apply the SNaPshot multiplexed targeted sequencing platform in the analysis of brain tumors to interrogate 60 genetic loci that are frequently mutated in 15 cancer genes. In our analysis we detect BRAF V600E mutations in 12 of 20 (60%) WHO grade II PXA, in 1 of 6 (17%) PXA with anaplasia and in 1 glioblastoma arising in a PXA. Phospho-ERK was detected in all tumors independent of the BRAF mutation status. BRAF duplication was not detected in any of the PXA cases. BRAF V600E mutations were identified in only 2 of 71 (2.8%) glioblastoma (GBM) analyzed, including 1 of 9 (11.1%) giant cell GBM (gcGBM). The finding that BRAF V600E mutations are common in the majority of PXA has important therapeutic implications and may help in differentiating less aggressive PXAs from lethal gcGBMs and GBMs