Sciweavers

3545 search results - page 188 / 709
» Computational methods for case-cohort studies
Sort
View
PDC
2004
ACM
16 years 51 min ago
The impact of participation in information system design: a comparison of contextual placements
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
Magnus Irestig, Henrik Eriksson, Toomas Timpka
IPMI
2007
Springer
16 years 7 months ago
Brain Image Registration Using Cortically Constrained Harmonic Mappings
Volumetric registration of brains is required for inter-subject studies of functional and anatomical data. Intensity-driven registration typically results in some degree of misalig...
Anand A. Joshi, David W. Shattuck, Paul M. Thompso...
NBIS
2009
Springer
16 years 1 months ago
Improving the Robustness of Wireless Device Pairing Using Hyphen-Delimited Numeric Comparison
Abstract—The operation of achieving authenticated key agreement between two human-operated mobile devices over a short range wireless communication channel, such as Bluetooth or ...
Ambarish Karole, Nitesh Saxena
OOPSLA
2001
Springer
15 years 11 months ago
Contract Soundness for Object-Oriented Languages
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
Robert Bruce Findler, Matthias Felleisen
CIE
2007
Springer
16 years 22 days ago
Post's Problem for Ordinal Register Machines
We study Post’s Problem for the ordinal register machines defined in [6], showing that its general solution is positive, but that any set of ordinals solving it must be unbounde...
Joel David Hamkins, Russell G. Miller