A serological survey of ruminant livestock in Kazakhstan during post-Soviet transitions in farming and disease control

The results of a serological survey of livestock in Kazakhstan, carried out in 1997–1998, are reported. Serum samples from 958 animals (cattle, sheep and goats) were tested for antibodies to foot and mouth disease (FMD), bluetongue (BT), epizootic haemorrhagic disease (EHD), rinderpest (RP) and peste des petits ruminants (PPR) viruses, and to Brucella spp. We also investigated the vaccination status of livestock and related this to changes in veterinary provision since independence in 1991. For the 2 diseases under official surveillance (FMD and brucellosis) our results were similar to official data, although we found significantly higher brucellosis levels in 2 districts and widespread ignorance about FMD vaccination status. The seroprevalence for BT virus was 23%, and seropositive animals were widespread suggesting endemicity, despite the disease not having being previously reported. We found a few seropositives for EHDV and PPRV, which may suggest that these diseases are also present in Kazakhstan. An hierarchical model showed that seroprevalence to FMD and BT viruses were clustered at the farm/village level, rather than at a larger spatial scale. This was unexpected for FMD, which is subject to vaccination policies which vary at the raion (county) level

Identification of LDH-A as a therapeutic target for cancer cell killing via (i) p53/NAD(H)-dependent and (ii) p53 independent pathways

Most cancer cells use aerobic glycolysis to fuel their growth. The enzyme lactate dehydrogenase-A (LDH-A) is key to cancer’s glycolytic phenotype, catalysing the regeneration of nicotinamide adenine dinucleotide (NAD þ ) from reduced nicotinamide adenine dinucleotide (NADH) necessary to sustain glycolysis. As such, LDH-A is a promising target for anticancer therapy. Here we ask if the tumour suppressor p53, a major regulator of cellular metabolism, influences the response of cancer cells to LDH-A suppression. LDH-A knockdown by RNA interference (RNAi) induced cancer cell death in p53 wild-type, mutant and p53-null human cancer cell lines, indicating that endogenous LDH-A promotes cancer cell survival irrespective of cancer cell p53 status. Unexpectedly,however,weuncoveredanovelroleforp53intheregulationofcancercellNADþ anditsreducedformNADH.Thus, LDH-A silencing by RNAi, or its inhibition using a small-molecule inhibitor, resulted in a p53-dependent increase in the cancer cell ratioofNADH:NADþ.Thiseffectwasspecificforp53þ/þ cancercellsandcorrelatedwith(i)reducedactivityofNADþ-dependent deacetylase sirtuin 1 (SIRT1) and (ii) an increase in acetylated p53, a known target of SIRT1 deacetylation activity. In addition, activation of the redox-sensitive anticancer drug EO9 was enhanced selectively in p53 þ / þ cancer cells, attributable to increased activity of NAD(P)H-dependent oxidoreductase NQO1 (NAD(P)H quinone oxidoreductase 1). Suppressing LDH-A increased EO9-inducedDNAdamageinp53þ/þ cancercells,butimportantlyhadnoadditiveeffectinnon-cancercells.Ourresultsidentifya unique strategy by which the NADH/NADþ cellular redox status can be modulated in a cancer-specific, p53-dependent manner and we show that this can impact upon the activity of important NAD(H)-dependent enzymes. To summarise, this work indicates two distinct mechanisms by which suppressing LDH-A could potentially be used to kill cancer cells selectively, (i) through induction of apoptosis, irrespective of cancer cell p53 status and (ii) as a part of a combinatorial approach with redox-sensitive anticancer drugs via a novel p53/NAD(H)-dependent mechanism

Regular Expression Matching and Operational Semantics

Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the regular expression on the fly. Thus they can be seen as virtual machines interpreting the regular expression much as if it were a program with some non-deterministic constructs such as the Kleene star. We formalize this implementation technique for regular expression matching using operational semantics. Specifically, we derive a series of abstract machines, moving from the abstract definition of matching to increasingly realistic machines. First a continuation is added to the operational semantics to describe what remains to be matched after the current expression. Next, we represent the expression as a data structure using pointers, which enables redundant searches to be eliminated via testing for pointer equality. From there, we arrive both at Thompson's lockstep construction and a machine that performs some operations in parallel, suitable for implementation on a large number of cores, such as a GPU. We formalize the parallel machine using process algebra and report some preliminary experiments with an implementation on a graphics processor using CUDA.Comment: In Proceedings SOS 2011, arXiv:1108.279

Health effects of home energy efficiency interventions in England: a modelling study

