17,016円 The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we ...

18,231円 The objects displayed on a table can take multiple forms. In meetings, it is still very often printed paper although its content was originally created on a computer. The content can also be a “table”, but now in the mathematical sense, showing, e. g. , the budget of a project. Then, we have a “t...

18,231円 This book gives an interdisciplinary overview on urban ecology. Basic understanding of urban nature development and its social reception are discussed for the European Metropolitan Area of Berlin. Furthermore, we investigate specific consequences for the environment, nature and the quality of lif...

12,154円 This groundbreaking text examines the problem of user authentication from a completely new viewpoint. Rather than describing the requirements, technologies and implementation issues of designing point-of-entry authentication, the book introduces and investigates the technological requirements of ...

6,076円 The recent emergence of Local Binary Patterns (LBP) has led to significant progress in applying texture methods to various computer vision problems and applications. The focus of this research has broadened from 2D textures to 3D textures and spatiotemporal (dynamic) textures. Also, where texture...

18,231円 Biometrics, the science of using physical traits to identify individuals, is playing an increasing role in our security-conscious society and across the globe. Biometric authentication, or bioauthentication, systems are being used to secure everything from amusement parks to bank accounts to mili...

19,447円 This unique text/reference reviews algorithms for the exact or approximate solution of shortest-path problems, with a specific focus on a class of algorithms called rubberband algorithms. Discussing each concept and algorithm in depth, the book includes mathematical proofs for many of the given s...

13,369円 The use of pattern recognition and classification is fundamental to many of the automated electronic systems in use today. However, despite the existence of a number of notable books in the field, the subject remains very challenging, especially for the beginner. Pattern Recognition and Classific...

12,154円 This leading-edge study focuses on the latest techniques in analysing and representing the complex, multi-layered data now available to geographers studying urban zones and their populations. The volume tracks the successful results of the SPANGEO Project, which was set up in 2005 to standardize,...

12,154円 Style is a fundamental and ubiquitous aspect of the human experience: Everyone instantly and constantly assesses people and things according to their individual styles, academics establish careers by researching musical, artistic, or architectural styles, and entire industries maintain themselves...

12,154円 This book presents methods for estimating optical flow and scene flow motion with high accuracy, focusing on the practical application of these methods in camera-based driver assistance systems. Clearly and logically structured, the book builds from basic themes to more advanced concepts, culmina...

12,154円 Micromechanical manufacturing based on microequipment creates new possibi- ties in goods production. If microequipment sizes are comparable to the sizes of the microdevices to be produced, it is possible to decrease the cost of production drastically. The main components of the production cost - ...