Ciencias Exactas y Ciencias de la Salud
Permanent URI for this collectionhttps://hdl.handle.net/11285/551014
Pertenecen a esta colección Tesis y Trabajos de grado de los Doctorados correspondientes a las Escuelas de Ingeniería y Ciencias así como a Medicina y Ciencias de la Salud.
Browse
Search Results
- A Wrapper Component-Based Methodology for Integrating Distributed Robotics Systems(Instituto Tecnológico y de Estudios Superiores de Monterrey, 2008-01-05) Guedea Elizalde, Federico; GUEDEA ELIZALDE, FEDERICO; 66688; Dr. Rogelio Soto Rodríguez; Dr. Fakhreddine Karray; Dr. José Luis Gordillo Moscoso; Dr. Ricardo A. Ramírez Mendoza; Dr. Santiago E. Conant PablosBuilding an intelligent robot system has been an extensive research area. There are many advances in components needed to construct a robotic system, such as vision systems, sensory systems, and planning systems among others. Integration of these componen
- Propagation of electromagnetic helmholtz-gauss beams through paraxial optical systems and spatial correlation vortices(Instituto Tecnológico y de Estudios Superiores de Monterrey, 2008-01-05) Hernández Aranda, Raúl Ignacio; HERNANDEZ ARANDA, RAUL IGNACIO; 212391; Gutiérrez Vega, Julio C.; Swatzlander, Grover A.; Rodríguez y Masegosa, Rodolfo; Alarcón Opazo, Hugo; Hinojosa Espinosa, Carlos M.The propagation of electromagnetic beams through a large variety of optical systems has received much attention during the last two decades. Similar attention has been paid to singular points arising on fields that represent optical beams, also known as o
- On the Automated Correction of Faulty Security Protocols(Instituto Tecnológico y de Estudios Superiores de Monterrey, 2008-01-04) López Pimentel, Juan Carlos.; LOPEZ PIMENTEL, JUAN CARLOS; 213096; Dr. Raúl Monroy Borja.; Dr. Dieter Hutter.; Dr. Guillermo Morales Lune.; Dr. Luis Angel Trejo Rodríguez.; Dr. Alberto Oliart Ros.Un Protocolo de Seguridad se usa para establecer una comunicación segura entre dos o más agentes a pesar de condiciones adversas. Crímenes tales como la usurpación de identidades o accesos no autorizados a la información han provocado incontables pérdidas económicas especialmente cuando se realizan transacciones electrónicas. Por ese motivo, la comunidad de los métodos formales ha puesto un interés especial en la verificación de protocolos de seguridad, produciéndose en los últimos años una gran cantidad de técnicas y herramientas.

