Sciweavers

23 search results - page 5 / 5
» Computational methods for diffusion-influenced biochemical r...
Sort
View
VLSID
2007
IEEE
131views VLSI» more  VLSID 2007»
16 years 2 days 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»
16 years 7 days 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
76
Voted
CORR
2004
Springer
223views Education» more  CORR 2004»
14 years 11 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