Séances de cours associées à Tests basés sur les propriétés: techniques et applications avancées

Apprentissage automatique: Bases de la modélisation des matériaux à base de données

Couvre la réduction de dimensionnalité et la régression linéaire dans la modélisation des matériaux axée sur les données.

Des tests à la preuve

Explore le passage des tests logiciels aux spécifications formelles, en soulignant l'importance d'exigences claires en génie logiciel.

Ingénierie des logiciels Fondements

Introduit les fondamentaux de l'ingénierie logicielle, couvrant le traitement de l'instruction, les algorithmes, les langages de programmation, les abstractions, les tests, la sécurité et l'open source.

Introduction à Coq: Expressions arithmétiques et évaluateurs

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

Optimisation des requêtes : Exécution et essais distribués

Explore l'optimisation des requêtes, l'exécution distribuée et les tests dans un projet SmartDataLake.

Tester votre modèle synapse dans un neurone

Explore la mise à l'essai d'un modèle synapse dans un neurone à l'aide du logiciel NEURON.