Ames Research Center

Results: 1206



#Item
1IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 16:43:22
2Kepler Science Center NASA Ames Research Center Kepler Certified False Positive Table Delivery Log Date

Kepler Science Center NASA Ames Research Center Kepler Certified False Positive Table Delivery Log Date

Add to Reading List

Source URL: exoplanetarchive.ipac.caltech.edu

Language: English - Date: 2018-03-02 18:46:02
    3Assessment in Practice Ethical Reasoning: Assessing a Critical Thinking Skill Keston H. Fulcher, Ph.D., Center for Assessment and Research Studies, Department of Graduate Psychology; Allison J. Ames, Ph.D., Center for As

    Assessment in Practice Ethical Reasoning: Assessing a Critical Thinking Skill Keston H. Fulcher, Ph.D., Center for Assessment and Research Studies, Department of Graduate Psychology; Allison J. Ames, Ph.D., Center for As

    Add to Reading List

    Source URL: learningoutcomesassessment.org

    Language: English - Date: 2018-05-15 21:21:41
      4Assessment in Practice Ethical Reasoning: Assessing a Critical Thinking Skill Keston H. Fulcher, Ph.D., Center for Assessment and Research Studies, Department of Graduate Psychology; Allison J. Ames, Ph.D., Center for As

      Assessment in Practice Ethical Reasoning: Assessing a Critical Thinking Skill Keston H. Fulcher, Ph.D., Center for Assessment and Research Studies, Department of Graduate Psychology; Allison J. Ames, Ph.D., Center for As

      Add to Reading List

      Source URL: www.learningoutcomeassessment.org

      Language: English - Date: 2018-05-15 21:21:41
        5Using Symbolic (Java) PathFinder at NASA Corina S. P˘as˘areanu Carnegie Mellon University/NASA Ames Research Center, Moffett Field, CA 94035, USA,

        Using Symbolic (Java) PathFinder at NASA Corina S. P˘as˘areanu Carnegie Mellon University/NASA Ames Research Center, Moffett Field, CA 94035, USA,

        Add to Reading List

        Source URL: fm.csl.sri.com

        - Date: 2010-10-31 09:09:16
          6NASA Ames Research Center  CASA SilvaCarbon Newsletter and Science Report Issue: January, 2014  In this issue

          NASA Ames Research Center CASA SilvaCarbon Newsletter and Science Report Issue: January, 2014 In this issue

          Add to Reading List

          Source URL: cquest.arc.nasa.gov

          - Date: 2014-07-25 02:56:00
            7Garden­Based Learning at North  Elementary School­­What a Feast!  What a GIG!  Background and Purpose   Garden­Based Learning (GBL) at North Elementary School is entering its third full year

            Garden­Based Learning at North  Elementary School­­What a Feast!  What a GIG!  Background and Purpose  Garden­Based Learning (GBL) at North Elementary School is entering its third full year

            Add to Reading List

            Source URL: phaven-prod.s3.amazonaws.com

            Language: English - Date: 2015-09-01 17:40:49
            8National Aeronautics and Space Administration  TECHNOLOGY INNOVATION MAGAZINE FOR BUSINESS & TECHNOLOGY

            National Aeronautics and Space Administration TECHNOLOGY INNOVATION MAGAZINE FOR BUSINESS & TECHNOLOGY

            Add to Reading List

            Source URL: www.nttc.edu

            Language: English - Date: 2011-02-07 16:46:57
            9Microsoft WordUpdated Research Roadmap Report

            Microsoft WordUpdated Research Roadmap Report

            Add to Reading List

            Source URL: www.coe-cst.org

            Language: English - Date: 2016-01-04 21:45:40
            10BIO for BARRY T. SULLIVAN  Barry Sullivan is currently the Technical Integration Manager for the Airspace Operations and Safety Program (AOSP) Office. In this role, he is primarily responsible for assuring that the uniqu

            BIO for BARRY T. SULLIVAN Barry Sullivan is currently the Technical Integration Manager for the Airspace Operations and Safety Program (AOSP) Office. In this role, he is primarily responsible for assuring that the uniqu

            Add to Reading List

            Source URL: www.aiaa-aviation.org

            Language: English - Date: 2016-04-22 13:04:19