Search
Now showing items 681-690 of 712
Estructuras Killing-Yano invariantes en variedades homogéneas
(2018-03)
Estudiamos 2-formas de Killing-Yano invariantes a izquierda sobre grupos de Lie, o equivalentemente, sobre álgebras de Lie. Más particularmente, clasificamos las álgebras de Lie de dimensión 4 que admitan tales estructuras, ...
Métricas del espaciotiempo representando masa, estimada dinámicamente, y materia oscura
(2013-03)
En este trabajo especial, presentamos una solución exacta de las ecuaciones de la relatividad general que ajusta correctamente datos observacionales del cúmulo de Coma, correspondientes a estimaciones dinámicas de la materia ...
Reducción de orden parcial en model checking probabilista simbólico
(2010)
El problema fundamental de los model checkers es la explosión exponencial del espacio de estados que se produce al agregar nuevas componentes o variables. El problema se exacerba en los model checkers probabilistas dado ...
Botrix : plugin de bots colaborativos dentro de un juego 3D
(2013)
Botrix es un plugin (un módulo de software) que ofrece creación y manejo de bots colaborativos. Un bot es un jugador artificial manejado por la computadora. Originalmente el plugin está hecho para el juego Half-Life 2: ...
Sistemas de pocos cuerpos en un entorno del umbral del continuo :
(2010)
En esta tesis se presenta un estudio de varios sistemas cuánticos cuyo común denominador es que poseen uno o más estados ligados cerca del umbral de energía del continuo. En este aspecto se analizaron los diagramas de ...
Análisis de binarios usando ejecución simbólica
(2018)
En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ...
El desafío de realizar un proceso de modelización matemática en estadística, mediado por las TIC
(2013-12)
El presente informe trata acerca de las prácticas llevadas a cabo por los autores en dos cursos de 5° año de una institución pública de gestión privada. El tema abordado en dichas prácticas fue estadística, mediante un ...
Estudio experimental de campo de las cargas eléctricas y tamaño de las partículas de precipitación
(2018-09)
En este trabajo experimental sobre la electrificación de las nubes se estudió la carga eléctrica y el tamaño que poseen las partículas de precipitación cuando llegan al nivel del suelo. Se diseñó y construyó el instrumento ...
Cambios en la cobertura vegetal y erosión del suelo en Sierras Chicas – Córdoba, en el periodo 2005-2017 : aproximaciones desde el modelo RUSLE con base en la teledetección
(2019-10)
Las dinámicas territoriales actuales en la región de Sierras Chicas – Córdoba, cooperan en la intensificación de los cambios producidos en la cobertura vegetal. La preocupación por los cambios, principalmente por aquellos ...
De PH a IP : un curso en complejidad computacional
(2019-11)
En este trabajo estudiamos algunas de las clases más importantes de la teoría de Complejidad Computacional. Nos basamos en el programa que propone el libro Computational Complexity a modern approach, del cual vemos la ...