Browsing by Author "Barceló Baeza, Pablo"

Now showing items 1-18 of 18

    • A Coq formalization of RDF and its applications 
      Vallejos Parada, Tomás Javier (Universidad de Chile, 2023)
      El Marco de Descripci´on de Recursos (del ingl´es Resource Description Framework, RDF) es un modelo de datos basado en grafos que enriquece los documentos de la World Wide Web con datos entendibles por m´aquinas. Durante ...
    • A faceted browsing interface for diverse Large-Scale RDF Datasets 
      Moreno Vega, José Ignacio (Universidad de Chile, 2018)
      Las bases de conocimiento en RDF contienen información acerca de millones de recursos, las cuales son consultadas utilizando el lenguaje estándar de consultas para RDF: SPARQL. Sin embargo, esta información no está accesible ...
    • Anomaly detection in streaming multivariate time series 
      Sánchez Enríquez, Heider Ysaías (Universidad de Chile, 2017)
      Este trabajo de tesis presenta soluciones para al problema de detección de anomalı́as en flujo de datos multivariantes. Dado una subsequencia de serie temporal (una pequeña parte de la serie original) como entrada, uno ...
    • Aplicación Web para realizar la gestión distribuida de gastos de un hogar 
      Sanz Biava, Jaime Sebastián (Universidad de Chile, 2016)
      El trabajo desarrollado en esta memoria nace producto de la necesidad de llevar a cabo un registro transparente de los gastos de una vivienda compartida por estudiantes. Actualmente las universidades tienen muchos estudiantes ...
    • Caracterización y reconocimiento de usuarios a través de la observación de su movilidad en transporte público 
      Espinoza Inaipil, Catalina Andrea (Universidad de Chile, 2017)
      La integración de tarjetas inteligentes en sistemas de transporte público ha permitido que los operadores, autoridades e investigadores, tengan acceso a una mejor perspectiva del servicio. La colección diaria de transacciones ...
    • Computational models for network societies 
      Plana Perillán, Francisco Antonio (Universidad de Chile, 2023)
      Esta tesis trata sobre el modelamiento computacional de algunas hipótesis relativas a mecanismos de dinámicas sociales. El significado de la palabra computacional hace referencia al empleo de técnicas de ciencia de datos, ...
    • Guarded ontology-mediated queries distributing over components 
      Barceló Baeza, Pablo; Berger, Gerald; Pieris, Andreas (CEUR-WS, 2017)
    • Model interpretability through the lens of computational complexity 
      Subercaseaux Roa, Bernardo Aníbal (Universidad de Chile, 2020)
      El área de interpretabilidad o explicabilidad en inteligencia artificial busca estudiar y diseñar modelos que los seres humanos podamos comprender, y por tanto confiar en ellos y manejarlos eficazmente. A pesar de frecuentes ...
    • New complexity bounds for evaluation and containment of graph query languages 
      Romero Orth, Miguel (Universidad de Chile, 2016)
      Las bases de datos de grafos han recibido mucho interés en los últimos años, debido a sus aplicaciones en temas como las redes sociales o la Web Semántica. En esta tesis estudiamos lenguajes de consultas que poseen las ...
    • On the expressiveness of LARA: a unified language for linear and relational algebra 
      Higuera Ruiz, Nelson Nicolás (Universidad de Chile, 2019)
      Estudiamos el poder de expresividad del lenguaje Lara – un álgebra unificador recientemente propuesto para expresar operaciones del álgebra relacional y lineal – ambos en términos de lenguajes de consultas de bases de ...
    • Planteamiento e implementación de herramienta computacional para el estudio sobre la bisección iterativa ... 
      Wiche Elorza, Steffan León (Universidad de Chile, 2017)
      Dado un tetraedro, o pirámide de base triangular, es posible bisectarlo por el plano formado por el punto medio de una arista y los vértices opuestos a la misma lo que produce dos nuevos tetraedros. Si se aplica esto desde ...
    • Sistema de administración de prácticas profesionales para el ADI 
      Tomic Carrillo, Milenko Mirko (Universidad de Chile, 2017)
      Dentro de las actividades curriculares que la mayoría de los alumnos de la Facultad de Ciencias Físicas y Matemáticas (FCFM) deben experimentar, se encuentran las prácticas profesionales. Estas instancias existen con el ...
    • Sistema Experto en la Selección y Configuración de Herramientas Específicas para los Requerimientos Mineros 
      Lozano Rubio, Martín Antonio (Universidad de Chile, 2011)
      El objetivo general del presente trabajo de título es generar un sistema experto que pueda realizar una recomendación de una configuración de licencias de software minero según el análisis de una serie de requerimientos ...
    • The complexity of reverse engineering problems for conjunctive queries 
      Barceló Baeza, Pablo; Romero, Miguel (Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017)
      Reverse engineering problems for conjunctive queries (CQs), such as query by example (QBE) ordefinability, take a set of user examples and convert them into an explanatory CQ. Despite theirimportance, the complexity of ...
    • The homomorphism problem for regular graph patterns 
      Romero, Miguel; Barceló Baeza, Pablo; Vardi, Moshe Y. (IEEE, 2017)
      The evaluation of conjunctive regular path queries– which form the navigational core of the query languagesfor graph databases – raises challenges in the context of thehomomorphism problem that are ...
    • The problem of incomplete data in SPARQL 
      Hernández Hernández, Daniel Ricardo (Universidad de Chile, 2020)
      La información incompleta es uno de los mayores desafíos para la gestión de datos en la Web. Los datos en son incompletos en la Web por varias razones: porque hay datos que se desconocen, porque es ocultada por privacidad, ...
    • Validación y extensión de software abierto para el reconocimiento de redes de drenaje en modelos de terreno 
      Gajardo Jiménez, Diego Andrés (Universidad de Chile, 2016)
      En el campo de geomorfología fluvial, para el estudio de un terreno resulta de suma importancia el reconocimiento de sus redes de drenaje, conjunto de cauces y surcos que conducen el flujo hídrico a través de él. Como ...
    • Visión de máquina: ejemplos positivos mínimos 
      Carrasco Otárola, Javier (Universidad de Chile, 2019)
      Actualmente las redes neuronales están siendo cada vez más importantes en cada aspecto de la vida de las personas, muchas veces complementando y potenciando labores realizadas a diario; otras veces, y cada vez más, toman ...