Stochastic, Spatial and Concurrent Biological Processes Modeling Yifei Bao, Eduardo Bonelli, Philippe Bidinger, Justin Sousa, Vishakha Sharma Advisor:

Slides:



Advertisements
Similar presentations
A Mathematical Formalism for Agent- Based Modeling 22 nd Mini-Conference on Discrete Mathematics and Algorithms Clemson University October 11, 2007 Reinhard.
Advertisements

Where Computer Science meets Biology Systems Biology Professor Adriana Compagnoni Computer Science Department With: Joe Glavy, Svetlana Sukhishvili, Tommy.
Clustering the Temporal Sequences of 3D Protein Structure Mayumi Kamada +*, Sachi Kimura, Mikito Toda ‡, Masami Takata +, Kazuki Joe + + : Graduate School.
Development of Parallel Simulator for Wireless WCDMA Network Hong Zhang Communication lab of HUT.
An Automata-based Approach to Testing Properties in Event Traces H. Hallal, S. Boroday, A. Ulrich, A. Petrenko Sophia Antipolis, France, May 2003.
Robotics Simulator Intelligent Systems Lab. What is it ? Software framework - Simulating Robotics Algorithms.
7/18/05 Interdisciplinary Modeling for Aquatic Ecosystems Curriculum Development Workshop Water Quality Modeling John J. Warwick, Director Division of.
Algorithms and Problem Solving-1 Algorithms and Problem Solving.
CPSC 668Set 16: Distributed Shared Memory1 CPSC 668 Distributed Algorithms and Systems Fall 2006 Prof. Jennifer Welch.
BioNetGen: a system for modeling the dynamics of protein-protein interactions Bill Hlavacek Theoretical Biology and Biophysics Group Los Alamos National.
Supervised by Prof. LYU, Rung Tsong Michael Department of Computer Science & Engineering The Chinese University of Hong Kong Prepared by: Chan Pik Wah,
SWE 423: Multimedia Systems Chapter 7: Data Compression (1)
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors Student: Yifei Bao 1, Tommy E. White 2, Advisor: Adriana B.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
OBJECT ORIENTED ANALYSIS & DESIGN Vassilka Kirova Department of Computer & Information Science NJIT.
Simulation.
/department of mathematics and computer science Visualization of Transition Systems Hannes Pretorius Visualization Group
Performance Comparison of Existing Leader Election Algorithms for Dynamic Networks Mobile Ad Hoc (Dynamic) Networks: Collection of potentially mobile computing.
1 Ivan Lanese Computer Science Department University of Bologna Italy Concurrent and located synchronizations in π-calculus.
Structural Bioinformatics Dr. Avraham Samson Course no.: Credit points: 1.5 Final grade is based on 10 assignments Course homepage:
Real-Time System Requirements & Design Specs Shaw - Chapters 3 & 4 Homework #2: 3.3.1, 3.4.1, Add Error states to Fig 4.1 Lecture 4/17.
Chapter 12: Simulation and Modeling Invitation to Computer Science, Java Version, Third Edition.
Prepared by Abzamiyeva Laura Candidate of the department of KKGU named after Al-Farabi Kizilorda, Kazakstan 2012.
Online Learning Algorithms
Chapter 12: Simulation and Modeling
1 Conceptual Modeling of User Interfaces to Workflow Information Systems Conceptual Modeling of User Interfaces to Workflow Information Systems By: Josefina.
CompuCell Software Current capabilities and Research Plan Rajiv Chaturvedi Jesús A. Izaguirre With Patrick M. Virtue.
1 Miodrag Bolic ARCHITECTURES FOR EFFICIENT IMPLEMENTATION OF PARTICLE FILTERS Department of Electrical and Computer Engineering Stony Brook University.
Spatial Statistics Applied to point data.
Machine Learning1 Machine Learning: Summary Greg Grudic CSCI-4830.
Energy-Aware Scheduling with Quality of Surveillance Guarantee in Wireless Sensor Networks Jaehoon Jeong, Sarah Sharafkandi and David H.C. Du Dept. of.
Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering
Joseph Cordina 1/11 The Use of Model-Checking for the Verification of Concurrent Algorithms Joseph Cordina Department of C.S.&A.I.
Business Process Change and Discrete-Event Simulation: Bridging the Gap Vlatka Hlupic Brunel University Centre for Re-engineering Business Processes (REBUS)
Geosimulation Geosimulation models are developed to represent phenomena that occur in urban systems in highly realistic manner In particular, Cellular.
Mathematical Modeling of Signal Transduction Pathways Biplab Bose IIT Guwahati.
Conformance Test Experiments for Distributed Real-Time Systems Rachel Cardell-Oliver Complex Systems Group Department of Computer Science & Software Engineering.
Tools, Formats, & Solutions.  Survey of literature found 3 interesting ways Petri Nets are used  BioPNML – Petri Nets for Bio  GJobDL – Petri Nets.
This material was developed by Duke University, funded by the Department of Health and Human Services, Office of the National Coordinator for Health Information.
Marc Fink & Yan Liu & Shangying Wang Student Project Proposal
The British Computer Society Sidney Michaelson Memorial Lecture 2008 Systems biology: what is the software of life? Professor Muffy Calder, University.
26/04/04 Petri nets in systems biology: creation, analysis and simulation Oliver Shaw School of Computing Science.
Supervised Machine Learning: Classification Techniques Chaleece Sandberg Chris Bradley Kyle Walsh.
CISC Machine Learning for Solving Systems Problems Presented by: Eunjung Park Dept of Computer & Information Sciences University of Delaware Solutions.
A Pattern Language for Parallel Programming Beverly Sanders University of Florida.
CS223: Software Engineering
Chemistry of Life Chapter 2. All Living Things Use Energy Energy in living things is converted from 1 form to another (chemical-physical-thermal etc.)
In-silico Implementation of Bacterial Chemotaxis Lin Wang Advisor: Sima Setayeshgar.
Vertical Integration Across Biological Scales A New Framework for the Systematic Integration of Models in Systems Biology University College London CoMPLEX.
KPI-based Schedule Optimisation M.L. van Eck. Work-related Stress Costs over €25 billion a year in the EU. (EU-OSHA) 10% of work-related illness caused.
Directed Evolution of a Genetic Circuit 15 February 2008 George McArthur This presentation is primarily based on content taken from the paper “Directed.
2014 Language Design and Implementation for Computational Modeling, Simulation and Visualization Vishakha Sharma (PhD Candidate) Adriana Compagnoni (Advisor)
Location of mobile devices in the Ad Hoc Network
Chapter 12: Simulation and Modeling
Types of Models Marti Blad PhD PE
Faculty of natural sciences the department of computer science
J. Michael, M. Shing M. Miklaski, J. Babbitt Naval Postgraduate School
You can check broken videos in this slide here :
Implementing Simplified Molecular Dynamics Simulation in Different Parallel Paradigms Chao Mei April 27th, 2006 CS498LVK.
An Introduction to Visual Basic .NET and Program Design
Invitation to Computer Science 5th Edition
Model-Driven Analysis Frameworks for Embedded Systems
Service-centric Software Engineering
VISUAL BASIC – CHAPTER ONE NOTES An Introduction to Visual Basic
Implementing Language Extensions with Model Transformations
Statistical environment representation to support navigation of mobile robots in unstructured environments Stefan Rolfes Maria Joao Rendas
Implementing Language Extensions with Model Transformations
A Gentle Tutorial of the EM Algorithm and its Application to Parameter Estimation for Gaussian Mixture and Hidden Markov Models Jeff A. Bilmes International.
Parallel Exact Stochastic Simulation in Biochemical Systems
A Gentle Tutorial of the EM Algorithm and its Application to Parameter Estimation for Gaussian Mixture and Hidden Markov Models Jeff A. Bilmes International.
Presentation transcript:

