Sciweavers

2521 search results - page 467 / 505
» Design and Evaluation in Visualization Research
Sort
View
BMCBI
2008
117views more  BMCBI 2008»
14 years 11 months ago
Using a logical model to predict the growth of yeast
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...
Ken E. Whelan, Ross D. King
EMINDS
2007
97views more  EMINDS 2007»
14 years 11 months ago
Exploring Text-based and Graphical-based Usable Interfaces for Mobile Chat Systems
Abstract Current text-based mobile chat systems hinder navigation with long chat archive in a limited screen display. Moreover, it is time consuming and cumbersome to track message...
Daniel Kuen Seong Su
ASE
2005
124views more  ASE 2005»
14 years 11 months ago
Reuse-Conducive Development Environments
Despite its well-recognized benefits, software reuse has not met its expected success due to technical, cognitive, and social difficulties. We have systematically analyzed the reu...
Yunwen Ye, Gerhard Fischer
VSTTE
2010
Springer
14 years 9 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
BMCBI
2010
108views more  BMCBI 2010»
14 years 6 months ago
Preferred analysis methods for Affymetrix GeneChips. II. An expanded, balanced, wholly-defined spike-in dataset
Background: Concomitant with the rise in the popularity of DNA microarrays has been a surge of proposed methods for the analysis of microarray data. Fully controlled "spike-i...
Qianqian Zhu, Jeffrey C. Miecznikowski, Marc S. Ha...