Search
Now showing items 1-10 of 12
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 ...
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 ...
Deformaciones y degeneraciones de álgebras de Lie
(2014)
El objeto de estudio de esta tesis es la variedad algebraica Ln, de todas las álgebras de Lie complejas de dimensión n y la subvariedad Nn de todas las álgebras de Lie nilpotentes en Ln. Para entender estas variedades se ...
Teorías y modelos en la enseñanza -aprendizaje de la Física Moderna
(2014-02-27)
Se analiza la evolución del pensamiento de profesores de Física en relación a diferentes tópicos de Física Cuántica (FQ). Primeramente se estudia el pensamiento de los docentes sobre la ciencia en general y sobre la FQ en ...