Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings, Ait-Ameur Yamine, Nakajima Shin, Mйry Dominique
Автор: Alexiei Dingli Название: Knowledge Annotation: Making Implicit Knowledge Explicit ISBN: 3642268196 ISBN-13(EAN): 9783642268199 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book defines modern annotation, and analyzes its significance for future evolutions of the web. The authors examine the use of Artificial Intelligence and redundance in annotation tasks, and predict the future form and function of annotation.
Описание: 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.
Автор: Lyn Frazier; Edward Gibson Название: Explicit and Implicit Prosody in Sentence Processing ISBN: 3319354035 ISBN-13(EAN): 9783319354033 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Top researchers in prosody and psycholinguistics present their research and their views on the role of prosody in processing speech and also its role in reading. How are they used to assign a default prosody/intonation in silent reading, and more generally what is the role of phonology in reading?
Автор: Jodlowiec, Maria Название: Challenges of explicit and implicit communication ISBN: 3631658672 ISBN-13(EAN): 9783631658673 Издательство: Peter Lang Рейтинг: Цена: 9563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Relevance Theory provides an original theoretical framework to capture the complex nature and intricacies of the processes underlying ostensive communication. The model has been in constant development for the last 30 years, and this study attempts to contribute to it by challenging free enrichment as an important explicature-generation procedure. The mechanisms underlying the recovery of explicitly and implicitly communicated meanings are explored in this book. They show that by approaching communication as a creative process, Relevance Theory offers a coherent explanation not only of communication in which what is conveyed is relatively straightforward and easy to identify, but also of cases in which what is communicated is partly precise and partly vague.
Автор: Lyn Frazier; Edward Gibson Название: Explicit and Implicit Prosody in Sentence Processing ISBN: 3319129600 ISBN-13(EAN): 9783319129600 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Top researchers in prosody and psycholinguistics present their research and their views on the role of prosody in processing speech and also its role in reading. How are they used to assign a default prosody/intonation in silent reading, and more generally what is the role of phonology in reading?
Название: Implicit and explicit language learning ISBN: 1589017293 ISBN-13(EAN): 9781589017290 Издательство: Неизвестно Рейтинг: Цена: 13783.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Neuroscientists, cognitive psychologists, and psycholinguists have investigated the implicit and explicit continuum in language development and use from theoretical, empirical, and methodological perspectives. This title addresses these perspectives in an effort to build connections among them and to draw pedagogical implications when possible.
Описание: 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.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
