Ph.D. thesis in computer science - laboratoire Liris
An additional input to the TD Evaluator is the set of collectors, that specify which properties of system components are necessary to collect the to-be-checked ...
THÈSE - Theses.frA suitable a posteriori error indicator helps the mesh to capture sharp wetting fronts which are also better approximated by a discontinuity ... Maillages hex-dominants: génération, simulation et évaluationComposition du jury. Président : Marie-Odile Berger. Directrice. Inria Grand-Est de recherche. Rapporteurs : Pascal Frey. Professeur. Report of Contributions - IN2P3 Events Directory (Indico)We present the preliminary analysis of an experiment performed at INFN LNL in November 2023 aimed at studying the two-octupole phonon ...
Autres Cours: