Agustí Melchor, Manuel(Universitat Politècnica de València, 2019-07-01)
Un documento XML (acrónimo de eXtensible Markup Language) es uno cuya estructura está definida por el usuario y se ha de respetar para facilitar procesos posteriores. Sobre este es posible aplicar transformaciones y eso ...
[EN] In this educational innovation, we intend to verify the rubrics developed by
the Universitat Politècnica de València for the following generic skills: CT02
(Application and practical thinking), CT-04 (Innovation, ...
Carrillo Cayuela, Antonio(Universitat Politècnica de València, 2023-01-10)
[ES] En este trabajo final de máster, en primer lugar se realiza una introducción a los UAS, explicando sus características básicas, la normativa actual y ejemplificando aplicaciones para las que ya se usan. Posteriormente, ...
Alós Moya, Alberto(Universitat Politècnica de València, 2017-12-02)
Due to the non-existence of a solution for testing the performance of twisted pair cables in Stadler Rail Valencia S.A.U. rail vehicles, this project has been accomplished in order to solve problems related to the lack of ...
Cruz Selvi, Javier(Universitat Politècnica de València, 2017-09-07)
[ES] Testeo, depuración, análisis, corrección son los sustantivos que mejor definen la
actividad realizada en el presente trabajo.
Se ha tratado de llevar a la práctica los conceptos teóricos aprendidos durante las ...
Amutio Duarte, Alejandro(Universitat Politècnica de València, 2024-04-09)
[ES] El proceso de verificación de circuitos integrados evita la propagación de errores desde la etapa de diseño hasta el proceso de fabricación y el producto final, evitando así un gasto baldío de tiempo y recursos ...
Bollas Araya, Helena María(Universitat Politècnica de València, 2016-07-22)
[EN] In recent years, increasing demand for new social requirements has caused activities linked to Corporate Social Responsibility (CSR). Thus, a large number of companies introduce sustainability criteria into their ...
Martínez Medina, Óscar(Universitat Politècnica de València, 2020-05-14)
[ES] Este Trabajo Final de Máster verifica un modelo por elementos finitos de un dispositivo de prueba CAI, para paneles de plástico reforzado con fibra de carbono de pared delgada. Las simulaciones se calculan desde el ...
Llobell Buigues, Juan(Universitat Politècnica de València, 2020-04-06)
[ES] Obtención de las secciones eficaces de un reactor PWR 16X16 mediante el código Montecarlo Serpent para 27 combinaciones de temperatura de moderador, combustible y refrigerante, utilizando el cluster MMP2 del superordenador ...
Morós Cisneros, Anna(Universitat Politècnica de València, 2019-10-16)
[ES] La Responsabilidad Social Corporativa es una herramienta a la que muchas empresas españolas están a la vanguardia y que ofrece información relevante a los grupos de interés. El reporte acerca de cuestiones sociales y ...
Bollas Araya, Helena María; Seguí Mas, Elíes(Centro Investigación Información Economía Pública Social y Cooperativa, CIRIEC-España, 2014-08)
[EN] Given their nature, cooperatives are highly likely to publish CSR reports. However, compared
to commercial companies, few contributions to the subject are to be found in the literature, particularly with regard
to ...
Costán Macareño, Manuel Enrique(Universitat Politècnica de València, 2021-09-08)
[ES] El modelo de negocio que basaba la valoración de la empresa en su actividad comercial y financiera ha evolucionado a un modelo de gestión empresarial que, además de los criterios contables tradicionales, incorpora ...
Alcalde Navarro, Virginio(Universitat Politècnica de València, 2023-07-18)
[ES] Si bien la información de sostenibilidad está basada en los criterios medioambientales, sociales y de gobernanza (ASG), cada vez existe una mayor integración con la información financiera por su importancia en la toma ...
Aparicio Sánchez, Damián(Universitat Politècnica de València, 2017-10-26)
[EN]
The security in modern online services is increasingly more and more vulnerable to intruder attacks. Companies like Yubiko works on devices like Yubikey, a USB device that provides strong identification. In this ...
Romero ., Daniel Omar(Universitat Politècnica de València, 2011-11-14)
En este trabajo se presenta una metodología de verificación y reparación de sitios web que permite: especificar los requerimientos del usuario, detectar con precisión las partes que no satisfacen la especificación y aplicar ...
García Valero, Víctor(Universitat Politècnica de València, 2021-09-15)
[ES] En el siguiente trabajo modelamos el protocolo de exclusión mutua con tiempo real Fischer como un módulo de sistema mediante el lenguaje de especificación y verificación Maude. Hacemos uso del alcance de la generación ...
Moreno Latorre, Jorge(Universitat Politècnica de València, 2023-09-26)
[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 ...
Mulet Romeu, Sandra(Universitat Politècnica de València, 2023-09-28)
[EN] The following Final Degree Project has been developed to complement the training in the Degree in Mechanical Engineering, studied at the Polytechnic University of Valencia and the final year at the Polytechnic University ...
Gadea Gironés, Rafael(Universitat Politècnica de València, 2015-03-09)
En este objeto de aprendizaje se demuestra el funcionamiento de las operaciones básicas en el manejo de colas de Systemverilog, que suelen ser muy importantes en tareas de verificación de sistemas digitales