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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

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 NTRS2006

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 NTRS2005

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↗
NASA NTRS2010

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↗
NASA NTRS2010

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↗
NASA NTRS2002

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↗
NASA NTRS2009

Proceedings of Minnowbrook Workshops I to VI

This DVD collection includes the complete proceedings of Minnowbrook Workshops I through VI. Titles include Minnowbrook I - 1993 Workshop on End-Stage Boundary Layer Transition (NASA/CP-2007-214667, CASI ID 20070038942), Minnowbrook II - 1997 Workshop on Boundary Layer Transition in Turbomachines (NASA/CP-1998-206958, CASI ID 19980206205), Minnowbrook III - 2000 Workshop on Boundary Layer Transition and Unsteady Aspects of Turbomachinery Flow (NASA/CP-2001-210888, CASI ID 20020067662), Minnowbrook IV - 2003 Workshop on Transition and Unsteady Aspects of Turbomachinery Flows (NASA TM-2004-212913, CASI ID 20040121174), Minnowbrook V - 2006 Workshop on Unsteady Flows in Turbomachinery (NASA/CP-2006-214484, CASI ID 20070024781), and Minnowbrook VI - 2009 Workshop on Flow Physics and Control for Internal and External Aerodynamics (NASA/CP-2010-216112, CASI ID 20100018557).

John E. Lagraff↗
NASA NTRS2009

Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification

This NASA conference publication contains the proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, held as part of LICS in Los Angeles, CA, USA, on August 15, 2009. Software certification demonstrates the reliability, safety, or security of software systems in such a way that it can be checked by an independent authority with minimal trust in the techniques and tools used in the certification process itself. It can build on existing validation and verification (V&V) techniques but introduces the notion of explicit software certificates, Vvilich contain all the information necessary for an independent assessment of the demonstrated properties. One such example is proof-carrying code (PCC) which is an important and distinctive approach to enhancing trust in programs. It provides a practical framework for independent assurance of program behavior; especially where source code is not available, or the code author and user are unknown to each other. The workshop wiII address theoretical foundations of logic-based software certification as well as practical examples and work on alternative application domains. Here "certificate" is construed broadly, to include not just mathematical derivations and proofs but also safety and assurance cases, or any fonnal evidence that supports the semantic analysis of programs: that is, evidence about an intrinsic property of code and its behaviour that can be independently checked by any user, intermediary, or third party. These guarantees mean that software certificates raise trust in the code itself, distinct from and complementary to any existing trust in the creator of the code, the process used to produce it, or its distributor. In addition to the contributed talks, the workshop featured two invited talks, by Kelly Hayhurst and Andrew Appel. The PCC 2009 website can be found at http://ti.arc.nasa.gov /event/pcc 091.

Ewen, Denney, W.↗
DOE OSTI2026

Photovoltaic Reliability Workshop (PVRW) 2026 Oral Presentation Proceedings

Each year, the Photovoltaics Reliability Workshop (PVRW) brings together solar technology experts to discuss current and future issues in PV reliability. This document collects oral presentations that were part of PVRW 2026. Click the presentation titles in the following agenda to jump to each file. Not all talks listed in the agenda can be found in this document, as not all presentation files were provided to PVRW for inclusion in these proceedings.

14 SOLAR ENERGY↗
DOE OSTI2025

Preface to the Proceedings of the 25th Topical Conference on High-Temperature Plasma Diagnostics

The 25th Topical Conference on High-Temperature Plasma Diagnostics (HTPD 2024) was held in Asheville, NC, USA, at the Renaissance Asheville Downtown Hotel from 21 to 25 April 2024. This biennial conference brings together scientists and engineers from a variety of fields, including magnetic confinement fusion, inertial confinement fusion, space plasmas, astrophysics, and industrial applications, to discuss mutual problems in the development of instrumentation and experimental techniques for the characterization of high-temperature plasmas. As the 25th meeting, HTPD 2024 represents ∼50 years of ongoing international collaboration on these topics.

Biewer, Theodore [ORNL] (ORCID:0000000174563509)↗
DOE OSTI2024

Proceedings for the Workshop on Applied Nuclear Data Activities 2024

The Workshop for Applied Nuclear Data Activities (WANDA) is designed to increase communication among nuclear data (ND) users in multidisciplinary federal programs, ND producers, ND funders, and other ND experts. It also presents an opportunity to cross-pollinate ideas as well as introduce ND gaps identified by federal programs to ND experts and ND capabilities to the various federal ND users. WANDA 2024 included five technical sessions, three of which focused on Fusion Energy Sciences (FES)—FES Fusion Neutronics, FES Tritium Production, and FES Material Damage—and two stand-alone sessions—Isotopes and Targetry for Nuclear Data and Uncertainty Quantification. The FES sessions successfully brought new voices to the WANDA discussions, expanding the application space in which nuclear data are critical. FES programs need accurate nuclear data with realistic uncertainty quantification to properly estimate, for example, shielding, activation, tritium production, helium production, structural material integrity, and superconducting magnet operation. This includes a variety of projectile (neutrons, photons, charged particles) and target atoms. One of the action items common to all the FES sessions was a need to perform sensitivity studies to identify the prioritization of nuclear data needs. The Isotopes and Targetry session highlighted the many capabilities available to produce high-quality targets for nuclear data measurements, including 3D printing with spherical powders, combustion synthesis coupled with spin coating & electrospraying, inkjet printing, and isotopic doping. These new methods open doors for more accurate measurement, but it was also stressed that sample characterization following any method of fabrication is of the highest importance to accurately interpret nuclear data measurement results that used that sample. The Uncertainty Quantification (UQ) session was broken into two categories: nuclear data uncertainty quantification and the use of that uncertainty quantification. Thematic to the UQ session was the loss of information when going from nuclear data measurement, to evaluation, to evaluated file, and finally to neutron transport calculations. Current evaluated ND libraries typically only contain covariances, which assume that the probability distributions are Gaussian. Beyond being a simplified assumption for many evaluations, this can lead to negative values on many observables when attempting to sample the covariance. The covariance format, however, is very efficient in that a simple set of linear equations can transform uncertainty from parameters or cross sections to the application of interest. Focused collaboration is needed between nuclear data evaluators and nuclear data users to ensure that needs are being met.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2024

Enabling Capabilities and Resources: 2024 Principal Investigator Meeting Proceedings

As a major supporter of basic genome-enabled research, BER’s Biological Systems Science Division (BSSD) fosters scientific discovery by funding - fundamental biological research across disciplines in conjunction with enabling investigational tools and computational capabilities that include world-class user facilities. The overarching goal of BSSD is to provide the necessary fundamental science to understand, predict, manipulate, and design biological systems that underpin innovations for bioenergy and bioproduct production and enhance understanding of natural, DOE-relevant environmental processes (Biological Systems Science Division Strategic Plan, 2021). To accelerate the U.S. bioeconomy, BSSD pursues innovative science underpinning advances in sustainable biofuels and bioproducts and the development of next-generation technologies and computational resources for systems biology research. The 2024 BSSD Enabling Capabilities and Resources (ECR) Principal Investigator (PI) meeting brought together PIs across the BSSD ECR portfolio to confer on shared interests and opportunities. The meeting was held concurrently with the Genomic Science program (GSP) PI meeting to optimize collaboration on research to advance bioenergy and the bioeconomy. Rick Stevens of Argonne National Laboratory gave a keynote on How Generative Artificial Intelligence Can Impact Biological Research (see Keynote: How Generative Artificial Intelligence Can Impact Biological Research, this page). Plenary presentations included several joint sessions that illuminated the integration and understanding of the larger BSSD mission. GSP’s objective is to provide systems-level understanding of plants, microbes, and their communities through its Bioenergy Research, Biosystems Design, and Environmental Microbiome Research portfolios. The objective of the ECR portfolio is to support development of computational and instrumental platforms to advance fundamental GSP research—and BER more broadly— toward the overall goal of understanding the functional principles of living systems and their response to environmental challenges.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2024

Intelligent Manufacturing for Extreme Environments Conference Proceedings

The Intelligent Manufacturing for Extreme Environments (IMEE) workshop was held at the Center for Advanced Energy Studies (CAES) in Idaho Falls, Idaho, May 2–3, 2023, in support of the United States (U.S.) National Science Foundation (NSF) Established Program to Stimulate Competitive Research: Workshop Opportunities (EPSCoR-WO) program. This workshop featured keynote speakers, panels, and breakout sessions with 58 participants. Nuclear reactors need to operate under extreme service conditions, such as high temperatures, corrosive environments, and high-radiation doses. Hence, reactor components must be able to withstand those conditions. The participants envision a future where on demand manufacture of components for small modular reactors (SMRs), microreactors, and other advanced reactor designs are possible. In this future, regulatory bodies accept validated manufacturing processes and standardized feedstocks, thus eliminating the need for individual component testing. However, the necessary technologies and regulatory policies needed for this future do not exist today. Successful innovation would revolutionize the nuclear power sector, enable fast commercial development, create economic opportunities in the U.S., reduce the carbon footprint and associated risks, and promote a skilled and highly competitive workforce. The objective of the workshop was to convene world-class experts, researchers, educators, and students to identify gaps and envision solutions for five interrelated challenges for intelligent manufacturing in extreme environments. The key outcomes of the conference were: (1) to take the opportunity for researchers and educators to network and form collaborations; and (2) to produce a full report to inform policy-makers, industry, and the academic community of various challenges and opportunities in the nuclear energy sector.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Proceedings for the Workshop on Applied Nuclear Data Activities 2025

The 2025 Workshop for Applied Nuclear Data Activities (WANDA) covered four topic areas in nuclear data: Nuclear Data and Deterrence, Nuclear Data Prioritization for Fusion, High-Assay Low-Enriched Uranium and Novel Moderators for Advanced Reactors, and Data Preservation and Data Workflows. The intention of this workshop is to connect different communities that are invested in nuclear data and have their own unique sets of needs for the purposes of sharing information, fostering collaboration in areas of shared interest, and leveraging synergistic capabilities. The attendance of federal program managers at these workshops is essential in creating awareness of the needs of their respective communities and in providing information to better guide funding investments. In each of these topical sessions, a general description of the nuclear data needs and/or capabilities was presented, along with discussions of existing capabilities that could be leveraged, potential synergistic needs or resources, and challenges that must be overcome for the application space to progress. There are many synergistic nuclear data needs among these application spaces. The discussion largely focused on increasing the accuracy of the nuclear data and better quantifying the data uncertainties that have the greatest impact on applications. The full-day session on data processing and data workflows was by nature intended to be synergistic and applicable to all technical sessions at WANDA. A notable common theme that was highlighted across all sessions was the need for accelerated delivery of nuclear data products across complex and time-consuming workflows.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2025

Proceedings of the UT-GOM2-2 Hydrate Pressure Coring Expedition

In the summer and fall of 2023, the University of Texas (UT) Deepwater Hydrate Coring Expedition (UT-GOM2-2) drilled, cored, made downhole measurements, and analyzed samples from the seafloor to the base of the gas hydrate stability zone at Site H, in the Walker Ridge Protracted Area Block 313 (Site H, WR313), in the Terrebonne Basin, deepwater Gulf of America (Gulf of Mexico).

03 NATURAL GAS↗