This book is open access under a CC BY 4.0 license. 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 Russian Scientific and Technological Complex for 2014-2020. It contains 75 selected papers from 6 areas considered priority by the Federal programme: computer science, ecology & environment sciences; energy and energy efficiency; life sciences; nanoscience & nanotechnology; and transport & communications. The chapters report the results of the 3-years research projects supported by the Programme and finalized in 2016.

This open access 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) project: a five year, six country, programme of work supported by the European Research Council. The chapters further our understanding of evidence utilisation in health policymaking through the application of theories and methods from the policy sciences. They present new insights into the roles and importance of factors such as issue contestation, institutional arrangements, logics of appropriateness, and donor influence to explore individual cases and comparative experiences in the use of evidence to inform health policy. Justin Parkhurst is Associate Professor at the London School of Economics and Political Science (the LSE)’s Department of Health Policy, UK. He has conducted research on a range of global health policy issues and on the politics of evidence. He served as the Principal Investigator of the GRIP-Health programme of work. Benjamin Hawkins is Associate Professor at the Department of Global Health and Development, London School of Hygiene and Tropical Medicine, UK. His research focuses on the role of research evidence and corporate actors in health policy making. In addition, he works on European integration, multi-level governance international trade and political economy approaches to health policy. Stefanie Ettelt is Associate Professor at the Department of Health Services Research and Policy, London School of Hygiene and Tropical Medicine, UK. Her work examines the tensions between structure and agency in explaining the influence of evidence and research on policy-making and health system governance, particularly from a comparative perspective.

This volume focuses on microscopic plastic debris, also referred to as microplastics, which have been detected in aquatic environments around the globe and have accordingly raised serious concerns. The book explores whether microplastics represent emerging contaminants in freshwater systems, an area that remains underrepresented to date. Given the complexity of the issue, the book covers the current state-of-research on microplastics in rivers and lakes, including analytical aspects, environmental concentrations and sources, modelling approaches, interactions with biota, and ecological implications. To provide a broader perspective, the book also discusses lessons learned from nanomaterials and the implications of plastic debris for regulation, politics, economy, and society. In a research field that is rapidly evolving, it offers a solid overview for environmental chemists, engineers, and toxicologists, as well as water managers and policy-makers.

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

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 of the press, and much else. In a persuasive argument that speaks to politics today from Europe to the United States to Australia, the author offers a compelling vision of hope. Above all, the book offers a framework for dealing with moral challenges people face as they seek happiness but also to live up to their responsibilities to others and the common good. At a time when even our most basic values are up for question in policy debates riddled with populist manipulation, Amitai Etzioni’s bold book creates a new frame which introduces morals and values back into applied policy questions. These questions span the challenges of jobless growth to the unanswered questions posed by the role of artificial intelligence in a wide range of daily life tasks and decisions. While not all readers will agree with the communitarian solutions that he proposes, many will welcome an approach that is, at its core, inclusive and accepting of the increasingly global nature of all societies at the same time. It is a must read for all readers concerned about the future of Western liberal democracy. Carol Graham, Leo Pasvolsky Senior Fellow, The Brookings Institution and College Park Professor/University of Maryland In characteristically lively, engaging, and provocative style Etzioni tackles many of the great public policy dilemmas that afflict us today. Arguing that we are trapped into a spiral of slavish consumerism, he proposes a form of liberal communitarian that, he suggests, will allow human beings to flourish in changing circumstances.