Search
Now showing items 1-10 of 174
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)
Applying Data Analysis to provide Efficient and Effective Recommendation Systems for E-Commerce
- doctoralThesis
- Enxeñaría telemática
- Programa de Doutoramento en Tecnoloxías da Información e as Comunicacións pola Universidade de Vigo (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)
