Concept
Trusted computing base
Séances de cours associées (32)
Atelier Coq: Types de données inductives et preuves
Couvre la définition d'un type de données inductives dans Coq et la façon de construire des preuves de manière interactive en utilisant des tactiques.
L'essentiel de la science des données : Python, Numpy, Pandas et Scikit-learn
Couvre l'essentiel de Data Science en utilisant Python, Numpy, Pandas et Scikit-learn, y compris l'analyse et la classification des séquences d'ADN.
Portraits de phase et modèles Predator-Prey
Explore les portraits de phase dans les systèmes 2D et la dynamique des modèles prédateurs-proies.
Analyse des spectrogrammes : Fondations psychoacoustiques et traitement des signaux
Explore l'analyse du spectrogramme, y compris DFT, STFT et CQT, pour des tâches comme la transcription musicale et la détection d'apparition.
Composition algorithmique : jalons du projet Semestre
Couvre les jalons du semestre dans la composition algorithmique, explorant les concepts musicaux, les outils techniques et les livrables finaux.
Répercussions du mois de naissance sur le succès des athlètes
Enquêter sur la façon dont le mois de naissance influence le succès des athlètes, analyser l'ensemble de données des athlètes japonais pour explorer les tendances dans les dates de naissance et les professions.
Commande magnétique dans les matériaux
Se penche sur l'ordre magnétique dans les matériaux, couvrant les interactions de spin négligées, la température de Curie, la température de Neel et le hamiltonien de Heisenberg.
Prétraitement PNL: Tokenization, Stop Words, Lemmatization
Couvre la tokenisation, la suppression des mots d'arrêt et la lemmatisation pour les tâches PNL.
Analyse dimensionnelle des explosions
Explore l'analyse dimensionnelle des grandes explosions en utilisant des valeurs tabulées pour prédire le comportement explosif.
Synchronisation dans le modèle Kuramoto
Explore le modèle Kuramoto pour la synchronisation dans les oscillateurs de phase et discute des critères de stabilité et des valeurs de couplage critiques.