Repositorio Institucional de CIMAT
Not a member yet
1133 research outputs found
Sort by
Attribute driven design (ADD) y software product line (SPL)
Get PDFEn este reporte se da a conocer a detalle los pasos que conforman el método attribute driven design para el diseño arquitectónico de software basado en los atributos de calidad, se ilustra su implementación y los casos regist
Fluctuations of Stable Processes and Exponential Functionals of Hypergeometric Lévy Processes
Get PDFWe study the distribution and various properties of exponential functionals of hypergeometric
Levy processes. We derive an explicit formula for the Mellin transform of the exponential functional
and give both convergent and asymptotic series expansions of its probability density function. As
applications we present a new proof of some of the results on the density of the supremum of a stable
process, which were recently obtained in [25] and [23]. We also derive some new results related to
(i) the entrance law of the stable process conditioned to stay positive, (ii) the entrance law of the
excursion measure of the stable process re ected at its past in mum and (iii) the entrance law and
the last passage time of the radial part of n-dimensional symmetric stable process
Optimalidad de la Estrategía de Barrera en el Problema de Dividendos de Finetti para Procesos de Lévy Espectralmente Negativos y Métodos Numéricos
Get PDFEste trabajo estudia el problema de pago óptimo de dividendos que hace una compañía de seguros a sus accionistas a partir de su proceso de riesgo (o superávit) hasta el momento en que ésta queda en ruina, utilizando el
Cálculo de estructuras utilizando elemento finito con cómputo en paralelo
Get PDFNuestro trabajo trata sobre la solución numérica de problemas de deformación lineal de sólidos por medio del método de elementos finitos, estos problemas se resuelven utilizando estratégias de cómputo en
Automatic camera calibration and structure recovery of multi-planar scenes using two views
No full textIn man-made environments, the presence of planar objects is common. These surfaces are described by walls, doors and many objects such as books, desks and other furniture. Recently, multiple view geometry has been used by the Computer Vision Communit
Un planicador de movimientos para avatares humanoides usando capturas de movimiento
Get PDFEn esta tesis presentamos un algoritmo permitiendo generar animaciones visualmente creibles para personajes virtuales articulados de tipo humanoides, en ambientes poblados de obstaculos. El algoritmo se compone de dos pasos esenciales : (1) ap
Un método WNS-FDTD para las ecuaciones de Maxwell modo TM : aplicación a medios no-homogéneos
Get PDFEn la actualidad escuchamos hablar a menudo sobre los avances tecnológicos de toda índole, en especial de la tecnología inalámbrica. Un claro ejemplo de esto son los teléfonos celulares que desde sus inicios en 1973 por el “padre de la telefonía celular” Martin Cooper [43], hasta la fecha, han progresado de forma asombrante, cada vez con más y mejor tecnología. Sin embargo, pese a ser el celular un instrumento utilizado por la mayoría de las personas, para desconocimiento de muchos, uno de los pilares de la tecnología inalámbrica es la teoría electromagnética
Rastreo de múltiples objetivos interactivos a través de múltiples cámaras
No full textEn este trabajo se propone un método para el rastreo de varios objetivos empleando varias cámaras. Suponiendo que la escena observada es plana y que geometría cámaras-escena(homografías) es conocida, la idea de este t
Análisis de cambios de potencia en señales electroencefalográficas utilizando la descomposición tiempo-frecuencia
Get PDFEn este trabajo se presenta una metodología para el análisis de señales electroencefalográficas. La idea central es establecer los cambios de potencia en los componentes oscilatorios que conforman este tipo de señales
Modelos probabilísticos de tópicos para aplicaciones de minería de datos
Get PDFLos modelos estadísticos establecen la relación entre las variables aleatorias involucradas en un proceso. Mediante el uso de parámetros hacen posible estudiar la estructura de una colección de datos desde un punto de vista m