research ATREIDES Agent-based simulation for predictive policing through data-driven and multi-tiered models AISEN Development and validation of an AI-based interactive environment for the assessment and optimization of executive functions and reading processes in developmental disorders FEDERJA Agent-Based Crime Prediction Models and Data Science contracts