See All Projects(118)
-
Verification and Validation
Shared by: Neha Rungta
This is a project for analyzing C/C++ programs.
6 members / 1 resources
-
Data Mining and Knowledge Discovery
Shared by: Bryan Matthews
17 members / 1 resources
-
Data Mining and Knowledge Discovery
Shared by: Kamalika Das
1 members / 0 resources
-
Data Mining and Knowledge Discovery
Shared by: Elizabeth Foughty
The Intelligent Data Understanding (IDU) Group collaborates with domain scientists in the fields of Integrated System Health Management, Aeronautics, Space ...
5 members / 0 resources
-
Verification and Validation
Shared by: Matthew Barry
A 2007 study by the National Academy of Sciences provides strong motivation to explore the use of dependability cases as ...
5 members / 1 resources
-
Verification and Validation
Shared by: Alexander Van Dijk
Document sharing for the Flight Opportunities program
1 members / 0 resources
-
Verification and Validation
Shared by: MISTY DAVIES
This project explores the use of heuristic techniques in combination with symbolic (or concolic) execution as a way to find ...
2 members / 1 resources
-
Verification and Validation
Shared by: MISTY DAVIES
Forum and storage for the Summer 2011 Clustering research and experiments. The goal for this Summer will be to explore ...
8 members / 19 resources
-
Data Mining and Knowledge Discovery, Diagnostics, Human Factors, Prognostics, Verification and Validation
Shared by: Elizabeth Foughty
7 members / 1 resources
-
Data Mining and Knowledge Discovery, Diagnostics, Human Factors, Prognostics, Verification and Validation
Shared by: Elizabeth Foughty
Information on tools and technologies developed by NASA for Commercial and General Aviation Operators. Check out some of the Opensource ...
15 members / 0 resources
-
Data Mining and Knowledge Discovery, Verification and Validation
Shared by: MISTY DAVIES
A collaboration between Ames and UC Santa Cruz to perform statistical emulation of complex, nonlinear simulators at NASA. These emulations ...
2 members / 0 resources
-
Data Mining and Knowledge Discovery
Shared by: Stephanie Reynolds
This area can be used for communication about the Research and Test Integration Project. Leave comments, questions, and requests here. ...
7 members / 1 resources
-
Data Mining and Knowledge Discovery, Verification and Validation
Shared by: CAROL WIESEMAN
This project has been created to enable/facilitate collaboration of all those working to develop future aerodynamically and structurally efficient subsonic ...
8 members / 19 resources
-
Shared by: Elizabeth Foughty
5 members / 5 resources
-
Data Mining and Knowledge Discovery, Human Factors, Prognostics
Shared by: Julio Teixeira
Minimal set of events and data visualization for flight data, aiming to measure and ensure quality in helicopter operator on ...
6 members / 0 resources
