Abstract is missing.
- A Critique on Transductive Evaluation for GNN Node ClassificationYameng Guo, Seppe Vanden Broucke. 1-18 [doi]
- Gene Importance Assessment Based on Shapley Values for Boolean Networks: Validation and Scalability AnalysisGiang Pham, Paolo Milazzo. 19-33 [doi]
- Modelling COVID-19 with a SIR Variant Using Real-World Data: A Case Study in BrazilDaniel Leto, Elizabeth F. Wanner, Roberto Alamino, Thais Webber. 34-51 [doi]
- Verifying Properties of Activities of Daily LivingRicardo Contreras, Filip Smola, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot. 52-69 [doi]
- Explaining Pain: On the Impact of Physiological Signals in Pain PredictionBruna Alves, Susana Brás, Raquel Sebastião. 70-87 [doi]
- Exploring the Trade-Offs in ECG Biometrics: Impact of Acquisition Time and Temporal SeparationTeresa M. C. Pereira, Raquel C. Conceição, Vitor Sencadas, Raquel Sebastião. 88-97 [doi]
- Risk Management and Process Optimization in Industry 4.0: Integrating Sensors with Critical Path and FMEAHana Tomásková, Andrea Zvácková, Patrik Urbanik, Dominik Palla. 98-115 [doi]
- Beyond Flattening: Detecting Concurrency Anomalies Using K-NN Graph-Based Modeling in Object-Centric Event LogsIuliana Malina Grigore, Gabriel Marques Tavares, Sylvio Barbon Junior. 116-136 [doi]
- Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal VerificationRoberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav. 137-157 [doi]