Logic of Domains, G. Zhang

Название: Technology-enhanced language learning for specialized domains
ISBN: 113856513X ISBN-13(EAN): 9781138565135
Издательство: Taylor&Francis
Рейтинг:
Цена: 50010.00 T
Наличие на складе: Нет в наличии.
Описание: This book provides an exploration of the latest developments in technology-enhanced learning and the processing of languages for specific purposes.

Автор: Alex Hubert; Rudolf Sch?fer
Название: Magnetic Domains
ISBN: 3662309564 ISBN-13(EAN): 9783662309568
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book gives a systematic and comprehensive survey of the complete area of magnetic microstructures. It reaches from micromagnetism of nanoparticles to complex structures of extended magnetic materials. The book starts with a comprehensive evaluation of traditional and modern experimental methods for the observation of magnetic domains and continues with the treatment of important methods for the theoretical analysis of magnetic microcstructures. A survey of the necessary techniques in materials characterization is given. The book offers an observation and analysis of magnetic domains in all traditional and contemporary areas of application.

Автор: Patrick C. McGeer; Robert K. Brayton
Название: Integrating Functional and Temporal Domains in Logic Design
ISBN: 0792391632 ISBN-13(EAN): 9780792391630
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: After it was discovered that some existing approaches were wrong, it became apparent that the root of the difficulties lay in the attempts to balance computational efficiency and accuracy by separating the tempo- ral and logical (or functional) behaviour of combinational circuits.

Автор: Marie Pelleau
Название: Abstract Domains in Constraint Programming
ISBN: 1785480103 ISBN-13(EAN): 9781785480102
Издательство: Elsevier Science
Рейтинг:
Цена: 53010.00 T
Наличие на складе: Невозможна поставка.
Описание: Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying an abstraction of their concrete semantics, that is, the set of possible values of the variables during an execution. Various representations for these abstractions have been proposed. They are called abstract domains. Abstract domains can mix any type of variables, and even represent relations between the variables. . In this work, we define abstract domains for Constraint Programming, so as to build a generic solving method, dealing with both integer and real variables. We also study the octagons abstract domain, already defined in Abstract Interpretation. Guiding the search by the octagonal relations, we obtain good results on a continuous benchmark. We also define our solving method using Abstract Interpretation techniques, in order to include existing abstract domains. Our solver, AbSolute, is able to solve mixed problems and use relational domains.

Автор: M.V. Reyes S?nchez; A. Verschoren
Название: Classical and Involutive Invariants of Krull Domains
ISBN: 9401064946 ISBN-13(EAN): 9789401064941
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Patrick C. McGeer; Robert K. Brayton
Название: Integrating Functional and Temporal Domains in Logic Design
ISBN: 1461367689 ISBN-13(EAN): 9781461367680
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: After it was discovered that some existing approaches were wrong, it became apparent that the root of the difficulties lay in the attempts to balance computational efficiency and accuracy by separating the tempo- ral and logical (or functional) behaviour of combinational circuits.

Автор: Jacques Faraut; Soji Kaneyuki; Adam Koranyi; Qi-ke
Название: Analysis and Geometry on Complex Homogeneous Domains
ISBN: 1461271150 ISBN-13(EAN): 9781461271154
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: [see attached] This excellent introductory text covers a number of important areas in complex analysis and geometry. Written by experts in their respective fields, each of the five chapters unfolds from the basics to the more complex. Unlike other more laborious introductory texts, the exposition here is rapid-paced and efficient, without compromising proofs and examples that enable the reader to grasp the essentials. Topics covered include: function spaces on complex semigroups * graded Lie algebras, related geometric structures, and pseudo- Hermitian symmetric spaces * function spaces on bounded symmetric