Search NASA⌕ Search

SEARCH · Search NASA

Results for “Guiding Principles”

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 793 records · Page 44

The information content of jet quenching and machine learning assisted observable design

Jets produced in high-energy heavy-ion collisions are modified compared to those in proton-proton collisions due to their interaction with the deconfined, strongly-coupled quark-gluon plasma (QGP). In this work, we employ machine learning techniques to identify important features that distinguish jets produced in heavy-ion collisions from jets produced in proton-proton collisions. We formulate the problem using binary classification and focus on leveraging machine learning in ways that inform theoretical calculations of jet modification: (i) we quantify the information content in terms of Infrared Collinear (IRC)-safety and in terms of hard vs. soft emissions, (ii) we identify optimally discriminating observables that are in principle calculable in perturbative QCD, and (iii) we assess the information loss due to the heavy-ion underlying event and background subtraction algorithms. We illustrate our methodology using Monte Carlo event generators, where we find that important information about jet quenching is contained not only in hard splittings but also in soft emissions and IRC-unsafe physics inside the jet. This information appears to be significantly reduced by the presence of the underlying event. We discuss the implications of this for the prospect of using jet quenching to extract properties of the QGP. Since the training labels are exactly known, this methodology can be used directly on experimental data without reliance on modeling. We outline a proposal for how such an experimental analysis can be carried out, and how it can guide future measurements.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Identification of Ebola Virus Inhibitors Targeting GP2 Using Principles of Molecular Mimicry

A key step in the Ebola virus (EBOV) replication cycle involves conformational changes in viral glycoprotein 2 (GP2) which facilitate host-viral membrane fusion and subsequent release of the viral genome. Ebola GP2 plays a critical role in virus entry and has similarities in mechanism and structure to the HIV gp41 protein for which inhibitors have been successfully developed. In this work, a putative binding pocket for the C-terminal heptad repeat in the N-terminal heptad repeat trimer was targeted for identification of small molecules that arrest EBOV-host membrane fusion. Two computational structure-based virtual screens of ~1.7 M compounds were performed (DOCK program) against a GP2 five-helix bundle, resulting in 165 commercially available compounds purchased for experimental testing. Based on assessment of inhibitory activity, cytotoxicity, and target specificity, four promising candidates emerged with 50% inhibitory concentration values in the 3 to 26 μM range. Molecular dynamics simulations of the two most potent candidates in their DOCK-predicted binding poses indicate that the majority of favorable interactions involve seven highly conserved residues that can be used to guide further inhibitor development and refinement targeting EBOV. The most recent Ebola virus disease outbreak, from 2014 to 2016, resulted in approximately 28,000 individuals becoming infected, which led to over 12,000 causalities worldwide. The particularly high pathogenicity of the virus makes paramount the identification and development of promising lead compounds to serve as inhibitors of Ebola infection. To limit viral load, the virus-host membrane fusion event can be targeted through the inhibition of the class I fusion glycoprotein of. In the current work, several promising small-molecule inhibitors that target the glycoprotein GP2 were identified through systematic application of structure-based computational and experimental drug design procedures.

59 BASIC BIOLOGICAL SCIENCES↗

Variational Excitations in Real Solids: Optical Gaps and Insights into Many-Body Perturbation Theory

We present an approach to studying optical band gaps in real solids in which quantum Monte Carlo methods allow for the application of a rigorous variational principle to both ground and excited state wave functions. In tests that include small, medium, and large band gap materials, optical gaps are predicted with a mean absolute deviation of 3.5% against experiment, less than half the equivalent errors for typical many-body perturbation theories. The approach is designed to be insensitive to the choice of density functional, a property we exploit in order to provide insight into how far different functionals are from satisfying the assumptions of many-body perturbation theory. Here, we explore this question most deeply in the challenging case of ZnO, where we show that, although many commonly used functionals have shortcomings, there does exist a one-particle basis in which perturbation theory’s zeroth-order picture is sound. Insights of this nature should be useful in guiding the future application and improvement of these widely used techniques.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Principles of stereo reconstruction of aerial objects using stationary cameras

