Browsing by Author "XX676183"

Now showing items 1-20 of 34

    • A Type System For Global Model Management 
      Vignaga, Andrés (Universidad de ChileCyberDocs, 2011)
    • Adaptación de Algoritmos para Indexamiento de Espacios Multimétricos 
      Kreft Carreño, Sebastián Andrés (Universidad de ChilePrograma Cybertesis, 2009)
      Una de las operaciones más importantes en datos multimedia es la de buscar objetos similares entre sí. Para realizar esta búsqueda, es que se recurre al concepto de espacio métrico, el cual permite modelar la relación de ...
    • Bisimulations on data graphs 
      Abriola, Sergio; Barceló Baeza, Pablo; Figueira, Diego; Figueira, Santiago (AI Access Foundation, 2018)
      Bisimulation provides structural conditions to characterize indistinguishability from an external observer between nodes on labeled graphs. It is a fundamental notion used in many areas, such as verification, graph-structured ...
    • Buscador Semántico para Comercio Electrónico 
      Bilbao Bernales, Andrés Eduardo (Universidad de Chile, 2010)
    • Consultas eficientes sobre bases de datos de grafo incompletas 
      Carmi Jara, Víctor Andrés (Universidad de Chile, 2013)
      El principal objetivo de esta tesis es encontrar casos tratables y buenas técnicas para computar Certain Answers sobre bases de datos de grafos incompletas, en tiempo polinomial. Las bases de datos de grafos surgen ...
    • Customizable gradual effects for scala 
      Toro Ipinza, Matías (Universidad de Chile, 2015)
      Operaciones realizadas por un programa de computación pueden producir efectos. Efectos computacionales pueden ser definidos como operaciones que interactúan y que se comunican con su ambiente. Ejemplos de efectos son ...
    • Diesño e Implementación de un Esquema de Encriptación y Firmas Basado en Identidad para Dispositivos BUG 
      Moreno Vilicich, María Francisca (Universidad de Chile, 2010)
      Históricamente, la autentificación de mensajes se ha manejado a través de firmas digitales basadas en certificados, usualmente emitidos por una entidad neutral a la comunicación y de confianza de todas las partes. Sin ...
    • Editor’s foreword 
      Barceló Baeza, Pablo (2013)
    • Efficient approximations of conjunctive queries 
      Barceló Baeza, Pablo; Libkin, Leonid; Romero, Miguel (Society for Industrial and Applied Mathematics, 2014)
      When finding exact answers to a query over a large database is infeasible, it is natural to approximate the query by a more efficient one that comes from a class with good bounds on the complexity of query evaluation. ...
    • Un Estudio de la Estructura y Dinámica de la Red de Accionistas Chilenos 
      Monsalve Moreno, Mauricio Nivaldo Andrés (Universidad de Chile, 2009)
      En el marco del análisis de redes sociales, estudiamos la red chilena de accionistas, una red dinámica cuyos actores son empresas y accionistas, y cuya relación es de propiedad. En particular, damos especial énfasis a ...
    • Expressive Path Queries on Graphs with Data 
      Barceló Baeza, Pablo; Fontaine, Gaelle; Widjaja Lin, Anthony (Springer, 2015)
      Graph data models have recently become popular owing to their applications, e.g., in social networks, semantic web. Typical navigational query languages over graph databases — such as Conjunctive Regular Path Queries ...
    • Filters on disjunctive boolean networks 
      Plana Perillán, Francisco Antonio (2014)
      Una red Booleana es un modelo de redes en el cual, cada nodo o elemento de la red tiene asociado una función Booleana que determina el estado del nodo respectivo, y de esta forma la evolución de la red en el tiempo. Los ...
    • Foundations of modern query languages for graph databases 
      Angles, Renzo; Arenas, Marcelo; Barceló Baeza, Pablo; Hogan, Aidan; Reutter, Juan; Vrgoc, Domagoj (Association for Computing Machinery, 2017)
      We survey foundational features underlying modern graph query languages. We first discuss two popular graph data models: edge-labelled graphs, where nodes are connected by directed, labelled edges, and property graphs, ...
    • G-CORE a core for future graph query languages 
      Angles, Renzo; Arenas, Marcelo; Barceló Baeza, Pablo; Boncz, Peter; Fletcher, George; Gutiérrez Gallardo, Claudio; Lindaaker, Tobías; Paradies, Marcus; Plantikow, Stefan; Sequeda, Juan; Van Rest, Oskar; Voigt, Hannes (Association for Computing Machinery, 2018)
      We report on a community effort between industry and academia to shape the future of graph query languages. We argue that existing graph database management systems should consider supporting a query language with two key ...
    • Game-based notions of locality over finite models 
      Arenas, Marcelo; Barceló Baeza, Pablo; Libkin, Leonid (ELSEVIER, 2008-03)
      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 free variables. Such notions have proved to be useful in many ...
    • "Generación de horarios académicos en INACAP utilizando algoritmos genéticos" 
      Ahumada Ahumada, Jorge Andrés (Universidad de Chile, 2014)
      En todas las instituciones de educación, el proceso de creación de un horario académico es un desafío que se debe sortear semestre a semestre. Este proceso no es simple, ya que está sujeto a restricciones físicas, ...
    • Graph logics with rational relations: the role of word combinatorics 
      Barceló Baeza, Pablo; Muñoz, Pablo (Association for Computing Machinery, 2017)
      Graph databases make use of logics that combine traditional first-order features with navigation on paths, in the same way logics for model checking do. However, modern applications of graph databases impose a new requirement ...
    • Identificación de especies vegetales utilizando dispositivos móviles 
      Valenzuela Pérez, Sebastián Ulises (Universidad de Chile, 2013)
      Las plantas juegan un rol determinante para la vida humana (y del planeta en general), sin embargo la mayoría de las personas hoy en día saben poco de las especies vegetales que las rodean: si se puede usar como alimento, ...
    • Lenguaje de especificación para la delegación de tareas en Servidores Web mediante agentes 
      Chambilla Aquino, Teófilo (Universidad de Chile, 2016)
      La tecnología de los agentes se ha convertido en la base de una gran cantidad de aplicaciones ya que permite la incorporación de bases de conocimiento de acciones y tareas para resolver problemas complejos. Por otro lado, ...
    • Modelos de Base de Datos de Grafo y RDF 
      Angles Rojas, Renzo (Universidad de Chile, 2009)
      En el año 2004 el Consorcio de la World Wide Web (W3C) estandarizó un lenguaje de metadatos para la descripción de recursos en la Web denominado Resource Description Framework (RDF). La motivación fue el definir un ...