78 search results - page 3 / 16 » ProB: an automated analysis toolset for the B method |
ISBI
2006
IEEE
14 years 6 months ago
2006
IEEE
Recent advances in bio-molecular imaging have afforded biologists a more thorough understanding of cellular functions in complex tissue structures. For example, high resolution fl...
DAC
2006
ACM
13 years 11 months ago
2006
ACM
Microfluidics-based biochips, also referred to as lab-on-a-chip (LoC), are devices that integrate fluid-handling functions such as sample preparation, analysis, separation, and de...
BMCBI
2008
13 years 5 months ago
2008
Background: The analysis of expressed sequence tags (EST) offers a rapid and cost effective approach to elucidate the transcriptome of an organism, but requires several computatio...
RTAS
2005
IEEE
13 years 11 months ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
ISBI
2006
IEEE
14 years 6 months ago
2006
IEEE
The method of microtubule tracking and dynamics analysis, presented here, improves upon the current means of manual and automated quantification of microtubule behavior. Key contr...