This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
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…
This book presents new insights into Leibniz’s research on planetary theory and his system of pre-established harmony. Although some aspects of this theory have been explored in the literature, others are less well known. In particular, the book offers new contributions on the connection between the planetary theory and the theory of gravitation. It also provides an in-depth discussion of Kep…
This book carves the beginnings of a new path in the arguably weary discipline of economics. It combines a variety of perspectives – from the history of ideas to epistemology – in order to try to understand what has gone so wrong with economics and articulate a coherent way forward. This is undertaken through a dual path of deconstruction and reconstruction. Mainstream economics is broken d…
area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management,whichis likewise closely connected with recent work in computer science but also links directly with epistemology,…
The book provides accurate FDTD models for on-chip interconnects, covering most recent advancements in materials and design. Furthermore, depending on the geometry and physical configurations, different electrical equivalent models for CNT and GNR based interconnects are presented. Based on the electrical equivalent models the performance comparison among the Cu, CNT and GNR-based interconnects…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
This open access book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), which was held on September 25-27, 2019 in Fukuoka, Japan. The international symposium MQC addresses the mathematics and quantum theory underlying secure modeling of the post quantum cryptography including e.g. mathematical study of the light-matter interaction mod…
This book is an introduction to Fourier Transformation with a focus on signal analysis, based on the first edition. It is well suited for undergraduate students in physics, mathematics, electronic engineering as well as for scientists in research and development. It gives illustrations and recommendations when using existing Fourier programs and thus helps to avoid frustrations. Moreover, it is…
This volume contains thirty-nine revised and extended research articles, written by prominent researchers participating in the World Congress on Engineering and Computer Science 2014, held in San Francisco, October 22-24 2014. Topics covered include engineering mathematics, electrical engineering, circuit design, communications systems, computer science, chemical engineering, systems engineerin…