Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Oliver Villarroya, Francisco Javier"

Mostrando ítems 1-20 de 24

Página siguiente

An empirical analysis of the influence of classmates on the academic performance

Herrero Cuco, Carlos; Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Association for Computing Machinery (ACM), 2013-07-01)

This poster presents ongoing work that studies the influence of classmates over students’ grades. We want to analyze different students habits and empirically quantify how they in- fluence their academic performance. ...
Desarrollo de una plataforma web para la gestión / creación y envío automático de la documentación asociada a las Prácticas de Empresa para estudiantes de la UPV

Blasco Rubio, Adrián (Universitat Politècnica de València, 2019-10-09)

[ES] Este trabajo de final de grado consiste en la implementación de un módulo de justificante de prácticas para la gestión de las prácticas en empresa en la UPV. El objetivo principal es crear una herramienta que permita ...
Detección de anomalías para la protección de organizaciones a través de la adquisición de tráfico de navegación HTTP

Monteagudo Sanz, David (Universitat Politècnica de València, 2017-11-24)

El proyecto consiste en el análisis, diseño e implementación de un sistema de apoyo y soporte para los equipos de seguridad en la identificación y detección de anomalías para la protección de organizaciones ante amenazas, ...
Diseño de controladores de memoria eficientes para futuros sistemas

Navarro Alfonso, Paula (Universitat Politècnica de València, 2015-07-27)
Dynamic slicing of concurrent specification languages

Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva, Josep; Tamarit Muñoz, Salvador (Elsevier, 2016-04)

[EN] Dynamic slicing is a technique to extract the part of the program (called slice) that influences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). ...
Dynamic Slicing of CSP via Tracking

Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva, Josep; Tamarit Muñoz, Salvador (Università di Siena, 2015)

Dynamic slicing is a technique to extract the part of the program (called slice) that influences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). ...
Elementos básicos de un programa en C

Oliver Villarroya, Francisco Javier (Universitat Politècnica de València, 2008-01-25)

Se presentan elementos básicos en la programación estructurada: expresiones, asignación, constantes, entrada de datos, salida de datos
Elementos motivadores incorporados en los Polimedias plus, vídeos didácticos y screencast para aumentar y mejorar el aprendizaje del estudiante

Ríos Lizana, José Gabriel; Oliver Villarroya, Javier; Cáceres González, Pilar Aurora (Editorial Universitat Politècnica de València, 2017-07-18)

[EN] In order to attract students' attention and increase their motivation and participation when they are learning through an audiovisual resource (Polimedia plus, screencast, didactic videos), a system of processing ...
Estructuras de control en C

Oliver Villarroya, Francisco Javier (Universitat Politècnica de València, 2008-01-25)

Se presentan las instrucciones condicionales y los bucles en C
Extension del lambda-cálculo para la modelizacion de procesos concurrentes

Oliver Villarroya, Francisco Javier (Universitat Politècnica de València, 2015-12-16)

El lambda-cálculo es una teoría sin tipos que interpreta las funciones como reglas, es decir, el proceso de ir de un argumento a un valor, un proceso codificado por una definición. La idea de utilizar el lambda-cálculo ...
Generating a Petri net from a CSP specification: a semantics-based method

Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Elsevier, 2012)

[EN] The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of ...
Graph generation to statically represent CSP processes

Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Springer Verlag (Germany), 2011)

The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...
How to introduce the research in the university teaching: a training experience in the Universitat Politècnica de València [Teacher Hub]

Fernández March, Amparo; García Félix, Vicenta Eloína; García Carbonell, Amparo; Benlloch Dualde, José Vicente; Bonet Espinosa, Mª Pilar; Oliver Villarroya, Francisco Javier (Editorial Universitat Politècnica de València, 2019-10-24)

[EN] In this work we present the project of initiation to the Educational Research-Action (INED), within the pedagogical training program for university teachers organized by the Institute of Education Sciences (ICE), of ...
JIDTEL 2014 - Jornadas de Innovación Docente 2014 - En homenaje a Elvira Bonet

Oliver Villarroya, Francisco Javier; Cerdá Boluda, Joaquín; Beneit Mayordomo, Pablo Alberto (Editorial Universitat Politècnica de València, 2014-07)

Tras la buena acogida de las I Jornadas de Innovación Docente JIDTEL 13 que tuvieron lugar en la ETSIT en marzo de 2013, nos encontramos con su segunda edición, prevista para los días 7 y 8 de julio de 2014. En esta edición ...
Modelización de la concurrencia en sistemas distribuidos multiagente: autómatas cooperativos

Herrero Cuco, Carlos (Universitat Politècnica de València, 2016-01-07)

[EN] The main objective of Doctoral Thesis "Modelling Concurrency in Distributed Multi-Agent Systems: Cooperating Automata" is the definition and extension of a model conceived to describe multi-agent systems that combines ...
A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended)

Tamarit Muñoz, Salvador; Silva Galiana, Josep Francesc; Llorens Agost, María Luisa; Oliver Villarroya, Francisco Javier (Universitat Politècnica de València, 2010-06-07)

The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...
Smart Agriculture. Gestión sostenible de recursos agrícolas

Pérez Madrigal, Marcos (Universitat Politècnica de València, 2015-10-29)

Este proyecto pretende encontrar una forma rentable y óptima del uso del agua por parte de los agricultores. Tras un estudio del estado del arte relacionado con la agricultura de hoy y de las posibilidades que nos ofrece ...
Static slicing of explicitly synchronized languages

Leuschel ., Michael; Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Elsevier, 2012-05)

Static analysis of concurrent languages is a complex task due to the non-deterministic execution of processes. If the concurrent language being studied allows process synchronization, then the analyses are even more complex ...
Superresolución de Imágenes de Resonancia Magnética Nuclear basada en Diccionarios Acoplados

García Berná, José Alberto (Universitat Politècnica de València, 2013-05-18)

Desarrollo de un algoritmo, con técnicas de superresolución, para la mejora de la calidad visual de imágenes de resonancia magnética cerebral.
The influence of students distribution on their grades

Herrero Cuco, Carlos; Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Association for Computing Machinery (ACM), 2013-07-01)

This position paper defends the opinion that the distance of students to the professor in the classroom is directly related to their grades. This opinion is based on the results obtained in a large experiment performed ...