Distributed Computing and Artificial Intelligence, Volume 1: 18th International Conference

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Theorem Proving Approach to Formal Verification of a Cognitive Agent
3. Altmetric Badge
   Chapter 2 Parallelization of the Poisson-Binomial Radius Distance for Comparing Histograms of n-grams
4. Altmetric Badge
   Chapter 3 CVAE-Based Complementary Story Generation Considering the Beginning and Ending
5. Altmetric Badge
   Chapter 4 A Review on Multi-agent Systems and Virtual Reality
6. Altmetric Badge
   Chapter 5 Malware Analysis with Artificial Intelligence and a Particular Attention on Results Interpretability
7. Altmetric Badge
   Chapter 6 Byzantine Resilient Aggregation in Distributed Reinforcement Learning
8. Altmetric Badge
   Chapter 7 Utilising Data from Multiple Production Lines for Predictive Deep Learning Models
9. Altmetric Badge
   Chapter 8 Optimizing Medical Image Classification Models for Edge Devices
10. Altmetric Badge
    Chapter 9 Song Recommender System Based on Emotional Aspects and Social Relations
11. Altmetric Badge
    Chapter 10 Non-isomorphic CNF Generation
12. Altmetric Badge
    Chapter 11 A Search Engine for Scientific Publications: A Cybersecurity Case Study
13. Altmetric Badge
    Chapter 12 Prediction Models for Coronary Heart Disease
14. Altmetric Badge
    Chapter 13 Soft-Sensors for Monitoring B. Thuringiensis Bioproduction
15. Altmetric Badge
    Chapter 14 A Tree-Based Approach to Forecast the Total Nitrogen in Wastewater Treatment Plants
16. Altmetric Badge
    Chapter 15 Machine Learning for Network-Based Intrusion Detection Systems: An Analysis of the CIDDS-001 Dataset
17. Altmetric Badge
    Chapter 16 Wind Speed Forecasting Using Feed-Forward Artificial Neural Network
18. Altmetric Badge
    Chapter 17 A Multi-agent Specification for the Tetris Game
19. Altmetric Badge
    Chapter 18 Service-Oriented Architecture for Data-Driven Fault Detection
20. Altmetric Badge
    Chapter 19 Distributing and Processing Data from the Edge. A Case Study with Ultrasound Sensor Modules
21. Altmetric Badge
    Chapter 20 Bike-Sharing Docking Stations Identification Using Clustering Methods in Lisbon City
22. Altmetric Badge
    Chapter 21 Development of Mobile Device-Based Speech Enhancement System Using Lip-Reading