Browsing by Title
Now showing items 44654-44673 of 92506
-
(Sociedad de Periodoncia de Chile. Sociedad de Implantología Oral de Chile. Sociedad de Prótesis y Rehabilitación Oral de Chile., 2014)Desde hace una década están disponibles en el mercado nacional, tanto bebidas como otros productos energéticos. Su popularidad ha ido en aumento, sin embargo su consumo no está exento de riesgos. La cafeína es el ingrediente ...
-
(Universidad de Chile, 2016)Introducción: Con el aumento de las enfermedades infectocontagiosas durante la atención en salud, la aplicación de Normas de Bioseguridad es fundamental para evitar contaminación cruzada. Los estudiantes del Programa ...
-
(Universidad de Chile, 2019)Introducción: La aplicación de normas de bioseguridad protege al personal que trabaja en salud y al paciente de los riegos asociados a la atención, pero el cumplimiento de prácticas efectivas para el control de infecciones ...
-
(Universidad de Chile, 2012)La presente investigación se inserta en el ámbito de la Etnolingüística, disciplina cuyo objeto de estudio es la relación del lenguaje con la cultura. Y, más específicamente, se centra en la Onomástica, disciplina lingüística ...
-
(Universidad de Chile, 2008)El presente estudio exploratorio pretende investigar y conocer el grado de conservación de los relatos orales tradicionales en mapuches residentes en tres comunas de Santiago de Chile: La Florida, La Pintana y Quilicura.
-
(Universidad de Chile, 2012)La tesis propuesta tiene como objeto de estudio las normas que nos permitan elaborar un régimen de atribución de responsabilidad civil por elaboración o comercialización de productos en la legislación nacional. Como primer ...
-
(Universidad de Chile, 2009)Los objetivos del presente estudio fueron determinar el grado de cumplimiento de algunos aspectos de la Ley antitabaco en bares y restoranes de Santiago de Chile, determinar actitudes y opiniones de los administradores de ...
-
(Universidad de Chile, 2023)Objetivo: Estimar el grado de cumplimiento de las funciones esenciales y secundarias de la atención primaria en salud en CESFAM La Pincoya de Huechuraba, desde la perspectiva usuaria y gestora del centro de salud, a través ...
-
(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 ...
