Buscar
Mostrando ítems 111-120 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)
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)
Control de tráfico urbano basado en sistemas multiagentes
(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)
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)
Traducción de redes de Petri a ecuaciones booleanas para el diseño algebraico de controladores lógicos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010)
Control de congestionamiento y esquemas de transmisión de video en redes de conmutación de paquetes usando mecanismos activos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2008)
Estabilidad en sistemas de eventos discretos modelados con redes de Petri interpretadas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)
Modelado y simulación de sistemas de distribución de agua potable usando redes de Petri híbridas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)
Lógicas temporales lineales para la verificación formal de sistemas de tiempo real
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007)