15 research outputs found
Biochemical Reaction Rules with Constraints
International audienceWe propose React(C), an expressive programming language for stochastic modeling and simulation in systems biology, that is based on biochemical reactions with constraints. We prove that React(C) can express the stochastic pi-calculus, in contrast to previous rule-based programming languages, and further illustrate the high expressiveness of React(C). We present a stochastic simulator for React(C) independently of the choice of the constraint language C. Our simulator must decide for a given reaction rule whether it can be applied to the current biochemical solution. We show that this decision problem is NP-complete for arbitrary constraint systems C, and that it can be solved in polynomial time for rules of bounded arity. In practice, we propose to solve this problem by constraint programming
Geographical and temporal distribution of SARS-CoV-2 clades in the WHO European Region, January to June 2020
We show the distribution of SARS-CoV-2 genetic clades over time and between countries and outline potential genomic surveillance objectives. We applied three available genomic nomenclature systems for SARS-CoV-2 to all sequence data from the WHO European Region available during the COVID-19 pandemic until 10 July 2020. We highlight the importance of real-time sequencing and data dissemination in a pandemic situation. We provide a comparison of the nomenclatures and lay a foundation for future European genomic surveillance of SARS-CoV-2.Peer reviewe
Metabolic profiling stratifies colorectal cancer and reveals adenosylhomocysteinase as a therapeutic target
The genomic landscape of colorectal cancer (CRC) is shaped by inactivating mutations in tumour suppressors such as APC, and oncogenic mutations such as mutant KRAS. Here we used genetically engineered mouse models, and multimodal mass spectrometry-based metabolomics to study the impact of common genetic drivers of CRC on the metabolic landscape of the intestine. We show that untargeted metabolic profiling can be applied to stratify intestinal tissues according to underlying genetic alterations, and use mass spectrometry imaging to identify tumour, stromal and normal adjacent tissues. By identifying ions that drive variation between normal and transformed tissues, we found dysregulation of the methionine cycle to be a hallmark of APC-deficient CRC. Loss of Apc in the mouse intestine was found to be sufficient to drive expression of one of its enzymes, adenosylhomocysteinase (AHCY), which was also found to be transcriptionally upregulated in human CRC. Targeting of AHCY function impaired growth of APC-deficient organoids in vitro, and prevented the characteristic hyperproliferative/crypt progenitor phenotype driven by acute deletion of Apc in vivo, even in the context of mutant Kras. Finally, pharmacological inhibition of AHCY reduced intestinal tumour burden in ApcMin/+ mice indicating its potential as a metabolic drug target in CRC
A Study of Formal Model of Interactive Behaviour in the Whole System for Implicit Action and Context
Brain stem auditory evoked potentials in patients with multiple system atrophy with progressive autonomic failure (Shy-Drager syndrome).
Automobility and the power of sound
This article analyses the connections between forms of solitary automobile habitation and the use of mobile sound technologies in automobiles: the radio, cassette, sound system and mobile phone. It does this through an empirically informed analysis of automobile use. In doing so it re-evaluates our understanding of the occupation of space and place, arguing that traditional concepts of urban space have underestimated the active role that the users of these communication technologies might have in transforming the meaning of these spaces as they pass through them. The article points to the powerful, and potentially problematic, role that sound technologies play in the daily experience of moving through the city