# CAR

This book summarizes results of longstanding research and scientific contributions from many projects and relevant working groups. It collects and evaluates wind and wave climate projections under changing climate having design needs and marine safety in focus. Potential impact of projected climate change in met-ocean conditions on ships and offsho...

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...

The British Nuclear Medicine Society celebrates its 50th Anniversary with this booklet, which reflects the research of many of the pioneers in the use of radionuclides for the diagnosis and therapy of human disease. Since 1949 there have been remarkable advances in radionuclide techniques and imaging equipment: from the first devices "home-mad...

This book provides a holistic, interdisciplinary overview of offshore wind energy, and is a must-read for advanced researchers. Topics, from the design and analysis of future turbines, to the decommissioning of wind farms, are covered. The scope of the work ranges from analytical, numerical and experimental advancements in structural and fluid mech...

This open access book provides innovative methods and original applications of sequence analysis (SA) and related methods for analysing longitudinal data describing life trajectories such as professional careers, family paths, the succession of health statuses, or the time use. The applications as well as the methodological contributions propo...

The EQ-5D instrument, as a standardized, cross-culturally validated measure of self-assessed health has a hugely important role in understanding population health within and across countries. Over the past two decades a wealth of international population health survey data have been accumulated by the EuroQol Group from research conducted in many c...

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...

This book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and...

Quantitative models are omnipresent - but often controversially discussed - in todays risk management practice. New regulations, innovative financial products, and advances in valuation techniques provide a continuous flow of challenging problems for financial engineers and risk managers alike. Designing a sound stochastic model requires findin...

At a time when contemporary challenges seem to many to be insurmountable, this book offers an optimistic view of the future and provides a road map for societies to get there. Drawing upon extensive research and many years as a thought leader in environmental and sustainability issues in Japan and internationally, Hiroshi Komiyama analyzes the most...

Fundamental rights for all people with disabilities, education and employment are key for the inclusion of people with autism. They play as facilitators for the social inclusion of persons with autism and as multipliers for their enjoyment of other fundamental rights. After outlining the international and European dimensions of the legal protection...

Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers provides developers a comprehensive introduction and in-depth look at the Intel Xeon Phi coprocessor architecture and the corresponding parallel data structure tools and algorithms used in the various technical computing applications for which it is suitable. It...

This book visualizes mortality dynamics in the Lexis diagram. While the standard approach of plotting death rates is also covered, the focus in this book is on the depiction of rates of mortality improvement over age and time. This rather novel approach offers a more intuitive understanding of the underlying dynamics, enabling readers to better und...

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 revised, updated textbook presents a systems approach to the planning, management, and operation of water resources infrastructure in the environment. Previously published in 2005 by UNESCO and Deltares (Delft Hydraulics at the time), this new edition, written again with contributions from Jery R. Stedinger, Jozef P. M. Dijkman, and Monique T...

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...

Lone parenthood is an increasing reality in the 21st century, reinforced by the diffusion of divorce and separation. This volume provides a comprehensive portrait of lone parenthood at the beginning of the XXI century from a life course perspective. The contributions included in this volume examine the dynamics of lone parenthood in the life course...

This book aims to inspire decision makers and practitioners to change their approach to climate planning in the tropics through the application of modern technologies for characterizing local climate and tracking vulnerability and risk, and using decision-making tools. Drawing on 16 case studies conducted mainly in the Caribbean, Central America, W...

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...

This book focuses on the Salween River, shared by China, Myanmar, and Thailand, that is increasingly at the heart of pressing regional development debates. The basin supports the livelihoods of over 10 million people, and within it there is great socio-economic, cultural and political diversity. The basin is witnessing intensifying dynamics of reso...

This engaging volume celebrates the life and work of Theodor Holm "Ted" Nelson, a pioneer and legendary figure from the history of early computing. Presenting contributions from world-renowned computer scientists and figures from the media industry, the book delves into hypertext, the docuverse, Xanadu, and other products of Ted Nelson�...

This book draws on a broad study on violence against men, from both male and female partners in Norway, to contribute to the research on intimate partner violence. It identifies similarities in men's experiences and backgrounds, including in their perceptions of their own victimisation. Marianne Inez Lien and Jørgen Lorentzen argue that the t...

This book brings together research findings and experiences from science, policy and practice to highlight and debate the importance of nature-based solutions to climate change adaptation in urban areas. Emphasis is given to the potential of nature-based approaches to create multiple-benefits for society.The expert contributions present recommendat...

Urban Heat Islands (UHIs) are a microclimatic phenomenon which manifests as a significant increase in the temperature of cities compared to their surrounding areas. Recently the phenomenon has been enforced by the tendency to climate change and in particular by extreme climate events. This book presents and analyzes the results of a project to deve...

This book bridges the disciplinary boundaries within the social sciences to explore the role of social institutions in shaping geographical contexts, and in creating new knowledge. It includes theorizations as well as original empirical case studies on the emergence, maintenance and change of institutions as well as on their constraining and enabli...

The book presents the results of an in-depth comparative study assessing the implementation of the EU Pharmacovigilance Directive in six EU Member States. By going beyond legal transposition and instead focusing on practical implementation, this study aims to close a gap in EU compliance research. Based on qualitative interviews with relevant actor...

This book focuses on the concepts, tools and techniques needed to successfully model ever-changing time-series data. It emphasizes the need for general models to account for the complexities of the modern world and how these can be applied to a range of issues facing Earth, from modelling volcanic eruptions, carbon dioxide emissions and global temp...

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 book provides standards and guidelines for quantifying greenhouse gas emissions and removals in smallholder agricultural systems and comparing options for climate change mitigation based on emission reductions and livelihood trade-offs. Globally, agriculture is directly responsible for about 11% of annual greenhouse gas (GHG) emissions a...

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...