Sciweavers

1137 search results - page 210 / 228
» Disciplined Methods of Software Specification: A Case Study
Sort
View
BMCBI
2006
111views more  BMCBI 2006»
13 years 10 months ago
High throughput profile-profile based fold recognition for the entire human proteome
Background: In order to maintain the most comprehensive structural annotation databases we must carry out regular updates for each proteome using the latest profile-profile fold r...
Liam J. McGuffin, Richard T. Smith, Kevin Bryson, ...
BMCBI
2011
13 years 4 months ago
SAQC: SNP array quality control
Background: Genome-wide single-nucleotide polymorphism (SNP) arrays containing hundreds of thousands of SNPs from the human genome have proven useful for studying important human ...
Hsin-Chou Yang, Hsin-Chi Lin, Meijyh Kang, Chun-Ho...
BMCBI
2008
160views more  BMCBI 2008»
13 years 10 months ago
Predicting cancer involvement of genes from heterogeneous data
Background: Systematic approaches for identifying proteins involved in different types of cancer are needed. Experimental techniques such as microarrays are being used to characte...
Ramon Aragues, Chris Sander, Baldo Oliva
CHI
2008
ACM
14 years 10 months ago
A framework for mobile evaluation
In this paper we present a software framework which supports the construction and evaluation of mixedfidelity prototypes for mobile devices. The framework is available for desktop...
Marco de Sá, Luís Carriço, Lu...
ISSRE
2006
IEEE
14 years 4 months ago
A State Exploration-Based Approach to Testing Java Monitors
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
Yu Lei, Richard H. Carver, David Chenho Kung, Vidu...