Recent Submissions

  • Juegos digitales desde el punto de vista de los professores : una experiencia didáctica en aulas primaria catalanas 

    Eguía Gómez, Jose Luis; Contreras Espinoza, Ruth Sofia; Solano Albajés, Lluís (2015-06-16)
    Article
    Open Access
    Este artículo presenta una experiencia didáctica centrada en la aplicación de un juego digital en las aulas catalanas de quinto y sexto grado de educación primaria. En él se explica y analizan los efectos de su aplicación ...
  • Leveraging online user feedback to improve statistical machine translation 

    Formiga, Lluís; Barrón-Cedeño, Alberto; Marquez, Lluis; Henriquez, Carlos A; Mariño Acebal, José Bernardo (2015-09-01)
    Article
    Open Access
    In this article we present a three-step methodology for dynamically improving a statistical machine translation (SMT) system by incorporating human feedback in the form of free edits on the system translations. We target ...
  • Enabling vehicular data with distributed machine learning 

    Chilipirea, Christian; Petre, Andreea-Cristina; Dobre, Ciprian M.; Pop, Florin; Xhafa Xhafa, Fatos (2015)
    Article
    Restricted access - publisher's policy
    Vehicular Data includes different facts and measurements made over a set of moving vehicles. Most of us use cars or public transportation for our work commute, daily routines and leisure. But, except of our destination, ...
  • On the complexity of exchanging 

    Molinero Albareda, Xavier; Olsen, Martin; Serna Iglesias, María José (2016-02-04)
    Article
    Restricted access - publisher's policy
    We analyze the computational complexity of the problem of deciding whether, for a given simple game, there exists the possibility of rearranging the participants in a set of j given losing coalitions into a set of j winning ...
  • Area-efficient snoopy-aware NoC design for high-performance chip multiprocessor systems 

    Roca Pérez, Antoni; Hernández Gañán, Carlos; Lodde, Mario; Flich Cardo, José (2015-07-01)
    Article
    Restricted access - publisher's policy
    Manycore CMP systems are expected to grow to tens or even hundreds of cores. In this paper we show that the effective co-design of both, the network-on-chip and the coherence protocol, improves performance and power meanwhile ...
  • High quality illustrative effects for molecular rendering 

    Hermosilla Casajús, Pedro; Guallar, Víctor; Vinacua Pla, Álvaro; Vázquez Alcocer, Pere Pau (2016-02)
    Article
    Restricted access - publisher's policy
    All-atom simulations are crucial in biotechnology. In Pharmacology, for example, molecular knowledge of protein-drug interactions is essential in the understanding of certain pathologies and in the development of improved ...
  • Immersive data comprehension: visualizing uncertainty in measurable models 

    Brunet Crosa, Pere; Andújar Gran, Carlos Antonio (2015-09-29)
    Article
    Open Access
    Recent advances in 3D scanning technologies have opened new possibilities in a broad range of applications including cultural heritage, medicine, civil engineering, and urban planning. Virtual Reality systems can provide ...
  • Liberating language research from dogmas of the 20th century 

    Ferrer Cancho, Ramon; Gómez Rodríguez, Carlos (2016-02-25)
    Article
    Open Access
    A commentary on the article “Large-scale evidence of dependency length minimization in 37 languages” by Futrell, Mahowald & Gibson (PNAS 2015 112 (33) 10336-10341).
  • On the process of building a process systems engineering ontology using a semi-automatic construction approach 

    Dombayci, Canan; Farreres de la Morena, Xavier; Rodríguez Hontoria, Horacio; Muñoz Mata, Edrisi; Capon Garcia, Elisabeth; Espuña Camarasa, Antonio; Graells Sobré, Moisès (2015-06)
    Article
    Open Access
    This work presents a novel systematic approach for the construction of domain ontologies. The suggested approach uses a semi-automatic construction methodology. For this study, parent-child concept pairs are taken from a ...
  • The computability path ordering 

    Blanqui, Frédéric; Jouannaud, Jean Pierre; Rubio Gimeno, Alberto (2015-10-26)
    Article
    Open Access
    This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability path ordering (CPO), a recursive relation ...

View more