In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. Meer
Trustworthy Ubiquitous Computing covers aspects of trust in ubiquitous computing environments. The aspects of context, privacy, reliability, usability and user experience related to “emerged and exciting new computing paradigm of Ubiquitous Computing”, includes pervasive, grid, and peer-to-peer computing including sensor networks to provide secure computing and communication services at anytime and anywhere. Meer
Human action analyses and recognition are challenging problems due to large variations in human motion and appearance, camera viewpoint and environment settings. Meer
Latent factor analysis models are an effective type of machine learning model for addressing high-dimensional and sparse matrices, which are encountered in many big-data-related industrial applications. Meer
Recent advances in ICT have given rise to new socially disruptive technologies: AmI and the IoT, marking a major technological change which may lead to a drastic transformation of the technological ecosystem in all its complexity, as well as to a major alteration in technology use and thus daily living. Meer
Thurston maps are topological generalizations of postcritically-finite rational maps. This book provides a comprehensive study of ergodic theory of expanding Thurston maps, focusing on the measure of maximal entropy, as well as a more general class of invariant measures, called equilibrium states, and certain weak expansion properties of such maps. Meer
This book provides a systematic review of many advanced techniques to support the analysis of large collections of documents, ranging from the elementary to the profound, covering all the aspects of the visualization of text documents. Meer
This book offers a brief but effective introduction to quantum machine learning (QML). QML is not merely a translation of classical machine learning techniques into the language of quantum computing, but rather a new approach to data representation and processing. Meer
Content distribution, i.e., distributing digital content from one node to another node or multiple nodes, is the most fundamental function of the Internet. Meer
This book examines how the wonders of AI have contributed to the battle against COVID-19. Just as history repeats itself, so do epidemics and pandemics. Meer
With the development of big data, data sharing has become increasingly popular and important in optimizing resource allocation and improving information utilization. Meer
This book presents high-quality, peer-reviewed papers from the International Conference on “Innovations in Computational Intelligence and Computer Vision (ICICV 2020),” hosted by Manipal University Jaipur, Rajasthan, India, on January 17–19, 2020. Meer
The general consensus is that BlockChain is the next disruptive technology, and Ethereum is the flagship product of BlockChain 2.0. However, coding and implementing business logic in a decentralized and transparent environment is fundamentally different from traditional programming and is emerging as a major challenge for developers. Meer
The book presents the proceedings of the 10th International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA 2022), held at NIT Mizoram, Aizawl, Mizoram, India during 18 – 19 June 2022. Meer
This book gathers papers addressing state-of-the-art research in the areas of machine learning and predictive analysis, presented virtually at the Fourth International Conference on Information and Communication Technology for Intelligent Systems (ICTIS 2020), India. Meer
Mobile crowdsensing is a new sensing paradigm that utilizes the intelligence of a crowd of individuals to collect data for mobile purposes by using their portable devices, such as smartphones and wearable devices. Meer
The general problem addressed in this book is a large and important one: how to usefully deal with huge storehouses of complex information about real-world situations. Meer
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books