Recent Submissions

  • Some subsystems of constant-depth Frege with parity 

    Garlik, Michal; Kolodziejczyk, Andrzej (2018-11)
    Article
    Open Access
    We consider three relatively strong families of subsystems of AC0[2]-Frege proof systems, i.e., propositional proof systems using constant-depth formulas with an additional parity connective, for which exponential lower ...
  • A tour in process mining: from practice to algorithmic challenges 

    Van der Aalst, Wil M.P.; Carmona Vargas, Josep; Chatain, Thomas; Dongen, Boudewijn F. van (2019-11-01)
    Article
    Open Access
    Process mining seeks the confrontation between modeled behavior and observed behavior. In recent years, process mining techniques managed to bridge the gap between traditional model-based process analysis (e.g., simulation ...
  • Definable inapproximability: new challenges for duplicator 

    Atserias, Albert; Dawar, Anuj (2019)
    Article
    Open Access
    We consider the hardness of approximation of optimization problems from the point of view of definability. For many NP-hard optimization problems it is known that, unless P=NP, no polynomial-time algorithm can give an ...
  • Bridging the gap between energy consumption and distribution through non-technical loss detection 

    Coma Puig, Bernat; Carmona Vargas, Josep (2019-05-01)
    Article
    Open Access
    The application of Artificial Intelligence techniques in industry equips companies with new essential tools to improve their principal processes. This is especially true for energy companies, as they have the opportunity, ...
  • Distance-uniform graphs with large diameter 

    Lavrov, Mikhail; Loh, Po-Shen; Messegué Buisan, Arnau (2019-06-01)
    Article
    Open Access
    An ϵ-distance-uniform graph is one with a critical distance d such that from every vertex, all but at most an ϵ-fraction of the remaining vertices are at distance exactly d. Motivated by the theory of network creation ...
  • 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
    Open Access
    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 ...

View more