CLOUD MASK ALGORITHM FOR SNOW/ICE COVERED SURFACES AND THE VALIDATION USING CALIOP OBSERVATIONS OVER GREENLAND Nan Chen, NIA Visitor and Stevens Institute of Technology August 14, 2014, 1:00 pm, NIA,…
Tag: 2014 Seminars
08-11-2014 | Jonathan Laurent: An Insight into SMT-Based Model Checking Techniques for Formal Software Verification
AN INSIGHT INTO SMT-BASED MODEL CHECKING TECHNIQUES FOR FORMAL SOFTWARE VERIFICATION Jonathan Laurent, NIA Visitor from École Normale Supérieure August 11, 2014, 10:00 am, NIA, Rm 101 Seminar Video Abstract:…
08-07-2014 | Hiroshi Asanuma: Proposal of a New Natural Disaster Mitigation Based on Smart Materials and Structural Systems
PROPOSAL OF A NEW NATURAL DISASTER MITIGATION BASED ON SMART MATERIALS AND STRUCTURAL SYSTEMS Prof. Asanuma, Chiba University, Japan August 7, 2014, 2:00 pm, NASA Langley, Bldg 1293A, Rm 222…