Description du livre
Cet ouvrage présente des contributions exceptionnelles dans un domaine de recherche passionnant, nouveau et multidisciplinaire : l'application de techniques de raisonnement formel et automatisé pour analyser des modèles complexes en biologie systémique et en médecine systémique. Le raisonnement automatisé est un domaine de l'informatique consacré au développement d'algorithmes qui donnent des réponses fiables, fournissant une base de raisonnement logique solide. Par exemple, dans l'industrie des semi-conducteurs, la vérification formelle permet de s'assurer que la conception des puces est exempte de défauts (ou de " bogues "). au cours des 15 dernières années, la biologie systémique et la médecine systémique ont été introduites afin de tenter de comprendre l'énorme complexité de la vie d'un point de vue computationnel. Cela a généré une mine de nouvelles connaissances sous la forme de modèles informatiques, dont la complexité stupéfiante rend les méthodes d'analyse manuelles infaisables. Des moyens solides, fiables et automatisés d'analyse des modèles sont donc nécessaires pour pouvoir se fier à leurs conclusions. Avant tout, cela est crucial pour concevoir des dispositifs biomédicaux sûrs et pour réduire notre dépendance à l'égard des expériences en laboratoire humide et des essais cliniques, qui entraîneront à leur tour une baisse des coûts économiques et sociétaux, notamment en ce qui concerne les
questions suivantes :
Peut-on ajuster automatiquement les médicaments pour les patients atteints de maladies chroniques multiples ? Pouvons-nous vérifier qu'un système pancréatique artificiel administre l'insuline de manière à ce que les patients diabétiques de type 1 ne souffrent jamais d'hyperglycémie ou d'hypoglycémie ? Cet ouvrage réunit des chercheurs de premier plan dans un certain nombre de domaines hautement interdisciplinaires, notamment : - l'
inférence de paramètres
à partir de séries chronologiques - la
sélection de
modèles
- l'
identification de structures de
réseaux - l'
apprentissage machine - la
médecine systémique - la
génération d'
hypothèses à
partir de
données expérimentales - la biologie systémique, la médecine systémique
et la pathologie numérique - la vérification de dispositifs biomédicaux - la recherche sur les cellules souches de
cancer
"Cet ouvrage présente un large éventail de techniques d'analyse axées sur les modèles pour les systèmes biologiques... une ressource essentielle pour suivre l'évolution d'un domaine en évolution rapide qui promet de révolutionner la biologie et la médecine par l'analyse automatisée des modèles et des données".
Luca Cardelli FRS, Université d'Oxford