2935 search results - page 561 / 587 » An Integrated Approach to High Integrity Software Verificati... |
149
click to vote
ACE
2004
15 years 5 months ago
2004
A conversational method of teaching whereby the students engage each other as a key part of the learning experience achieves a higher percentage of high grades (and presumably bet...
151
click to vote
ADCS
2004
15 years 5 months ago
2004
Relevance profiling is a general process for withindocument retrieval. Given a query, a profile of retrieval status values is computed by sliding a fixed sized window across a doc...
150
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Sensitivity analysis is an indispensable tool for the analysis of complex systems. In a recent paper, we have introduced a thermodynamically consistent variance-based ...
142
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Traditional HTML interfaces for input to and output from Bioinformatics analysis on the Web are highly variable in style, content and data formats. Combining multiple ...
119
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: In recent years, the number of High Throughput Screening (HTS) assays deposited in PubChem has grown quickly. As a result, the volume of both the structured informatio...