Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B

Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation

Parametric ontologies in formal software engineering

Computations of NOx emissions of domestic boilers

Effect of detailed soot radiative properties on a laminar coflow sooting flame

Modeling propagation of detailed chemical mechanism with tabulated chemistry

A wall model for LES accounting for radiation effects

DNS of a turbulent thermal boundary layer spatially evolving on an isothermal wall from a fully turbulent adiabatic flow

Effect of uncertainties in detailed chemistry on combustion model parameters

Effects of radiation in turbulent boundary layers: Analysis of the mean temperature profile

Wall-modeled les with a new wall model accounting for radiation effects

A Quasi-Monte Carlo method to compute scattering effects in radiative heat transfer: Application to a sooted jet flame

Effect of radiation on enthalpy fluctuations and turbulent heat flux in turbulent boundary layers

Direct numerical simulation of a turbulent channel flow coupled to radiative transfer

Impact of soot radiative properties in coupled simulation of a laminar sooting flame

Numerical modelling of detailed soot radiative properties of a laminar coflow sooting flame

Turbulence-Radiation Interactions in a Spatially Developing Heated Jet

Influence of differential diffusion on super-equilibrium temperature in turbulent non-premixed hydrogen/air flames

Impact of thermal radiation in turbulent boundary layers

Automatic determination of the coupling period in unsteady conjugate heat transfer. Application to large eddy simulation of flame-wall interaction

Dimension reduction and surrogate modelling for auto-igniting flame simulations

High-Fidelity Multiphysics Simulation of a Confined Premixed Swirling Flame Combining Large-Eddy Simulation, Wall Heat Conduction and Radiative Energy Transfer

Reduced-order PCA models for chemical reacting flows

Comparison of different approaches to determine the effect of uncertainties in detailed chemistry on auto-ignition delay for air-hydrogen mixtures

Using numerical simulations to predict partially-premixed laminar flames in a domestic burner

Direct numerical simulation of turbulent premixed flames using intrinsic low-dimensional manifolds

Towards Large Eddy Simulation of CO2 dilution in premixed swirling oxy-flames and assessment of radiation effects

A reactor network model for predicting NOx emissions in gas turbines

MODELLING NATURAL GAS TURBULENT COMBUSTION IN A GAS TURBINE: COUPLING 3D COMBUSTION SIMULATIONS WITH CHEMICAL REACTOR NETWORK FOR ADVANCED NOX PREDICTIONS

Experimental and numerical determination of heat release in counterflow premixed laminar flames

Physical study of radiation effects in a strongly heated turbulent jet using direct numerical simulations

Laminar premixed hydrogen/air counterflow flame simulations using flame prolongation of ILDM with differential diffusion

Comparison of Monte Carlo Methods Efficiency to Solve Radiative Energy Transfer in High Fidelity Unsteady 3D Simulations

A wall model for LES accounting for radiation effects

Study of turbulence-radiation interactions in a heated jet using direct numerical simulation coupled to a non-gray Monte-Carlo solver

Numerical study of counter jet formed by impinging jets in cross-flow and its effect on mixing

Physical study of radiation effects on the boundary layer structure in a turbulent channel flow

Multiphysics Simulation Combining Large-Eddy Simulation, Wall Heat Conduction and Radiative Energy Transfer to Predict Wall Temperature Induced by a Confined Premixed Swirling Flame

Effect of CO2 addition on the stability and the flickering of non-premixed methane/air flames

An Acceleration Method for Numerical Studies of Conjugate Heat Transfer With a Self-Adaptive Coupling Time Step Method: Application to a Wall-Impinging Flame

Comparison Of Monte Carlo Methods Efficiency To Solve Radiative Energy Transfer In High Fidelity Unsteady 3D Simulations

Numerical and experimental study of NO emission in laminar partially premixed flames

Assessment of different chemistry reduction methods based on principal component analysis Comparison of the MG-PCA and score-PCA approaches

Effects of radiation in turbulent channel flow: analysis of coupled direct numerical simulations

Assessment of randomized Quasi-Monte Carlo method efficiency in radiative heat transfer simulations

Two- versus three-dimensional direct simulations of turbulent methane flame kernels using realistic chemistry

Uncertainty quantification for the LES of the H 2 Cabra flame

Tabulation of complex chemistry based on self-similar behavior of laminar premixed flames

Assessment of External Heat Transfer Modeling of a Laboratory-Scale Combustor inside a Pressure-Housing Environment