Recent Submissions

  • Analytical study on typeface visual identification 

    Molinero Albareda, Xavier; Freixas Bosch, Josep; Tàpias Anton, Montserrat (SciTePress, 2024)
    Conference report
    Open Access
    In this study, our objective is to explore methodologies for the identification of diverse typefaces. Utilizing the gathered data, we conducted a thorough analysis of the outcomes, distinguishing between successes and ...
  • A proposal for an Educational Well-Being Index (EWI) for undergraduate course design 

    Blesa Aguilera, Maria Josep; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Serna Iglesias, María José (SciTePress, 2024)
    Conference lecture
    Open Access
    Every day it is more common to hear around us about the publication of studies, surveys or statistical results about the well-being of people, workers, women in a given country. Indeed, as university professors, our work ...
  • Seto: A framework for the decomposition of Petri nets and transition systems 

    Teren, Viktor; Cortadella, Jordi; Villa, Tiziano (Institute of Electrical and Electronics Engineers (IEEE), 2023)
    Conference report
    Open Access
    This paper presents an overview of different approaches, based on theory of regions, for Transition System and Petri net decomposition into a synchronous product of restricted subclasses of Petri nets. A decomposition ...
  • Polynomial calculus for MaxSAT 

    Bonacina, Ilario; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
    Conference report
    Open Access
    MaxSAT is the problem of finding an assignment satisfying the maximum number of clauses in a CNF formula. We consider a natural generalization of this problem to generic sets of polynomials and propose a weighted version ...
  • GMX: Instruction set extensions for fast, scalable, and efficient genome sequence alignment 

    Doblas Font, Max; Lostes Cazorla, Oscar; Aguado Puig, Quim; Cebry, Nicholas; Fontova Muste, Pau; Batten, Christopher; Marco Sola, Santiago; Moretó Planas, Miquel (Association for Computing Machinery (ACM), 2023)
    Conference report
    Open Access
    Sequence alignment remains a fundamental problem in computer science with practical applications ranging from pattern matching to computational biology. The ever-increasing volumes of genomic data produced by modern DNA ...
  • The K-Robinson Foulds measures for labeled trees 

    Khayatian, Elahe; Valiente Feruglio, Gabriel Alejandro; Zhang, Louxin (Springer, 2023)
    Conference report
    Open Access
    Investigating the mutational history of tumor cells is important for understanding the underlying mechanisms of cancer and its evolution. Now that the evolution of tumor cells is modeled using labeled trees, researchers ...
  • On the consistency of circuit lower bounds for non-deterministic time 

    Atserias, Albert; Buss, Sam; Müller, Moritz (Association for Computing Machinery (ACM), 2023)
    Conference report
    Open Access
    We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory ‍V20 is consistent with the conjecture ...
  • WFAsic: A high-performance ASIC accelerator for DNA sequence alignment on a RISC-V SoC 

    Haghi, Abbas; Álvarez Martí, Lluc; Fornt Mas, Jordi; Haro Ruiz, Juan Miguel de; Figueras Bagué, Roger; Doblas Font, Max; Marco Sola, Santiago; Moretó Planas, Miquel (Association for Computing Machinery (ACM), 2023)
    Conference report
    Open Access
    The ever-increasing yields in genome sequence data production pose a computational challenge to current genome sequence analysis tools, jeopardizing the future of personalized medicine. Leveraging hardware accelerators ...
  • An aggregation rule under uncertainty 

    Freixas Bosch, Josep (2023)
    Conference report
    Restricted access - publisher's policy
    Many decision-making situations require the evaluation of several agents or judges. In a situation where agents evaluate candidates, the question arises of how best to aggregate evaluations so as to compare the candidates. ...
  • Markov chains applied to Parrondo’s paradox: the coin tossing problem 

    Molinero Albareda, Xavier; Mégnien, Camille (2023)
    Conference report
    Open Access
    Parrondo’s paradox was introduced by Juan Parrondo in 1996. In game theory, this paradox is described as: A combination of losing strategies becomes a winning strategy. At first glance, this paradox is quite surprising, ...
  • How can graph databases and reasoning be combined and integrated? 

    Pasarella Sánchez, Ana Edelmira (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2022)
    Conference report
    Open Access
    Nowadays the graph data model has been accepted as one of the most suitable data models to formalize relationships among entities of many domains. Deductive databases based on the Datalog language have been used to deduce ...
  • Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets 

    Teren, Viktor; Cortadella, Jordi; Villa, Tiziano (Institute of Electrical and Electronics Engineers (IEEE), 2022)
    Conference report
    Open Access
    Petri nets and transition systems are two important formalisms used for modeling concurrent systems. One interesting problem in this domain is the creation of a Petri net with a reachability graph equivalent to a given ...

View more