Séance de cours
Composition algorithmique : jalons du projet Semestre
Séances de cours associées (173)
Collaborative Data Science : outils et flux de travail Git
Explore des outils tels que Git et Docker pour des projets collaboratifs de science des données.
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.
Introduction à Renku
Introduit Renku, une plateforme pour la science collaborative des données, mettant l'accent sur la reproductibilité, la shareability, la réutilisabilité et la sécurité.
Physique numérique I: Semaine 2
Couvre des sujets de physique numérique tels que la formation de paires, la rédaction de rapports et la configuration MATLAB.
Beat musical et Tempo
Déplacez-vous dans le rythme musical, le tempo, le timing expressif et les structures rythmiques, explorant l'entraînement cognitif, les grilles métriques et les transitions rythmiques.
Fonctions en Python
Introduit des fonctions en Python, couvrant les fonctions prédéfinies et définies par l'utilisateur, les paramètres formels et efficaces, et l'importance des docstrings.
HTTPie : Client HTTP en ligne de commande
Couvre des sujets DevOps tels que l'hébergement, le DNS, le déploiement d'OS, les applications, SSL et l'utilitaire Httpie.
Questionnaires interactifs avec H5P
Explore les questionnaires interactifs et H5P pour créer des questions intéressantes, y compris les plateformes Logiquiz et Digiquiz.
Gestion des exceptions en Python
Couvre la gestion des exceptions en Python, y compris try, raise, except, else, et enfin blocks, avec des exemples.
Modèles neuronaux hybrides: Introduction et applications
Couvre les modèles neuronaux hybrides pour les neuroprothèses, l'optimisation de la stimulation nerveuse et la récupération après une lésion de la moelle épinière.