Probabilistic Guarded P Systems, A New Formal Modelling Framework

Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which consists of two main approaches: stochastic and probabilistic. The framework has been successfully used to model biologic systems at both micro (e.g. bacteria colony) and macro (e.g. real ecosystems) levels, respectively. In this paper, we extend the general framework in order to include a new case study related to P. Oleracea species. The extension is made by a new variant within the probabilistic approach, called Probabilistic Guarded P systems (in short, PGP systems). We provide a formal definition, a simulation algorithm to capture the dynamics, and a survey of the associated software.Ministerio de Economía y Competitividad TIN2012- 37434Junta de Andalucía P08-TIC-0420

An integrated model checking toolset for kernel P systems

P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are defined to unify the specification of different variants of P systems, motivated by challenging theoretical aspects and the need to model different problems. kP systems are supported by a software framework, called kPWORKBENCH, which integrates a set of related simulation and verification methodologies and tools. In this paper, we present an extension to kPWORKBENCH with a new model checking framework supporting the formal verification of kP system models. This framework supports both LTL and CTL properties. To make the property specification an easier task, we propose a property language, composed of natural language statements. We demonstrate our proposed methodology with an example

Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems

YesComputational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations). These models incorporate a set of methods for specifying, modeling, testing, and simulating biological systems. In addition, they can be analyzed using algorithmic techniques (e.g., formal verification). This paper shows how formal verification is utilized in systems and synthetic biology through qualitative vs quantitative analysis. Here, we choose two well-known case studies: quorum sensing in P. aeruginosas and pulse generator. The paper reports verification analysis of two systems carried out using some model checking tools, integrated to the Infobiotics Workbench platform, where system models are based on stochastic P systems.EPSR

Detailed Analysis of <em>ITPR1 </em>Missense Variants Guides Diagnostics and Therapeutic Design

\ua9 2023 The Authors. Movement Disorders published by Wiley Periodicals LLC on behalf of International Parkinson and Movement Disorder Society.Background: The ITPR1 gene encodes the inositol 1,4,5-trisphosphate (IP3) receptor type 1 (IP3R1), a critical player in cerebellar intracellular calcium signaling. Pathogenic missense variants in ITPR1 cause congenital spinocerebellar ataxia type 29 (SCA29), Gillespie syndrome (GLSP), and severe pontine/cerebellar hypoplasia. The pathophysiological basis of the different phenotypes is poorly understood. Objectives: We aimed to identify novel SCA29 and GLSP cases to define core phenotypes, describe the spectrum of missense variation across ITPR1, standardize the ITPR1 variant nomenclature, and investigate disease progression in relation to cerebellar atrophy. Methods: Cases were identified using next-generation sequencing through the Deciphering Developmental Disorders study, the 100,000 Genomes project, and clinical collaborations. ITPR1 alternative splicing in the human cerebellum was investigated by quantitative polymerase chain reaction. Results: We report the largest, multinational case series of 46 patients with 28 unique ITPR1 missense variants. Variants clustered in functional domains of the protein, especially in the N-terminal IP3-binding domain, the carbonic anhydrase 8 (CA8)-binding region, and the C-terminal transmembrane channel domain. Variants outside these domains were of questionable clinical significance. Standardized transcript annotation, based on our ITPR1 transcript expression data, greatly facilitated analysis. Genotype–phenotype associations were highly variable. Importantly, while cerebellar atrophy was common, cerebellar volume loss did not correlate with symptom progression. Conclusions: This dataset represents the largest cohort of patients with ITPR1 missense variants, expanding the clinical spectrum of SCA29 and GLSP. Standardized transcript annotation is essential for future reporting. Our findings will aid in diagnostic interpretation in the clinic and guide selection of variants for preclinical studies. \ua9 2023 The Authors. Movement Disorders published by Wiley Periodicals LLC on behalf of International Parkinson and Movement Disorder Society

A systematic analysis of splicing variants identifies new diagnoses in the 100,000 Genomes Project

Background Genomic variants which disrupt splicing are a major cause of rare genetic diseases. However, variants which lie outside of the canonical splice sites are difficult to interpret clinically. Improving the clinical interpretation of non-canonical splicing variants offers a major opportunity to uplift diagnostic yields from whole genome sequencing data. Methods Here, we examine the landscape of splicing variants in whole-genome sequencing data from 38,688 individuals in the 100,000 Genomes Project and assess the contribution of non-canonical splicing variants to rare genetic diseases. We use a variant-level constraint metric (the mutability-adjusted proportion of singletons) to identify constrained functional variant classes near exon–intron junctions and at putative splicing branchpoints. To identify new diagnoses for individuals with unsolved rare diseases in the 100,000 Genomes Project, we identified individuals with de novo single-nucleotide variants near exon–intron boundaries and at putative splicing branchpoints in known disease genes. We identified candidate diagnostic variants through manual phenotype matching and confirmed new molecular diagnoses through clinical variant interpretation and functional RNA studies. Results We show that near-splice positions and splicing branchpoints are highly constrained by purifying selection and harbour potentially damaging non-coding variants which are amenable to systematic analysis in sequencing data. From 258 de novo splicing variants in known rare disease genes, we identify 35 new likely diagnoses in probands with an unsolved rare disease. To date, we have confirmed a new diagnosis for six individuals, including four in whom RNA studies were performed. Conclusions Overall, we demonstrate the clinical value of examining non-canonical splicing variants in individuals with unsolved rare diseases

