Ana Carvalho

dblp:26/8803 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
4since 2021 · last 2023
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 1 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 since 2021
YearPublicationVenuePosition
2023 OPHILIA: Cy-Collage Cyberperformance
Rosimária Sapucaia, Célia Vieira, Inês Guerra Santos, Ana Carvalho, Juliana Wexel
ArtsIT (1)4
2023 Symbolic Regression Applied to Cosmology: An Approximate Expression for the Density Perturbation Variance
abstract
Computations of cosmological properties, such as the density perturbation variance,$\sigma$, are computationally expensive. In this work we propose the application of Symbolic Regression to generate analytical expressions to approximate these quantities. We created simulated data for$\sigma$using a Boltzmann solver, CAMB. These simulations cover seven parameters; the five cosmological parameters and the redshift and mass of dark matter halos. We then apply a Symbolic Regression engine, TuringBot, to this simulated data and obtain an analytical equation to approximate$\sigma$. The resulting mathematical expression has a mean accuracy of ≈ 98.96% over the entire domain, and is five orders of magnitude faster than using simulated data from CAMB, demonstrating the applicability of Symbolic Regression to accelerate cosmological inference.
Ana Carvalho, David Magalhaes Oliveira, Alberto Krone-Martins, Antonio da Silva 0002
e-Science1
2023 Using Fourier Coefficients and Wasserstein Distances to Estimate Entropy in Time Series
abstract
Time series from real data measurements are often noisy, under-sampled, irregularly sampled, and inconsistent across long-term measurements. Typically, in analyzing these time series, particularly within astronomy, it is common to use estimators such as sample entropy and multi-scale entropy that require interpolation to avoid irregular sampling. In this work, we analyze and consider a new entropy estimator that combines permutations, Fourier Coefficients, and Wasserstein distances to address the concern of irregularly sampled data.
Scott Perkey, Ana Carvalho, Alberto Krone-Martins
e-Science2
2023 Decision support tool to define the optimal pool testing strategy for SARS-CoV-2
Bruno Barracosa, João Felício, Ana Carvalho, Leonilde M. Moreira, Filipa Mendes, Sandra Cabo Verde, Tânia Pinto
Decis. Support Syst.3
2015 NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Gustavo Carvalho, Flávia de Almeida Barros, Ana Carvalho, Ana Cavalcanti 0001, Alexandre Mota 0001, Augusto Sampaio 0001
SEFM3
2014 A Formal Model for Natural-Language Timed Requirements of Reactive Systems
Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti 0001, Augusto Sampaio 0001
ICFEM2