CS4030: Biological Appications of Computing Science (BioComputing): Introduction & Overview George M. Coghill

Slides:



Advertisements
Similar presentations
TWO STEP EQUATIONS 1. SOLVE FOR X 2. DO THE ADDITION STEP FIRST
Advertisements

You have been given a mission and a code. Use the code to complete the mission and you will save the world from obliteration…
Monday HW answers: p B25. (x – 15)(x – 30) 16. (t – 3)(t – 7)29. (x -2)(x – 7) 19. (y – 6)(y + 3)roots = 2 and (4 + n)(8 + n)34. (x + 7)(x.
© Negnevitsky, Pearson Education, Lecture 12 Hybrid intelligent systems: Evolutionary neural networks and fuzzy evolutionary systems Introduction.
Advanced Piloting Cruise Plot.
Generative Design in Civil Engineering Using Cellular Automata Rafal Kicinger June 16, 2006.
Chapter 1 The Study of Body Function Image PowerPoint
1 Copyright © 2010, Elsevier Inc. All rights Reserved Fig 2.1 Chapter 2.
Properties Use, share, or modify this drill on mathematic properties. There is too much material for a single class, so you’ll have to select for your.
Decision Support and Artificial Intelligence Jack G. Zheng July 11 th 2005 MIS Chapter 4.
Business Transaction Management Software for Application Coordination 1 Business Processes and Coordination.
and 6.855J Cycle Canceling Algorithm. 2 A minimum cost flow problem , $4 20, $1 20, $2 25, $2 25, $5 20, $6 30, $
February 7, 2002 A brief review of Linear Algebra Linear Programming Models Handouts: Lecture Notes.
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Title Subtitle.
My Alphabet Book abcdefghijklm nopqrstuvwxyz.
0 - 0.
DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
SUBTRACTING INTEGERS 1. CHANGE THE SUBTRACTION SIGN TO ADDITION
Addition Facts
Year 6 mental test 5 second questions
Model-based Technology George M. Coghill. Introduction Description of the Field Motivations for development Applications of MBT Overview Models Background.
George M. Coghill The Morven Framework. Motivation To provide properly constructive, constraint based qualitative simulation Retain QR ethos To alleviate.
CS2008 Data Management CS5035 Introduction to Database Systems Nigel Beacham based on materials by Dr Yaji.
© University of Reading School of Systems Engineering Matlab Assessment for Final Year Units Victor M. Becerra School of Systems.
Solve Multi-step Equations
BT Wholesale October Creating your own telephone network WHOLESALE CALLS LINE ASSOCIATED.
Randomized Algorithms Randomized Algorithms CS648 1.
ABC Technology Project
CHAPTER 6 Introduction to Graphing and Statistics Slide 2Copyright 2012, 2008, 2004, 2000 Pearson Education, Inc. 6.1Tables and Pictographs 6.2Bar Graphs.
Evidence for Complex Causes
Recombinant DNA Technology
1 Undirected Breadth First Search F A BCG DE H 2 F A BCG DE H Queue: A get Undiscovered Fringe Finished Active 0 distance from A visit(A)
0. Courses  Other Information 1.The Molecules of Life 2.The Origin of Life 3.The Cell – an Introduction 0. Courses  Other Information 1.The Molecules.
© Charles van Marrewijk, An Introduction to Geographical Economics Brakman, Garretsen, and Van Marrewijk.
VOORBLAD.
1 Multimedia Systems 2 Dr Paul Newbury School of Engineering and Information Technology ENGG II - 3A11 Ext:
1. 2 No lecture on Wed February 8th Thursday 9 th Feb 14: :00 Thursday 9 th Feb 14: :00.
Factor P 16 8(8-5ab) 4(d² + 4) 3rs(2r – s) 15cd(1 + 2cd) 8(4a² + 3b²)
Squares and Square Root WALK. Solve each problem REVIEW:
We are learning how to read the 24 hour clock
Computer Engineering Activities Introduction to Interfacing Traffic Light Project SI 2003 Graham Smyth Yungsiow Yang Kevin Shea Jerry Dolata Ilana Smyth.
© 2012 National Heart Foundation of Australia. Slide 2.
Abbas Edalat Imperial College London Contains joint work with Andre Lieutier (AL) and joint work with Marko Krznaric (MK) Data Types.
Lecture 5: Requirements Engineering
Formal models of design 1/28 Radford, A D and Gero J S (1988). Design by Optimization in Architecture, Building, and Construction, Van Nostrand Reinhold,
Artificial Intelligence
Chapter 5 Test Review Sections 5-1 through 5-4.
SIMOCODE-DP Software.
GG Consulting, LLC I-SUITE. Source: TEA SHARS Frequently asked questions 2.
The story beyond Artificial Immune Systems Zhou Ji, Ph.D. Center for Computational Biology and Bioinformatics Columbia University Wuhan, China 2009.
How creating a course on the e-lastic platform 1.
Addition 1’s to 20.
25 seconds left…...
Week 1.
Analyzing Genes and Genomes
We will resume in: 25 Minutes.
Chapter 12 Analyzing Semistructured Decision Support Systems Systems Analysis and Design Kendall and Kendall Fifth Edition.
Figure Essential Cell Biology (© Garland Science 2010)
CHAPTER 11 FILE INPUT & OUTPUT Introduction to Computer Science Using Ruby (c) 2012 Ophir Frieder et al.
Shawn Kenny, Ph.D., P.Eng. Assistant Professor Faculty of Engineering and Applied Science Memorial University of Newfoundland ENGI.
How Cells Obtain Energy from Food
1 General Structural Equation (LISREL) Models Week 3 #2 A.Multiple Group Models with > 2 groups B.Relationship to ANOVA, ANCOVA models C.Introduction to.
Application of Ensemble Models in Web Ranking
Natural Computation: computational models inspired by nature Dr. Daniel Tauritz Department of Computer Science University of Missouri-Rolla CS347 Lecture.
By : Anas Assiri.  Introduction  fraud detection  Immune system  Artificial immune system (AIS)  AISFD  Clonal selection.
Overview of Bioinformatics 1 Module Denis Manley..
Presentation transcript:

CS4030: Biological Appications of Computing Science (BioComputing): Introduction & Overview George M. Coghill

Structure of Course Lectures 9 & 9): –Weds: Taylor A21; Fri: Kings NK14 Practicals 13:00): –in Room Meston 204, 2 hours per week –Attendance mandatory –Only CS4030 work to be done during this time: attendance credited only in this case.

