Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Raisonnement automatisé : vérification formelle avec LISA

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (52)

Analyse IV : Théorèmes de convergence et fonctions intégrables Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les théorèmes de convergence et les fonctions intégrables, y compris les ensembles intégraux de Lebesgue et de Borel-Cantelli.

Théorème de Cauchy-Hadamard Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le théorème de Cauchy-Hadamard sur le rayon de convergence des séries de puissance et des solutions analytiques réelles.

Intégration complexe et théorème de Cauchy Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'intégration complexe et du théorème de Cauchy, en se concentrant sur les intégrales le long des courbes dans le plan complexe.

Machines à états finis (FSM)Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les machines d'état fini (FSM) dans la conception de systèmes numériques, couvrant les FSM Mealy et Moore, les diagrammes d'état, l'implémentation VHDL et l'encodage d'état.

Problème de vecteur le plus proche: cellules de Voronoi Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le problème vectoriel le plus proche et les cellules Voronoi dans les algorithmes de réduction de réseau.

Caratheodory Bounds : programmation intégrale Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les limites de Caratheodory pour la programmation d'entiers, en se concentrant sur la programmation linéaire et l'existence de solutions optimales.

Calcul des variations: quelques sujets Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre des sujets fondamentaux dans le calcul des variations, y compris les minimiseurs et l'équation d'Euler-Lagrange.

Equidistribution conjointe des points CM Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'équidistribution articulaire des points CM et le théorème de décomposition ergonomique dans des groupes abeliens compacts.

Conceptions de chisel vérifiées de façon formelle Connectez-vous à Mediaspace pour regarder cette vidéo

Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.

Découpe la plus rapide: Algorithme de Leighton-Rao Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'algorithme de Leighton-Rao pour trouver la coupe la plus clairsemée dans un graphique, en se concentrant sur ses étapes et ses fondements théoriques.

Transformée de Fourier : propriétés et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propriétés et les applications de la transformée de Fourier et sa relation avec le principe d'incertitude de Heisenberg.

Lipschitz Cartes et domaines compacts Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les cartes Lipschitz, les domaines compacts, les variables changeantes, les problèmes de comptage et la probabilité des idéaux.

Page 3 sur 3