Artificial intelligence in biological modelling

DOI10.1007/978-3-030-06170-8_8zbMATH Open1547.68766MaRDI QIDQ6602271FDOQ6602271

Authors: François Fages 

Publication date: 11 September 2024

Mathematics Subject Classification ID

Systems biology, networks (92C42) Artificial intelligence (68T99)

Cites Work

• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Necessary conditions for multistationarity and stable periodicity
• A logical calculus of the ideas immanent in nervous activity
• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
• A new constraint-based description of the steady-state flux cone of metabolic networks
• Modeling and querying biomolecular interaction networks
• On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
• Title not available (Why is that?)
• Strong approximation theorems for density dependent Markov chains
• Constraint-based deductive model checking
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract interpretation and types for systems biology
• Title not available (Why is that?)
• A stronger necessary condition for the multistationarity of chemical reaction networks
• Algorithms for computational biology. First international conference, AlCoB 2014, Tarragona, Spain, July 1--3, 2014. Proceedings
• Inferring reaction systems from ordinary differential equations
• On the subgraph epimorphism problem
• Local cycles and dynamical properties of Boolean networks
• Title not available (Why is that?)
• Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• On temporal logic constraint solving for analyzing numerical data time series
• Model Checking Software
• Robust satisfaction of temporal logic over real-valued signals
• Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
• Model Revision from Temporal Logic Properties in Computational Systems Biology
• Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data
• Computing machinery and intelligence

This page was built for publication: Artificial intelligence in biological modelling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602271)