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...
Platform Embedded Security Technology Revealed is an in-depth introduction to Intel's platform embedded solution: the security and management engine. The engine is shipped inside most Intel platforms for servers, personal computers, tablets, and smartphones. The engine realizes advanced security and management functionalities and protects appl...
Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers in many fields, including endocrinology, neurosciences, cancer, and behavior. By integrating a circadian view within the fields of endocrinology and metabolism, researchers will be able to reveal many, yet-unsuspected aspe...
This book analyses the domestic politics of African dominant party regimes, most notably African governments' survival strategies, to explain their variance of opinions and responses towards the reforming policies of the EU. The author discredits the widespread assumption that the growing presence of China in Africa has made the EU's task...
The aim of this book is to facilitate the identification and description of the different organs as well as pathogens and diseases affecting the most representative species of cephalopods focussed on Sepia officinalis, Loligo vulgaris and Octopus vulgaris. These species are valuable 'morphotype' models and belong to the taxonomic groups S...
This collected volume represents the final outcome of the COST Action IS1104 "The EU in the new complex geography of economic systems: models, tools and policy evaluation".Visualizing the EU as a complex and multi-layered network, the book is organized in three parts, each of them dealing with a different level of analysis: At the macro-l...
This volume uses the study of firm dynamics to investigate the factors preventing faster productivity growth in Latin America and the Caribbean, pushing past the limits of traditional macroeconomic analyses. Each chapter is dedicated to an examination of a different factor affecting firm productivity - innovation, ICT usage, on-the-job-training, fi...
'This is an incredibly audacious book. Derek Bolton and Grant Gillett brilliantly succeed in providing the big picture that was lacking in the defense of the biopsychosocial model promoted by Engel 40 years ago.' - Steeves Demazeux, Assistant Professor in philosophy, Bordeaux-Montaigne University, FranceThis book is a systematic update of...
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016.
The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classific...
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 ...
This book presents a systematic investigation into internationally comparable data gathered in ICILS 2013. It identifies differences in female and male students' use of, perceptions about, and proficiency in using computer technologies. Teachers' use of computers, and their perceptions regarding the benefits of computer use in education, ...
This book, written by world experts in aquaponics and related technologies, provides the authoritative and comprehensive overview of the key aquaculture and hydroponic and other integrated systems, socio-economic and environmental aspects. Aquaponic systems, which combine aquaculture and vegetable food production offer alternative technology soluti...
It is common for us today to associate the practice of science primarily with the act of seeing—with staring at computer screens, analyzing graphs, and presenting images. We may notice that physicians use stethoscopes to listen for disease, that biologists tune into sound recordings to understand birds, or that engineers have created Geiger telle...
This book presents a cross-disciplinary insight and policy analysis into the effects of European legal and political frameworks on the life of 'Roma migrants' in Europe. It outlines the creation and implementation of Roma policies at the European level, provides a systematic understanding of identity-based exclusion and explores concrete ...
This second volume of ReConFort, published open access, addresses the decisive role of constitutional normativity, and focuses on discourses concerning the legal role of constitutional norms. Taken together with ReConFort I (National Sovereignty), it calls for an innovative reassessment of constitutional history drawing on key categories to convey ...
This book examines the interrelationship of national policy, teacher effectiveness, and student outcomes with a specific emphasis on educational equity. Using data from the IEA's Trends in International Mathematics and Science Study (TIMSS) conducted between 1995 and 2015, it investigates grade four and grade eight data to assess trends in key...
This book presents methods to evaluate sustainable development using economic tools. The focus on sustainable development takes the reader beyond economic growth to encompass inclusion, environmental stewardship and good governance. Sustainable Development Goals (SDGs) provide a framework for outcomes. In illustrating the SDGs, the book employs thr...
This book constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017.
The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: improving agile processes; agile i...
This book describes the differences in US census coverage, also referred to as "differential undercount", by showing which groups have the highest net undercounts and which groups have the greatest undercount differentials, and discusses why such undercounts occur. In addition to focusing on measuring census coverage for several demograph...
This book constitutes the thoroughly refereed proceedings of the First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, held in London, UK, in February 2018.The 12 full papers presented together with an overview paper were carefully reviewed and selected from 31 submissions. Security of distributed interconnected systems, software sy...
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 ...
As cities develop, more land is converted into impervious surfaces, which do not allow water to infiltrate. Careful urban planning is needed to ensure that the hydrologic cycle and water quality of the catchment areas are not affected. There are techniques that can attenuate peak flow during rain events and reduce the amount of metals, nutrients, a...
This book offers an original interdisciplinary overview of the role of haptic feedback in musical interaction. Divided into two parts, part I examines the tactile aspects of music performance and perception, discussing how they affect user experience and performance in terms of usability, functionality and perceived quality of musical instruments. ...
This book addresses the various disciplinary aspects of nature-based solutions in flood risk management on private land. In recent decades, water management has been moving towards nature-based solutions. These are assumed to be much more multi-purpose than traditional "grey infrastructures" and seem to be regarded as a panacea for many e...
This book is a methodical treatise on narration in different types of media. A theoretical rather than a historical study, Transmedial Narration is relevant for an understanding of narration in all times, including our own. By reconstructing the theoretical framework of transmedial narration, this book enables the inclusion of all kinds of communic...
This book compares the lessons learned from a wetland-perspective approach to the changing climate and the requirements of the Water Framework Directive (WFD) with regard to environmental conservation. Examples from Germany and Poland are discussed due to the efficiency of their respective implementations of water conservation policies. Although th...
This book discusses Rotterdam as clear example of a superdiverse city that is only reluctantly coming to terms with this new reality. Rotterdam, as is true for many post-industrial cities, has seen a considerable backlash against migration and diversity: the populist party Leefbaar Rotterdam of the late Pim Fortuyn is already for many years the lar...
Those convicted of homicide were hanged on the public gallows before being dissected under the Murder Act in Georgian England. Yet, from 1752, whether criminals actually died on the hanging tree or in the dissection room remained a medical mystery in early modern society. Dissecting the Criminal Corpse takes issue with the historical cliché of cor...
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 ...
This book presents a comprehensive overview of dilated cardiomyopathy, providing readers with practical guidelines for its clinical management. The first part of the book analyzes in detail the disease's pathophysiology, its diagnostic work up as well as the prognostic stratification, and illustrates the role of genetics and gene-environment i...
This volume focuses on the etiology and morphogenesis of congenital heart diseases. It reviews in detail the early development and differentiation of the heart, and later morphologic events of the cardiovascular system, covering a wide range of topics such as gene functions, growth factors, transcription factors and cellular interactions that are i...
This book is a must-have for anyone serious about rendering in real time. With the announcement of new ray tracing APIs and hardware to support them, developers can easily create real-time applications with ray tracing as a core component. As ray tracing on the GPU becomes faster, it will play a more central role in real-time rendering. Ray Tracing...