Runtime Verification
This book provides a hands-on introduction to runtime verification which guides the reader from...
EAN: 9783031092664
Quadratic Unconstrained Binary Optimization Problem
EAN: 9783031045196
Computer Algebra
Presented using Mathematica code, the book is fully supported by downloadable sessions in...
EAN: 9783030780197
Blockchain Scalability and its Foundations in Distributed Systems
EAN: 9783031125775
Quantum Codes for Topological Quantum Computation
EAN: 9783031068324
Recent Trends in Mathematical Modeling and High Performance Computing
This volume explores the connections between mathematical modeling, computational methods, and...
EAN: 9783030682835
200 Problems on Languages, Automata, and Computation
This book presents a series of compelling exercises of increasing difficulty in formal languages,...
EAN: 9781316513460
Computational Techniques for Text Summarization based on Cognitive Intelligence
The book is concerned with contemporary methodologies used for automatic text summarization. It...
EAN: 9781032392820
Computational Linear Algebra
Courses on linear algebra and numerical analysis need each other. Often NA courses have some...
EAN: 9781032302461
Computational Thinking: A Perspective on Computer Science
The book is divided into chapters on logic thinking, algorithmic thinking, systems thinking, and...
EAN: 9789811638503
Fundamentals of Logic and Computation
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and...
EAN: 9783030878849
Concise Computer Mathematics
Adapted from a modular undergraduate course on computational mathematics, Concise Computer...
EAN: 9783319017501
Applications of Machine Learning and Deep Learning on Biological Data
This book provides readers a comprehensive understanding of the application of machine Learning...
EAN: 9781032214375
Quantum Computation
This book presents the mathematics of quantum computation. The purpose is to introduce the topic...
EAN: 9781032206486
Current Applications of Deep Learning in Cancer Diagnostics
This book demonstrates the core concepts of deep learning algorithms that, using diagrams, data...
EAN: 9781032233857
Intelligent Internet of Things for Smart Healthcare Systems
The book focuses on developments in AI and IoT integration for smart healthcare, with an emphasis...
EAN: 9781032352862
Generative Adversarial Networks and Deep Learning
This book explores how to use generative adversarial networks in a variety of applications and...
EAN: 9781032068107
Evolutionary Intelligence for Healthcare Applications
This book highlights various evolutionary algorithm techniques for various medical conditions and...
EAN: 9781032185040
Hidden Markov Models and Applications
This book focuses on recent advances, approaches, theories, and applications related Hidden...
EAN: 9783030991418
Multilayer Networks: Analysis and Visualization
EAN: 9783030757175