English
Related papers

Related papers: Model Checking Gene Regulatory Networks

200 papers

Binarization of gene expression data is a \textbf{critical prerequisite} for the synthesis of Boolean gene regulatory network (GRN) models from omics datasets. Because Boolean networks encode gene activity as binary variables, the accuracy…

Discrete Mathematics · Computer Science 2025-10-21 Ismail Belgacem , Franck Delaplace

Gene Regulatory Network (GRN) inference is essential for understanding complex cellular mechanisms, rendered tractable through single-cell transcriptomic data. With the emergence of single-cell Foundation Models (scFMs), enhanced…

Machine Learning · Computer Science 2026-05-12 Jiaxin Qi , Hang Li , Yan Cui , Yuhua Zheng , Jianqiang Huang

We consider two mathematical dynamical models of gene regulatory networks (GRNs) and obtain results on robust synchronization on these dynamical models based on the existing theoretical results in the coupled cell network formalism. We also…

Dynamical Systems · Mathematics 2021-11-17 Manuela Aguiar , Ana Dias , Haibo Ruan

Understanding how deep neural networks learn representations remains a central challenge in machine learning theory. In this work, we propose a feature-centric framework for analyzing neural network training by relating weight updates to…

Machine Learning · Computer Science 2026-05-08 Taehun Cha , Daniel Beaglehole , Adityanarayanan Radhakrishnan , Donghun Lee

Systemic properties of living cells are the result of molecular dynamics governed by so-called genetic regulatory networks (GRN). These networks capture all possible features of cells and are responsible for the immense levels of adaptation…

Molecular Networks · Quantitative Biology 2015-06-04 Rudolf Hanel , Manfred Pöchacker , Manuel Schölling , Stefan Thurner

The structure and dynamics of a typical biological system are complex due to strong and inhomogeneous interactions between its constituents. The investigation of such systems with classical mathematical tools, such as differential equations…

Molecular Networks · Quantitative Biology 2008-02-15 Murat Tuğrul

Modelling genetic phenomena affecting biological traits is important for the development of agriculture as it allows breeders to predict the potential of breeding for certain traits. One such phenomenon is heterosis or hybrid vigor:…

Populations and Evolution · Quantitative Biology 2015-03-24 Peter M. F. Emmrich , Hannah E. Roberts , Vera Pancaldi

One of the grand challenges of cell biology is inferring the gene regulatory network (GRN) which describes interactions between genes and their products that control gene expression and cellular function. We can treat this as a causal…

Machine Learning · Computer Science 2023-12-27 Lazar Atanackovic , Alexander Tong , Bo Wang , Leo J. Lee , Yoshua Bengio , Jason Hartford

Diffusion-driven instability is a fundamental mechanism underlying pattern formation in spatially extended systems. In almost all existing works, diffusion across the links of the underlying network is modeled through scalar weights,…

Statistical Mechanics · Physics 2026-02-16 Anna Gallo , Wilfried Segnou , Timoteo Carletti

Generative adversarial networks (GANs) are highly effective unsupervised learning frameworks that can generate very sharp data, even for data such as images with complex, highly multimodal distributions. However GANs are known to be very…

Machine Learning · Statistics 2017-12-05 Sitao Xiang , Hao Li

In most domains of network analysis researchers consider networks that arise in nature with weighted edges. Such networks are routinely dichotomized in the interest of using available methods for statistical inference with networks. The…

Methodology · Statistics 2016-11-10 James D. Wilson , Matthew J. Denny , Shankar Bhamidi , Skyler Cranmer , Bruce Desmarais

Benchmark rankings are routinely used to justify scientific claims about method quality in gene regulatory network (GRN) inference, yet the stability of these rankings under plausible evaluation protocol choices is rarely examined. We…

Molecular Networks · Quantitative Biology 2026-03-05 Ihor Kendiukhov

Robust validation metrics remain essential in contemporary deep learning, not only to detect overfitting and poor generalization, but also to monitor training dynamics. In the supervised classification setting, we investigate whether…

Machine Learning · Computer Science 2025-10-30 Florian A. Hölzl , Daniel Rueckert , Georgios Kaissis

We present a weight similarity measure method that can quantify the weight similarity of non-convex neural networks. To understand the weight similarity of different trained models, we propose to extract the feature representation from the…

Machine Learning · Computer Science 2022-08-10 Guangcong Wang , Guangrun Wang , Wenqi Liang , Jianhuang Lai

Motivation: Gene regulatory interactions are of fundamental importance to various biological functions and processes. However, only a few previous computational studies have claimed success in revealing genome-wide regulatory landscapes…

Molecular Networks · Quantitative Biology 2017-02-09 Shupeng Gui , Rui Chen , Liang Wu , Ji Liu , Hongyu Miao

Feature models are widely used to capture the configuration space of software systems. Although automated reasoning has been studied for detecting problematic features and supporting configuration tasks, significantly less attention has…

Software Engineering · Computer Science 2026-03-18 Jose Manuel Sanchez , Miguel Angel Olivero , Ruben Heradio , Luis Cambelo , David Fernandez-Amoros

Most available tools propose simulation frameworks to study models of biological systems, but simulation only explores a few of the most probable behaviours of the system. On the contrary, techniques such as model checking, coming from…

Logic in Computer Science · Computer Science 2011-08-18 Nicolas Sedlmajer , Didier Buchs , Steve Hostettler , Alban Linard , Edmundo Lopez , Alexis Marechal

In this paper I present some of the most representative biological models applied to robotics. In particular, this work represents a survey of some models inspired, or making use of concepts, by gene regulatory networks (GRNs): these…

Other Computer Science · Computer Science 2017-12-07 Michele Braccini

Embryonic development leads to the reproducible and ordered appearance of complexity from egg to adult. The successive differentiation of different cell types, that elaborates this complexity, result from the activity of gene networks and…

Quantitative Methods · Quantitative Biology 2022-05-11 David A. Rand , Archishman Raju , Meritxell Saez , Francis Corson , Eric D. Siggia

Gene regulation is an important fundamental biological process. The regulation of gene expression is managed through a variety of methods including epigenetic processes (e.g., DNA methylation). Understanding the role of epigenetic changes…

Molecular Networks · Quantitative Biology 2021-06-01 James Brunner , Jacob Kim , Timothy Downing , Eric Mjolsness , Kord M. Kober
‹ Prev 1 3 4 5 6 7 10 Next ›