Recent Submissions

  • Diabetic retinopathy prediction from OCTA-based vessel tortuosity metrics using machine learning 

    Guijarro Heeb, Torben; Zarranz Ventura, Javier; Romero Merino, Enrique; Vellido Alcacena, Alfredo (2024)
    Conference report
    Restricted access - publisher's policy
    Optical 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 

    Oliva Felipe, Luis Javier; Lobo, Inês; Mckinlay, Jack; Dignum, Frank; de Vos, Marina; Cortés García, Claudio Ulises; Cortés Martínez, Atia (Springer, 2024)
    Conference report
    Restricted access - publisher's policy
    Values 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 

    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 ...
  • Evaluating the suitability of long document embeddings for classification tasks: a comparative analysis 

    Rafieian, Bardia; Vázquez Alcocer, Pere Pau (SciTePress, 2024)
    Conference report
    Open Access
    Long 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 

    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 ...
  • A data-driven approach for risk exposure analysis in enterprise security 

    Calvo Ibáñez, Albert; Escuder Folch, Santiago; Escrig Escrig, Josep; Arias Vicente, Marta; Ortiz Rabella, Nil; Guijarro Olivares, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2023)
    Conference report
    Restricted access - publisher's policy
    For 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 

    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 ...
  • Coinductive techniques for checking satisfiability of generalized nested conditions 

    Stoltenow, Lara; König, Barbara; Schneider, Sven; Corradini, Andrea; Lambers, Leen; Orejas Valdés, Fernando (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024)
    Conference report
    Open Access
    We 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 

    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 ...
  • Game level design to evoke spatial exploration: The influence of a secondary task 

    Acevedo, Pedro; Choi, Minsoo; Liu, Huimin; Kao, Dominic; Mousas, Christos (Association for Computing Machinery (ACM), 2024)
    Conference report
    Open Access
    In 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 

    Petrova, Aleksandra; Larrosa Bondia, Francisco Javier (Springer, 2023)
    Conference report
    Open Access
    Decomposition 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 ...

View more