Search Results - "Barcelo, Pablo"

Regularizing conjunctive features for classification by Barceló, Pablo, Baumgartner, Alexander, Dalmau, Victor, Kimelfeld, Benny

“…We consider the feature-generation task wherein we are given a database with entities labeled as positive and negative examples, and we want to find feature…”
Get full text

On the expressiveness of Lara: A proposal for unifying linear and relational algebra by Barceló, Pablo, Higuera, Nelson, Pérez, Jorge, Subercaseaux, Bernardo

“…We study the expressive power of the Lara language – a recently proposed unified model for expressing relational and linear algebra operations – both in terms…”
Get full text

Bisimulations on Data Graphs by Abriola, Sergio, Barceló, Pablo, Figueira, Diego, Figueira, Santiago

“…Bisimulation provides structural conditions to characterize indistinguishability from an external observer between nodes on labeled graphs. It is a fundamental…”
Get full text

Ultrasound classification of traumatic distal biceps brachii tendon injuries by de la Fuente, Javier, Blasi, Marc, Martínez, Sílvia, Barceló, Pablo, Cachán, Carlos, Miguel, Maribel, Pedret, Carles

“…Objective The present work is aimed at analysing ultrasound findings in patients with distal biceps brachii tendon (DBBT) injuries to assess the sensitivity of…”
Get full text

Special Issue on Database Theory by Barceló, Pablo, Calautti, Marco

Get full text

On the data complexity of consistent query answering over graph databases by Barceló, Pablo, Fontaine, Gaëlle

“…•The data complexity of consistent query answering over graph databases is studied.•Queries and constraints are based on conjunctive regular path queries…”
Get full text

A More General Theory of Static Approximations for Conjunctive Queries by Barceló, Pablo, Romero, Miguel, Zeume, Thomas

“…Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. Approximating a hard CQ by a query from such a…”
Get full text

Parameterized regular expressions and their languages by Barceló, Pablo, Reutter, Juan, Libkin, Leonid

“…We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such…”
Get full text

Order-Invariant Types and Their Applications by Barcelo, Pablo, Libkin, Leonid

“…Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in…”
Get full text

The homomorphism problem for regular graph patterns by Romero, Miguel, Barcelo, Pablo, Vardi, Moshe Y.

“…The evaluation of conjunctive regular path queries - which form the navigational core of the query languages for graph databases - raises challenges in the…”
Get full text

Solutions and query rewriting in data exchange by Arenas, Marcelo, Barceló, Pablo, Fagin, Ronald, Libkin, Leonid

“…Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema. Given a source instance, there may be…”
Get full text

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries by Arenas, Marcelo, Barceló, Pablo, Reutter, Juan

“…The class of unions of conjunctive queries ( UCQ ) has been shown to be particularly well-behaved for data exchange; its certain answers can be computed in…”
Get full text

First-Order and Temporal Logics for Nested Words by Alur, Rajeev, Arenas, Marcelo, Barcelo, Pablo, Etessami, Kousha, Immerman, Neil, Libkin, Leonid

“…Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also…”
Get full text

Isolated Tears of the Gracilis Muscle by Pedret, Carles, Balius, Ramon, Barceló, Pablo, Miguel, Maribel, Lluís, Anna, Valle, Xavier, Gougoulias, Nikolaos, Malliaropoulos, Nikolaos, Maffulli, Nicola

“…Background: Although posterior thigh muscle strains are common in athletes, there are no reports regarding isolated gracilis muscle injuries. The authors…”
Get full text

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization by Arenas, Marcelo, Barceló, Pablo, Libkin, Leonid

“…Nested words provide a natural model of runs of programs with recursive procedure calls. The usual connection between monadic second-order logic (MSO) and…”
Get full text

Expressive Path Queries on Graph with Data by Barcelo, Pablo, Fontaine, Gaelle, Lin, Anthony Widjaja

“…Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages…”
Get full text

Graph Logics with Rational Relations by Barcelo, Pablo, Figueira, Diego, Libkin, Leonid

“…We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for…”
Get full text

Graph Logics with Rational Relations and the Generalized Intersection Problem by Barcelo, P., Figueira, D., Libkin, L.

“…We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for…”
Get full text

Game-based notions of locality over finite models by Arenas, Marcelo, Barceló, Pablo, Libkin, Leonid

“…Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighbourhood of its…”
Get full text

First-Order and Temporal Logics for Nested Words by Alur, R., Arenas, M., Barcelo, P., Etessami, K., Immerman, N., Libkin, L.

“…Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also…”
Get full text