Sciweavers

16616 search results - page 90 / 3324
» Extending Extended Vacuity
Sort
View
HIJ
2006
89views more  HIJ 2006»
15 years 4 months ago
Extending the role of a healthcare digital library environment to support orthopaedic research
A digital archive, together with its users and its contents, does not exist in isolation - there is a cycle of activities which provides the context for the archive's existen...
Timothy Miles-Board, Leslie Carr, Gary B. Wills, G...
IJBRA
2006
59views more  IJBRA 2006»
15 years 4 months ago
Predicting altered pathways using extendable scaffolds
: Many diseases, especially solid tumors, involve the disruption or deregulation of cellular processes. Most current work using gene expression and other high-throughput data, simp...
B. M. Broom, T. J. McDonnell, D. Subramanian
IVS
2008
138views more  IVS 2008»
15 years 4 months ago
Extending the attribute explorer to support professional team-sport analysis
Advances in interactive systems and the ability to manage increasing amounts of high-dimensional data provide new opportunities in numerous domains. Information visualization tech...
Pär-Anders Albinsson, Dennis Andersson
JCT
2006
80views more  JCT 2006»
15 years 4 months ago
Extending precolorings to circular colorings
Fix positive integers k , d , k, d such that k /d > k/d 2. If P is a set of vertices in a (k, d)-colorable graph G, and any two vertices of P are separated by distance at leas...
Michael O. Albertson, Douglas B. West
ENTCS
2007
96views more  ENTCS 2007»
15 years 4 months ago
A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
Andrew W. Appel, Xavier Leroy