Sciweavers

4604 search results - page 154 / 921
» Analysis of Negotiation Dynamics
Sort
View
127
Voted
AB
2008
Springer
15 years 7 months ago
Algorithms for Inference, Analysis and Control of Boolean Networks
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...
Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamur...
90
Voted
ICTAI
2005
IEEE
15 years 6 months ago
Reachability Analysis for Uncertain SSPs
Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reach...
Olivier Buffet
90
Voted
HYBRID
2007
Springer
15 years 7 months ago
Systematic Simulation Using Sensitivity Analysis
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
Alexandre Donzé, Oded Maler
101
Voted
AAI
2007
66views more  AAI 2007»
15 years 27 days ago
Simulation and Analysis of Controlled Multi-Representational Reasoning Processes
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
ICARCV
2008
IEEE
193views Robotics» more  ICARCV 2008»
15 years 7 months ago
Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
Quang-Cuong Pham