Abstraction, Specification, and Proof – Derek Sorensen
Action | Key |
---|---|
Play / Pause | K or space |
Mute / Unmute | M |
Toggle fullscreen mode | F |
Select next subtitles | C |
Select next audio track | A |
Show slide in full page or toggle automatic source change | V |
Seek 5s backward | left arrow |
Seek 5s forward | right arrow |
Seek 10s backward | shift + left arrow or J |
Seek 10s forward | shift + right arrow or L |
Seek 60s backward | control + left arrow |
Seek 60s forward | control + right arrow |
Decrease volume | shift + down arrow |
Increase volume | shift + up arrow |
Decrease playback rate | shift + comma |
Increase playback rate | shift + dot or shift + semicolon |
Seek to end | end |
Seek to beginning | beginning |
Vous pouvez faire un clic droit sur les diapositives pour ouvrir le menu
Partager ce média
Liens de téléchargement
Flux vidéo HLS
Vous pouvez utiliser un lecteur externe pour lire le flux (comme VLC).
Flux vidéo HLS
S'abonner aux notifications
Si vous êtes abonné aux notifications, un e-mail vous sera envoyé pour toutes les annotations ajoutées.
Votre compte utilisateur n'a pas d'adresse e-mail.
Informations sur ce média
3 vues
Date de création :
juil. 18, 2024
Lien vers la chaîne du média :
Undone Computer Science 2024
Autres médias dans la chaîne "Undone Computer Science 2024"
- 3 vues, 3 cette année, 1 ce moisWhy do boring things matter? A sociological account of Git and version control infrastructures – Gabriel Alcaras24 septembre 2024
- 4 vues, 4 cette année, 4 ce moisRevisiting “Good” Software Design Principles To Shape Undone Computer Science Topics – Florence Maraninchi24 septembre 2024
- 26 vues, 26 cette année, 24 ce moisSoftware Testing and Formal Specification, a turbulent history – Marie-Claude Gaudel24 septembre 2024
- 2 vues, 2 cette annéeComposed epistemologies - A case from computer music research – Benjamin Matuszewski and Frédéric Bevilacqua24 septembre 2024
- 5 vues, 5 cette annéeHow to shape Computer Science Education in the AI Era ? Bridging Technology, Humanities, and Inspiring the Desire to Learn – Marie-Laure Nivet, Evelyne Vittori and Paul-Antoine Bisgambiglia18 juillet 2024
- 8 vues, 8 cette annéeFrom human intelligence to artificial smartness : The undone science of artificial intelligence – Alexandre Kabbach18 juillet 2024