Ponències/Comunicacions de congressos
Recent Submissions
-
Take the challenge: compute the CO2e emissions of your programming course
(Universitat Politècnica de València, 2023)
Conference report
Open AccessSustainability 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
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2024)
Conference report
Open AccessThe 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
(Springer, 2024)
Conference report
Restricted access - publisher's policySocial 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
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024)
Conference report
Open AccessPopular 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
(Springer, 2023)
Conference report
Open AccessComputing 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
(Institute of Electrical and Electronics Engineers (IEEE), 2024)
Conference report
Open AccessIntegrated 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
(AAAI Press, 2024)
Conference report
Restricted access - publisher's policyThe 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
(Institute of Electrical and Electronics Engineers (IEEE), 2024)
Conference report
Open AccessGenome 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
(SciTePress, 2024)
Conference report
Open AccessIn 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
(SciTePress, 2024)
Conference lecture
Open AccessEvery 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
(Institute of Electrical and Electronics Engineers (IEEE), 2023)
Conference report
Open AccessThis 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
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
Conference report
Open AccessMaxSAT 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 ...