Concept
Ad hoc
Related publications (5)
On the Development of a Dynamic Non-linear Closure for Large-Eddy Simulation of the Atmospheric Boundary Layer
A dynamic procedure is developed to compute the model coefficients in the recently introduced modulated gradient models for both momentum and scalar fluxes. The magnitudes of the subgrid-scale (SGS) stress and the SGS flux are estimated using the local equ ...
Springer2014Public Urban Transport, Mobility Patterns and Social Exclusion
What are the social impacts of a new, less efficient public transport system in a city that is known for its inequality concerning access to daily activities and participation in urban life? More precisely, what are the implications of a re-regulated trans ...
EPFL2012Quantitative approaches in developmental biology
The tissues of a developing embryo are simultaneously patterned, moved and differentiated according to an exchange of information between their constituent cells. We argue that these complex self-organizing phenomena can only be fully understood with quant ...
2009Test Selection for Object-Oriented Software Based on Formal Specifications
We propose a method of test selection based on formal specifications, for functional testing of object-oriented software. This method is based on rigorous theoretical foundations. To limit the size of test sets, we present several hypotheses specific to ob ...
Chapman & Hall1998Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications
We propose a test case selection methodology for object-oriented software. This methodology is based on formal specifications and is aimed at verifying the correctness of method interaction of an object or a cluster of objects. The essence of this methodol ...
1998