Search
Now showing items 31-38 of 38
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
(2017-05-31)
Presentamos un shape analysis con garantı́as de terminación para programas que manipulan estructuras de datos no lineales como árboles binarios. El análisis se basa en una ejecución simbólica de los programas sobre estados ...
Estados cuasi-invariantes como condición inicial de la dinámica de las coherencias en sistemas de espines nucleares con acople dipolar
(2017-03-31)
El estudio de la evolución de las coherencias es un tema que se ha vuelto relevante hace un tiempo. Aplicado a sólidos y a cristales líquidos (CL), el estudio de las coherencias brinda importante información a cerca de la ...
Formación de Jets por agujeros negros de Schwarzschild moviéndose a altas velocidades con respecto a un campo magnético
(2017-03)
El presente es un trabajo final de la Licenciatura en Física de la FaMAF, UNC enmarcado en la teoría de la Relatividad General y en particular dentro de la Relatividad General Numérica. En el trabajo se desarrolló el tema ...
Simetrías en lógicas de descripción
(2017)
En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento ...
Aplicaciones de álgebra universal al reticulado de Post
(2017)
El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad ...
Una propuesta de accesibilidad en expresiones matemáticas para la comunidad de ciegos y disminuídos visuales
(2017)
La accesibilidad a la bilbiografía de áreas técnicas como la matemática es un tema importante para que la educación sea cada vez más inclusiva. Aún así, como lo es de importante puede que lo sea de complejo. Uno de los ...
Dinámica de un micronadador autopropulsado en un flujo de cizallamiento
(2017-07-05)
Utilizando simulaciones numéricas del tipo Dinámica de Stokes, se estudia el movimiento de micronadadores sometidos a un flujo de cizalla.
Resulta de gran interés entender la interacción entre la manera en que se propulsa ...
Estudio de cinética química bajo condiciones de flujo forzado mediante RMN
(2017-03-23)
La cinética química es la rama de la química que estudia la velocidad a la que ocurren las reacciones. Los conceptos de esta área son utilizados en otras ramas, en particular en electroquímica, que estudia la conversión ...