4460 search results - page 552 / 892 » Formal methods for interactive systems |
162
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
Progress in adapting molecular dynamics algorithms for systems with short-range interactions to utilize the features of modern supercomputers is described. Efficient utilization o...
193
click to vote
ACMDIS
2010
ACM
15 years 4 months ago
2010
ACM
Ideation Decks is a project that explores the development of a methodological tool for design ideation. It involves the creation and use of bespoke project-specific card based sys...
196
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Protein sequence clustering has been widely used as a part of the analysis of protein structure and function. In most cases single linkage or graph-based clustering al...
183
click to vote
HICSS
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
176
click to vote
SCFBM
2008
15 years 6 months ago
2008
Background: High throughput laboratory techniques generate huge quantities of scientific data. Laboratory Information Management Systems (LIMS) are a necessary requirement, dealin...