VLDB 2026 Research / reviewers in the wild / expert
Ana Carvalho
dblp:26/8803
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 VarianceabstractComputations 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-Science | 1 |
| 2023 | Using Fourier Coefficients and Wasserstein Distances to Estimate Entropy in Time SeriesabstractTime 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-Science | 2 |
| 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 |
SEFM | 3 |
| 2014 | A Formal Model for Natural-Language Timed Requirements of Reactive Systems
Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti 0001, Augusto Sampaio 0001 |
ICFEM | 2 |