Towards Microfluidic Design Automation
暂无分享,去创建一个
[1] T. Ikeda. Fundamentals of piezoelectricity , 1990 .
[2] Kristen L. Helton,et al. Microfluidic Overview of Global Health Issues Microfluidic Diagnostic Technologies for Global Public Health , 2006 .
[3] Roberto Bruttomesso,et al. Flexible interpolation with local proof transformations , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[4] R. Danchin,et al. Fourier Analysis Methods for PDE's , 2005 .
[5] Alberto L. Sangiovanni-Vincentelli,et al. CalCS: SMT solving for non-linear convex constraints , 2010, Formal Methods in Computer Aided Design.
[6] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[7] Yan Yu,et al. A methodology for design and reconfiguration of reconfigurable bending press machines (RBPMs) , 2014 .
[8] Krishnendu Chakrabarty,et al. Design automation methods and tools for microfluidics-based biochips , 2006 .
[9] S. Quake,et al. Microfluidic Large-Scale Integration , 2002, Science.
[10] Paul Pop,et al. Modeling and simulation framework for flow-based microfluidic biochips , 2013, 2013 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP).
[11] Edmund M. Clarke,et al. δ-Complete Decision Procedures for Satisfiability over the Reals , 2012, IJCAR.
[12] C. Hankins,et al. An AIDS test that travels well. , 1993, The IDRC reports.
[13] Edward A. Lee,et al. Fundamental Algorithms for System Modeling, Analysis, and Optimization , 2013 .
[14] Bingcheng Lin,et al. Electrophoretic separations on microfluidic chips , 2007, Journal of Chromatography A.
[15] K. Hjort,et al. A latchable paraffin actuated high-pressure microfluidic valve , 2009, TRANSDUCERS 2009 - 2009 International Solid-State Sensors, Actuators and Microsystems Conference.
[16] Wha Wil Schilders,et al. Introduction to model order reduction , 2008 .
[17] Zhijian Wang,et al. Rapid manufacturing of vacuum forming components utilising reconfigurable screw pin tooling , 2010 .
[18] I. R. McNab,et al. A long-range naval railgun , 2003 .
[19] Andrew B. Kahng,et al. Evaluation of placement techniques for DNA probe array layout , 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).
[20] Fei Su,et al. System-level design automation tools for digital microfluidic biochips , 2005, 2005 Third IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'05).
[21] A. Oberoi,et al. Evaluation of rapid kits for detection of HIV, HBsAg and HCV infections. , 2000, Indian journal of medical sciences.
[22] S. Pearson,et al. The impact of the transient response of organic light emitting diodes on the design of active matrix OLED displays , 1998, International Electron Devices Meeting 1998. Technical Digest (Cat. No.98CH36217).
[23] Robert B. Cox,et al. A low voltage “railgun” , 2013 .
[24] César A. Muñoz,et al. Formalization of Bernstein Polynomials and Applications to Global Optimization , 2013, Journal of Automated Reasoning.
[25] H. Eschrig,et al. High-field NMR in pulsed magnets. , 2003, Solid state nuclear magnetic resonance.
[26] Edmund M. Clarke,et al. Delta-Decidability over the Reals , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
[27] Sriram Sankaranarayanan,et al. Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems , 2010, Formal Methods in Computer Aided Design.
[28] Nada Amin,et al. Computer-aided design for microfluidic chips based on multilayer soft lithography , 2009, 2009 IEEE International Conference on Computer Design.
[29] Stephen P. Boyd,et al. A tutorial on geometric programming , 2007, Optimization and Engineering.
[30] J. Madsen,et al. Synthesis of biochemical applications on flow-based microfluidic biochips using constraint programming , 2012, 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS.
[31] K. Kain,et al. The performance and utility of rapid diagnostic assays for Plasmodium falciparum malaria in a field setting in the Lao People's Democratic Republic. , 2001, Annals of tropical medicine and parasitology.
[32] S. J. van der Molen,et al. The role of Joule heating in the formation of nanogaps by electromigration , 2005, cond-mat/0510385.
[33] Philip Brisk,et al. Design and verification tools for continuous fluid flow-based microfluidic devices , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
[34] Nils Gleichmann,et al. SYSTEM SIMULATION FOR MICROFLUIDIC DESIGN AUTOMATION OF LAB-ON-A-CHIP DEVICES , 2011 .
[35] Neil Sclater,et al. Mechanisms and Mechanical Devices Sourcebook , 1991 .
[36] D. Do,et al. Applied Mathematics and Modeling for Chemical Engineers , 1994 .
[37] Javad Jafari Fesharaki,et al. Design, fabrication, and use of a new reconfigurable discrete die for forming tubular parts , 2014 .
[38] Nicolas Bremond,et al. Decompressing emulsion droplets favors coalescence. , 2008, Physical review letters.
[39] Daniel F. Walczyk,et al. Reconfigurable pin-type tooling : A survey of prior art and reduction to practice , 2007 .
[40] Philip Brisk,et al. Recent developments in microfluidic large scale integration. , 2014, Current opinion in biotechnology.
[41] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .
[42] Malay K. Ganai,et al. Efficient decision procedure for non-linear arithmetic constraints using CORDIC , 2009, 2009 Formal Methods in Computer-Aided Design.
[43] Sanjay G. Dhande,et al. A flexible surface tooling for sheet-forming processes: conceptual studies and numerical simulation , 2002 .
[44] S. Malin,et al. Design software for application-specific microfluidic devices. , 2007, Clinical chemistry.
[45] Frédéric Benhamou,et al. Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques , 2006, TOMS.
[46] U. Simu,et al. Metallic High-Pressure Microfluidic Pump with Active Valves , 2007, TRANSDUCERS 2007 - 2007 International Solid-State Sensors, Actuators and Microsystems Conference.
[47] John Crank,et al. The Mathematics Of Diffusion , 1956 .