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