• Research dataclose
• Research softwareclose
• Other research productsclose
• 2014-2023close
• Lecture close
• FR close
• English close
• Hal-Diderot close

École thématique; Signal is an "alternative" synchronous language, with the following features: it addresses open systems and puts clocks ans synchronization at the forefront. To this end, synchronization is synthesized, not verified. We will emphasize the clock and causality calculus and show its use in modular compilation. Then, we'll show how we can extend the clock calculus and improve the power of the language, and extend the causality calculus toward supporting constraint solving (instead of evaluating signal expressions). The latter extension may be suited to physical system modeling.; Conçu et développé à la même période que les autres langages synchrones, Signal, avec le recul, apparaît comme étant à part dans le paysage. Il est dédié aux systèmes dits "ouverts" et se focalise sur la synchronisation et les horloges. La synchronisation d'un programme est synthétisée et non pas vérifiée. Nous expliquerons les principes de cette approche, et, en premier, le calcul d'horloges et de causalité, qui permet de dégager une notion d'interface utile pour la compilation modulaire. Notre objectif, au-delà du langage, est de montrer l'intérêt de ces principes. Nous expliquerons comment exploiter les avancées récentes des techniques de preuve pour augmenter la puissance du calcul d'horloges. Et, surtout, nous expliquerons comment une extension du calcul de causalité permet de traiter des programmes incluant des contraintes numériques, extension utile lorsqu'on s'intéresse à la modélisation de systèmes physiques.

École thématique

École thématique

Doctoral; Turbulence modelling with cavitation. 1-fluid RANS system. Turbulence closure. Compressibility effects. Wall models. Hybrid RANS/LES. 1-fluid filtered equations.

Doctoral; This is a one hour class on the basics of numerical optimization for scientists who tune models based on experiments. It contains a short and hopefully practical classification of optimization algorithms. Some details about non-linear least squares are provided.

Doctoral; In this short contribution I develop a position on the potential of interactions between history and philosophy of computing, computer science and media theory

École thématique

Master; Course in solids continuum mechanics of Master MMM - Mathematical Methods in Mechanics

- Les objets géométriques en géométrie différentielle complexe; - Le concept de positivité en géométrie complexe et ses avatars; - Autour des idées de Hodge en géométrie complexe; - La résolution L2 du D''.; DEA; Notes d'un cours de DEA (50h) dispensé à l'Université de Niamey (Décembre 2009). L'objectif du cours est une initiation aux fondements de la géométrie différentielle et analytique complexe ainsi qu'à certains développements récents : théorie analytique des résidus, problèmes d'intersection propre ou impropre, théorie de Hodge, concepts de positivité de fibrés hermitiens.

DEUG; This course was given during a summer school on AI in Cotonou, Benin, July-Aug. 2021. The school was organized by the Benin Excellence NGO and the Vallet Foundation. The course provides basic concepts about numerical optimization i) for an audience interested in machine learning ii) with a background corresponding to 1 year after high school iii) through examples coded in R from scratch. The algorithms are not exactly those used in state-of-the-art deep learning, but the main underlying concepts are presented.