A Complex System can be defined as a natural, artificial, social, or economic entity whose model involves an inordinate, or even infinite number of variables. This thesis is an attempt to employ techniques from Markov Chains, Game Theory, and Functional Analysis to develop theory and algorithms for optimizing mathematical abstractions of Euclidean, discrete, and infinite dimensional complex systems. The first chapter focuses on Markov Chain techniques. (i) We develop a novel rigorous connection between the famous Small World phenomenon and effective Markov candidate generators for continuous optimization; (ii) We propose Adaptive Search with Amorphous Probabilities (ASAP), a unified algorithmic framework that allows for very general acce...
AbstractIn Formal Methods we use mathematical structures to model real systems we want to build, or ...
In this paper, we propose a challenging research direction for Constraint Programming and optimizat...
Cette thèse porte sur un certain nombre de problèmes algorithmiques motivés par la planification tem...
A Complex System can be defined as a natural, artificial, social, or economic entity whose model inv...
A complex system is an artificial system that cannot be modeled analytically or optimized in an effe...
This book presents the latest findings on stochastic dynamic programming models and on solving optim...
Sequential decision making is a fundamental task faced by any intelligent agent in an extended inter...
Optimization of real problems can pose a formidable task, as there are several common challenges fac...
The aim of this thesis is the analysis of complex systems that appear in different research fields...
The paper is concerned with the discrete stochastic mathematical models and computer systems. The ai...
The theory of Markov Decision Processes is the theory of controlled Markov chains. Its origins can b...
In Formal Methods we use mathematical structures to model real systems we want to build, or to reaso...
We develop stochastic search algorithms to find optimal or close to optimal solutions for sequential...
In the paper it is demonstrated, how a dynamic programming approach may be useful for the analysis o...
AbstractWe present new algorithms for determining optimal strategies for two-player games with proba...
AbstractIn Formal Methods we use mathematical structures to model real systems we want to build, or ...
In this paper, we propose a challenging research direction for Constraint Programming and optimizat...
Cette thèse porte sur un certain nombre de problèmes algorithmiques motivés par la planification tem...
A Complex System can be defined as a natural, artificial, social, or economic entity whose model inv...
A complex system is an artificial system that cannot be modeled analytically or optimized in an effe...
This book presents the latest findings on stochastic dynamic programming models and on solving optim...
Sequential decision making is a fundamental task faced by any intelligent agent in an extended inter...
Optimization of real problems can pose a formidable task, as there are several common challenges fac...
The aim of this thesis is the analysis of complex systems that appear in different research fields...
The paper is concerned with the discrete stochastic mathematical models and computer systems. The ai...
The theory of Markov Decision Processes is the theory of controlled Markov chains. Its origins can b...
In Formal Methods we use mathematical structures to model real systems we want to build, or to reaso...
We develop stochastic search algorithms to find optimal or close to optimal solutions for sequential...
In the paper it is demonstrated, how a dynamic programming approach may be useful for the analysis o...
AbstractWe present new algorithms for determining optimal strategies for two-player games with proba...
AbstractIn Formal Methods we use mathematical structures to model real systems we want to build, or ...
In this paper, we propose a challenging research direction for Constraint Programming and optimizat...
Cette thèse porte sur un certain nombre de problèmes algorithmiques motivés par la planification tem...