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 book describes modern applications of computational human modeling with specific emphasis in the areas of neurology and neuroelectromagnetics, depression and cancer treatments, radio-frequency studies and wireless communications. Special consideration is also given to the use of human modeling to the computational assessment of relevant regula...
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 analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, attract, and retain highly skilled migrants who represent value to them. It reveals how state and economic actors define "wanted immigrants" and provide them with privileged access to the Swiss territory and labour m...
This open access edited collection examines representations of human trafficking in media ranging from British and Serbian newspapers, British and Scandinavian crime novels, and a documentary series, and questions the extent to which these portrayals reflect the realities of trafficking. It tackles the problematic tendency to under-report particula...
The editors present essential methods and tools to support a holistic approach to the challenge of system upgrades and innovation in the context of high-value products and services. The approach presented here is based on three main pillars: an adaptation mechanism based on a broad understanding of system dependencies; efficient use of system knowl...
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 presents a selection of the best contributions to the Digital Cities 9 Workshop held in Limerick in 2015, combining a number of the latest academic insights into new collaborative modes of city making that are firmly rooted in empirical findings about the actual practices of citizens, designers and policy makers. It explores the affordanc...
Break down the misconceptions of the Internet of Things by examining the different security building blocks available in Intel Architecture (IA) based IoT platforms. This book reviews the threat pyramid, secure boot, chain of trust, and the SW stack leading up to defense-in-depth.
The IoT presents unique challenges in implementing security and Inte...
This book investigates psychiatry in Uganda during the years of decolonisation. It examines the challenges facing a new generation of psychiatrists as they took over responsibility for psychiatry at the end of empire, and explores the ways psychiatric practices were tied to shifting political and development priorities, periods of instability, and ...
This book develops a theoretical concept of teaching that is relevant to early childhood education, and based on children's learning and development through play. It discusses theoretical premises and research on playing and learning, and proposes the development of play-responsive didaktik. It examines the processes and products of learning a...
This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview of the MOD...
This book showcases the burgeoning area of applied research at the intersection between weather and climate science and the energy industry. It illustrates how better communication between science and industry can help both sides. By opening a dialogue, scientists can understand the broader context for their work and the energy industry is able to ...
This book examines the modern role of the European School system within the European Union, at a time when the global economy demands a new vision for contemporary education. The European schools are currently in a state of crisis: their 60-year-old tradition of bilingual and multilingual education is being strained by rapid EU expansion and the re...
This Brief presents new approaches and innovative challenges to address bringing technology into community-oriented policing efforts. "Community-oriented policing" is an approach that encourages police to develop and maintain personal relationships with citizens and community organizations. By developing these partnerships, the goal is to...
and reports on research carried out as part of the European Union co-funded C.O.N.T.A.C.T. project which targeted hate speech and hate crime across a number of EU member states. It showcases the bearing that discourse analytic research can have on our understanding of this phenomenon that is a growing global cause for concern. Although 'ha...
This book presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy. Information Technology has always been highly interdisciplinary, as many aspects have to be considered in IT systems. The doctoral studies program in IT at Politecnico...
Energy Efficient Servers: Blueprints for Data Center Optimization introduces engineers and IT professionals to the power management technologies and techniques used in energy efficient servers. The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outline...
This timely book addresses the conflict between globalism and nationalism. It provides a liberal communitarian response to the rise of populism occurring in many democracies. The book highlights the role of communities next to that of the state and the market. It spells out the policy implications of liberal communitarianism for privacy, freedom o...
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...
It relates to the III Annual Conference hosted by the Russian Federal Ministry of Education and Science in December 2016. This event has summarized, analyzed and discussed the interim results, academic outputs and scientific achievements of the Russian Federal Targeted Programme for Research and Development in priority areas of development of the R...
With technology standards becoming increasingly common, particularly in the information and communications technology (ICT) sector, the complexities and contradictions at the interface of intellectual property law and competition law have emerged strongly. This book talks about how the regulatory agencies and courts in the United States, European U...
This book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the activities and rationales of key leaders in their own words since it organized into a unique community in 1992. Sandwiched by editorial chapters that include critical analysis, the book contains 19 chapters by 21 authors about th...
Cloud computing is a game changer. Being able to automate and constantly adjust infrastructure is one important reason to use cloud computing for your clients. And developing and operating systems that are able to recover from failure automatically has never been easier. Cloud providers offer you the needed infrastructure for a very reasonable pric...
Conviviality has lately become a catchword not only in academia but also among political activists. This open access book discusses conviviality in relation to the adjoining concepts cosmopolitanism and creolisation. The urgency of today's global predicament is not only an argument for the revival of all three concepts, but also a reason to br...
This book has brought together leading investigators who work in the new arena of brain connectomics. This includes 'macro-connectome' efforts to comprehensively chart long-distance pathways and functional networks; 'micro-connectome' efforts to identify every neuron, axon, dendrite, synapse, and glial process within restricted ...
This free book analyses intercultural dialogue as a concept, policy and ideal in European education policy documentation. The core European transnational organizatons – the Council of Europe and the European Union – have actively promoted policies to engender inclusive societies and respond to challenges that diversification may entail. This bo...
The International Symposium on Hearing is a prestigious,triennial gathering where world-class scientists present and discuss the most recent advances in the field of human and animal hearing research. The 2015 edition will particularly focus on integrative approaches linking physiological, psychophysical and cognitive aspects of normal and impaired...
The book examines the methodological challenges in analyzing the effectiveness of development policies. It presents a selection of tools and methodologies that can help tackle the complexities of which policies work best and why, and how they can be implemented effectively given the political and economic framework conditions of a country. The cont...
This book summarizes work being pursued in the context of the CIPRNet (Critical Infrastructure Preparedness and Resilience Research Network) research project, co-funded by the European Union under the Seventh Framework Programme (FP7). The project is intended to provide concrete and on-going support to the Critical Infrastructure Protection (CIP) r...
This book investigates what international placements of healthcare employees in low resource settings add to the UK workforce and the efficacy of the its national health system. The authors present empirical data collected from a volunteer deployment project in Uganda focused on reducing maternal and new-born mortality and discuss the learning and ...
This free book presents up-to-date analyses of community-based approaches to sustainable resource management of SEPLS (socio-ecological production landscapes and seascapes) in areas where a harmonious relationship between the natural environment and the people who inhabit it is essential to ensure community and environmental well-being as well as t...