CentraleSupélec

Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus

We propose an implementation model for the evaluation of the weak λ-calculus, which is invariant for both time and space complexity, in both call-by-name and call-by-value strategies. In other words, this model provides an implementation of any weak call-by-name or weak call-by-v...

Toward Climate-Responsive Ocean–Terrestrial Biorefineries: Integrating Algae and Agricultural Residues for Circular Bioeconomies

Abstract This paper evaluates climate-responsive biorefineries that integrate pelagic Sargassum with agricultural residues to advance circular bioeconomies. Building on scientific priorities emphasized at the 2025 One Ocean Science Congress and emerging policy directions from the...

Analysis of Injector Staging Patterns With Comparisons of Limit Cycle Amplitudes Over a Full Domain of Operation

Abstract Injector staging has recently been demonstrated to control thermoacoustic instabilities in an annular combustor, but its effects were investigated at a single operating point. This work extends this concept to a wide operating domain comprising a range of thermal powers...