This text is devoted to examining new research at the interface of operations research, behavioral and cognitive sciences, ...
Lire la suite
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Lire la suite
While earlier books concerning forest planning have tended to focus on linear programming, economic aspects, or specific ...
Lire la suite
We use our brains when we create plans and designs. The resulting plans and designs take physical form, however, what we ...
Lire la suite
This textbook for students and practitioners presents a practical approach to decomposition techniques in optimization. It ...
Lire la suite
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Lire la suite
Deep Brain Stimulation in Neurological and Psychiatric Disorders discusses today’s most current and cutting-edge applications ...
Lire la suite
Deep Impact, or at least part of the flight system, is designed to crash into comet 9P/Tempel 1. This bold mission design ...
Lire la suite
Presents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...
Lire la suite
Constitutes the refereed post-proceedings of the First International Workshop on Deep Structure, Singularities, and Computer ...
Lire la suiteThe technology used to create such digital content has quickly become accessible to the masses, such as “DEEPFAKE.” Deep ...
Lire la suiteThe rise of large language models (LLMs) and the increasing sophistication of deepfake images have made detecting synthetic ...
Lire la suite
This volume presents recent developments in the theory of defects and the mechanics of material forces. Most of the contributions ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Defence Applications of Multi-Agent ...
Lire la suite
This book deals with Article 7 TEU measures, court proceedings, financial sanctions and the EU Rule of Law Framework to ...
Lire la suite
Defending Life discusses the relationship between hosts and parasites. A major contention of the book is that the immune ...
Lire la suite
Deformable Models: Theory and Biomaterial Applications is the second installation in the two-volume set Deformable Models ...
Lire la suite
Deformable Models: Biomedical and Clinical Applications is the first entry in the two-volume set which provides a wide cross-section ...
Lire la suite
During the last decades, measurements of various geodynamic processes have gained ever increasing importance. Temporal variations ...
Lire la suite
This compact open access reference delves beyond popular concepts of educated consumers and an informed public by examining ...
Lire la suite