Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Programs"

Mostrando ítems 1-6 de 6

A Modular Order-sorted Equational Generalization Algorithm

Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Elsevier, 2014-04)

Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...
Análisis de las cabeceras de programas de investigación y propuesta de diseño.

Otero Peña, Celia (Universitat Politècnica de València, 2021-10-25)

[ES] El presente trabajo final de máster tiene como objetivo el estudio del grafismo en las cabeceras de los programas de investigación españoles, concretamente los emitidos en La Sexta, para posteriormente presentar una ...
Innovation programs of the Royal Spanish Tennis Federation

Crespo, Miguel; Botella-Carrubi, Dolores; Jabaloyes Vivas, José Manuel (Elsevier, 2022-02)

[EN] This research studied the innovation programs implemented by the Spanish Tennis Federation (RFET) during the last four years. Innovation has been defined as the successful exploitation of new ideas. The research ...
Las necesidades formativas del profesorado universitario: un análisis desde el programa de formación docente de la Universidad de Santiago de Compostela

Jato Seijas, Elisa; Muñoz Cadavid, María Amalia; García Antelo, Beatriz (Universitat Politècnica de València, 2014-12-26)

[EN] The introduction and adaptation of European Higher Education Area (EHEA) has generated an increase in the interest towards studies about the analysis of teaching qualification needs for university teachers to improve ...
Los formatos televisivos de concurso en la audiencia actual: el éxito de Pasapalabra

Haba Torres, Sergio (Universitat Politècnica de València, 2024-09-09)

[ES] En los últimos años, la televisión ha evolucionado de forma constante multiplicando la oferta de contenidos y consiguiendo adaptarse a los gustos y demandas del público. En este contexto, el formato de concurso continúa ...
Metodología para la elaboración de los programas a implementar en autómatas programables. MEPUS

Diez Aznar, José Manuel; Montoya Villena, Rafael; Blasco Espinosa, Pedro Angel (Elsevier, 2016-09)

[EN] The aim of this paper is to present a methodology for the development of the user program to which we have called MEPUS (Methodology for Structuring the User Program by Jumping, in Spanish). This methodology eliminates ...