Stochastic, Spatial and Concurrent Biological Processes Modeling Yifei Bao, Eduardo Bonelli, Philippe Bidinger, Justin Sousa, Vishakha Sharma Advisor: Adriana Compagnoni Department of Computer Science Joint work with Libera’s lab and Sukhishvili’s lab from Department of CCBBME

Objective Construct a language to model and simulate biological processes. Apply it for the modeling of a drug delivery nano-system.

Outline Motivating example: Bio Film System Survey for Existing Modeling Techniques Our Contribution: A Simulation Language Ongoing and Future Work Project Demo

Drug Delivery System Biofilms are loaded with antibiotics and they are used to coat medical implants. When the pH changes due to infection, the Biofilm releases molecules of antibiotics.

Sequential release of bioactive molecules from layer-by-layer films

Bio Film System increasing pHbasic/neutral 3.2 μm fast release of capsule cargo

Data from Prof. Sukhishvili’s Lab Relationship between release of drug molecules and PH with respect to time.

Computational Model Motivation: – Wet lab experiments are costly – Some data are difficult to observe (local pH) Predict interactions between species  Bacteria  Drug Molecule Predict local PH Visualization of Bio system

SPIM Concurrent communicating processes – Processes evolve concurrently – Synchronize by message passing Successfully used for modeling biological systems – Process = Molecule (with state) – Synchronization = Reaction Existing implementation Simulation and visualization 4000 lines of ML (Ocaml, F#) code

SPiM Model

SPiM not suitable for Bio Film example SPiM assumes reactions occur in homogeneous mixture Not applicable to Bio Film example (antibiotic stored in film – not in solution)

Spatial modeling is needed Reaction distance: only molecules close enough can react. Reaction boundary: the movements and reactions should occur in specific areas. Shape of Binding Sites : only matching shapes can bind.

Existing modeling methods Lack spatial attributes: ODEs, SPiM, Kappa, Petri Nets. Limited notion of space: BioAmbinet, BioPepa, StochSim. Lack stochasticity: SpacePi. Very ad hoc models.

Our Contribution A language for the simulation of stochastic biological processes with spatial information –An extension of the SPIM language –Language definition and implementation Model of the Biofilm system

SPIM SPiM Assumption: all molecules (processes) are assumed to be uniformly distributed in space Interactions scheduled randomly based on concentrations and reaction rates – Informally: interaction involving higher concentrations and rates are more likely to occur Gillespie algorithm

Spatial Features Process state includes spatial information – Each process has a position and three vectors that define its local system of coordinates This state can be modified by application of affine maps (translation, rotation..) – Simulation of movement (translation, rotations) Interactions may be conditioned by the distance between two molecules

Spatial Features

Implementation Based on SPIM Interpreter Update of parser, type checker Simulation algorithm (scheduler) Graphical output Basic geometric computation (affine map application, distance, rotation..)

Ongoing Work: Validation We need to validate: 1) Language design (expressivity) 2) Correctness of simulation algorithm 3) Performance 4) Biofilm model Involve interaction with the bio-chemistry team (esp. for 2 and 4) – e.g. actual physical data

Ongoing Work: Shapes Enrich the language to target a wider class of systems – Processes are modeled as immaterial points – But physical objects have a shape Add shape information to processes in order to model – Boundaries (material that can't be crossed) – More complex interaction patterns based on the shape and orientation of a molecules Apply our technique to Wireless Communication

Demo

09/02/10 Her2 Signaling Pathways