Filter by
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
- -
Model Choice in Nonnested Families
This book discusses the problem of model choice when the statistical models are separate, also called nonnested. Chapter 1 provides an introduction, motivating examples and a general overview of the problem. Chapter 2 presents the classical or frequentist approach to the problem as well as several alternative procedures and their properties. Chapter 3 explores the Bayesian approach, the limitat…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-53735-0
- Collation
- X, 96; 3 b/w illustrations, 2 illustrations in colour
- Series Title
- SpringerBriefs in Statistics
- 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
- -
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
- -
Traditional and Innovative Approaches in Seismic Design
This special issue collects selected papers about a wide range of innovative applications in earthquake engineering. These studies were presented during the 2nd Edition of the International Workshop “Traditional and Innovative Approaches in Seismic Engineering”, held in Pisa in March 2017. The topics refer to the investigation of traditional and innovative materials for earthquake engineeri…
- Edition
- -
- ISBN/ISSN
- 978-3-03842-748-3
- Collation
- -
- Series Title
- -
- Call Number
- 624 TRA
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
- -
Local Languages as a Human Right in Education: Comparative Cases from Africa
There seems to be general agreement that children learn better when they understand what the teacher is saying. In Africa this is not the case. Instruction is given in a foreign language, a language neither pupils nor the teachers understand well. This is the greatest educational problem there is in Africa. This is the problem this book discusses and it is therefore an important book. The recen…
- Edition
- -
- ISBN/ISSN
- 978-94-6209-947-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic, Language, Information, and Computation: 22nd International Workshop, W…
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully …
- Edition
- -
- ISBN/ISSN
- 978-3-662-47709-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, T…
FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48561-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23165-5
- 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