Jiménez Martí, Alejandro(Universitat Politècnica de València, 2023-09-27)
[EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL ...
Barreal, Jesús; Loureiro, María; Picos, Juan(Universitat Politècnica de València, 2012-05-08)
[EN] The goal of this research is to analyze the importance of the main factors contributing to the occurrence of wildfires in Galicia. The econometric models are specified taking into account as a dependent variable the ...
Guillem Amat, Fernando Manuel(Universitat Politècnica de València, 2024-07-01)
[ES] El Trabajo Final de Grado analiza la evolución de la contaminación y el tráfico en Valencia,
con énfasis en el NOx y el tráfico en la Plaza del Ayuntamiento. Destaca el impacto de la pandemia de COVID-19 en 2020, que ...