Filter by
Two-Dimensional Systems From Introduction to State of the Art
A solution permitting the stabilization of 2-dimensional (2-D) continuous-time saturated system under state feedback control is presented in this book. The problems of delay and saturation are treated at the same time. The authors obtain novel results on continuous 2-D systems using the unidirectional Lyapunov function. The control synthesis and the saturation and delay conditions are presented…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20116-0
- Collation
- XXXI, 295
- Series Title
- -
- Call Number
- -
Trusted Computing for Embedded Systems
This book describes the state-of-the-art in trusted computing for embedded systems. It shows how a variety of security and trusted computing problems are addressed currently and what solutions are expected to emerge in the coming years. The discussion focuses on attacks aimed at hardware and software for embedded systems, and the authors describe specific solutions to create security features. …
- Edition
- -
- ISBN/ISSN
- 978-3-319-09420-5
- Collation
- 49 b/w illustrations, 102 illustrations in colour
- Series Title
- -
- Call Number
- -
The Congruences of a Finite Lattice
This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method. Key features: * Insightful discussion of techniques to construct "nice" finite lattices with given congruence lattices and "nice" congruen…
- Edition
- 2
- ISBN/ISSN
- 978-3-319-38798-7
- Collation
- -
- Series Title
- XXXIV, 346, 159 b/w illustrations
- Call Number
- XXXIV, 346
Message Processing : The Science of Creating Understanding
This chapter introduces “message processing” as a study of human communication processes, with a focus on how people create understanding in interaction. It explains how “message processing” contrasts with traditional approaches to studying human communication (which typically focus on outcomes that follow from communicating in particular ways, rather than how communication itself works…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 302 GAS m
Model-Driven Design Using IEC 61499:A Synchronous Approach for Embedded and A…
This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach i…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-10520-8
- Collation
- XVIII, 194
- Series Title
- -
- Call Number
- -
Mod-ϕ Convergence: Normality Zones and Precise Deviations
The canonical way to establish the central limit theorem for i.i.d. random variables is to use characteristic functions and Lévy’s continuity theorem. This monograph focuses on this characteristic function approach and presents a renormalization theory called mod-ϕ convergence. This type of convergence is a relatively new concept with many deep ramifications, and has not previously been pub…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-46821-1
- Collation
- XII, 152; 8 b/w illustrations, 9 illustrations in colour
- Series Title
- SpringerBriefs in Probability and Mathematical Statistics
- Call Number
- -
Minimal Stimulation and Natural Cycle In Vitro Fertilization
This contributed volume regenerates the significance of and respect for natural phenomenon in the background of the risks and complications seen in ART such as ovarian hyperstimulation and multiple pregnancies. Balancing the clinical practice between the beneficial natural physiology and the prolific use of stimulation drugs for ART may help eliminate risks that may prove clinically, financia…
- Edition
- 1
- ISBN/ISSN
- 978-81-322-1117-4
- Collation
- XVI, 101
- Series Title
- -
- Call Number
- -
Model-Based Processing for Underwater Acoustic Arrays
This monograph presents a unified approach to model-based processing for underwater acoustic arrays. The use of physical models in passive array processing is not a new idea, but it has been used on a case-by-case basis, and as such, lacks any unifying structure. This work views all such processing methods as estimation procedures, which then can be unified by treating them all as a form of joi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17556-0
- Collation
- X, 113; 11 b/w illustrations, 14 illustrations in colour
- Series Title
- SpringerBriefs in Physics
- Call Number
- -
Logic Programming and Nonmonotonic Reasoning: 13th International Conference, …
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral co…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23264-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic for Programming, Artificial Intelligence, and Reasoning: 20th Internati…
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48899-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography