Search NASA⌕ Search

SEARCH · Search NASA

Results for “program synthesis”

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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Chemical classification program synthesis using generative artificial intelligence

Accurately classifying chemical structures is essential for cheminformatics and bioinformatics, including tasks such as identifying bioactive compounds of interest, screening molecules for toxicity to humans, finding non-organic compounds with desirable material properties, or organizing large chemical libraries for drug discovery or environmental monitoring. However, manual classification is labor-intensive and difficult to scale to large chemical databases. Existing automated approaches either rely on manually constructed classification rules, or are deep learning methods that lack explainability. This work presents an approach that uses generative artificial intelligence to automatically write chemical classifier programs for classes in the Chemical Entities of Biological Interest (ChEBI) database. These programs can be used for efficient deterministic run-time classification of SMILES structures, with natural language explanations. The programs themselves constitute an explainable computable ontological model of chemical class nomenclature, which we call the ChEBI Chemical Class Program Ontology (C3PO). We validated our approach against the ChEBI database, and compared our results against deep learning models and a naive SMARTS pattern based classifier. C3PO outperforms the naive classifier, but does not reach the performance of state of the art deep learning methods. However, C3PO has a number of strengths that complement deep learning methods, including explainability and reduced data dependence. C3PO can be used alongside deep learning classifiers to provide an explanation of the classification, where both methods agree. The programs can be used as part of the ontology development process, and iteratively refined by expert human curators.

Artificial Intelligence↗
DOE OSTI2026

Programmed synthesis of mesoporous protein crystals in cellular reactors

Protein crystals are naturally derived mesoporous materials with versatile structures and physicochemical properties. Here we introduce an intracellular synthesis platform that enables controllable and programmable protein crystallization. In live cells, we show that, after initial nucleation, steady protein expression governs crystal growth, yielding predictable, tunable dynamics in live cells. Exploiting this feature, we combined HaloTag and click chemistries to achieve modular, programmable immobilization of diverse guest materials with spatial patterning down to ~100 nm resolution. We further demonstrated the sequential release of immobilized materials in physiologically relevant fluids. As a proof of concept, we programmed particles to carry human fibroblast growth factors in distinct layers, which elicited designed oscillatory Akt signalling patterns in cell culture. Finally, this work outlines a programmable method for producing mesoporous materials, with possible applications in catalysis and biomedicine.

Yang, Hongru [Johns Hopkins Univ., Baltimore, MD (↗
DOE OSTI2021

Towards performance portability in the Spark astrophysical magnetohydrodynamics solver in the Flash-X simulation framework

Simulations of core-collapse supernovae, and other astrophysical phenomena, are quintessential extreme-scale computing challenges. For core-collapse supernova simulations to be carried out by the ExaStar project under the Exascale Computing Project umbrella, a robust, efficient, and state-of-the-art magnetohydrodynamics solver is a critical requirement. In Flash-X, the primary software instrument for ExaStar, a new magnetohydrodynamics solver has been designed and implemented from the ground up to achieve accuracy and efficiency for simulations of complex astrophysical flows. This new solver, dubbed Spark, uses high-order spatial reconstruction, Runge-Kutta time integration, and an efficient cell-centered approach to satisfying the divergence-free condition for the magnetic fields. Spark was written to be optimized for data locality in cache hierarchy of CPUs. Since data locality optimizations for cache hierarchy are not directly compatible with those of accelerators, we have taken the approach of using program synthesis to avoid massive amounts of code replication that would be necessary if we were to maintain two different versions of the solver. Our program synthesis relies on a simple key-dictionary approach, implemented in python, that enables us to assemble the version of the solver suitable for the target hardware from code fragments identified by specific keys. In this work, we describe the data locality optimizations of the solver for CPUs and accelerators and the program synthesis tools that enable this portability. We also detail the parallel performance of Spark for both CPUs and accelerators.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Using Verified Lifting to Optimize Legacy Stencil Codes (Final Project Report)

This project investigated new techniques for compiling stencil and stencil-like computations. Stencils computations are commonly found in applications such as image processing, physical simulations, image processing, and machine learning. In recent years, many high-performance domain-specific languages (DSLs) have been proposed to optimize stencil computations. To leverage such DSLs, however, existing codes often need to be rewritten. Such rewriting is manual, labor intensive, and error-prone. To alleviate such issues, this project investigated the application of program synthesis and artificial learning techniques to enable stencil computations to automatically leverage new high-performance DSLs. Rather than constructing syntax driven rules, verified lifting uses program synthesis to search for a target code fragment to compile the given input code into. In addition, it also searches for a proof that validates how the found target code fragment preserves the semantics of the original input. Thus, the target code fragment is guaranteed to be semantically equivalent to the input.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Novel Microbial Routes to Synthesize Industrially Significant Precursor Compounds

Ethylene is the most widely employed organic precursor compound in industry. The potential to impact ethylene formation via recently discovered microbial processes is tenable using plentiful CO2 feedstocks. The overall long-term objective of this project was to develop an industrially compatible microbial process to synthesize ethylene in high yields. The key objective of this project was to fully define and initially characterized a recently discovered and genetically regulated anaerobic pathway to produce high levels of ethylene called the Dihydroxyacetone Phosphate - Ethylene Pathway in phototrophic bacteria. This was addressed through the following specific aims: 1. Fully probe the catalytic potential of all enzymes of the DHAP ethylene pathway and determine the regulatory mechanism of DHAP-ethylene pathway gene expression. 2. Discover effective and active ethylene enzymes encoded in cultured and uncultured organisms from anoxic environments. 3.Model the thermodynamics and kinetics of ethylene synthetic pathways to guide engineering efforts in integrating best performing DHAP-ethylene pathway enzymes into model bacteria chassis for enhance ethylene yields. Through this project we discovered the initially missing genetic and enzyme component of the DHAP-ethylene pathway that directly synthesized ethylene and other important industrial compounds like methane and ethane from specific substrates. We uncovered and partially characterized a nitrogenase-like reductase that functions in DHAP-ethylene pathway specifically and in methionine synthesis in general. This nitrogenase-like system is called the Methylthio-Alkane Reductase (MAR) for its ability to cleave volatile organic sulfur compounds into methanethiol (CH3-SH) for methionine synthesis and a hydrocarbon byproduct. Key to the DHAP-ethylene pathway, MAR is the essential enzyme that cleaves 2-methylthioethanol (CH3-S-CH2-CH2-OH) into ethylene. Coordinately, we uncovered that the MAR genes and genes associated with conversion of methanethiol (CH3-SH) to methionine are under genetic control of a LysR Type Transcriptional Regulator called SalR, whose activity is dependent upon the amount of sulfate available to the cell. When sulfate as the preferred sulfur source for cell growth drops below 200 micromolar, SalR become active for expressing the MAR and methionine biosynthesis genes to enable the cell to grow from volatile organic sulfur compounds and make ethylene. Metabolic thermos-kinetic modeling revealed that these MAR reactions for ethylene and other hydrocarbon production are highly thermodynamically favorable and are one of the largest driving forces for ethylene production by the DHAP-ethylene pathway for high ethylene yields. Modeling also indicated that a key aldolase and to a lesser extent an isomerase of the DHAP-ethylene pathway for production of the ethylene precursor, 2-methylthioethanol, also would increase ethylene yields. Through metagenomic mining and gene synthesis by the JGI DNA synthesis program, over 500 aldolase and isomerase homologs were synthesized and screened. From this, variants were uncovered with substantially higher activity that increased ethylene yields 5-fold via the aldolase reaction and 1.5-fold via the isomerase reaction. Each of these elements that increase ethylene production were integrated together via plasmid under appropriate gene promoter elements in the phototrophic bacterium, Rhodospirillum rubrum, resulting in at least 3 orders of magnitude increase in ethylene yield from carbon dioxide feedstock.

10 SYNTHETIC FUELS↗
DOE OSTI2021

Strategies for Constructing and Operating DNA Origami Linear Actuators

Abstract Linear actuators are ubiquitous components at all scales of engineering. DNA nanotechnology offers a unique opportunity for bottom‐up assembly at the molecular scale, providing nanoscale precision with multiple methods for constructing and operating devices. In this paper, DNA origami linear actuators with up to 200 nm travel, based on a rail threading a topologically locked slider, are demonstrated. Two strategies, one‐ and two‐pot assembly, are demonstrated whereby the two components are folded from one or two DNA scaffold strands, respectively. In order to control the position of the slider on the rail, the rail and the inside of the slider are decorated with single‐stranded oligonucleotides with distinct sequences. Two positioning strategies, based on diffusion and capture of signaling strands, are used to link the slider reversibly to determined positions on the rail with high yield and precision. These machine components provide a basis for applications in molecular machinery and nanoscale manufacture including programmed chemical synthesis.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
DOE OSTI2020

Development of a clostridia-based cell-free system for prototyping genetic parts and metabolic pathways

Gas fermentation by autotrophic bacteria, such as clostridia, offers a sustainable path to numerous bioproducts from a range of local, highly abundant, waste and low-cost feedstocks, such as industrial flue gases or syngas generated from biomass or municipal waste. Unfortunately, designing and engineering clostridia remains laborious and slow. The ability to prototype individual genetic part function, gene expression patterns, and biosynthetic pathway performance in vitro before implementing designs in cells could help address these bottlenecks by speeding up design. Unfortunately, a high-yielding cell-free gene expression (CFE) system from clostridia has yet to be developed. Here in this paper, we report the development and optimization of a high-yielding (236 ± 24 μg/mL) batch CFE platform from the industrially relevant anaerobe, Clostridium autoethanogenum. A key feature of the platform is that both circular and linear DNA templates can be applied directly to the CFE reaction to program protein synthesis. We demonstrate the ability to prototype gene expression, and quantitatively map aerobic cell-free metabolism in lysates from this system. We anticipate that the C. autoethanogenum CFE platform will not only expand the protein synthesis toolkit for synthetic biology, but also serve as a platform in expediting the screening and prototyping of gene regulatory elements in non-model, industrially relevant microbes.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

VISION: a modular AI assistant for natural human-instrument interaction at scientific user facilities

Scientific user facilities, such as synchrotron beamlines, are equipped with a wide array of hardware and software tools that require a codebase for human-computer-interaction. This often necessitates developers to be involved to establish connection between users/researchers and the complex instrumentation. The advent of generative AI presents an opportunity to bridge this knowledge gap, enabling seamless communication and efficient experimental workflows. Here we present a modular architecture for the Virtual Scientific Companion by assembling multiple AI-enabled cognitive blocks that each scaffolds large language models (LLMs) for a specialized task. With VISION, we performed LLM-based operation on the beamline workstation with low latency and demonstrated the first voice-controlled experiment at an x-ray scattering beamline. The modular and scalable architecture allows for easy adaptation to new instruments and capabilities. Development on natural language-based scientific experimentation is a building block for an impending future where a science exocortex—a synthetic extension to the cognition of scientists—may radically transform scientific practice and discovery.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Development of a scalable, robust electrocatalytic technology for conversion of CO 2 to formic acid via microstructured materials

This project was funded by the Bioenergy Engineering for Product Synthesis (BEEPS) program under the Funding Opportunity Announcement (FOA) DE-FOA-0001916 Topic Area 5 “Rewiring Carbon Utilization”. This FOA sought projects that would electrocatalytically reduce CO 2 to a carbon intermediate and then upconvert to a multi-carbon product or fuel via non-photosynthetic biological system engineering. The project sought to combine the expertise of OCO Chem, whose chief scientist had previously developed an efficient electrocatalytic reactor for conversion of CO 2 to formate with potential to scale, Montana State University investigators who had recently patented a method for laterally grading membranes with the potential of improving reactant distribution and more uniform efficiency across membrane-based reactors, and University of South Florida which had recently discovered a novel C-C bond forming reaction not known to naturally occur in biological systems and which uses C1 substrates and circumvents the central microbial metabolism.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2023

Fabricating Single Crystal Quantum Dot Solids

The central goal of this research program was to establish fundamental synthesis and processing principles to enable the fabrication of single crystal quantum dot solids (QDS) with programmable structure (i.e., hexagonal and square) and composition. Our approach towards that goal leveraged access to and experience with unique in-situ, multi-probe characterization techniques to understand and ultimately control the fundamental relationship between processing conditions and nucleation and growth of QDS. The program integrated synthesis and fabrication (Hanrath) with in-situ TEM analysis (Kourkoutis) and computational modeling (Clancy) to gain atomic-level insights into the underlying physical phenomena governing assembly and attachment and to guide the development of optimized processing methods. We have established a foundational understanding of physicochemical interactions of self-assembly at a fluid interface, superlattice structure transformation pathways, the critical role of disorder during the initial dimerization of colloidal quantum dot monomers, and the residual strain distribution within the inter-dot epitaxial bridge which hampers the formation of novel electronics states of the quantum dot solids. Collectively, these insights have contributed towards advancing the mechanistic understanding of the complex choreography of assembly and attachment as well as understanding what currently limits further advances in high-fidelity quantum dot solids and tiles.

36 MATERIALS SCIENCE↗
DOE OSTI2024

CEERP SM3 Research, Monitoring, and Evaluation Workshop: Summary Report

The Columbia Estuary Ecosystem Restoration Program (CEERP) workshop, “CEERP Synthesis Memorandum (SM3): Research, Monitoring, and Evaluation,” was held in Portland, Oregon on June 24–25 2024. A diverse group of 26 domain experts with demonstrated knowledge and experience working in the Lower Columbia River Estuary (LCRE) participated. The workshop supported development of the forthcoming third Synthesis Memorandum for CEERP. The workshop furthered the collaborative understanding of the state of the science regarding the LCRE, helped to identify remaining knowledge gaps and uncertainties, and assisted in the prioritization of future restoration research and monitoring.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2026

Carbon-Based Quantum Information Science with Symmetry Protected Topological States (Final Report, DOE-BES award DE-SC0023105)

This research program established the scientific foundation for the rational, bottom-up design, synthesis, isolation, and investigation of symmetry-protected topological (SPT) electron spin qubits embedded in graphene nanoribbons (GNRs). The work focused on integrating atomically precise low-dimensional carbon nanostructures with emerging quantum logic architectures, providing a pathway toward scalable quantum materials for next-generation computing and sensing technologies. A central component of the program was the elucidation of fundamental relationships between real-space molecular architecture, local spin density distributions, electronic band dispersion, and energy level alignment in atomically precise GNR systems. These correlations define key operational parameters of SPT qubits and were systematically investigated to establish quantitative benchmarks against established molecular and solid-state spin qubit platforms. Attention was given to properties critical for quantum device performance, e.g. decoherence times, spectral sharpness of energy transitions, and tunable exchange interactions between spin states. The research demonstrated that these parameters can be engineered with atomic precision through scalable bottom-up synthetic strategies. Theory-guided design played a central role in identifying candidate structures hosting topologically protected spin states. Experimental validation was performed using both ensemble measurements and single-molecule characterization. In addition to advances in quantum materials synthesis, the program developed and applied spin-sensitive scanning probe microscopy techniques capable of directly probing quantum states and dynamic processes with atomic-scale spatial resolution. These capabilities enabled direct observation and characterization of quantum structures at the single-atom level. While the research activities were primarily hypothesis-driven fundamental investigations, the program adopted a comprehensive materials-by-design framework aimed at translating scientific discoveries into technological concepts compatible with scalable and intelligent manufacturing approaches.

36 MATERIALS SCIENCE↗
DOE OSTI2022

The NASA Carbon Monitoring System Phase 2 synthesis: scope, findings, gaps and recommended next steps

Abstract Underlying policy efforts to address global climate change is the scientific need to develop the methods to accurately measure and model carbon stocks and fluxes across the wide range of spatial and temporal scales in the Earth system. Initiated in 2010, the NASA Carbon Monitoring System is one of the most ambitious relevant science initiatives to date, exploiting the satellite remote sensing resources, computational capabilities, scientific knowledge, airborne science capabilities, and end-to-end system expertise that are major strengths of the NASA Earth Science program. Here we provide a synthesis of ‘Phase 2’ activities (2011–2019), encompassing 79 projects, 482 publications, and 136 data products. Our synthesis addresses four key questions: What has been attempted? What major results have been obtained? What major gaps and uncertainties remain? and What are the recommended next steps? Through this review, we take stock of what has been accomplished and identify future priorities toward meeting the nation’s needs for carbon monitoring reporting and verification.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2024

Fundamental Studies of the Vibrational, Electronic, and Photophysical Properties of Tetrapyrrolic Architectures

The ability to capture and utilize light in the near-ultraviolet (NUV), visible and near-infrared (NIR-I and NIR-II) spectral regions (i.e., 320–400, 400–700, 700–1000, 1000–1700 nm) is essential for any solar-energy conversion scheme. Nature employs chlorophylls and bacteriochlorophylls in light-harvesting architectures to absorb light in the blue and red/NIR regions. Accessory pigments (carotenoids, bilins) augment absorption of the (bacterio)chlorophylls in the green region. The harvested energy is funneled to a reaction center protein, where charge separation occurs. Subsequent migration of the electron and the hole stabilizes and stores the energy from light via redox chemistry. The long-term objective of the Bocian/Holten&Kirmaier/Lindsey research program under this DOE grant has been to develop tetrapyrrole-based molecular architectures that absorb sunlight, funnel energy and separate charge with high efficiency. Integral to the program has been iterative cycles of design, synthesis and characterization that provided deep insights into the relationships between chemical composition, electronic structure, and key static and dynamic properties (vibrational, redox, photophysical, energy/charge transfer) of tetrapyrrolic systems. Such architectures included monomers, dyads, larger arrays, and complexes with accessory components. The objective was to develop molecular designs and guiding principles to enhance current and future energy-conversion schemes. Molecular arrays targeted to address one or more fundamental questions concerning light harvesting and energy/charge transfer were constructed from analogues of the naturally occurring hemes, chlorophylls and bacteriochlorophylls. Diverse, tunable synthetic building blocks were prepared that spanned the three respective tetrapyrrole families, which are the porphyrins, chlorins and bacteriochlorins. Thus, the research focused on porphyrins as well as synthetic surrogates for chlorophylls (chlorins, 13 1 -oxophorbines and chlorin-imides) and bacteriochlorophylls (bacteriochlorins, bacterio-13 1 -oxophorbines and bacteriochlorin-imides), generically termed hydroporphyrins. Although the three tetrapyrrole classes (porphyrins, chlorins and bacteriochlorins) absorb light strongly in the violet-blue spectral region, the long-wavelength absorption band typically lies in the green-orange, red, and NIR regions, respectively, with increasing intensity. Understanding the spectra, electronic structure, and energy/charge-transfer properties of such tetrapyrrolic macrocycles is of central importance for the rational design of molecular architectures for solar-energy conversion. Our integrated program of molecular design and synthesis coupled with a variety of spectroscopic, electrochemical, and computational studies have probed from first principles how structural and electronic properties of tetrapyrrolic macrocycles dictate spectral properties as well as the rates of ground-state hole/electron transfer and excited-state energy flow in multicomponent architectures. Individual molecules and multicomponent architectures were designed to test ideas of fundamental importance, often requiring the development of new synthetic methodology. The members of the collaborative team had almost daily discussions by phone and/or e-mail concerning design of molecules, flow of compounds between the labs, planning of physical characterization studies, discussing results and analysis and integrating into design of next generation architectures, and the preparation of manuscripts. Furthermore, students and postdocs in the different labs routinely communicated with one another to facilitate the advancement of the research activities. In short, a highly integrated and collaborative research program was well established among the groups. The research effort involved molecular design and synthesis of synthetic molecular architectures by the Lindsey group integrated with physicochemical and photophysical characterization by the Bocian group and the Holten&Kirmaier group (Figure 2). The Bocian group carried out electrochemical, electron paramagnetic resonance (EPR), resonance Raman (RR), and Fourier-transform infrared (FT-IR) studies, as well as density functional theory (DFT) calculations and the time-dependent extension (TDDFT) to gain insight into excited-state properties. The Holten&Kirmaier group carried out static and time-resolved absorption and fluorescence spectroscopy studies and simulated absorption spectra using molecular orbital (MO) energies from DFT as input to the four-orbital model to complement the TDDFT calculations. The combined measurements provided understanding of the vibrational/electronic properties of the individual molecules and the changes that occur upon incorporation into multicomponent architectures. This information underpinned elucidating the mechanisms and timescales of ground-state hole/electron transfer and excited-state energy and charge transfer.

14 SOLAR ENERGY↗
DOE OSTI2021

Nanoparticle Superlattices through Template-Encoded DNA Dendrimers

The chemical interactions that lead to the emergence of hierarchical structures are often highly complex and difficult to program. In this paper, the synthesis of a series of superlattices based upon 30 different structurally reconfigurable DNA dendrimers is reported, each of which presents a well-defined number of single-stranded oligonucleotides (i.e., sticky ends) on its surface. Such building blocks assemble with complementary DNA-functionalized gold nanoparticles (AuNPs) to yield five distinct crystal structures, depending upon choice of dendrimer and defined by phase symmetry. These DNA dendrimers can associate to form micelle-dendrimers, whereby the extent of association can be modulated based upon surfactant concentration and dendrimer length to produce a low-symmetry Ti5Ga4-type phase that has yet to be reported in the field of colloidal crystal engineering. Taken together, colloidal crystals that feature three different types of particle bonding interactions.template-dendron, dendrimer-dendrimer, and DNA-modified AuNP-dendrimer.are reported, illustrating how sequence-defined recognition and dynamic association can be combined to yield complex hierarchical materials.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2021

PPPL Laboratory Directed Research and Development (Project Final Reports, FY2018 - FY2020)

The U.S. Department of Energy’s (DOE) Princeton Plasma Physics Laboratory (PPPL) is a collaborative national center for fusion energy science, basic sciences, and advanced technology. The Laboratory has three major missions: (1) to develop the scientific knowledge and advanced engineering to enable fusion to power the U.S. and the world; (2) to advance the science of nanoscale fabrication for technologies of tomorrow; and (3) to further the development of the scientific understanding of the plasma universe from laboratory to astrophysical scales. PPPL’s Laboratory Directed Research and Development (LDRD) program supports and encourages creativity and innovation and contributes to its long-term viability. New scientific and technical research areas emerge and are nurtured through the program. Furthermore, new capabilities are developed to enable the Laboratory to meet its and DOE’s missions. The program is used to systematically diversify the Laboratory’s programs and mission. In the last few years, the program has started projects in nanomaterial synthesis, microelectronics, advanced x-ray spectroscopy, high-energy-density physics, superconducting magnet technology, machine learning and artificial intelligence, 3D magnetic fields to optimize fusion plasmas, integration of permanent magnets with simple high-field magnets to reduce the cost of producing complex 3D magnetic fields, advanced computational methods for predictive understanding and control of fusion plasma, development of quantum computing algorithms for plasma physics, liquid metal plasma-facing components for fusion reactors, virtual engineering, and plasma-based space propulsion. The program is also the vehicle to recruit and train talented scientists and engineers with the new skills needed to perform the Laboratory’s mission. Many of the new hires through the program go on to become world-class scientists and engineers in their fields. This report provides descriptions and accomplishments of those LDRD projects that were completed during fiscal years 2018 through 2020.

36 MATERIALS SCIENCE↗