Sciweavers

3069 search results - page 406 / 614
» Thinking about Technology
Sort
View
DAC
2007
ACM
16 years 6 months ago
Placement of 3D ICs with Thermal and Interlayer Via Considerations
Thermal problems and limitations on interlayer via densities are important design constraints on three-dimensional integrated circuits (3D ICs), and need to be considered during g...
Brent Goplen, Sachin S. Sapatnekar
SIGSOFT
2003
ACM
16 years 5 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
ISBI
2002
IEEE
16 years 5 months ago
Features of the NIH atlas small animal PET scanner and its use with a coaxial small animal volume CT scanner
ATLAS (Advanced Technology Laboratory Animal Scanner), a small animal PET scanner designed to image animals the size of rats and mice, is about to enter service on the NIH campus ...
Jürgen Seidel, Juan J. Vaquero, Javier Pascau...
117
Voted
ISBI
2004
IEEE
16 years 5 months ago
Phase-Correlated Dynamic CT
Phase?correlated CT is the measurement of an organ that exhibits quasi?periodic motion. Dedicated image reconstruction algorithms utilize only those data ranges that have been acq...
Marc Kachelriess
ISBI
2006
IEEE
16 years 5 months ago
Towards automated bioimage analysis: from features to semantics
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...
B. S. Manjunath, Baris Sumengen, Zhiqiang Bi, Jiyu...