"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Continue reading
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Continue reading
Statistical Analysis and Optimization for VLSI: Timing and Power is the first book summarizing the state-of-the-art in the ...
Continue reading
Advances in statistical methodology and computing have played an important role in allowing researchers to more accurately ...
Continue reading
Advances in computers and biotechnology have had a profound impact on biomedical research, and as a result complex data sets ...
Continue reading
This book provides an overview of the statistical theory and methods used in studies of molecular evolution. It includes ...
Continue reading
Statistical Tools in Finance and Insurance presents ready-to-use solutions, theoretical developments and method construction ...
Continue reading
The aim of this volume is to fill a gap in the statistical science literature, namely to produce a French statistical science ...
Continue reading
This book presents the scientific findings of this study for Germany, including the major challenges with regard to the future ...
Continue reading
Recently, expectations of the potential of regenerative medicine have risen because of the exciting results obtained in various ...
Continue reading
Ageing and dependence are two important characteristics in reliability and survival analysis, and they affect significantly ...
Continue reading
The volume "Stochastic Geometry" contains the lectures given at the CIME summer school in Martina Franca in September 1974. ...
Continue reading
(Four areas in one book) This book covers various disciplines in learning and optimization, including perturbation analysis ...
Continue reading
The search for optimal solutions pervades our daily lives. From the scientific point of view, optimization procedures play ...
Continue reading
Optimization problems arising in practice involve random parameters. For the computation of robust optimal solutions, i.e., ...
Continue reading
Stochastic ordering is a fundamental guide for decision making under uncertainty. It is also an essential tool in the study ...
Continue reading
Sampling-based computational methods have become a fundamental part of the numerical toolset of practitioners and researchers ...
Continue reading
Closed loops depict supply chains for which Original Equipement Manufacturer reintegrate their returned products into their ...
Continue reading
Strategic Creativity is a fundamental resource that enables business professionals to stand out amongst their colleagues ...
Continue reading
Examines human resource development (HRD) strategy as a learning process, connecting learning and adult development with ...
Continue reading