Sampled simulation of multi-threaded applications

TE Carlson, W Heirman… - 2013 IEEE International …, 2013 - ieeexplore.ieee.org
Sampling is a well-known workload reduction technique that allows one to speed up
architectural simulation while accurately predicting performance. Previous sampling …

Formal specification and analysis of intelligent agents for model-based medicine usage management

M Hoogendoorn, MCA Klein, ZA Memon… - Computers in Biology and …, 2013 - Elsevier
A model-based agent system model for medicine usage management is presented and
formally analysed. The model incorporates an intelligent ambient agent model that has an …

Modelling biased human trust dynamics

M Hoogendoorn, SW Jaffry… - Web Intelligence and …, 2013 - content.iospress.com
Within human trust related behaviour, according to the literature from the domains of
Psychology and Social Sciences often non-rational behaviour can be observed. Current …

A computational agent model of influences on physical activity based on the social cognitive theory

JS Mollee, CN van der Wal - PRIMA 2013: Principles and Practice of Multi …, 2013 - Springer
A computational agent model of social and cognitive influences on physical activity based
on Bandura's Social Cognitive Theory is proposed. The utility of this model is twofold. First, it …

Do prospect-based emotions enhancebelievability of game characters? A casestudy in the context of a dice game

T Bosse, E Zwanenburg - IEEE Transactions on affective …, 2013 - ieeexplore.ieee.org
To endow game characters with more realistic affective behavior, the notion of prospect-
based emotions plays an important role: recent literature suggests that emotional states of …

Studying Aviation Incidents by Agent-based Simulation and Analysis-A Case Study on a Runway Incursion Incident

T Bosse, NM Mogles - International Conference on Agents and …, 2013 - scitepress.org
This paper introduces an agent-based approach to analyse the dynamics of accidents and
incidents in aviation. The approach makes use of agent-based simulation on the one hand …

An ambient agent system assisting humans in complex tasks by analysis of a human's state and performance

T Bosse, F Both, R Duell… - International …, 2013 - inderscienceonline.com
Human task performance varies depending on the task, environment, and states of the
human over time. To ensure high effectiveness and efficiency in the execution of complex …

[PDF][PDF] Verification of an agent model for chronic fatigue syndrome

A Ab Aziz, F Ahmad, N Che Pa… - International Journal of …, 2013 - researchgate.net
Chronic fatigue syndrome (CFS) is a disorder that is caused by multiple factors. Much work
has been conducted to understand CFS mechanisms but little attention has been paid to …

Agent-based simulation of episodic criminal behaviour

T Bosse, C Gerritsen, J Treur - Multiagent and Grid Systems, 2013 - content.iospress.com
Criminal behaviour often involves a combination of physical, mental, social and
environmental (multi-) agent aspects, such as neurological deviations, hormones …

An approach for the verification of multi-agent systems by formally guided simulations

PS da Silva, ACV de Melo - 2013 IEEE/WIC/ACM International …, 2013 - ieeexplore.ieee.org
Multi-Agent Systems (MASs) can be used to model human and animal societies, for the
purpose of analyzing their properties by computational means. We propose a verification …