Browsing Facultad de Matemática, Astronomía, Física y Computación by Title
Now showing items 1186-1199 of 1199
-
Verificación de lógicas modales dinámicas en Coq
(2019-03)Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ... -
Verificación en tiempo de ejecución con Streams
(2010)La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ... -
Verificación formal de código binario
(2015)Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ... -
Verificación formal de protocolos distribuidos
(2019)En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ... -
Very fast dissolving acid carboxymethylcellulose-rifampicin matrix : development and solid-state characterization
(2017)One of the main obstacles to the successful treatment of tuberculosis is the poor and variable oral bioavailability of rifampicin (RIF), which is mainly due to its low hydrophilicity and dissolution rate. The aim of this ... -
Virtual laboratory for a first experience in dynamics
(2014)New technologies contribute to the learning process of scientific disciplines. In particular Physics learning may take advantage of these techniques by implementing experimental practices in simulation environments. Our ... -
Viscosidad magnética e interacciones magnéticas
(2005-08)Este trabajo es un estudio experimental de la relajación magnética en materiales monofásicos y multifásicos, con estructura controlada, donde se determina el tipo y grado de interacción entre las partículas del sistema ... -
Visión artificial para el reconocimiento automático, en tiempo real, de líneas urbanas de autobuses
(2019)En el presente trabajo, se aborda el problema de la detección y el reconocimiento de números de líneas de autobuses del transporte público de pasajeros de la ciudad de Córdoba, empleando imágenes obtenidas mediante ... -
Visualización de gradientes internos en sistemas porosos
(2011)Los materiales porosos son sistemas de gran interés en diversas áreas: en lo tecnológico puede destacarse el desarrollo de catalizadores, en generación de recursos la explotación de pozos petroleros y en el área de la salud ... -
Water and membrane dynamics in suspensions of lipid vesicles functionalized with poly(ethylene glycol)s
(2014-05-08)The present work was aimed at studying the molecular dynamics at different levels of model membranes having a simulated glycoclix, with focus on the molecular crowding conditions at the lipid–water interfacial region. Thus, ... -
Watershed topológico concurrente
(2015-05)La Transformación Watershed Topológico es un procedimiento de la morfología matemática, basado en la popular Transformación Watershed, cuyo fin es la segmentación de una imagen. Si bien existen algoritmos secuenciales ... -
Weighted estimates for integral operators on local BMO type spaces
(2015)We prove the weighted boundedness for a family of integral operators Tα on Lebesgue spaces and local BMO type spaces. To this end we show that Tα can be controlled by the Calder ́on operator and a local maximal operator. ... -
Weighted inequalities for some integral operators with rough kernels
(2014)In this paper we study integral operators with kernels K(x, y) = k1(x − A1y)...km(x − Amy), ki(x) = Ωi(x) |x|n/qi where Ωi : Rn → R are homogeneous functions of degree zero, satisfying a size and a Dini condition, Ai are ... -
Zoom : a corpus of natural language descriptions of map locations
(2015)This paper describes an experiment to elicit referring expressions from human subjects for research in natural language generation and related fields, and preliminary results of a computational model for the generation of ...