616 citations · 867 across the 16 of their papers we have counts for
18 papers
Grounding GUI Design in Computational Psychology
Xianni Wang, Javier Romero Davila, Saku Sourulahti +2
Creating visually appealing user interfaces often requires extensive manual iteration. We propose an approach that applies answer set programming (ASP) to automatically generate an…
Unveiling the period-bounce population of cataclysmic variables: Spectroscopic and time-domain follow-up of eROSITA-selected candidates
S. Hernández-Díaz, B. Stelzer, A. Schwope +9
During their secular evolution, cataclysmic variable stars (CVs) evolve toward shorter orbital periods () until reaching a minimum near min, after…
Stellar Forcing of (exo)Planetary Environments
Julián D. Alvarado-Gómez, Erika Palmerio, Manuel Güdel +13
The environments of exoplanets are fundamentally shaped by the magnetic activity of their host stars through radiative, plasma, and particle-driven processes. This article presents…
Planning with Incomplete Information in Quantified Answer Set Programming
Jorge Fandinno, François Laferrière, Javier Romero +2
We present a general approach to planning with incomplete information in Answer Set Programming (ASP). More precisely, we consider the problems of conformant and conditional planni…
VERITAS Detection of LS 5039 and HESS J1825-137
VERITAS Collaboration, A. U. Abeysekara, W. Benbow +42
With 8 hours of observations, VERITAS confirms the detection of two very high energy gamma-ray sources. The gamma-ray binary LS 5039 is detected with a statistical significance of…
Cloud model inversions of strong chromospheric absorption lines using principal component analysis
Ekaterina Dineva, Meetu Verma, Sergio Javier González Manrique +2
High-resolution spectroscopy of strong chromospheric absorption lines delivers nowadays several millions of spectra per observing day, when using fast scanning devices to cover lar…