This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpre…
This book discusses how to combine type-2 fuzzy sets and graphical models to solve a range of real-world pattern recognition problems such as speech recognition, handwritten Chinese character recognition, topic modeling as well as human action recognition. It covers these recent developments while also providing a comprehensive introduction to the fields of type-2 fuzzy sets and graphical model…
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety propert…
This book provides a nexus between research and practice through teachers’ narratives of their experiences with telecollaboration. The book begins with a chapter outlining the pedagogical and theoretical underpinnings of telecollaboration (also known as Virtual Exchange), followed by eight chapters that explain telecollaborative project design, materials and activities as well as frank discus…
Individual turnpike results are of great interest due to their numerous applications in engineering and in economic theory; in this book the study is focused on new results of turnpike phenomenon in linear optimal control problems. The book is intended for engineers as well as for mathematicians interested in the calculus of variations, optimal control and in applied functional analysis. Two…
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…
Critical Perspectives on Cultural Memory and Heritage focuses on the importance of memory and heritage for individual and group identity, and for their sense of belonging. It aims to expose the motives and discourses related to the destruction of memory and heritage during times of war, terror, sectarian conflict and through capitalist policies. It is within these affected spheres of cultural h…
Missy Maker is a middle school girl who loves math and fashion. She sees math in everything she does. She tries to hide this from her friends, because she thinks it’s too geeky. Missy hears that the school math club needs more members, but she’s worried about what her friends will think if she joins, and she’s already committed to joining the fashion club. After an epic internal st…
Eleanor Vere Boyle (1825–1916), who re-created the gardens of Huntercombe Manor in Berkshire in the 1870s, was a talented artist as well as an author, illustrating both poetry and books for children. Coming from an aristocratic family, and in later life a friend of Queen Alexandra, she produced sketches and watercolours admired by Ruskin and Landseer, and Tennyson and Bulwer Lytton contribute…
Cooperating successfully in complex systems is a key challenge of the 21st century ℓ́ℓ a challenge we encounter in the global business context and in almost all policy fields. Whether we are looking at airport expansions, health reform, education system reform or public debt reduction, the complexity of such social change processes requires sophisticated interaction between different organ…