Automated Reasoning for Systems Biology and Medicine

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 suivantes : ouvrage réunit des chercheurs de premier plan dans un certain nombre de domaines hautement interdisciplinaires, notamment : - l' paramètres la l' structures de - l' la la sur les cellules souches de