Symposium on Real-Time and Hybrid Systems, Cliff Jones; Ji Wang; Naijun Zhan

Автор: Christer Ericson
Название: Real-Time Collision Detection
ISBN: 1558607323 ISBN-13(EAN): 9781558607323
Издательство: Taylor&Francis
Рейтинг:
Цена: 102080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written by an expert in the game industry, Christer Ericson's new book is a comprehensive guide to the components of efficient real-time collision detection systems. The book provides the tools and know-how needed to implement industrial-strength collision detection for the highly detailed dynamic environments of applications such as 3D games, virtual reality applications, and physical simulators. Of the many topics covered, a key focus is on spatial and object partitioning through a wide variety of grids, trees, and sorting methods.

The author also presents a large collection of intersection and distance tests for both simple and complex geometric shapes. Sections on vector and matrix algebra provide the background for advanced topics such as Voronoi regions, Minkowski sums, and linear and quadratic programming. Of utmost importance to programmers but rarely discussed in this much detail in other books are the chapters covering numerical and geometric robustness, both essential topics for collision detection systems.

Also unique are the chapters discussing how graphics hardware can assist in collision detection computations and on advanced optimization for modern computer architectures. All in all, this comprehensive book will become the industry standard for years to come. The book presents algorithms and data structures with wide applications to the fields of game development, virtual reality, physically based simulation, CAD/CAM, architectural and scientific visualization, molecular modeling, engineering simulation, GIS, ray tracing, and more; describes tested, real-world methods, liberally illustrated by C & C++ code; and, reviews necessary concepts from mathematics and computational geometry, and includes extensive references to other sources and research literature.

Автор: Maosong Sun, Xiaojie Wang, Baobao Chang
Название: Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data
ISBN: 3319690043 ISBN-13(EAN): 9783319690049
Издательство: Springer
Рейтинг:
Цена: 35330.00 T
Наличие на складе: Есть
Описание: This book constitutes the proceedings of the 16th China National Conference on Computational Linguistics, CCL 2017, and the 5th International Symposium on Natural Language Processing Based on Naturally Annotated Big Data, NLP-NABD 2017, held in Nanjing, China, in October 2017. Minority language information processing.

Автор: Ledin Jim
Название: Architecting High-Performance Embedded Systems: Design and build high-performance real-time digital systems based on FPGAs and custom circuits
ISBN: 1789955963 ISBN-13(EAN): 9781789955965
Издательство: Неизвестно
Рейтинг:
Цена: 67430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book takes embedded system developers through the complete process of developing systems based on field-programmable gate arrays (FPGAs). You`ll not only understand the concepts underlying embedded systems and FPGAs but also explore the powerful free FPGA tools to design electronic circuits and construct and debug prototype embedded devices.

Автор: Mathai Joseph
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540410554 ISBN-13(EAN): 9783540410553
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

Автор: Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540584684 ISBN-13(EAN): 9783540584681
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.

Автор: Bengt Jonsson; Joachim Parrow
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540616489 ISBN-13(EAN): 9783540616481
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

Автор: Anders P. Ravn; Hans Rischel
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540650032 ISBN-13(EAN): 9783540650034
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT`98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book.

Автор: Song Fu; Werner Haase; Shia-Hui Peng; Dieter Schwa
Название: Progress in Hybrid RANS-LES Modelling
ISBN: 3642436196 ISBN-13(EAN): 9783642436192
Издательство: Springer
Рейтинг:
Цена: 241310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The present book contains contributions presented at the Fourth Symposium on Hybrid RANS-LES Methods, held in Beijing, China, 28-30 September 2011, being a continuation of symposia taking place in Stockholm (Sweden, 2005), in Corfu (Greece, 2007), and Gdansk (Poland, 2009).

Автор: Shia-Hui Peng; Piotr Doerffer; Werner Haase
Название: Progress in Hybrid RANS-LES Modelling
ISBN: 3662506610 ISBN-13(EAN): 9783662506615
Издательство: Springer
Рейтинг:
Цена: 243800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Spalart, another 28 papers were presented on the following topics: Unsteady RANS, LES, Improved DES Methods, Hybrid RANS-LES Methods, DES versus URANS and other Hybrid Methods, Modelli- related Numerical Issues and Industrial Applications.

Автор: Singh Indermohan, Phan Hoc
Название: Ionic Cookbook
ISBN: 1788623231 ISBN-13(EAN): 9781788623230
Издательство: Неизвестно
Рейтинг:
Цена: 60070.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Ionic has been a preferred choice for JavaScript developers to develop real time hybrid applications. This book will get you started with Ionic 3.9 and help you create Angular 5 components that interact with templates. Get the best out of Ionic through dedicated recipes which will solve issues related to it.

Автор: Karlheinz Gr?chenig; Yurii Lyubarskii; Kristian Se
Название: Operator-Related Function Theory and Time-Frequency Analysis
ISBN: 3319085565 ISBN-13(EAN): 9783319085562
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Symposium, and this book, are focused on two important fields of modern mathematical analysis: operator-related function theory and time-frequency analysis;

Автор: David Kotz; Friedemann Mattern
Название: Agent Systems, Mobile Agents, and Applications
ISBN: 354041052X ISBN-13(EAN): 9783540410522
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on migration, security issues, systems and applications, mobile agent applications, applications of multi-agent systems, communication and mobility control, co-operation and interaction.