Sciweavers

132 search results - page 18 / 27
» Rewarding Behaviors
Sort
View
HASE
1999
IEEE
14 years 1 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
AI
2008
Springer
13 years 9 months ago
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
Di Wu, Xenofon D. Koutsoukos
JOCN
2010
52views more  JOCN 2010»
13 years 8 months ago
Neural Mechanisms of the Testosterone-Aggression Relation: The Role of Orbitofrontal Cortex
■ Testosterone plays a role in aggressive behavior, but the mechanisms remain unclear. The present study tested the hypothesis that testosterone influences aggression through th...
Pranjal H. Mehta, Jennifer Beer
NIPS
2008
13 years 11 months ago
Psychiatry: Insights into depression through normative decision-making models
Decision making lies at the very heart of many psychiatric diseases. It is also a central theoretical concern in a wide variety of fields and has undergone detailed, in-depth, ana...
Quentin J. M. Huys, Joshua T. Vogelstein, Peter Da...
SAB
2010
Springer
145views Optimization» more  SAB 2010»
13 years 7 months ago
Minimal Model of Strategy Switching in the Plus-Maze Navigation Task
Prefrontal cortex (PFC) has been implicated in the ability to switch behavioral strategies in response to changes in reward contingencies. A recent experimental study has shown tha...
Denis Sheynikhovich, Laurent Dollé, Ricardo...