Browsing by Title Tesis Postgrado
Now showing items 2768-2787 of 5625
-
(Universidad de ChilePrograma Cybertesis, 2008)
-
(Universidad de Chile, 2017)Los tipos refinados (Refinement Types) son una técnica efectiva de verificación basada en lenguajes que extienden la expresividad de los sistemas de tipos tradicionales incluyendo la posibilidad de restringir valores usando ...
-
(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 ...
-
(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 ...
-
(Universidad de Chile, 2014)Los sistemas de tipos-y-efectos (type-and-effect systems) permiten a los programadores hacer valer invariantes y restricciones sobre los efectos secundarios que se generan durante la evaluación de un programa. Los sistemas ...
-
(Universidad de ChilePrograma Cybertesis, 2008)
-
(Universidad de Chile, 2022)In block caving, the behavior of gravity flow is fundamental in mine design and pla nning. However, the great number of variables that influence this large scale phenomenon are difficult to study directly in the field. ...
-
(Universidad de Chile, 2022)La detección online de puntos de cambio tiene el propósito de detectar cambios abruptos en series de tiempo a tiempo real, que es crucial en aplicaciones donde se requieran respuestas inmediatas, como finanzas y monitoreo ...
-
Groundwater resources of the Western Andean Front: insights from the Aconcagua Basin, Central Chile (Universidad de Chile, 2020)The misunderstanding of hydrogeological processes together with the oversimplification of aquifer conceptual models result in numerous inaccuracies in the management of groundwater resources. Despite that Chile is a ...
-
Guidelines for pore water pressure monitoring programs design and integration to open pit mine plans (Universidad de Chile, 2016)El diseño de taludes es una tarea crítica en proyectos de minería a cielo abierto. Generalmente, planificadores y diseñadores buscan operar en paredes tan empinadas como sea posible para optimizar la cantidad de mineral ...
-
(Universidad de Chile, 2017)La tendencia de usar servicios de redes sociales en línea y mensajería móvil instantánea ha cambiado tanto la forma en que las personas se relacionan como los espacios en los cuales interactúan. En el contexto de comunicación ...
-
(Universidad de Chile, 2021)La transformación digital, ha puesto a la Ciberseguridad a la altura de los riesgos establecidos por el acuerdo de Basilea II Basilea. En Latinoamérica, se ha comenzado a legislar respecto a Ciberseguridad de forma muy ...
-
(Universidad de Chile, 2021)
-
(Universidad de Chile, 2010)El presente trabajo consiste en evaluar la creación de un centro de estímulo y desarrollo infantil llamado GymKids, el cual buscará brindar un servicio educacional y de desarrollo físico especializado desde muy temprana ...
-
(Universidad de Chile, 2021)En las últimas décadas, una parte de las investigaciones sobre resultados académicos de los y las estudiantes se ha enfocado en el impacto que tienen las características socioemocionales en el rendimiento educacional y en ...
-
(Universidad de Chile, 2017)Realizar mediciones viento en altura con técnicas tradicionales como globos cautivos y radiosondas es una tarea demandante en tiempo y recursos. Una de las soluciones a esto es la utilización de técnicas remotas como SODAR ...
-
(Universidad de Chile, 2014)Si bien la interoperabilidad ha sido entendida como la habilidad de dos o más sistemas o componentes para intercambiar y utilizar información, dentro del Estado su interpretación se extiende más allá del concepto puramente ...
-
(Universidad de Chile, 2018)El disipador de calor de canal con flujo espiral ha demostrado ser una alternativa prometedora para el manejo térmico de aplicaciones de alto flujo de calor, como electrónica y fotovoltaica concentrada. Temperaturas ...
-
(Universidad de Chile, 2019)For the diagnosis, treatment planning and post-surgical monitoring of cardiovascular disease (CVD), hemodynamic markers have proven to be of great utility. However, non-invasive assessment of the hemodynamics of a patient ...
-
(Universidad de Chile, 2018)La correcta estimación de un proyecto de ingeniería es de vital importancia para una empresa calculista, ya que una mala estimación usualmente genera atrasos en los plazos de entrega, y puede implicar la pérdida de proyectos ...