Advanced On-board Navigation Techniques for Disrupted Complex Asteroid Rotators

Detection optimization and analysis of absence seizures in physiological signals of the Genetic Absence Epilepsy Rats from Strasbourg

Polynomial Image Formation and GAN-Based Decomposition for Poisson–Gaussian Noise Modeling

CAD2DMD-SET: Synthetic Dataset Generator of Digital Measurement Devices

Towards Advancing Human-AI Interaction in High-Stakes Domains Through Behavioral Evaluation Frameworks

Supervised by Francisco Maria Calisto and Jacinto C. Nascimento

Integrated Non-linear Control and Guidance System for an E-Rocket

Towards Ambiguity-aware AI Assistants for Breast Cancer Diagnosis

CubeSats in the Lab – Advanced Actuation Systems

Formal Safety Verification Using Reachability Analysis for the Koopman Operator

Model Predictive Control-based Rendezvous and Contact of Autonomous Space Vehicles