Browsing by Author "Toro Ipinza, Matías"

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 ...
    • 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 ...
    • 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 ...
    • 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, ...
    • 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 ...
    • 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 ...
    • Sistema de conformación de equipos para proyecto de software 
      Lavados Jilbert, Javier Enrique (Universidad de Chile, 2023)
      Uno de los ´ultimos cursos en el plan de estudios de la carrera de Ingenier´ıa en Computaci´on en la Universidad de Chile es el curso de Proyecto de Software. El objetivo de este ramo es proporcionar a los estudiantes ...
    • Sistema de valorización de instrumentos derivados para una Fintech 
      Romero Villegas, Matías José (Universidad de Chile, 2023)
      LVA Índices es una empresa del ámbito financiero que entrega información y valorización de instrumentos financieros. Entre ellos se encuentran toda la renta fija chilena y la valorización de instrumentos derivados. A ...
    • Usabilidad en una Herramienta de Gestión de Desarrollo de Proyectos de Software 
      Toro Ipinza, Matías (Universidad de Chile, 2008)
      Existen actualmente muchas herramientas de administración de desarrollo de software, las cuales tienen elementos de Planificación y Tracking. Pero no muchas de ellas toman estos dos elementos y los combinan. Una de las ...