Formal XAI is an emerging field that focuses on providing explanations with mathematical guarantees for the decisions made by machine learning models. A significant amount of work in this area is cent...

Using extensive data sources to create foundation language models has revolutionized the performance of deep learning-based architectures. This remarkable improvement has led to state-of-the-art resul...

The tension between health and economic considerations regarding COVID-19 has resulted in a framing contest, in which proponents and adversaries of strong containment measures hold oppositional frames...

Importance Diabetes is associated with emotional distress and poor mental health, especially for individuals with low income, hindering patients' ability to manage their condition. The health care s...

Current static verification techniques such as separation logic support a wide range of programs. However, such techniques only support complete and detailed specifications, which places an undue burdensome...

News consumption and voting behavior are interlinked and particularly important in elections where traditional political cleavages are not easily applicable. This relationship becomes more complex and...

Introduction The RedETS horizon scanning (HS) program in Spain is focused on identifying non-pharmaceutical emerging health technologies. HS is organized in three steps: (i) identification using diffe...

This Summary for Policymakers provides a high-level précis of the Synthesis Report Towards A Global AI Auditing Framework: Assessment and Recommendations. The growing integration of artificial intell...

The TempWeb workshop (series) is an established co-located event at The Web Conference that aims at bringing together researchers and practitioners across various domains, taking the constantly evolving and evolving...

Motivation: The standard approach for plane reformatting in 4D flow MRI is manual, leading to time-consuming and user-dependent results. Goal(s): Our goal was to enhance plane reformatting in 4D flow ...

Probabilistic circuits (PCs) is a unifying representation for probabilistic models that support tractable inference. Numerous applications of PCs like controllable text generation depend on the abilit...

The set of answers to a query may be very large, potentially overwhelming users when presented with the entire set. In such cases, presenting only a small subset of the answers to the user may be pref...

Hierarchical conjunctive queries (HCQ) are a subclass of conjunctive queries (CQ) with robust algorithmic properties. Among others, Berkholz, Keppeler, and Schweikardt have shown that HCQ is the subcl...

The global information environment is under great pressure. How do experts around the world perceive the features of and threats to the information environment in the countries they study? In June 202...

An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the 'Save PDF' action ...

We tackle the challenge of conducting an approximate prefix search within datasets of strings. We explore using a bit-parallelism technique to compute the edit distance between distinct strings and il...

The formal XAI community has studied a plethora of interpretability queries aiming to understand the classifications made by decision trees. However, a more uniform understanding of what questions we ...

