KCDS Virtual Open House - Project 01 Logics for dynamical systems and practical theorem proving tools
Author
Editor
Participating institute
KIT-Zentrum Mathematik in den Natur-, Ingenieur- und Wirtschaftswissenschaften (KIT-Zentrum MathSEE)
Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Genre
Description
Meet KIT Graduate School Computational and Data Science in our virtual open house! Find out more about the graduate school and current doctoral projects.
Duration (hh:mm:ss)
00:05:47
Series
Published on
31.03.2023
Subject area
License
Creative Commons Attribution – NonCommercial – ShareAlike 4.0 International
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 65008 bps |
| Audio channels | 1 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 382504 bps |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Duration | 346.688000 s |
| Filename | DIVA-2023-30_mp4.mp4 |
| File Size | 16.576.220 byte |
| Frame Rate | 25 |
| Video Bitrate | 311438 bps |
| Video Codec | h264 |
Embed Code
