LEADER 04441nam 22006375 450 001 996673175403316 005 20250818130234.0 010 $a3-032-01436-0 024 7 $a10.1007/978-3-032-01436-8 035 $a(CKB)40378547100041 035 $a(MiAaPQ)EBC32265663 035 $a(Au-PeEL)EBL32265663 035 $a(DE-He213)978-3-032-01436-8 035 $a(OCoLC)1534195915 035 $a(EXLCZ)9940378547100041 100 $a20250818d2026 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputational Methods in Systems Biology $e23rd International Conference, CMSB 2025, Lyon, France, September 10?12, 2025, Proceedings /$fedited by François Fages, Sabine Pérès 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (655 pages) 225 1 $aLecture Notes in Bioinformatics,$x2366-6331 ;$v15959 311 08$a3-032-01435-2 327 $a -- Boolean Networks. -- Computation of immediate neighbours of monotone Boolean functions. -- Three-State Gene Expression Model Parameterized for Single-Cell Multi-Omics Data. -- On Model Reductions of Boolean Networks. -- AEON 2025: Robust Control of Partially-Specified Boolean Networks (tool paper). -- Looking for Signs: Reasoning About FOBNNs Using SAT. -- Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks. -- Continuous and Hybrid models. -- Efficient stochastic simulation of gene regulatory networks using hybrid models of transcriptional bursting. -- Exploring Metastable Dynamics of Gene Regulatory Networks with ISOKANN. -- Rule-based models. -- Reachability Analysis for Parametric Rule-Based Models. -- A rule-based modeling approach for studying animal collectives: a case study of juvenile honeybee thermotaxis. -- A Formal Approach to Identify Structural Patterns in RNA. -- Model inference and machine learning. -- Kolmogorov-Arnold Network for Gene Regulatory Network Inference. -- Optimal input design for model selection in systems with cell-to-cell variability. -- Decoding Gene Regulation in Alzheimer?s disease with Transfer Learning and Explainable Machine Learning. -- Influence Graphs of Phytoplankton Species Interactions using Logical Learning. -- Evaluating PDE discovery methods for multiscale modeling of biological signals. -- Optimizing Feature Extraction Methods using Class Similarity Ratio for EMG-based Hand Gesture Classification. -- Population models and control. -- Eukaryotic ancestry in a finite world. -- Minimal metabolic exchanges for microbial communities in a chemostat at steady state. -- Seed inference in interacting microbial communities using combinatorial optimization. -- A model-free control strategy for selective disruption of parkinsonian brain oscillations. 330 $aThis book constitutes the refereed proceedings of the 23rd International Conference on Computational Methods in Systems Biology, CMSB 2025, which took place in Lyon, France, during September 10?12, 2025. The 21 full papers presented in this volume were carefully reviewed and selected from 34 submissions sent to reviews. They are grouped into the following topics: Boolean Networks; Continuous and Hybrid models; Rule-based models; Model inference and machine learning; Population models and control. . 410 0$aLecture Notes in Bioinformatics,$x2366-6331 ;$v15959 606 $aComputer systems 606 $aArtificial intelligence 606 $aBiological models 606 $aBioinformatics 606 $aComputer System Implementation 606 $aArtificial Intelligence 606 $aBiological Models 606 $aComputational and Systems Biology 615 0$aComputer systems. 615 0$aArtificial intelligence. 615 0$aBiological models. 615 0$aBioinformatics. 615 14$aComputer System Implementation. 615 24$aArtificial Intelligence. 615 24$aBiological Models. 615 24$aComputational and Systems Biology. 676 $a004.2 700 $aFages$b Franc?ois$00 701 $aPérès$b Sabine$01845147 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996673175403316 996 $aComputational Methods in Systems Biology$94428617 997 $aUNISA