Sciweavers

1954 search results - page 212 / 391
» A requirements analysis for videogame design support tools
Sort
View
174
Voted
BMCBI
2007
153views more  BMCBI 2007»
15 years 6 months ago
MPHASYS: a mouse phenotype analysis system
Background: Systematic, high-throughput studies of mouse phenotypes have been hampered by the inability to analyze individual animal data from a multitude of sources in an integra...
R. Brent Calder, Rudolf B. Beems, Harry van Steeg,...
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 10 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
174
Voted
BMCBI
2006
133views more  BMCBI 2006»
15 years 6 months ago
Web-based analysis of the mouse transcriptome using Genevestigator
Background: Gene function analysis often requires a complex and laborious sequence of laboratory and computer-based experiments. Choosing an effective experimental design generall...
Oliver Laule, Matthias Hirsch-Hoffmann, Tomas Hruz...
EUROPAR
2008
Springer
15 years 8 months ago
Parametric Studies in Eclipse with TAU and PerfExplorer
Abstract. With support for C/C++, Fortran, MPI, OpenMP, and performance tools, the Eclipse integrated development environment (IDE) is a serious contender as a programming environm...
Kevin A. Huck, Wyatt Spear, Allen D. Malony, Samee...
NAR
2008
125views more  NAR 2008»
15 years 6 months ago
Phylogeny.fr: robust phylogenetic analysis for the non-specialist
Phylogenetic analyses are central to many research areas in biology and typically involve the identification of homologous sequences, their multiple alignment, the phylogenetic re...
Alexis Dereeper, V. Guignon, G. Blanc, Stép...