for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book presents extensive research on two main problems in robotics: the path planning problem and the multi-robot task allocation problem.
This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization.
Unraveling the Voynich Codex reviews the historical, botanical, zoological, and iconographic evidence related to the Voynich Codex, one of the most enigmatic historic texts... Læs mere
Finally, Part 4 goes into detail with recent and exciting new developments: dedicated studies designed... Læs mere
This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles.
Specifically, one part of the book focuses on maximizing/optimizing computational performance under power or thermal constraints, while another part focuses on minimizing energy consumption under performance (or real-time) constraints.
Software implementations include distance-vector algorithms for distributed path computation in dynamics networks, parallel solutions of the constrained shortest path problem, and application of the shortest path solutions in gathering robotic swarms.
This cutting-edge book presents the theory and practice of the Graph Model for Conflict Resolution (GMCR), which is used for strategically investigating disputes in any field to enable informed decision making.
This book offers the first comprehensive and critical literature review of fuzzy pairwise comparison methods derived from methods originally developed for crisp pairwise comparison matrices.
This book introduces readers to Web content credibility evaluation and evaluation support.
This book introduces readers to the methods, types of data, and scale of analysis used in the context of health. Methods include thorough case studies from statistics,... Læs mere