Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (41)

Théorie de l'homogénéisation: Phases isotropes et plaques laminées Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les limites rigoureuses des propriétés efficaces des phases isotropes et des plaques laminées.

Mécanique des fractures: croissance des fissures et lien le plus faible Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mécanique des fractures, la croissance des fissures et la théorie des maillons les plus faibles, en mettant l'accent sur la distribution statistique des tailles de fissures et l'importance de la plus grande fissure dans la défaillance matérielle.

Mécanique des fractures : analyse énergétique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'analyse de l'énergie en mécanique des fractures, en mettant l'accent sur la croissance instable des fissures et l'importance de la conformité dans le comportement structurel.

Analyse des fractures : énergie et mécanique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'analyse macroscopique de l'énergie des fractures, en se concentrant sur la croissance instable des fissures et la mécanique de l'énergie.

Cinématique : Déformation et Expansion Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la cinématique de la déformation, en se concentrant sur l'expansion radiale et linéaire, la torsion et la rotation d'un angle.

Abstraction de données : modules et spécifications dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.

Les bases de la conception de services Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les bases de la conception de services, y compris les modèles et les processus clés, le cadrage des problèmes, la co-création et la cartographie du parcours client.

Chimie quantique Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les valeurs propres, les fonctions propres, les opérateurs ermitiens et la mesure des observables en chimie quantique.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Modélisation computationnelle des microstructures Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la modélisation computationnelle des microstructures, les mesures statistiques, la reconstruction des microstructures et les tests de matériaux virtuels.

Introduction à la programmation : premières étapes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.

Transport de masse : la loi de diffusion moléculaire de Fick Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le transport de masse par diffusion moléculaire, expliquant la première loi de Fick et les valeurs de coefficient de diffusion pour divers matériaux.

Élasticité linéaire : équations d'élasticité linéaire Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les équations de l'élasticité linéaire pour les problèmes statiques avec une petite contrainte, en mettant l'accent sur l'unicité des solutions et les équations de Navier.

Chimie quantique: Fonctions propres et opérateurs ermitiens Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des fonctions propres des opérateurs ermitiens dans la chimie quantique et la quantification des niveaux d'énergie.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Intervalles de confiance et T-Test Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les intervalles de confiance, les tests T et les tests d'hypothèses, y compris les hypothèses et les régions critiques.

Flux continu à travers la zone insaturée Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le flux constant à travers la zone insaturée et explore des cas particuliers.

Travail virtuel en mécanique structurale Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le travail virtuel en mécanique des structures, les critères de stabilité, les calculs de charge de réaction et les systèmes mécaniques à ressorts.

Stabilité d'équation d'onde Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la stabilité du schéma de différence finie d'équation d'onde et de l'excitation résonante.

Compilation séparée: Linker / Loader; Marque Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la compilation séparée, les modules de liaison, le rôle du chargeur et l'utilisation du makefile.

Page 2 sur 3