This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue readingThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Continue readingFocuses on a basic theoretical framework dealing with the problems, solutions, and applications of text mining and its various ...
Continue readingThis book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...
Continue readingStudies the use of and the effects of medical products in large numbers of people and applies the methods of epidemiology ...
Continue readingFollowing the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
Continue readingDuring this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Continue readingDuring this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Continue readingThis book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...
Continue readingThe focus of this book is on the estimation and validation of the three key Basel II risk parameters, probability of default ...
Continue readingThis book is a systematic update of the philosophical and scientific foundations of the biopsychosocial model of health, ...
Continue readingIt reconstructs the possible methods used to catch large spawners in the Strait of Gibraltar thousands of years ago and describes ...
Continue readingThis book proposes a unifying approach for the analysis and design of artificial cognitive systems: The Anticipatory Approach. The ...
Continue readingThe Internet of Things offers massive societal and economic opportunities while at the same time significant challenges, ...
Continue readingThe Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Continue readingAnimals are a major link between the water column (pelagic) and the bottom (benthic) habitats in most shallow systems. This ...
Continue readingThe book presents a wide range of problems concerning operation of the IS-IS routing protocol based on ISO-OSI standards, ...
Continue readingThe pace of development in knowledge and know-how in the fields of organisational sciences, logistics and information technology ...
Continue reading"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
Continue readingThe present book outlines a conceptual framework for modelling and forecasting the dynamics of both growth-limited cities ...
Continue reading