Automated Configuration has long been the subject of intensive research, especially in Artificial Intelligence. It is a pervasive problem to be solved, and it is a good test of various knowledge repre
Focusing on the computer graphics required to create digital media this book discusses the concepts and provides hundreds of solved examples and unsolved problems for practice. Pseudo codes are includ
Every year there is at least one combinatorics problem in each of the major international mathematical olympiads. These problems can only be solved with a very high level of wit and creativity. This b
This book focuses on solving integral equations with difference kernels on finite intervals. The corresponding problem on the semiaxis was previously solved by N. Wiener–E. Hopf and by M.G. Krein. The
Biodiversity is decreasing at the fastest rate in the history of the earth. The sustainable use of ecosystems allowing maintenance of biological diversity is an urgent problem that must be solved. The
This is the second edition of this best selling problem book for students, now containing over 400 completely solved exercises on differentiable manifolds, Lie theory, fibre bundles and Riemannian man
Creating New Medical Ontologies for Image Annotation focuses on the problem of the medical images automatic annotation process, which is solved in an original manner by the authors. All the steps of t
The problem of conventional, low-temperature superconductivity has been regarded as solved since the seminal work of Bardeen, Cooper, and Schrieffer (BCS) more than 50 years ago. However, the theory d
Biodiversity is decreasing at the fastest rate in the history of the earth. The sustainable use of ecosystems allowing maintenance of biological diversity is an urgent problem that must be solved. The
The problem of determining which S-arithmetic groups have a finite presentation is solved for arbitrary linear algebraic groups over finite extension fields of #3. For certain solvable topological gro
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem
In many contexts of everyday life we find ourselves faced with the problem of reconciling the views of several persons. These problems are usually solved by resorting to some opinion aggre- gating pro
