Sciweavers

103 search results - page 9 / 21
» A Formal Methods Approach to Medical Device Review
Sort
View
ISBI
2007
IEEE
14 years 5 months ago
Autocorrecting Reconstruction for Flexible Ct Scanners
Nanotechnology researchers are developing miniature, lowpower x-ray devices. These innovations might revolutionize the world of computed tomography (CT). Tiny x-ray emitters and d...
Jeff Orchard, Alexei Ramotar
CHARME
2001
Springer
133views Hardware» more  CHARME 2001»
14 years 3 months ago
View from the Fringe of the Fringe
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
Steven D. Johnson
CVPR
2009
IEEE
1942views Computer Vision» more  CVPR 2009»
15 years 6 months ago
Learning Similarity Measure for Multi-Modal 3D Image Registration
Multi-modal image registration is a challenging problem in medical imaging. The goal is to align anatomically identical structures; however, their appearance in images acquired wit...
Bernhard Schölkopf, Daewon Lee, Florian Stein...
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
14 years 5 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
BMCBI
2011
13 years 5 months ago
A novel approach to the clustering of microarray data via nonparametric density estimation
Background: Cluster analysis is a crucial tool in several biological and medical studies dealing with microarray data. Such studies pose challenging statistical problems due to di...
Riccardo De Bin, Davide Risso