Recent Submissions

  • 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 ...
  • Weighted games without a unique minimal representation in integers 

    Freixas Bosch, Josep; Molinero Albareda, Xavier (2009)
    External research report
    Restricted access - author's decision
    Recerca de jocs amb mínim número de jugadors sense representacions enteres mínimes o mínimes normalitzades
  • On the complexity of problems on simple games 

    Freixas Bosch, Josep; Molinero Albareda, Xavier; Olsen, Martin; Serna Iglesias, María José (2009-10-08)
    External research report
    Open Access
    Simple games cover voting systems in which a single alternative, such as a bill or an amendment, is pitted against the status quo. A simple game or a yes–no voting system is a set of rules that specifies exactly ...
  • A Fibonacci sequence for linear structures with two types of components 

    Freixas Bosch, Josep; Molinero Albareda, Xavier; Roura Ferret, Salvador (2009-07-23)
    External research report
    Open Access
    We investigate binary voting systems with two types of voters and a hierarchy among the members in each type, so that members in one class have more influence or importance than members in the other class. The purpose ...

View more