This volume contains the proceedings of the 17th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011,
as part of the 14th European Joint Conferences on Theory and Practice of Software
(ETAPS 2011), whose...
Quantitative Finance is expanding rapidly. One of the aspects ofthe recent financial crisis is that, given the complexity offinancial products, the demand for people with high numeracy skillsis likely to grow and this means more recognition will be given toQuantitative Finance in existing and new course structuresworldwide. Evidence has...
Many algorithms have already been proposed in the past to solve the problem of allocating resources in a multi-user multicarrier wireless system. Due to the difficulty of the problem, most of the previous work in this area has focused on developing suboptimal heuristics without performance guarantees.
This volume provides a general overview of discrete- and continuous-time Markov control processes and stochastic games, along with a look at the range of applications of stochastic control and some of its recent theoretical developments. These topics include various aspects of dynamic programming, approximation...
Ground Vehicle Dynamics is devoted to the mathematical modelling and dynamical analysis of ground vehicle systems composed of the vehicle body, the guidance and suspension devices and the corresponding guideway. Automobiles on uneven roads and railways on flexible tracks are prominent representatives of ground vehicle systems. All these...
A variety of problems m machine learning and digital communication deal with complex but structured natural or artificial systems. Natural patterns mat we wish to automatically classify' are a consequence of a hierarchical causal physical process. Learning about the world
m which we live requires mat we extract useful sensor)'...
' ... being relatively short and a paperback must make it appealing to students and those who need a quick introduction to the material. ... nicely produced and elegantly laid out. I would consider adopting it as a text for a course in this topic. Publication of the International Statistical Institute 'This is a well written textbook which should...
Handling inherent uncertainty and exploiting compositional structure are fundamental to understanding and designing large-scale systems. Statistical relational learning builds on ideas from probability theory and statistics to address uncertainty while incorporating tools from logic, databases, and programming languages to represent structure. In...
Image processing is concerned with the analysis and manipulation of images by computer. Providing a thorough treatment of image processing, with an emphasis on those aspects most used in computer graphics and vision, this fully revised second edition concentrates on describing and analyzing the underlying concepts of this subject.
"This book addresses different aspects of probabilistic modeling, stochastic methods, probabilistic distributions, data analysis, optimization methods, and probabilistic methods in risk analysis"--...
QoS is an important subject that takes a central place in overall packet network technologies. It is a complex subject and its analysis involves such mathematical disciplines as probability, random variables, stochastic processes, and queuing. These mathematical subjects are abstract and are not easy to grasp for uninitiated...