- -

Añadidos recientemente

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Departamento Sistemas Informáticos y Computación (DSIC): Enviados recientemente

  • thumb
    EEG-based biomarkers and emotional response to the Ultimatum Game 
    V. Botti; Y Gomez; V. Martinez; J. Vila (Universitat Politècnica de València, 2014-10-15)
    This paper presents a basic neuro-experiment to explore the possibility of the application of EEG-based biomarkers to analyze emotional response to the ultimatum game. Using a basic EEG registration tool (Emotiv EPOC ...
  • thumb
    On the evaluation of matrix polynomials using several GPGPUs 
    Alonso Jordá, Pedro; Boratto, Murilo; Peinado Pinilla, Jesús; Ibáñez González, Jacinto Javier; Sastre Martinez, Jorge (Universitat Politècnica de València, 2014-09-15)
    Computing a matrix polynomial is the basic process in the calculation of functions of matrices by the Taylor method. One of the most efficient techniques for computing matrix polynomials is based on the Paterson– Stockmeyer ...
  • thumb
    Extending a BDI agents' architecture with open emotional components 
    Alfonso Espinosa, Bexy; Vivancos Rubio, Emilio; Botti Navarro, Vicente Juan (Universitat Politècnica de València, 2014-07)
    Recently an increasing amount of research focuses on improving agents believability by adding affective features to its traditional modeling. This is probably due to the demands of reaching ever more realistic behaviors ...
  • thumb
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version) 
    Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José (Universitat Politècnica de València, 2014-07-16)
    Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers ...
  • thumb
    Abstract Diagnosis for tccp using a Linear Temporal Logic 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2014-02-15)
    Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior ...