407 search results - page 15 / 82 » An Intuitive Automated Modelling Interface for Systems Biolo... |
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Manual pronuclei injection and intracytoplasmic sperm injection (ICSI) requires long training and has low success rates primarily due to poor control over the injection force. Con...
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
73
Voted
ISBI
2007
IEEE
15 years 4 months ago
2007
IEEE
Quantifying the motion and deformation of large numbers of cells through image sequences obtained with fluorescence microscopy is a recurrent task in many biological studies. Aut...
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...