Sciweavers

1338 search results - page 255 / 268
» Understanding Social Robots
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 2 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
IEAAIE
2009
Springer
14 years 2 months ago
An Agent Model of Temporal Dynamics in Relapse and Recurrence in Depression
Abstract Unipolar depression is a mental disorder characterized by a persistent low mood and loss of awareness or contentment in usual activities [1]. Despite the modern era of pha...
Azizi Ab Aziz, Michel C. A. Klein, Jan Treur
ITICSE
2009
ACM
14 years 2 months ago
Relating research and teaching: learning from experiences and beliefs
The relationship between research and teaching has possible benefits and inherent tensions. Exploring the potentially beneficial relationship is of interest and possible value to ...
Su White, Alastair Irons
MOBIWAC
2009
ACM
14 years 2 months ago
The sociable traveller: human travelling patterns in social-based mobility
Understanding how humans move is a key factor for the design and evaluation of networking protocols and mobility management solutions in mobile networks. This is particularly true...
Chiara Boldrini, Marco Conti, Andrea Passarella
SIGECOM
2009
ACM
118views ECommerce» more  SIGECOM 2009»
14 years 2 months ago
Modeling volatility in prediction markets
There is significant experimental evidence that prediction markets are efficient mechanisms for aggregating information and are more accurate in forecasting events than tradition...
Nikolay Archak, Panagiotis G. Ipeirotis