Browsing by Author "Fridlender, Daniel Edgardo"
Now showing items 1-11 of 11
-
A certified extension of the Krivine machine for a call-by-name higher-order imperative language
Rodríguez, Leonardo Matías; Fridlender, Daniel Edgardo; Pagano, Miguel María (2014)In this paper we present a compiler that translates programs from an imperative higher-order language into a sequence of instructions for an abstract machine. We consider an extension of the Krivine machine for the ... -
Compilación Certificada sobre Máquinas Abstractas de evaluación normal
Rodríguez, Leonardo Matías (2017-03)En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un ... -
Desarrollo de herramientas de simulación basadas en imágenes satelitales con aplicaciones en salud, formativas y recreativas
Montivero, María Carolina. (2009)El presente trabajo de grado tiene por objetivo la creación de una herramienta de software que a través de un adecuado procesamiento de la información extraída de imágenes satelitales nos permita estudiar la distribución ... -
Desarrollo de software para la simulación espacio-temporal de la dinámica poblacional de roedores transmisores de la fiebre hemorrágica argentina
Musso, Verónica Andrea. (2008)El presente trabajo tiene por objetivo la creación de una herramienta software que a través de información extraída de imágenes satelitales, permita estudiar el comportamiento de roedores relacionados a enfermedades virales ... -
Desarrollo de una herramienta de acceso vía web para ser aplicada en la detección de mareas rojas utilizando imágenes satelitales
Arrieta, César Luis; De Elia, Estefanía Aylén (2008)La detección temprana de mareas rojas nocivas permite evitar perdidas humanas y económicas. Para esto se necesitan herramientas para procesar la información obtenida por el sensado remoto a través de satélites. -
Generación de código intermedio usando semántica funtorial
Rodríguez, Leonardo Matías (2010-12-29)Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ... -
NMR_CORE : un modelo de datos para representar experimentos de resonancia magnética nuclear de baja resolución
Polacov, Federico David (2013-12-20)En respuesta a los requerimientos actuales de la industria de la resonancia magnética nuclear (RMN) de baja resolución, diseñamos un modelo de datos, al que llamamos NMR_CORE, que permite la representación de los experimentos ... -
Redes convolucionales en comprensión de escenas
Pusiol, Pablo Daniel (2014-02-17)Presentamos y aplicamos una técnica de extracción no-supervisada de features de imágenes (Redes Neuronales Convolucionales) al problema de comprensión de escenas. Abarcamos las sutilezas tanto para el diseño como para el ... -
Semántica operacional y su aplicación para el estudio de recolección de basura, en Lua 5.2
Soldevila Raffa, Mallku Ernesto (2021)Lua es un lenguaje de programación imperativo de scripting, que ofrece tipado dinámico, manejo automático de memoria, facilidades para la descripción de datos, y mecanismos de metaprogramación para adaptar el lenguaje a ... -
Simulación de incendios forestales
Chaves, Cintia Noelia Noemí (2010)Los incendios que han acompañado a la provincia de Córdoba desde hace muchos años son un problema cada vez mas difícil de abordar. En parte, por la falta de tecnología que ayude a su prevención y lucha. Proponemos e ... -
Sistema de verificación de huellas dactilares
Pusiol, Guido Tomás (2007-09-28)Construimos un Sistema Automático de Identificación y verificación de huellas dactilares (AFIS / por sus siglas en inglés), basado en reconocimiento de minucias al que llamamos PULGARCITO.