Implicit Proofs of Membership, by Olivier Blazy (Grace team, jan 22)
Loading
0 %
Action | Key |
---|---|
Play / Pause | K or space |
Mute / Unmute | M |
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 |
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.
Information on this media
Links:
Number of views:
32Creation date:
Jan. 21, 2022Speakers:
Sylvie PutotOther media in the channel "Séminaires du LIX"
16 views, 16 this year, 2 this monthQuantum simulation with Neural Quantum States, by Filippo Vicentini (CPHT, April 2024)April 28th, 2024
7 views, 7 this year, 1 this monthHallucinations in textual generation, by Oana Balalau (Cedar team, March 24)April 9th, 2024
6 views, 6 this year, 1 this monthReal-Time Expressive Dynamic Animation for Skeleton Based Character, by Damien Rohmer (VISTA team, Feb 2024)March 13th, 2024
7 views, 7 this yearJacobi's bound. From combinatorial optimization to aircraft control, by François Ollivier (Max team, Jan 24)January 20th, 2024
10 views, 10 this yearBeyond the Bell theorem. From the foundations of Quantum Information Theory to its applications, by Marc-Olivier Renou (INRIA Saclay, Dec 23)December 14th, 2023
10 views, 10 this yearA diagram editor to mechanise categorical proofs, by Ambroise Lafont (Partout team, Nov 23)December 14th, 2023