Описание: Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS.
Автор: Hong Seok-Hee, Tokuyama Takeshi Название: Beyond Planar Graphs: Communications of Nii Shonan Meetings ISBN: 9811565325 ISBN-13(EAN): 9789811565328 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: and 3) to foster cross-disciplinary research collaboration between computer science (graph drawing and computational geometry) and mathematics (graph theory and combinatorics). New algorithms for beyond planar graphs will be in high demand by practitioners in various application domains to solve complex visualization problems.
Описание: As commercial participation in FLOSS has become common, the question of how to combine FLOSS practice with commercial practice has been the subject of research, particularly with a view to understanding how to ensure sustainability of the ecosystem.This book is based on a Shonan meeting on FLOSS ecosystem sustainability held in June 2017.
Описание: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line.- Chapter 2: Domain-specific Developments using Rodin Theories.- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering.- Chapter 4: Operations over Lightweight Ontologies and their Implementation.- Chapter 5: Formal Ontological Analysis for Medical Protocol.- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems.- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns.- Chapter 8: An Explicit Semantics for Event-B Refinements.- Chapter 9: Contextual Dependency in State-based Modelling.- Chapter 10: Configuration of complex systems.- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded.- Chapter 12: The Indefeasibility Criterion for Assurance Cases.- Chapter 13: An Event-B development process for the distributed BIP framework.- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach.- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development.
Описание: Covering network designs, discrete convex analysis, facility location and clustering problems, matching games, and parameterized complexity, this book discusses theoretical aspects of combinatorial optimization and graph algorithms.
Описание: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line.- Chapter 2: Domain-specific Developments using Rodin Theories.- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering.- Chapter 4: Operations over Lightweight Ontologies and their Implementation.- Chapter 5: Formal Ontological Analysis for Medical Protocol.- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems.- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns.- Chapter 8: An Explicit Semantics for Event-B Refinements.- Chapter 9: Contextual Dependency in State-based Modelling.- Chapter 10: Configuration of complex systems.- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded.- Chapter 12: The Indefeasibility Criterion for Assurance Cases.- Chapter 13: An Event-B development process for the distributed BIP framework.- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach.- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development.
Описание: This book aims to explore and discuss theories and technologies for the development of socially competent and culture-aware embodied conversational agents for elderly care.
Автор: Markus Klein; Andreas Knauf Название: Classical Planar Scattering by Coulombic Potentials ISBN: 3662139006 ISBN-13(EAN): 9783662139004 Издательство: Springer Рейтинг: Цена: 11753.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
1.- Introduction. 2.- Full 3D Modeling of Planar Fuel Cells. 3.- Development of Reduced PEMFC Models. 4.- development of Reduced P-SOFC Models. 5.- Integrated Stochastic and Deterministic Sensitivity Analysis of Cell and Stack Performances. 6.- Conclusions.
Описание: This book presents an innovative concept for the realization of sensors based on a planar metamaterial microwave array and shows their application in biomedical analysis and treatment.
Автор: Amara Amara; Olivier Rozeau Название: Planar Double-Gate Transistor ISBN: 9048181089 ISBN-13(EAN): 9789048181087 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of the editors here is to reinforce the synergy between the research activities on CMOS sub-32nm devices and the design of elementary circuits. The goal is to point out how we can apply new transistor structures to come up with new cells and concepts.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
