This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on th...
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide...
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 ...
This open access work presents selected results from the European research and innovation project IMPROVE which yielded novel data-based solutions to enhance machine reliability and efficiency in the fields of simulation and optimization, condition monitoring, alarm management, and quality prediction.
Prof. Dr. Oliver Niggemann is Professor for Ar...
This book contains the research report of the Collaborative Research Center "Micro Cold Forming" (SFB 747) of the University of Bremen, Germany. The topical research focus lies on new methods and processes for a mastered mass production of micro parts which are smaller than 1mm (by forming in batch size higher than one million). The targe...
This open access wide-ranging collation of papers examines a host of issues in studying second-generation immigrants, their life courses, and their relations with older generations. Tightly focused on methodological aspects, both quantitative and qualitative, the volume features the work of authors from numerous countries, from differing discipline...
This book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and assessment of energy and climate policies. In particular, it examines energy and climate policy performance and associated risks, as well as public acceptance and portfolio analysis in climate policy, and presents methods for ...
Computer Vision Metrics provides an extensive survey and analysis of over 100 current and historical feature description and machine vision methods, with a detailed taxonomy for local, regional and global features. This book provides necessary background to develop intuition about why interest point detectors and feature descriptors actually work, ...
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 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 book visualizes mortality dynamics in the Lexis diagram. While the standard approach of plotting death rates is also covered, the focus in this book is on the depiction of rates of mortality improvement over age and time. This rather novel approach offers a more intuitive understanding of the underlying dynamics, enabling readers to better und...
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 presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical possibilities.The book not only addresses several improvements in the quality of educational measurement and innovations in (inter)national large scale assessments, but also several advances in psychometrics and i...
This book covers the main issues, challenges and techniques concerning the application of qualitative methodologies to the study of migration. It discusses theoretical, epistemological and empirical questions that must be considered before, during, and after undertaking qualitative research in migration studies. It also covers recent innovative dev...
This book focuses on the concepts, tools and techniques needed to successfully model ever-changing time-series data. It emphasizes the need for general models to account for the complexities of the modern world and how these can be applied to a range of issues facing Earth, from modelling volcanic eruptions, carbon dioxide emissions and global temp...
Phylogenetic diversity is now a key concept for biodiversity conservation due to its link to option value, evolutionary potential and to the possibility of guiding conservation across scales. Present facilities for obtaining molecular sequences and metagenomes are powering this research field, rendering available detailed information of phylogeneti...
The editors present essential methods and tools to support a holistic approach to the challenge of system upgrades and innovation in the context of high-value products and services. The approach presented here is based on three main pillars: an adaptation mechanism based on a broad understanding of system dependencies; efficient use of system knowl...
This book provides standards and guidelines for
quantifying greenhouse gas emissions and removals in smallholder agricultural systems
and comparing options for climate change mitigation based on emission
reductions and livelihood trade-offs. Globally, agriculture is directly
responsible for about 11% of annual greenhouse gas (GHG) emissions a...
This book examines the methodological complications of using complexity science concepts within the social science domain. The opening chapters take the reader on a tour through the development of simulation methodologies in the fields of artificial life and population biology, then demonstrates the growing popularity and relevance of these method...
This Open Access handbook published at the IAMG's 50th anniversary, presents a compilation of invited path-breaking research contributions by award-winning geoscientists who have been instrumental in shaping the IAMG. It contains 45 chapters that are categorized broadly into five parts (i) theory, (ii) general applications, (iii) exploration a...
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...
Predicting the time needed to complete a project, task or daily activity can be difficult and people frequently underestimate how long an activity will take. This book sheds light on why and when this happens, what we should do to avoid it and how to give more realistic time predictions. It describes methods for predicting time usage in situations ...
This book describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world's leading research institutions, Educational Testing Service. The book's four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scienti...
This book describes the results of natural language processing and machine learning methods applied to clinical text from electronic patient records.It is divided into twelve chapters. Chapters 1-4 discuss the history and background of the original paper-based patient records, their purpose, and how they are written and structured. These initial ch...
This book provides a comprehensive overview of the core subjects comprising mathematical curricula for engineering studies in five European countries and identifies differences between two strong traditions of teaching mathematics to engineers. The collective work of experts from a dozen universities critically examines various aspects of higher ma...
This book offers a theory for the analysis of how children learn and are taught about whole numbers. Two meanings of numbers are distinguished – the analytical meaning, defined by the number system, and the representational meaning, identified by the use of numbers as conventional signs that stand for quantities. This framework makes it possible ...
This book is the first to develop explicit methods for evaluating evidence of mechanisms in the field of medicine. It explains why it can be important to make this evidence explicit, and describes how to take such evidence into account in the evidence appraisal process. In addition, it develops procedures for seeking evidence of mechanisms, for eva...
The title of this book was originally Think Perl 6, but since Perl 6 has been renamed Raku, we have also changed the title of the book.
Want to learn how to program and think like a computer scientist? This practical guide gets you started on your programming journey with the help of Raku (Perl 6), the younger sister of the popular Perl programm...
In this volume, international researchers of the field describe and discuss the systematic review method in its application to research in education. Alongside fundamental methodical considerations, reflections and practice examples are included and provide an introduction and overview on systematic reviews in education research.
Reflections on th...
This book is open access under a CC-BY license. This open access volume presents papers on vocational education, project-based learning and science didactic approaches, illustrating with sample cases, and with a special focus on Central Asian states. Thematically embedded in the area of Technical Vocational Education and Training (TVET), the book e...
This book has brought together leading investigators who work in the new arena of brain connectomics. This includes 'macro-connectome' efforts to comprehensively chart long-distance pathways and functional networks; 'micro-connectome' efforts to identify every neuron, axon, dendrite, synapse, and glial process within restricted ...
This open access volume presents state-of-the-art inference methods in population genomics, focusing on data analysis based on rigorous statistical techniques. After introducing general concepts related to the biology of genomes and their evolution, the book covers state-of-the-art methods for the analysis of genomes in populations, including demog...