Grupo de Arquitectura de Computadores (GAC)
Envíos recentes
-
A Comparison of Different Methods for Rainfall Imputation: A Galician Case Study
(MDPI, 2023)[Abstract] Abstract With the ultimate goal of developing models that involve the use of environmental variables, a GIS-based application is being developed that is circumscribed to the region of Galicia (Spain). Ten-minute ... -
Formal Verification of Source-to-Source Transformations for HLS
(Association for Computing Machinery, Inc, 2024)[Abstract]: High-level synthesis (HLS) can greatly facilitate the description of complex hardware implementations, by raising the level of abstraction up to a classical imperative language such as C/C++, usually augmented ... -
Multistage strategy for ground point filtering on large-scale datasets
(Springer, 2024-08)[Abstract]: Ground point filtering on national-level datasets is a challenge due to the presence of multiple types of landscapes. This limitation does not simply affect to individual users, but it is in particular relevant ... -
GUANIN: an all-in-one GUi-driven analyzer for NanoString interactive normalization
(Oxford University Press, 2024-08)[Abstract]: Most tools for normalizing NanoString gene expression data, apart from the default NanoString nCounter software, are R packages that focus on technical normalization and lack configurable parameters. However, ... -
Cryptic diversity and phylogeographic patterns of Mediodactylus species in the Eastern Mediterranean region
(Academic Press Inc., 2024-08)[Abstract]: Cryptic diversity poses a great obstacle in our attempts to assess the current biodiversity crisis and may hamper conservation efforts. The gekkonid genus Mediodactylus, a well-known case of hidden species and ...