Franz Baader & Diego Calvanese 
Description Logic Handbook [PDF ebook] 
Theory, Implementation and Applications

Written as a tribute to the mathematician Carlo Pucci on the occasion of his 70th birthday, this is a collection of authoritative contributions from over 45 internationally acclaimed experts in the f …

The contents in this work are taken from both the University of Iowa”s Conference on Factorization in Integral Domains, and the 909th Meeting of the American Mathematical Society”s Special Session …

Partial Differential Equations: Analytical Methods and Applications covers all the basic topics of a Partial Differential Equations (PDE) course for undergraduate students or a beginners’ course for …

Alternating current (AC) induction and synchronous machines are frequently used in variable speed drives with applications ranging from computer peripherals, robotics, and machine tools to railway tr …

This book provides a detailed examination of the central assertions of measure theory in n-dimensional Euclidean space and emphasizes the roles of Hausdorff measure and the capacity in characterizing …

Statistical methods for sequential hypothesis testing and changepoint detection have applications across many fields, including quality control, biomedical engineering, communication networks, econom …

Many systems architecture optimization problems are characterized by a variable number of optimization variables. Many classical optimization algorithms are not suitable for such problems. The book p …

Outside of randomized experiments, association does not imply causation, and yet there is nothing defective about our knowledge that smoking causes lung cancer, a conclusion reached in the absence of …

This book uses asymptotic methods to obtain simple approximate analytic solutions to various problems within mechanics, notably wave processes in heterogeneous materials. Presenting original solution …

The thirty papers published in this book represent the latest developments in Discontinuous Deformation Analysis (DDA). The Numerical Manifold Method (NMM) and other numerical methods and their appli …