Computational verification of large logical models—application to the prediction of T cell response to checkpoint inhibitors
C Hernandez, M Thomas-Chollier, A Naldi… - Frontiers in …, 2020 - frontiersin.org
At the crossroad between biology and mathematical modeling, computational systems
biology can contribute to a mechanistic understanding of high-level biological phenomenon …
biology can contribute to a mechanistic understanding of high-level biological phenomenon …
New advances in the automation of context-aware information selection and guided model assembly
Y Ahmed, AA Butchy, K Sayed, C Telmer… - arXiv preprint arXiv …, 2021 - arxiv.org
The automated assembly and extension of dynamic network models using information
extracted from literature are challenging due to the amount and inconsistency in published …
extracted from literature are challenging due to the amount and inconsistency in published …
Automated extension of cell signaling models with genetic algorithm
K Sayed, KN Bocan… - 2018 40th Annual …, 2018 - ieeexplore.ieee.org
The number of published results in biology and medicine is growing at an exceeding rate,
and thus, extracting relevant information for building useful models is becoming very …
and thus, extracting relevant information for building useful models is becoming very …
Context-aware knowledge selection and reliable model recommendation with ACCORDION
Y Ahmed, CA Telmer, G Zhou… - Frontiers in Systems …, 2024 - frontiersin.org
New discoveries and knowledge are summarized in thousands of published papers per year
per scientific domain, making it incomprehensible for scientists to account for all available …
per scientific domain, making it incomprehensible for scientists to account for all available …
Dynamic system explanation: DySE, a framework that evolves to reason about complex systems-lessons learned
CA Telmer, K Sayed, A Butchy, KN Bocan… - Proceedings of the …, 2019 - dl.acm.org
The large amount of knowledge contained in the scientific literature can be mined using
natural language processing and utilized to automatically construct models of complex …
natural language processing and utilized to automatically construct models of complex …
Integration of literature and data for context-aware model curation: a glioblastoma stem cell case study
E Holtzapple - 2023 - search.proquest.com
Computational modeling serves many purposes in biomedical research. In addition to
understanding mechanisms of normal healthy cell function, computational modeling also …
understanding mechanisms of normal healthy cell function, computational modeling also …
Intervention Pathway Discovery via Context-Dependent Dynamic Sensitivity Analysis
G Zhou, KW Liang, N Miskov-Zivanov - arXiv preprint arXiv:1902.03216, 2019 - arxiv.org
The sensitivity analysis of biological system models can significantly contribute to identifying
and explaining influences of internal or external changes on model and its elements. We …
and explaining influences of internal or external changes on model and its elements. We …
Overview of Formal Methods
王戟， 詹乃军， 冯新宇， 刘志明 - Journal of Software, 2018 - jos.org.cn
形式化方法是基于严格数学基础, 对计算机硬件和软件系统进行描述, 开发和验证的技术.
其数学基础建立在形式语言, 语义和推理证明三位一体的形式逻辑系统之上 …
其数学基础建立在形式语言, 语义和推理证明三位一体的形式逻辑系统之上 …