An overview is given here of the principles and mathematics of stereo reconstruction of objects in the sky using stationary cameras with an emphasis on meteorological applications. Through its Atmospheric Radiation Measurement program, the Department of Energy has operated stereo-photogrammetric cameras since 2017 as part of an effort to measure the life-cycle properties of clouds. At the core of that technology is stereo reconstruction, which calculates the real-world position of an object from the location of the object’s image in two cameras’ photographs. Here, stereo reconstruction is stripped down to its basic elements and presented using conventions tailored to applications in atmospheric science. In addition, the resulting equations are used to illustrate the high sensitivity of reconstructed cloud positions to errors in the cameras’ Euler angles. The interested reader will find here a self-contained guide to performing stereo reconstructions using distortion-corrected images from a pair of calibrated, stationary cameras, as well as a demonstration of the need for high accuracy in the measurement of camera properties and orientations.

47 OTHER INSTRUMENTATION↗

Big Data Analytics for Long-Term Meteorological Observations at Hanford Site

A growing number of physical objects with embedded sensors with typically high volume and frequently updated data sets has accentuated the need to develop methodologies to extract useful information from big data for supporting decision making. This study applies a suite of data analytics and core principles of data science to characterize near real-time meteorological data with a focus on extreme weather events. To highlight the applicability of this work and make it more accessible from a risk management perspective, a foundation for a software platform with an intuitive Graphical User Interface (GUI) was developed to access and analyze data from a decommissioned nuclear production complex operated by the U.S. Department of Energy (DOE, Richland, USA). Exploratory data analysis (EDA), involving classical non-parametric statistics, and machine learning (ML) techniques, were used to develop statistical summaries and learn characteristic features of key weather patterns and signatures. The new approach and GUI provide key insights into using big data and ML to assist site operation related to safety management strategies for extreme weather events. Specifically, this work offers a practical guide to analyzing long-term meteorological data and highlights the integration of ML and classical statistics to applied risk and decision science.

54 ENVIRONMENTAL SCIENCES↗

First-Principles Examination of Multiple Criteria of Organic Solvent Oxidative Stability in Batteries

Oxidative instability of the liquid electrolyte at or near battery cathode oxide surfaces has significant detrimental effects on batteries. Organic solvent molecules are often the fuel and precursors of such degradation processes, releasing electrons and protons that react with cathode oxides and electrolyte anions. These reactions contribute to cathode–electrolyte interphase (CEI) film formation, transition-metal ion dissolution, and phase transformation of the surface regions of the cathode. Here we apply density functional theory calculations to examine four criteria of oxidative stability (oxidation potential, hydrogen removal energies, and initial reactivity on two types of oxide facets) using four different solvent/additive molecules (ethylene carbonate, fluoroethylene carbonate, 1,3-dioxolane, and dimethyl ether). The ranking of molecular stability differs with each criterion. Surprisingly, the all-oxygen-terminated basal planes of layered oxides exhibit lower reaction barriers than spinel surface facets with exposed transition-metal cations, especially for ether solvents; the calculations also suggest basal planes contribute to the dissolution of transition-metal ions. Further, the structure–degradation relation complexity underscores the challenge of understanding the function of the CEI but also offers a guide to future degradation-mitigation strategies including facet engineering. Our predictions and models help establish a framework for future studies relevant to high-voltage conditions.

25 ENERGY STORAGE↗

Barrierless On-Surface Metal Incorporation in Phthalocyanine-Based Molecules

On-surface metalation of metal-free phthalocyanine derivatives is a simple and solvent-free way to fabricate MPc compounds. Using phthalocyanine (H 2 Pc) molecules on Ag(111) as an example, we investigated the atomic-scale mechanisms of on-surface metalation processes using first-principles calculations based on density functional theory. When the molecules are deposited on a substrate first, we find that transition-metal atoms, except for Zn, drop directly from the vacuum into the molecule’s cavity without an energy barrier and bond with the inner four nitrogen atoms, with the two pyrrolic H atoms still in place. Subsequently, the two H atoms transfer to the substrate by overcoming small energy barriers and diffuse away. The substrate participates in the reaction by hybridization. In the alternative process, when metal atoms are adsorbed first on the surface and the H 2 Pc molecules are then added, the metal atoms diffuse into the cavity of the molecule via the molecule–surface interface by overcoming finite energy barriers. Finally, the above results provide insights into the on-surface metalation that can guide the control of the reaction pathway and products at the atomic level.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Fokker-Planck Equation Governing the Distribution of Walkers in Auxiliary-Field Quantum Monte Carlo

Auxiliary-field quantum Monte Carlo (AFQMC) is typically formulated as an open-ended random walk in an overcomplete space of Slater determinants, implemented through a Langevin equation. However, the explicit form of the underlying Fokker-Planck equation governing the walker population distribution has remained unknown. Here, in this Letter, we derive the Fokker-Planck equation for AFQMC and propose a novel numerical scheme to solve it. The solution of the Fokker-Planck equation reveals the wave function actually sampled by the AFQMC algorithm. Interestingly, we find that even when the exact ground state is used as a guiding wave function in constrained path AFQMC, contrary to the common assumption, the wave function sampled by AFQMC is not exact. Beyond clarifying several fundamental aspects of AFQMC, the availability of a Fokker-Planck equation formulation opens new avenues for systematically improving its accuracy, which we outline in this Letter.

Monte Carlo methods↗

Computer-controlled finishing via dynamically constraint position-velocity-time scheduler

In a Computer Numerical Controlled (CNC) finishing process, the target material removal from an optical surface is guided by the convolution between the influence function of a machine tool and its dwell time at certain points over the surface. To reduce dynamics stressing and increase machining efficiency, the dwell time must be converted to varying velocities, which are the actual inputs to the machine tool controller. Conventionally, the conversion assumed constant acceleration and relied on linear motion interpolation, which caused discontinuities in velocities. This unsmooth motion affects the material removal distribution, and, thus, the accuracy of the finished surface shape. Many modern CNC machines support the smoother, cubic-polynomial interpolated Position-Velocity-Time (PVT) motion mode; however, the conventional scheduler may fail to provide suitable velocities for the PVT. Here in this study answers this challenge by proposing a novel PVT-based velocity scheduler that achieves smooth motion while considering CNC dynamic limits. Firstly, the principle of the PVT is explained, and the PVT-based velocity scheduler is formulated. Secondly, a quadratic programming is used to optimize the velocities by imposing the CNC dynamic constraints and the C 1 continuities (zeroth and first derivatives are continuous) simultaneously. Thirdly, the smoothness and accuracy of the scheduled velocities are studied on different kinds of tool paths via simulation. Finally, a sub-0.3 nm level surface finishing experiment using ion beam figuring is demonstrated to verify the feasibility of the proposed method. The PVT-based scheduler and simulator code is open-sourced.

36 MATERIALS SCIENCE↗

Phase shifting algorithms for fringe projection profilometry: A review

The principle of structured light and triangulation is used in a wide range of 3D optical metrology applications, such as mechanical engineering, industrial monitoring, computer vision, and biomedicine. Among a multitude of techniques based on this principle, phase shifting pro lometry (PSP) plays a dominant role due to its high attainable measurement accuracy, spatial resolution, and data density. Over the past few decades, many PSP algorithms have been proposed in the literature in order to achieve higher measurement accuracy, lower pattern count, and/or better robustness to different error sources. Besides, many unconventional PSP codification techniques address the problem of absolute phase recovery with few projected patterns, allowing for high-efficiency measurement of objects containing isolated regions or surface discontinuities. In this paper, we present an overview of these state-of-the-art phase shifting algorithms for implementing 3D surface pro lometry. Typical error sources in phase measure- ment for a phase shifting system are discussed, and corresponding solutions are reviewed. The advantages and drawbacks of different PSP algorithms are also summarized to provide a useful guide to the selection of the most appropriate phase shifting technique for a particular application.

36 MATERIALS SCIENCE↗

Alignment and Performance of the Infrared Multi-Object Spectrometer

