Abstract is missing.
- A Theorem Proving Approach to Formal Verification of a Cognitive AgentAlexander Birch Jensen. 1-11 [doi]
- Parallelization of the Poisson-Binomial Radius Distance for Comparing Histograms of n-gramsAna-Lorena Uribe-Hurtado, Mauricio Orozco-Alzate. 12-21 [doi]
- CVAE-Based Complementary Story Generation Considering the Beginning and EndingRiku Iikura, Makoto Okada, Naoki Mori. 22-31 [doi]
- A Review on Multi-agent Systems and Virtual RealityAlejandra Ospina-Bohórquez, Sara Rodríguez-González, Diego Vergara-Rodríguez. 32-42 [doi]
- Malware Analysis with Artificial Intelligence and a Particular Attention on Results InterpretabilityBenjamin Marais, Tony Quertier, Christophe Chesneau. 43-55 [doi]
- Byzantine Resilient Aggregation in Distributed Reinforcement LearningJiani Li, Feiyang Cai, Xenofon D. Koutsoukos. 56-66 [doi]
- Utilising Data from Multiple Production Lines for Predictive Deep Learning ModelsNiclas Ståhl, Gunnar Mathiason, Juhee Bae. 67-76 [doi]
- Optimizing Medical Image Classification Models for Edge DevicesAreeba Abid, Priyanshu Sinha, Aishwarya Harpale, Judy Gichoya, Saptarshi Purkayastha. 77-87 [doi]
- Song Recommender System Based on Emotional Aspects and Social RelationsCarlos J. Gomes, Ana Belén Gil González, Ana de Luis-Reboredo, Diego Sánchez-Moreno, María N. Moreno García. 88-97 [doi]
- Non-isomorphic CNF GenerationPaolo Fantozzi, Luigi Laura, Umberto Nanni, Alessandro Villa. 98-107 [doi]
- A Search Engine for Scientific Publications: A Cybersecurity Case StudyNuno Oliveira 0008, Norberto Sousa, Isabel Praça. 108-118 [doi]
- Prediction Models for Coronary Heart DiseaseCristiana Neto, Diana Ferreira, José Ramos, Sandro Cruz, Joaquim Oliveira, António Abelha, José Machado 0001. 119-128 [doi]
- Soft-Sensors for Monitoring B. Thuringiensis BioproductionC. E. Robles Rodriguez, J. Abboud, N. Abdelmalek, S. Rouis, N. Bensaid, M. Kallassy, J. Cescut, L. Fillaudeau, Cesar Arturo Aceves-Lara. 129-136 [doi]
- A Tree-Based Approach to Forecast the Total Nitrogen in Wastewater Treatment PlantsCarlos Faria, Pedro Filipe Oliveira, Bruno Fernandes 0002, Francisco Aguiar, Maria Alcina Pereira, Paulo Novais. 137-147 [doi]
- Machine Learning for Network-Based Intrusion Detection Systems: An Analysis of the CIDDS-001 DatasetJosé Carneiro, Nuno Oliveira 0008, Norberto Sousa, Eva Maia, Isabel Praça. 148-158 [doi]
- Wind Speed Forecasting Using Feed-Forward Artificial Neural NetworkEduardo Praun Machado, Hugo Morais, Tiago Pinto. 159-168 [doi]
- A Multi-agent Specification for the Tetris GameCarlos Marín-Lora, Miguel Chover, José Martínez Sotoca. 169-178 [doi]
- Service-Oriented Architecture for Data-Driven Fault DetectionMarta Fernandes, Alda Canito, Daniel Mota, Juan M. Corchado, Goreti Marreiros. 179-189 [doi]
- Distributing and Processing Data from the Edge. A Case Study with Ultrasound Sensor ModulesJose-Luis Poza-Luján, Pedro Uribe-Chavert, Juan-José Sáenz-Peñafiel, Juan-Luis Posadas-Yagüe. 190-199 [doi]
- Bike-Sharing Docking Stations Identification Using Clustering Methods in Lisbon CityTiago Fontes, Miguel Arantes, P. V. Figueiredo, Paulo Novais. 200-209 [doi]
- Development of Mobile Device-Based Speech Enhancement System Using Lip-ReadingFumiaki Eguchi, Kenji Matsui, Yoshihisa Nakatoh, Yumiko O. Kato, Alberto Rivas, Juan Manuel Corchado. 210-220 [doi]