Showing 441 - 460 results of 1,456 for search '"NASA"', query time: 0.29s Refine Results
  1. 441
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Cadavid Rengifo, Hector Fabio; Rocha, Camilo; Muñoz, Cesar
    Published in 2012
    Repositorio Repositorio Institucional ECI

    “... by NASA for commanding and monitoring autonomous systems. This paper reports the development...”
    Get full text
  2. 442
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu
    Published in 2012
    Repositorio Repositorio Institucional ECI

    “... by NASA for commanding and monitoring autonomous systems. This paper reports the development...”
    Get full text
  3. 443
    Article of journal
    Rewriting Logic Semantics of a Plan Execution Language
    Por Dowek, Gilles; Muñoz, César; Rocha, Camilo
    Published in 2010
    Repositorio Repositorio Institucional ECI

    “...The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA...”
    Get full text
  4. 444
    Article of journal
    Synchronous set relations in rewriting logic
    Por Muñoz, César; Rocha Niño, Hernán Camilo
    Published in 2014
    Repositorio Repositorio Institucional ECI

    “... by NASA to support autonomous spacecraft operations....”
    Get full text
  5. 445
    Trabajo de grado de pregrado
    Diseño de caracterización experimental de un motor con combustible RNX
    Por Correa Velasco, Nicolás
    Published in 2024
    Repositorio Séneca: repositorio Uniandes

    Get full text
  6. 446
    Article of investigation
    Generador de energía fotovoltaica DC/AC para corporación expresiones artísticas arcoíris de Bogotá – Usme
    Por Ruiz-Pinzón, Jimmy Alexander
    Published in 2022
    Repositorio RIUCaC - Repositorio U. Católica

    Get full text
  7. 447
    Trabajo de grado de pregrado
    Cuantificación de concentraciones de determinantes de calidad del agua a partir de información teledetectada, en el río Magdalena
    Por Ordóñez Aldana, Cristian Camilo
    Published in 2021
    Repositorio Repositorio Institucional USTA

    Get full text
  8. 448
    Trabajo de grado de pregrado
    Análisis Espacio-Temporal de Variables que Inciden en la Generación de Isla de Calor Urbana en la Localidad de Kennedy
    Por Meneses Figueroa, Tanya Zuleny; Iral Fiquitiva, Paula Andrea
    Published in 2017
    Repositorio Repositorio Institucional USTA

    Get full text
  9. 449
    Concentración de material particulado en superficie de la zona urbana de Medellín, con base en observaciones de fotómetro solar y sensor de calidad del aire
    Por Botina Tautás, Andrea Dayana
    Published in 2023
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  10. 450
    Trabajo de grado de pregrado
    Efecto de la deforestación sobre dela temperatura de superficie en el parque nacional natural (PNN) Sierra la Macarena durante el periodo 2003 - 2019
    Por Diaz, Fabian Andres; Posada Téllez, Fabiola Carolina
    Published in 2020
    Repositorio Repositorio UAN

    Get full text
  11. 451
    Caracterización del comportamiento del Vapor de agua y energía potencial convectiva disponible precedente a eventos de precipitación sobre el Valle de Aburrá
    Por Cuervo López, Carlos Mario
    Published in 2017
    Repositorio Universidad Nacional de Colombia

    “... productos de la mision AIRS (Atmospheric Infrared Sounder) de la NASA, como de escala local usando un...”
    Get full text
    Get full text
  12. 452
    Trabajo de grado de pregrado
    Caminando en Latá Latá, proyecto intercultural de Cajibío : el pensamiento político de una comunidad alternativa que busca vivir con dignidad y paz
    Por Calambas Almendra, Duvan Anderson
    Published in 2019
    Repositorio Biblioteca Digital Universidad Externado de Colombia

    Get full text
    Get full text
  13. 453
    Article of journal
    Balance de exergía de la Turbina de Gas en un Ciclo Brayton Modificado para evaluar Recuperación de Potencia de Salida
    Por Forero Florian, Daniel Eduardo
    Published in 2020
    Repositorio REDICUC - Repositorio CUC

    “... Equilibrium with Applications) de la NASA para validar los resultados del proceso de combustión, bajo el...”
    Get full text
    Get full text
  14. 454
    Article of journal
    Arquitecturas tradicionales y populares: un reto para la historiografía de la arquitectura en Colombia
    Por Gutiérrez-Morales, Guillermo
    Published in 2020
    Repositorio RIUCaC - Repositorio U. Católica

    “... nasa, así como de comunidades negras, en el departamento del Cauca— tiene su razón de ser en la...”
    Get full text
    Get full text
  15. 455
    Pronóstico de fallas en máquinas rotativas con base en modelos matemáticos : Caso de estudio: Rodamientos radiales de bolas
    Por López López, Juan Fernando
    Published in 2017
    Repositorio Repositorio Institucional UTP

    “... fallas de rodamientos proveniente del repositorio de pronóstico de la NASA. En esta metodología de...”
    Get full text
  16. 456
    Trabajo de grado de pregrado
    Saberes y prácticas sobre el cuidado de niños y niñas con enfermedades crónicas respiratorias en una comunidad indígena en el Cauca
    Por Tunubala Reyes, Jhonny Norberto
    Published in 2022
    Repositorio Repositorio UAN

    Get full text
  17. 457
    Trabajo de grado de pregrado
    Aportes educativos para el fortalecimiento de las lenguas Sikuani el caso de Cumaribo-Vichada
    Por Castro Mojica, Karen Dallana
    Published in 2014
    Repositorio RIU - Repositorio Institucional UniLibre

    Get full text
  18. 458
    Article of journal
    Rewriting modulo SMT and open system analysis
    Por Rocha, Camilo; Meseguer, José; Muñoz, César
    Published in 2016
    Repositorio Repositorio Institucional ECI

    Get full text
  19. 459
    Trabajo de grado de pregrado
    Revisión teórica caso adolescente Miguel Ángel Olea Ortegón
    Por León Reyes, Carmen Lizeth; Laverde León, Jessika Camila; Montoya Ardila, Marilyn Hasbleidy
    Published in 2016
    Repositorio Repositorio UCC

    Get full text
  20. 460
    Diseño de un prototipo basado en inteligencia artificial para el aviso anticipado de problemas meteorológicos y ayuda a la planificación de las actividades de las personas del muni...
    Por Vargas Velasquez, Gherard Paul; Charris Carmona, Miguel Angel; Solorzano Pacheco, Jeancarlos; Camargo Garcia, Sebastian David; Olivero Martinez, Alvaro Enrique
    Published in 2023
    Repositorio Repositorio Digital USB

    Get full text
Search Tools: Get RSS Feed — Email this Search