The Infrared Multi-Object Spectrometer (IRMOS) is a principle investigator class instrument for the Kitt Peak National Observatory 4 and 2.1 meter telescopes. IRMOS is a near-IR (0.8 - 2.5 micron) spectrometer with low-to mid-resolving power (R = 300 - 3000). IRMOS produces simultaneous spectra of approximately 100 objects in its 2.8 x 2.0 arc-min field of view (4 m telescope) using a commercial Micro Electro-Mechanical Systems (MEMS) micro-mirror array (MMA) from Texas Instruments. The IRMOS optical design consists of two imaging subsystems. The focal reducer images the focal plane of the telescope onto the MMA field stop, and the spectrograph images the MMA onto the detector. We describe ambient breadboard subsystem alignment and imaging performance of each stage independently, and ambient imaging performance of the fully assembled instrument. Interferometric measurements of subsystem wavefront error serve as a qualitative alignment guide, and are accomplished using a commercial, modified Twyman-Green laser unequal path interferometer. Image testing provides verification of the optomechanical alignment method and a measurement of near-angle scattered light due to mirror small-scale surface error. Image testing is performed at multiple field points. A mercury-argon pencil lamp provides a spectral line at 546.1 nanometers, a blackbody source provides a line at 1550 nanometers, and a CCD camera and IR camera are used as detectors. We use commercial optical modeling software to predict the point-spread function and its effect on instrument slit transmission and resolution. Our breadboard and instrument level test results validate this prediction. We conclude with an instrument performance prediction for cryogenic operation and first light in late 2003.

Connelly, Joseph A.↗

Bond disproportionation, charge self-regulation, and ligand holes in s - p and in d -electron A B X 3 perovskites by density functional theory

Some ABX 3 perovskites exhibit different local environments (DLE) for the same B atoms in the lattice, an effect referred to as disproportionation, distinguishing such compounds from common perovskites that have single local environments (SLE). The basic phenomenology associated with such disproportionation involves the absence of B-atom charge ordering, the creation of different B-X bond length (“bond alternation”) for different local environments, the appearance of metal (in SLE) to insulator (in DLE) transitions, and the formation of ligand holes. We point out that this phenomenology is common to a broad range of chemical bonding patterns in ABX 3 compounds, either with s-p electron B-metal cations (BaBiO 3 , CsTlF 3 ) or with noble-metal cations (CsAuCl 3 ), as well as with d-electron cations (SmNiO 3 , CaFeO 3 ). Here we show that underlying much of this phenomenology is the “self-regulating response,” whereby in strongly bonded metal-ligand systems with high-lying ligand orbitals, the system protects itself from creating highly charged cations by transferring ligand electrons to the metal, thus preserving a nearly constant metal charge in different local environments, while creating B-ligand bond alternation and ligand-like conduction band (“ligand hole” states). We are asking what are the minimal theory ingredients needed to explain the main features of this SLE-to-DLE phenomenology, such as its energetic driving force, bond length changes, possible modifications in charge density, and density of state changes. Using as a guide the lowering of the total energy in DLE relative to SLE, we show that density functional calculations describe this phenomenology across the whole chemical bonding range without resort to special strong correlation effects, beyond what DFT naturally contains. In particular, lower total energy configurations (DLE) naturally develop bond alternation, gapping of the metallic SLE state, and absence of charge ordering with ligand hole formation.

36 MATERIALS SCIENCE↗

SARS-CoV-2 RBD antibodies that maximize breadth and resistance to escape

An ideal therapeutic anti-SARS-CoV-2 antibody would resist viral escape 1,2,3 , have activity against diverse sarbecoviruses 4,5,6,7 , and be highly protective through viral neutralization 8,9,10,11 and effector functions 12,13 . Understanding how these properties relate to each other and vary across epitopes would aid the development of therapeutic antibodies and guide vaccine design. Here we comprehensively characterize escape, breadth and potency across a panel of SARS-CoV-2 antibodies targeting the receptor-binding domain (RBD). Despite a trade-off between in vitro neutralization potency and breadth of sarbecovirus binding, we identify neutralizing antibodies with exceptional sarbecovirus breadth and a corresponding resistance to SARS-CoV-2 escape. One of these antibodies, S2H97, binds with high affinity across all sarbecovirus clades to a cryptic epitope and prophylactically protects hamsters from viral challenge. Antibodies that target the angiotensin-converting enzyme 2 (ACE2) receptor-binding motif (RBM) typically have poor breadth and are readily escaped by mutations despite high neutralization potency. Nevertheless, we also characterize a potent RBM antibody (S2E12 8 ) with breadth across sarbecoviruses related to SARS-CoV-2 and a high barrier to viral escape. These data highlight principles underlying variation in escape, breadth and potency among antibodies that target the RBD, and identify epitopes and features to prioritize for therapeutic development against the current and potential future pandemics.

