Séance de cours
Octagon Abstract Interpreter: Mise en oeuvre des programmes C
Séances de cours associées (44)
Paradigme quantique de calcul
Introduit le paradigme du calcul quantique numérique, couvrant les qubits, les portes logiques quantiques, la préparation de l'état et la correction des erreurs.
Exigences Définition
Explore les principes fondamentaux de la définition des exigences en ingénierie des systèmes, en soulignant l'importance d'exigences claires et concises pour une conception réussie du système.
Une introduction à l'ingénierie des systèmes: exigences, architecture et génération de concepts
Couvre le 'V-Model' de l'ingénierie des systèmes, en mettant l'accent sur les bonnes exigences, l'architecture du système, la génération de concepts et la sélection de concepts.
Aperçu des programmes principaux
Couvre les programmes de Master en Informatique, Data Science, Cybersécurité, Quantum Science & Engineering et Neuro-X à l'EPFL, y compris les critères d'admission, les structures de programme et les partenariats industriels.
Technologie du bâtiment I/II: Exigences et rôles
Explore les exigences et les rôles fondamentaux en matière de construction dans la technologie, y compris les méthodes de durabilité et d'assemblage des matériaux.
Poignées souples pour des essais d'échantillons délicats en tension
Couvre le développement de poignées souples pour des tests d'échantillons délicats en tension, y compris la conception, l'analyse et la stratégie commerciale.
Pointeurs et gestion de la mémoire
Couvre les pointeurs en C ++, les adresses mémoire, l'allocation dynamique, les tableaux et les techniques de gestion de la mémoire.
Computing neuromorphe : concepts et implémentations matérielles
Couvre l'informatique neuromorphe, les défis dans l'informatique ternaire et binaire, les simulations matérielles du cerveau, et les nouveaux matériaux pour les cellules cérébrales artificielles.
Amplificateurs neuraux: Diagramme des blocs de circuits et exigences de conception
Discute du diagramme de bloc de circuit et des exigences de conception pour les amplificateurs neuronaux.
Filtres Kalman : Estimation et localisation
Couvre la théorie et l'application des filtres Kalman pour l'estimation et la localisation en robotique.