Assessment 75% from a 2 hour examination in January; the paper will consist of three questions - candidates have a free choice of two from three. 25% from continuous assessment

Reading List Bioinformatics and Model-based Technology Recommended: Krane D E & Raymer M. L. Fundamental Concepts of Bioinformatics. Benjamin Cummings, (Library) May also be consulted: Kuipers B. J. Qualitative Reasoning, MIT Press, 1994 Evolutionary Computing May be consulted: Mitchell T. Machine Learning (ch 4 & 9) plus web based material.

Attendance You are expected to attend all the lectures. The lecture notes (see below) cover all the topics in the course, but these notes are concise, and do not contain much in the way of discussion, motivation or examples. The lectures will consist of slides (Powerpoint and possibly OHP transparencies), spoken material, and additional examples given on the blackboard. In order to understand the subject and the reasons for studying the material, you will need to attend the lectures and take notes to supplement lecture slides. This is your responsibility. If there is anything you do not understand during the lectures, then ask, either during or after the lecture. If the lectures are covering the material too quickly, then say so. If there is anything you do not understand in the slides, then ask. In addition you are expected to supplement the lecture material by reading around the subject; particularly the course text.

What is BioComputing? For the purposes of this course: 1.The use of computational methods to solve biological problems (bioinformatics and systems biology). 2.The development of novel compuational methods inspired by biological processes.

Breakdown of the Course Bioinformatics: –Including: data searches and pairwise allignment Model-based Technology: –Including: constraint based reasoning and model learning Biologically Inspired Computing: –Including: neural nets, genetic algorithms and artificial immune systems.

What is Bioinformatics? Computational Biology Bioinformatics Genomics Proteomics Functional genomics Structural bioinformatics

What is Bioinformatics? DNA (and RNA)Proteins

Over time, genes accumulate mutations Environmental factors Radiation Oxidation Mistakes in replication or repair Deletions, Duplications Insertions Inversions Point mutations

Protein Folding

