Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Applying the hybridization approach to biological models

Back
Abstract:
In this presentation, we describe the hybridization approach for the verification of non-linear ODEs and how it can be applied to the analysis of biological models. The main idea of the hybridization approach is to find an approximate system for some approximation domain. Recent results on this approach are then presented, and our experiences in the analysis of some biological models using this approach are also reported.

Type of Seminar:
IfA BISON Seminar
Speaker:
Dr Thao Dang
VERIMAG
Date/Time:
Mar 22, 2011   13:30
Location:

ETL K25
Contact Person:

Elias August
No downloadable files available.
Biographical Sketch: