Cinvestav-GUADALAJARA: Envíos recientes
Mostrando ítems 621-640 de 766
-
Autenticación de usuarios usando biométricas del ratón =User authentication using mouse biometrics
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2006) -
Coordinación de flujo de trabajo basado en sistemas de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2006) -
Representación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005) -
Estudio y aplicación de nuevas técnicas para verificación modular de sistemas de eventos discretos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005) -
Lenguaje para animación de criaturas virtuales
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005) -
Una herramienta para el análisis de modelos en redes de Petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010) -
Micro-simulación de tráfico urbano basada en sistemas de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005) -
Diagnóstico distribuido de faltas en sistemas de eventos discretos utilizando modelos reducidos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005) -
Una plataforma para la administración de agentes móviles en ambientes inalámbricos =A platform to manage mobile agents in wireless environments
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Especificación multinivel de protocolos de interacción en sistemas de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Diagnosticabilidad y localización de fallas en sistemas de eventos discretos basadas en modelos de redes de Petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Estudio de la paralelización de algoritmos útiles en minería de datos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Modelado y verificación por comprobación de modelos de una clase de sistemas de procesamiento industrial
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
2PSW :algoritmo de escritura segura para tarjetas inteligentes sin contacto
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Seguridad para un sistema de comercio electrónico
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Diagnóstico de fallas en sistemas de manufactura discretos =Petri-net based fault diagnosis of discrete manufacturing systems
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Making conscious virtual humans with personality and emotional intelligence =Creación de humanos virtuales conscientes con personalidad e inteligencia emocional
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010) -
Modelado y análisis de protocolos de interacción entre agentes por medio de redes de petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
Verificación formal de procesos VHDL utilizando lógica temporal lineal
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
Modelo dinámico de organizaciones para el trabajo cooperativo /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2001)