In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a set of data. Interesting examples of
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Softwa
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstract
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computi
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full pap
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to
This book presents state-of-the-art approaches in formal verification and methods to seamlessly integrate different formal verification techniques within a single logical foundation. It demonstrates
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in V
Optical Components for Communications is an incomparable book that provides the reader with an understanding of a highly technical subject in a way that is both academically sound and easy to read. Re
The book outlines Sysnet Modelling, a method for modelling systems architecture. The method is particularly well suited for telecom networks and systems, although a large part of it may be used in a w
This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2017, held in Pisa, Italy, November 29-30, 2017.Th
This book serves as a single-source reference to the state-of-the-art in Internet of Things (IoT) platforms, services, tools, programming languages, and applications. In particular, the authors focus
This book provides a basis for the design and analysis of welded components, that are loaded by fluctuating forces, to avoid failure by fatigue. In addition the book aims at assisting others, on board
Investigating the correspondence between systems of partial differential equations and their analytic solutions using a formal approach, this monograph presents algorithms to determine the set of anal
The ongoing thread in this volume of Physics of Lakes is the presentation of different methods of investigation for processes taking place in real lakes with a view to understanding lakes as component
This book contains extended versions of selected papers from the 3rd edition of the International Symposium CompIMAGE.These contributions include cover methods of signal and image processing and analy
The call for environmentally compatible and economical vehicles necessitates immense efforts to develop innovative engine concepts. Technical concepts such as gasoline direct injection helped to save
This book provides an overview and an insight in cooperative objects and defines the classification of topics into the different areas. A significant number of researchers and industrial partners were
This volume presents innovative formulations and applied procedures for sensitivity analysis and structural design optimization. Coverage ranges from recent developments to the use of evolutionary alg
Instead of taking somebody's word for it about the basic size and distance statistics for the solar system, this book shows amateur astronomers how to measure these things for themselves. This is an
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible ma
This volume is based on a multidisciplinary approach towards biological and chemical threats that can, and have been previously used in bioterrorism attacks around the globe. Current knowledge and evi
This volume is based on a multidisciplinary approach towards biological and chemical threats that can, and have been previously used in bioterrorism attacks around the globe. Current knowledge and evi
This book is the first comprehensive account of developments in open and distance non-formal education in developing countries for over more than 20 years. It includes many instructive and inspiring e
This book presents an introduction to Evolutionary Game Theory (EGT) which is an emerging field in the area of complex systems attracting the attention of researchers from disparate scientific communi
This brief deals with various forms of supercapacitors starting from traditional carbon based supercapacitors to advanced next generation hybrid supercapacitors. The primary focus is to investigate th
This book assembles and organizes a selected range of methods and techniques that every planning practitioner should know to be successful in the contemporary global urban landscape. The book is uniqu
This book addresses issues of monitoring populations of tigers, ungulate prey species and habitat occupancy, with relevance to similar assessments of large mammal species and general biodiversity. It
The purpose of this monograph is to describe recent developments in mathematical modeling and mathematical analysis of certain problems arising from cell biology. Cancer cells and their growth via sev
This textbook presents the core of recent advances in design theory and its implications for design methods and design organization. Providing a unified perspective on different design methods and app
This book provides an extensive overview of the application of neutron characterization techniques in cultural heritage to a broad audience and will be of interest to both scientists and non-scientist
This book presents essential methods of deformation compatibility control, and explicitly addresses the implied conditions on the methods’ deformation compatibility. Consequently, these conditions can
This text deals with combinatorics, finite calculus, formal power series and generating functions, recurrence relations, symbolic calculus and approximation formulae for finite sums. There are several
This book deals with the application of techniques and methods of chemical analysis for the study of biomass and its conversion processes, aiming to fill the current gap in the book literature on the
This book covers the state-of-the-art research on molecular biology assays and molecular techniques enabled or enhanced by microfluidic platforms. Topics covered include microfluidic methods for cellu
This textbook provides a step-by-step approach to numerical methods in engineering modelling. The authors provide a consistent treatment of the topic, from the ground, to reinforce for students that n
This volume presents a collection of contributions on advanced approaches of continuum mechanics, which were written to celebrate the 60th birthday of Prof. Holm Altenbach. The contributions are on to
