Ponències/Comunicacions de congressos
Recent Submissions
-
Diabetic retinopathy prediction from OCTA-based vessel tortuosity metrics using machine learning
(2024)
Conference report
Restricted access - publisher's policyOptical Coherence Tomography Angiography (OCTA) has emerged in the last decade as a reference imaging technology that offers a non-invasive, rapid method for the detailed assessment of microvascular changes at the capillary ... -
Context matters: contextual value-based deliberation in water consumption scenarios
(Springer, 2024)
Conference report
Restricted access - publisher's policyValues and context are important in an agent’s decision-making process. Individuals may prioritise values differently, and changing context can also necessitate different considerations. In this paper, we use Schwartz’s ... -
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 ... -
Evaluating the suitability of long document embeddings for classification tasks: a comparative analysis
(SciTePress, 2024)
Conference report
Open AccessLong documents pose a significant challenge for natural language processing (NLP), which requires high-quality embeddings. Despite the numerous approaches that encompass both deep learning and machine learning methodologies, ... -
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 ... -
A data-driven approach for risk exposure analysis in enterprise security
(Institute of Electrical and Electronics Engineers (IEEE), 2023)
Conference report
Restricted access - publisher's policyFor several years, Security Operation Centers (SOCs) have relied on tools such as Security Information and Event Management (SIEM) and Intrusion Detection Systems (IDS) for reactive threat detection and risk management. ... -
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 ... -
Coinductive techniques for checking satisfiability of generalized nested conditions
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024)
Conference report
Open AccessWe study nested conditions, a generalization of first-order logic to a categorical setting, and provide a tableau-based (semi-decision) procedure for checking (un)satisfiability and finite model generation. This generalizes ... -
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 ... -
Game level design to evoke spatial exploration: The influence of a secondary task
(Association for Computing Machinery (ACM), 2024)
Conference report
Open AccessIn open-world games, focusing on triggering the spatial exploration of the environment is crucial for engaging player experiences. Triggering players’ spatial exploration can be achieved by evoking curiosity, a fundamental ... -
On learning when to decompose graphical models
(Springer, 2023)
Conference report
Open AccessDecomposition is a well-known algorithmic technique for Graphical Models. It is commonly believed that such a technique is cost-effective for instances with low width. In this paper, we show on a large data set of real-life ...