Browsing by Title
Now showing items 44654-44673 of 92483
-
(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 ...
-
(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 ...
-
(2004)Hoy el graffiti ha invadido las calles de Santiago, como ya lo hab¡a hecho en muchas de las ciudades latinoamericanas. Es éste un fenómeno de escritura, propio de los jóvenes y originario, aunque no exclusivo, de los ...
-
(2004)La investigación aborda el campo de los sistemas de representación gráfica como mecanismos que proveen un mayor grado de amplitud para la adquisición, producción y transmisión del conocimiento. Configura un instrumento ...
-
(Universidad de ChilePrograma Cybertesis, 2008)
-
(British Editorial Society of Bone & Joint Surgery Ltd., 2020)There is a concern regarding which grafts should be used in combined anterior cruciate ligament (ACL) and medial collateral ligament (MCL) reconstructions, with a paucity of recommendations focused on this specific ...
-
(Inst Investigaciones Agropecuarias, 2015)Commercial fruit trees are usually formed by the combination of a rootstock and a scion to broaden the adaptability of scion cultivars to soil and climatic conditions, facilitate agricultural management, and/or increase ...
-
(2008)Graft versus Host Disease (GVHD) is a common complication in allogenic bone marrow transplants and in some cases, it involves the oral mucosa. Therefore, the appropriate diagnosis and timely treatment is essential to prevent ...
