As psychology and philosophy arose as answers to the eternal question of how the mind works, evolutionary psychology has gained ground over recent years as a link between cognitive-behavioral and natural-science theories of the mind. This provocative field has also gathered a wide range of criticisms, from attributing too much autonomy to the brain to basing itself on faulty assu…
Written by one of the subject’s foremost experts, this book focuses on the central developments and modern methods of the advanced theory of abelian groups, while remaining accessible, as an introduction and reference, to the non-specialist. It provides a coherent source for results scattered throughout the research literature with lots of new proofs. The presentation highlights major tren…
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in p…
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used…
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of…
This book offers a step-by-step guide to intervention research, including the methods and techniques that researchers, higher degree research students and others can use when pursuing intervention research in schools and other settings. Guided by the Intervention Research Framework, it also provides practical information on linking a program developed using a comprehensive, evidence-based appro…
This book contains the refereed contributions from the 43rd annual meeting of ISOTT. The annual meetings of ISOTT bring together scientists from various fields (medicine, physiology, mathematics, biology, chemistry, physics, engineering, etc.) in a unique international forum. ISOTT conferences are a place where an atmosphere of interaction is created, where many questions are asked after each p…
This book contains the refereed contributions from the 42nd annual meeting of ISOTT. The annual meetings of ISOTT bring together scientists from various fields (medicine, physiology, mathematics, biology, chemistry, physics, engineering, etc.) in a unique international forum. ISOTT conferences are a place where an atmosphere of interaction is created, where many questions are asked after each p…
This volume explores the various ways in which trust is thought about and studied in contemporary society. In doing so, it aims to advance both theoretical and methodological perspectives on trust. Trust is an important topic in this series because it raises issues of both motivation and emotion. Specifically, notions of trust and fairness motivate individuals to behave in a manner they deem ap…
This modern translation of Sophus Lie's and Friedrich Engel's “Theorie der Transformationsgruppen I” will allow readers to discover the striking conceptual clarity and remarkably systematic organizational thought of the original German text. Volume I presents a comprehensive introduction to the theory and is mainly directed towards the generalization of ideas drawn from the study of example…