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...

This book offers a fresh perspective on smart tourism, introducing unique frameworks and insights with the potential to shape the industry's future. It explores the convergence of technology, tourism, and smart cities, emphasizing the use of smartphones, social media data, AI, blockchain, crowdsourcing, and crowdsensing to enhance tourism experiences.

What sets it apart is its focus on practical solutions that require minimal infrastructure investments, making it accessible to a wide range of stakeholders. This book addresses knowledge gaps and proposes...

This book provides a precise portrayal of the current trends and future perspectives of e-Government. It outlines new approaches that optimize public services across diverse sectors. Going beyond traditional boundaries, it offers mathematical models for public services supported by convincing case studies. This book significantly enhances various government services, such as education, healthcare, safety, security, and culture. It also strongly emphasizes safeguarding citizens' personal data, ensuring privacy, and obtaining explicit consent.