60 APPLIED LIFE SCIENCES↗

Improving and Assessing the Quality of Uncertainty Quantification in Deep Learning

Deep learning (DL) models have enjoyed increased attention in recent years because of their powerful predictive capabilities. While many successes have been achieved, standard deep learning methods suffer from a lack of uncertainty quantification (UQ). While the development of methods for producing UQ from DL models is an active area of current research, little attention has been given to the quality of the UQ produced by such methods. In order to deploy DL models to high-consequence applications, high-quality UQ is necessary. This report details the research and development conducted as part of a Laboratory Directed Research and Development (LDRD) project at Sandia National Laboratories. The focus of this project is to develop a framework of methods and metrics for the principled assessment of UQ quality in DL models. This report presents an overview of UQ quality assessment in traditional statistical modeling and describes why this approach is difficult to apply in DL contexts. An assessment on relatively simple simulated data is presented to demonstrate that UQ quality can differ greatly between DL models trained on the same data. A method for simulating image data that can then be used for UQ quality assessment is described. A general method for simulating realistic data for the purpose of assessing a model’s UQ quality is also presented. A Bayesian uncertainty framework for understanding uncertainty and existing metrics is described. Research that came out of collaborations with two university partners are discussed along with a software toolkit that is currently being developed to implement the UQ quality assessment framework as well as serve as a general guide to incorporating UQ into DL applications.

97 MATHEMATICS AND COMPUTING↗

Developing Multi-Gene CRISPRa/I Programs to Accelerate DBTL Cycles in ABF Hosts Engineered for Chemical Production (CRADA 468)

Bacterial metabolism is comprised of large and complex gene networks that can produce valuable chemical products. Sophisticated organism engineering efforts are required to optimize production of high-value compounds from these networks. In principle, synthetic multi-gene transcriptional programs could be constructed to reengineer these networks for efficient industrial chemical production. In practice, however, our incomplete ability to understand and model the underlying networks, combined with our limited ability to predictably control the expression of multiple genes makes achieving this goal difficult. To overcome these challenges, we will combine new CRISPR-Cas multi-gene expression programs with computational modeling, machine learning, and multi-omics data to enhance the efficacy of design-build-test-learn (DBTL) cycles. For industrially promising microorganisms in early stages of development, creating technologies for rapidly engineering complex multi-gene programs could be transformative for accelerating data- and model-driven strain design. New CRISPR-Cas tools allow programmable gene activation (CRISPRa) or repression (CRISPRi) at multiple genes simultaneously, using the catalytically inactive Cas9 protein (dCas9) with guide RNAs that recognize DNA targets through predictable Watson-Crick base pairing. To enable accelerated DBTL cycles, we will combine these technologies with advanced Agile BioFoundry (ABF) capabilities for multi-omics data collection and machine learning. We will demonstrate the immediate applicability of these tools by rapidly improving the production of an industrial aromatic in multiple ABF organisms. We recently identified and optimized new transcriptional activators that can be linked to programmable CRISPR-Cas DNA binding domains to activate gene expression in E. coli. We can now use these CRISPRa tools as generalizable trans-acting regulators for combinatorial multi-gene expression tuning that can be easily transferred to new pathways and networks without additional genome engineering. We anticipate these tools will also transfer to new hosts. We have recently found that CRISPRa systems developed in E. coli can be readily ported to Pseudomonas putida, suggesting that multi-gene CRISPRa/i programs for diverse ABF organisms may be within reach.

59 BASIC BIOLOGICAL SCIENCES↗

Interfacial Electromechanics Predicts Phase Behavior of 2D Hybrid Halide Perovskites

