Автор: B. T. Hailpern Название: Verifying Concurrent Processes Using Temporal Logic ISBN: 3540112057 ISBN-13(EAN): 9783540112051 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Ron Koymans Название: Specifying Message Passing and Time-Critical Systems with Temporal Logic ISBN: 3540562834 ISBN-13(EAN): 9783540562832 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.
Автор: Fred Kr?ger; Stephan Merz Название: Temporal Logic and State Systems ISBN: 3642086802 ISBN-13(EAN): 9783642086809 Издательство: Springer Рейтинг: Цена: 55850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;
Автор: Claudia Bauzer Medeiros; Max Egenhofer; Elisa Bert Название: Advances in Spatial and Temporal Databases ISBN: 3540281274 ISBN-13(EAN): 9783540281276 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Includes the refereed proceedings of the 9th International Symposium on Spatial and Temporal Databases, SSTD 2005, held in Angra dos Reis, Brazil in August 2005. This book offers topical sections on query optimization and simulation, advanced query processing, spatial/temporal data streams, indexing schemes, novel applications and more.
Автор: Yang Yun Название: Temporal Data Mining via Unsupervised Ensemble Learning ISBN: 0128116544 ISBN-13(EAN): 9780128116548 Издательство: Elsevier Science Рейтинг: Цена: 48270.00 T Наличие на складе: Поставка под заказ. Описание: Temporal Data Mining via Unsupervised Ensemble Learning provides the principle knowledge of temporal data mining in association with unsupervised ensemble learning and the fundamental problems of temporal data clustering from different perspectives. By providing three proposed ensemble approaches of temporal data clustering, this book presents a practical focus of fundamental knowledge and techniques, along with a rich blend of theory and practice. . Furthermore, the book includes illustrations of the proposed approaches based on data and simulation experiments to demonstrate all methodologies, and is a guide to the proper usage of these methods. As there is nothing universal that can solve all problems, it is important to understand the characteristics of both clustering algorithms and the target temporal data so the correct approach can be selected for a given clustering problem. . Scientists, researchers, and data analysts working with machine learning and data mining will benefit from this innovative book, as will undergraduate and graduate students following courses in computer science, engineering, and statistics.
Автор: Todd Hester Название: TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains ISBN: 3319011677 ISBN-13(EAN): 9783319011677 Издательство: Springer Рейтинг: Цена: 130610.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents and develops new reinforcement learning methods that enable fast and robust learning on robots in real-time. It presents a novel model-based reinforcement learning algorithm.
Автор: Paolo Arena; Luca Patan? Название: Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II ISBN: 3319023616 ISBN-13(EAN): 9783319023618 Издательство: Springer Рейтинг: Цена: 139310.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Describing a cutting-edge project that used a computational model of an insect brain to enable spatial awareness in mobile robots, this volume shows how today`s scientists are blending biologically inspired networks and complex, nonlinear dynamical systems.
Автор: Ryuji Ukai Название: Multi-Step Multi-Input One-Way Quantum Information Processing with Spatial and Temporal Modes of Light ISBN: 4431550186 ISBN-13(EAN): 9784431550181 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In this thesis, the author develops for the first time an implementation methodology for arbitrary Gaussian operations using temporal-mode cluster states. The experimental basic structure of one-way quantum computation over two-mode input state is demonstrated by the controlled-Z gate and the optimum nonlocal gate experiments.
Автор: Carlo Combi; Elpida Keravnou-Papailiou; Yuval Shah Название: Temporal Information Systems in Medicine ISBN: 1489988122 ISBN-13(EAN): 9781489988126 Издательство: Springer Рейтинг: Цена: 65170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book covers design of information systems for medically-related problems and applications, describing each in terms of fundamentals, temporal reasoning and maintenance in medicine, time in clinical tasks, and display of time-oriented clinical information.
Автор: Stanley Durrleman; Tom Fletcher; Guido Gerig; Marc Название: Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data ISBN: 3319149040 ISBN-13(EAN): 9783319149042 Издательство: Springer Рейтинг: Цена: 37270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Longitudinal Registration and Shape Modeling.- Longitudinal Modeling.- Reconstruction from Longitudinal Data.- 4D Image Processing.
Автор: Christophe Claramunt; Markus Schneider; Raymond Ch Название: Advances in Spatial and Temporal Databases ISBN: 3319223623 ISBN-13(EAN): 9783319223629 Издательство: Springer Рейтинг: Цена: 67080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and Temporal Databases, SSTD 2015, held in Hong Kong, China, in August 2015. The 24 revised full papers together with 8 demos presented were carefully reviewed and selected from 64 submissions.
Автор: Paolo Arena; Luca Patan? Название: Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II ISBN: 3319346954 ISBN-13(EAN): 9783319346953 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents the result of a joint effort from different European Institutions within the framework of the EU funded project called SPARK II, devoted to device an insect brain computational model, useful to be embedded into autonomous robotic agents. Part I reports the biological background on Drosophila melanogaster with particular attention to the main centers which are used as building blocks for the implementation of the insect brain computational model. Part II reports the mathematical approach to model the Central Pattern Generator used for the gait generation in a six-legged robot. Also the Reaction-diffusion principles in non-linear lattices are exploited to develop a compact internal representation of a dynamically changing environment for behavioral planning. In Part III a software/hardware framework, developed to integrate the insect brain computational model in a simulated/real robotic platform, is illustrated. The different robots used for the experiments are also described. Moreover the problems related to the vision system were addressed proposing robust solutions for object identification and feature extraction. Part IV includes the relevant scenarios used in the experiments to test the capabilities of the insect brain-inspired architecture taking as comparison the biological case. Experimental results are finally reported, whose multimedia can be found in the SPARK II web page: www.spark2.diees.unict.it
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
