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