Barcel - PDFSEARCH.IO - Document Search Engine

Barcel
Results: 54

#	Item
41	Parameterized Regular Expressions and Their Languages Pablo Barcel´oa , Juan Reutterb , Leonid Libkinb a Department of Computer Science, University of Chile b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:09:44 Combinatorics Regular language Symbol String EXPSPACE Model theory Structure Regular expression FO Formal languages Theoretical computer science Mathematics
42	On Incomplete XML Documents with Integrity Constraints Pablo Barcel´ o1 , Leonid Libkin2 , and Juan Reutter2 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:03:34 Information Markup languages Technical communication XML P-complete Model theory B-tree Integrity constraints Relational database Computing Data Constraint programming
43	Graph Logics with Rational Relations and the Generalized Intersection Problem Pablo Barcel´o Diego Figueira Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:07:03 Formal languages Metalogic Computability theory Automata theory Model theory Structure Regular language Decision problem Reduction Theoretical computer science Mathematics Applied mathematics
44	Game-based Notions of Locality over Finite Models ∗ Marcelo Arenas Pablo Barcel´ o Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-11-22 07:28:18 Age Model theory FO Finite model theory
45	2nd GWOPA General Assembly - Call for new Steering Committee Members Barcelona, Spain on 29 November 2013 The 2nd General Assembly of the Global Water Operators’ Partnerships Alliance (GWOPA) will be convened in Barcel Add to Reading List Source URL: www.gwopa.org Language: English - Date: 2013-11-19 11:39:59 United Nations United Nations General Assembly observers OPEC OPEC Fund for International Development
46	Using XACML for access control in Social Networks Anna Carreras, Eva Rodríguez, Jaime Delgado Distributed Multimedia Applications Group (DMAG) Universitat Politècnica de Catalunya (UPC) Jordi Girona 1-3, E[removed]Barcel Add to Reading List Source URL: www.w3.org Language: English - Date: 2009-10-28 08:46:14 Telecommunications Information science Knowledge representation Technical communication Web services XACML Authorization Semantic interoperability Interoperability Computing Technology Information
47	Statistical Analysis of Compositional Data Statistical Analysis of Compositional Data Carles Barcel´ o Vidal Add to Reading List Source URL: ima.udg.edu Language: English - Date: 2005-10-17 11:15:00 Vectors Abstract algebra Compositional data Introductory physics Euclidean vector Vector space Vector Norm Sequence container Algebra Mathematics Linear algebra
48	Datalog as a Query Language for Data Exchange Systems Marcelo Arenas PUC Chile Joint work with Pablo Barcel´ Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:45:30 Datalog Data exchange Expressive power Database schema Conjunctive query Data integration Data management Data Information
49	Graph Logics with Rational Relations: The Role of Word Combinatorics Pablo Barcel´o Pablo Mu˜noz Add to Reading List Source URL: ciws.cl Language: English - Date: 2014-05-04 09:47:46 Combinatorics on words Theoretical computer science Structure Universal algebra Model theory Regular language String Nondeterministic finite automaton Admissible rule Formal languages Mathematics Automata theory
50	Locally Consistent Transformations and Query Answering in Data Exchange Marcelo Arenas U. of Toronto Pablo Barcel´ Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:45:30 Mathematics Logic Logic in computer science Mathematical logic Rewriting