Sciweavers

432 search results - page 60 / 87
» Advanced information technology support for life sciences re...
Sort
View
KCAP
2009
ACM
14 years 3 months ago
Biomedical knowledge engineering tools based on experimental design: a case study based on neuroanatomical tract-tracing experim
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
Gully A. P. C. Burns, Thomas A. Russ
CSCW
2008
ACM
13 years 10 months ago
Asymmetry in media spaces
In any collaborative system, there are both symmetries and asymmetries present in the design of the technology and in the ways that technology is appropriated. Yet media space res...
Amy Voida, Stephen Voida, Saul Greenberg, Helen Ai...
ITP
2010
172views Mathematics» more  ITP 2010»
13 years 7 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
HICSS
2003
IEEE
117views Biometrics» more  HICSS 2003»
14 years 1 months ago
The German Mobile Standards Battle
The diffusion of innovations has long been a research domain in IS research. Yet, there is no sound theory nor practice to fully understand the complex mechanisms behind networks ...
Roman Beck, Daniel Beimborn, Tim Weitzel
ACMDIS
2006
ACM
14 years 2 months ago
An empirical framework for designing social products
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
Bilge Mutlu