this book discusses a range of familiar, connected, but largely undeveloped, topics in an accessible, but complete manner. ...
Lire la suite
In the context of sports leagues scheduling (SLS) several groups' interests must be taken into account. This book treats ...
Lire la suite
Stability and Optimization of Structures: Generalized Sensitivity Analysis is the first book to address issues of structural ...
Lire la suite
Dr. Alamir presents a successful approach to this problem based on a co-operation between structural considerations and on-line ...
Lire la suite
Systems governed by nonlinear partial differential equations (PDEs) arise in many spheres of study. The stabilization and ...
Lire la suite
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lire la suite
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lire la suite
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
Lire la suite
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
Statistical Analysis and Optimization for VLSI: Timing and Power is the first book summarizing the state-of-the-art in the ...
Lire la suite
All the data was out there to warn us of this impending attack, why didn't we see it?" This was a frequently asked question ...
Lire la suite
The book develops the statistical approach to inverse problems with an emphasis on modeling and computations. The framework ...
Lire la suite
The subject of pattern analysis and recognition pervades many aspects of our daily lives, including user authentication in ...
Lire la suite
The first part of the book presents the different types of generators which are installed either in industrial plants like ...
Lire la suite
This book deals with the application of stigmergy for a variety of optimization problems. This volume comprises 12 chapters ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...
Lire la suite
Constitutes the refereed proceedings of the Third International Symposium on Stochastic Algorithms: Foundations and Applications, ...
Lire la suite
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lire la suite
This book presents the main methodological and theoretical developments in stochastic global optimization. The extensive ...
Lire la suite
This volume presents a number of fundamental theoretical advances in the area of stochastic hybrid systems, motivated primarily ...
Lire la suite