Binary Counting with Chemical Reactions Aleksandra Kharam, Hua Jiang, Marc Riedel, and Keshab Parhi Electrical and Computer Engineering University of Minnesota.

Slides:



Advertisements
Similar presentations
Synchronous Counters with SSI Gates
Advertisements

Design of a Minimal System for Self-replication of Rectangular Patterns of DNA Tiles Vinay K Gautam 1, Eugen Czeizler 2, Pauline C Haddow 1 and Martin.
Anatoly B. Kolomeisky Department of Chemistry MECHANISMS AND TOPOLOGY DETERMINATION OF COMPLEX NETWORKS FROM FIRST-PASSAGE THEORETICAL APPROACH.
Marc Riedel Synthesizing Stochasticity in Biochemical Systems Electrical & Computer Engineering Jehoshua (Shuki) Bruck Caltech joint work with Brian Fett.
Digital Signal Processing with Biomolecular Reactions Hua Jiang, Aleksandra Kharam, Marc Riedel, and Keshab Parhi Electrical and Computer Engineering University.
Synchronous Sequential Computation with Molecular Reactions Hua Jiang, Marc Riedel, and Keshab Parhi Electrical and Computer Engineering University of.
Phillip Senum University of Minnesota. Motivation Much effort has been spent developing techniques for analyzing existing chemical systems. Comparatively.
SYNTHETIC BIOLOGY Guillermo RODRIGO Alfonso JARAMILLO.
Evaluation of Fast Electrostatics Algorithms Alice N. Ko and Jesús A. Izaguirre with Thierry Matthey Department of Computer Science and Engineering University.
Gene Regulatory Networks - the Boolean Approach Andrey Zhdanov Based on the papers by Tatsuya Akutsu et al and others.
ENGIN112 L27: Counters November 5, 2003 ENGIN 112 Intro to Electrical and Computer Engineering Lecture 27 Counters.
Stochastic Transient Analysis of Biochemical Systems Marc D. Riedel Assistant Professor, Electrical and Computer Engineering Graduate Faculty, Biomedical.
Sequential Circuits Problems(I) Prof. Sin-Min Lee Department of Mathematics and Computer Science Algorithm = Logic + Control.
CS370 Counters. Overview °Counter: A register that goes through a prescribed series of states °Counters are important components in computers. °Counters.
ECE 301 – Digital Electronics Introduction to Sequential Logic Circuits (aka. Finite State Machines) and FSM Analysis (Lecture #17)
ECE 331 – Digital Systems Design Introduction to Sequential Logic Circuits (aka. Finite State Machines) and FSM Analysis (Lecture #19)
Unit 12 Registers and Counters Ku-Yaw Chang Assistant Professor, Department of Computer Science and Information Engineering Da-Yeh.
Synchronous Sequential Circuit Design
Counter Section 6.3.
Engineering Lecture 3 Digital Electronics by Jaroslaw Karcz.
Engineering Lecture1: Logic Circuits & Concepts about basic Electrical Engineering Devices by Christin Sander.
Rabie A. Ramadan Lecture 3
Digital Electronics and Computer Interfacing
Counting Atoms! Unit 3: Chemistry. Counting Atoms and Balancing Equations.
Counters Dr. Rebhi S. Baraka Logic Design (CSCI 2301) Department of Computer Science Faculty of Information Technology The Islamic University.
2017/4/24 CHAPTER 6 Counters Chapter 5 (Sections )
ECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN Lecture 17 Dr. Shi Dept. of Electrical and Computer Engineering.
Registers and Counters by Dr. Amin Danial Asham. References  Digital Design 5 th Edition, Morris Mano.
ACS'08, November, Venice, ITALY Designing organic reaction simulation engine using qualitative reasoning approach Y.C. Alicia Tang Tenaga Nasional.
7-6 단일 레지스터에서 Microoperation Multiplexer-Based Transfer  Register 가 서로 다른 시간에 둘 이상의 source 에서 data 를 받을 경우 If (K1=1) then (R0 ←R1) else if (K2=1) then.
ECA1212 Introduction to Electrical & Electronics Engineering Chapter 9: Digital Electronics – Sequential Logic by Muhazam Mustapha, November 2011.
Introduction to Chemical Kinetics and Computational Modeling Hana El-Samad Byers Hall (QB3), Rm 403D.
Modeling the Chemical Reactions Involved in Biological Digital Inverters Rick Corley Mentor: Geo Homsy.
Marc D. Riedel Associate Professor, ECE University of Minnesota EE 5393: Circuits, Computation and Biology ORAND.
Assignment 8 solutions 1) Design and draw combinational logic to perform multiplication of two 2-bit numbers (i.e. each 0 to 3) producing a 4-bit result.
A Genetic Differential Amplifier: Design, Simulation, Construction and Testing Seema Nagaraj and Stephen Davies University of Toronto Edward S. Rogers.
EE 1001 Digital Topics Introduction to Electrical Engineering Dr. Chris Carroll MWAH ccarroll.
Problem Class 3 - Slide 1 PYKC 17 Nov 2015 E2.1 Digital Electronics Problem Class 3 State Machines (Problem Sheet 3) Peter Cheung Department of Electrical.
ELE 523E COMPUTATIONAL NANOELECTRONICS
Writing and Compiling Code into Biochemistry Marc Riedel Assistant Professor, Electrical and Computer Engineering Graduate Faculty, Biomedical Informatics.
Biochemical Reactions: how types of molecules combine. Playing by the Rules + + 2a2a b c.
Registers and Counters
Digital Electronics and Computer Interfacing Tim Mewes 3. Digital Electronics.
Sayed Ahmad Salehi Marc D. Riedel Keshab K. Parhi University of Minnesota, USA Markov Chain Computations using Molecular Reactions 1.
Department of Electrical and Computer Engineering University of Minnesota Presenter: Chi-Yun Cheng Digital Logic with Molecular Reactions.
Bio-Design Automation EE5393 – University of Minnesota Brian’s Automated Modular Biochemical Instantiator.
Unit1: Modeling & Simulation Module5: Logic Simulation Topic: Unknown Logic Value.
Biochemical Reactions computationinputsoutputs Molecular Triggers Molecular Products Synthesizing Biological Computation Protein-Protein Chemistry at the.
Chemical Kinetics Nancy Griffeth January 8, 2014 Funding for this workshop was provided by the program “Computational Modeling and Analysis of Complex.
Counters and registers Eng.Maha Alqubali. Registers Registers are groups of flip-flops, where each flip- flop is capable of storing one bit of information.
Logic Design (CE1111 ) Lecture 6 (Chapter 6) Registers &Counters Prepared by Dr. Lamiaa Elshenawy 1.
Compiling code and Computation into Biochemical Reactions Presenter : Chi-Yun Cheng.
TOPIC : Introduction to Sequential Circuits UNIT 1: Modeling and Simulation Module 4 : Modeling Sequential Circuits.
1 CHAPTER 12 REGISTERS AND COUNTERS This chapter in the book includes: Objectives Study Guide 12.1Registers and Register Transfers 12.2Shift Registers.
… … Sequential Computation (e.g., filtering) Chemical Reactions Time-varying changes in concentrations of an input molecular type. Time-varying changes.
Date: 01/12/2014 Asynchronous (Ripple) Counters Patel Siddhi P rd SEM Computer Science and Engneering B.M.C.E.T Subject Name: Digital Electronics.
Synchronous Counter with MSI Gates
Computational and Experimental Design of DNA Devices
FIGURE 5.1 Block diagram of sequential circuit
Sequential Circuit: Counter
University of Maryland Baltimore County Department of Computer Science and Electrical Engineering   CMPE 212 Laboratory (Discussion 12) Hasib Hasan
Chemical Kinetics – collision theory
Introduction to Static Timing Analysis:
Synchronous Counters with MSI Gates
Synchronous Counters with MSI Gates
ECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN
ELE 523E COMPUTATIONAL NANOELECTRONICS
Reference: Chapter 5 Sequential Circuits Moris Mano 4th Ediditon
Sequential Design Example
Counter Fundamentals Presented by :
Presentation transcript:

Binary Counting with Chemical Reactions Aleksandra Kharam, Hua Jiang, Marc Riedel, and Keshab Parhi Electrical and Computer Engineering University of Minnesota

Signal 10, 2, 12, 8, 4, 8, 10, 2, … 5, 6, 7, 10, 6, 6, 9, 6, … inputoutput Electronics Chemical Reactions Molecular computations In ElectronicsIn Chemistry Input Output

Modeled by Ordinary Differential Equations: inputoutput ac Playing by The Rules + k b cba

Principles of Binary Counting ZYX

ZYX Intuitive Model

Algorithm ` X inj ZYX 0 0 0

Prereactants and Absence Indicators Molecular Type X Absence indicator a x

Prereactants and Absence Indicators Molecular Type X Absence indicator a x Prereactant X p Prereactant for the next type Y p

Modified Algorithm

Three-Phase Synchronization But how do we know that a group of molecules is absent ? R r

Basic AlgorithmThree-Phase Synchronization

Final Design

Simulation Results

zx Mapping to Experimental Chassis Auxiliary Complexes Reactants Products * D. Soloveichik et al: “DNA as a Universal Substrate for Chemical Kinetics.” PNAS, Mar 2010

Conclusion Robustness: - the design is rate independent. Future and related work: - generalizing to n-bit counter; - borrowing idea from digital logic (edge triggered clock ); - computing variety of functions

Questions? Thanks to PSB organizers, NSF, BICB, and UROP NSF CAREER Award # NSF EAGER Grant # Biomedical Informatics & Computational Biology UMN / Mayo Clinic / IBM

Some additional slides

Synchronization

Three-Phase Synchronization