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

Mutation sécuritaire dans la pratique

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (41)

Problèmes d'arrêt optimal: théorie et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les problèmes d'arrêt optimaux dans les probabilités appliquées et les processus stochastiques, en se concentrant sur la théorie et les applications pratiques.

Sémantique à grande échelle : définition d'expressions et de commandes arithmétiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.

Cohérence de Cache : Principes et protocoles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis de cohérence du cache, les protocoles et les solutions basées sur les répertoires dans les systèmes multi-cœurs.

Modèles de programmation : aperçu et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les modèles de programmation pour le traitement des mégadonnées, y compris les RDD de Spark et les optimisations.

Polymorphisme dans Coq: Structures de données et fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

Programmation concurrente : de la théorie à la pratique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la théorie et la pratique de la programmation concurrente, couvrant les modèles système, la cohérence du cache et le traitement des graphes.

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.

Demande de priorité purement fonctionnelle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les files d'attente prioritaires purement fonctionnelles, l'implémentation Scala, l'intégration Inoxydable, les propriétés d'exploitation et les files d'attente binomiales.

Numériques pour Fluides, Structures et Electromagnétiques: Règles de projets Connectez-vous à Mediaspace pour regarder cette vidéo

Les étudiants en 'Numerics for Fluids, Structures and Electromagnétiques' doivent compléter les projets individuellement ou par paires, en suivant des règles spécifiques et des critères d'évaluation.

Smart Composites: Matériaux et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le concept, les types et les applications des composites intelligents, y compris les réservoirs de stockage H2 à détection automatique et les skis actifs.

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.

Fonctions d'ordre supérieur: Théorie de l'unification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fonctions d'ordre élevé, l'analyseur et les concepts de vérificateur de type.

Gestion de fichiers et gestion des exceptions en Python Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la gestion de fichiers et la gestion des exceptions dans la programmation Python.

Propositions inductives : comprendre l’évaluation dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.

Fondements des systèmes d'information: Aperçu des cours et concepts clés Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit le cours sur les systèmes d'information, couvrant sa structure, ses objectifs et ses concepts fondamentaux essentiels à la compréhension de la gestion des données et de la prise de décision.

Algorithme de l'aiguille-Wunsch : Alignement des séquences Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'algorithme Needleman-Wunsch pour un alignement optimal des séquences protéiques à l'aide de méthodes de programmation et de notation dynamiques.

Les bases de la programmation LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les éléments essentiels de LabVIEW, résout les problèmes courants, gère le cache et les techniques de visualisation des données.

Algorithmes distribués : Mise en œuvre et évaluation du projet Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et l'évaluation d'un projet pratique dans les algorithmes distribués, en mettant l'accent sur la construction de liens parfaits, la diffusion FIFO et la diffusion causale localisée.

Structures de données: Tuples, Listes, Ensembles, Dicts Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des structures de données Python comme des tuples, des listes, des ensembles et des dictionnaires, mettant l'accent sur les techniques de manipulation et de conversion.

Page 2 sur 3