Recent Submissions

  • Take the challenge: compute the CO2e emissions of your programming course 

    Gabarró Vallès, Joaquim; Blesa Aguilera, Maria Josep; Duch Brown, Amalia; Serna Iglesias, María José (Universitat Politècnica de València, 2023)
    Conference report
    Open Access
    Sustainability constraints ask for quick and drastic changes in the ways to teach at university. Here we study the amount of carbon emissions of lecturing a first course in programming. In addition to fix costs estimations, ...
  • The semantics of GQL-like path queries 

    Orejas Valdés, Fernando; Pino Blanco, Elvira (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2024)
    Conference report
    Open Access
    The success of graph databases (GDBs) has caused the development of several dozens of GDB products by companies like Neo4j, Oracle, Amazon, IBM or SAP. In parallel, several graph query languages have been designed for ...
  • Thresholds as mechanisms for weighting influence in the linear threshold rank 

    Blesa Aguilera, Maria Josep; Dominguez Besserer, Alejandro; Serna Iglesias, María José (Springer, 2024)
    Conference report
    Restricted access - publisher's policy
    Social networks are the natural space for the spreading of information and influence and have become a media themselves. Several models capturing that diffusion process have been proposed, most of them based on the Independent ...
  • MaxSAT resolution with inclusion redundancy 

    Bonacina, Ilario; Bonet Carbonell, M. Luisa; Lauria, Massimo (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024)
    Conference report
    Open Access
    Popular redundancy rules for SAT are not necessarily sound for MaxSAT. The works of [Bonacina-Bonet-Buss-Lauria’24] and [Ihalainen-Berg-Järvisalo’22] proposed ways to adapt them, but required specific encodings and more ...
  • Unbiased similarity estimators using samples 

    Martínez Parra, Conrado; Viola Deambrosis, Alfredo; Wang, Jun (Springer, 2023)
    Conference report
    Open Access
    Computing a similarity measure (or a distance) between two complex objects is a fundamental building block for a huge number of applications in a wide variety of domains. Since many tasks involve computing such similarities ...
  • 3D decision support tool for brain tumour surgery: the STRATUM Project 

    Fabelo Gómez, Himar; León Martín, Raquel; Torti, Emanuele; Marco Sola, Santiago; Verbers, Max; Falevoz, Yann; Ramallo Fariña, Yolanda; Weis, Christian; Cervero García, Teresa; Moretó Planas, Miquel (Institute of Electrical and Electronics Engineers (IEEE), 2024)
    Conference report
    Open Access
    Integrated digital diagnostics can support complex surgical procedures in many anatomical sites, brain tumour surgery being the most complex. STRATUM is a 5-year Horizon Europe funded project with the goal of developing ...
  • Theoretical and empirical analysis of cost-function merging for implicit hitting set WCSP solving 

    Larrosa Bondia, Francisco Javier; Martínez Parra, Conrado; Rollón Rico, Emma (AAAI Press, 2024)
    Conference report
    Restricted access - publisher's policy
    The Implicit Hitting Set (HS) approach has shown very effective for MaxSAT solving. However, only preliminary promising results have been obtained for the very similar Weighted CSP framework. In this paper we contribute ...
  • QUETZAL: Vector acceleration framework for modern genome sequence analysis algorithms 

    Pavón Rivera, Julián; Vargas Valdivieso, Ivan; Rojas Morales, Carlos; Hernández Calderón, César Alejandro; Aslan, Mehmet; Figueras Bagué, Roger; Yuan, Yichao; Lindegger, Joël; Alser, Mohammed; Moll Echeto, Francisco de Borja; Marco Sola, Santiago; Ergin, Oguz; Talati, Nishil; Mutlu, Onur; Unsal, Osman Sabri; Valero Cortés, Mateo; Cristal Kestelman, Adrián (Institute of Electrical and Electronics Engineers (IEEE), 2024)
    Conference report
    Open Access
    Genome sequence analysis is fundamental to medical breakthroughs such as developing vaccines, enabling genome editing, and facilitating personalized medicine. The exponentially expanding sequencing datasets and complexity ...
  • 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 ...

View more