• Research dataclose
• Research softwareclose
• Other research productsclose
• 2013-2022close
• Lecture close
• FR close
• English close

École thématique

É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.

Doctoral

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

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

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

Summer school « Sustainability in Bordeaux City & Nouvelle-Aquitaine », Bordeaux INP; Quality / contamination of drinking or beach water, of indoor or outdoor air, of soil or food products, sustainable agriculture… environment and environmental health are big issues for microsensors, with an urgent need for high sensitivity, and most of all high selectivity. Surface Acoustic Wave devices, as well as radio-frequency and optical microsensors are presented as promising devices. Integrated with nano-structured sensitive advanced materials, they can address a large spectrum of applications. Together with recent topics on the development of flexible devices with friendly-printed technologies and wireless solutions for micro-energy, this leads us to perspectives in wireless sensing networks.

Doctoral

Doctoral; Presentation reports current progress of the PhD research. Specifically, it shows an application of R programming language for geostatistical data processing and other methods (QGIS, Python, etc) for Mariana Trench modelling and cartographic mapping. The impact of the geographic location and geological factors on its geomorphology has been studied by methods of statistical analysis and data visualization using R libraries. Research aim is to identify main impact factors affecting variations in the geomorphology of the Mariana Trench: steepness angle and structure of the sediment compression. Research focus is upon understanding variability of factors responsible for the deep ocean trench formation and comparative analysis of its geomorphic structure. It contributes towards investigations of the geology of the Pacific Ocean and the interplay between geomorphic, geological, tectonic and volcanic factors affecting submarine landform formation.