Browsing by Author "Toro Ipinza, Matías"

Now showing items 1-20 of 24

    • 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 ...
    • Aplicación web para diseñar bases de datos 
      López Gallardo, Matías Arturo (Universidad de Chile, 2024)
      Los diagramas entidad-relación (ER) son una herramienta fundamental en el diseño de bases de datos. Permiten visualizar la estructura, restricciones y entidades participantes del modelo conceptual de una base de datos. En ...
    • BusY: sistema de visualización y análisis espacial de datos geo-referenciados de transporte público 
      Carreño Herrera, Joaquín Ignacio (Universidad de Chile, 2024)
      Actualmente la Dirección de Transporte Público Metropolitano (DTPM) diseña los Planes Operacionales (PO) que definen como el servicio de Red proveerá transporte público a la Región Metropolitana. Es a través de buses, metro ...
    • Clustering diferencialmente privado mediante la generación de sinopsis privadas de datos 
      Rodríguez Sepúlveda, Bruno Germán (Universidad de Chile, 2024)
      Actualmente estamos en una era donde la generación de datos masivos es constante y crucial para diferentes sectores como empresas, gobiernos y centros de investigación. Esta realidad ha impulsado el desarrollo del campo ...
    • Countable polymorphic may-must effects 
      Mosso Chávez, Fabián Andrés (Universidad de Chile, 2020)
      Muchos programas realizan operaciones tales como mutar el heap, imprimir en pantalla, leer archivos, comunicarse con otros programas o generar números aleatorios. Estas interacciones son conocidas como efectos colaterales. ...
    • 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 ...
    • Data sintética privada, ejecución y evaluaciones de modelos 
      Villarroel González, Gerardo Jorge (Universidad de Chile, 2023)
      En la era de la información, la generación y análisis de conjuntos de datos es crucial para avanzar en diversas disciplinas. Sin embargo, la privacidad y la utilidad de los datos se han convertido en consideraciones ...
    • Desarrollo de herramienta para la gestión del tránsito utilizando datos GPS de buses del sistema de transporte ... 
      Faray Abarzúa, Martín Eduardo (Universidad de Chile, 2024)
      La regulación del tránsito es un área en constante evolución. En la ciudad de Santiago, capital de Chile, la Unidad operativa del Control de Tránsito (UOCT) desempeña un papel crucial en la gestión del tráfico y los ...
    • Desarrollo de un sistema de análisis de registros DMARC 
      Parra Cofré, Christian Jesús (Universidad de Chile, 2024)
      Esta memoria se centra en el desarrollo y evaluación de una plataforma para el análisis de reportes DMARC, diseñada para mejorar la seguridad de los correos electrónicos y ayudar al estudio de los reportes en conjunto. La ...
    • Diseño e implementación de sistema de autenticación de usuarios conectando bases de datos preexistentes 
      Cortez Encina, Tomás Ignacio (Universidad de Chile, 2023)
      En el presente trabajo de título se presenta una problemática que experimenta la empresa BPO Advisors. Esta empresa posee distintos sistemas web con sus bases de datos de usuarios y formas de autorización, como por ejemplo, ...
    • Estudio de un lenguaje gradual con subtipos nominales 
      Castillo Morales, Enzo Miguel (Universidad de Chile, 2024)
      En el mundo de la programación existen diversas formas de clasificar a los lenguajes de programación, una de estas clasificaciones corresponde al tratamiento que realiza el lenguaje respecto a los sistemas de tipos, ...
    • Gradual sensitivity types 
      Arquez Trigo, Damián Nicolás (Universidad de Chile, 2021)
      Sensitivity type systems are used to reason about the sensitivity of computations. This is of particular interest in the fields of privacy, specially differential privacy. One caveat of sensitivity types is that, being a ...
    • Gradual system F 
      Labrada Deniz, Elizabeth (Universidad de Chile, 2022)
      El polimorfismo paramétrico es un mecanismo de abstracción ampliamente utilizado en los lenguajes de programación, que permite la definición genérica de funciones y tipos, y proporciona reutilización de código e independencia ...
    • Implementación de Leapfrog Triejoin sobre estructuras de datos compactas 
      Campos Fischer, Daniela Andrea (Universidad de Chile, 2022)
      Las operaciones de join en bases de datos resultan costosas, ya sea en el tiempo que toma o en el espacio utilizado por los índices que resuelven dichas consultas. En el último tiempo se han introducido los algoritmos ...
    • Inca-Comboard: Captura y análisis de comunicaciones inter especies 
      Labarca Rosenbluth, Camila Ester (Universidad de Chile, 2023)
      En los ´ultimos a˜nos, el campo de la interacci´on entre animales y computadoras ha experimentado un crecimiento notable. Una tendencia emergente dentro de este dominio es la utilizaci´on de dispositivos de Augmentative ...
    • Mejoramiento automático de mallas compuestas de unidades de respuesta hidológica (URHS) implementado en QGIS 
      Villarroel Garcés, Sergio Ariel (Universidad de Chile, 2023)
      En el contexto del modelamiento hidrológico, el modelo PUMMA (Peri-Urban Model for landscape MAnagment) representa áreas urbanas a través de EHU (Elementos Hidrológicos Urbanos) y zonas naturales y periurbanas a través de ...
    • Una nueva plataforma de datos para el instituto milenio fundamentos de los datos 
      Morales Rodríguez, Felipe Cristian (Universidad de Chile, 2024)
      Este informe presentan el diseño y la implementación de una nueva plataforma de datos para el Instituto Milenio Fundamento de los Datos (IMFD) para mejorar la gestión y el análisis de datos relacionados con el personal ...
    • Plausible sealing for gradual parametricity 
      Labrada Deniz, Elizabeth; Toro Ipinza, Matías; Tanter, Eric Pierre; Devriese, Dominique (Assoc Computing Machinery, 2022)
      Graduality and parametricity have proven to be extremely challenging notions to bring together. Intuitively, enforcing parametricity gradually requires possibly sealing values in order to detect violations of uniform ...
    • Refinamiento de mallas poligonales por inserción de puntos 
      Pineda Meza, Mario Andrés (Universidad de Chile, 2023)
      La generaci´on de mallas poligonales es un ´area ampliamente estudiada con aplicaciones en muchas disciplinas de la ingenier´ıa. Su capacidad para descomponer dominios complejos en partes m´as peque˜nas y f´aciles de ...
    • Sistema de apoyo a la docencia y gestión de alumnos en cursos con metodologías grupales 
      Salazar De La Fuente, Cristián Andrés (Universidad de Chile, 2024)
      La implementación de metodologías grupales en la educación superior ofrece una serie de ventajas, como un mayor compromiso y habilidades sociales entre los estudiantes, así como una comprensión más profunda de los contenidos ...