Filter by
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
- -
Logic, Language, and Computation: 10th International Tbilisi Symposium on Log…
This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them. The boo…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46906-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Fair Reflection of Society in Judicial Systems - A Comparative Study
This book addresses one central question: if justice is to be done in the name of the community, how far do the decision-makers need to reflect the community, either in their profile or in the opinions they espouse? Each contributor provides an answer on the basis of a careful analysis of the rules, assumptions and practices relating to their own national judicial system and legal culture. Writ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18485-2
- Collation
- 2 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography