Search
Now showing items 1-10 of 14
Sistema de coloides dipolares : fases, dinámica de gelificación y caracterización estructural
(2013-08-09)
Las partículas con interacción direccional han captado el interés reciente de los científicos. Esto se debe a su particular capacidad de formar una amplia variedad de estructuras anisotrópicas complejas, combinado con su ...
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
(2013-03)
Los sistemas computacionales juegan roles determinantes en muchas áreas de nuestra vida cotidiana. En algunos casos la dependencia hacia estos sistemas es crítica, y el mal funcionamiento de los mismos puede acarrear grandes ...
Variedades aproximadamente Kähler
(2013)
En este trabajo se estudia una clase particular de variedades casi hermitianas, las variedades aproximadamente Kähler (NK). Estas variedades fueron introducidas por Alfred Gray en la década de los 70 y es a partir de sus ...
Medidas difusas en procesamiento de imágenes
(2013-08-09)
El presente trabajo define formalmente el concepto de “medida difusa”, el cual generaliza a las medidas clásicas. A éstas nuevas medidas, les agregamos condiciones para obtener medidas λ-difusas, medidas de Sugeno y ...
Asignación eficiente de votantes a escuelas mediante programación matemática : el caso de la ciudad de Pergamino
(2013-05-31)
Este trabajo estudia el problema de asignar votantes a escuelas en una elección.
Para ello, se consideran las distancias hasta cada escuela posible y los tiempos de espera en cada escuela según la cantidad de votantes ...
Análisis y procesamiento de imágenes de maní para el control del nivel de tostado
(2013)
El maní es una planta que produce frutos secos con una o más semillas comestibles. Estas semillas se destinan para la elaboración de aceites o para el consumo ya sea directo o, previa transformación, como pasta de maní.
Para ...
Inteligencia artificial en juegos : desarrollando un game partner utilizando generación de lenguaje natural
(2013)
Actualmente la mayoría de los tutoriales en los videojuegos están hechos para que el jugador siga un script fijo. Por lo tanto, que un tutorial sea bueno o malo es todavía un arte que depende de cuán bueno sea el script ...
NMR_CORE : un modelo de datos para representar experimentos de resonancia magnética nuclear de baja resolución
(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 ...
Optimización de la traducción funcional para lógicas modales
(2013-08-09)
En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones ...
Estudio de parámetros físicos de interés en dosimetría de hadrones
(2013-12-19)
La radioterapia utiliza radiaciones ionizantes para producir daño en las células con las cuales interactúa. La hadronterapia es la técnica de radioterapia que emplea haces de iones pesados como radiación ionizante. En ...