5 papers
A Systematic Evaluation of Retrieval-Augmented Generation and Language Models for Space Operations
Ruben Belo, Marta Guimarães, Cláudia Soares
The rapid expansion of space activities has led to an unprecedented accumulation of technical documentation, operational guidelines, and scientific literature, creating challenges…
Keep Calm and Avoid Harmful Content: Concept Alignment and Latent Manipulation Towards Safer Answers
Ruben Belo, Marta Guimaraes, Claudia Soares
Large Language Models are susceptible to jailbreak attacks that bypass built-in safety guardrails (e.g., by tricking the model with adversarial prompts). We propose Concept Alignme…
Satellite Safe Margin: Fast solutions for Conjunction Analysis
Ricardo N. Ferreira, Marta Guimarães, Cláudia Soares
The amount of debris in orbit has increased significantly over the years. With the recent growth of interest in space exploration, conjunction assessment has become a central issue…
A Proof of Strong Consistency of Maximum Likelihood Estimator for Independent Non-Identically Distributed Data
Ricardo Ferreira, Filipa Valdeira, Marta Guimarães +1
We give a general proof of the strong consistency of the Maximum Likelihood Estimator for the case of independent non-identically distributed (i.n.i.d) data, assuming that the dens…
Probability of Collision of satellites and space debris for short-term encounters: Rederivation and fast-to-compute upper and lower bounds
Ricardo Ferreira, Cláudia Soares, Marta Guimarães
The proliferation of space debris in LEO has become a major concern for the space industry. With the growing interest in space exploration, the prediction of potential collisions b…