Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Artificial intelligence in biological modelling - MaRDI portal

Artificial intelligence in biological modelling (Q6602271)

From MaRDI portal

Jump to:navigation, search

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use this page instead for the normal view: Artificial intelligence in biological modelling

scientific article; zbMATH DE number 7910892

Language	Label	Description	Also known as
English	Artificial intelligence in biological modelling	scientific article; zbMATH DE number 7910892

Statements

scholarly article

0 references

Artificial intelligence in biological modelling (English)

0 references

François Fages

0 references

publication date

11 September 2024

0 references

MaRDI profile type

0 references

0 references

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

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

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

0 references

Computing machinery and intelligence

0 references

Identifiers

zbMATH Open document ID

0 references

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

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6602271

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6602271&oldid=40585648"