Refine Results
Sort By
From
To
Page 5
Page 5
Autonomous Navigation in Dynamic Environments
The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present new ideas and approaches in this newly emerging technical domain. The book surveys the state-of-the-art, discusses in detail various related challenging technical aspects, and addresses upcoming technologies in this field. The aim of the book is to establish a foundation for a broad class of mobile robot mapping and navigation methodologies for indoor, outdoor, and exploratory missions.Three main topics located on the cutting edge of the state of the art are addressed, from both the theoretical and technological point of views: Dynamic world understanding and modelling for safe navigation, Obstacle avoidance and motion planning in dynamic environments, and Human-robot physical interactions. Several models and approaches are proposed for solving problems such as Simultaneous Localization and Mapping (SLAM) in dynamic environments, Mobile obstacle detection and tracking, World state estimation and motion prediction, Safe navigation in dynamic environments, Motion planning in dynamic environments, Robust decision making under uncertainty, and Human-Robot physical interactions.
Assessing and Managing Earthquake Risk : Geo-scientific and Engineering Knowledge for Earthquake Risk Mitigation: developments, tools, techniques
This book points out the need of a multidisciplinary approach in the field of risk assessment and management. It provides an overview of the problems, approaches and common practices directly related to earthquake risk mitigation and, in particular, to the preparation of earthquake emergency plans. Written by a team of specialists from different disciplines, the authors worked together extensively in order to create unity and continuity in the text as a whole. Each topic is illustrated with examples of actual applications taken from the bibliography – including websites with available relevant information. Case studies and information on some relevant international projects are given.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
An Invitation to Quantum Cohomology : Kontsevich's Formula for Rational Plane Curves
This book is an elementary introduction to stable maps and quantum cohomology, starting with an introduction to stable pointed curves, and culminating with a proof of the associativity of the quantum product. The viewpoint is mostly that of enumerative geometry, and the red thread of the exposition is the problem of counting rational plane curves. Kontsevich's formula is initially established in the framework of classical enumerative geometry, then as a statement about reconstruction for Gromov–Witten invariants, and finally, using generating functions, as a special case of the associativity of the quantum product.
An Invitation to Morse Theory
This treatment of Morse Theory focuses on applications and is intended for a graduate course on differential or algebraic topology. This is the first textbook to include topics such as Morse-Smale flows, min-max theory, moment maps and equivariant cohomology, and complex Morse theory.
An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem
This book provides an introduction to the basics of sub-Riemannian differential geometry and geometric analysis in the Heisenberg group, focusing primarily on the current state of knowledge regarding Pierre Pansu's celebrated 1982 conjecture regarding the sub-Riemannian isoperimetric profile.
An Introduction to Difference Equations
The book integrates both classical and modern treatments of difference equations. It contains the most updated and comprehensive material, yet the presentation is simple enough for the book to be used by advanced undergraduate and beginning graduate students. This third edition includes more proofs, more graphs, and more applications. The author has also updated the contents by adding a new chapter on Higher Order Scalar Difference Equations, along with recent results on local and global stability of one-dimensional maps, a new section on the various notions of asymptoticity of solutions, a detailed proof of Levin-May Theorem, and the latest results on the LPA flour-beetle model
Alpine Industrial Landscapes : Towards a New Approach for Brownfield Redevelopment in Mountain Regions
This book presents a pioneering research on brownfield redevelopment in mountain regions, and specifically in the European Alps. The origins and causes, the actual conditions as well as the future challenges and potentials of mountain brownfields are investigated from an interdisciplinary yet landscape-centered perspective. Through the reasoned combination of research-by-design methods and case-study analysis, the book explores the infrastructural relevance of these sites for the specific mountain territory, while advancing an innovative structuralist-systemic approach for their physical and functional transformation. The book includes, among others, a first transnational geo-mapping of Alpine brownfields, whose impressive outcomes in terms of site numbers and distribution can only confirm the urgency of this research.
Algorithms in Real Algebraic Geometry
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering. In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing.
Advances in Services Innovations
The book documents the state-of-the-art in Services Science. It combines contributions in Service Engineering, Service Management and Service Marketing and helps to develop a roadmap for future R & D activities in these fields. The book is written for researchers in engineering and management.
Advances in semantic media adaptation and personalization
Realizing the growing importance of semantic adaptation and personalization of media, the editors of this book brought together leading researchers and practitioners of the field to discuss the state-of-the-art, and explore emerging exciting developments. This volume comprises extended versions of selected papers presented at the 1st International Workshop on Semantic Media Adaptation and Personalization (SMAP 2006).
Advances in Evolutionary Algorithms : Theory, Design and Practice
The goal of this book is to provide effective optimization algorithms for solving a broad class of problems quickly, accurately, and reliably by employing evolutionary mechanisms. In this regard, five significant issues have been investigated: Bridging the gap between theory and practice of GEAs, thereby providing practical design guidelines. Demonstrating the practical use of the suggested road map. Offering a useful tool to significantly enhance the exploratory power in time-constrained and memory-limited applications. Providing a class of promising procedures that are capable of scalably solving hard problems in the continuous domain. Opening an important track for multiobjective GEA research that relies on decomposition principle.
Advanced Linear Algebra
For the third edition, the author has added a new chapter on associative algebras that includes the well known characterizations of the finite-dimensional division algebras over the real field (a theorem of Frobenius) and over a finite field (Wedderburn's theorem); polished and refined some arguments (such as the discussion of reflexivity, the rational canonical form, best approximations and the definitions of tensor products); upgraded some proofs that were originally done only for finite-dimensional/rank cases; added new theorems, including the spectral mapping theorem; considerably expanded the reference section with over a hundred references to books on linear algebra.
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
