发布求助
文献互助 智能选刊 最新文献

Computational Methods in Systems Biology最新文献

筛选
英文 中文
A Formal Approach for Tuning Stochastic Oscillators 调整随机振荡器的正式方法
Computational Methods in Systems Biology Pub Date : 2024-05-15 DOI: 10.1007/978-3-031-42697-1_1
Paolo Ballarini, Mahmoud Bentriou, P. Cournède
{"title":"A Formal Approach for Tuning Stochastic Oscillators","authors":"Paolo Ballarini, Mahmoud Bentriou, P. Cournède","doi":"10.1007/978-3-031-42697-1_1","DOIUrl":"https://doi.org/10.1007/978-3-031-42697-1_1","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"53 5","pages":"1-17"},"PeriodicalIF":0.0,"publicationDate":"2024-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140975916","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Estimating Derivatives of Input Signals in Biochemistry 论估算生物化学中输入信号的衍生物
Computational Methods in Systems Biology Pub Date : 2023-07-10 DOI: 10.1007/978-3-031-42697-1_6
Mathieu Hemery, Franccois Fages
{"title":"On Estimating Derivatives of Input Signals in Biochemistry","authors":"Mathieu Hemery, Franccois Fages","doi":"10.1007/978-3-031-42697-1_6","DOIUrl":"https://doi.org/10.1007/978-3-031-42697-1_6","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"1 1","pages":"78-96"},"PeriodicalIF":0.0,"publicationDate":"2023-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139360907","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks 布尔网络最小陷阱空间的一般性质研究
Computational Methods in Systems Biology Pub Date : 2023-05-03 DOI: 10.48550/arXiv.2305.02442
Sara Riva, Jean-Marie Lagniez, Gustavo Magana L'opez, Loic Paulev'e
{"title":"Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks","authors":"Sara Riva, Jean-Marie Lagniez, Gustavo Magana L'opez, Loic Paulev'e","doi":"10.48550/arXiv.2305.02442","DOIUrl":"https://doi.org/10.48550/arXiv.2305.02442","url":null,"abstract":"Minimal trap spaces (MTSs) capture subspaces in which the Boolean dynamics is trapped, whatever the update mode. They correspond to the attractors of the most permissive mode. Due to their versatility, the computation of MTSs has recently gained traction, essentially by focusing on their enumeration. In this paper, we address the logical reasoning on universal properties of MTSs in the scope of two problems: the reprogramming of Boolean networks for identifying the permanent freeze of Boolean variables that enforce a given property on all the MTSs, and the synthesis of Boolean networks from universal properties on their MTSs. Both problems reduce to solving the satisfiability of quantified propositional logic formula with 3 levels of quantifiers ($existsforallexists$). In this paper, we introduce a Counter-Example Guided Refinement Abstraction (CEGAR) to efficiently solve these problems by coupling the resolution of two simpler formulas. We provide a prototype relying on Answer-Set Programming for each formula and show its tractability on a wide range of Boolean models of biological networks.","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128117369","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Variable-Depth Simulation of Most Permissive Boolean Networks 最允许布尔网络的变深度模拟
Computational Methods in Systems Biology Pub Date : 2022-06-25 DOI: 10.48550/arXiv.2206.12729
T. Roncalli, Loic Paulev'e
{"title":"Variable-Depth Simulation of Most Permissive Boolean Networks","authors":"T. Roncalli, Loic Paulev'e","doi":"10.48550/arXiv.2206.12729","DOIUrl":"https://doi.org/10.48550/arXiv.2206.12729","url":null,"abstract":". In systems biology, Boolean networks (BNs) aim at modeling the qualitative dynamics of quantitative biological systems. Contrary to their (a)synchronous interpretations, the Most Permissive (MP) interpretation guarantees capturing all the trajectories of any quantitative system compatible with the BN, without additional parameters. Notably, the MP mode has the ability to capture transitions related to the heterogeneity of time scales and concentration scales in the abstracted quantitative system and which are not captured by asynchronous modes. So far, the analysis of MPBNs has focused on Boolean dynamical properties, such as the existence of particular trajectories or attractors. This paper addresses the sampling of trajectories from MPBNs in order to quantify the propensities of attractors reachable from a given initial BN configuration. The computation of MP transitions from a configuration is performed by iteratively discovering possible state changes. The number of iterations is referred to as the permissive depth , where the first depth corresponds to the asynchronous transitions. This permissive depth reflects the potential concentration and time scales heterogeneity along the abstracted quantitative process. The simulation of MPBNs is illustrated on several models from the literature, on which the depth parametrization can help to assess the robustness of predictions on attractor propensities changes triggered by model perturbations.","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115150832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Stability Versus Meta-stability in a Skin Microbiome Model 皮肤微生物组模型的稳定性与亚稳定性
Computational Methods in Systems Biology Pub Date : 2022-06-21 DOI: 10.1007/978-3-031-15034-0_9
E. Greugny, G. Stamatas, Franccois Fages
{"title":"Stability Versus Meta-stability in a Skin Microbiome Model","authors":"E. Greugny, G. Stamatas, Franccois Fages","doi":"10.1007/978-3-031-15034-0_9","DOIUrl":"https://doi.org/10.1007/978-3-031-15034-0_9","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130519351","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Algebraic Biochemistry: A Framework for Analog Online Computation in Cells 代数生物化学:细胞模拟在线计算的框架
Computational Methods in Systems Biology Pub Date : 2022-06-20 DOI: 10.1007/978-3-031-15034-0_1
Mathieu Hemery, Franccois Fages
{"title":"Algebraic Biochemistry: A Framework for Analog Online Computation in Cells","authors":"Mathieu Hemery, Franccois Fages","doi":"10.1007/978-3-031-15034-0_1","DOIUrl":"https://doi.org/10.1007/978-3-031-15034-0_1","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134204496","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Abstraction-Based Segmental Simulation of Chemical Reaction Networks 基于抽象的化学反应网络分段模拟
Computational Methods in Systems Biology Pub Date : 2022-06-14 DOI: 10.48550/arXiv.2206.06677
Martin Helfrich, Milan Ceska, Jan Křetínský, Stefan Marticek
{"title":"Abstraction-Based Segmental Simulation of Chemical Reaction Networks","authors":"Martin Helfrich, Milan Ceska, Jan Křetínský, Stefan Marticek","doi":"10.48550/arXiv.2206.06677","DOIUrl":"https://doi.org/10.48550/arXiv.2206.06677","url":null,"abstract":"Simulating chemical reaction networks is often computationally demanding, in particular due to stiffness. We propose a novel simulation scheme where long runs are not simulated as a whole but assembled from shorter precomputed segments of simulation runs. On the one hand, this speeds up the simulation process to obtain multiple runs since we can reuse the segments. On the other hand, questions on diversity and genuineness of our runs arise. However, we ensure that we generate runs close to their true distribution by generating an appropriate abstraction of the original system and utilizing it in the simulation process. Interestingly, as a by-product, we also obtain a yet more efficient simulation scheme, yielding runs over the system's abstraction. These provide a very faithful approximation of concrete runs on the desired level of granularity, at a low cost. Our experiments demonstrate the speedups in the simulations while preserving key dynamical as well as quantitative properties.","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127534531","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Probabilistic Multivariate Early Warning Signals 概率多变量预警信号
Computational Methods in Systems Biology Pub Date : 2022-05-16 DOI: 10.1007/978-3-031-15034-0_13
Ville Laitinen, L. Lahti
{"title":"Probabilistic Multivariate Early Warning Signals","authors":"Ville Laitinen, L. Lahti","doi":"10.1007/978-3-031-15034-0_13","DOIUrl":"https://doi.org/10.1007/978-3-031-15034-0_13","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130884511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Qualitative dynamics of chemical reaction networks: an investigation using partial tropical equilibrations 化学反应网络的定性动力学:利用局部热带平衡的研究
Computational Methods in Systems Biology Pub Date : 2022-05-15 DOI: 10.48550/arXiv.2205.07360
Aurélien Desoeuvres, P. Szmolyan, O. Radulescu
{"title":"Qualitative dynamics of chemical reaction networks: an investigation using partial tropical equilibrations","authors":"Aurélien Desoeuvres, P. Szmolyan, O. Radulescu","doi":"10.48550/arXiv.2205.07360","DOIUrl":"https://doi.org/10.48550/arXiv.2205.07360","url":null,"abstract":"We discuss a method to describe the qualitative dynamics of chemical reaction networks in terms of symbolic dynamics. The method, that can be applied to mass-action reaction networks with separated timescales, uses solutions of the partial tropical equilibration problem as proxies for symbolic states. The partial tropical equilibration solutions are found algorithmically. These solutions also provide the scaling needed for slow-fast decomposition and model reduction. Any trace of the model can thus be represented as a sequence of local approximations of the full model. We illustrate the method using as case study a biochemical model of the cell cycle.","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129632395","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Bayesian Learning of Effective Chemical Master Equations in Crowded Intracellular Conditions 拥挤胞内条件下有效化学主方程的贝叶斯学习
Computational Methods in Systems Biology Pub Date : 2022-05-11 DOI: 10.1007/978-3-031-15034-0_12
S. Braichenko, R. Grima, G. Sanguinetti
{"title":"Bayesian Learning of Effective Chemical Master Equations in Crowded Intracellular Conditions","authors":"S. Braichenko, R. Grima, G. Sanguinetti","doi":"10.1007/978-3-031-15034-0_12","DOIUrl":"https://doi.org/10.1007/978-3-031-15034-0_12","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116015208","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信