Search
Now showing items 611-620 of 716
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 ...
Desarollo e implementación de métodos basados en el modelo de lattice Boltzmann para aplicaciones en mecánica de fluidos
(2018-04)
En este trabajo se analiza e implementa un método de lattice Boltzmann (LBM) consistente a bajos números de Mach con las ecuaciones compresibles e isotérmicas de Navier-Stokes. Desarrollamos e implementamos un algoritmo ...
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 ...
Consumo de Cannabis y su relación con los accidentes de tránsito
(2020)
La asociación entre el consumo de cannabis y los accidentes de tránsito es un parámetro de suma importancia en la evaluación de la seguridad vial. Sin embargo, pese a la existencia a nivel mundial de gran cantidad de ...
G2-estructuras solitones en algebras de Lie nilpotentes
(2015-12)
Una forma natural de evolucionar una estructura G2 en una variedad diferenciable de dimensión 7, con el objeto de estudiar la existencia de métricas con holonomía G2, es el flujo laplaciano, introducido por Bryant. En este ...
Estudios mineralógico de discos circunestelares en estrellas de tipo FU Orionis
(2010-03)
Las estrellas de tipo FU Orionis son estrellas de Pre-secuencia Principal que incurren de forma periódica en un aumento de brillo en hasta ~ 6 magnitudes en un lapso de unos pocos años, que luego decae paulatinamente al ...
Segmentación de secuencias de rango continuo mediante información mutua
(2016)
La detección de bordes de dominio en secuencias de rango continuo encuentra aplicaciones en la detección del comienzo de una contracción muscular en electromiografía o del comienzo y propagación de una crisis epiléptica ...
Álgebras de Hopf y categorı́as de fusión
(2017-03)
La tesis trata sobre las reglas de fusión y la resolubilidad de una categoría de fusión.
En la primer parte de esta tesis se aborda el interrogante de si la condición de que una categoría de fusión sea o no resoluble está ...
Aportes a la formación del profesorado constructivista : resultados en dos países
(2016)
La investigación aborda la influencia que tiene la participación en la investigación educativa en la calidad de la enseñanza de docentes de ciencias experimentales de Argentina y España. Se han utilizado tres vías de acceso ...
Una propuesta para aprender a argumentar en geometría con alumnos de segundo año del nivel secundario
(2017-12)
El presente informe expone la experiencia de las autoras durante la práctica profesional docente realizada en dos cursos de 2° año en un colegio de la Ciudad de Córdoba. Los contenidos abordados corresponden a la unidad ...