We consider the problem of computing the Maximal Exact Matches (MEMs) of a given pattern \(P[1\mathinner{... }m]\(T[1\mathinner{... }n]\ on a large repetitive text collection \(T[1\mathinner{... }n]\ over an alphabet of siz...

Some of the most relevant document schemas used online, such as XML and JSON, have a nested format. In the last decade, the task of extracting data from nested documents over streams has become especially important....

Data stories are sequences of data facts connected through a meaningful narrative and combine data visualizations and storytelling to convey information effectively. They have gained popularity due to...

Attribution scores reflect how important the feature values in an input entity are for the output of a machine learning model. One of the most popular attribution scores is the SHAP score, which is an...

Programming language mechanisms with a type-directed semantics are nowadays common and widely used. Such mechanisms include gradual typing, type classes, implicits and intersection types with a merge ...

We study the problem of evaluating a Monadic Second Order (MSO) query over strings under updates in the setting of direct access. We present an algorithm that, given an MSO query with first-order free...

The $r$-index represented a breakthrough in compressed indexing of repetitive text collections, outperforming its alternatives by orders of magnitude in query time. Its space usage, $O(r)$ where $r$ i...

We present a study and comparison of computer vision methods for the task of finding repetitive motifs in ancient Peruvian pottery. Under this context, the main difficulties for solving the task are t...

The global information environment is under significant pressure from the development of new technologies and shifting public policies. How do experts around the world perceive the varied features of,...

We summarize the goals of the Responsible AI day, giving a glimpse on the program as well as a short biography of the organizers.

<title>Abstract</title> <bold>Background</bold>. Previous evidence has shown that both the T-cell response and the microbiota play fundamental roles on the development of Parkinson's Disease (PD), whi...

Indexed inductive types are essential in dependently-typed programming languages, enabling precise and expressive specifications of data structures and properties. Recognizing that programming and pro...

We combine Nishimoto and Tabei's move structure with a wavelet tree to show how, if $T [1..n]$ is over a constant-sized alphabet and its Burrows-Wheeler Transform (BWT) consists of $r$ runs, then we c...

Abstract Well-being is increasingly recognized as a key element to foster within higher education. In this context, our institution-a prominent engineering school in Latin America-has created the ...

Abstract This is a work-in-progress about student workload. Over the past two decades, practitioners and researchers have shown concern for student workload within engineering programs. Since the late...

Abstract Sense of purpose in life is related to actively choosing to work for the benefit of society and has been recognized as a key influencer of well-being which in turn has been established to be ...

Abstract ChatGPT, a chatbot which produces text with remarkable coherence, is leading higher education institutions to question the relevance of the current model of engineering education and, particu...

Hierarchical conjunctive queries (HCQ) are a subclass of conjunctive queries (CQ) with robust algorithmic properties. Among others, Berkholz, Keppeler, and Schweikardt have shown that HCQ is the subcl...

A recent surprising result in the implementation of worst-case-optimal (wco) multijoins in graph databases (specifically, basic graph patterns) is that they can be supported on graph representations t...

Human-AI coevolution, defined as a process in which humans and AI algorithms continuously influence each other, increasingly characterizes our society, but is understudied in artificial intelligence a...

This Synthesis Report is a literature review outlining the regulatory, industry, and academic approaches to AI audits. We review 78 articles published in peer-reviewed journals and as preprints, 21 do...

Abstract Introduction Public opinion studies have traditionally relied on survey analyses. However, a qualitative approach is needed to address opinion formation's multidimensional and contextual natu...

Bibliometrics is a research field that studies quantitatively the bibliographic material. This study analyzes the academic research developed in Latin America in economics between 1994 and 2013. The a...

Despite the high creation cost, annotated corpora are indispensable for robust natural language processing systems. In the clinical field, in addition to annotating medical entities, corpus creators can also annotate...

Abstract Temporal graphs represent interactions between entities over time. Deciding whether entities can reach each other through temporal paths is useful for various applications such as in communic...

Abstract This study examines the relationship between ethnic endogamy and socioeconomic status (SES) within the socioeconomically divergent Jewish and Native-Chilean Mapuche communities of Santiago,...

Early or late pubertal onset can lead to disease in adulthood, including cancer, obesity, type 2 diabetes, metabolic disorders, bone fractures, and psychopathologies. Thus, knowing the age at which pubertal...

Graph databases are gaining momentum thanks to the flexibility and expressiveness of their data model and query languages. A standardization activity driven by the ISO/IEC standardization body is also...

This is an edited version of the author's keynote address at the opening of the UNESCO World Press Freedom Day 2024 Academic Conference organized by the Universi...

For taxonomic classification, we are asked to index the genomes in a phylogenetic tree such that later, given a DNA read, we can quickly choose a small subtree likely to contain the genome from which ...

Image and multimodal machine learning tasks are very challenging to solve in the case of poorly distributed data. In particular, data availability and privacy restrictions exacerbate these hurdles in ...

We present a broad characterization of gender representation in a large heterogeneous sample of retail products. In particular, we study online product textual information, such as titles and descript...

A well-known approach to solving Multi-Agent Path Finding (MAPF) optimally is compilation to Boolean Satisfiability or Answer Set Programming (ASP). Such compilation-based approaches are superior to o...

Bi-objective search requires computing a Pareto solution set which contains a set of paths. In real-world applications, Pareto solution sets may contain several tens or even hundreds of solutions. For...

We introduce a data structure for counting pattern occurrences in texts compressed with any run-length context-free grammar. Our structure uses space proportional to the grammar size and counts the oc...

The tutorial provides an in-depth overview of recent advances in algorithms and data structures for processing graph database queries. The focus will be on scalable algorithms that have been demonstra...

Current knowledge graphs encompass diverse data formats, including images, text, tables, audio files, and videos. Additionally, the graph database ecosystem is required to support multiple co-existing...

In this demonstration we showcase REmatch, a regular expression (RegEx) engine built to find all matches of a given pattern in a document. REmatch is based on the theory of enumeration algorithms, and...

Machine learning (ML), particularly deep learning, is being used everywhere. However, it is not always applied well or has ethical and/or scientific issues. In this keynote we first do a deep dive in the...

In recent years, there has been a growing interest in developing methods to explain individual predictions made by machine learning models. This has led to the development of various notions of explan...

We present a theoretical framework for the extraction and transformation of text documents. We propose to use a two-phase process where the first phase extracts span-tuples from a document, and the second phase extracts...

The widespread use of machine learning and data-driven algorithms for decision making has been steadily increasing over many years. The areas in which this is happening are diverse: healthcare, employ...

Modern graph database query languages such as GQL, SQL/PGQ, and Cypher allow regular path queries to return entire paths, as opposed to only their endpoints. This is challenging for query evaluation, ...

The TempWeb workshop series is an established co-located event at The Web Conference that aims at bringing together researchers and practitioners across various domains. Naturally, submissions address...

With the upcoming AI regulations (e.g., EU AI Act) and rapid advancements in generative AI, new challenges emerge in the area of Human-Centered Responsible Artificial Intelligence (HCR-AI). As AI beco...

Abstract This analytical essay proposes the notion of disjointed polarization to characterize the nature of polarization in contemporary Chile. In disjointed polarization, elite-level polarization doe...

Reliably processing and interlinking medical information has been recognized as a critical foundation to the digital transformation of medical workflows, and despite the development of medical ontolog...

This paper introduces SpatialCluster, a Python library developed for clustering urban areas using geolocated data. The library integrates a range of methods for urban clustering, including Deep Modula...

It was recently proved that any Straight-Line Program (SLP) generating a given string can be transformed in linear time into an equivalent balanced SLP of the same asymptotic size. We generalize this ...

Prior misinformation research often lacks comparisons with the processing of true information and specifically focuses on the dangers of right-wing or conservative misinformation. By employing a signa...

To explain the participatory effects of news exposure, communication scholars have long relied upon the "virtuous circle" framework of media use and civic participation. That is, news consumption ...

MONI (Rossi et al.,

We consider the problem of maintaining a collection of strings while efficiently supporting splits and concatenations on them, as well as comparing two substrings, and computing the longest common pre...

Abstract The rise of bots that mimic human behavior represents one of the most pressing threats to healthy information environments on social media. Many bots are designed to increase the visibility o...

Despite consistently yielding the best compression on repetitive text collections, the Lempel-Ziv parsing has resisted all attempts at offering relevant guarantees on the cost to access an arbitrary s...

We extend the concept of worst-case optimal equijoins in graph databases to the case where some nodes are required to be within the k-nearest neighbors (kNN) of others under some similarity function. ...

The SPARQL standard provides operators to retrieve exact matches on data, such as graph patterns, filters and grouping. This work proposes and evaluates two new algebraic operators for SPARQL 1.1 that...

StandUp Reports play an important role in capstone software engineering courses, facilitating progress tracking, obstacle identification, and team collaboration. However, despite their significance, their...

In the first part of this tutorial we define responsible AI and we discuss the problems embedded in terms like ethical or trustworthy AI. In the second part, to set the stage, we cover irresponsible A...

This study analyzes the discourse of reporters, editors and audiences in focus groups and in-depth interviews, examining the expectations on journalists when facing misinformation. While both groups a...

We present the theoretical foundations and first experimental study of a new approach in centrality measures for graph data. The main principle is straightforward: the more relevant subgraphs around a...

His research focuses on areas of automated reasoning in Artificial Intelligence; specifically, automated planning, search and knowledge representation.currently his research focuses on understanding how to...

We explore an extension to straight-line programs (SLPs) that outperforms, for some text families, the measure $delta$ based on substring complexity, a lower bound for most measures and compressors....

GraCT and ContaCT were the first compressed data structures to represent object trajectories, demonstrating that it was possible to use orders of magnitude less space than classical indexes while staying...

We present an indexing scheme for triple-based graphs that supports join queries in worst-case optimal (wco) time within compact space. This scheme, called a ring , regards each triple as a cyclic str...

Abstract Since the covid pandemic, some higher education institutions have promoted a flexible evaluation approach for students who face a variety of problems. Instructors willing to implement such fl...

Abstract A long tradition of studies in both psychology and sociology has shown that social ties have positive effects on mental well-being of both the population in general and in educational context....

Link prediction with knowledge graphs has been thoroughly studied in graph machine learning, leading to a rich landscape of graph neural network architectures with successful applications. Nonetheless...

Abstract This Work-in-Progress (WIP) aims to explore differences in engineering students' sense of belonging. By sense of belonging, researchers have referred to the feeling of mattering to a communit...

A critical task in oncology is extracting information related to cancer metastasis from electronic health records. Metastasis-related information is crucial for planning treatment, evaluating patient ...

<title>Abstract</title> Despite the high creation cost, annotated corpora are indispensable for robust natural language processing systems. In the clinical field, apart from annotating medical entitie...

We introduce SCIO*, a formally secure compilation framework for statically verified programs performing input-output (IO). The source language is an F* subset in which a verified program interacts wit...

The continuous fusion of artificial intelligence (AI) and autonomous farming machinery (e.g., drones and field robots) provides a significant shift in the daily work experience of farmers. Faced with ...

Software assistants have significantly impacted software development for both practitioners and students, particularly in capstone projects. The effectiveness of these tools varies based on their know...

Attribution scores reflect how important the feature values in an input entity are for the output of a machine learning model. One of the most popular attribution scores is the SHAP score, which is an...

Abstract Studies on misinformation often overlook people's assessment of true information, focusing instead on beliefs in and sharing of false content. This is problematic, as it limits scholars' ...

Abstract A database is an essential component in almost any software system, and its creation involves more than just data modeling and schema design. It also includes query optimization and tuning. T...

Graph serialization is a critical aspect of advancing graph-oriented systems and applications. Despite the importance of standardized serialization for property graphs, there is a lack of a universal ...

Path querying refers to the evaluation of path queries in a graph database. New research in this topic is crucial for the development of graph database systems as path queries are associated with rele...

AI is rapidly becoming essential in various industries, raising societal expectations. AI's societal consequences include impacts on mental health; misinformation; workforce displacement; and economic...