Objective: To assess potential public health impacts of changes to indoor air quality and temperature due to energy efficiency retrofits in English dwellings to meet 2030 carbon reduction targets. Design: Health impact modelling study. Setting: England. Participants: English household population. Intervention: Three retrofit scenarios were modelled: (1) fabric and ventilation retrofits installed assuming building regulations are met. (2) As with scenario (1) but with additional ventilation for homes at risk of poor ventilation. (3) As with scenario (1) but with no additional ventilation to illustrate the potential risk of weak regulations and non-compliance. Main Outcome: Primary outcomes were changes in quality adjusted life years (QALYs) over 50 years from cardiorespiratory diseases, lung cancer, asthma and common mental disorders due to changes in indoor air pollutants, including: second-hand tobacco smoke, PM2.5 from indoor and outdoor sources, radon, mould, and indoor winter temperatures. Results: The modelling study estimates showed that scenario (1) resulted in positive effects on net mortality and morbidity of 2,241 (95% credible intervals (CI) 2,085 to 2,397) QALYs per 10,000 persons over 50 years due to improved temperatures and reduced exposure to indoor pollutants, despite an increase in exposure to outdoor–generated PM2.5. Scenario (2) resulted in a negative impact of -728 (95% CI -864 to -592) QALYs per 10,000 persons over 50 years due to an overall increase in indoor pollutant exposures. Scenario (3) resulted in -539 (95% CI -678 to -399) QALYs per 10,000 persons over 50 years due to an increase in indoor exposures despite targeting. Conclusions: If properly implemented alongside ventilation, energy efficiency retrofits in housing can improve health by reducing exposure to cold and air pollutants. Maximising the health benefits requires careful understanding of the balance of changes in pollutant exposures, highlighting the importance of ventilation to mitigate the risk of poor indoor air quality

Measurement of kinematic and nuclear dependence of R = σ_L/σ_T in deep inelastic electron scattering

We report results on a precision measurement of the ratio R=σ_L/σ_T in deep inelastic electron-nucleon scattering in the kinematic range 0.2≤x≤0.5 and 1≤Q^2≤10 (GeV/c)^2. Our results show, for the first time, a clear falloff of R with increasing Q^2. Our R results are in agreement with QCD predictions only when corrections for target mass effects and some additional higher twist effects are included. At small x, the data on R favor structure functions with a large gluon contribution. We also report results on the differences R_A-R_D and the cross section ratio σ^A/σ^D between Fe and Au nuclei and the deuteron. Our results for R_A-R_D are consistent with zero for all x, Q^2 indicating that possible contributions to R from nuclear higher twist effects and spin-0 constituents in nuclei are not different from those in nucleons. The ratios σ^A/σ^D from all recent experiments, at all x, Q^2 values, are now in agreement

Rate-Based Transition Systems for Stochastic Process Calculi

A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition relation used in our variant associates to each process, for each action, the set of possible futures paired with a measure indicating their rates. We show how RTS can be used for providing the operational semantics of stochastic extensions of classical formalisms, namely CSP and CCS. We also show that our semantics for stochastic CCS guarantees associativity of parallel composition. Similarly, in contrast with the original definition by Priami, we argue that a semantics for stochastic π-calculus can be provided that guarantees associativity of parallel composition

Measurement of the Difference in R=σ_L/σ_T and of σ^A/σ^D in Deep-Inelastic e-D, e-Fe, and e-Au Scattering

We measured the differences in R=σ_L/σ_T and the cross-section ratio σA/σD in deep-inelastic electron scattering from D, Fe, and Au nuclei in the kinematic range 0.2≤x≤0.5 and 1≤Q^2≤5 (Gev/c)^2. Our results for R^A-R^D are consistent with zero for all x and Q^2, indicating that possible contributions to R from nuclear higher-twist effects and spin-0 constituents in nuclei are not different from those in nucleons. The European Muon Collaboration effect is reconfirmed, and the low-x data from all recent experiments, at all Q^2, are now in agreement

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

Narrowband spectroscopy by all-optical correlation of broadband pulses

High peak power ultrafast lasers are widely used in nonlinear spectroscopy but often limit its spectral resolution because of the broad frequency bandwidth of ultrashort laser pulses. Improving the resolution by achieving spectrally narrow excitation of, or emission from, the resonant medium by means of multi-photon interferences has been the focus of many recent developments in ultrafast spectroscopy. We demonstrate an alternative approach, in which high resolution is exercised by detecting narrow spectral correlations between broadband excitation and emission optical fields. All-optical correlation analysis, easily incorporated into the traditional spectroscopic setup, enables direct, robust and simultaneous detection of multiple narrow resonances with a single femtosecond pulse.Comment: 5 pages, 4 figures, submitted to PR