Search NASA⌕ Search

SEARCH · Search NASA

Results for “predictor”

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

Investigating the Impact of Temporal and Directional Traffic Distribution on Crash Frequencies

Safety Performance Functions (SPFs) are mathematical models that establish relationships between the frequency of various crash types and site-specific characteristics, serving as essential tools for traffic safety analysis and roadway design. Traditional SPFs, however, often overlook the temporal fluctuations in traffic flow (such as peak-hour surges) and directional imbalances between opposing traffic streams. These traffic patterns can exacerbate congestion, disrupt driver behavior, and create unexpected conflict points, potentially leading to increased crash frequencies and more severe accidents. In light of this gap, this study aims to explore the potential of incorporating K-factors (representing peak-hour traffic proportions) and D-factors (reflecting the imbalance of directional traffic) into the development of SPFs to assess whether these factors can effectively represent the impact of temporal and spatial traffic distribution on roadway safety. Using crash data from Pennsylvania urban-suburban collector roadways, it is found that the D-factor plays a significant role in predicting the frequency of total crashes, fatal + injury crashes, and angle crashes, with positive coefficient signs indicating that higher directional imbalances correspond to increased crash risks. Similarly, the K-factor emerges as a critical predictor for fatal + injury crashes and rear-end crashes, with negative coefficients suggesting that a more pronounced traffic peak is associated with a reduction in expected crash frequencies. These results highlight the importance of accounting for uneven traffic distribution in both time and direction when developing SPFs, offering deeper insights into crash patterns and supporting more effective safety interventions and roadway designs.

Xu, Guanhao [ORNL] (ORCID:0000000214326357)↗
DOE OSTI2024

Characterization of quantum dot-like emitters in programmable arrays of nanowrinkles of 1L-WSe2

When combined with nanostructured substrates, two-dimensional semiconductors can be engineered with strain to tailor light–matter interactions on the nanoscale. Recently, room-temperature nanoscale exciton localization with controllable wrinkling in 1L-WSe2 was achieved using arrays of gold nanocones. Here, the characterization of quantum dot-like states and single-photon emitters in the 1L-WSe2/nanocone system is reported. The nanocones induce a wide range of strains, and as a result, a diverse ensemble of narrowband, potential single-photon emitters is observed. The distribution of emitter energies reveals that most reside in two spectrally isolated bands, leaving a less populated intermediate band that is spectrally isolated from the ensembles. The spectral isolation is advantageous for high-purity quantum light emitters, and anti-bunched emission from one of these states is confirmed up to 25 K. Although the spatial distribution of strain is expected to influence the orientation of the transition dipoles of the emitters, multimodal emission polarization anisotropy and atomic force microscopy reveal that the macroscopic orientation of the wrinkles is not a good predictor of dipole orientation. Finally, the emission is found to change with thermal cycling from 4 to 290 K and back to 4 K, highlighting the need to control factors such as temperature-induced strain to enhance the robustness of this quantum emitter platform. The initial characterization here shows that controlled nanowrinkles of 1L-WSe2 generate quantum light in addition to uncovering potential challenges that need to be addressed for their adoption into quantum photonic technologies.

Physics↗
DOE OSTI2025

An eigenvalue-based method for computing the relaxed pressure in compressible multiphase flow with N phases

The modeling of compressible multiphase flows is a decades-old area of study with many applications across various fields. Many of these application areas use stiff pressure relaxation. This process involves the solution of a nonlinear system with N + 1 equations and N + 1 unknowns, where N is the number of phases. The resolution of this system with general equations of state (EOSs) is difficult. Furthermore, nonlinear systems can admit multiple solutions, and current solution methods do not address this possibility. Very recently, a thermodynamic relaxation method was introduced, which effectively maps a relatively simple predictor equation of state onto a more complex target equation of state. In this context, the target EOSs are the chosen EOSs for the thermodynamic model. Furthermore, this thermodynamic relaxation has the benefit of simplifying the stiff pressure relaxation system of equations. In this article, we show this system reduces to a polynomial of degree N, which can be recast as an eigenvalue problem through the use of the associated companion matrix. We show that although this eigenvalue method is generally less efficient than Newton–Raphson iteration, it does not suffer from convergence issues and finds all N roots of the polynomial. Hence, the method provides a fail-safe for root-finding iterative methods and a way to address the issue of multiple solutions to the nonlinear system of equations in stiff pressure relaxation.