Quasi-two-dimensional (2D) mixed-cation hybrid halide perovskites (A' 2 A N–1 M N X 3N+1 ; A' = large organic molecule with cationic group, A = [Cs + , CH 3 NH 3 + , HC(NH 2 ) 2 + ], M = [Pb, Sn, Ge], X = [I – , Br – , Cl – ]) have rapidly emerged as candidates to improve the structural stability and device lifetime of 3D perovskite semiconductor devices under operating conditions. The addition of the large A' cation to the traditional AMX 3 structure introduces several synthetic degrees of freedom and breaks M–X bonds, giving rise to peculiar critical phase behavior in the phase space of these complex materials. In this work, we propose a thermodynamic model parametrized by first-principles calculations to generate the phase diagram of 2D and quasi-2D perovskites (q-2DPKs) based on the mechanics and electrostatics of the interface between the A' cations and the metal halide octahedral network. Focusing on the most commonly studied methylammonium lead iodide system where A' is n-butylammonium (BA; CH 3 (CH 2 ) 3 NH 3 + ), we find that the apparent difficulty in synthesizing phase-pure samples with a stoichiometric index N > 5 can be attributed to the energetic competition between repulsion of opposing interfacial dipole layers and mechanical relaxation induced by interfacial stress. Our model shows quantitative agreement with experimental observations of the maximum phase-pure stoichiometric index (N crit ) and explains the nonmonotonic evolution of the lattice parameters with increasing stoichiometric index (N). This model is generalizable to the entire family of q-2DPKs and can guide the design of photovoltaic and optical materials that combine the structural stability of the q-2DPKs while retaining the charge carrier properties of their 3D counterparts.

14 SOLAR ENERGY↗

Acid–base concentration swing for direct air capture of carbon dioxide

This work demonstrates the first experimental evidence of the acid–base concentration swing (ABCS) for direct air capture of CO 2 . This process is based on the effect that concentrating particular acid–base chemical reactants will strongly acidify solution, through Le Chatelier's principle, and result in outgassing absorbed CO 2 . After collecting the outgassed CO 2 , diluting the solution will result in a reversal of the acid–base reaction, basifying the solution and allowing for atmospheric CO 2 absorption. The experimental study examines a system that includes sodium cation as the alkalinity carrier, boric acid, and a polyol complexing agent that reversibly reacts with boric acid to strongly acidify solution upon concentration. Though the tested experimental system faces absorption rate and water capacity limitations, the ABCS process described here provides a basis for further process optimization. A generalized theoretical ABCS reaction framework is developed and different reaction orders and conditions are studied mathematically. Higher order reactions yield favorable cycle output results, reaching volumetric cycle capacity above 50 mM for third-order and 80 mM for fourth-order reactions. Optimal equilibrium constants are determined in order to guide alternative chemical searches and synthetic chemistry design targets. There is a substantial energetic benefit for reaction orders above the first, with second- and third-order ABCS cycles exhibiting a thermodynamic minimum work for the concentrating and outgassing steps around 150 kJ per mole of CO 2 . A significant advantage of the ABCS is that it can be driven through well-developed and widely-deployed desalination technologies, such as reverse osmosis, with opportunities for energy recovery when recombining the concentrated and diluted streams, and extraction can occur directly from the liquid phase upon vacuum application.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

UPC++ v1.0 Programmer’s Guide (Rev. 2023.9.0)

UPC++ is a C++ library that supports Partitioned Global Address Space (PGAS) programming. It is designed for writing efficient, scalable parallel programs on distributed-memory parallel computers. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). The UPC++ control model is single program, multiple-data (SPMD), with each separate constituent process having access to local memory as it would in C++. The PGAS memory model additionally provides one-sided RMA communication to a global address space, which is allocated in shared segments that are distributed over the processes. UPC++ also features Remote Procedure Call (RPC) communication, making it easy to move computation to operate on data that resides on remote processes. UPC++ was designed to support exascale high-performance computing, and the library interfaces and implementation are focused on maximizing scalability. In UPC++, all communication operations are syntactically explicit, which encourages programmers to consider the costs associated with communication and data movement. Moreover, all communication operations are asynchronous by default, encouraging programmers to seek opportunities for overlapping communication latencies with other useful work. UPC++ provides expressive and composable abstractions designed for efficiently managing aggressive use of asynchrony in programs. Together, these design principles are intended to enable programmers to write applications using UPC++ that perform well even on hundreds of thousands of cores.

97 MATHEMATICS AND COMPUTING↗