Global Perspectives on Recognising Non-formal and Informal Learning
This book deals with the relevance of recognition and validation of non-formal and informal learning in education and training, the workplace and society. In an increasing number of countries, it is at the top of the policy and research agenda ranking among the possible ways to redress the glaring lack of relevant academic and vocational qualificat...
Formalizing the Shadow Economy in Serbia
The main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy in order to improve the competitiveness of the economy and contribute to economic growth; it explores these issues with special reference to Serbia. The size and development of the shadow economy in Serbia and other Centra...
Teaching and Learning of Calculus
This survey focuses on the main trends in the field of calculus education. Despite their variety, the findings reveal a cornerstone issue that is strongly linked to the formalism of calculus concepts and to the difficulties it generates in the learning and teaching process. As a complement to the main text, an extended bibliography with some of the...
Managed Software Evolution
This book presents the outcomes of the "Design for Future - Managed Software Evolution" priority program 1593, which was launched by the German Research Foundation ("Deutsche Forschungsgemeinschaft (DFG)") to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecy...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book toget...
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
Fundamental Approaches to Software Engineering
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed ...
Foundations of Quantum Theory
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes compr...
Rethinking Health Care Ethics
‚ÄčThe goal of this book is to develop an approach to clinical health care ethics that is more accessible to, and usable by, health professionals than the now-dominant approaches that focus, for example, on the application of ethical principles. The book elaborates the view that health professionals have the emotional and intellectual resources to ...
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The tot...
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes...
Compositionality and Concepts in Linguistics and Psychology
By highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the central challenges in the study of language and cognition. The articles bring together work by leading scholars and younger researchers in psychology, linguistics and philosophy. An introductory chapter lays out the background...
Conceptualizing Environmental Citizenship for 21st Century Education
This free book is about the development of a common understanding of environmental citizenship. It conceptualizes and frames environmental citizenship taking an educational perspective. Organized in four complementary parts, the book first explains the political, economic and societal dimensions of the concept. Next, it examines environmental citiz...
Grammar for Teachers
Updated and revised with more examples and expanded discussions, this second edition continues the aim of providing teachers with a solid understanding of the use and function of grammatical structures in American English. The book avoids jargon and presents essential grammatical structures clearly and concisely. Dr. DeCapua approaches grammar from...
Understanding Machine Learning
The subject of this book is automated learning, or, as we will more often call it, Machine Learning (ML). That is, we wish to program computers so that they can "learn" from input available to them. Roughly speaking, learning is the process of converting experience into expertise or knowledge. The input to a learning algorithm is training...
The Real Economy
This collection highlights a key metaphor in contemporary discourse about economy and society. The contributors explore how references to reality and the real economy are linked both to the utopias of collective well-being, supported by real monies and good economies, and the dystopias of financial bubbles and busts, in which people's own lives &qu...
IUTAM
This book presents extensive information related to the history of IUTAM. The initial chapters focus on IUTAM's history and selected organizational aspects. Subsequent chapters provide extensive data and statistics, while the closing section showcases photos from all periods of the Union's history.The history of IUTAM, the International Union on Th...
Computational Thinking Education
This book offers a comprehensive guide, covering every important aspect of computational thinking education. It provides an in-depth discussion of computational thinking, including the notion of perceiving computational thinking practices as ways of mapping models from the abstraction of data and process structures to natural phenomena. Further, it...
Microfinance 3.0
This book focuses on the achievements, current trends and further potential of microfinance to scale-up and serve many more clients with financial services that enable them to improve their living conditions. The book asks what it takes to achieve sustainable impact: to know your clients and to understand their needs, to treat them in a fair and tr...
Semiotics in Mathematics Education
This volume discusses semiotics in mathematics education as an activity with a formal sign system, in which each sign represents something else. Theories presented by Saussure, Peirce, Vygotsky and other writers on semiotics are summarized in their relevance to the teaching and learning of mathematics. The significance of signs for mathematics educ...
The Everyday Life of an Algorithm
This book begins with an algorithm - a set of IF...THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in ...
The Essence of Software Engineering
This book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developme...
Mediation in Collective Labor Conflicts
This book opens up the black box of mediation in collective conflicts through the analyses and comparisons of various systems. Mediation and related third party interventions such as conciliation and facilitation are discussed as effective prevention and regulation tools for different types of collective labor conflicts. These interventions fit in...
Asylum Determination in Europe
Drawing on new research material from ten European countries, Asylum Determination in Europe: Ethnographic Perspectives brings together a range of detailed accounts of the legal and bureaucratic processes by which asylum claims are decided.The book includes a legal overview of European asylum determination procedures, followed by sections on the di...
Model-Based Demography
Late in a career of more than sixty years, Thomas Burch, an internationally known social demographer, undertook a wide-ranging methodological critique of demography. This open access volume contains a selection of resulting papers, some previously unpublished, some published but not readily accessible [from past meetings of The International Union...
Climate Smart Agriculture
The book uses an economic lens to identify the main features of climate-smart agriculture (CSA), its likely impact, and the challenges associated with its implementation. Drawing upon theory and concepts from agricultural development, institutional, and resource economics, this book expands and formalizes the conceptual foundations of CSA. Focusing...
Information-Consciousness-Reality
This book chronicles the rise of a new scientific paradigm offering novel insights into the age-old enigmas of existence. Over 300 years ago, the human mind discovered the machine code of reality: mathematics. By utilizing abstract thought systems, humans began to decode the workings of the cosmos. From this understanding, the current scientific pa...
Programming Languages and Systems
This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The ...
The Social Life of Economic Inequalities in Contemporary Latin America
This edited volume examines how economic processes have worked upon social lives and social realities in Latin America during the past decades. Through tracing the effects of the neoliberal epoch into the era of the so-called pink tide, the book seeks to understand to what extent the turn to the left at the start of the millennium managed to challe...
The Huawei and Snowden Questions
PreliminaryThis book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of comp...
Computer Aided Verification
The book set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organ...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...

1 2