This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Approximation and Online Algorithms, WAOA 2015, held in Patras, Greece, in September 2015 as part of ALGO 2015. The 17 revised full papers presented were carefully reviewed and selected from 40 submissions. Topics of interest for WAOA 2015 were: algorithmic game theory, algorithmic t…
This book analyses the potentials and consequences of a change from production-based to consumption-based approaches in international climate policy. With the help of an analytical model, the author investigates the effects of different policy variants on environmental effectiveness, cost-effectiveness, carbon leakage, competitiveness and the global distribution of income. The economic, legal, …
This book provides insights on a broad spectrum of renewable and sustainable energy technologies from the world’s leading experts. It highlights the latest achievements in policy, research and applications, keeping readers up-to-date on progress in this rapidly advancing field. Detailed studies of technological breakthroughs and optimizations are contextualized with in-depth examinations of …
This book provides theoretical tools for evaluating the soundness of arguments in the context of legal argumentation. It deals with a number of general argument types and their particular use in legal argumentation. It provides detailed analyses of argument from authority, argument ad hominem, argument from ignorance, slippery slope argument and other general argument types. Each of these argum…
This book describes new circuits and systems for implantable biomedical applications and explains the design of a batteryless, remotely-powered implantable micro-system, designed for long-term patient monitoring. Following new trends in implantable biomedical applications, the authors demonstrate a system which is capable of efficient, remote powering and reliable data communication. Novel arch…
This book is for musical makers and artists who want to gain knowledge and inspiration for your own amazing creations. “Grumpy Mike” Cook, co-author of several books on the Raspberry Pi and frequent answerer of questions of the Arduino forums, brings you a fun and instructive mix and simple and complex projects to help you understand how the Arduino can work with the MIDI system to create m…
This contribution to SpringerBriefs in Green Chemistry outlines and discusses the four major green chemistry metrics (atom economy, reaction mass efficiency, E factor and process mass intensity), at a level that is comprehensible by upper-level undergraduates. Such students have previously received fundamental training in organic chemistry basics, and are ideally positioned to learn about green…
The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials with coefficients in a valuation ring. Simple and constructive proofs of some results in the theory …
This contribution to SpringerBriefs in Green Chemistry outlines and discusses the four major green chemistry metrics (atom economy, reaction mass efficiency, E factor and process mass intensity), at a level that is comprehensible by upper-level undergraduates. Such students have previously received fundamental training in organic chemistry basics, and are ideally positioned to learn about green…
This book constitutes the proceedings of the 28th International Conference on Architecture of Computing Systems, ARCS 2015, held in Porto, Portugal, in March 2015. The 19 papers presented together with three invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in six sessions covering the topics: hardware, design, applications, trust and privacy, …