Development of a new molecular typing method of Salmonella spp. based on SNPs detection

The aim of this study was to develop a new molecular typing method of Salmonella spp. based on the detection of point mutations (Single Nucleotide Polymorphisms or SNPs) in the genome. Several genomic regions (ManB, InvA, pduF) were sequenced in strains isolated from pig, the sequences were aligned and 49 point mutations were identified. A panel of 12 SNPs giving a genotype characteristic of a particular serotype was selected. Until now, thes selected SNPs were unable to distinguish the all strains. Therefore, additional SNPs must be selected

Analytic curves in algebraic varieties over number fields

We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and P\'olya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field. The formulation and the proof of these criteria involve some basic notions in Arakelov geometry, combined with complex and rigid analytic geometry (notably, potential theory over complex and $p$-adic curves). We also discuss geometric analogues, pertaining to the algebraic geometry of projective surfaces, of these arithmetic criteria.Comment: 55 pages. To appear in "Algebra, Arithmetic, and Geometry: In Honor of Y.i. Manin", Y. Tschinkel & Yu. Manin editors, Birkh\"auser, 200

Paxos Consensus, Deconstructed and Abstracted (Extended Version)

Lamport's Paxos algorithm is a classic consensus protocol for state machine replication in environments that admit crash failures. Many versions of Paxos exploit the protocol's intrinsic properties for the sake of gaining better run-time performance, thus widening the gap between the original description of the algorithm, which was proven correct, and its real-world implementations. In this work, we address the challenge of specifying and verifying complex Paxos-based systems by (a) devising composable specifications for implementations of Paxos's single-decree version, and (b) engineering disciplines to reason about protocol-aware, semantics-preserving optimisations to single-decree Paxos. In a nutshell, our approach elaborates on the deconstruction of single-decree Paxos by Boichat et al. We provide novel non-deterministic specifications for each module in the deconstruction and prove that the implementations refine the corresponding specifications, such that the proofs of the modules that remain unchanged can be reused across different implementations. We further reuse this result and show how to obtain a verified implementation of Multi-Paxos from a verified implementation of single-decree Paxos, by a series of novel protocol-aware transformations of the network semantics, which we prove to be behaviour-preserving.Comment: Accepted for publication in the 27th European Symposium on Programming (ESOP'18

Carbon budget of a shallow, lagoonal estuary: Transformations and source-sink dynamics along the river-estuary-ocean continuum

A comprehensive carbon budget was constructed to quantify carbon flows through the freshwater-marine continuum of a temperate, microtidal estuary. We performed coordinated measurements of dissolved inorganic carbon and total organic carbon fluxes to resolve spatial variability between and along the channel and shoals and diel variability across the entire estuary for 2 yr. Net ecosystem metabolism (NEM) was the most significant control on carbon flow within estuary regions. However, metabolic rates were spatially coupled such that counteracting fluxes across the channel-shoal gradient or along the river-ocean gradient resulted in system-wide NEM that was closely in balance (–3.0 ± 3.3 to 1.1 ± 4.4 molC m−2 yr−1). Similarly, large diel and seasonal variability in air–water CO2 fluxes were observed during 72 spatial surveys, but these short-term variations generally cancelled out when aggregated to annual budget terms. Although atmospheric exchanges were small (–0.2 ± 0.1 to 2.0 ± 0.4 molC m−2 yr−1), they were subject to large errors (± 4 molC m−2 yr−1) if diel variability was neglected. Internal mechanisms that maintained balanced carbon flows were strongly impacted by river discharge and were only apparent by separately quantifying channel and shoal fluxes. Notably, metabolic responses of the shoal to river forcing outweighed the responses of the channel, and the net impact was contrary to prior relationships derived from synthesis of lower-resolution carbon budgets. Our budget demonstrates that resolution of carbon fluxes at appropriate scales, including channel-shoal and diel variability, is critical to characterizing ecosystem function and the fate of carbon within the river-ocean continuum

Different Transcriptional Control of Metabolism and Extracellular Matrix in Visceral and Subcutaneous Fat of Obese and Rimonabant Treated Mice

BACKGROUND: The visceral (VAT) and subcutaneous (SCAT) adipose tissues play different roles in physiology and obesity. The molecular mechanisms underlying their expansion in obesity and following body weight reduction are poorly defined. METHODOLOGY: C57Bl/6 mice fed a high fat diet (HFD) for 6 months developed low, medium, or high body weight as compared to normal chow fed mice. Mice from each groups were then treated with the cannabinoid receptor 1 antagonist rimonabant or vehicle for 24 days to normalize their body weight. Transcriptomic data for visceral and subcutaneous adipose tissues from each group of mice were obtained and analyzed to identify: i) genes regulated by HFD irrespective of body weight, ii) genes whose expression correlated with body weight, iii) the biological processes activated in each tissue using gene set enrichment analysis (GSEA), iv) the transcriptional programs affected by rimonabant. PRINCIPAL FINDINGS: In VAT, "metabolic" genes encoding enzymes for lipid and steroid biosynthesis and glucose catabolism were down-regulated irrespective of body weight whereas "structure" genes controlling cell architecture and tissue remodeling had expression levels correlated with body weight. In SCAT, the identified "metabolic" and "structure" genes were mostly different from those identified in VAT and were regulated irrespective of body weight. GSEA indicated active adipogenesis in both tissues but a more prominent involvement of tissue stroma in VAT than in SCAT. Rimonabant treatment normalized most gene expression but further reduced oxidative phosphorylation gene expression in SCAT but not in VAT. CONCLUSION: VAT and SCAT show strikingly different gene expression programs in response to high fat diet and rimonabant treatment. Our results may lead to identification of therapeutic targets acting on specific fat depots to control obesity

RNA-Sequencing Analysis of 5' Capped RNAs Identifies Many New Differentially Expressed Genes in Acute Hepatitis C Virus Infection

We describe the first report of RNA sequencing of 5' capped (Pol II) RNAs isolated from acutely hepatitis C virus (HCV) infected Huh 7.5 cells that provides a general approach to identifying differentially expressed annotated and unannotated genes that participate in viral-host interactions. We identified 100, 684, and 1,844 significantly differentially expressed annotated genes in acutely infected proliferative Huh 7.5 cells at 6, 48, and 72 hours, respectively (fold change ≥ 1.5 and Bonferroni adjusted p-values < 0.05). Most of the differentially expressed genes (>80%) and biological pathways (such as adipocytokine, Notch, Hedgehog and NOD-like receptor signaling) were not identified by previous gene array studies. These genes are critical components of host immune, inflammatory and oncogenic pathways and provide new information regarding changes that may benefit the virus or mediate HCV induced pathology. RNAi knockdown studies of newly identified highly upregulated FUT1 and KLHDC7B genes provide evidence that their gene products regulate and facilitate HCV replication in hepatocytes. Our approach also identified novel Pol II unannotated transcripts that were upregulated. Results further identify new pathways that regulate HCV replication in hepatocytes and suggest that our approach will have general applications in studying viral-host interactions in model systems and clinical biospecimens

Biomarkers for Severity of Spinal Cord Injury in the Cerebrospinal Fluid of Rats

One of the major challenges in management of spinal cord injury (SCI) is that the assessment of injury severity is often imprecise. Identification of reliable, easily quantifiable biomarkers that delineate the severity of the initial injury and that have prognostic value for the degree of functional recovery would significantly aid the clinician in the choice of potential treatments. To find such biomarkers we performed quantitative liquid chromatography-mass spectrometry (LC-MS/MS) analyses of cerebrospinal fluid (CSF) collected from rats 24 h after either a moderate or severe SCI. We identified a panel of 42 putative biomarkers of SCI, 10 of which represent potential biomarkers of SCI severity. Three of the candidate biomarkers, Ywhaz, Itih4, and Gpx3 were also validated by Western blot in a biological replicate of the injury. The putative biomarkers identified in this study may potentially be a valuable tool in the assessment of the extent of spinal cord damage