Search NASA⌕ Search

SEARCH · Search NASA

Results for “PROCEEDING”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8

Studying Turbulence Using Numerical Simulation Databases, 8. Proceedings of the 2000 Summer Program

The eighth Summer Program of the Center for Turbulence Research took place in the four-week period, July 2 to July 27, 2000. This was the largest CTR Summer Program to date, involving forty participants from the U. S. and nine other countries. Twenty-five Stanford and NASA-Ames staff members facilitated and contributed to most of the Summer projects. Several new topical groups were formed, which reflects a broadening of CTR's interests from conventional studies of turbulence to the use of turbulence analysis tools in applications such as optimization, nanofluidics, biology, astrophysical and geophysical flows. CTR's main role continues to be in providing a forum for the study of turbulence and other multi-scale phenomena for engineering analysis. The impact of the summer program in facilitating intellectual exchange among leading researchers in turbulence and closely related flow physics fields is clearly reflected in the proceedings.

Source record↗

Proceedings of the Fifth Microgravity Fluid Physics and Transport Phenomena Conference

The Fifth Microgravity Fluid Physics and Transport Phenomena Conference provided the scientific community the opportunity to view the current scope of the Microgravity Fluid Physics and Transport Phenomena Program and research opportunities and plans for the near future. Consistent with the conference theme "Microgravity Research an Agency-Wide Asset" the conference focused not only on fundamental research but also on applications of this knowledge towards enabling future space exploration missions. The conference included 14 invited plenary talks, 61 technical paper presentations, 61 poster presentations, exhibits and a forum on emerging research themes focusing on nanotechnology and biofluid mechanics. This web-based proceeding includes the presentation and poster charts provided by the presenters of technical papers and posters that were scanned at the conference site. Abstracts of all the papers and posters are included and linked to the presentations charts. The invited and plenary speakers were not required to provide their charts and are generally not available for scanning and hence not posted. The conference program is also included.

Singh, Bhim S.↗

Proceedings of the First Annual NRO-OSL/GSFC-ATS Rideshare Conference

This document contains the proceedings of the First Annual NRO-OSL/GSFC-ATS Rideshare Conference. The conference was held April 16-16, 1999, at the Litton/TASC Facility, Dulles, Virginia, and was co-chaired by William Cutlip, Goddard Space Flight Center Access to Space Group, and Jim Liller, National Reconnaissance Office, Office of Space Launch.

Cutlip, William↗

Proceedings of the Tenth JPL Airborne Earth Science Workshop

This publication contains the proceedings of the AVIRIS Earth Science and Applications Workshop - a forum held to report science research and applications results with spectral images measured by the NASA Airborne Visible/Infrared Imaging Spectrometer (AVIRIS). These papers were presented at the Jet Propulsion Laboratory on February 27 and 28 and March 1 and 2, 2001.

Green, Robert O.↗

2001 MAPLD International Conference Proceedings

This CD contains the proceedings from the '2001 MAPLD International Conference', held on 11-13 September 2001 at Johns Hopkins University. Sessions included the following: (1) Applications: Military and Aerospace; (2) Design 1: Processors, Logic, and Programmable Devices; (3) Reliability: Devices and The Effects of the Radiation Environment; (4) Design 2: Systems; and (5) Design 3: Fault Tolerance.

Source record↗

International VLBI Service for Geodesy and Astrometry: General Meeting Proceedings

This volume contains the proceedings of the second General Meeting of the International VLBI Service for Geodesy and Astrometry (IVS), held in Tsukuba, Japan, February 4-7, 2002. The contents of this volume also appear on the IVS Web site at http://ivscc.gsfc.nasa.gov/publications/gm2002. The key-note of the second GM was prospectives for the future, in keeping with the re-organization of the IAG around the motivation of geodesy as 'an old science with a dynamic future' and noting that providing reference frames for Earth system science that are consistent over decades on the highest accuracy level will provide a challenging role for IVS. The goal of the meeting was to provide an interesting and informative program for a wide cross section of IVS members, including station operators, program managers, and analysts. This volume contains 72 papers and five abstracts of papers presented at the GM. The volume also includes reports about three splinter meetings held in conjunction with the GM: a mini-TOW (Technical Operations Workshop), the third IVS Analysis Workshop and a meeting of the analysis working group on geophysical modeling.

