Sciweavers

924 search results - page 73 / 185
» Teaching simulation using case studies
Sort
View
SEFM
2005
IEEE
15 years 5 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
PC
2012
223views Management» more  PC 2012»
13 years 7 months ago
Using shared arrays in message-driven parallel programs
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
Phil Miller, Aaron Becker, Laxmikant V. Kalé...
BMCBI
2011
14 years 3 months ago
Estimation of allele frequency and association mapping using next-generation sequencing data
Background: Estimation of allele frequency is of fundamental importance in population genetic analyses and in association mapping. In most studies using next-generation sequencing...
Su Yeon Kim, Kirk E. Lohmueller, Anders Albrechtse...
EUROPAR
2007
Springer
15 years 6 months ago
Surrendering Autonomy: Can Cooperative Mobility Help?
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
Ghassen Ben Brahim, Bilal Khan, Ala I. Al-Fuqaha, ...
GRAPHITE
2006
ACM
15 years 5 months ago
Real-time animation of ancient Roman sites
In the presented article we discuss and detail the general methodological approaches, the reconstruction strategies and the techniques that have been employed to achieve the 3D in...
Nadia Magnenat-Thalmann, Alessandro Enrico Foni, N...