The following pages link to Christophe Brun (Q448979):
Displaying 10 items.
- Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← links)
- Near-wall scaling for turbulent boundary layers with adverse pressure gradient. A priori tests on DNS of channel flow with periodic hill constrictions and DNS of separating boundary layer (Q1020469) (← links)
- Large eddy simulation of compressible channel flow. Arguments in favour of universality of compressible turbulent wall-bounded flows (Q1020484) (← links)
- A nonlinear SGS model based on the spatial velocity increment. Apllication to LES of fully developed pipe flow and round turbulent jet (Q2501835) (← links)
- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls (Q2849508) (← links)
- Modeling the test SGS tensor Tij: An issue in the dynamic approach (Q3555596) (← links)
- Mean flow structure of katabatic winds and turbulent mixing properties (Q5072272) (← links)
- Effects of molecular diffusion on the subgrid-scale modeling of passive scalars (Q5303778) (← links)
- Near-wall scaling for incompressible and compressible flows (Q5427489) (← links)
- (Q5702397) (← links)
