Digital Signal Processing with Biomolecular Reactions Hua Jiang, Aleksandra Kharam, Marc Riedel, and Keshab Parhi Electrical and Computer Engineering University.

Slides:

Advertisements

Similar presentations

1 The 2-to-4 decoder is a block which decodes the 2-bit binary inputs and produces four output All but one outputs are zero One output corresponding to.

Advertisements

Give qualifications of instructors: DAP

Kameshwar K. Yadavalli, Alexei O. Orlov, Ravi K. Kummamuru, John Timler, Craig Lent, Gary Bernstein, and Gregory Snider Department of Electrical Engineering.

Give qualifications of instructors: DAP

Sequential Circuits1 DIGITAL LOGIC DESIGN by Dr. Fenghui Yao Tennessee State University Department of Computer Science Nashville, TN.

University Of Vaasa Telecommunications Engineering Automation Seminar Signal Generator By Tibebu Sime 13 th December 2011.

Digital Signal Processing – Chapter 11 Introduction to the Design of Discrete Filters Prof. Yasser Mostafa Kadah

Marc Riedel Synthesizing Stochasticity in Biochemical Systems Electrical & Computer Engineering Jehoshua (Shuki) Bruck Caltech joint work with Brian Fett.

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.

Design at the Register Transfer Level

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

A High Performance Application Representation for Reconfigurable Systems Wenrui GongGang WangRyan Kastner Department of Electrical and Computer Engineering.

Mahapatra-Texas A&M-Fall'001 cosynthesis Introduction to cosynthesis Rabi Mahapatra CPSC498.

Stochastic Transient Analysis of Biochemical Systems Marc D. Riedel Assistant Professor, Electrical and Computer Engineering Graduate Faculty, Biomedical.

Weikang Qian The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic Abstract Ph.D. Student, University of Minnesota Marc D. Riedel.

VLSI DSP 2008Y.T. Hwang3-1 Chapter 3 Algorithm Representation & Iteration Bound.

Digital Signals and Systems

DSP. What is DSP? DSP: Digital Signal Processing---Using a digital process (e.g., a program running on a microprocessor) to modify a digital representation.

Module 3.  Binary logic consists of :  logic variables  designated by alphabet letters, e.g. A, B, C… x, y, z, etc.  have ONLY 2 possible values:

TOPIC : Introduction to Functional Modeling UNIT 1: Modeling Digital Circuits Module 1 : Functional Modeling.

Chapter 2: Fundamentals of Digital Electronics Dr Mohamed Menacer Taibah University

Logic Gates How Boolean logic is implemented. Transistors used as switches to implement Boolean logic: ANDOR Logic with Transistors.

HW/SW PARTITIONING OF FLOATING POINT SOFTWARE APPLICATIONS TO FIXED - POINTED COPROCESSOR CIRCUITS - Nalini Kumar Gaurav Chitroda Komal Kasat.

