Sciweavers

23 search results - page 5 / 5
» Computational methods for diffusion-influenced biochemical r...
Sort
View
VLSID
2007
IEEE
131views VLSI» more  VLSID 2007»
14 years 10 months ago
Defect-Aware Synthesis of Droplet-Based Microfluidic Biochips
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
Tao Xu, Krishnendu Chakrabarty, Fei Su
CAV
2009
Springer
135views Hardware» more  CAV 2009»
14 years 10 months ago
Sliding Window Abstraction for Infinite Markov Chains
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
Thomas A. Henzinger, Maria Mateescu, Verena Wolf
CORR
2004
Springer
223views Education» more  CORR 2004»
13 years 9 months ago
MultiNeuron - Neural Networks Simulator For Medical, Physiological, and Psychological Applications
This work describes neural software applied in medicine and physiology to: - investigate and diagnose immune deficiencies; diagnose and study allergic and pseudoallergic reactions...
Alexander N. Gorban, D. A. Rossiyev, M. G. Dorrer