Vandenberg, Nancy R.↗

Proceedings of the Second NASA Aviation Safety Program Weather Accident Prevention Review

The Second NASA Aviation Safety Program (AvSP) Weather Accident Prevention (WxAP) Annual Project Review held June 5-7, 2001, in Cleveland, Ohio, presented the NASA technical plans and accomplishments to the aviation community. NASA-developed technologies presented included an Aviation Weather Information System with associated digital communications links, electronic atmospheric reporting technologies, forward-looking turbulence warning systems, and turbulence mitigation procedures. The meeting provided feedback and insight from the aviation community of diverse backgrounds and assisted NASA in steering its plans in the direction needed to meet the national safety goal of 80-percent reduction of aircraft accidents by 2007. The proceedings of the review are enclosed.

Martzaklis, K. Gus↗

Proceedings of the Space Station Freedom Clinical Experts Seminar

These are the proceedings of the Space Station Freedom Health Maintenance Facility 1990 Clinical Experts Seminar held August 27-29, 1990, at the Nassau Bay Hilton, Houston, Texas. Contained within are the agenda, list of medical consultants, executive summary, individual presentations, and the comments generated from the working groups. Issues include the adequacy of current Health Maintenance Facility for Space Station Freedom; impact of having, or not having, an ACRV or physician on board Space Station Freedom; new and developing technologies, techniques, and medications and their impact on the evolving Space Station Freedom, considerations surrounding x-ray, ultrasound, lab, decontamination, blood transfusion, nutrition, safe-haven, computer/telemedicine; suggestions as to how to train the Crew Medical Officer; and, how the consultant network will interface over the next several years.

Billica, Roger P.↗

International VLBI Service for Geodesy and Astrometry 2004 General Meeting Proceedings

This volume is the proceedings of the third General Meeting of the International VLBI Service for Geodesy and Astromctry IVS), held in Otlawa, Canada, February 9-11,2004. The keynote of the third GM was visions for the next decade following the main theme of "Today's Results and Tomorrow's Vision". with a recognition that the outstanding VLBI results available today are the foundation and motivation for the next generation VLBI system requirements. The goal of the meeting was to provide an interesting and informative program for a wide cross section of IVS members, including station operators, program managers, and analysts.

Vandenberg, Nancy R.↗

Studying Turbulence Using Numerical Simulation Databases - X Proceedings of the 2004 Summer Program

This Proceedings volume contains 32 papers that span a wide range of topics that reflect the ubiquity of turbulence. The papers have been divided into six groups: 1) Solar Simulations; 2) Magnetohydrodynamics (MHD); 3) Large Eddy Simulation (LES) and Numerical Simulations; 4) Reynolds Averaged Navier Stokes (RANS) Modeling and Simulations; 5) Stability and Acoustics; 6) Combustion and Multi-Phase Flow.

Moin, Parviz↗

Proceedings 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS-III)

These preceedings contain 18 papers and 4 poster presentation, covering topics such as: multi-agent systems, agent-based control, formalism, norms, as well as physical and biological models of agent-based systems. Some applications presented in the proceedings include systems analysis, software engineering, computer networks and robot control.

Hinchey, Michael↗

The Conference Proceedings of the 2003 Air Transport Research Society (ATRS) World Conference, Volume 2

The UNO Aviation Institute Monograph Series began in 1994 as a key component of the education outreach and information transfer missions of the Aviation Institute and the NASA Nebraska Space Grant & EPSCoR Programs. The series is an outlet for aviation materials to be indexed and disseminated through an efficient medium. Publications are welcome in all aspects of aviation. Publication formats may include, but are not limited to, conference proceedings, bibliographies, research reports, manuals, technical reports, and other documents that should be archived and indexed for future reference by the aviation and world wide communities.

Bowen, Brent↗

