Sciweavers

10271 search results - page 1760 / 2055
» Computer Science
Sort
View
PVM
2005
Springer
16 years 3 days ago
Calculation of Single-File Diffusion Using Grid-Enabled Parallel Generic Cellular Automata Simulation
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
Marcus Komann, Christian Kauhaus, Dietmar Fey
FPGA
2004
ACM
174views FPGA» more  FPGA 2004»
16 years 17 hour ago
A compiled accelerator for biological cell signaling simulations
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
John F. Keane, Christopher Bradley, Carl Ebeling
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 2 hour ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
CSB
2003
IEEE
135views Bioinformatics» more  CSB 2003»
15 years 12 months ago
Stepping Up the Pace of Discovery: the Genomes to Life Program
Genomes to Life (GTL), the U.S. Department of Energy Office of Science’s systems biology program, focuses on environmental microbiology. Over the next 10 to 20 years, GTL’s ke...
Marvin Frazier, David Thomassen, Aristides Patrino...
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
15 years 12 months ago
Wireless Brainstorming: Overcoming Status Effects in Small Group Decisions
Social factors, such as status differences, may prevent some members from participating in group decisions. Computerized group decision support systems (GDSSs) can reduce social i...
John Davis, Melora Zaner, Shelly Farnham, Cezary M...
« Prev « First page 1760 / 2055 Last » Next »