Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Logic"

Mostrando ítems 1-12 de 12

A conditional slicing tool for Maude

Sapiña Sanchis, Julia (Universitat Politècnica de València, 2012-10-02)

In this work we develop Julienne, an online trace slicer for the high performance rewriting logic language Maude. Trace slicing is a widely used technique for execution trace analysis that is effectively used in program ...
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 ...
A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms

Alpuente Frasnedo, María; Cuenca-Ortega, Angel Eduardo; Escobar Román, Santiago; Meseguer, José (Elsevier, 2020-01)

[EN] Partial evaluation is a powerful and general program optimization technique with many successful applications. Existing PE schemes do not apply to expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ...
Creación del grafismo para corto animado "Uróboros, el eterno retorno"

RODRIGUEZ RODRIGUEZ, OMAR (Universitat Politècnica de València, 2014-12-16)

Este es un proyecto profesional para el Máster de Postproducción Digital de la Universidad Politécnica de Valencia, en el que se explica el proceso para la creación del grafismo de un corto, basándose en las exigencias y ...
Diseño e implementación de una herramienta para visualizar la ejecución de un programa Prolog

Talens Ferrer, Pascual José (Universitat Politècnica de València, 2022-09-15)

[ES] El presente documento presenta el desarrollo de una interfaz Java que, junto con un intérprete Prolog integrado, permite visualizar una explicación de la ejecución de este tipo de programas lógicos. Para utilizar ...
Fuzzy metrics and fuzzy logic for colour image filtering

Morillas Gómez, Samuel (Universitat Politècnica de València, 2008-05-06)

El filtrado de imagen es una tarea fundamental para la mayoría de los sistemas de visión por computador cuando las imágenes se usan para análisis automático o, incluso, para inspección humana. De hecho, la presencia de ...
Logic-based techniques for program analysis and specification synthesis

Feliú Gabaldón, Marco Antonio (Universitat Politècnica de València, 2013-11-19)

La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma ...
Ludwig Wittgenstein. Itinerari arquitectònic d’un filòsof analític

García Nofuentes, Juan Francisco; Molinero Sánchez, Jorge Gabriel; Martínez Ramos e Iruela, Roser (Universitat Politècnica de València, 2021-11-30)

[EN] The architectural condition and its connotations in other areas of culture, such as analytical philosophy, is a challenge that can be observed through the figure of the intellectual from 19th century Vienna, Ludwig ...
Photonic logic-gates: boosting all-optical header processing in future packet-switched networks

Martínez Canet, Josep Manuel (Universitat Politècnica de València, 2008-05-06)

Las redes ópticas de paquetes se han convertido en los últimos años en uno de los temas de vanguardia en el campo de las tecnologías de comunicaciones. El procesado de cabeceras es una de las funciones más importantes que ...
Programming. Logic with Facilino

Armesto Ángel, Leopoldo (Universitat Politècnica de València, 2019-07-15)

In this video, we introduce how to use logic instructions with Facilino
Single cigar-shaped nanopores functionalized with amphoteric amino acid chains: experimental and theoretical characterization

Ali, Mubarak; Ramirez Hoyos, Patricio; Nguyen, Hung Quoc; Nasir, Saima; Cervera, Javier; Mafe, Salvador; Ensinger, Wolfgang (American Chemical Society, 2012)

We present an experimental and theoretical characterization of single cigar-shaped nanopores with pH-responsive carboxylic acid and lysine chains functionalized on the pore surface. The nanopore characterization includes ...
Soft computing methods for personnel selection based on the valuation of competences

Canós-Darós, Lourdes; Casasús Estellés, Trinidad; Liern, V.; Pérez, Juan Carlos (Wiley-Blackwell, 2014-12)

Personnel selection based on candidates competences is a difficult task due to the imprecise description of the applicants competences and to the existence of several experts simultaneously evaluating those attributes. ...