A Network-Flow Based Optimal Sample Preparation Algorithm for Digital Microfluidic Biochips
|
|
- Ashlie Marshall
- 5 years ago
- Views:
Transcription
1 A Network-Flow Based Optimal Sample Preparation Algorithm for Digital Microfluidic Biochips Trung Anh Dinh Shigeru Yamashita Tsung-Yi Ho 2 Ritsumeikan University, Japan 2 National Cheng-Kung University, Taiwan
2 Agenda Introduction Problem Formulation Proposed Method Experimental Results Conclusion 2
3 Agenda Introduction Problem Formulation Digital Microfluidic Biochips Sample Preparation Illustrative Example Proposed Method Experimental Results Conclusion 3
4 Digital Microfluidic Biochips (DMFBs) Architecture of a DMFB: 2D microfluidic array: Basic cells for biological reactions Droplets: Biological samples (picoliter unit) I/O ports, peripheral devices (detector, ) Optical detector Droplet Electrodes Dispensing port Applications: Immunoassay, DNA sequencing, protein crystallization, etc. 4
5 Sample Preparation (/4) To produce droplets of the required concentrations A crucial preprocessing step in every application 90% of the cost and 95% of the analysis time single-target target droplet 75 % Processing time, reliability!!! Expensive cost!!! $$$ Sample preparation Sample droplets (c = 00%) Buffer droplets (c = 0%) Waste droplets 5
6 Sample Preparation (2/4) To produce droplets of the required concentrations A crucial preprocessing step in every application 90% of the cost and 95% of the analysis time multi-target 0 % 75 % 75 % 75 % 20 % 50 % Processing time, reliability!!! Expensive cost!!! $$$ Sample preparation Sample droplets (c = 00%) Optimization needed!!! Buffer droplets (c = 0%) Waste droplets 6
7 Sample Preparation (3/4) Dilution method in DMFBs Samples are diluted using : mixing/splitting ratio E.g., produce a droplet of concentration 25% ( 4 ) Sample port Waste 2 0 Buffer port 2 0 7
8 Sample Preparation (3/4) Dilution method in DMFBs Samples are diluted using : mixing/splitting ratio E.g., produce a droplet of concentration 25% ( 4 ) Sample port Waste Waste 2 sample droplet buffer droplet Buffer port waste droplet dilution operation 2 0
9 Sample Preparation (3/4) Dilution method in DMFBs Samples are diluted using : mixing/splitting ratio E.g., produce a droplet of concentration 25% ( 4 ) Sample port Waste Waste sample droplet 2 buffer droplets Buffer 0 port waste droplet dilution operation
10 Sample Preparation (3/4) Dilution method in DMFBs Samples are diluted using : mixing/splitting ratio E.g., produce a droplet of concentration 25% ( 4 ) Sample port Waste Waste 4 4 sample droplet 2 buffer droplets Buffer port waste droplet 2 dilution operations
11 Sample Preparation (4/4) In general: C i + C j 2 n 2n n C i C j A concentration value is always expressed by c i 2 d d: precision level of concentration d is given in each problem
12 Example: Same targets, but different cost d = 6 Targets: 2, #sample #buffer 7 7 #waste #ops T #sample #buffer 3 4 #waste #ops T
13 Agenda Introduction Problem Formulation Problem Formulation Previous Works Proposed Method Experimental Results Conclusion 3
14 Problem Formulation (/2) Given: Cost of sample droplet: cost s Cost of buffer droplet: cost b Precision level of concentration: d A set of N target concentrations: TC = {c, c 2,, c N } A set of the required number of droplets for each target N concentration: S = s, s 2,, s N ; S R = s i i= Output: A valid sample preparation process Objective: Minimize cost of sample and buffer usage F = u s cost s + u b cost b u s, u b : The numbers of used sample/buffer droplets 4
15 Problem Formulation (2/2) Example: cost s = 2 cost b = d = 3 TC = {3, 5}( 3 & 5 ) S = 4, 6 ; S R = Output: A valid sample preparation process Objective: Minimize cost function F = u s 2 + u b 5
16 Previous Works All the previous works are based on heuristics All the previous works focus on only one objective optimization Proposed Methods method: that deal Minimize with single-target the cost function problem (N = ) F = u [S. Roy et al., TCAD s cost 200] : Minimizes s + u b cost #waste b droplets Optimal solution for multiple-target problem [S. Roy et al., DATE 20]: Minimizes #waste droplets Flexible to change objective optimization Methods that deal with multi-target problem (N > ) [W. Thies et al., Natural Computing 200]: Minimize #operations By varying the values of cost s and cost b E.g., cost s = & cost b = 0 F = u s (#sample droplets) [Y.-L Hsieh et al., TCAD 202] : Minimizes #sample droplets [J.-D Huang et al., ICCAD 202] : Minimizes #sample droplets (more [D. Mitra on et this al., ISVLSI later ) 202]: Minimizes #operations 6
17 Agenda Introduction Problem Formulation Proposed Method Experimental Results Conclusion 7
18 Overview Input Min-cost max-flow (MCMF) network model construction Integer equal flows problem transformation ILP solver Output
19 MCMF Network Model Set of Vertices V Source, Sink, Waste Vertices that represent concentration values Constructed bottom-up from level 0 to level d (e.g., 3) Vertices at level l represent the set of concentration values that can be generated at this level Level 3 Level 2 Level Waste Sink Level 0 0 Source 9
20 MCMF Network Model Set of Arcs A Waste Sink cost s = 2 cost b = d = 3 TC = {3, 5} S = 4, 6 Level Minimize 0 F = f buffer 2 cost 4 b + f sample 6 cost s Level 2 Level 0 4 Level 0 0 f buffer cost = cost b = capacity = Source f sample cost = cost s = 2 capacity = 20
21 MCMF Network Model Set of Arcs A Waste Sink cost s = 2 cost b = d = 3 TC = {3, 5} S = 4, 6 Level 3 Level 2 Level Level cost = 0 capacity = Source 2
22 MCMF Network Model Set of Arcs A Waste Sink cost s = 2 cost b = d = 3 TC = {3, 5} S = 4, 6 Level 3 Level Level Level cost = 0 capacity = Source Integer equal flows constraints: f a i = f a j 22
23 MCMF Network Model Set of Arcs A Level 3 Level 2 Level Waste cost = 0 capacity = s 2 = 4 Sink cost = 0 capacity = s 2 = 6 cost s = 2 cost b = d = 3 TC = {3, 5} S = 4, 6 Level 0 0 Source Target concentration constraints: f target, Sink = s i 23
24 MCMF Network Model Set of Arcs A Waste Sink cost = 0 capacity = cost s = 2 cost b = d = 3 TC = {3, 5} S = 4, 6 Level 3 Level 2 Level Level 0 0 Source 24
25 ILP Model Minimize F = f Source, sample cost s + f Source, buffer cost b Subject to Capacity constraints: f v x, v y capacity v x, v y v x, v y A Network-flow conservation: v i :(v i,v x ) A f v i, v x = v o :(v x,v o ) A Integer equal flow constraints Target concentrations constraints f v x, v o 25
26 Agenda Introduction Problem Formulation Proposed Method Experimental Results Conclusion 26
27 Comparative Studies Single-target sample preparation problem [W. Thies et al., Natural Computing 0] [BS] [S. Roy et al., IEEE/ACM DATE ] [DMRW] [J.-D Huang et al., IEEE/ACM ICCAD 2] [REMIA] Multiple-target sample preparation problem [J.-D Huang et al., IEEE/ACM ICCAD 2] [REMIA] 27
28 Parameters Settings Cost Function F = u s cost s + u b cost b Waste droplets: [u s + u b S R ] S R : The total number of target droplets cost s cost b F Optimization Objective 0 u s #sample droplets (ours S ) u s + u b #waste droplets (ours W ) 2
29 Single-Target Sample Preparation ILP solver: CPLEX d = 0 Target concentrations: Take average values of all 023 cases BS DMRW REMIA ours S ours W # sample droplets # buffer droplets # waste droplets # operations
30 Multiple-Target Sample Preparation d =, 9, 0 N = 0, 20, 50, 00 For each pair (d, N), generate 00 random test cases d = 9 N = 0 N = 00 REMIA ours s ours W REMIA ours s ours W # sample droplets # buffer droplets # waste droplets # operations d = 0 N = 0 N = 00 REMIA ours s ours W REMIA ours s ours W # sample droplets # buffer droplets # waste droplets # operations
31 Conclusion Sample preparation Pivotal role in every assay, laboratory, and application in biomedical engineering and life science The first optimal sample preparation algorithm is proposed Based on a minimum-cost maximum-flow model Reduce the numbers of sample/buffer/waste droplets & dilution operations significantly (~60%/70%/5% & 60%, respectively) Thank you for your attention!!! 3
32 Appendix 32
33 MCMF Network Model Set of Arcs A cost = 0 capacity = Waste Sink cost = 0 capacity = s 2 = 6 cost s = 2 cost b = d = 3 TC = {3, 5} S = 4, 6 Level 3 Level Level Level 0 cost = 0 capacity = cost = cost b = capacity = cost = 0 capacity = Source cost = cost s = 2 capacity = 33
34 d = 3 Waste 4 Sink 6 Level 3 Level 2 Level Level Source
35 Problem Formulation Hybrid cost function: F = u s cost s + u b cost b The number of waste droplets: u s + u b S R cost s cost b F Minimization 0 u s #sample droplets u s + u b #waste droplets practical values u s cost s + u b cost b practical cost The cost function F is flexible 35
36 Experiment Environment Implemented by C++ ILP Solver: CPLEX Linux server Intel Core(TM) i7 CPU GHz 24 GB Memory Largest test case (d = 0, N = 00) 352,60 variables 75,374 constraints Computation time: ~30 minutes 36
37 Digital Microfluidic Biochips (DMFBs) (2/2) Advantages: High portability High throughput Low sample volume consumption Less human intervention errors Applications: immunoassay, DNA sequencing, protein crystallization, etc. 37
DROPLET-BASED digital microfluidic biochips (DMFBs)
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 32, NO. 8, AUGUST 2013 1151 A Reliability-Oriented Placement Algorithm for Reconfigurable Digital Microfluidic Biochips
More informationA Two-Stage ILP-Based Droplet Routing Algorithm for Pin-Constrained Digital Microfluidic Biochips
A Two-Stage ILP-Based Droplet Routing Algorithm for Pin-Constrained Digital Microfluidic Biochips ABSTRACT Tsung-Wei Huang Department of Computer Science and Information Engineering National Cheng Kung
More informationDigital Microfluidic Biochips: Design Automation And Optimization By Krishnendu Chakrabarty
Digital Microfluidic Biochips: Design Automation And Optimization By Krishnendu Chakrabarty If searched for the ebook Digital Microfluidic Biochips: Design Automation and Optimization by Krishnendu Chakrabarty
More informationDIGITAL microfluidic biochip (DMFB) is an emerging
1682 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 29, NO. 11, NOVEMBER 2010 A Contamination Aware Droplet Routing Algorithm for the Synthesis of Digital Microfluidic
More informationAS THE MICROFLUIDICS technology advances, digital
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 30, NO. 2, FEBRUARY 2011 215 A Two-Stage Integer Linear Programming-Based Droplet Routing Algorithm for Pin-Constrained
More informationAsia and South Pacific Design Automation Conference
Asia and South Pacific Design Automation Conference Authors: Kuan-Yu Lin, Hong-Ting Lin, and Tsung-Yi Ho Presenter: Hong-Ting Lin chibli@csie.ncku.edu.tw http://eda.csie.ncku.edu.tw Electronic Design Automation
More informationA Contamination Aware Droplet Routing Algorithm for Digital Microfluidic Biochips
A Contamination Aware Droplet Routing Algorithm for Digital Microfluidic Biochips Tsung-Wei Huang, Chun-Hsien Lin, and Tsung-Yi Ho Department of Computer Science and Information Engineering National Cheng
More informationLayout-Aware Mixture Preparation of Biochemical Fluids on Application-Specific Digital Microfluidic Biochips
Layout-Aware Mixture Preparation of Biochemical Fluids on Application-Specific Digital Microfluidic Biochips SUDIP ROY, Indian Institute of Technology Roorkee PARTHA P. CHAKRABARTI and SRIJAN KUMAR, Indian
More informationIEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1 Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip Zipeng Li, Kelvin Yi-Tse
More informationRouting-Aware Resource Allocation for Mixture Preparation in Digital Microfluidic Biochips*
213 IEEE Computer Society Annual Symposium on VLSI Routing-Aware Resource Allocation for Mixture Preparation in Digital Microfluidic Biochips* Sudip Roy t, Partha P. Chakrabarti t, Srijan Kumar t, Bhargab
More informationPushPull: Short Path Padding for Timing Error Resilient Circuits YU-MING YANG IRIS HUI-RU JIANG SUNG-TING HO. IRIS Lab National Chiao Tung University
PushPull: Short Path Padding for Timing Error Resilient Circuits YU-MING YANG IRIS HUI-RU JIANG SUNG-TING HO IRIS Lab National Chiao Tung University Outline Introduction Problem Formulation Algorithm -
More informationWITH THE emergence of novel, scalable, flexible digital
356 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 33, NO. 3, MARCH 2014 Fast Online Synthesis of Digital Microfluidic Biochips Daniel T. Grissom and Philip Brisk,
More informationA Virtual Storage Environment for SSDs and HDDs in Xen Hypervisor
A Virtual Storage Environment for SSDs and HDDs in Xen Hypervisor Yu-Jhang Cai*,Chih-kai Kang+, and Chin-Hsien Wu* *National Taiwan University of Science and Technology +Research Center for Information
More informationPhysical Design Issues in Biofluidic Microchips
Physical Design Issues in Biofluidic Microchips Tamal Mukherjee MEMS Laboratory ECE Department Carnegie Mellon University Pittsburgh, PA, USA tamal@ece.cmu.edu http://www.ece.cmu.edu/ cmu edu/~mems Carnegie
More informationA Field-Programmable Pin-Constrained Digital Microfluidic Biochip
A Field-Programmable Pin-Constrained Digital Microfluidic Biochip Daniel Grissom, Philip Brisk Department of Computer Science and Engineering University of California, Riverside {grissomd, philip}@cs.ucr.edu
More informationSimulation of chaotic mixing dynamics in microdroplets
Simulation of chaotic mixing dynamics in microdroplets Hongbo Zhou, Liguo Jiang and Shuhuai Yao the Hong Kong University of Science and Technology Date: 20/10/2011 Presented at COMSOL Conference 2011 China
More informationMinimum Resource Characterization of Biochemical Analyses for Digital Microfluidic Biochip Design
Minimum Resource Characterization of Biochemical Analyses for Digital Microfluidic Biochip Design Lingzhi Luo 1 and Srinivas Akella 1 Department of Computer Science, Rensselaer Polytechnic Institute, Troy,
More informationManaging Hybrid On-chip Scratchpad and Cache Memories for Multi-tasking Embedded Systems
Managing Hybrid On-chip Scratchpad and Cache Memories for Multi-tasking Embedded Systems Zimeng Zhou, Lei Ju, Zhiping Jia, Xin Li School of Computer Science and Technology Shandong University, China Outline
More informationGradient Free Design of Microfluidic Structures on a GPU Cluster
Gradient Free Design of Microfluidic Structures on a GPU Cluster Austen Duffy - Florida State University SIAM Conference on Computational Science and Engineering March 2, 2011 Acknowledgements This work
More informationComparing Performance of Solid State Devices and Mechanical Disks
Comparing Performance of Solid State Devices and Mechanical Disks Jiri Simsa Milo Polte, Garth Gibson PARALLEL DATA LABORATORY Carnegie Mellon University Motivation Performance gap [Pugh71] technology
More informationDouble Patterning-Aware Detailed Routing with Mask Usage Balancing
Double Patterning-Aware Detailed Routing with Mask Usage Balancing Seong-I Lei Department of Computer Science National Tsing Hua University HsinChu, Taiwan Email: d9762804@oz.nthu.edu.tw Chris Chu Department
More informationMajorSat: A SAT Solver to Majority Logic
MajorSat: A SAT Solver to Majority Logic Speaker : Ching-Yi Huang Authors: Yu-Min Chou, Yung-Chih Chen *, Chun-Yao Wang, Ching-Yi Huang National Tsing Hua University, Taiwan * Yuan Ze University, Taiwan
More informationKyoung Hwan Lim and Taewhan Kim Seoul National University
Kyoung Hwan Lim and Taewhan Kim Seoul National University Table of Contents Introduction Motivational Example The Proposed Algorithm Experimental Results Conclusion In synchronous circuit design, all sequential
More informationArchitecture Synthesis for Cost-Constrained Fault-Tolerant Flow-based Biochips
Architecture Synthesis for Cost-Constrained Fault-Tolerant Flow-based Biochips Morten Chabert Eskesen, Paul Pop, Seetal Potluri Department of Applied Mathematics and Computer Science, Technical University
More informationSynthesis of Biochemical Applications on Digital Microfluidic Biochips with Operation Variability
Synthesis of Biochemical Applications on Digital Microfluidic Biochips with Operation Variability Mirela Alistar, Elena Maftei, Paul Pop, Jan Madsen Technical Univ. of Denmark, DK-2800 Kgs. Lyngby email:
More informationFastPlace 2.0: An Efficient Analytical Placer for Mixed- Mode Designs
FastPlace.0: An Efficient Analytical Placer for Mixed- Mode Designs Natarajan Viswanathan Min Pan Chris Chu Iowa State University ASP-DAC 006 Work supported by SRC under Task ID: 106.001 Mixed-Mode Placement
More informationControl Synthesis for the Flow-Based Microfluidic Large-Scale Integration Biochips
Control Synthesis for the Flow-Based Microfluidic Large-Scale Integration Biochips Wajid Hassan Minhass, Paul Pop, Jan Madsen Technical University of Denmark {whmi, paul.pop, jan}@imm.dtu.dk Tsung-Yi Ho
More informationCOBAS INTEGRA 400 plus
COBAS INTEGRA 400 plus COBAS INTEGRA 400 plus is designed to consolidate testing and increase efficiency while reducing total running costs of the laboratory. The COBAS INTEGRA systems extensive assay
More informationSimultaneous OPC- and CMP-Aware Routing Based on Accurate Closed-Form Modeling
Simultaneous OPC- and CMP-Aware Routing Based on Accurate Closed-Form Modeling Shao-Yun Fang, Chung-Wei Lin, Guang-Wan Liao, and Yao-Wen Chang March 26, 2013 Graduate Institute of Electronics Engineering
More informationTowards Programmable Microfluidics
Towards Programmable Microfluidics William Thies*, Mats Cooper, David Wentzlaff*, Todd Thorsen, and Saman Amarasinghe* * Computer Science and Artificial Intelligence Laboratory Hatsopoulos Microfluids
More informationA COMPUTATIONAL STUDY OF THE CONSTRAINED MAXIMUM FLOW PROBLEM
COMPUTTIONL STUDY OF THE CONSTRINED MXIMUM FLOW PROBLEM Cenk Çalışkan, Woodbury School of Business, Utah Valley University, 800 W. University Pkwy, Orem, UT 84058, (801) 863-6487, cenk.caliskan@uvu.edu
More informationDroplet Routing in the Synthesis of Digital Microfluidic Biochips*
Droplet Routing in the ynthesis of Digital Microfluidic Biochips* Abstract Recent advances in microfluidics are expected to lead to sensor systems for high-throughput biochemical analysis. CAD tools are
More informationApplying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems
V Brazilian Symposium on Computing Systems Engineering Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems Alessandro Trindade, Hussama Ismail, and Lucas Cordeiro Foz
More informationDpRouter: A Fast and Accurate Dynamic- Pattern-Based Global Routing Algorithm
DpRouter: A Fast and Accurate Dynamic- Pattern-Based Global Routing Algorithm Zhen Cao 1,Tong Jing 1, 2, Jinjun Xiong 2, Yu Hu 2, Lei He 2, Xianlong Hong 1 1 Tsinghua University 2 University of California,
More informationHeuristics in MILP. Group 1 D. Assouline, N. Molyneaux, B. Morén. Supervisors: Michel Bierlaire, Andrea Lodi. Zinal 2017 Winter School
Heuristics in MILP Group 1 D. Assouline, N. Molyneaux, B. Morén Supervisors: Michel Bierlaire, Andrea Lodi Zinal 2017 Winter School 0 / 23 Primal heuristics Original paper: Fischetti, M. and Lodi, A. (2011).
More informationMohammad Shojafar. October 25, 2017
Lifetime-aware, Fault-aware and Energy-aware SDN and CDC: Optimal Formulation and Solutions SPRITZ-CLUSIT Workshop on Future Systems Security and Privacy, 2017 Mohammad Shojafar Consorzio Nazionale Interuniversitario
More informationAccelerating String Matching Algorithms on Multicore Processors Cheng-Hung Lin
Accelerating String Matching Algorithms on Multicore Processors Cheng-Hung Lin Department of Electrical Engineering, National Taiwan Normal University, Taipei, Taiwan Abstract String matching is the most
More informationArchitectural Synthesis of Flow-Based Microfluidic Large-Scale Integration Biochips
Architectural Synthesis of Flow-Based Microfluidic Large-Scale Integration Biochips Wajid Hassan Minhass whmi@imm.dtu.dk Paul Pop pop@imm.dtu.dk Jan Madsen jan@imm.dtu.dk DTU Informatics Technical University
More informationAbstraction Layers for Scalable Microfluidic Biocomputers
Abstraction Layers for Scalable Microfluidic Biocomputers William Thies*, J.P. Urbanski, Todd Thorsen and Saman Amarasinghe* * Computer Science and Artificial Intelligence Laboratory Hatsopoulos Microfluids
More informationHETEROGENEOUS MULTIPROCESSOR MAPPING FOR REAL-TIME STREAMING SYSTEMS
HETEROGENEOUS MULTIPROCESSOR MAPPING FOR REAL-TIME STREAMING SYSTEMS Jing Lin, Akshaya Srivasta, Prof. Andreas Gerstlauer, and Prof. Brian L. Evans Department of Electrical and Computer Engineering The
More informationOn Constructing Lower Power and Robust Clock Tree via Slew Budgeting
1 On Constructing Lower Power and Robust Clock Tree via Slew Budgeting Yeh-Chi Chang, Chun-Kai Wang and Hung-Ming Chen Dept. of EE, National Chiao Tung University, Taiwan 2012 年 3 月 29 日 Outline 2 Motivation
More informationDM204 - Scheduling, Timetabling and Routing
Department of Mathematics and Computer Science University of Southern Denmark, Odense Issued: March 27, 2009 Marco Chiarandini DM204 - Scheduling, Timetabling and Routing, Fall 2009 Problem A 1 Practical
More informationA Row-and-Column Generation Method to a Batch Machine Scheduling Problem
The Ninth International Symposium on Operations Research and Its Applications (ISORA 10) Chengdu-Jiuzhaigou, China, August 19 23, 2010 Copyright 2010 ORSC & APORC, pp. 301 308 A Row-and-Column Generation
More informationPhysical-Level Synthesis for Digital Lab-On-a-Chip Considering Variation, Contamination, and Defect
IEEE TRANSACTIONS ON NANOBIOSCIENCE, VOL. 13, NO. 1, MARCH 2014 3 Physical-Level Synthesis for Digital Lab-On-a-Chip Considering Variation, Contamination, and Defect Chen Liao and Shiyan Hu, Senior Member,
More informationPower-Mode-Aware Buffer Synthesis for Low-Power Clock Skew Minimization
This article has been accepted and published on J-STAGE in advance of copyediting. Content is final as presented. IEICE Electronics Express, Vol.* No.*,*-* Power-Mode-Aware Buffer Synthesis for Low-Power
More informationIncremental Layer Assignment for Critical Path Timing
Incremental Layer Assignment for Critical Path Timing Derong Liu 1, Bei Yu 2, Salim Chowdhury 3, and David Z. Pan 1 1 ECE Department, University of Texas at Austin, Austin, TX, USA 2 CSE Department, Chinese
More informationFacultad de Ciencias Matemáticas D.M.A. Benjamin Ivorra
Facultad de Ciencias Matemáticas D.M.A. Tendencias actuales de la matemática interdisciplinar Mathematical Modeling and Optimization Applications to industrial design problems Benjamin Ivorra Industrial
More informationClock Tree Resynthesis for Multi-corner Multi-mode Timing Closure
Clock Tree Resynthesis for Multi-corner Multi-mode Timing Closure Subhendu Roy 1, Pavlos M. Mattheakis 2, Laurent Masse-Navette 2 and David Z. Pan 1 1 ECE Department, The University of Texas at Austin
More informationData Replication in the Quality Space
Data Replication in the Quality Space Yicheng Tu April 1, 2008 At Commnet USF Roadmap Introduction Static data replication Dynamic data replication Experimental (simulation) results Summary Data Replication
More informationReViNE: Reallocation of Virtual Network Embedding to Eliminate Substrate Bottleneck
ReViNE: Reallocation of Virtual Network Embedding to Eliminate Substrate Bottleneck Shihabur R. Chowdhury, Reaz Ahmed, Nashid Shahriar, Aimal Khan, Raouf Boutaba Jeebak Mitra, Liu Liu Virtual Network Embedding
More informationTL6 Ultra Micro-volume Spectrophotometer
TL6 Ultra Micro-volume Spectrophotometer TL6 is the latest Ultra Micro-volume Spectrophotometer of PERSEE ANALYTICS. It is a small portable instrument for fast analysis of nucleic acid and protein concentrations
More informationA Computational Study of Bi-directional Dynamic Programming for the Traveling Salesman Problem with Time Windows
A Computational Study of Bi-directional Dynamic Programming for the Traveling Salesman Problem with Time Windows Jing-Quan Li California PATH, University of California, Berkeley, Richmond, CA 94804, jingquan@path.berkeley.edu
More informationThermo Scientific Samco Transfer Pipettes. Precisely what you need
Thermo Scientific Samco Transfer Pipettes Precisely what you need Application Guide LIFE SCIENCE APPLICATIONS INDUSTRIAL, RESEARCH AND TESTING CLINICAL APPLICATIONS Top 9 Pipettes: 6, 3, 5, 20, 23, 24,
More informationExtending SLURM with Support for GPU Ranges
Available on-line at www.prace-ri.eu Partnership for Advanced Computing in Europe Extending SLURM with Support for GPU Ranges Seren Soner a, Can Özturana,, Itir Karac a a Computer Engineering Department,
More informationDepartment of Electrical and Computer Engineering
LAGRANGIAN RELAXATION FOR GATE IMPLEMENTATION SELECTION Yi-Le Huang, Jiang Hu and Weiping Shi Department of Electrical and Computer Engineering Texas A&M University OUTLINE Introduction and motivation
More informationMetal-Density Driven Placement for CMP Variation and Routability
Metal-Density Driven Placement for CMP Variation and Routability ISPD-2008 Tung-Chieh Chen 1, Minsik Cho 2, David Z. Pan 2, and Yao-Wen Chang 1 1 Dept. of EE, National Taiwan University 2 Dept. of ECE,
More informationOlink NPX Manager. User Guide
Olink NPX Manager User Guide Table of contents INTRODUCTION 3 Process 3 Limitations 3 Requirements for analysis 3 List of abbreviations 3 TO CREATE A HEAT MAP CT CSV FILE 4 OLINK NPX MANAGER STEP BY STEP
More informationS800 Spectrawave Visible Diode Array Spectrophotometer
6 SCANNING VISIBLE INSTRUMENT FOR EDUCATION OPTIMISED FOR THE TEACHING LABORATORY S800 Spectrawave Visible Diode Array Spectrophotometer ABSORBANCE, % TRANSMISSION, CONCENTRATION AND KINETICS LARGE, EASY
More informationRecord Placement Based on Data Skew Using Solid State Drives
BPOE-5 Record Placement Based on Data Skew Using Solid State Drives Jun Suzuki 1,2, Shivaram Venkataraman 2, Sameer Agarwal 2, Michael Franklin 2, and Ion Stoica 2 1 Green Platform Research Laboratories,
More informationObstacle-Aware Longest-Path Routing with Parallel MILP Solvers
, October 20-22, 2010, San Francisco, USA Obstacle-Aware Longest-Path Routing with Parallel MILP Solvers I-Lun Tseng, Member, IAENG, Huan-Wen Chen, and Che-I Lee Abstract Longest-path routing problems,
More informationGeorge Reloaded. M. Monaci (University of Padova, Italy) joint work with M. Fischetti. MIP Workshop, July 2010
George Reloaded M. Monaci (University of Padova, Italy) joint work with M. Fischetti MIP Workshop, July 2010 Why George? Because of Karzan, Nemhauser, Savelsbergh Information-based branching schemes for
More informationBIOINFORMATICS APPLICATIONS NOTE
BIOINFORMATICS APPLICATIONS NOTE Sequence analysis BRAT: Bisulfite-treated Reads Analysis Tool (Supplementary Methods) Elena Y. Harris 1,*, Nadia Ponts 2, Aleksandr Levchuk 3, Karine Le Roch 2 and Stefano
More informationComputational Methods in IS Research Fall Graph Algorithms Network Flow Problems
Computational Methods in IS Research Fall 2017 Graph Algorithms Network Flow Problems Nirmalya Roy Department of Information Systems University of Maryland Baltimore County www.umbc.edu Network Flow Problems
More informationSymmetrical Buffered Clock-Tree Synthesis with Supply-Voltage Alignment
Symmetrical Buffered Clock-Tree Synthesis with Supply-Voltage Alignment Xin-Wei Shih, Tzu-Hsuan Hsu, Hsu-Chieh Lee, Yao-Wen Chang, Kai-Yuan Chao 2013.01.24 1 Outline 2 Clock Network Synthesis Clock network
More informationA Case Study: Performance Evaluation of a DRAM-Based Solid State Disk
A Case Study: Performance Evaluation of a DRAM-Based Solid State Disk Hitoshi Oi The University of Aizu November 2, 2007 Japan-China Joint Workshop on Frontier of Computer Science and Technology (FCST)
More informationEDA for ONoCs: Achievements, Challenges, and Opportunities. Ulf Schlichtmann Dresden, March 23, 2018
EDA for ONoCs: Achievements, Challenges, and Opportunities Ulf Schlichtmann Dresden, March 23, 2018 1 Outline Placement PROTON (nonlinear) PLATON (force-directed) Maze Routing PlanarONoC Challenges Opportunities
More informationarxiv: v1 [cs.ar] 14 May 2017
Post-Route Alleviation of Dense Meander Segments in High-Performance Printed Circuit Boards Tsun-Ming Tseng Bing Li Tsung-Yi Ho Ulf Schlichtmann tsun-ming.tseng@tum.de b.li@tum.de tyho@csie.ncku.edu.tw
More informationModel and Algorithms for the Density, Coverage and Connectivity Control Problem in Flat WSNs
Model and Algorithms for the Density, Coverage and Connectivity Control Problem in Flat WSNs Flávio V. C. Martins, cruzeiro@dcc.ufmg.br Frederico P. Quintão, fred@dcc.ufmg.br Fabíola G. Nakamura fgnaka@dcc.ufmg.br,fabiola@dcc.ufam.edu.br
More informationPFAC Library: GPU-Based String Matching Algorithm
PFAC Library: GPU-Based String Matching Algorithm Cheng-Hung Lin Lung-Sheng Chien Chen-Hsiung Liu Shih-Chieh Chang Wing-Kai Hon National Taiwan Normal University, Taipei, Taiwan National Tsing-Hua University,
More informationSolving the Euclidean Steiner Tree Problem in n-space
Solving the Euclidean Steiner Tree Problem in n-space Marcia Fampa (UFRJ), Jon Lee (U. Michigan), and Wendel Melo (UFRJ) January 2015 Marcia Fampa, Jon Lee, Wendel Melo Solving the Euclidean Steiner Tree
More informationProtein Quantification Kit (BCA Assay)
Protein Quantification Kit (BCA Assay) Booklet Item NO. KTD3001 Product Name Protein Quantification Kit (BCA Assay) ATTENTION For laboratory research use only. Not for clinical or diagnostic use Version
More informationR-Storm: A Resource-Aware Scheduler for STORM. Mohammad Hosseini Boyang Peng Zhihao Hong Reza Farivar Roy Campbell
R-Storm: A Resource-Aware Scheduler for STORM Mohammad Hosseini Boyang Peng Zhihao Hong Reza Farivar Roy Campbell Introduction STORM is an open source distributed real-time data stream processing system
More informationMEXICO (52) NETHERLANDS (31) SINGAPORE (65) SOUTH AFRICA (27) / 5 SPAIN (34)
WORLDCLASS GLOBAL SUPPORT AUSTRALIA (61) 2 9844 6000 GERMANY (49) 2151 333 625 MEXICO (52) 5 559 1635 SWEDEN (46) 8 564 85900 CANADA (1) 905 819 1234 HONG KONG (852) 2814 7431 NETHERLANDS (31) 2972 30630
More informationMemory Scalability Evaluation of the Next-Generation Intel Bensley Platform with InfiniBand
Memory Scalability Evaluation of the Next-Generation Intel Bensley Platform with InfiniBand Matthew Koop, Wei Huang, Ahbinav Vishnu, Dhabaleswar K. Panda Network-Based Computing Laboratory Department of
More informationUNIVERSITY OF CASTILLA-LA MANCHA. Computing Systems Department
UNIVERSITY OF CASTILLA-LA MANCHA Computing Systems Department A case study on implementing virtual 5D torus networks using network components of lower dimensionality HiPINEB 2017 Francisco José Andújar
More informationThe NGAL Test Application Note for Abbott Architect c8000
The NGAL Test Application Note for Abbott Architect c8 General parameters Name: NGAL Assay number: *1 Assay version: 1 Assay type: Photometric Assay availability: Enabled Cal version: 1 Reaction definition
More informationApplication-Transparent Checkpoint/Restart for MPI Programs over InfiniBand
Application-Transparent Checkpoint/Restart for MPI Programs over InfiniBand Qi Gao, Weikuan Yu, Wei Huang, Dhabaleswar K. Panda Network-Based Computing Laboratory Department of Computer Science & Engineering
More informationA mixed integer program for cyclic scheduling of flexible flow lines
BULLETIN OF THE POLISH ACADEMY OF SCIENCES TECHNICAL SCIENCES, Vol. 62, No. 1, 2014 DOI: 10.2478/bpasts-2014-0014 A mixed integer program for cyclic scheduling of flexible flow lines T. SAWIK AGH University
More informationQoS Handling with DVFS (CPUfreq & Devfreq)
QoS Handling with DVFS (CPUfreq & Devfreq) MyungJoo Ham SW Center, 1 Performance Issues of DVFS Performance Sucks w/ DVFS! Battery-life Still Matters More Devices (components) w/ DVFS More Performance
More informationCBAN: An Embedded Patient Monitoring Body Area Network
Seminar Three CBAN: An Embedded Patient Monitoring Body Area Network Student Saurabh Rastogi, SCE Supervisors Assoc Prof Lin Feng, SCE Asst Prof Mark Chavez, ADM 22/02/2011 Body Area Networks : Introduction
More informationA Hierarchical Bin-Based Legalizer for Standard-Cell Designs with Minimal Disturbance
A Hierarchical Bin-Based Legalizer for Standard- Designs with Minimal Disturbance Yu-Min Lee, Tsung-You Wu, and Po-Yi Chiang Department of Electrical Engineering National Chiao Tung University ASPDAC,
More informationEvaluation of ILP-based Approaches for Partitioning into Colorful Components
Evaluation of ILP-based Approaches for Partitioning into Colorful Components Sharon Bruckner 1 Falk Hüffner 2 Christian Komusiewicz 2 Rolf Niedermeier 2 1 Institut für Mathematik, Freie Universität Berlin
More informationPerformance Modeling and Analysis of Flash based Storage Devices
Performance Modeling and Analysis of Flash based Storage Devices H. Howie Huang, Shan Li George Washington University Alex Szalay, Andreas Terzis Johns Hopkins University MSST 11 May 26, 2011 NAND Flash
More informationCorrelation based File Prefetching Approach for Hadoop
IEEE 2nd International Conference on Cloud Computing Technology and Science Correlation based File Prefetching Approach for Hadoop Bo Dong 1, Xiao Zhong 2, Qinghua Zheng 1, Lirong Jian 2, Jian Liu 1, Jie
More informationLogic Synthesis for Energy-Efficient Photonic Integrated Circuits
リレーションシップ ID rid4 のイメージパーツがファイルにありませんでした Logic Synthesis for Energy-Efficient Photonic Integrated Circuits Zheng Zhao, Zheng Wang, Zhoufeng Ying, Shounak Dhar, Ray T. Chen, and David Z. Pan Dept. of Electrical
More informationdynpartix - A Dynamic Programming Reasoner for Abstract Argumentation
dynpartix - A Dynamic Programming Reasoner for Abstract Argumentation INAP 2011, Vienna Wolfgang Dvořák, Michael Morak, Clemens Nopp, and Stefan Woltran Institute of Information Systems, Vienna University
More informationCoverage at the Formal Specification Level
Coverage at the Formal Specification Level Rolf Drechsler, Julia Seiter, Mathias Soeken Institute of Computer Science University of Bremen, Germany {drechsle,jseiter,msoeken}@informatik.uni-bremen.de Cyber-Physical
More informationTECHNICAL NOTE THE NEXT GENERATION OF MICROPLATES. TN0003: Optimiser Microplate System (ELISA) on the Tecan Infinite. Setup Guide
TECHNICAL NOTE TN0003: Optimiser Microplate System (ELISA) on the Tecan Infinite M200 Microplate Reader Setup Guide THE NEXT GENERATION OF MICROPLATES Better Immunoassays through Innovative Microfluidics
More informationInterconnect Delay and Area Estimation for Multiple-Pin Nets
Interconnect Delay and Area Estimation for Multiple-Pin Nets Jason Cong and David Z. Pan UCLA Computer Science Department Los Angeles, CA 90095 Sponsored by SRC and Avant!! under CA-MICRO Presentation
More informationVariable Neighborhood Search for Solving the Balanced Location Problem
TECHNISCHE UNIVERSITÄT WIEN Institut für Computergraphik und Algorithmen Variable Neighborhood Search for Solving the Balanced Location Problem Jozef Kratica, Markus Leitner, Ivana Ljubić Forschungsbericht
More informationTECHNICAL NOTE NEXT GENERATION OF MICROPLATES TN0004: Optimiser Microplate System (ELISA) the BMG FLUOStar. Omega Microplate
TECHNICAL NOTE TN0004: Optimiser Microplate System (ELISA) Setup on the BMG FLUOStar Omega Microplate Reader Guide THE NEXT GENERATION OF MICROPLATES Better Immunoassays through Innovative Microfluidics
More informationIterative Optimization in VTD to Maximize the Open Capacity of WDM Networks
Iterative Optimization in VTD to Maximize the Open Capacity of WDM Networks Karcius D.R. Assis, Marcio S. Savasini and Helio Waldman DECOM/FEEC/UNICAMP, CP. 6101, 13083-970 Campinas, SP-BRAZIL Tel: +55-19-37883793,
More informationPSA: Performance and Space-Aware Data Layout for Hybrid Parallel File Systems
PSA: Performance and Space-Aware Data Layout for Hybrid Parallel File Systems Shuibing He, Yan Liu, Xian-He Sun Department of Computer Science Illinois Institute of Technology I/O Becomes the Bottleneck
More informationParticleworks: Particle-based CAE Software fully ported to GPU
Particleworks: Particle-based CAE Software fully ported to GPU Introduction PrometechVideo_v3.2.3.wmv 3.5 min. Particleworks Why the particle method? Existing methods FEM, FVM, FLIP, Fluid calculation
More informationParallel & Cluster Computing. cs 6260 professor: elise de doncker by: lina hussein
Parallel & Cluster Computing cs 6260 professor: elise de doncker by: lina hussein 1 Topics Covered : Introduction What is cluster computing? Classification of Cluster Computing Technologies: Beowulf cluster
More informationAn Efficient Algorithm for Solving Traffic Grooming Problems in Optical Networks
An Efficient Algorithm for Solving Traffic Grooming Problems in Optical Networks Hui Wang, George N. Rouskas Operations Research and Department of Computer Science, North Carolina State University, Raleigh,
More informationBoosting Minimal Unsatisfiable Core Extraction: Paper Addendum. Alexander Nadel
Boosting Minimal Unsatisfiable Core Extraction: Paper Addendum Alexander Nadel Intel Corporation, P.O. Box 1659, Haifa 3115 Israel alexander.nadel@intel.com Abstract. This document is an addendum to [38].
More informationStandard Optimization Techniques
12 Standard Optimization Techniques Peter Marwedel TU Dortmund, Informatik 12 Germany Springer, 2010 2012 年 12 月 19 日 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Structure
More informationElectrophoresis File Run Summary
2100 expert DE72901460_2010-02-02_14-04-56.xad Page 1 of 10 C:\...-02\2100 expert DE72901460_2010-02-02_14-04-56.xad Electrophoresis File Run Summary Instrument Information: Instrument Name: DE72901460
More informationProperly Sizing Processing and Memory for your AWMS Server
Overview This document provides guidelines for purchasing new hardware which will host the AirWave Wireless Management System. Your hardware should incorporate margin for WLAN expansion as well as future
More information