Browsing by Title Facultad de Ciencias Físicas y Matemáticas
Now showing items 10084-10103 of 20342
-
(Universidad de ChilePrograma Cybertesis, 2009)El presente trabajo de título tuvo por objetivo evaluar el gobierno corporativo de una ONG e instalar prácticas que pretenden asegurar el cumplimiento de objetivos, generando un impacto en la organización y sus asociados. La ...
-
(Universidad de Chile, 2017)El presente estudio tiene por objeto analizar la brecha digital que existe en el acceso a los servicios municipales en la Región Metropolitana de Chile, encontrando las variables que influyen, sea incrementando o disminuyendo, ...
-
(Universidad de Chile, 2015)Santiago es una de las pocas ciudades capitales de la Organización para la Cooperación y el Desarrollo Económicos (OCDE) que no tienen una administración metropolitana, de hecho de los 34 países de dicha organización todos ...
-
(Universidad de ChilePrograma Cybertesis, 2008)
-
(Pontificia Universidad Catolica de Chile, 2019)The feminist student movement of the year 2018 in Chile posed a series of challenges to universities, mainstreaming the demand for a non-sexist education. The present article seeks to problematize this demand taking into ...
-
(Elsevier, 2022)Despite years of research, the mechanisms governing the onset, relapse, symptomatology, and treatment of schizophrenia (SZ) remain elusive. The lack of appropriate analytic tools to deal with the heterogeneity and complexity ...
-
(MDPI, 2022)Southern Chile placer gold deposits have been known and exploited since Spanish colonial times. Despite this, precise knowledge about their origin is scarce. This work aims to identify possible primary sources of the gold ...
-
(Elsevier, 2017)Background and Objective: Published algorithms for classification of human sperm heads are based on relatively small image databases that are not open to the public, and thus no direct comparison is available for competing ...
-
GPS-derived interseismic coupling on the subduction and seismic hazards in the Atacama region, Chile (Oxford University Press, 2014)The Atacama region (between 29◦S and 25◦S) is located in the North-Central area of Chile, a tectonically complex transition area between North and CentralChile. Deformation in Atacama is due mainly to elastic loading on ...
-
(Elsevier, 2018-08)A novel parallel simulation algorithm on the GPU, implemented in CUDA and C++, is presented for the simulation of Brownian particles that display excluded volume repulsion and interact with long and short range forces. ...
-
(Elsevier Inc., 2019)We introduce a compressed data structure for the storage of free trajectories of moving objects that efficiently supports various spatio-temporal queries. Our structure, dubbed GraCT, stores the absolute positions of all ...
-
(Society for Industrial and Applied Mathematics Publications, 2018)We disclose an interesting connection between the gradient flow of a C 2 - smooth function ψ and evanescent orbits of the second order gradient system defined by the square-norm of ∇ψ, under adequate convexity assumption. ...
-
(World Scientific Publishing, 2020)In this paper, we describe domain walls appearing in a thin, nematic liquid crystal sample subject to an external field with intensity close to the Freedericksz transition threshold. Using the gradient theory of the phase ...
-
(Assoc Computing Machinery, 2016)Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gradual typing allows for a smooth transition ...
-
(Springer Verlag, 2018)Both static and dynamic program verification approaches have significant disadvantages when considered in isolation. Inspired by research on gradual typing, we propose gradual verification to seamlessly and flexibly combine ...
-
(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 ...
-
(2016)Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture that this limited adoption is due in part to the difficulty of transitioning from a system ...
-
(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 ...
