This book offers a detailed and comprehensive analysis of multi-aspect data learning, focusing especially on representation learning approaches for unsupervised machine learning. It covers state-of-the-art representation learning techniques for clustering and their applications in various domains. This is the first book to systematically review multi-aspect data learning, incorporating a range of concepts and applications. Additionally, it is the first to comprehensively investigate manifold learning for dimensionality reduction in multi-view data learning. The book presents the latest...

This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed,...

This book is dedicated to showcase research and innovation in smart healthcare systems and technologies led by women scientists, researchers, and practitioners.  With the advent of artificial intelligence (AI) and related technologies, the healthcare sector has undergone tremendous changes in practice and management in recent years.  On par to men, women have made significant contributions to tackle a variety of healthcare problems, creating smarter paradigms to provide effective and efficient solutions for patients and stakeholders.

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus...

This book highlights the applications and theory of artificial intelligence in the domain of cybersecurity.

The book proposes new approaches and ideas to present applications of innovative approaches in real-time environments. In the past few decades, there has been an exponential rise in the application of artificial intelligence technologies (such as deep learning, machine learning, blockchain) for solving complex and intricate problems arising in the domain of cybersecurity. The versatility of these techniques has made them a favorite among scientists and researchers working in...

This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational aspects of the various techniques are also covered, notably non-classical formalisms. The tome is intended for researchers, undergraduate and graduate students, and lay readers.

The book is dedicated to researcher Seiki Akama on his sixtieth birthday. Akama is one of the critical scientists who dedicated himself to understanding the use of alternative logic in the various issues of...

This book introduces big data analytics and corresponding applications in smart grids. The characterizations of big data, smart grids as well as a huge amount of data collection are first discussed as a prelude to illustrating the motivation and potential advantages of implementing advanced data analytics in smart grids. Basic concepts and the procedures of typical data analytics for general problems are also discussed. The advanced applications of different data analytics in smart grids are addressed as the main part of this book. By dealing with a huge amount of data from electricity...

This book of 21 chapters shares endeavors associated to the human trait of creative expression within, across, and between digital media in wide-ranging contexts making the contents perfect as a course study book uptake within related educations. Globally located chapter authors share their comprehensive artisan perspectives from works associated with regional cultures, diversities of interpretations, and widespread scopes of meanings. Contents illustrate contemporary works reflecting thought-provoking comprehensions, functions, and purposes, posit as contributing toward shifting of...