Search
Now showing items 1-10 of 211
Formal verification for task description languages. A Petri Net approach
López Fernández, Joaquín
; Santana Alonso, Alejandro Alejo; Diaz Cacho Medina, Miguel Ramon
; Santana Alonso, Alejandro Alejo; Diaz Cacho Medina, Miguel Ramon
- article
- Enxeñaría de sistemas e automática
AI approaches to environmental impact assessments (EIAs) in the mining and metals sector using AutoML and Bayesian modeling
Gerassis Davite, Saki; Giráldez Pérez, Eduardo; Pazo Rodríguez, María; Saavedra González, Maria Angeles; Taboada Castro, Javier
; Giráldez Pérez, Eduardo; Pazo Rodríguez, María; Saavedra González, Maria Angeles; Taboada Castro, Javier
- article
- Enxeñaría dos recursos naturais e medio ambiente
- Estatística e investigación operativa
Exploring the synergies between gamification and data collection in higher education
Liz Domínguez, Martín; Caeiro Rodríguez, Manuel; Llamas Nistal, Martín; Mikic Fonte, Fernando Ariel
; Caeiro Rodríguez, Manuel; Llamas Nistal, Martín; Mikic Fonte, Fernando Ariel
- conferenceObject
- Enxeñaría telemática
Phytochemical valorization of "Bryophyllum" spp. medicinal plants combining biotechnological and machine learning tools
García Pérez, Pascual
- doctoralThesis
- Bioloxía vexetal e ciencias do solo
- Programa de Doutoramento en Biotecnoloxía Avanzada (RD 99/2011)
Neural networks and the seawater CO2 system. From the global ocean to the Ría de Vigo
- doctoralThesis
- Programa de Doutoramento en Ciencias Mariñas, Tecnoloxía e Xestión (RD 99/2011)
ALBAYZIN Query-by-example spoken term detection 2016 evaluation
Tejedor Noguerales, Javier; Toledano, Doroteo T; López Otero, Paula; Docío Fernández, Laura; Proença, Jorge; Perdigão, Fernando; García Granada, Fernando; Sanchís Arnal, Emilio; Pompili, Anna; Abad Gareta, Alberto
; Docío Fernández, Laura; Proença, Jorge; Perdigão, Fernando; García Granada, Fernando; Sanchís Arnal, Emilio; Pompili, Anna; Abad Gareta, Alberto
- article
- Teoría do sinal e comunicacións
