Artificial intelligence in biological modelling (Q6602271)

scientific article; zbMATH DE number 7910892

Language	Label	Description	Also known as
default for all languages	No label defined
English	Artificial intelligence in biological modelling	scientific article; zbMATH DE number 7910892

Statements

instance of

scholarly article

0 references

title

Artificial intelligence in biological modelling (English)

0 references

author

François Fages

0 references

publication date

11 September 2024

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4552454

0 references

Network science. With Márton Pósfai

0 references

Model Checking Software

0 references

Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic

0 references

Probably approximately correct learning of regulatory networks from time-series data

0 references

Q4413225

0 references

Modeling and querying biomolecular interaction networks

0 references

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

0 references

Constraint-based deductive model checking

0 references

Robust satisfaction of temporal logic over real-valued signals

0 references

On temporal logic constraint solving for analyzing numerical data time series

0 references

Abstract interpretation and types for systems biology

0 references

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

0 references

Model Revision from Temporal Logic Properties in Computational Systems Biology

0 references

Inferring reaction systems from ordinary differential equations

0 references

Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs

0 references

On the subgraph epimorphism problem

0 references

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming

0 references

Q4553263

0 references

Qualitative simulation of genetic regulatory networks using piecewise-linear models

0 references

Strong approximation theorems for density dependent Markov chains

0 references

A new constraint-based description of the steady-state flux cone of metabolic networks

0 references

A logical calculus of the ideas immanent in nervous activity

0 references

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity

0 references

Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework

0 references

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

0 references

Algorithms for computational biology. First international conference, AlCoB 2014, Tarragona, Spain, July 1--3, 2014. Proceedings

0 references

Local cycles and dynamical properties of Boolean networks

0 references

Necessary conditions for multistationarity and stable periodicity

0 references

A stronger necessary condition for the multistationarity of chemical reaction networks

0 references

Q3951957

0 references

Computing machinery and intelligence

0 references

Identifiers

zbMATH Open document ID

1547.68766

0 references

DOI

10.1007/978-3-030-06170-8_8

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6602271