Start-up
Regenosca
Séances de cours associées (16)
Hoare Logic: Fondements et applications
Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.
Analyse IV : Ensembles et propriétés mesurables
Couvre le concept de mesure externe et les propriétés des ensembles mesurables.
Coq: Introduction
Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Sélection de la séquence optimale
Couvre en minimisant le coût total, en sélectionnant les séquences d'action optimales et la faisabilité du système.
Exécution de requêtes spéculatives: goulots d'étranglement et dépendances
Explore l'exécution de requêtes spéculatives pour les requêtes complexes, s'attaquant aux goulets d'étranglement, aux dépendances et aux prévisions de performance.
Kinématique du genou : Reconstruction de l'ACL
Explore la cinématique des articulations du genou dans la reconstruction de l'ACL, en mettant l'accent sur l'analyse de la démarche et la comparaison de l'angle du genou avant et après la chirurgie.
Technologies d'élimination du carbone: Innovations Climeworks
Explore les technologies innovantes d'élimination du carbone de Climeworks et leur impact sur la lutte contre le réchauffement climatique grâce à la capture directe de l'air.
Les langues d'Isabelle : Isar, ML et Scala
Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.
Coq: Vue d'ensemble
Présente Coq et se concentre sur la démonstration du théorème et du _comm étape par étape.
Évolutivité réussie : étude de cas en Ouganda
Discute d'un projet d'expansion réussi en Ouganda, intégrant des responsables de la sécurité des médicaments et améliorant les soins de santé des enfants.