Recent Submissions

  • Minimal representations for majority games 

    Freixas Bosch, Josep; Molinero Albareda, Xavier; Roura Ferret, Salvador (2007-02)
    External research report
    Open Access
    This paper presents some new results about majority games. Isbell (1959) was the first to find a majority game without a minimum normalized representation; he needed 12 voters to construct such a game. Since then, it has ...
  • Stars and celebrities: A network creation game 

    Álvarez Faura, M. del Carme; Blesa Aguilera, Maria Josep; Duch Brown, Amalia; Messegué Buisan, Arnau; Serna Iglesias, María José (2015)
    External research report
    Open Access
    Celebrity games, a new model of network creation games is introduced. The specific features of this model are that players have different celebrity weights and that a critical distance is taken into consideration. The aim ...
  • Modelling service-oriented computing with temporal symbolic graph transformation systems 

    Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José (2015-12-21)
    External research report
    Open Access
    In this paper, we present a novel semantics for an essential aspect of service-oriented computing: the mechanism through which systems evolve through a symbiosis of state transformations and run-time service discovery and ...
  • Adaptive clock with useful jitter 

    Cortadella Fortuny, Jordi; Lavagno, Luciano; López Muñoz, Pedro; Lupon Navazo, Marc; Moreno Vega, Alberto; Roca Pérez, Antoni; Sapatnekar, Sachin S. (2015-05-19)
    External research report
    Open Access
    The growing variability in nanoelectronic devices due to uncertainties from the manufacturing process and environmental conditions (power supply, temperature, aging) requires increasing design guardbands, forcing circuits ...
  • On the complexity of exchanging 

    Molinero Albareda, Xavier; Olsen, Martin; Serna Iglesias, María José (2015-03-24)
    External research report
    Open Access
    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 ...
  • Event-based real-time decomposed conformance analysis 

    vanden Broucke, Seppe; Muñoz Gama, Jorge; Carmona Vargas, Josep; Baesens, Bart; Vanthienen, Jan (2013-12-13)
    External research report
    Open Access
    Process mining deals with the extraction of knowledge from event logs. One important task within this research field is denoted as conformance checking, which aims to diagnose deviations and discrepancies between modeled ...
  • On the proper intervalization of colored caterpillar trees 

    Álvarez Faura, M. del Carme; Serna Iglesias, María José (2009-11-01)
    External research report
    Open Access
    This paper studies the computational complexity of the Proper interval colored graph problem (picg), when the input graph is a colored caterpillar, parameterized by hair length. In order prove our result we establish a ...
  • Sensor field: a computational model 

    Álvarez Faura, M. del Carme; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Serna Iglesias, María José (2009-09-23)
    External research report
    Open Access
    We introduce a formal model of computation for networks of tiny artifacts, the static synchronous sensor field model (SSSF) which considers that the devices communicate through a fixed communication graph and interact ...
  • Theoretical aspects of graph models for MANETS 

    Díaz Cort, Josep; Dieter Wilhelm, Mitsche; Santi, Paolo (2010-03-01)
    External research report
    Open Access
    We survey the main theoretical aspects of models for Mobile Ad Hoc Networks (MANETs). We present theoretical characterizations of mobile network structural properties, di erent dynamic graph models of MANETs, and nally ...
  • Maximum tolerance and maximum greatest tolerance 

    Freixas Bosch, Josep; Molinero Albareda, Xavier (2009-09-23)
    External research report
    Open Access
    An important consideration when applying neural networks is the sensitivity to weights and threshold in strict separating systems representing a linearly separable function. Two parameters have been introduced to ...

View more