This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017.
The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, l...
How can we design more sustainable industrial and urban systems that reduce environmental impacts while supporting a high quality of life for everyone? What progress has been made towards reducing resource use and waste, and what are the prospects for more resilient material-efficient economies? What are the environmental and social impacts of glob...
This free book was prepared as a Final Publication of the COST Action IC1304 "Autonomous Control for a Reliable Internet of Services (ACROSS)". The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-grad...
This book is the final publication of the COST Action IC1303 "Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)" project.Ambient Assisted Living (AAL) is an area of research based on Information and Communication Technologies (ICT), medical research, and sociological research. AAL is based on the notion tha...
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...
This textbook, endorsed by the European Society for Blood and Marrow Transplantation (EBMT), provides adult and paediatric nurses with a full and informative guide covering all aspects of transplant nursing, from basic principles to advanced concepts. It takes the reader on a journey through the history of transplant nursing, including essential an...
This book is the final compendium of case studies emanated from the 4-year COST Action IC1406 "High-Performance Modelling and Simulation for Big Data Applications" (cHiPSet). Funded by the European Commission from 2015, cHiPSet has created a sustainable reference network linking applied research in High Performance Computing (HPC) and Mod...
This volume describes phase 3 of the AiREAS multidisciplinary cocreation effort to produce a Healthy City. Phase 1 referred to making visible the invisible from an air quality and human exposure perspective. Phase 2 studies air quality related to health and Phase 3 looks at air quality, health and lifestyle from the perspective of persuasion to inn...
This book presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical possibilities.The book not only addresses several improvements in the quality of educational measurement and innovations in (inter)national large scale assessments, but also several advances in psychometrics and i...
Moral dilemmas are a pervasive feature of working life. Moral Reasoning at Work offers a fresh perspective on how to live with them using ethics and moral psychology research. It argues that decision-makers must go beyond compliance and traditional approaches to ethics to prepare for moral dilemmas....
This book covers the main issues, challenges and techniques concerning the application of qualitative methodologies to the study of migration. It discusses theoretical, epistemological and empirical questions that must be considered before, during, and after undertaking qualitative research in migration studies. It also covers recent innovative dev...
This open access brief introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon ha...
This survey provides a brief and selective overview of research in the philosophy of mathematics education. It asks what makes up the philosophy of mathematics education, what it means, what questions it asks and answers, and what is its overall importance and use? It provides overviews of critical mathematics education, and the most relevant mode...
First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers...
This ICME-13 Topical Survey provides a review of recent research into statistics education, with a focus on empirical research published in established educational journals and on the proceedings of important conferences on statistics education. It identifies and addresses six key research topics, namely: teachers' knowledge; teachers' ro...
Тhis book offers a concise, practice-oriented reference-guide to the field of ocean wave energy. The ten chapters highlight the key rules of thumb, address all the main technical engineering aspects and describe in detail all the key aspects to be considered in the techno-economic assessment of wave energy converters. Written in an easy-to-underst...
This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling or implementation issue, and most end with implications or suggestions for further studies. Significant variables and success factors are identified that...
This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial I...
This book highlights the ethical issues and dilemmas that arise in the practice of public health. It is also a tool to support instruction, debate, and dialogue regarding public health ethics. Although the practice of public health has always included consideration of ethical issues, the field of public health ethics as a discipline is a relatively...
This open access publication discusses exclusionary rules in different criminal justice systems. It is based on the findings of a research project in comparative law with a focus on the question of whether or not a fair trial can be secured through evidence exclusion. Part I explains the legal framework in which exclusionary rules function in six l...
This open access volume constitutes the refereed proceedings of the 27th biennial conference of the German Society for Computational Linguistics and Language Technology, GSCL 2017, held in Berlin, Germany, in September 2017, which focused on language technologies for the digital age. The 16 full papers and 10 short papers included in the proceeding...
Intel Trusted Execution Technology (Intel TXT) is a new security technology that started appearing on Intel server platforms in 2010. This book explains Intel Trusted Execution Technology for Servers, its purpose, application, advantages, and limitations. This book guides the server administrator / datacenter manager in enabling the technology as w...
This book presents the first detailed study of one of the most important masterpieces of Renaissance cartography, Martin Waldseemüller's Carta marina of 1516. By transcribing, translating into English, and detailing the sources of all of the descriptive texts on the map, as well as the sources of many of the images, the book makes the map ava...
The aim of the book is to present contributions in theory, policy and practice to the science and policy of sustainable intensification by means of technological and institutional innovations in agriculture. The research insights re from Sub-Saharan Africa and South Asia. The purpose of this book is to be a reference for students, scholars and prac...
This book provides insight on current patterns of migration in Switzerland, which fall along a continuum from long-term and permanent to more temporary and fluid. These patterns are shaped by the interplay of legal norms, economic drivers and societal factors. The various dimensions of this Migration-Mobility Nexus are investigated by means of new...
This open access Pivot book is a comparative study of six early colonial public libraries in nineteenth-century Australia, South Africa, and Southeast Asia. Drawing on networked conceptualisations of empire, transnational frameworks, and 'new imperial history' paradigms that privilege imbricated colonial and metropolitan 'intercultur...
Modern information and communication technologies, together with a cultural upheaval within the research community, have profoundly changed research in nearly every aspect. Ranging from sharing and discussing ideas in social networks for scientists to new collaborative environments and novel publication formats, knowledge creation and dissemination...
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created ...
Android on x86: an Introduction to Optimizing for Intel® Architecture serves two main purposes. First, it makes the case for adapting your applications onto Intel's x86 architecture, including discussions of the business potential, the changing landscape of the Android marketplace, and the unique challenges and opportunities that arise from x...
This book presents 20 peer-reviewed chapters on current aspects of derivatives markets and derivative pricing. The contributions, written by leading researchers in the field as well as experienced authors from the financial industry, present the state of the art in:
- Modeling counterparty credit risk: credit valuation adjustment, debit valuation a...
This book presents Nils Petter Gleditsch, a staff member of the Peace Research Institute of Oslo (PRIO) since 1964, a former editor of the Journal for Peace Research (1983-2010), a former president of the International Studies Association (2008-2009) and the recipient of several academic awards as a pioneer in the scientific analysis of war and pea...
Optimizing HPC Applications with Intel Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve...