This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.
The 29 papers presented in this book toget...
Platform Embedded Security Technology Revealed is an in-depth introduction to Intel's platform embedded solution: the security and management engine. The engine is shipped inside most Intel platforms for servers, personal computers, tablets, and smartphones. The engine realizes advanced security and management functionalities and protects appl...
This book presents theories and case studies for corporations in developed nations, including Japan, for designing strategies to maximize opportunities and minimize threats in business expansion into developing nations. The case studies featured here focus on Asia, including China and India, and use examples of Japanese manufacturers. Five case st...
This volume discusses the effects, models and implications of history teaching in relation to conflict transformation and reconciliation from a social-psychological perspective. Bringing together a mix of established and young researchers and academics, from the fields of psychology, education, and history, the book provides an in-depth exploration...
This book provides a practical and self-contained overview of the Gene Ontology (GO), the leading project to organize biological knowledge on genes and their products across genomic resources. Written for biologists and bioinformaticians, it covers the state-of-the-art of how GO annotations are made, how they are evaluated, and what sort of analyse...
This book covers all facets of entity-oriented search—where "search" can be interpreted in the broadest sense of information access—from a unified point of view, and provides a coherent and comprehensive overview of the state of the art. It represents the first synthesis of research in this broad and rapidly developing area. Selected ...
This book identifies and discusses biodiversity's contribution to physical, mental and spiritual health and wellbeing. Furthermore, the book identifies the implications of this relationship for nature conservation, public health, landscape architecture and urban planning – and considers the opportunities of nature-based solutions for climate...
This book analyses the domestic politics of African dominant party regimes, most notably African governments' survival strategies, to explain their variance of opinions and responses towards the reforming policies of the EU. The author discredits the widespread assumption that the growing presence of China in Africa has made the EU's task...
This volume presents new insights on marginality, i.e. the situation of people living on the edge of socio-economic and ecological systems. The marginality concept leads to different development policies. While the prevalence of poverty declined by about 50 percent in the past two decades, any further reduction of poverty will be more difficult, be...
The aim of this book is to facilitate the identification and description of the different organs as well as pathogens and diseases affecting the most representative species of cephalopods focussed on Sepia officinalis, Loligo vulgaris and Octopus vulgaris. These species are valuable 'morphotype' models and belong to the taxonomic groups S...
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...
Arising from a scientific conference marking the 100th anniversary of her birth, this book honors the life and work of the social scientist and diplomat Ester Boserup, who blazed new trails in her interdisciplinary approach to development and sustainability. The contents are organized in three sections reflecting important focal points of Boserup&...
This collected volume represents the final outcome of the COST Action IS1104 "The EU in the new complex geography of economic systems: models, tools and policy evaluation".Visualizing the EU as a complex and multi-layered network, the book is organized in three parts, each of them dealing with a different level of analysis: At the macro-l...
This book discusses a core question in many fields of the social sciences, namely how to create, share and adopt new knowledge. It creates an original space for conversation between two lines of research that have developed largely in parallel for a long time: social network theory and the geography of knowledge. This book considers that relational...
We are not free from environmental risks that accompany the development of human societies. Modern economic development has accelerated environmental pollution, caused loss of natural habitats, and modified landscapes. These environmental changes have impacted natural systems: water and heat circulation, nutrient cycling, and biodiversity. These ch...
This book investigates European citizenship after Brexit, in light of the functionalist theory of citizenship. No matter its shape, Brexit will impact significantly on what has been labelled as one of the major achievements of EU integration: Citizenship of the Union. For the first time an automatic and collective lapse of status is observed. It is...
This book maps the youth transitions of descendants of migrants from Turkey living in Amsterdam and Strasbourg, through a comparative mixed-methods research design. As such, it is of interest to discussions in youth sociology, social mobility and second-generation research. The book follows transition trajectories of the second-generation, from sch...
This book summarizes the findings of the VUELCO project, a multi-disciplinary and cross-boundary research funded by the European Commission's 7th framework program. It comprises four broad topics:1. The global significance of volcanic unrest2. Geophysical and geochemical fingerprints of unrest and precursory activity3. Magma dynami...
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability distribution of potential MH370 flight paths. It provides details of how the probabilistic models of aircraft flight dynamics, satellite communication system measurements, environmental effects and radar data were constructed...
Using longitudinal data from the Swiss Household Panel to zoom in on continuity and change in the life course, this book describes how the lives of the Swiss population have changed in terms of health, family circumstances, work, political participation, and migration over the last sixteen years. What are the different trajectories in terms of mobi...
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer Interaction, IHCI 2017, held in Evry, France, in December 2017.
The 15 papers presented together with three invited papers were carefully reviewed and selected from 25 submissions. The conference is forum for the presentation...
This volume uses the study of firm dynamics to investigate the factors preventing faster productivity growth in Latin America and the Caribbean, pushing past the limits of traditional macroeconomic analyses. Each chapter is dedicated to an examination of a different factor affecting firm productivity - innovation, ICT usage, on-the-job-training, fi...
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 begins with an algorithm - a set of IF...THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in ...
This book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developme...
'This is an excellent and engaging resource on delusions. The idea that delusions should not be seen as radically different from other beliefs… is an important challenge to much contemporary thinking and practice. It should be of interest to anyone studying delusional beliefs, and to all those who aim to help people who are troubled by them....
This book sets out to explain the reasons for the gap between "knowing" and "doing" in view of self-reliance, which is more and more often expected of citizens. In today's society, people are expected to take responsibility for their own lives and be self-reliant. This is no easy feat. They must be on constant high alert in...
This book discusses several didactic traditions in mathematics education in countries across Europe, including France, the Netherlands, Italy, Germany, the Czech and Slovakian Republics, and the Scandinavian states. It shows that while they all share common features both in the practice of learning and teaching at school and in research and develop...
This book presents a systematic investigation into internationally comparable data gathered in ICILS 2013. It identifies differences in female and male students' use of, perceptions about, and proficiency in using computer technologies. Teachers' use of computers, and their perceptions regarding the benefits of computer use in education, ...
This book defines the new field of "Bioeconomy" as the sustainable and innovative use of biomass and biological knowledge to provide food, feed, industrial products, bioenergy and ecological services. The chapters highlight the importance of bioeconomy-related concepts in public, scientific, and political discourse. Using an interdiscipli...
In the light of better and more detailed administrative databases, this book provides statistical tools for evaluating the effects of public policies advocated by governments and public institutions. Experts from academia, national statistics offices and various research centers present modern econometric methods for an efficient data-driven policy...
This book presents a comparative look at the norms and attitudes related to youth violence. It aims to present a perspective outside of the typical Western context, through case studies comparing a developed / Western democracy (Germany), a country with a history of institutionalized violence (South Africa), and an emerging democracy that has exper...