23rd Space Simulation Conference Proceedings

The proceedings of this conference address space environment simulation for full-scale ground tests of spacecraft, as well as testing of spacecraft components and instruments. Some of the testing and simulation techniques addressed in the conference papers include: thermal vacuum tests, cryogenic tests, thermal cycling tests, structural dynamics tests, vibration tests, magnetic tests, weightlessness simulation, solar simulation, and Mars environment simulation. The papers also address space environment test facilities, including their control systems.

Source record↗

NASA Space Exploration Logistics Workshop Proceedings

As NASA has embarked on a new Vision for Space Exploration, there is new energy and focus around the area of manned space exploration. These activities encompass the design of new vehicles such as the Crew Exploration Vehicle (CEV) and Crew Launch Vehicle (CLV) and the identification of commercial opportunities for space transportation services, as well as continued operations of the Space Shuttle and the International Space Station. Reaching the Moon and eventually Mars with a mix of both robotic and human explorers for short term missions is a formidable challenge in itself. How to achieve this in a safe, efficient and long-term sustainable way is yet another question. The challenge is not only one of vehicle design, launch, and operations but also one of space logistics. Oftentimes, logistical issues are not given enough consideration upfront, in relation to the large share of operating budgets they consume. In this context, a group of 54 experts in space logistics met for a two-day workshop to discuss the following key questions: 1. What is the current state-of the art in space logistics, in terms of architectures, concepts, technologies as well as enabling processes? 2. What are the main challenges for space logistics for future human exploration of the Moon and Mars, at the intersection of engineering and space operations? 3. What lessons can be drawn from past successes and failures in human space flight logistics? 4. What lessons and connections do we see from terrestrial analogies as well as activities in other areas, such as U.S. military logistics? 5. What key advances are required to enable long-term success in the context of a future interplanetary supply chain? These proceedings summarize the outcomes of the workshop, reference particular presentations, panels and breakout sessions, and record specific observations that should help guide future efforts.

deWeek, Oliver↗

NASA Solid Earth & Natural Hazards (SENH) 2005 Program Review Proceedings

In FY 2002, NASA awarded FY 2003 - FY 2005 funding to 10 projects based on proposals submitted in response to the Solid Earth and Natural Hazards (SENH) NASA Research Announcement. The NASA SEW 2005 Program Review brought the projects' principal investigators together to discuss their research results and to discuss how their results could be brought forward to the user community. The NASA Solid Earth and Natural Hazards (SENH) 2005 Program Review Proceedings include the agenda, a registrant list, and the presentations given during the 3-day event, which was held at the USGS National Center for EROS, Sioux Falls, SD, on May 3-5,2005.

Berglund, Judith↗

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

Proceedings of the Sixth General Meeting of the International VLBI Service for Geodesy and Astrometry

This volume is the proceedings of the sixth General Meeting of the International VLBI Service for Geodesy and Astrometry (IVS), held in Hobart, Tasmania, Australia, February 7-13, 2010. The contents of this volume also appear on the IVS Web site at http://ivscc.gsfc.nasa.gov/publications/gm2010. The keynote of the sixth GM was the new perspectives of the next generation VLBI system under the theme "VLBI2010: From Vision to Reality". The goal of the meeting was to provide an interesting and informative program for a wide cross-section of IVS members, including station operators, program managers, and analysts. This volume contains 88 papers. All papers were edited by the editors for usage of the English language, form, and minor content-related issues.

Behrend, Dirk↗

Proceedings of the 11th JPL Airborne Earth Science Workshop

This publication contains the proceedings of the JPL Airborne Earth Science Workshop forum held to report science research and applications results with spectral images measured by the NASA Airborne Visible/Infrared Imaging Spectrometer (AVIRIS). These papers were presented at the Jet Propulsion Laboratory from March 5-8, 2001. Electronic versions of these papers may be found at the A VIRIS Web http://popo.jpl.nasa.gov/pub/docs/workshops/aviris.proceedings.html

Airborne Visible/Infrared Imaging Spectrometer (AV↗