# SECT

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

This book provides an in-depth study of the management of standards and regulation in sustainable and radical innovation development. It considers the case of micro Combined Heat and Power (mCHP) technology. The developers of this radical innovation in the European heating sector encountered major conflicts when attempting to create or adapt stand...

In this book readers will find technological discussions on the existing and emerging technologies across the different stages of the big data value chain. They will learn about legal aspects of big data, the social impact, and about education needs and requirements. And they will discover the business perspective and how big data technology can be...

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 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 presents a picture of the current energy challenges on the African continent (and the Sub-Saharan region in particular) and proposes pathways to an accelerated energy transition. Starting with an analysis of the status quo and the outlook for Africa's energy demand and energy access, it provides an account of the available resources,...

The objective of this report is to examine the extent to which countries in Latin America and the Caribbean participate in global value chains and what are the drivers of such participation. Production processes have been increasingly fragmented worldwide. For example, the production of the Boeing 787 Dreamliner involves 43 suppliers located in 13...

This book addresses the practice of social innovation, which is currently very much in the public eye. New ideas and approaches are needed to tackle the severe and wicked problems with which contemporary societies are struggling. Especially in times of economic crisis, social innovation is regarded as one of the crucial elements needed to move forw...

This short open access book investigates the role of renewable energy in East Africa to provide policy-relevant inputs for the achievement of a cost-effective electrification process in the region. For each country, the authors review the current situation in the domestic power sector, adopt a GIS-based approach to plot renewable energy resources p...

With this graduate-level primer, the principles of the standard model of particle physics receive a particular skillful, personal and enduring exposition by one of the great contributors to the field. In 2013 the late Prof. Altarelli wrote: The discovery of the Higgs boson and the non-observation of new particles or exotic phenomena have made a big...

This book discusses how Norwegian shipping companies played a crucial role in global shipping markets in the 20th century, at times transporting more than ten per cent of world seaborne trade. Chapters explore how Norway managed to remain competitive, despite being a high labour-cost country in an industry with global competition. Among the feature...

This book disseminates some of the results of the European H2020 AiRT Project (Technology transfer of RPAs for the creative industry). In particular, it presents findings related to mitigating safety and security concerns when civil drones are piloted by the service sector (mainly, the creative industry). European policies regarding drones generall...

'This book… brings together high quality research, real world pragmatism and an understanding of the politics of Indian food systems.' – Lawrence Haddad, Executive Director, GAIN and 2018 World Food Prize Laureate'[The authors] have done a masterful job of [demonstrating] paradoxes of India's rapid economic growth concurrent...

Maritime or marine spatial planning has gained increasing prominence as an integrated, common-sense approach to promoting sustainable maritime development. A growing number of countries are engaged in preparing and implementing maritime spatial plans: however, questions are emerging from the growing body of MSP experience. How can maritime spatial ...

A series of reforms have greatly improved the efficiency, reliability, and environmental performance of the Chinese power sector. However, significant challenges remain: rapidly rising electricity demand, concerns about power system reliability and energy security, environmental degradation and climate change. China's government explicitly set...

The overarching aim of this book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples.In order to achieve carbon t...

This book provides a set of conceptual, empirical, and comparative chapters that apply a public policy perspective to investigate the political and institutional factors driving the use of evidence to inform health policy in low, middle, and high income settings. The work presents key findings from the Getting Research Into Policy (GRIP-Health) pro...

This book utilizes new data to thoroughly analyze the main factors currently shaping the African housing market. Some of these factors include the supply and demand for housing finance, land tenure security issues, construction cost conundrum, infrastructure provision, and low-cost housing alternatives. Through detailed analysis, the authors invest...

Present information in stunning new ways by transforming CSS elements in two- and three-dimensional space. Whether you're rotating a photo, doing some interesting perspective tricks, or creating an interface that lets you reveal information on an element's backside, this practical guide shows you how to use them to great effect....

The Chinese Economic Transformation, the 19th volume in the China Update book series, provides an opportunity for young economists to share their views on various issues relating to the Chinese economic transformation. More than half of the contributors to this book are female scholars. Some of the contributors are rising stars in the studies of th...

The Jingshan Report is a collection of research papers on key issues for China's financial opening, including reform of the RMB exchange rate regime, management of cross-border capital flows and financial support for the Belt and Road Initiative. Authored by leading experts in the relevant fields, the report examines the evolution, current sta...

This book examines the future of inequality, work and wages in the age of automation with a focus on developing countries. The authors argue that the rise of a global 'robot reserve army' has profound effects on labor markets and economic development, but, rather than causing mass unemployment, new technologies are more likely to lead to ...

Recent reductions in public funding for audiovisual products have led to dramatic changes in the industry. The lack of interaction between the industry and capital markets has made sourcing funds for audiovisual products especially difficult. This book explains why the distance between the audiovisual and financial markets exists, and considers th...

In recent years, the European Commission has attached increasing importance to the use of financial engineering instruments rather than traditional grant-based financing for the microcredit sector, considering these to be the most efficient option available. This book presents a study of capacity building and structural funds in public managing au...

This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapte...

At the core of institutional theories, 'values' is a central term and figures in most definitions; however it remains understudied and under-explored. The editors of this open access book identify a resurgence of interest in the values-construct which underpins discussions of identity, 'ethos' and the purpose/nature of public an...

This book presents an overview of the main research findings and case studies concerning education and skills for inclusive growth, green jobs and the greening of economies. Focusing on India, Indonesia, Sri Lanka and Viet Nam, it discusses government and business sector responses to these issues and how Technical and Vocational Education and Train...

Public spending on infrastructure plays an important role in promoting economic growth and poverty alleviation. Empirical studies unequivocally show that under-investment in infrastructure limits economic growth. At the same time, numerous other studies have shown that investment in infrastructure can be an effective tool in fighting poverty reduct...

This volume addresses the current debate on extended working life policy by considering the influence of gender and health on the experiences of older workers. Bringing together an international team of scholars, it tackles issues as gender, health status and job/ occupational characteristics that structure the capacity and outcomes associated with...

This open access book focuses on the development of methods, interoperable and integrated ICT tools, and survey techniques for optimal management of the building process. The construction sector is facing an increasing demand for major innovations in terms of digital dematerialization and technologies such as the Internet of Things, big data, advan...

We must find new and innovative ways of conceptualizing transboundary energy issues, of embedding concerns of ethics or justice into energy policy, and of operationalizing response to them. This book stems from the emergent gap; the need for comparative approaches to energy justice, and for those that consider ethical traditions that go beyond the ...

This book investigates the effects of changes in leadership and managerial structures of Nordic universities resulting from reforms in the last decade. It builds on a rich, comparative dataset across a multiplicity of system-wide (macro) and organisational (meso and micro) dimensions, namely: reform or policy initiatives; drivers, aims, instruments...