Synthesis of Biological Models from Mutation Experiments
|
|
- Emerald Eaton
- 6 years ago
- Views:
Transcription
1 Synthesis of Biological Models from Mutation Experiments Ali Sinan Köksal, Saurabh Srivastava, Rastislav Bodík, UC Berkeley Evan Pu, MIT Jasmin Fisher, Microsoft Research Cambridge Nir Piterman, University of Leicester
2 Overview Concurrent program synthesis from examples Programs biological explanations Examples biological experiments We assist natural sciences with formal methods Given experiments, are there other explanations? If so, compute a new, disambiguating experiment This avoids conducting superfluous experiments This talk: how stem cells coordinate their fates 2
3 Understanding Diseases Cancer is fundamentally a disease of failure of regulation of tissue growth. In order for a normal cell to transform into a cancer cell, the genes which regulate cell growth and differentiation must be altered. from Wikipedia Research on cell differentiation helps understanding diseases such as cancer. 3
4 C. elegans: A Model Organism Earthworm used in developmental biology. 959 cells; its organs found in other animals. Differentiation studied on vulval development. 4
5 Initial division of embryo Identical precursor cells collaborate to decide their fate Differentiation and then development into organ parts 5
6 Research Goal of Biologists What is the mechanism (program) within each cell for deciding fates through communication? 6
7 Building Blocks of these Programs Cells contain communicating proteins. Protein interaction: a protein senses the concentration of other proteins. Interaction is either activation or inhibition. A B A B 7
8 How the Vulval Cells Differentiate Anchor Cell If cells sense the same signal strength, data races occur. high med low let-23 let-23 let lin-12 lst sem-5 let-60 lin-12 lst sem-5 let-60 lin-12 lst sem-5 let-60 mpk-1 mpk-1 mpk-1 1º 2º 3º 8
9 How Biologists Discover Interactions Measuring protein levels over time is infeasible. If such cell tracing is infeasible, infer protein interaction from end-to-end experiments. That is, mutate cells observe resulting fates. Mutation experiments change protein behavior in a controlled way: Enable a protein via gene overexpression. Disable a protein via gene suppression. 9
10 A Mutation Experiment Anchor Cell high med low let-23 let-23 let lin-12 lin-12 lin-12 1º 2º 1º 3º 10
11 Putting Experiments Together No protein is mutated. Fate of six neighboring cells Experiment AC lin-12 lin-15 let-23 lst Fate decisions 1 ON ON ON ON ON {332123} 2 ON OFF ON ON ON {331113} 3 ON ON OFF ON ON {112121,122121, } lin-12 is turned off. Multiple outcomes observed Experiments over 35 years by 11 groups 11
12 How to Build Accurate Models? Anchor Cell Inhibition discovered by predictive modeling [Fisher et al. 2007] high med low let-23 let-23 let lin-12 lst sem-5 let-60 lin-12 lst sem-5 let-60 lin-12 lst sem-5 let-60 mpk-1 mpk-1 mpk-1 1º 2º 3º 12
13 Semantics of the Modeling Language Program has cells Non-deterministic outcomes via schedule interleaving Cell 1 Cell 2 let-23 Cell has proteins All proteins advance synchronously lin-12 lst sem-5 let-60 mpk-1 input = med true Proteins have discrete state and update functions. low med high input = high input apple low true 13
14 Synthesizing Cellular Programs 14
15 Synthesis of Programs biological insight Given as a partial program synthesizer completed program specification Experiment AC lin-12 lin-15 let-23 lst Fate decisions 1 ON ON ON ON ON {332123} 2 ON OFF ON ON ON {331113} 3 ON ON OFF ON ON {112121,122121, }... 15
16 Partial Programs Partial programs express biological insight: Which proteins are in the cell Which proteins may interact Update functions can be unknown. let-23 sem-5?? low med high input apple low input = med input = high true true lin-12 lst let-60 mpk-1 16
17 Synthesis Algorithm 17
18 Correctness Condition Experiment AC lin-12 lin-15 let-23 lst Fate decisions 1 ON ON ON ON ON {332123} 2 ON OFF ON ON ON {331113} 3 ON ON OFF ON ON {112121, , }... Safety: all schedules must lead the program to produce experiment outcomes observed in the wet lab. mutation m. schedule s. P(m, s) E(m) Completeness: each observed experiment outcome must be reproducible by the program for some schedule. mutation m. fate f E(m). schedule s. P(m, s) = f 18
19 Counterexample-Guided Inductive Synthesis counterexample: execution P(m, s) with bad outcome initial set of input/output examples inductive synthesizer candidate completion no candidate completion counterexample: observation (m, f) not reproducible safety verifier ok completeness verifier 19
20 Synthesized Models We synthesized two models of VPCs. Input: Partial model that specifies known, simple protein behaviors. Output: Synthesized update functions for two key proteins. ac = 0 (ac [0,1] hyp = 0) (ac = 2 hyp = 0) (ac [1,2] hyp = 1) S0 / 0 S1 / 0 (ac = 1 hyp = 1) ac [2,3] (lin12 = 0 ls ac = 0 = 3 let23 = 0) (ls = 0 let23 = 1) (ls = 1 let23 = 1) (lin12 = 0 ls = 1) S1 / 0 (lin12 = 0 ls = 1) (lin12 [1,3] ls = 0 let23 = 0) S0 / 0 model 1 S2 / 1 lin12 [1,3] ls = 1 lin12 = 0 ls = 1 ac [2,3] (ac [1,2] hyp = 1) ls = 0 lin12 [1,3] ls = 1 let23 = 0 S2 / 1 lin12 = 3 (lin12 [1,2] ls = 1) ac = 0 (ac [0,1] hyp = 0) (ac = 2 hyp = 0) (ac [1,2] hyp = 1) S0 / 0 S1 / 0 ac = 3 lin12 = 0 ls = 0 (ac = 1 hyp = 1) ac [2,3] S2 / 1 ac [2,3] (ac [1,2] hyp = 1) lin12 = 0 sem5 = 1 S0 / 0 S1 / 1 lin12 [1,3] ls = 1 model 2 (lin12 = 0 ls = 1 sem5 = 0) (lin12 [1,3] ls = 1) 20
21 Additional Algorithms for Going Beyond Synthesis to Assist Scientists 21
22 Querying Spaces of Models Assume a scientist obtains a formal model that agrees with all performed experiments. How can he make sure that a future mutation experiment won t invalidate this model? We can search for an alternative model that differs on a future experiment. Performing the new experiment will disambiguate between the two models. 22
23 Finding Disambiguating Experiments Simulation of future experiments using partial data: Assuming we didn t have the experiments from Sternberg and Horvitz 1989, we can synthesize four hypothesis models. Our tool suggests experiments from this paper to invalidate two of them. 23
24 Differentiating Plausible Models Can we differentiate the two plausible models that we synthesized? let-23 sem-5 let-23 sem-5 lin-12 lst let-60 lin-12 lst let-60 mpk-1 mpk-1 Mutating the modeled proteins will not suffice to disambiguate them, which suggests other methods (e.g. gene marking). 24
25 Avoiding Superfluous Experiments Can the scientist avoid performing superfluous experiments when revalidating results? We can search for a minimal, non-ambiguous subset of a set of experiments. Out of 48 VPC experiments, 4 suffice to yield a unique model from a given partial program. 25
26 Conclusion Biological experiments as specification for synthesis A synthesis algorithm with three solvers Explore spaces of alternative models Avoid conducting superfluous experiments 26
Synthesis of Biological Models from Mutation Experiments
Synthesis of Biological Models from Mutation Experiments Ali Sinan Köksal 1 Yewen Pu 1 Saurabh Srivastava 1 Rastislav Bodík 1 Jasmin Fisher 2 Nir Piterman 3 1 University of California, Berkeley 2 Microsoft
More informationPredictive Modeling of Signaling Crosstalk... Model execution and model checking can be used to test a biological hypothesis
Model execution and model checking can be used to test a biological hypothesis The model is an explanation of a biological mechanism and its agreement with experimental results is used to either validate
More informationModel Checking in Biology
Model Checking in Biology Jasmin Fisher and Nir Piterman Abstract Model checking is a technique to check whether programs and designs satisfy properties expressed in temporal logic. Such properties characterize
More informationChapter 11. Development: Differentiation and Determination
KAP Biology Dept Kenyon College Differential gene expression and development Mechanisms of cellular determination Induction Pattern formation Chapter 11. Development: Differentiation and Determination
More informationAnalyzing and Synthesizing Genomic Logic Functions
Analyzing and Synthesizing Genomic Logic Functions Nicola Paoletti 1,2, Boyan Yordanov 1, Youssef Hamadi 1, Christoph M. Wintersteiger 1, and Hillel Kugler 1 1 Microsoft Research, Cambridge, UK {yordanov,cwinter,youssefh,hkugler}@microsoft.com
More informationSUPPLEMENTARY MATERIAL
1 SUPPLEMENTARY MATERIAL TABLE OF CONTENTS: Overview of VPC fate specification Biological sources of information for the Core Model Model structure: Objects GUI objects Internal objects Allele representation
More informationNGSS UNIT OVERVIEW EVOLUTION
UNIT SPECIFIC RESOURCES TEACHER RESOURCES IV NGSS UNIT OVERVIEW EVOLUTION Performance Expectation MS-LS4-1: Analyze interpret data for patterns in the fossil record that document the existence, diversity,
More informationGRADE 6 SCIENCE REVISED 2014
QUARTER 1 Developing and Using Models Develop and use a model to describe phenomena. (MS-LS1-2) Develop a model to describe unobservable mechanisms. (MS-LS1-7) Planning and Carrying Out Investigations
More informationTotal
Student Performance by Question Biology (Multiple-Choice ONLY) Teacher: Core 1 / S-14 Scientific Investigation Life at the Molecular and Cellular Level Analysis of Performance by Question of each student
More informationUSING BLAST TO IDENTIFY PROTEINS THAT ARE EVOLUTIONARILY RELATED ACROSS SPECIES
USING BLAST TO IDENTIFY PROTEINS THAT ARE EVOLUTIONARILY RELATED ACROSS SPECIES HOW CAN BIOINFORMATICS BE USED AS A TOOL TO DETERMINE EVOLUTIONARY RELATIONSHPS AND TO BETTER UNDERSTAND PROTEIN HERITAGE?
More informationBma: Visual Tool for Modeling and Analyzing Biological Networks
Bma: Visual Tool for Modeling and Analyzing Biological Networks David Benque 1, Sam Bourton 1, Caitlin Cockerton 1, Byron Cook 1, Jasmin Fisher 1, Samin Ishtiaq 1, Nir Piterman 2, Alex Taylor 1, and Moshe
More informationGrade Level: AP Biology may be taken in grades 11 or 12.
ADVANCEMENT PLACEMENT BIOLOGY COURSE SYLLABUS MRS. ANGELA FARRONATO Grade Level: AP Biology may be taken in grades 11 or 12. Course Overview: This course is designed to cover all of the material included
More informationParallel Composition in Biology
Parallel Composition in Biology Nir Piterman Based on joint work with: J. Fisher, A. Hajnal, B. Hall, T. A. Henzinger, M. Mateescu, D. Nickovic, A.V. Singh, and M.Y. Vardi Are there useful macros to structure
More informationThe Role of Network Science in Biology and Medicine. Tiffany J. Callahan Computational Bioscience Program Hunter/Kahn Labs
The Role of Network Science in Biology and Medicine Tiffany J. Callahan Computational Bioscience Program Hunter/Kahn Labs Network Analysis Working Group 09.28.2017 Network-Enabled Wisdom (NEW) empirically
More informationModels and Languages for Computational Systems Biology Lecture 1
Models and Languages for Computational Systems Biology Lecture 1 Jane Hillston. LFCS and CSBE, University of Edinburgh 13th January 2011 Outline Introduction Motivation Measurement, Observation and Induction
More information10-810: Advanced Algorithms and Models for Computational Biology. microrna and Whole Genome Comparison
10-810: Advanced Algorithms and Models for Computational Biology microrna and Whole Genome Comparison Central Dogma: 90s Transcription factors DNA transcription mrna translation Proteins Central Dogma:
More informationCHEM 121: Chemical Biology
Instructors Prof. Jane M. Liu (HS-212) jliu3@drew.edu x3303 Office Hours Anytime my office door is open CHEM 121: Chemical Biology Class MF 2:30-3:45 pm PRE-REQUISITES: CHEM 117 COURSE OVERVIEW This upper-level
More informationMS-LS3-1 Heredity: Inheritance and Variation of Traits
MS-LS3-1 Heredity: Inheritance and Variation of Traits MS-LS3-1. Develop and use a model to describe why structural changes to genes (mutations) located on chromosomes may affect proteins and may result
More informationBIOLOGY 111. CHAPTER 1: An Introduction to the Science of Life
BIOLOGY 111 CHAPTER 1: An Introduction to the Science of Life An Introduction to the Science of Life: Chapter Learning Outcomes 1.1) Describe the properties of life common to all living things. (Module
More informationChapter 18 Lecture. Concepts of Genetics. Tenth Edition. Developmental Genetics
Chapter 18 Lecture Concepts of Genetics Tenth Edition Developmental Genetics Chapter Contents 18.1 Differentiated States Develop from Coordinated Programs of Gene Expression 18.2 Evolutionary Conservation
More informationCellular Growth & Reproduction. Biology 1B Ms. Morris
Cellular Growth & Reproduction Biology 1B Ms. Morris Friday, February 7, 2014 Warm Up: Look around at the other people in the classroom. What types of variation (differences) do you see? What similarities
More informationI. Molecules & Cells. A. Unit One: The Nature of Science. B. Unit Two: The Chemistry of Life. C. Unit Three: The Biology of the Cell.
I. Molecules & Cells A. Unit One: The Nature of Science a. How is the scientific method used to solve problems? b. What is the importance of controls? c. How does Darwin s theory of evolution illustrate
More informationUpdated: 10/11/2018 Page 1 of 5
A. Academic Division: Health Sciences B. Discipline: Biology C. Course Number and Title: BIOL1230 Biology I MASTER SYLLABUS 2018-2019 D. Course Coordinator: Justin Tickhill Assistant Dean: Melinda Roepke,
More informationFAIRBANKS NORTH STAR BOROUGH SCHOOL DISTRICT - SCIENCE CURRICULUM. Prentice Hall Biology (Miller/Levine) 2010 MASTERY CORE OBJECTIVES HIGH SCHOOL
MASTERY CORE OBJECTIVES HIGH SCHOOL LIFE SCIENCE Overview: Life Science is a one-year course for students who learn best with extra time to approach the subject. The academic focus is to develop student
More informationAbstractions and Decision Procedures for Effective Software Model Checking
Abstractions and Decision Procedures for Effective Software Model Checking Prof. Natasha Sharygina The University of Lugano, Carnegie Mellon University Microsoft Summer School, Moscow, July 2011 Lecture
More informationIntegrating Induction and Deduction for Verification and Synthesis
Integrating Induction and Deduction for Verification and Synthesis Sanjit A. Seshia Associate Professor EECS Department UC Berkeley DATE 2013 Tutorial March 18, 2013 Bob s Vision: Exploit Synergies between
More informationCompare and contrast the cellular structures and degrees of complexity of prokaryotic and eukaryotic organisms.
Subject Area - 3: Science and Technology and Engineering Education Standard Area - 3.1: Biological Sciences Organizing Category - 3.1.A: Organisms and Cells Course - 3.1.B.A: BIOLOGY Standard - 3.1.B.A1:
More informationThe Science of Biology
Chapter 1 The Science of Biology Section 1 1 What Is Science? (pages 3 7) This section explains what the goal of science is and describes a scientific view of the world What Science Is and Is Not (page
More informationBIOLOGY Grades Summer Units: 10 high school credits UC Requirement Category: d. General Description:
Summer 2015 Units: 10 high school credits UC Requirement Category: d General Description: BIOLOGY Grades 9-12 Summer session biology will be an intense, fast paced course. Students will gain an understanding
More information1.1. KEY CONCEPT Biologists study life in all its forms. 4 Reinforcement Unit 1 Resource Book. Biology in the 21st Century CHAPTER 1
1.1 THE STUDY OF LIFE KEY CONCEPT Biologists study life in all its forms. Biology is the scientific study of all forms of life. Living things are found almost everywhere on Earth, from very hot environments
More informationCurriculum Map. Biology, Quarter 1 Big Ideas: From Molecules to Organisms: Structures and Processes (BIO1.LS1)
1 Biology, Quarter 1 Big Ideas: From Molecules to Organisms: Structures and Processes (BIO1.LS1) Focus Standards BIO1.LS1.2 Evaluate comparative models of various cell types with a focus on organic molecules
More information9/19/2016 CHAPTER 1: THE STUDY OF LIFE SECTION 1: INTRODUCTION TO THE SCIENCE OF LIFE BIOLOGY
CHAPTER 1: THE STUDY OF LIFE SECTION 1: INTRODUCTION TO BIOLOGY Ms. Diana THE SCIENCE OF LIFE Biology is the study of living things. In biology, you study the origins and history of life and once-living
More informationComputational Biology Course Descriptions 12-14
Computational Biology Course Descriptions 12-14 Course Number and Title INTRODUCTORY COURSES BIO 311C: Introductory Biology I BIO 311D: Introductory Biology II BIO 325: Genetics CH 301: Principles of Chemistry
More informationBiology Assessment. Eligible Texas Essential Knowledge and Skills
Biology Assessment Eligible Texas Essential Knowledge and Skills STAAR Biology Assessment Reporting Category 1: Cell Structure and Function The student will demonstrate an understanding of biomolecules
More informationSTAAR Biology Assessment
STAAR Biology Assessment Reporting Category 1: Cell Structure and Function The student will demonstrate an understanding of biomolecules as building blocks of cells, and that cells are the basic unit of
More informationChapter 1 Biology 103
Chapter 1 Biology 103 Properties of Life Living organisms: are composed of cells are complex and ordered respond to their environment can grow and reproduce obtain and use energy maintain internal balance
More informationTeaching Licensure: Biology
Teaching Licensure: Biology About the test Teacher qualification test in biology is a 2-hour computerized test that targets teachers who teach biology in cycle 3 schools in UAE. The content of this test
More informationField 045: Science Life Science Assessment Blueprint
Field 045: Science Life Science Assessment Blueprint Domain I Foundations of Science 0001 The Nature and Processes of Science (Standard 1) 0002 Central Concepts and Connections in Science (Standard 2)
More informationStructures and Functions of Living Organisms (LS1)
EALR 4: Big Idea: Core Content: Life Science Structures and Functions of Living Organisms (LS1) Processes Within Cells In prior grades students learned that all living systems are composed of cells which
More informationStudying Life. Lesson Overview. Lesson Overview. 1.3 Studying Life
Lesson Overview 1.3 Characteristics of Living Things What characteristics do all living things share? Living things are made up of basic units called cells, are based on a universal genetic code, obtain
More informationUnit 2: ECE/AP Biology Cell Biology 12 class meetings. Essential Questions. Enduring Understanding with Unit Goals
Essential Questions How does cellular structure impact the function of life? How does energy flow freely through biological systems? Why is cellular reproduction essential to life? Enduring Understanding
More informationSoftware Verification using Predicate Abstraction and Iterative Refinement: Part 1
using Predicate Abstraction and Iterative Refinement: Part 1 15-414 Bug Catching: Automated Program Verification and Testing Sagar Chaki November 28, 2011 Outline Overview of Model Checking Creating Models
More informationADVANCED PLACEMENT BIOLOGY
ADVANCED PLACEMENT BIOLOGY Description Advanced Placement Biology is designed to be the equivalent of a two-semester college introductory course for Biology majors. The course meets seven periods per week
More informationNGSS Example Bundles. 1 of 15
Middle School Topics Model Course III Bundle 3 Mechanisms of Diversity This is the third bundle of the Middle School Topics Model Course III. Each bundle has connections to the other bundles in the course,
More informationCollege of Arts and Sciences, University of Oregon (Fall 2014)
Curriculum map Biology B.S./B.A. (Marine Biology LOs on page 4) Learning outcomes (LOs): Having completed a major in Biology, a student will demonstrate: 1. A broad-based knowledge of biology at multiple
More informationTheory. Pattern and Process
Theory Pattern and Process Definition of Science: Science is based on evidence and always changing. Scientists test explanations and predictions of natural phenomena. Some questions are outside the realm
More informationMotivation. Evolution has rediscovered several times multicellularity as a way to build complex living systems
Cellular Systems 1 Motivation Evolution has rediscovered several times multicellularity as a way to build complex living systems Multicellular systems are composed by many copies of a unique fundamental
More informationMath 3000 Section 003 Intro to Abstract Math Homework 6
Math 000 Section 00 Intro to Abstract Math Homework 6 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 01 Solutions April, 01 Please note that these solutions are
More informationI. Molecules and Cells: Cells are the structural and functional units of life; cellular processes are based on physical and chemical changes.
I. Molecules and Cells: Cells are the structural and functional units of life; cellular processes are based on physical and chemical changes. A. Chemistry of Life B. Cells 1. Water How do the unique chemical
More information98 Washington State K-12 Science Learning Standards Version 1.2
EALR 4: Big Idea: Core Content: Life Science Structures and Functions of Living Organisms (LS1) Processes Within Cells In prior grades students learned that all living systems are composed of cells which
More informationCausality in Concurrent Systems
Causality in Concurrent Systems F. Russo Vrije Universiteit Brussel Belgium S.Crafa Università di Padova Italy HaPoC 31 October 2013, Paris Causality in Concurrent Systems software, hardware or even physical
More informationIntegrating Induction, Deduction and Structure for Synthesis
Integrating Induction, Deduction and Structure for Synthesis Sanjit A. Seshia Associate Professor EECS Department UC Berkeley Students & Postdocs: S. Jha, W.Li, A. Donze, L. Dworkin, B. Brady, D. Holcomb,
More informationComputing, Communication and Control
Computing, Communication and Control The view from Systems Biology Arthur Lander, Center for Complex Biological Systems Systems Biology A philosophical shift in biological and biomedical research Acknowledges
More informationBiological Pathways Representation by Petri Nets and extension
Biological Pathways Representation by and extensions December 6, 2006 Biological Pathways Representation by and extension 1 The cell Pathways 2 Definitions 3 4 Biological Pathways Representation by and
More informationBiology II : Embedded Inquiry
Biology II : Embedded Inquiry Conceptual Strand Understandings about scientific inquiry and the ability to conduct inquiry are essential for living in the 21 st century. Guiding Question What tools, skills,
More information5.1. Cells have distinct phases of growth, reproduction, and normal functions. G 1. Cell Growth and Division CHAPTER 5 THE CELL CYCLE KEY CONCEPT
SECTION 5.1 THE CELL CYCLE Study Guide KEY CONCEPT Cells have distinct phases of growth, reproduction, and normal functions. VOCABULARY cell cycle mitosis cytokinesis The cell cycle has four main stages.
More informationThe Environment and Change Over Time
The Environment and Change Over Time Biological Evidence of Evolution What do you think? Read the two statements below and decide whether you agree or disagree with them. Place an A in the Before column
More informationwith%dr.%van%buskirk%%%
with%dr.%van%buskirk%%% How$to$do$well?$ Before$class:$read$the$corresponding$chapter$ Come$to$class$ready$to$par9cipate$in$Top$Hat$ Don t$miss$an$exam!!!!!!!!!!!!!!!!!!!!!!!!!!$ But$I m$not$good$with$science
More informationOklahoma Academic Standards for Biology I
A Correlation of Miller & Levine Biology To the Oklahoma Academic Standards A Correlation of, BIOLOGY I HS-LS1 From Molecules to Organisms: Structures and Processes HS-LS1-1 Students who demonstrate for
More informationBiology Unit Overview and Pacing Guide
This document provides teachers with an overview of each unit in the Biology curriculum. The Curriculum Engine provides additional information including knowledge and performance learning targets, key
More informationComputational Genomics. Systems biology. Putting it together: Data integration using graphical models
02-710 Computational Genomics Systems biology Putting it together: Data integration using graphical models High throughput data So far in this class we discussed several different types of high throughput
More informationUnit 1: DNA & the Genome Topic 4: Cellular Differentiation
Unit 1: DNA & the Genome Topic 4: Cellular Differentiation http://commons.wikimedia.org/wiki/embryo#mediaviewer/file:8-cell_stage_embryo.png Learning Outcomes Define the term cellular differentiation.
More informationTopic 1 - The building blocks of. cells! Name:!
B2 - Revision Topic 1 - The building blocks of Lesson cells Name: Topic B2.1 Plant and Animal Cells B2.2 Inside Bacteria B2.3 DNA B2.4 Extracting DNA: PCA B2.5 DNA Discovery B2.6 Genetic Engineering B2.7
More informationLiving Earth Unit 5 Structure, Function, and Growth: From Cells to Organisms! Background for Teachers and Instructional Suggestions Before starting
Living Earth Unit 5 Structure, Function, and Growth: From Cells to Organisms Background for Teachers and Instructional Suggestions Before starting this instructional segment, teachers should review the
More informationThe two steps of vulval induction in Oscheius tipulae CEW1 recruit common regulators including a MEK kinase
Developmental Biology 265 (2004) 113 126 www.elsevier.com/locate/ydbio The two steps of vulval induction in Oscheius tipulae CEW1 recruit common regulators including a MEK kinase Marie-Laure Dichtel-Danjoy
More informationBig Idea 1: Does the process of evolution drive the diversity and unit of life?
AP Biology Syllabus 2016-2017 Course Overview: AP Biology is equivalent to an introductory college level biology program in order to develop student led inquiry into science. The class is designed to go
More informationTeaching vs. Learning, and Course Wrap-Up
Teaching vs. Learning, and Course Wrap-Up Sanjit A. Seshia EECS 219C EECS Department UC Berkeley Teaching vs. Learning Learning: Examples Concept Teaching: Concept Examples Given a concept, give a good
More informationTEST SUMMARY AND FRAMEWORK TEST SUMMARY
Washington Educator Skills Tests Endorsements (WEST E) TEST SUMMARY AND FRAMEWORK TEST SUMMARY BIOLOGY Copyright 2014 by the Washington Professional Educator Standards Board 1 Washington Educator Skills
More informationUnit # - Title Intro to Biology Unit 1 - Scientific Method Unit 2 - Chemistry
Intro to Biology Unit 1 - Scientific Method Unit 2 - Chemistry What is Biology? What is Science? What tools, skills, knowledge, and dispositions are needed to conduct scientific inquiry? How do the rules
More informationNonlinear Control as Program Synthesis (A Starter)
Nonlinear Control as Program Synthesis (A Starter) Sicun Gao MIT December 15, 2014 Preliminaries Definition (L RF ) L RF is the first-order language over the reals that allows arbitrary numerically computable
More informationBRICK TOWNSHIP PUBLIC SCHOOLS SCIENCE CURRICULUM. Content Area: Middle School Science. Grade Level: Eighth Grade. 45 Days. 45 Days. 45 Days.
Content Area: Middle School Science Grade Level: BRICK TOWNSHIP PUBLIC SCHOOLS SCIENCE CURRICULUM Unit Timeframe Unit 1: Structure and Properties of Matter 45 Days Unit 2: Chemical Reactions 45 Days Unit
More informationComputational Systems Biology
Computational Systems Biology Vasant Honavar Artificial Intelligence Research Laboratory Bioinformatics and Computational Biology Graduate Program Center for Computational Intelligence, Learning, & Discovery
More informationThe Science of Biology. Chapter 1
The Science of Biology Chapter 1 Properties of Life Living organisms: are composed of cells are complex and ordered respond to their environment can grow and reproduce obtain and use energy maintain internal
More informationSystems Biology Across Scales: A Personal View XXIII. Spatial Patterns in Biology: Turing mechanism. Sitabhra Sinha IMSc Chennai
Systems Biology Across Scales: A Personal View XXIII. Spatial Patterns in Biology: Turing mechanism Sitabhra Sinha IMSc Chennai The magnificent patterns of Dr Turing Question: How to explain the development
More informationPRESCOTT UNIFIED SCHOOL DISTRICT District Instructional Guide
PRESCOTT UNIFIED SCHOOL DISTRICT District Instructional Guide Grade Level: High School Subject: Biology Quarter/Semester 1/1 Core Text: Biology, Miller & Levine, 2006 Time Block Unit Content Skills Standards
More informationPrinciples of Experimental Embryology
Biology 4361 Developmental Biology Principles of Experimental Embryology June 16, 2008 Overview What forces affect embryonic development? The embryonic environment: external and internal How do forces
More informationPREREQUISITE CHECKLIST
PREREQUISITE CHECKLIST UNIVERSITY OF CALIFORNIA, BERKELEY SCHOOL OF OPTOMETRY ADMISSIONS AND STUDENT AFFAIRS OFFICE Name: Date: Email: Status (complete, in progress, or planned) Prerequisite Course Requirements
More informationMiller & Levine Biology 2010
A Correlation of 2010 to the Pennsylvania Assessment Anchors Grades 9-12 INTRODUCTION This document demonstrates how 2010 meets the Pennsylvania Assessment Anchors, grades 9-12. Correlation page references
More information7. Which letter in the diagram below indicates the structure that is most closely associated with excretion?
1. Which sequence of terms is in the correct order from simplest to most complex? 1) cells tissues organs organ systems 2) tissues organisms cells organ systems 3) cells tissues organ systems organs 4)
More informationA Correlation of. To the. New York High School Standards Life Science
A Correlation of 2017 To the New York High School Standards Life Science 9 12 High School Life Science (HS.SF) Structure and Function A Correlation of Miller & Levine Biology, 2017 to the (HS LS1 1) Construct
More informationDrosophila melanogaster- Morphogen Gradient
NPTEL Biotechnology - Systems Biology Drosophila melanogaster- Morphogen Gradient Dr. M. Vijayalakshmi School of Chemical and Biotechnology SASTRA University Joint Initiative of IITs and IISc Funded by
More informationBiology Scope & Sequence
Process Standards: Tools to Know: B.1(A) demonstrate safe practices during laboratory and field investigations B.1(B) demonstrate an understanding of the use and conservation of resources and the proper
More informationProgramme Specification (Undergraduate) For 2017/18 entry Date amended: 25/06/18
Programme Specification (Undergraduate) For 2017/18 entry Date amended: 25/06/18 1. Programme title(s) and UCAS code(s): BSc Biological Sciences C100 BSc Biological Sciences (Biochemistry) C700 BSc Biological
More informationpurpose of this Chapter is to highlight some problems that will likely provide new
119 Chapter 6 Future Directions Besides our contributions discussed in previous chapters to the problem of developmental pattern formation, this work has also brought new questions that remain unanswered.
More informationUnit 8: ECE/AP Biology Plants 9 Class Meeting. Essential Questions. Enduring Understanding with Unit Goal
Essential Questions How are plants unique in their growth, organs, tissues and cells? How to plants acquire nutrients from the environment? How do different plants conduct photosynthesis? Enduring Understanding
More informationInvestigation 3: Comparing DNA Sequences to Understand Evolutionary Relationships with BLAST
Investigation 3: Comparing DNA Sequences to Understand Evolutionary Relationships with BLAST Introduction Bioinformatics is a powerful tool which can be used to determine evolutionary relationships and
More informationCampbell Essential Biology, 5e (Simon/Yeh) Chapter 1 Introduction: Biology Today. Multiple-Choice Questions
Campbell Essential Biology, 5e (Simon/Yeh) Chapter 1 Introduction: Biology Today Multiple-Choice Questions 1) In what way(s) is the science of biology influencing and changing our culture? A) by helping
More informationHow to Build a Living Cell in Software or Can we computerize a bacterium?
How to Build a Living Cell in Software or Can we computerize a bacterium? Tom Henzinger IST Austria Turing Test for E. coli Fictional ultra-high resolution video showing molecular processes inside the
More informationWarm Up. What are some examples of living things? Describe the characteristics of living things
Warm Up What are some examples of living things? Describe the characteristics of living things Objectives Identify the levels of biological organization and explain their relationships Describe cell structure
More informationWhich concept would be correctly placed in box X? A) use and disuse B) variation C) changes in nucleic acids D) transmission of acquired traits
1. Base your answer to the following question on Some of the concepts included in Darwin's theory of natural selection are represented in the diagram below. Which concept would be correctly placed in box
More informationScope and Sequence. Course / Grade Title: Biology
Course / Grade Title: Biology Course / Grade Content: What will students be expected to know and do? Provide the core knowledge and skills (standards) that will be taught and assessed. Organize the essential
More informationAutomated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement Karam Abd Elkader 1, Orna Grumberg 1, Corina S. Păsăreanu 2, and Sharon Shoham 3 1 Technion Israel Institute
More informationMajor Plant Hormones 1.Auxins 2.Cytokinins 3.Gibberelins 4.Ethylene 5.Abscisic acid
Plant Hormones Lecture 9: Control Systems in Plants What is a Plant Hormone? Compound produced by one part of an organism that is translocated to other parts where it triggers a response in target cells
More informationBundle at a Glance Biology 2015/16
Introduction: Scientific Investigation and Reasoning Skills (3 A/B days) Biology Process TEKS: 1A demonstrate safe practices during laboratory and field investigations. 1B demonstrate an understanding
More informationMitosis / Meiosis / Reproduction: Asexual vs. sexual: Refer to Chapter 9 and sections of Chapter 10.
Mitosis / Meiosis / Reproduction: Asexual vs. sexual: Refer to Chapter 9 and sections of Chapter 10. 1. Why do cells divide? For unicellular species, cell division is synonymous with reproduction and is
More informationCompositional Reasoning
EECS 219C: Computer-Aided Verification Compositional Reasoning and Learning for Model Generation Sanjit A. Seshia EECS, UC Berkeley Acknowledgments: Avrim Blum Compositional Reasoning S. A. Seshia 2 1
More informationhttps://syukur16tom.wordpress.com/ Password: LECTURE 02: PLANT AND ENVIRONMENT
http://smtom.lecture.ub.ac.id/ Password: https://syukur16tom.wordpress.com/ Password: LECTURE 02: PLANT AND ENVIRONMENT Plant and Environment drive plant growth that causes plant variation as the core
More informationComputational Modelling in Systems and Synthetic Biology
Computational Modelling in Systems and Synthetic Biology Fran Romero Dpt Computer Science and Artificial Intelligence University of Seville fran@us.es www.cs.us.es/~fran Models are Formal Statements of
More informationIntroduction to Bioinformatics
CSCI8980: Applied Machine Learning in Computational Biology Introduction to Bioinformatics Rui Kuang Department of Computer Science and Engineering University of Minnesota kuang@cs.umn.edu History of Bioinformatics
More informationHighland Park Science Curriculum
08/08/20115:20 PM 1 Biology I Semester I Unit IV Highland Park Science Curriculum Components Biology I Biology I Pre AP Extensions Biology I Pre AP TAG Extensions Unit Overview Cells and Cellular Mechanisms
More information