Search

This two-volume set of IFIP-AICT 675 and 676 constitutes the refereed proceedings of the 19th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2023, held in León, Spain, during June 14–17, 2023. This event was held in hybrid mode. The 75 regular papers and 17 short papers presented in this two-volume set were carefully reviewed and selected from 185 submissions. The papers cover the following topics: Deep Learning (Reinforcement/Recurrent Gradient Boosting/Adversarial); Agents/Case Based Reasoning/Sentiment Analysis; Biomedical - Image Analysis; CNN - Convolutional Neural Networks YOLO CNN; Cyber Security/Anomaly Detection; Explainable AI/Social Impact of AI; Graph Neural Networks/Constraint Programming; IoT/Fuzzy Modeling/Augmented Reality; LEARNING (Active-AutoEncoders-Federated); Machine Learning; Natural Language; Optimization-Genetic Programming; Robotics; Spiking NN; and Text Mining /Transfer Learning.

This two-volume set of IFIP-AICT 675 and 676 constitutes the refereed proceedings of the 19th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2023, held in León, Spain, during June 14–17, 2023. This event was held in hybrid mode.The 75 regular papers and 17 short papers presented in this two-volume set were carefully reviewed and selected from 185 submissions. The papers cover the following topics: Deep Learning (Reinforcement/Recurrent Gradient Boosting/Adversarial); Agents/Case Based Reasoning/Sentiment Analysis; Biomedical - Image Analysis; CNN - Convolutional Neural Networks YOLO CNN; Cyber Security/Anomaly Detection; Explainable AI/Social Impact of AI; Graph Neural Networks/Constraint Programming; IoT/Fuzzy Modeling/Augmented Reality; LEARNING (Active-AutoEncoders-Federated); Machine Learning; Natural Language; Optimization-Genetic Programming; Robotics; Spiking NN; and Text Mining /Transfer Learning.

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.