The InfoSec Handbook offers the reader an organized layout of information that is easily read and understood. Allowing beginners to enter the field and understand the key concepts and ideas, while still keeping the experienced readers updated on topics and concepts.
It is intended mainly for beginners to the field of information security, writte...
This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles be integrated into the current transportation system with diverse users and human drivers? Where do automated vehicles fall under current legal frameworks? What risks are associated with automation and how will society respo...
This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 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 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The ...
This book asks why and how some of the developing countries have "emerged" under a set of similar global conditions, what led individual countries to choose the particular paths that led to their "emergence," and what challenges confront them. If we are to understand the nature of major risks and uncertainties in the world, we m...
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 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...
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...
The aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater management (IGM). Groundwater management is a formidable challenge, one that remains one of humanity's foremost priorities. It has become a largely non-renewable resource that is overexploited in many parts of the world. I...
This book provides answers to key open questions concerning competition policy in emerging economies, with a focus on South Eastern Europe. The contributions address two major issues. One is the design of competition policy and the national competition authorities that enforce it, including the topics of competition advocacy and state aid control; ...
This book offers 19 detailed protocols on the use of induced mutations in crop breeding and functional genomics studies, which cover topics including chemical and physical mutagenesis, phenotypic screening methods, traditional TILLING and TILLING by sequencing, doubled haploidy, targeted genome editing, and low-cost methods for the molecular charac...
This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence on "Integrative Production Technology for High-Wage Countries", held in November 2014. The topical structure of the book is clustered in six sessions: Integrative Production Technology, Individualised Production, ...
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...
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...
This book provides an overview of Felix Klein's ideas, highlighting developments in university teaching and school mathematics related to Klein's thoughts, stemming from the last century. It discusses the meaning, importance and the legacy of Klein's ideas today and in the future, within an international, global context. Presenting e...
This book summarizes presentations and discussions from the two-day international workshop held at UC Berkeley in March 2015, and derives questions to be addressed in multi-disciplinary research toward a new paradigm of nuclear safety. The consequences of the Fukushima Daiichi nuclear accident in March 2011 have fuelled the debate on nuclear safet...
This book analyzes issues in human rights law from a variety of perspectives by eminent European and Asian professors of constitutional law, international public law, and European Union law. As a result, their contributions collected here illustrate the phenomenon of cross-fertilization not only in Europe (the EU and its member states and the Counc...
This book discusses how citizenship is performed today, mostly through the optic of the arts, in particular the performing arts, but also from the perspective of a wide range of academic disciplines such as urbanism and media studies, cultural education and postcolonial theory. It is a compendium that includes insights from artistic and activist ex...
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...
This free book was prepared as a Final Publication of the COST Action IC1304 "Autonomous Control for a Reliable Internet of Services (ACROSS)". The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-grad...
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...
This free book represents one of the key milestones of DESIGNSCAPES, an H2020 CSA (Coordination and Support Action) research project funded by the European Commission under the Call "User-driven innovation: value creation through design-enabled innovation". The book demonstrates that adopting design allows us to embed innovation within th...
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 book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs o...
This textbook, endorsed by the European Society for Blood and Marrow Transplantation (EBMT), provides adult and paediatric nurses with a full and informative guide covering all aspects of transplant nursing, from basic principles to advanced concepts. It takes the reader on a journey through the history of transplant nursing, including essential an...
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 is the final compendium of case studies emanated from the 4-year COST Action IC1406 "High-Performance Modelling and Simulation for Big Data Applications" (cHiPSet). Funded by the European Commission from 2015, cHiPSet has created a sustainable reference network linking applied research in High Performance Computing (HPC) and Mod...
This book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present ...
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 book presents a consistent development of the Kohn-Nirenberg type global quantization theory in the setting of graded nilpotent Lie groups in terms of their representations. It contains a detailed exposition of related background topics on homogeneous Lie groups, nilpotent Lie groups, and the analysis of Rockland operators on graded Lie groups...