Search
Now showing items 1-10 of 53
Localización de errores de diseño en circuitos secuenciales sincrónicos mediante métodos formales de satisfacibilidad
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Reducción por simetrías en la comprobación de modelos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Identification of concurrent discrete event systems from input-output sequences =Identificación de sistemas de eventos discretos concurrentes a partir de secuencias de entrada-salida
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Evaluación de la fragmentación en el aprendizaje de árboles de decisión basada en el análisis de las particiones en agrupaciones de datos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Determinación de umbrales en arboles tipo CF utilizando aprendizaje supervisado para algoritmos de clustering jerárquico
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Localización de nodos en redes de sensores basada en composisicón de algoritmos, análisis de patrones y formalismos lógicos de posiciones
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Algoritmo de agrupamiento basado en densidad aplicado a la búsqueda de subestructuras en cúmulos de galaxias
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Una nueva técnica para clasificación utilizando teoría de patrones
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Generación y uso de abstracciones en la comprobación de modelos simbólica
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Diagnóstico distribuido confiable de sistemas de eventos discretos
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)