Artificial intelligence in biological modelling
From MaRDI portal
Publication:6602271
DOI10.1007/978-3-030-06170-8_8zbMATH Open1547.68766MaRDI QIDQ6602271
Publication date: 11 September 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Qualitative simulation of genetic regulatory networks using piecewise-linear models
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
- Inferring reaction systems from ordinary differential equations
- 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 the subgraph epimorphism problem
- 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
- On temporal logic constraint solving for analyzing numerical data time series
- A new constraint-based description of the steady-state flux cone of metabolic networks
- Strong approximation theorems for density dependent Markov chains
- Modeling and querying biomolecular interaction networks
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- 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
- Abstract interpretation and types for systems biology
- Necessary conditions for multistationarity and stable periodicity
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data
- Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
- Model Checking Software
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Local cycles and dynamical properties of Boolean networks
- A logical calculus of the ideas immanent in nervous activity
- Constraint-based deductive model checking
- 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)
