Sciweavers

7404 search results - page 1217 / 1481
» New Tools in Education
Sort
View
MICCAI
2005
Springer
16 years 8 days ago
Characterizing Vascular Connectivity from microCT Images
Abstract. X-ray microCT (computed tomography) has become a valuable tool in the analysis of vascular architecture in small animals. Because of its high resolution, a detailed asses...
Marcel Jackowski, Xenophon Papademetris, Lawrence ...
MKM
2005
Springer
16 years 8 days ago
Assisted Proof Document Authoring
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
David Aspinall, Christoph Lüth, Burkhart Wolf...
OOPSLA
2005
Springer
16 years 8 days ago
Refactoring support for class library migration
As object-oriented class libraries evolve, classes are occasionally deprecated in favor of others with roughly the same functionality. In Java’s standard libraries, for example,...
Ittai Balaban, Frank Tip, Robert M. Fuhrer
PAM
2005
Springer
16 years 8 days ago
Using Simple Per-Hop Capacity Metrics to Discover Link Layer Network Topology
At present, link layer topology discovery methodologies rely on protocols that are not universally available, such as SNMP. Such methodologies can only be applied to a subset of al...
Shane Alcock, Anthony McGregor, Richard Nelson
PCI
2005
Springer
16 years 8 days ago
Protein Classification with Multiple Algorithms
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...
Sotiris Diplaris, Grigorios Tsoumakas, Pericles A....
« Prev « First page 1217 / 1481 Last » Next »