Detailed Analysis of ITPR1 Missense Variants Guides Diagnostics and Therapeutic Design

BACKGROUND: The ITPR1 gene encodes the inositol 1,4,5-trisphosphate (IP3 ) receptor type 1 (IP3 R1), a critical player in cerebellar intracellular calcium signaling. Pathogenic missense variants in ITPR1 cause congenital spinocerebellar ataxia type 29 (SCA29), Gillespie syndrome (GLSP), and severe pontine/cerebellar hypoplasia. The pathophysiological basis of the different phenotypes is poorly understood. OBJECTIVES: We aimed to identify novel SCA29 and GLSP cases to define core phenotypes, describe the spectrum of missense variation across ITPR1, standardize the ITPR1 variant nomenclature, and investigate disease progression in relation to cerebellar atrophy. METHODS: Cases were identified using next-generation sequencing through the Deciphering Developmental Disorders study, the 100,000 Genomes project, and clinical collaborations. ITPR1 alternative splicing in the human cerebellum was investigated by quantitative polymerase chain reaction. RESULTS: We report the largest, multinational case series of 46 patients with 28 unique ITPR1 missense variants. Variants clustered in functional domains of the protein, especially in the N-terminal IP3 -binding domain, the carbonic anhydrase 8 (CA8)-binding region, and the C-terminal transmembrane channel domain. Variants outside these domains were of questionable clinical significance. Standardized transcript annotation, based on our ITPR1 transcript expression data, greatly facilitated analysis. Genotype-phenotype associations were highly variable. Importantly, while cerebellar atrophy was common, cerebellar volume loss did not correlate with symptom progression. CONCLUSIONS: This dataset represents the largest cohort of patients with ITPR1 missense variants, expanding the clinical spectrum of SCA29 and GLSP. Standardized transcript annotation is essential for future reporting. Our findings will aid in diagnostic interpretation in the clinic and guide selection of variants for preclinical studies. © 2023 The Authors. Movement Disorders published by Wiley Periodicals LLC on behalf of International Parkinson and Movement Disorder Society

Detailed Analysis of ITPR1 Missense Variants Guides Diagnostics and Therapeutic Design.

BACKGROUND: The ITPR1 gene encodes the inositol 1,4,5-trisphosphate (IP3 ) receptor type 1 (IP3 R1), a critical player in cerebellar intracellular calcium signaling. Pathogenic missense variants in ITPR1 cause congenital spinocerebellar ataxia type 29 (SCA29), Gillespie syndrome (GLSP), and severe pontine/cerebellar hypoplasia. The pathophysiological basis of the different phenotypes is poorly understood. OBJECTIVES: We aimed to identify novel SCA29 and GLSP cases to define core phenotypes, describe the spectrum of missense variation across ITPR1, standardize the ITPR1 variant nomenclature, and investigate disease progression in relation to cerebellar atrophy. METHODS: Cases were identified using next-generation sequencing through the Deciphering Developmental Disorders study, the 100,000 Genomes project, and clinical collaborations. ITPR1 alternative splicing in the human cerebellum was investigated by quantitative polymerase chain reaction. RESULTS: We report the largest, multinational case series of 46 patients with 28 unique ITPR1 missense variants. Variants clustered in functional domains of the protein, especially in the N-terminal IP3 -binding domain, the carbonic anhydrase 8 (CA8)-binding region, and the C-terminal transmembrane channel domain. Variants outside these domains were of questionable clinical significance. Standardized transcript annotation, based on our ITPR1 transcript expression data, greatly facilitated analysis. Genotype-phenotype associations were highly variable. Importantly, while cerebellar atrophy was common, cerebellar volume loss did not correlate with symptom progression. CONCLUSIONS: This dataset represents the largest cohort of patients with ITPR1 missense variants, expanding the clinical spectrum of SCA29 and GLSP. Standardized transcript annotation is essential for future reporting. Our findings will aid in diagnostic interpretation in the clinic and guide selection of variants for preclinical studies. © 2023 The Authors. Movement Disorders published by Wiley Periodicals LLC on behalf of International Parkinson and Movement Disorder Society

Applications of Membrane Computing in Systems and Synthetic Biology

N