Recursos de colección

RiuNet. Repositorio institucional de la Universitat de Valencia (72.956 recursos)

RiuNet es el Repositorio Institucional de la Universitat Politècnica de València, gestionado por la Biblioteca, cuyo objetivo es ofrecer acceso en Internet a la producción científica, académica y corporativa de la comunidad universitaria con la finalidad de aumentar su visibilidad y hacerla accesible y preservable.

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

Mostrando recursos 1 - 20 de 40

  1. Dataset of Tie and Tag: A Study of Tie Strength and Tags for Photo Sharing

    LÓPEZ FOGUÉS, RICARD
    Dataset of Tie and Tag: A Study of Tie Strength and Tags for Photo Sharing

  2. Designing an Affective Intelligent Agent on GenIA³

    Alfonso Espinosa, Bexy
    GenIA³ is a General-purpose Intelligent Affective Agent Architecture, which can be committed with specific psychological theories to create the design of the final agent. Intelligent affective agents can be implemented by using the default design of GenIA³. Also GenIA³ helps experts on fields like psychology or behavioral computing, to provide more precise and refined ways of describing each particular affective process, facilitating the abstraction from irrelevant implementation or design details, and offering a default design for the main processes. Nevertheless an extensive set of domains need to be tested in order to properly validate and refine GenIA³. In this work...

  3. Conceptual Schema of the Human Genome (CSHG)

    Pastor López, Oscar; Reyes Román, José Fabián; Valverde Giromé, Francisco
    Pastor López, O.; Reyes Román, JF.; Valverde Giromé, F. (2016). Conceptual Schema of the Human Genome (CSHG). http://hdl.handle.net/10251/67297.

  4. Toward a Systematic Development of Affective Intelligent Agents

    Alfonso Espinosa, Bexy; Vivancos Rubio, Emilio; Botti Navarro, Vicente Juan
    The representation of the knowledge that is used for the specification of affective processes in agents, is almost as diverse as number of approaches that have addressed this issue. This diversity is due, to a large extent, to the need of systematic guidelines and standards that support computer scientists on the creation of affective models and architectures. Our aim is to perform a further step towards the standardization of this process, in order to improve the creation and enhancement of affective agent languages, architectures, and models. We offer a method to build affective BDI (Beliefs, Desires, and Intentions) agents, adapted...

  5. Software for the Genetic Analysis Domain

    Villanueva Del Pozo, María José; Valverde Giromé, Francisco; Pastor López, Oscar
    In this report we overview the state of the art in software for genetic analysis, starting from software tools for genetic analysis, moving on to software tools for genomic analysis, and ending with bioinformatic pipeline development environments.

  6. DSL Development with Geneticists

    Villanueva Del Pozo, María José; Valverde Giromé, Francisco; Pastor López, Oscar
    This document is a proof of concept of the DSL development method proposed in the PhD of Maria Jose Villanueva, whose title is "An agile model-driven method for involving end-users in DSL develoment". This report explains in detail the artefacts created in the different stages of DSL development to develop a DSL for the genetic analysis domain.

  7. Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

    Gutiérrez Gil, Raúl; Lucas Alba, Salvador
    Context-sensitive rewriting (CSR) is a variant of rewriting where only selected arguments of function symbols can be rewritten. Consequently, the subterm positions of a term are classified as either active, i.e., positions of subterms that can be rewritten; or frozen, i.e., positions that cannot. Frozen positions can be used to denote subexpressions whose evaluation is delayed or just forbidden. A typical example is the if-then-else operator whose second and third arguments are not evaluated until the evaluation of the first argument yields either true or false. Imposing replacement restrictions can improve the termination behavior of rewriting-based computational systems. Termination of...

  8. Magentix 2 User's Manual

    Botti Navarro, Vicente Juan; Argente Villaplana, Estefanía; Alemany Bordera, Jose; BELLVER FAUS, JOAN; BÚRDALO RAPA, LUIS ANTONIO; Carrascosa Casamayor, Carlos; CRIADO PACHECO, NATALIA; de la fuente anuarbe, Miguel Ángel; Del Val Noguera, Elena; Esparcia García, Sergio; Espinosa Minguet, Agustín Rafael; García Fornes, Ana María; Garcia Marques, Mª Emilia; Rarcia Pardo Gimenez de lo sGalanes, Juna Ángel; Giret Boggino, Adriana Susana; Hérnandez López, Luís; Heras Barberá, Stella María; Jordán Prunera, Jaume Magí; Jorge Cano, Javier; Julian Inglada, Vicente Javier; LÓPEZ FOGUÉS, RICARD; MEJÍAS RODRÍGUEZ, JOSÉ MANUEL; Alberola Oltra, Juan Miguel; Such Oltra, José Miguel; MULET MENGUAL, LUIS; NAVARRO LLÁCER, MARTÍN; PAJARES FERRANDO, SERGIO; Palanca Cámara, Javier; Palomares Chust, Alberto; Pérez, Pedro; Rebollo Pedruelo, Miguel; RODRIGO SOLAZ, MARIO; Ruíz, José Vicente; Soler Bayona, José Vicente; Terrasa Barrena, Andrés Martín; Valero Cubas, Soledad
    USER’S MANUAL. Version 2.1.0. January 2015

  9. EEG-based biomarkers and emotional response to the Ultimatum Game

    V. Botti; Y Gomez; V. Martinez; J. Vila
    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 technology), the paper presents two EEG-based biomarkers (F8-EP and ALPHA8-AP) obtained from an evoked potential and accumulated power approaches, which seem to be related with the responder’s emotions when facing an unfair offer in the Ultimatum Game.

  10. 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
    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 method. Inspired by this method, we propose in this work a recursive algorithm and an efficient implementation that exploit the heterogeneous nature of current computers to evaluate large scale matrix polynomials is the shortest possible time. Heterogeneous computers are those which have any type of hardware accelerator(s). For these type of computers, we propose a method to easily implement efficient algorithms that use several hardware...

  11. Extending a BDI agents' architecture with open emotional components

    Alfonso Espinosa, Bexy; Vivancos Rubio, Emilio; Botti Navarro, Vicente Juan
    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 on agents simulations which extends to several and diverse applications fields. The present work proposes O3A: an Open Affective Agent Architecture, which extends a traditional BDI agent architecture improving a practical reasoning with more “human” characteristics. This architecture tries to address disperse definitions combining the main elements of supporting psychological and neurological theories.

  12. ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version)

    María Alpuente; Santiago Escobar; Javier Espert; José Meseguer
    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 (also called \anti-uni ers") of two structures in a typed language modulo a set of equational axioms. By supporting types and any combination of associativity (A), commutativity (C), and unity (U) algebraic axioms for function symbols, ACUOS allows reasoning about typed data structures, e.g. lists, trees, and (multi-)sets, and typical hierarchical/structural relations such as is a and part of. This paper discusses the modular ACU generalization tool ACUOS and illustrates its use in a classical arti ficial intelligence...

  13. Abstract Diagnosis for tccp using a Linear Temporal Logic

    COMINI, MARCO; Titolo, Laura; Villanueva García, Alicia
    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 of the program) to check if a given specification is valid. This implies that a part of the model has to be built, and some- times the needed fragment is quite huge. In this work, we provide an alternative automatic decision method to check whether a given property, specified in a linear temporal logic, is valid w.r.t. a tccp program. Our proposal (based on abstract interpreta- tion techniques)...

  14. A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

    COMINI, MARCO; Titolo, Laura; Villanueva García, Alicia
    In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short) which is defined for the full language. In particular, is able to deal with the non- monotonic characteristic of tccp, which constitutes a substantial addi- tional technical difficulty w.r.t. other compositional denotational seman- tics present in literature (which do not tackle the full language). The semantics is proved to be (correct and) fully abstract w.r.t. the full behavior of tccp, including infinite computations. This is particularly important since tccp has been defined to model reactive systems and they may not terminate with...

  15. mWater prototype #3 analysis and design

    Botti Navarro, Vicente Juan; Garrido Tejero, Antonio; Giret Boggino, Adriana Susana; Noriega, Pablo; Bexi, Alfonso
    In themWater case study prototype #3 it has been used Magentix2 [1, 24, 3, 22, 4, 17] (for more details on Magentix2 see WP7 Deliverables) as the MAS platform for supporting the execution of the MAS system. The platform follows the FIPA standards [14] offering a set of useful mechanisms for the agents to communicate and also tools to allow programming agents in a high level language based on the BDI model. Magentix2 is an open system which facilitates the interaction between heterogeneous agents through FIPA-ACL messages. Also complex interactions can be carried out in a flexible an open way as conversations. The platform offers special structures...

  16. mWater Prototype 3

    Botti Navarro, Vicente Juan; Garrido Tejero, Antonio; Giret Boggino, Adriana Susana; Noriega, P.; Gimeno, J.
    This report concerns the application of a regulated open Multi-Agent System (MAS), mWater, that uses intelligent agents to simulate a flexible water-right market. Our simulator focuses on demands and, in particular, on the type of regulatory (in terms of norms selection and agents behaviour), and market mechanisms that foster an efficient use of water while also trying to prevent conflicts among parties. In this scenario, a MAS plays a vital role as it allows us to define different norms, agents behaviour and roles, and assess their impact in the market, thus enhancing the quality and applicability of its results as a...

  17. mWater prototype review

    Botti Navarro, Vicente Juan; Garrido Tejero, Antonio; Giret Boggino, Adriana Susana; Noriega, Pablo
    This document reviews our current water policy-making decision-support framework, build on top of a regulated open Multi-Agent System (MAS),mWater [BGG+10, GGG+11], that models a flexible water-rights market. Our simulator focuses on the effect of regulations on demand and thus provides means to explore the interplay of norms and conventions that regulate trading (like trader eligibility conditions, tradeable features of rights, trading periods and price-fixing conventions), the assumptions about agent behaviour (individual preferences and risk attitude, or population profile mixtures) and market scenarios (water availability and use restrictions). A policy-maker would then assess the effects of those interactions by observing the evolution of the performance indicators (efficiency of use, price...

  18. mWater Analysis

    Botti Navarro, Vicente Juan; Garrido Tejero, Antonio; Giret Boggino, Adriana Susana; Igual, Francesc; Noriega, Pablo; Igual
    The mWater scenario requires the expression and use of regulations of different sorts: from actual laws and regulations issued by governments, to policies and local regulations issued by basin managers, to social norms that prevail in a given community of users. Some will be regimented as part of the electronic institutional framework specification, but others need to be expressed in a declarative form so that one may reason about them, both off- and on-line, both at design and at run time, and both from the institutional (or legislative) perspective and the agent's individual perspective. Issues that are relevant in this...

  19. mWater prototype #2 analysis and design

    Botti Navarro, Vicente Juan; Criado Pacheco, Natalia; Garrido Tejero, Antonio; Gimeno, J.A.; Giret Boggino, Adriana Susana; Noriega, Pablo
    mWater is a regulated open MAS that uses intelligent agents to manage a flexible water-right market. One of the main goals of mWater is to be used as a simulator to assist in decision-taking processes for policy makers. Our simulator focuses on demands and, in particular, on the type of regulatory (in terms of norms selection and agents behaviour), and market mechanisms that

  20. mWater prototype #3 review

    Garrido Tejero, Antonio; Botti Navarro, Vicente Juan; Giret Boggino, Adriana Susana; Alfonso Espinosa, Bexy; Noriega, Pablo
    mWater is a software demonstrator developed in the Agreement Technologies Project. It is a Multi-Agent System (MAS) application that implements a market for water rights, including the model and simulation of the water-right market itself, the basin, users, protocols, norms and grievance situations. mWater is motivated due to the fact that water scarcity is becoming a major concern in most countries, not only because it threatens the economic viability of current agricultural practices, but because it is likely to alter an already precarious balance among its different types of use.

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.