Listar Computación por título
Mostrando ítems 121-140 de 156
-
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) -
Reparación de redes de Petri para satisfacer propiedades en CTL
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014) -
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) -
Representación y explotación del conocimiento para la fase de descripción en modelado declarativo de ambientes virtuales =Representation and exploitation of knowledge for the phase of description in declarative modeling of virtual environments
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2006) -
Robustez de un Sistema de Marcas de Agua Digitales bajo la condición de un ataque de filtrado linear y ruido aditivo
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
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) -
Selección de atributos para clasificación usando aprendizaje bayesiano y computación evolutiva
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010) -
Selección de coordinación en sistemas basados en sistemas de agentes
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2015) -
Sensores y percepción sintéticos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009) -
Separación ciega de señales mezcladas convolutivamente /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2000) -
Simulación de sistemas de eventos discretos temporizados modelados mediante redes de Petri con cronómetros
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2011) -
Simulación distribuida de tráfico urbano basada en sistemas multi-agente
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009) -
Simulación interactiva de modelos deformables complejos utilizando el algoritmo de intersección de mallas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014) -
Sistema de manejo de color multiplataforma /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2001) -
Sistema de memoria no declarativa para criaturas virtuales :aprendizaje no asociativo
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014) -
Sistema de realidad aumentada
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2006) -
Sistema de regulación de emociones para criaturas virtuales
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2013) -
Síntesis de redes de Petri para minería de procesos basada en la inferencia de T-Invariantes
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2013) -
Stability of concurrent discrete event systems modeled as petri nets =Estabilidad de sistemas de eventos modelados con redes de petri
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2015) -
Surface mesh characterization of dynamics scenes for ray tracing in real-time =Caracterización de mallas de superficie de escenas dinámicas para ray tracing en tiempo real
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014)