Recent Submissions

  • The neighborhood role in the linear threshold rank on social networks 

    Riquelme Csori, Fabián; Gonzalez Cantergiani, Pablo; Molinero Albareda, Xavier; Serna Iglesias, María José (2019-08-15)
    Article
    Restricted access - publisher's policy
    Centrality and influence spread are two of the most studied concepts in social network analysis. Several centrality measures, most of them, based on topological criteria, have been proposed and studied. In recent years new ...
  • Satellites in the prokaryote world 

    Subirana Torrent, Juan A.; Messeguer Peypoch, Xavier (2019-09-18)
    Article
    Open Access
    Background Satellites or tandem repeats are very abundant in many eukaryotic genomes. Occasionally they have been reported to be present in some prokaryotes, but to our knowledge there is no general comparative study ...
  • A balance index for phylogenetic trees based on rooted quartets 

    Martínez Coronado, Tomás; Mir Torres, Arnau; Rosselló Llompart, Francesc A.; Valiente Feruglio, Gabriel Alejandro (2019-06-17)
    Article
    Restricted access - publisher's policy
    We define a new balance index for rooted phylogenetic trees based on the symmetry of the evolutive history of every set of 4 leaves. This index makes sense for multifurcating trees and it can be computed in time linear in ...
  • Dynamic pipelining of multidimensional range queries 

    Duch Brown, Amalia; Lugosi, Daniel; Pasarella Sánchez, Ana Edelmira; Zoltan Torres, Ana Cristina (2019-06-07)
    Article
    Open Access
    The problem of evaluating orthogonal range queries efficiently has been studied widely in the data structures community. It has been common wisdom for several years that for queries containing more than 20% of the ...
  • Generalized satisfiability problems via operator assignments 

    Atserias, Albert; Kolaitis, Phokion; Severini, Simone (2019-09)
    Article
    Open Access
    Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in ...
  • Quasi-static scheduling of independent tasks for reactive systems 

    Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Passerone, Claudio; Watanabe, Yosinori (Springer, 2002-06)
    Article
    Open Access
    The synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by ...
  • Hardware and Petri nets: application to asynchronous circuit design 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (Springer, 2000-06)
    Article
    Open Access
    Asynchronous circuits is a discipline in which the theory of concurrency is applied to hardware design. This paper presents an overview of a design framework in which Petri nets are used as the main behavioral model for ...
  • Robustness to voltage noise with ring oscillator clocks 

    Machado, Lucas; Roca Pérez, Antoni; Cortadella, Jordi (2019-04)
    Article
    Open Access
    Voltage noise is the main source of dynamic variability in integrated circuits and a major concern for the design of power delivery networks (PDNs). Lower supply voltages were made possible with technology scaling, but ...
  • Relative entailment among probabilistic implications 

    Atserias, Albert; Balcázar Navarro, José Luis; Piceno Cabrera, Marie Ely (2019-02-06)
    Article
    Open Access
    We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective; the semantics of this sort ...
  • Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers 

    Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (1997-03)
    Article
    Open Access
    Petrify is a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition System (TS) it ...
  • Measuring satisfaction and power in influence based decision systems 

    Molinero Albareda, Xavier; Riquelme Csori, Fabián; Serna Iglesias, María José (2019-06-15)
    Article
    Restricted access - publisher's policy
    We introduce collective decision-making models associated with influence spread under the linear threshold model in social networks. We define the oblivious and the non-oblivious influence models. We also introduce the ...
  • A Tabu search algorithm for scheduling independent jobs in computational grids 

    Xhafa Xhafa, Fatos; Carretero Casado, Javier Sebastián; Dorronsoro, Bernabé; Alba, Enrique (2009)
    Article
    Open Access
    The efficient allocation of jobs to grid resources is indispensable for high performance grid-based applications, and it is a computationally hard problem even when there are no dependencies among jobs. We present in this ...

View more