2623 search results - page 92 / 525 » tools 2010 |
BMCBI
2010
13 years 10 months ago
2010
Background: Advances in biotechnology and in high-throughput methods for gene analysis have contributed to an exponential increase in the number of scientific publications in thes...
SG
2010
Springer
14 years 3 months ago
2010
Springer
While many visualization tools exist that offer sophisticated functions for charting complex data, they still expect users to possess a high degree of expertise in wielding the to...
UM
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
EDUTAINMENT
2010
Springer
13 years 11 months ago
2010
Springer
Design becomes more and more the art of bringing together expertise and experts from different domains in creating future products. Synthetical knowledge and hands-on skills in des...