1 5. Application Examples 5.1. Programmable compensation for analog circuits (Optimal tuning) 5.2. Programmable delays in high-speed digital circuits (Clock.

DISP 2003 Lecture 6 – Part 2 Digital Filters 4 Coefficient quantization Zero input limit cycle How about using float? Philippe Baudrenghien, AB-RF.

NTU Confidential Test Asynchronous FIR Filter Design Presenter: Po-Chun Hsieh Advisor:Tzi-Dar Chiueh Date: 2003/12/1.

Modeling the Chemical Reactions Involved in Biological Digital Inverters Rick Corley Mentor: Geo Homsy.

Linear Algebra. Circuits The circuits in computers and other input devices have inputs, each of which is either a 0 or 1, the output is also 0s and 1s.

Fall 2004EE 3563 Digital Systems Design EE 3563 VHSIC Hardware Description Language  Required Reading: –These Slides –VHDL Tutorial  Very High Speed.

Marc D. Riedel Associate Professor, ECE University of Minnesota EE 5393: Circuits, Computation and Biology ORAND.

Logic Signals and Gates. Binary Code Digital logic hides the pitfalls of the analog world by mapping the infinite set of real values for a physical quantity.

Electrical and Computer Engineering University of Cyprus LAB 1: VHDL.

Chapter 0 - reVieW Combinational Logic Circuit, Combinational Logic Circuit, Propagation Delay, Propagation Delay, Programmable Logic. Programmable Logic.

Marc Riedel – EE5393 The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic Electrical & Computer Engineering University of Minnesota.

Synthesizing Stochasticity in Biochemical Systems In partial fulfillment of the requirements for a master of electrical engineering degree Brian Fett Marc.

Topics covered: Arithmetic CSE243: Introduction to Computer Architecture and Hardware/Software Interface.

Digital Filter Realization

Boolean Networks and Biology Peter Lee Shaun Lippow BE.400 Final Project December 10, 2002.

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.

Graphical Design Environment for a Reconfigurable Processor IAmE Abstract The Field Programmable Processor Array (FPPA) is a new reconfigurable architecture.

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.

Recursive Architectures for 2DLNS Multiplication RESEARCH CENTRE FOR INTEGRATED MICROSYSTEMS - UNIVERSITY OF WINDSOR 11 Recursive Architectures for 2DLNS.

LECTURE 4 Logic Design. LOGIC DESIGN We already know that the language of the machine is binary – that is, sequences of 1’s and 0’s. But why is this?

Chapter 11 Digital Control Systems

Biochemical Reactions computationinputsoutputs Molecular Triggers Molecular Products Synthesizing Biological Computation Protein-Protein Chemistry at the.

IAY 0600 Digital Systems Design Timing and Post-Synthesis Verifications Hazards in Combinational Circuits Alexander Sudnitson Tallinn University of Technology.

GROUP MEMBERS ELISHBA KHALID 07-CP-07 TAHIRA SAMEEN 07-CP-31.

Chapter 6 Discrete-Time System. 2/90  Operation of discrete time system 1. Discrete time system where and are multiplier D is delay element Fig. 6-1.

EKT 314/4 WEEK 2 : CHAPTER 1 INTRODUCTION TO EI ELECTRONIC INSTRUMENTATION.

Compiling code and Computation into Biochemical Reactions Presenter : Chi-Yun Cheng.

Biomolecular implementation of linear I/O systems Lecture 4/7/2016 Oishi, Kazuaki, and Eric Klavins. "Biomolecular implementation of linear I/O systems."

1 (c) , W. J. Dally Digital Design: A Systems Approach Lecture 1: The Digital Abstraction Combinational Logic Verilog.

TOPIC : Introduction to Sequential Circuits UNIT 1: Modeling and Simulation Module 4 : Modeling Sequential Circuits.

Circuit Synthesis A logic function can be represented in several different forms:  Truth table representation  Boolean equation  Circuit schematic 

Bacteria are engineered to produce an anti-cancer drug: Design Scenario drug triggering compound E. Coli.

… … Sequential Computation (e.g., filtering) Chemical Reactions Time-varying changes in concentrations of an input molecular type. Time-varying changes.

Introduction to cosynthesis Rabi Mahapatra CSCE617

IAY 0800 Digitaalsüsteemide disain

Lesson 4 Synchronous Design Architectures: Data Path and High-level Synthesis (part two) Sept EE37E Adv. Digital Electronics.

ELE 523E COMPUTATIONAL NANOELECTRONICS

Chapter 6 Discrete-Time System

Example: Verification

Computational Biology

Presentation transcript:

Digital Signal Processing with Biomolecular Reactions Hua Jiang, Aleksandra Kharam, Marc Riedel, and Keshab Parhi Electrical and Computer Engineering University of Minnesota

Overview Signal processing with chemical reactions: exact and rate-independent designs. Technology-independent designs: abstract chemical reactions. Technology-mapping: DNA strand displacement reactions. Examples: FIR moving average and IIR biquad filters. General synthesis methdology.

Chemically, molecular quantities, or concentrations, represent the digital signal. Digital Signal Processing A digital signal is a sequence of numbers. Electronically, numbers are represented by binary strings (zeros and ones are voltages). A digital signal processing (DSP) system takes an input sequence and produces an output sequence. 10, 2, 12, 8, 4, 8, 10, 2, … 5, 6, 7, 10, 6, 6, 9, 6, … inputoutput DSP Electronics Chemical Reactions

Biochemical Reactions: rules specifying how types of molecules combine. + + a b c k Modeled by ordinary differential equations (ODEs) Playing by The Rules

… … DSP with Reactions Reactions Time-varying changes in concentrations of an input molecular type. Time-varying changes in concentrations of output molecular type. 10, 2, 12, 8, 4, 8, 10, 2, … 5, 6, 7, 10, 6, 6, 9, 6, … InputOutput

Chemical Reactions time But how do we achieve the synchronization? Moving Average Filter: Chemical

Constant Multiplier Fanout Delay Element DSP Building Blocks Adder Most DSP systems can be specified in terms of 4 major components: constant multipliers, fanouts, adders and delay elements.

Constant Multiplier Computational Modules XY

Adder

Fanout Computational Modules XB A

Delay Element Molecular quantities are preserved over “computational cycles.” Contents of different delay elements are transferred synchronously.

3-Phase Scheme We use a three compartment configuration for delay elements: we categorize the types into three groups: red, green and blue. Every delay element D i is assigned R i, G i, and B i

R r Absence Indicators But how do we know that a group of molecules is absent?

Moving Average Filter absence indicators

Moving Average Filter Signal transfer Computation Absence indicator

Output obtained by ODE simulations of the chemical kinetics. Simulation Results: Moving Average

General DSP System

Biquad Filter

Absence indicator Signal transfer Computation

Discussion Synthesize a design for a precise, robust, programmable computation – with abstract types and reactions. Computational Chemical Design vis-a-vis Technology-Independent Logic Synthesis Implement design by selecting specific types and reactions – say from “toolkit”. Experimental Design vis-a-vis Technology Mapping in Circuit Design

Technology Mapping: DNA Strand Displacement X1X1 X2X2 X3X3 + D. Soloveichik et al: “DNA as a Universal Substrate for Chemical Kinetics.” PNAS, Mar 2010

Technology Mapping: DNA Strand Displacement X1X1 X3X3 X2X2 + D. Soloveichik et al: “DNA as a Universal Substrate for Chemical Kinetics.” PNAS, Mar 2010

Simulation Results: Biquad Filter Output obtained by ODE simulations of chemical kinetics at the DNA level.

Conclusions Functionality: –Basic digital signal are implemented with chemical reactions. Robustness: –Computation is rate independent. Implementation requires only coarse rate levels. An automatic compiler is available at

Experimental Implementation and Optimization Translate into DNA strand displacement reactions. Optimization reactions at the DNA level. System performance analysis Dynamic range Precision Representation of negative signals Applications Drug delivery. Biochemical sensing. Future Work

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