Why is Bioinformatics Important? Applications areas include –Medicine –Pharmaceutical drug design –Toxicology –Molecular evolution –Biosensors –Biomaterials –Biological computing models –DNA & RNA computing

Biologically Inspired Computing Neural Nets Evolutionary Computing –Genetic Algorithms, Genetics Programming etc. Artificial Immune Systems Particle Swarm Optimisation Ant Colony Optimisation

xnxn x1x1 x2x2 Input (visual input) Output (Motor output) Four-layer networks Hidden layers

Genetic algorithms Variant of local beam search with sexual recombination.

Genetic algorithms Variant of local beam search with sexual recombination.

Lecture 1CBA - Artificial Immune Systems Multiple layers of the immune system

Lecture 1CBA - Artificial Immune Systems Clonal Selection

QML-CSA: Clonal Selection Algorithm selection Antibody repertoire Selected Antibodies proliferation cloned Antibodies matured Antibodies Affinity Mature Hyper-mutation Selected Antibodies Reselection Random Antibodies Update Repertoire Memory cell An Evolutionary Algorithm Inspired by the clonal selection principle of immune system Using hyper-mutation and re-selection instead of crossover and mutation.

Model-based Technology Qualitative Reasoning –Symbolic, using no numbers –Structural though incomplete –Synonyms: Naive physics, Qualitative modelling, Qualitative simulation, Commonsense reasoning, Deep knowledge. Developments –Use of any models in the domain reasoning process –Numerical, Interval, Semi-quantitative, Fuzzy, Qualitative, Rule-based, Procedural

Motivations Problems with RBS –Reasoning from First Principles –Dangers with nearest approximation Second Generation Expert Systems –Use deep knowledge –Provide explanations of reasoning process Commonsense reasoning –Capture how humans reason –Enable use of appropriate causality Model reuse –Improved ease of ES maintenance

Models and Inference Learning Engine Input Data BehaviourModel Inference Engine Input Data BehaviourModel

24 Qualitative Modelling Behavioural Abstraction

25 Qualitative Analysis ?? x 1 f 10 Δx = u – f 10 Time x1x1 {+,0} {+,+} {+,-} {0,+} u is steady & positive, how will x and f 10 change? Qualitative Prediction Quantitative Prediction {+,-} magnitude Rate of change 1 u f 10 =k 10.x 1 x 1 = u – f 10 f 10 = M + (x 1 )

PL models of genetic regulatory networks Genetic networks modeled by class of differential equations using step functions to describe regulatory interactions b - B a - A - - x a a s - (x a, a2 ) s - (x b, b1 ) – a x a. x b b s - (x a, a1 ) s - (x b, b2 ) – b x b. x : protein concentration, : rate constants : threshold concentration Differential equation models of regulatory networks are piecewise-linear (PL) de Jong et al 2003

State transition graph Closure of qualitative states and transitions between qualitative states results in state transition graph Transition graph contains qualitative equilibrium states and/or cycles a1 max a 0 max b a6 b1 b2 D2D2 D3D3 D4D4 D7D7 D5D5 D6D6 D1D1 D8D8 D9D9 D 10 D 11 D 12 D 13 D 14 D 15 D 16 D 17 D 18 D 24 D 20 D 21 D 22 D 23 D 19 D 25 QS 3 QS 2 QS 1 QS 4 QS 5 QS 10 QS 15 QS 20 QS 25 QS 24 QS 23 QS 22 QS 21 QS 16 QS 11 QS 6 QS 7 QS 12 QS 17 QS 18 QS 19 QS 13 QS 14 QS 8 QS 9 de Jong et al 2003

Model Learning - compartmental Robust to Noise! 1 2 u k.x1 k.x2 ko.x2

Glycolysis

30

The Diagnostic Process Biological System (Plant) Predictor Candidate Generator Discrepency Detector Input Output Fault Identification Fault Isolation Fault Detection

Cascaded Solution Space x 1 =0 x2x2 x1x1 x 2 = u k12.x1 k20.x2 8 4

The End? A Machine with a Mind of its Own Ross King wanted a research assistant who would work 24/7 without sleep or food. So he built one. Wired 12/8/04 obot&topic_set= The Robot Scientist /n6971/n6971/abs/nature02236_fs.html&dynoptions=doi Discovery Net