This open book describes modern applications of computational human modeling in an effort to advance neurology, cancer treatment, and radio-frequency studies including regulatory, safety, and wireless communication fields. Readers working on any application that may expose human subjects to electromagnetic radiation will benefit from this book'...
This open book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology.
In order to ma...
This open book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Du...
This open book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Selected test cases and validation examples are provided, in ord...
This open book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering.Truly complex, engineered systems - known a...
This open book analyses the past, present and future of the technical university as a single faculty independent institution. The point of departure is a view of changing academic realities, through which the identity as a technical university is challenged and reconstituted. More specifically, the book connects the development of technical univers...
Build your database management knowledge with the technical open book, Introducing SQL Server 2016. Get an overview of the SQL Server 2016 features - from in-memory performance and enhanced security to end-to-end mobile business intelligence and advanced analytics.
Learn about faster queries, improved security, higher availability, and state-of-...
Site reliability engineering (SRE) is more relevant than ever. Knowing how to keep systems reliable has become a critical skill. With this practical book, newcomers and old hats alike will explore a broad range of conversations happening in SRE. You'll get actionable advice on several topics, including how to adopt SRE, why SLOs matter, when y...
This is an image processing textbook with a difference. Instead of just a picture gallery of before-and-after images, we provide (on the accompanying website) MATLAB programs (.m files) and images (.mat files) for each of the examples. These allow the reader to experiment with various parameters, such as noise strength, and see their effect on the ...
The aim of this book is to review and analyse the goods and services of bivalve shellfish. How they are defined, what determines the ecological functions that are the basis for the goods and services, what controversies in the use of goods and services exist, and what is needed for sustainable exploitation of bivalves from the perspective of the va...
This book uses meta-analysis to synthesize research on scaffolding and scaffolding-related interventions in STEM (science, technology, engineering, and mathematics) education. Specifically, the volume examines the extent to which study quality, assessment type, and scaffolding characteristics (strategy, intended outcome, fading schedule, scaffoldin...
This volume addresses the potential for combining large-scale marine aquaculture of macroalgae, molluscs, crustaceans, and finfish, with offshore structures, primarily those associated with energy production, such as wind turbines and oil-drilling platforms. The volume offers a comprehensive overview and includes chapters on policy, science, engine...
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016.
The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classific...
This book reports on a novel and comprehensive approach to the uptake of ICT in Schools. It focuses on key questions, pedagogically sound ways of introducing ICT, new technical artifacts supporting the approach, the evaluation in a large-scale validator, and future work. While many innovations in Technology Enhanced Learning (TEL) have emerged over...
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Freque...
This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials' application in building facades, and offers ideas for new designs and novel solutions. It features a state-of-the-art review, addresses the latest trends in material selection, assembling systems, and innovative functions of...
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 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...
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 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...
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 collects ten essays that look at intra-regional migration in the Southern Balkans from the late Ottoman period to the present. It examines forced as well as voluntary migrations and places these movements within their historical context, including ethnic cleansing, population exchanges, and demographic engineering in the service of nation...
This book covers the latest in snow sport epidemiology, snow sport injuries and treatment, and biomechanical/mechanical engineering related to snow sports injuries (mechanisms of injury, injury prevention by equipment design, injury prevention by design of resort features, and more). It brings together a collection of papers from the International ...
The conventional approach to risk communication, based on a centralized and controlled model, has led to blatant failures in the management of recent safety related events. In parallel, several cases have proved that actors not thought of as risk governance or safety management contributors may play a positive role regarding safety. Building on the...
This book, published in the Soft and Biological Matter series, presents an introduction to selected research topics in the broad field of flowing matter, including the dynamics of fluids with a complex internal structure -from nematic fluids to soft glasses- as well as active matter and turbulent phenomena.Flowing matter is a subject at the crossro...
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 investigates why, despite more and more resources devoted to safety training, expectations are not entirely met, particularly in the industrial sectors that have already achieved a high safety level. It not only reflects the most precious viewpoints of experts from different disciplines, different countries, with experiences in various in...
This book addresses the issue of diffusing sustainable energy access inlow- and middle-income contexts.
Access to energy is one of the greatest challenges for many people living in low-income and developing contexts, as around 1.4 billion people lack access to electricity.Distributed Renewable Energy systems (DRE) are considered a promising approa...
This book explores the collision between the sustainable energy transition and the Internet of Things (IoT). In that regard, this book's arrival is timely. Not only is the Internet of Things for energy applications, herein called the energy Internet of Things (eIoT), rapidly developing but also the transition towards sustainable energy to abat...