Observer Design for Control and Fault Diagnosis of Boolean Networks, Zhang
Автор: Chakraborty, Dev P. Название: Observer Performance Methods for Diagnostic Imaging ISBN: 0367781638 ISBN-13(EAN): 9780367781637 Издательство: Taylor&Francis Рейтинг: Цена: 7348.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a complete, introductory overview of this growing field and its applications in medical imaging, utilizing worked examples and exercises to demystify statistics for readers of any background. It covers discussion of study design basics and use of the techniques in imaging system optimization, among other topics.
Автор: Daizhan Cheng; Hongsheng Qi; Zhiqiang Li Название: Analysis and Control of Boolean Networks ISBN: 1447126114 ISBN-13(EAN): 9781447126119 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a new approach to the investigation of Boolean control networks, using the semi-tensor product (STP), which can express a logical function as a conventional discrete-time linear system. This makes it possible to analyze basic control problems.
Автор: Pey-Chang Kent Lin; Sunil P. Khatri Название: Logic Synthesis for Genetic Diseases ISBN: 1493955357 ISBN-13(EAN): 9781493955350 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book details logic synthesis techniques that can contribute to the analysis and control of Boolean Networks for modeling genetic diseases. It helps readers make the connection between genetic diseases and logic techniques in a clear, unambiguous manner.
Описание: Introduction.- Lecture one: Mountains and Icebergs.- Lecture two: Basic Iceberg Semantics.- Lecture three: Iceberg Semantics for Modifiers.- Lecture four: Classifiers and Measures.- Lecture five: Iceberg Semantics for Classifiers and Measures.- Lecture six: Iceberg Semantics for Mass Nouns.- Lecture seven: Neat Mass Nouns.- Lecture eight: Iceberg Semantics for Partitives and Fission Shift.- Lecture nine: Notes on Abstract Mass Nouns.
Описание: Iceberg semantics is a new framework of Boolean semantics for mass nouns and count nouns in which the interpretation of a noun phrase rises up from a generating base and floats with its base on its Boolean part set, like an iceberg. The framework is shown to preserve the attractive features of classical Boolean semantics for count nouns; the book argues that Iceberg semantics forms a much better framework for studying mass nouns than the classical theory does. Iceberg semantics uses its notion of base to develop a semantic theory of the differences between mass nouns and count nouns and between different types of mass nouns, in particular between prototypical mass nouns (here called mess mass nouns) like water and mud versus object mass nouns (here called neat mass nouns) like poultry and pottery. The book shows in detail how and why neat mass nouns pattern semantically both with mess mass nouns and with count nouns. Iceberg semantics is a compositional theory and in Iceberg semantics the semantic distinctions defined apply to noun phrases of any complexity. The book studies in depth the semantics of classifier noun phrases (like three glasses of wine) and measure noun phrases (like three liters of wine). The classical wisdom is that classifier interpretations are count. Recent literature has argued compellingly that measure interpretations are mass. The book shows that both connections follow from the basic architecture of Iceberg semantics. Audience: Scholars and students in linguistics - in particular semantics, pragmatics, computational linguistics and syntax - and neighbouring disciplines like logic, philosophy of language, and cognitive science.
Автор: Justyna Petke Название: Bridging Constraint Satisfaction and Boolean Satisfiability ISBN: 3319218093 ISBN-13(EAN): 9783319218090 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.
Автор: Chuan-Kun Wu; Dengguo Feng Название: Boolean Functions and Their Applications in Cryptography ISBN: 3662488639 ISBN-13(EAN): 9783662488638 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
