Description
Book Synopsis?.- A Critique on Transductive Evaluation for GNN Node Classification.
.- Gene Importance Assessment based on Shapley Values for Boolean Networks: Validation and Scalability Analysis.
.- Modelling COVID 19 with a SIR Variant using Real-World Data: a Case Study in Brazil.
.- Verifying properties of Activities of Daily Living.
.- Explaining Pain: on the Impact of Physiological Signals in Pain Prediction.
.- Exploring the Trade Offs in ECG Biometrics: Impact of Acquisition Time and Temporal Separation.
.- Risk Management and Process Optimization in Industry 4.0: Integrating Sensors with Critical Path and FMEA.
.- Beyond Flattening: Detecting Concurrency Anomalies Using K NN Graph-based Modeling in Object Centric Event Logs.
.- Towards Achieving Energy Efficiency and Service Availability in 6G O RAN via Formal Verification.
