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...
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, ...
This book addresses the challenge of analyzing and understanding the evolutionary dynamics of complex biological systems at the genomic level, and elaborates on some promising strategies that would bring us closer to uncovering of the vital relationships between genotype and phenotype. After a few educational primers, the book continues with sectio...
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...
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers provides developers a comprehensive introduction and in-depth look at the Intel Xeon Phi coprocessor architecture and the corresponding parallel data structure tools and algorithms used in the various technical computing applications for which it is suitable. It...
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...
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...
Designed as an easy-to-use, practical guide to tumors of the eye, lids, and orbit, this book comprehensively addresses surgical treatment and management of diseases related to ophthalmic oncology. Surgical Ophthalmic Oncology: A Collaborative Open Access Reference is an ideal reference for general ophthalmologists, surgeons, fellows and trainees ar...
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 aims to provide case studies and a general view of the main processes involved in the ecosystem shifts occurring in the high mountains, and to analyse the implications for nature conservation. Although case studies from the Pyrenees are preponderant, conclusions are aimed at any mountain range surrounded by highly populated lowland areas....
The Gulf of Mexico is an open and dynamic marine ecosystem rich in natural resources but heavily impacted by human activities, including agricultural, industrial, commercial and coastal development. Nutrients and pollutants from coastal communities and dozens of rivers flow into the Gulf, including material from the Mississippi River watershed, whi...
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out.
Simply put, this book is designed to empower and excite the programming community to go out and do co...
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 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...
This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial I...
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 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...
This book discusses biogeochemical processes relevant to carbon and aims to provide readers, graduate students and researchers, with insight into the functioning of marine ecosystems. A carbon centric approach has been adopted, but other elements are included where relevant or needed. The book focuses on concepts and quantitative understanding of p...
This book explores the formation and socio-spatial trajectories of large housing estates in Europe. Are these estates clustered or scattered? Which social groups originally had access to residential space in housing estates? What is the size, scale and geography of housing estates, their architectural and built environment composition, services and...
This book facilitates an integrative understanding of the development, genetics and evolution of butterfly wing patterns. To develop a deep and realistic understanding of the diversity and evolution of butterfly wing patterns, it is essential and necessary to approach the problem from various kinds of key research fields such as "evo-devo,&quo...
This book examines health trajectories and health transitions at different stages of the life course, including childhood, adulthood and later life. It provides findings that assess the role of biological and social transitions on health status over time.The essays examine a wide range of health issues, including the consequences of military servic...
This book deals with imaging of the abdomen and pelvis, an area that has seen considerable advances over the past several years, driven by clinical as well as technological developments. The respective chapters, written by internationally respected experts in their fields, focus on imaging diagnosis and interventional therapies in abdominal and pel...
The average person can name more bird species than they think, but do we really know what a bird "species" is? This book takes up several fascinating aspects of bird life to elucidate this basic concept in biology. From genetic and physiological basics to the phenomena of bird song and bird migration, it analyzes various interactions of b...
This open access, interdisciplinary book presents innovative strategies in the use of civil drones in the cultural and creative industry. Specially aimed at small and medium-sized enterprises (SMEs), the book offers valuable insights from the fields of marketing, engineering, arts and management. With contributions from experts representing varied ...
This book introduces new methods for measuring and analyzing residential segregation. It begins by placing all popular segregation indices in the "difference of group means" framework wherein index scores can be obtained as simple differences of group means on individual-level residential attainments scored from area racial composition. ...
GUI Design for Android Apps is the perfect - and concise - introduction for mobile app developers and designers. Through easy-to-follow tutorials, code samples, and case studies, the book shows the must-know principles for user-interface design for Android apps running on the Intel platform, including smartphones, tablets and embedded devices.
T...
This book presents the results from the Japanese Fisheries Research Agency's 3-year intensive monitoring of radionuclides in a variety of fish, plankton, benthos, and their living environments after the Fukushima Daiichi Nuclear Power Plant (FNPP) accident in March 2011. The book reveals the dynamics of contamination processes in marine and fr...
This book provides a comprehensive examination of the European Landing Obligation policy from many relevant perspectives. It includes evaluations of its impacts at economical, socio-cultural, ecological and institutional levels. It also discusses the feasibility and benefits of several potential mitigation strategies. The book was timely published,...
Embedded Firmware Solutions is the perfect introduction and daily-use field guide - for the thousands of firmware designers, hardware engineers, architects, managers, and developers--to Intel's new firmware direction (including Quark coverage), showing how to integrate Intel® Architecture designs into their plans.
Featuring hands-on exampl...
This book provides a concise explanation of the fundamentals and background of the surround sound recording and playback technology Ambisonics. It equips readers with the psychoacoustical, signal processing, acoustical, and mathematical knowledge needed to understand the inner workings of modern processing utilities, special equipment for recording...
Optimizing HPC Applications with Intel Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve...
This volume focuses on microscopic plastic debris, also referred to as microplastics, which have been detected in aquatic environments around the globe and have accordingly raised serious concerns. The book explores whether microplastics represent emerging contaminants in freshwater systems, an area that remains underrepresented to date. Given th...