1. Repositorio de Tesis DGBSDI

Buscar por Escuela o Facultad Programa de Posgrado en Ciencia e Ingeniería de la Computación

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 426 a 445 de 453 < Anterior   Siguiente >
Vista previaTítuloSustentanteFecha de publicación
0715139.pdf.jpgUn algoritmo local para el problema del árbol generador de peso mínimoSoriano Orozco, Marcela Concepción2014
0744277.pdf.jpgUn compilador correcto verificado de mini-ml a la máquina SECD en CoqZúñiga Chávez, Ángel Francisco2016
0821557.pdf.jpgUn estudio de algoritmos para el problema de acuerdo de retícula en un sistema síncronoMartínez Bello, Henry2022
0760866.pdf.jpgUn modelo computacional del desarrollo cognitivo : las primeras habilidades tacto-visualesSánchez Bojórquez, Leonardo2017
0804354.pdf.jpgUn modelo computacional del desarrollo de las primeras manifestaciones de comportamiento intencional en un agente artificial (plataforma iCub)Estrada Ramos, Miguel2020
0770444.pdf.jpgUn modelo computacional para describir la morfología de la leucemia pilosaMendoza Andrade, Nidia2018
0754805.pdf.jpgUn modelo de robótica evolutiva para el reconocimiento explícito de agencialidadCruz Bárcenas, Leticia2017
0304547.pdf.jpgUn modelo para el control del movimiento humano basado en cinematica inversaDuarte Perez, Ricardo2002
0781565.pdf.jpgUn sencillo y eficiente verificador al vuelo para la lógica temporal CTL* escrito en HaskellVázquez Reyes, Cenobio Moisés2018
0692427.pdf.jpgUna estrategia de aglomeración para el mapeo de procesos paralelos, basada en propiedades de corte y flujo en gráficasCatana Salazar, Juan Carlos2013
0784454.pdf.jpgUso de redes neuronales artificiales para la obtención de perfiles de concentraciones de ozono en la zona metropolitana del alle de MéxicoArellano Monreal, Yazaret Irisnelida2019
0771190.pdf.jpgUso de testimonios en un software para mejorar el estado emocional de enfermos renalesLópez Sánchez, Eduardo Rafael2018
0769787.pdf.jpgUso de un método híbrido para tratamiento de imágenes de evolución de cáncer de mamaCruz Castillo, Elpidio2018
0784276.pdf.jpgUso del computo para la simulación de la deformación y recuperación de forma en una barra de PU-SMP MM2520Peza Ortiz, Edebaldo2019
0783722.pdf.jpgUso del cómputo para el diseño de nanoantenas a base de grafenoVargas Oliva, Melisa Carmen2018
0825942.pdf.jpgVariantes del problema de la galería de arte y geometría de orientaciones restringidasMarín Nevárez, Jesús Nestaly2022
0754574.pdf.jpgVectores, entropía, y su aplicación a clasificaciónVargas Godoy, Karla Rocío2017
0814515.pdf.jpgVerificación automática de hechos utilizando un modelo de aprendizaje profundo interpretableCasillas Pérez Soto, Luis Ramón2021
0742265.pdf.jpgVerificación de algoritmos concurrentesSandoval Grajeda, Israel2016
0847976.pdf.jpgVerificación de autoría de discurso cruzado basada en grafos heterogéneosMartínez Galicia, Jorge Alfonso Tonatiuh2023
Mostrando resultados 426 a 445 de 453 < Anterior   Siguiente >