229 citations · 657 across the 14 of their papers we have counts for
4 papers · 1 filter
Conflict-Aware Active Automata Learning
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva +1
Active automata learning algorithms cannot easily handle conflict in the observation data (different outputs observed for the same inputs). This inherent inability to recover after…
Conflict-Aware Active Automata Learning (Extended Version)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva +1
Active automata learning algorithms cannot easily handle conflict in the observation data (different outputs observed for the same inputs). This inherent inability to recover after…
Oxygen, sulfur, and iron radial abundance gradients of classical Cepheids across the Galactic thin disk
R. da Silva, V. D'Orazi, M. Palla +25
Classical Cepheids (CCs) are solid distance indicators and tracers of young stellar populations. Our aim is to provide iron, oxygen, and sulfur abundances for the largest and most…
Effective temperatures of classical Cepheids from line-depth ratios in the H-band
V. Kovtyukh, B. Lemasle, N. Nardetto +6
The technique of line depth ratios (LDR) is one of the methods to determine the effective temperature of a star. They are crucial in the spectroscopic studies of variable stars lik…