Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
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, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size. This book is aimed at collecting contributions discussing recent advances in facing open challenges in software verification, relying on a broad spectrum of verification techniques. This book collects contributions ranging from theoretical to practical arguments, and it is aimed at both researchers in software verification and their practitioners.
Deep Architectures in Visual Transfer Learning.- Deep Reinforcement Learning: A New Frontier in Computer Vision Research.- Deep Learning for Data-driven Predictive Maintenance.- Multi-Criteria Fuzzy Goal Programming under Multi-Uncertainty.- Skeleton-based Human Action Recognition on Large-Scale Datasets.
This book provides essential future directions for IoT and Big Data research. Thus, there is a new global interest in these applications in various domains such as health, agriculture, energy, security and retail.
This handbook on Artificial Intelligence (AI) in healthcare consists of two volumes. The first volume is dedicated to advances and applications of AI methodologies in specific healthcare problems, while the second volume is concerned with general practicality issues and challenges and future prospects in the healthcare context.
This book explores the use of a socio-inspired optimization algorithm (the Cohort Intelligence algorithm), along with Cognitive Computing and a Multi-Random Start Local Search optimization algorithm.
This book is a truly comprehensive, timely, and very much needed treatise on the conceptualization of analysis, and design of contactless & multimodal sensor-based human activities, behavior understanding & intervention.
Big data and data science are transforming our world today in ways we could not have imagined at the beginning of the twenty-first century.
This book serves as the first guideline of the integrative approach, optimal for our new and young generations. Recent technology advancements in computer vision, IoT sensors, and analytics open the door to highly impactful innovations and applications as a result of effective and efficient integration of those. Such integration has brought to scientists and engineers a new approach ¿the integrative approach. This offers far more rapid development and scalable architecting when comparing to the traditional hardcore developmental approach.Featuring biomedical and healthcare challenges including COVID-19, we present a collection of carefully selective cases with significant added- values as a result of integrations, e.g., sensing with AI, analytics with different data sources, and comprehensive monitoring with many different sensors, while sustaining its readability.
In these applications, the cloud computing provides a common workplace for IoT and big data, big data provides data analytics technology and IoT provides the source of data.
Artificial Intelligence (AI) has transformed many aspects of our daily activities. Health and well-being of humans stand as one of the key domains where AI has achieved significant progresses, saving time, costs, and potentially lives, as well as fostering economic resilience, particularly under the COVID-19 pandemic environments. This book is a sequel of the Handbook of Artificial Intelligence in Healthcare. The first volume of the Handbook is dedicated to present advances and applications of AI methodologies in several specific areas, i.e., signal, image, and video processing as well as information and data analytics. In this second volume of the Handbook, general practicality challenges and future prospects of AI methodologies pertaining to healthcare and related domains are presented in Part 1 and Part 2, respectively.It is envisaged that the selected studies will provide readers a general perspective on the issues, challenges, and opportunities in designing, developing, and implementing AI-based tools and solutions in the healthcare sector, bringing benefits to transform and advance health and well-being development of humans..
Rather than focusing on a single aspect of software engineering, this book provides a systematic overview of recent techniques, including requirement gathering in the form of story points in agile software, and bio-inspired techniques for estimating the effort, cost, and time required for software development.
This is the first book on experience-based knowledge representation and knowledge management using the unique Decisional DNA (DDNA) technology.
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.