Browsing by Title
Now showing items 47855-47874 of 98753
-
(Universidad de Chile, 2018)Introducción: La aplicación de Normas de Bioseguridad es fundamental para evitar contaminación cruzada. Con esto en la mira, los estudiantes del Programa de Especialización Profesional en Endodoncia y los de Pregrado de ...
-
(Universidad de Chile, 2006)En este tesis se abordaron las siguientes preguntas: ¿son las especies de plantas anuales y perennes de un mismo género igualmente especializados en sus sistemas de polinización? ¿Plantas más especializadas tienen diferente ...
-
(Universidad de Chile, 2005)
-
(Universidad de Chile, 2021-10-21)En octubre de 2017, Uruguay y Chile fueron graduados como receptores de Ayuda Oficial al Desarrollo por parte del Comité de Ayuda al Desarrollo de la Organización para la Cooperación y el Desarrollo Económicos. Esta ...
-
(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 ...
-
(Macmillan Publishers, 2014)On 1April 2014,NorthernChilewas struck by amagnitude 8.1 earthquake following a protracted series of foreshocks. The IntegratedPlate Boundary ObservatoryChile monitored the entire sequence of events, providing unprecedented ...
-
(Association for Computing Machinery, 2020)
-
(Assoc Computing Machinery, 2021)Dynamically-typed languages offer easy interaction with ad hoc data such as JSON and S-expressions; staticallytyped languages offer powerful tools for working with structured data, notably algebraic datatypes, which are a ...
-
(1995)Due to the social and economical changes in the Chilean university and health systems in the last decades, the traditional financing model of the Faculty of Medicine and postgraduate training programs became obsolete. The ...
-
(Universidad de Chile, 2024)Graduateens ofrece un servicio integral de planificación, organización y ejecución de fiestas de graduación temáticas, ajustándose por un lado al servicio estándar que ofrece la industria y por el otro, apunta a una ...
-
(Springer Verlag, 2018)Faceted browsing has become a popular paradigm for user interfaces on the Web and has also been investigated in the context of RDF graphs. However, current faceted browsers for RDF graphs encounter performance issues when ...
-
(Universidad de Chile, 2022)El proyecto "Graffiti en acción" es un ejercicio de creación de obra, que consta de la manufactura de una serie de 17 afiches distintos relativos al Estallido Social chileno, manifestaciones ocurridas entre el periodo del ...
-
(Universidad de Chile, 2005-03)El siguiente es un trabajo de investigación que busca abordar la temática del graffiti y la apropiación que hacen del espacio urbano, los grupos que salen a rayar y expresar ideas a las calles. Nace de la inquietud de dar ...
-
(Universidad de Chile, 2017)Esta monografía explora en cinco secciones las dinámicas con que el graffiti se contrapone a variados aspectos de su propia definición, ya sea el graffiti entendido como arte urbano o callejero y el graffiti como constructor ...
