Sciweavers

3042 search results - page 539 / 609
» Designing for all users: including the odd users
Sort
View
SSDBM
2005
IEEE
99views Database» more  SSDBM 2005»
15 years 3 months ago
Incorporating Semantics in Scientific Workflow Authoring
The tools used to analyze scientific data are often distinct from those used to archive, retrieve, and query data. A scientific workflow environment, however, allows one to seamles...
Chad Berkley, Shawn Bowers, Matthew B. Jones, Bert...
BMCBI
2006
135views more  BMCBI 2006»
14 years 10 months ago
iHAP - integrated haplotype analysis pipeline for characterizing the haplotype structure of genes
Background: The advent of genotype data from large-scale efforts that catalog the genetic variants of different populations have given rise to new avenues for multifactorial disea...
Chun Meng Song, Boon Huat Yeo, Erwin Tantoso, Yuch...
NAR
2000
104views more  NAR 2000»
14 years 9 months ago
Transterm: a database of messenger RNA components and signals
Transterm facilitates studies of messenger RNAs and translational control signals. Each messenger RNA (mRNA) from GenBank is extracted and broken into its functional components, i...
Grant H. Jacobs, Peter A. Stockwell, Mark J. Schre...
VSTTE
2010
Springer
14 years 7 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
DLS
2009
227views Languages» more  DLS 2009»
14 years 7 months ago
The ruby intermediate language
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
Michael Furr, Jong-hoon (David) An, Jeffrey S. Fos...