4421 search results - page 540 / 885 » Libraries |
166
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
126
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper describes a new technique for embedding a message within structured shapes. It is desired that my changes in the shape owing to the embedded message are invisible to a ...
129
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Systems biologists are faced with the difficultly of analyzing results from large-scale studies that profile the activity of many genes, RNAs and proteins, applied in ...
134
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Accurately covering the conformational space of amino acid side chains is essential for important applications such as protein design, docking and high resolution stru...
132
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Current imaging methods such as Magnetic Resonance Imaging (MRI), Confocal microscopy, Electron Microscopy (EM) or Selective Plane Illumination Microscopy (SPIM) yield...