Sciweavers

65 search results - page 2 / 13
» Randomness and Determination, from Physics and Computing tow...
Sort
View
JUCS
2000
102views more  JUCS 2000»
13 years 4 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
RECOMB
2000
Springer
13 years 8 months ago
Contig selection in physical mapping
In physical mapping, one orders a set of genetic landmarks or a library of cloned fragments of DNA according to their position in the genome. Our approach to physical mapping divi...
Steffen Heber, Jens Stoye, Jörg D. Hoheisel, ...
ISMB
2000
13 years 5 months ago
Towards a Systematics for Protein Subcellular Location: Quantitative Description of Protein Localization Patterns and Automated
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
Robert F. Murphy, Michael V. Boland, Meel Velliste
PRICAI
2010
Springer
13 years 2 months ago
Towards Artificial Systems: What Can We Learn from Human Perception?
Research in learning algorithms and sensor hardware has led to rapid advances in artificial systems over the past decade. However, their performance continues to fall short of the ...
Heinrich H. Bülthoff, Lewis L. Chuang
BILDMED
2009
107views Algorithms» more  BILDMED 2009»
13 years 5 months ago
Towards an Estimation of Acoustic Impedance from Multiple Ultrasound Images
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
Christian Wachinger, Ramtin Shams, Nassir Navab