Tools and Algorithms for the Construction and Analysis of Systems
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...
Analysis for Computer Scientists
This easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an algorithmic point of view, with a particular focus on applications of analysis and aspects of mathematical modelling. The text describes the mathematical theory alongside the basic concepts and methods of numerical analysis, enriched by computer ...
Projection-Based Clustering through Self-Organization and Swarm Intelligence
It covers aspects of unsupervised machine learning used for knowledge discovery in data science and introduces a data-driven approach to cluster analysis, the Databionic swarm(DBS). DBS consists of the 3D landscape visualization and clustering of data. The 3D landscape enables 3D printing of high-dimensional data structures.The clustering and numbe...
Sequence Analysis and Related Approaches
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...
Computer Vision Metrics
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, ...
Market Segmentation Analysis
This book offers something for everyone working with market segmentation: practical guidance for users of market segmentation solutions; organisational guidance on implementation issues; guidance for market researchers in charge of collecting suitable data; and guidance for data analysts with respect to the technical and statistical aspects of mark...
Modern Mathematics Education for Engineering Curricula in Europe
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...
Hardy Inequalities on Homogeneous Groups
This book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland and Stein's homogeneous (Lie) groups. The place where Hardy inequalities and homogeneous groups meet is a beautiful area of mathematics with links to many other subjects. While describing the general theory of Hardy, Rellich,...
Think Stats
If you know how to program, you have the skills to turn data into knowledge, using tools of probability and statistics. This concise introduction shows you how to perform statistical analysis computationally, rather than mathematically, with programs written in Python. By working with a single case study throughout this thoroughly revised book, ...
Digital Video Concepts, Methods, and Metrics
Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis is a concise reference for professionals in a wide range of applications and vocations. It focuses on giving the reader mastery over the concepts, methods and metrics of digital video coding, so that readers have sufficient understanding to...
Multiple-Aspect Analysis of Semantic Trajectories
This free book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis of Semantic Trajectories, MASTER 2019, held in conjunction with the 19th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2019, in Würzburg, Germany, in September 2019. The 8 ful...
Bioimage Data Analysis Workflows
This Open Access textbook provides students and researchers in the life sciences with essential practical information on how to quantitatively analyze data images. It refrains from focusing on theory, and instead uses practical examples and step-by step protocols to familiarize readers with the most commonly used image processing and analysis platf...
Food Analysis Laboratory Manual
This third edition laboratory manual was written to accompany Food Analysis, Fifth Edition, by the same author. New to this third edition of the laboratory manual are four introductory chapters that complement both the textbook chapters and the laboratory exercises. The 24 laboratory exercises in the manual cover 21 of the 35 chapters in the textbo...
Learning Landscape Ecology
This title meets a great demand for training in spatial analysis tools accessible to a wide audience. Landscape ecology continues to grow as an exciting discipline with much to offer for solving pressing and emerging problems in environmental science. Much of the strength of landscape ecology lies in its ability to address challenges over large are...
Advances in Discrete Differential Geometry
This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discre...
Food Price Volatility and Its Implications for Food Security and Policy
This book provides fresh insights into concepts, methods and new research findings on the causes of excessive food price volatility. It also discusses the implications for food security and policy responses to mitigate excessive volatility. The approaches applied by the contributors range from on-the-ground surveys, to panel econometrics and innova...
The Economy as a Complex Spatial System
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...
Economic Evaluation of Sustainable Development
This book presents methods to evaluate sustainable development using economic tools. The focus on sustainable development takes the reader beyond economic growth to encompass inclusion, environmental stewardship and good governance. Sustainable Development Goals (SDGs) provide a framework for outcomes. In illustrating the SDGs, the book employs thr...
Cloud-Based Benchmarking of Medical Image Analysis
This book presents the VISCERAL project benchmarks for analysis and retrieval of 3D medical images (CT and MRI) on a large scale, which used an innovative cloud-based evaluation approach where the image data were stored centrally on a cloud infrastructure and participants placed their programs in virtual machines on the cloud. The book presents the...
Tools and Algorithms for the Construction and Analysis of Systems
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 ...
Motivational Profiles in TIMSS Mathematics
This book presents a person-centered exploration of student profiles, using variables related to motivation to do school mathematics derived from the IEA's Trends in International Mathematics and Science Study (TIMSS) data. Statistical cluster analysis is used to identify groups of students with similar motivational profiles, across grades and over...
Quantization on Nilpotent Lie Groups
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...
Representations of Transnational Human Trafficking
This open access edited collection examines representations of human trafficking in media ranging from British and Serbian newspapers, British and Scandinavian crime novels, and a documentary series, and questions the extent to which these portrayals reflect the realities of trafficking. It tackles the problematic tendency to under-report particula...
Finding the Limits of the Limes
This book demonstrates the application of simulation modelling and network analysis techniques in the field of Roman studies. It summarizes and discusses the results of a 5-year research project carried out by the editors that aimed to apply spatial dynamical modelling to reconstruct and understand the socio-economic development of the Dutch part o...
Sensitivity Analysis: Matrix Methods in Demography and Ecology
This book shows how to use sensitivity analysis in demography. It presents new methods for individuals, cohorts, and populations, with applications to humans, other animals, and plants. The analyses are based on matrix formulations of age-classified, stage-classified, and multistate population models. Methods are presented for linear and nonlinear,...
Air Quality Integrated Assessment
This book reports on the results of an extended survey conducted across Europe within the framework of the APPRAISAL FP7 project to determine the extent to which an integrated assessment approach to air quality is being adopted, on the one hand, by regional and local authorities to develop air quality plans and, on the other, by researchers. Follow...
Error-Correction Coding and Decoding
This book discusses both the theory and practical applications of self-correcting data, commonly known as error-correcting codes. The applications included demonstrate the importance of these codes in a wide range of everyday technologies, from smartphones to secure communications and transactions. Written in a readily understandable style, the boo...
Advancing Human Assessment
​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, scientific psycho...
Online Hate Speech in the European Union
and reports on research carried out as part of the European Union co-funded C.O.N.T.A.C.T. project which targeted hate speech and hate crime across a number of EU member states. It showcases the bearing that discourse analytic research can have on our understanding of this phenomenon that is a growing global cause for concern. Although 'hate sp...
Ecosystem Services for Well-Being in Deltas
This book answers key questions about environment, people and their shared future in deltas. It develops a systematic and holistic approach for policy-orientated analysis for the future of these regions. It does so by focusing on ecosystem services in the world's largest, most populous and most iconic delta region, that of the Ganges-Brahmaputra de...
Nils Petter Gleditsch: Pioneer in the Analysis of War and Peace
This book presents Nils Petter Gleditsch, a staff member of the Peace Research Institute of Oslo (PRIO) since 1964, a former editor of the Journal for Peace Research (1983-2010), a former president of the International Studies Association (2008-2009) and the recipient of several academic awards as a pioneer in the scientific analysis of war and pea...
Bordieuan Field Theory as an Instrument for Military Operational Analysis
This book uses Pierre Bourdieu's field theory as a lens through which to examine military operations. Novel in its approach, this innovative text provides a better, more nuanced understanding of the modern 'battlespace', particularly in instances of prolonged low-intensity conflict. Formed in two parts, this book primarily explores the scope of Bou...

1 2 3 ... 19