Simulation Technologies (United States)

Beyond Single-Proof Assurance: Multi-Angle Closure Qualification for AI Safety

AI-safety claims are increasingly supported by heterogeneous evidence, including formal verification, behavioral evaluation, adversarial testing, benchmark scores, independent implementations, and runtime monitoring. Yet accumulating successful evaluations does not by itself esta...

Manure to insect farming for feed mitigates nitrogen and greenhouse gas emissions

Livestock manure is nutrient-rich and represents a promising feedstock for insect farming, with insect protein offering a high-quality alternative to conventional crop-based livestock feed. This pathway has substantial potential to mitigate nitrogen (N) and greenhouse gas (GHG) e...

A Partitioned Coupling Approach for Electromechanics Simulations of Skeletal Muscles Using FEBio

ABSTRACT This work presents a partitioned coupling approach for electromechanical simulations of skeletal muscles. For the first time, we couple our highly specialized electrophysiology solver, which computes both force generation in muscle cells and action potential propagation...

Beyond Scaling IV: World Models Without Future Preservation / Meta-Complex Observation and the Changing Structure of Reachable Futures

This paper examines a limitation of predictive and agentic world models: the distinction between predicting future states and observing how an agent's own intervention changes the structure of reachable futures. World models can predict action-conditioned trajectories, and existi...

Decoupling multistep schemes for elliptic–parabolic problems

We study the construction and convergence of decoupling multistep schemes of higher order using the backward differentiation formulae for an elliptic–parabolic problem, which includes multiple-network poroelasticity as a special case. These schemes were first introduced in [Altma...

The Constant κH: Definition, Arithmetic Properties, and Its Relation to C (Paper 19 of the LQG–LQC Intertwiner Series)

IntroductionThe constant C = 3.60329350391382... — studied in depth in Paper 8 [3] — is the maximumvalue of the LQC bounce window function. Paper 8 established its Gamma-function representation, irrationality, and conditional transcendence, and introduced the family C(λ). The pre...

The Recognition Dynamics Framework: Recognition Deepening, the Cosmological Bounce, and the Intertwiner CMB Signature (Paper 23 of the LQG–LQC Intertwiner Series)

1. Introduction1.1 Two motivating problemsClassical general relativity predicts its own breakdown. In a contracting Friedmann–Lemaître–Robertson–Walker(FLRW) universe the scale factor a(t) reaches zero and the energy density diverges at finite time; the field equationsbecome unde...

The Recognition Dynamics Framework: Recognition Deepening, the Cosmological Bounce, and the Intertwiner CMB Signature (Paper 23 of the LQG–LQC Intertwiner Series)

1. Introduction1.1 Two motivating problemsClassical general relativity predicts its own breakdown. In a contracting Friedmann–Lemaître–Robertson–Walker(FLRW) universe the scale factor a(t) reaches zero and the energy density diverges at finite time; the field equationsbecome unde...