Eigenvalue algorithm↗
DOE OSTI2026

Estimating coil features from an equilibrium

We present an explicit theoretical framework for constructing artificial modular coils for vacuum stellarator fields based solely on equilibrium properties, achieved through the formulation of a current potential defined on flux surfaces. Contours of constant Boozer toroidal angle can be directly interpreted as proxy coils, and so we demonstrate that key measures of coil complexity—particularly coil non-planarity—are strongly governed by local magnetic-field properties. This approach shows promise as predictor for more realistic coil configurations, providing both a pathway toward deeper understanding of equilibrium–coil relationships and a potential practical proxy for coil design.

Rodríguez, Eduardo [Max Planck Institute for Plasm↗
DOE OSTI2025

Codon bias, nucleotide selection, and genome size predict in situ bacterial growth rate and transcription in rewetted soil

In soils, the first rain after a prolonged dry period represents a major pulse event impacting soil microbial community function, yet we lack a full understanding of the genomic traits associated with the microbial response to rewetting. Genomic traits such as codon usage bias and genome size have been linked to bacterial growth in soils—however, often through measurements in culture. Here, we used metagenome-assembled genomes (MAGs) with 18 O-water stable isotope probing and metatranscriptomics to track genomic traits associated with growth and transcription of soil microorganisms over one week following rewetting of a grassland soil. We found that codon bias in ribosomal protein genes was the strongest predictor of growth rate. We also found higher growth rates in bacteria with smaller genomes, suggesting that reduced genome size enables a faster response to pulses in soil bacteria. Faster transcriptional upregulation of ribosomal protein genes was associated with high codon bias and increased nucleotide skew. We found that several of these relationships existed within phyla, indicating that these associations between genomic traits and activity could be generalized characteristics of soil bacteria. Finally, we used publicly available metagenomes to assess the distribution of codon bias across a pH gradient and found that microbial communities in higher pH soils—which are often more water limited and pulse driven—have higher codon usage bias in their ribosomal protein genes. Together, these results provide evidence that genomic characteristics affect soil microbial activity during rewetting and pose a potential fitness advantage for soil bacteria where water and nutrient availability are episodic.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

Spatially programmed alignment and actuation in printed liquid crystal elastomers

Liquid crystal elastomers (LCEs) exhibit reversible shape morphing behavior when cycled above their nematic-to-isotropic transition temperature. During extrusion-based 3D printing, LCE inks are subjected to coupled shear and extensional flows that can be harnessed to spatially control the alignment of their nematic director along prescribed print paths. Here, we combine experiment and modeling to elucidate the effects of ink composition, nozzle geometry, and printing parameters on director alignment. From rheological measurements, we quantify the dimensionless Weissenberg number ( Wi ) for the flow field each ink experiences as a function of printing conditions and demonstrate that Wi is a strong predictor of LCE alignment. We find that director alignment in LCE filaments printed through a tapered nozzle varies radially when Wi < 1, while it is uniform when Wi ≫ 1. Based on COMSOL simulations and in operando X-ray measurements, we show that LCE inks printed through nozzles with an internal hyperbolic geometry exhibit a more uniform director alignment for a given Wi compared to those through tapered nozzles. Concomitantly, the stiffness along the print direction and actuation strain of printed LCEs increases substantially under such conditions. By varying Wi during printing through adjusting the flow rate “on the fly”, LCE architectures with uniform composition, yet locally encoded shape morphing transitions can be realized.

36 MATERIALS SCIENCE↗
DOE OSTI2024

Correlation of the L-mode density limit with edge collisionality

The "density limit'' is one of the fundamental bounds on tokamak operating space, and is commonly estimated via the empirical Greenwald scaling. This limit has garnered renewed interest in recent years as it has become clear that ITER and many tokamak pilot plant concepts must operate near or above the widely-used Greenwald limit to achieve their objectives. Evidence has also grown that the Greenwald scaling - in its remarkable simplicity - may not capture the full complexity of the disruptive density limit. In this study, we assemble a multi-machine database to quantify the effectiveness of the Greenwald limit as a predictor of the L-mode density limit and identify alternative stability metrics. We find that a two-parameter dimensionless boundary in the plasma edge, $\nu_{*\rm, edge}^{\rm limit} = 3.0 \beta_{T,{\rm edge}}^{-0.4}$, achieves significantly higher accuracy (true negative rate of 97.7\% at a true positive rate of 95\%) than the Greenwald limit (true negative rate 86.1\% at a true positive rate of 95\%) across a multi-machine dataset including metal- and carbon-wall tokamaks (AUG, C-Mod, DIII-D, and TCV). The collisionality boundary presented here can be applied for density limit avoidance in current devices and in ITER, where it can be measured and responded to in real time.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2025

Combining physics-based and data-driven models for quantitatively accurate plasma profile prediction that extrapolates well; with application to DIII-D, AUG, and ITER tokamaks

For design, scenario planning, and control, ITER and all other envisioned tokamaks rely on a variety of statistical and physics-based models to extrapolate to unseen regimes; most notably from low plasma current to high. A 'meta-learning' methodology for combining the accuracy of data-driven models with the generalizability of physics-based models is described and tested, yielding a 5–10 percent improvement in performance beyond either alone for the task of extrapolating time-dependent plasma profile prediction from low- to high- plasma current DIII-D tokamak discharges. Meanwhile, it is shown that both machine learning models extrapolated far-distribution and state-of-the-art 'physics-based' profile predictors fare worse than merely assuming plasma profiles do not change from their initial values. Finally, a variety of other mechanisms for helping data-driven models generalize—transfer learning, adding contextual information from physics simulators, and adding data from the ASDEX Upgrade tokamak—are attempted for similar extrapolation tasks but, in the methodology used in this paper, yield no significant improvement beyond simple data-driven models. Results are summarized in figures 15 and 16.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2025

HIPED: Machine learning framework for spherical tokamak pedestal prediction and optimization

We introduce a Machine Learning framework, HIPED (HeIght and width Predictor for Edge Dynamics), for predicting and optimizing pedestal and core performance in spherical tokamak plasmas. Trained on pedestal and core datasets from the third MAST-U campaign, HIPED provides accurate estimates of pedestal height and width. The results reveal notable differences compared with conventional aspect-ratio studies; for instance, a simple power-law relation between pedestal width and height has very low accuracy. Instead, additional parameters such as normalized plasma pressure, elongation, and Greenwald fraction significantly improve accuracy. HIPED can also be trained only on `control room parameters' to inform experimentalists of which controllable parameters to adjust for improving core-integrated performance. The framework further includes a multi-objective optimization scheme that helps guide experimental planning and optimization. We find Pareto-optimal discharges with respect to various features, including distance from edge-localized modes and normalized plasma pressure, track their parameter trajectories over time, and identify the control room parameters required for these Pareto-optimal discharges. This provides a framework for systematically optimizing core and edge performance according to different experimental priorities.

Parisi, Jason F. [Princeton Plasma Physics Laborat↗
DOE OSTI2024

Error analysis of low-fidelity models for wake steering based on field measurements

The observations collected by two scanning lidars deployed on the roof of a 2.8-MW turbine undergoing a series of imposed yaw offsets are analyzed. The wake lateral displacement detected by the rear-facing lidar correlates well with the yaw offset sensed by the forward-facing lidar. We find that the high-frequency part of the yaw offset signal is connected to wake meandering, whereas the low frequency component is a good predictor for wake displacement due to yaw misalignment. Conditionally averaged wake velocity data for different yaw offsets are used as benchmarks for the validation of a linearized Reynolds-averaged Navier-Stokes and an empirical wake model. A mean error as low as 2% and a good prediction of the wake trajectory are achieved, provided that the wake recovery rate matches the observations.

17 WIND ENERGY↗
DOE OSTI2025

Fine-scale vegetation composition and structure shape spatiotemporal variation in surface albedo across a low Arctic tundra landscape

The unprecedented rate of warming in the Arctic is driving changes in the structure and composition of tundra vegetation. Increases in deciduous tall shrub cover, height, and density are of particular concern, as these changes alter local surface albedo in ways that could amplify effects on the regional surface energy budget (SEB). Despite this importance, significant uncertainties remain in understanding the interplay between fine-scale vegetation patterns and emergent albedo dynamics across space and time. Here, we address these uncertainties by (1) quantifying spatiotemporal variation in surface shortwave albedo and (2) determining the relative influence of fine-scale vegetation composition, structure, and environmental conditions on albedo across a representative low-Arctic tundra landscape on Alaska’s Seward Peninsula. To do this, we synthesized multi-scale, multi-platform remote sensing observations, including a novel Landsat-derived albedo time series, a fine-scale map of Arctic plant functional type (PFT) fractional cover, and airborne LiDAR estimates of canopy height and topography. We show that there are substantial reductions in winter albedo for pixels dominated by tall, woody PFTs (28.13%) relative to pixels dominated by non-woody vegetation, but almost no change in summer albedo (3% increase). Further, we identified a unimodal trend in the relationship between canopy height and the timing of the springtime transition from high (snowy) to low (leafy) albedo (peak at 5.5 m), possibly because of competing ‘snow-fence’ and ‘protrusion’ snow-shrub interactions. To explore the primary drivers of albedo, we constructed a random forest model and found that canopy height and the fractional cover of woody PFTs were as- or more important predictors of winter albedo than topographic features. These findings provide strong evidence for the impacts of local vegetation characteristics on regional surface albedo, highlighting the need for better quantification of snow-shrub interactions to accurately predict the Arctic’s SEB under future environmental change.

Arctic↗
DOE OSTI2024

Metabolite release by nitrifiers facilitates metabolic interactions in the ocean

Microbial chemoautotroph-heterotroph interactions may play a pivotal role in the cycling of carbon in the deep ocean, reminiscent of phytoplankton-heterotroph associations in surface waters. Nitrifiers are the most abundant chemoautotrophs in the global ocean, yet very little is known about nitrifier metabolite production, release, and transfer to heterotrophic microbial communities. To elucidate which organic compounds are released by nitrifiers and potentially available to heterotrophs, we characterized the exo- and endometabolomes of the ammonia-oxidizing archaeon Nitrosopumilus adriaticus CCS1 and the nitrite-oxidizing bacterium Nitrospina gracilis Nb-211. Nitrifier endometabolome composition was not a good predictor of exometabolite availability, indicating that metabolites were predominately released by mechanisms other than cell death/lysis. Although both nitrifiers released labile organic compounds, N. adriaticus preferentially released amino acids, particularly glycine, suggesting that its cell membranes might be more permeable to small, hydrophobic amino acids. We further initiated co-culture systems between each nitrifier and a heterotrophic alphaproteobacterium, and compared exometabolite and transcript patterns of nitrifiers grown axenically to those in co-culture. In particular, B vitamins exhibited dynamic production and consumption patterns in nitrifier-heterotroph co-cultures. We observed an increased production of vitamin B 2 and the vitamin B 12 lower ligand dimethylbenzimidazole by N. adriaticus and N. gracilis, respectively. In contrast, the heterotroph likely produced vitamin B 5 in co-culture with both nitrifiers and consumed the vitamin B 7 precursor dethiobiotin when grown with N. gracilis. Our results indicate that B vitamins and their precursors could play a particularly important role in governing specific metabolic interactions between nitrifiers and heterotrophic microbes in the ocean.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2025

Legacy Effects of Cropping System and Precipitation Influence the Core Camelina sativa Microbiome

Camelina ( Camelina sativa L.) is a potential biofuel crop and beneficial rotation crop in dryland cropping systems. Little is known about camelina microbiota or the legacy effect of soil origin/cropping system zones on camelina-associated microbiome assembly. To explore camelina-microbe associations, we grew camelina in the greenhouse using soil transplanted from 33 locations in the dryland wheat production area of eastern Washington. Bacterial, archaeal, and fungal communities from bulk soil, rhizosphere, and endosphere were characterized with 16S rRNA and internal transcribed spacer amplicon sequencing and were analyzed alongside site-specific climatic and edaphic data. We found that soil from the highest precipitation zone had higher alpha diversity than soil from the driest zone, but this effect was not seen in the greenhouse rhizosphere or endosphere. Plant compartment, cropping system zone, and soil origin all significantly influenced microbial composition, with soil pH and organic matter, as well as precipitation at origin, as major predictors. Analysis of abundance–occupancy distributions showed that the Actinobacteriota Aeromicrobium and Marmoricola and the fungus Pseudogymnoascus in the rhizosphere were plant-selected, while the endosphere was characterized by a number of Actinobacteriota, Rhizobium, and Clostridium. Sphingomonas amplicon sequence variants were also consistently enriched in the rhizosphere, suggesting that they are present in soils collected throughout eastern Washington and may represent good candidate biostimulants. Several lignin decomposing fungi had site-specific rhizospheric distributions, suggesting that they may be dispersal-limited or result from the legacy effect of long-term wheat cropping. Overall, this study contributes to our understanding of microbiome assembly in and on camelina roots while also highlighting the potential impact of cropping history on soil- and plant-associated microbiomes. [Formula: see text] The author(s) have dedicated the work to the public domain under the Creative Commons CC0 “No Rights Reserved” license by waiving all of his or her rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law, 2025.

Barnes, Elle M↗
DOE OSTI2025

Classification of fragile topology enabled by matrix homotopy

Flat bands in twisted materials have attracted considerable attention due to the emergence of correlated phases that can be associated with the non-Wannier-representable nature of its single-particle states. Specifically, these bands can exhibit a class of topology that can be nullified by the addition of trivial bands, termed fragile topology, which has required an expansion of prior classification schemes. However, existing approaches for predicting fragile topology rely on momentum-space methods, e.g., Wilson loops, presenting a fundamental challenge for using fragile topology as a predictor of correlated phases in aperiodic systems, such as incommensurate twist angles in moiré materials. Here, we develop a ℤ 2 energy-resolved topological marker for classifying fragile phases using a system’s position-space description, enabling the direct classification of finite, disordered, and aperiodic materials. By translating the physical symmetries protecting the system’s fragile topological phase into matrix symmetries of the system’s Hamiltonian and position operators, we use matrix homotopy to construct our topological marker while simultaneously yielding a quantitative measure of topological robustness. We demonstrate our framework’s effectiveness in both a low-energy tight-binding model and a continuum photonic crystal model of 𝐶 2 ⁢𝒯-symmetric systems, and find that fragile topology can both persist under strong disorder and even exhibit disorder-induced reentrant phase transitions. Our photonic crystal results also demonstrate the robustness of fragile topology, and the applicability of our approach, to heterostructures lacking a bulk spectral gap. Overall, our framework serves as an efficient tool for elucidating fragile topology, offering guidance for the prediction and discovery of correlated phases in both crystalline and aperiodic materials.

Lee, Ki Young [Sandia National Laboratories (SNL-N↗
DOE OSTI2024

Structural phase diagram for Sm-substituted BiFeO 3 multiferroics

The structural evolution of Sm substituted BiFe⁢O 3 is studied by total x-ray scattering and structure modeling. It is shown that the crystal structure changes from polar to antipolar and then to nonpolar when the Sm to Bi ratio in the material approaches 20% and 40%, respectively, with no intermixing between the structure types. The evolution is driven by lattice strain induced by the difference in the size of Sm and Bi atoms, leading to changes in the pattern of octahedral tilts and Bi off-centering, which, in turn, induce changes in the multiferroic properties. Furthermore, the substitution ratio at which the different structure types emerge appears to be tied up with the average radius of the atomic species occupying the Bi sites in the perovskite lattice and volume occupied by a formula unit, rendering both quantities useful predictor variables for guiding computational searches for substituted BiFe⁢O 3 multiferroics with improved functional properties.

Ferroelectricity↗
DOE OSTI2025

Phase-field model of alloy solidification far from chemical equilibrium at the solid-liquid interface

We further develop a recently introduced phase-field model of far-from-equilibrium alloy solidification under additive manufacturing conditions [K. Ji et al., Phys. Rev. Lett. 130, 026203 (2023)]. This model utilizes enhanced solute diffusivity within the spatially diffuse interface region to quantitatively capture solute trapping with a larger interface width, thereby making simulations on experimentally relevant length and timescales computationally feasible. The main developments presented here include testing the robustness of different variational formulations, extending the model to concentrated alloys by incorporating solid and liquid free energies from thermodynamic databases, as illustrated for hypoeutectic Al-Ag alloys with CALPHAD, extending convergence tests as a function of interface width to 3D, and carrying out simulations in both 2D and 3D to examine existing theories of microstructure development. Our results indicate that the simplest variational formulation that interpolates the bulk free-energy density between its solid and liquid forms is the most robust. Remarkably, for hypoeutectic Al-Ag alloys, this formulation yields a high-velocity nonequilibrium phase diagram that is independent of interface width, thereby demonstrating that the framework of enhanced solute diffusivity can be nontrivially extended to concentrated alloys. Other variational formulations have restricted ranges of materials or processing parameters that can be reliably modeled. We use 2D simulations to construct high-velocity microstructure selection maps for dilute Al-Cu alloys. The results validate the important role of latent heat rejection at the interface and extend the limited predictions of linear stability analysis [A. Karma and A. Sarkissian, Phys. Rev. E 47, 513 (1993)] and sharp-interface 1D simulations to fully nonlinear regimes. Furthermore, 3D simulations, carried out using a computationally tractable axisymmetric cellular/dendritic interface shape, demonstrate a good convergence similar to that observed in 2D as a function of interface width. Full 3D simulations, in turn, reveal that the standard theory of absolute stability is a good predictor of the upper critical velocity beyond which steady-state growth becomes unstable, despite the different morphological manifestations of this instability in 2D and 3D.

36 MATERIALS SCIENCE↗
DOE OSTI2026

The Use of Machine Learning Models for Predicting the Dielectric Strength of Gases

Technological advancements in high voltage systems have pushed sulfur hexafluoride (SF6) to its operational limits. Furthermore, this gas has other drawbacks including a high liquefaction temperature and a high global warming potential. Therefore, there has been an urgent need to find alternative gases with high dielectric strength (DS). In this work, density functional theory (DFT) is used to calculate molecular descriptors that are fed into an artificial neural network (ANN) and a random forest (RF). These machine learning (ML) models are then used to predict the DS for hundreds of molecules. A finite element model (FEM) is also used to calculate the electric field profile of multiple simple electrode geometries as the applied voltage to the system is increased. Results indicate that the random forest model has better generalization to unseen data than the neural network. The highest DS value predicted by the RF was 2.16 relative to the experimental DS of SF6. The results also demonstrate how choosing a gas with a higher DS and a geometry with minimal edges and corners can significantly increase the operating voltage of an electrical system. Due to its superior generalization, the RF represents the most promising path toward an accurate DS predictor once sufficient experimental data are available.

Mileski, Matthew [AFIT]↗
DOE OSTI2025

Computational Performance Bounds Prediction in Quantum Computing With Unstable Noise

Quantum computing has significantly advanced in recent years, boasting devices with hundreds of quantum bits (qubits), hinting at its potential quantum advantage over classical computing. Yet, noise in quantum devices poses significant barriers to realizing this supremacy. Understanding noise’s impact is crucial for reproducibility and application reuse; moreover, the next-generation quantum-centric supercomputing essentially requires efficient and accurate noise characterization to support system management (e.g., job scheduling), where ensuring correct functional performance (i.e., fidelity) of jobs on available quantum devices can even be higher-priority than traditional objectives. However, noise fluctuates over time, even on the same quantum device, which makes predicting the computational bounds for on-the-fly noise is vital. Noisy quantum simulation can offer insights but faces efficiency and scalability issues. Here, in this work, we propose a data-driven workflow, namely QuBound, to predict computational performance bounds. It decomposes historical performance traces to isolate noise sources and devises a novel encoder to embed circuit and noise information processed by a Long Short-Term Memory (LSTM) network. For evaluation, we compare QuBound with a state-of-the-art learning-based predictor, which only generates a single performance value instead of a bound. Experimental results show that the result of the existing approach falls outside of performance bounds, while all predictions from our QuBound with the assistance of performance decomposition better fit the bounds. Moreover, QuBound can efficiently produce practical bounds for various circuits with over 106 speedup over simulation; in addition, the range from QuBound is over 10× narrower than the state-of-the-art analytical approach.

Li, Jinyang [George Mason Univ., Fairfax, VA (Unit↗