Postgraduate Course: Models and Languages for Computational Systems Biology (INFR11047)
Course Outline
School |
School of Informatics |
College |
College of Science and Engineering |
Course type |
Standard |
Availability |
Available to all students |
Credit level (Normal year taken) |
SCQF Level 11 (Postgraduate) |
Credits |
10 |
Home subject area |
Informatics |
Other subject area |
None |
Course website |
http://www.inf.ed.ac.uk/teaching/courses/mlcsb |
|
|
Course description |
In this course we explore a range of modelling methods for pathways in molecular biology: whether metabolic, signalling, regulatory or transcriptional. These models draw on a rich existing theory of concurrent computational systems, with Petri nets as a unifying basic concept. Techniques range over qualitative and quantitative, discrete and continuous, differential and stochastic models. Working with these models, we look at logics for specifying and characterizing systems' behaviour. Finally, we investigate language-based approaches to modular description and analysis of systems, studying some computationally-inspired biological process calculi. |
Entry Requirements
Pre-requisites |
|
Co-requisites |
It is RECOMMENDED that students also take
Computational Systems Biology (INFR11039)
|
Prohibited Combinations |
|
Other requirements |
For Informatics PG and final year MInf students only, or by special permission of the School. Some logic and probability theory. General computer science education.
|
Additional Costs |
None |
Course Delivery Information
|
Delivery period: 2010/11 Semester 2, Available to all students (SV1)
|
WebCT enabled: No |
Quota: None |
Location |
Activity |
Description |
Weeks |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Central | Lecture | | 1-11 | | | | 16:10 - 17:00 | | Central | Lecture | | 1-11 | 16:10 - 17:00 | | | | |
First Class |
Week 1, Monday, 16:10 - 17:00, Zone: Central. Room 4.18, David Hume Tower |
Summary of Intended Learning Outcomes
1 - Describe different ways in which cellular pathways can be modelled, and explain advantages and disadvantages of each.
2 - Model simple pathways using a variety of methods.
3 - Program biological pathways of moderate complexity in a modular way, and employ current tools for their analysis.
4 - Describe process algebra formalisms proposed for modular biological modelling and their comparative advantages and disadvantages.
5 - Read, explore and use the literature on computational modelling in Systems Biology. |
Assessment Information
Written Examination 70
Assessed Assignments 30
Oral Presentations 0
Assessment
There is a single exam paper at the end of the year, accounting for 70% of the course mark. In addition, there are two pieces of assessed coursework during the semester, worth 15% each, which require the modelling and analysis of biological pathways.
If delivered in semester 1, this course will have an option for semester 1 only visiting undergraduate students, providing assessment prior to the end of the calendar year. |
Please see Visiting Student Prospectus website for Visiting Student Assessment information |
Special Arrangements
Not entered |
Contacts
Course organiser |
Dr Michael Rovatsos
Tel: (0131 6)51 3263
Email: mrovatso@inf.ed.ac.uk |
Course secretary |
Miss Kate Weston
Tel: (0131 6)50 2701
Email: Kate.Weston@ed.ac.uk |
|
copyright 2010 The University of Edinburgh -
1 September 2010 6:11 am
|