Search
Now showing items 1-10 of 14
Lógicas modales con operadores de cambio de accesibilidad
(2014)
En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...
Modelado matemático de la interacción parásito-sistema inmune durante la enfermedad de Chagas
(2014-12)
En este trabajo se extiende un modelo matemático que describe la interacción competitiva del parásito Tripanosoma cruzi (agente causante de la enfermedad de Chagas) y el sistema inmune de su mamífero vertebrado hospedador ...
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
(2014-03)
En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teorías (SMT). Desarrollamos el marco teórico para utilizar las simetrías de
una fórmula modal utilizando el ...
Estimación de parámetros de modelos a priori para segmentación contextual de imágenes
(2014-02)
En esta tesis se trabaja en el problema de la estimación del parámetro de una familia exponencial de distribuciones de Gibbs, y su relación con el proceso de segmentación contextual de imágenes vía el algoritmo Iterated ...
Categorías tensoriales : representaciones y extensiones
(2014-07)
En el presente trabajo se busca dar ejemplos explícitos de categorías tensoriales, usando la maquinaria de las representaciones de tales categorías y las bicategorías; ambos conceptos recientemente introducidos en el ámbito ...
Estimación en parámetros en problemas inversos
(2014-05)
En esta tesis se estudian problemas de optimización cuyas restricciones son ecuaciones en derivadas parciales parabólicas. En el primer caso se estima el coeficiente de difusión, correspondiente a un problema de difusión ...
Modelos de procesos físicos en prácticas clínicas con radiación ionizante
(2014)
Dentro del ámbito médico es sabido que un diagnóstico temprano puede ser la mejor estrategia para la prevención de numerosas enfermedades, especialmente las de tipo oncológico. Las técnicas radiológicas constituyen un ...
Dinámica bacteriana en sustratos micro-diseñados
(2014)
Estudiamos numericamente un sistema complejo fuera del equilibrio: la dinámica de microorganismos autopropulsados microconnados. Originalmente, confinados en micro-cámaras de pocos nanolitros con sustratos microdiseñnados ...
Imágenes de rayos X : técnicas de producción y procesamiento digital destinadas a la detección temprana del cáncer de mama
(2014-12)
El objetivo general de la tesis radica en contribuir a la optimización del proceso de detección temprana del cáncer de mama a partir del estudio de técnicas de producción y procesamiento digital de imágenes destinados a ...
Creación de pares por fotones de alta energía en el campo de electrones libres
(2014)
Se aplica la electrodinámica cuántica para calcular la sección eficaz del proceso de creación de pares electrón-positrón por fotones de alta energía en el campo de electrones libres. El cálculo se hace con los ocho diagramas ...