Artificial intelligence in biological modelling
From MaRDI portal
Publication:6602271
Recommendations
Cites work
- scientific article; zbMATH DE number 3771418 (Why is no real title available?)
- scientific article; zbMATH DE number 1950556 (Why is no real title available?)
- scientific article; zbMATH DE number 1794358 (Why is no real title available?)
- scientific article; zbMATH DE number 1798190 (Why is no real title available?)
- A logical calculus of the ideas immanent in nervous activity
- A new constraint-based description of the steady-state flux cone of metabolic networks
- A stronger necessary condition for the multistationarity of chemical reaction networks
- Abstract interpretation and types for systems biology
- Algorithms for computational biology. First international conference, AlCoB 2014, Tarragona, Spain, July 1--3, 2014. Proceedings
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Computing machinery and intelligence
- Constraint-based deductive model checking
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- 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
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- 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
- Inferring reaction systems from ordinary differential equations
- Local cycles and dynamical properties of Boolean networks
- Model Checking Software
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- Modeling and querying biomolecular interaction networks
- Necessary conditions for multistationarity and stable periodicity
- Network science. With Márton Pósfai
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
- On temporal logic constraint solving for analyzing numerical data time series
- On the subgraph epimorphism problem
- Probably approximately correct learning of regulatory networks from time-series data
- Qualitative simulation of genetic regulatory networks using piecewise-linear models
- Robust satisfaction of temporal logic over real-valued signals
- Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs
- Strong approximation theorems for density dependent Markov chains
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)
