Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
775 Research products, page 1 of 78

  • Lecture
  • FR
  • English
  • Hal-Diderot

10
arrow_drop_down
Relevance
arrow_drop_down
  • English
    Authors: 
    Nony, Laurent;
    Publisher: HAL CCSD
    Country: France

    DEA; Ce cours en deux parties (deuxième partie ici) introduit les deux modes dynamiques utilisés en microscopie à force atomique (AFM): mode de modulation d'amplitude (AM-AFM), plus connu sous le nom de "Tappling" et mode de modulation de fréquence (FM-AFM), également connu sous le nom de non-contact AFM. Les aspects pratiques et théoriques propres à chaque mode sont discutés et illustrés d'un point de vue expérimental. Concernant le non-contact AFM, nous détaillons point par point l'électronique de contrôle de l'instrument et illustrons son fonctionnement à partir des résultats d'un code numérique qui reprend très précisément une électronique de contrôle existante.

  • Other research product . Other ORP type . Lecture . 2017
    English
    Authors: 
    Dejous, Corinne;
    Publisher: HAL CCSD
    Country: France

    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.

  • English
    Authors: 
    De Mol, Liesbeth;
    Publisher: HAL CCSD
    Country: France

    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

  • Other research product . Lecture . 1989
    English
    Authors: 
    Delorme, J.;
    Publisher: HAL CCSD
    Country: France

    École thématique

  • English
    Authors: 
    Lubin, Thierry;
    Publisher: HAL CCSD
    Country: France

    École thématique; The aim of the school is to educate participants in different theoretical and practical aspects of the design and modelling of superconducting electrical machines. An essential point of this school will be the practical application during the afternoons of theoretical content seen in the morning. Each participant will have access to a computer with all the necessary software. As the school is intended for doctoral students or young researchers, activities allowing the integration of the group's members and networking will also be provided.The main topics covered are: Superconductivity, bulk superconductors and their magnetization Analytical modelling and design of HTS machines Modeling of HTS systems including ferromagnetic materials using open-source softwares (GMSH / GetDP...) Dynamic modelling and evaluation of AC Losses in HTS windings using T-A formulation in COMSOL

  • English
    Authors: 
    Lemenkova, Polina;
    Publisher: HAL CCSD
    Country: France

    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.

  • English
    Authors: 
    Arnaud, N.; Cavalier, F.; Davier, M.; Hello, P.;
    Publisher: HAL CCSD
    Country: France
  • Other research product . Lecture . 2006
    English
    Authors: 
    Grin, Richard;
    Publisher: HAL CCSD
    Country: France

    1. Introduction2. Langage de manipulation des données3. Interrogations4. Langage de définition des données5. Gestion des accès concurrents6. Java et JDBC7. Langage C et Pro*C d'Oracle

  • English
    Authors: 
    Benveniste, Albert; Gautier, Thierry;
    Publisher: HAL CCSD
    Country: France

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

  • English
    Authors: 
    Bréhier, Charles-Edouard;
    Publisher: HAL CCSD
    Country: France

    Doctoral

Send a message
How can we help?
We usually respond in a few hours.