Kategoria BISAC: Computers >> Computer Science

Simulating the behavior of a human heart, predicting tomorrow's weather, optimizing the aerodynamics of a sailboat, finding the ideal cooking time for a hamburger: to solve these problems, cardiologists, meteorologists, sportsmen, and engineers can count on math help. This book will lead you to the discovery of a magical world, made up of equations, in which a huge variety of important problems for our life can find useful answers.

The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach...

This book is a comprehensive guide that explores the intersection of artificial intelligence and forecasting, providing the latest insights and trends in this rapidly evolving field.

The book contains fourteen chapters covering a wide range of topics, including the concept of AI, its impact on economic decision-making, traditional and machine learning-based forecasting methods, challenges in demand forecasting, global forecasting models, meta-learning and feature-based forecasting, ensembling, deep learning, scalability in industrial and optimization applications, and forecasting...

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.

The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide...