Analysing Molecular Networks using Probabilistic Model Checking: From Signalling Pathways to Molecular ProgrammingTuesday, 16 October 2012 at 14:15  Add to Calendar ▼2012-10-16 14:15:002012-10-16 15:15:00Europe/LondonAnalysing Molecular Networks using Probabilistic Model Checking: From Signalling Pathways to Molecular ProgrammingSELECTBIOenquiries@selectbiosciences.comThe lecture will give a brief introduction to probabilistic model checking and PRISM (www.prismmodelchecker.org), and then demonstrate how to apply it, first to model and analyse signalling pathways, and then how to detect and correct flaws in DNA device designs. |
Add to Calendar ▼2012-10-16 00:00:002012-10-17 00:00:00Europe/LondonInformaticsSELECTBIOenquiries@selectbiosciences.com
