A diagram editor to mechanise categorical proofs, by Ambroise Lafont (Partout team, Nov 23)
| 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 | < |
| Increase playback rate | > |
| Seek to end | end |
| Seek to beginning | beginning |
You can right click on slides to open the menu
Share this media
Subscribe to notifications
When subscribed to notifications, an email will be sent to you for all added annotations.
Your user account has no email address.
Other media in the channel "Séminaires du LIX"
6 views, 6 this year, 6 this monthLogical methods for the control and the certification of autonomous driving systems, by Jérémy Ledent (Cosynus team)November 28th, 2024
3 views, 3 this year, 3 this monthThe fascination of Green's functions and their applications in Computer Graphics (Jiong Chen, Geomerix team)November 28th, 2024
25 views, 25 this year, 1 this monthQuantum simulation with Neural Quantum States, by Filippo Vicentini (CPHT, April 2024)April 28th, 2024
16 views, 16 this year, 4 this monthHallucinations in textual generation, by Oana Balalau (Cedar team, March 24)April 9th, 2024
7 views, 7 this year, 1 this monthReal-Time Expressive Dynamic Animation for Skeleton Based Character, by Damien Rohmer (VISTA team, Feb 2024)March 13th, 2024
8 views, 8 this year, 1 this monthJacobi's bound. From combinatorial optimization to aircraft control, by François Ollivier (Max team, Jan 24)January 20th, 2024