BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:On Validation and Invalidation of Biological Models - Dr. James An
 derson\, Control Group\, University of Oxford
DTSTART:20120323T123000Z
DTEND:20120323T140000Z
UID:TALK36421@talks.cam.ac.uk
CONTACT:Ye Yuan
DESCRIPTION:Given multiple models of a biological system and some\nexperim
 ental data\, how can one determine which is the correct model? In\nthis ta
 lk we show that such a question is in fact ill-posed and that the\nbest th
 at can be done is to invalidate a given model. Using techniques from\nconv
 ex optimization and real algebraic geometry we will show how both\nuncerta
 in continuous and discrete time dynamical system models can be\ninvalidate
 d in the presence of experimental data. The ideas presented will\nbe illus
 trated through simple biochemical reaction network examples.
LOCATION: Cambridge University Engineering Department MIL meeting room
END:VEVENT
END:VCALENDAR