1:25:03[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D1P2
Intro
A 85-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D1P2”.
609 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
1:25:03Intro
A 85-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D1P2”.
1:30:15A 90-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D2P1”.
1:22:21A 82-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D2P2”.
1:22:07Intro
A 82-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D3P1”.
1:23:56A 84-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D3P2”.
1:25:33A 86-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D4P1”.
1:25:11Intro
A 85-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D4P2”.
50:37A 51-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D5P1”.
2:02:01Intro
A 122-minute video from ecidcuba: “[ECI 2021] Course M2 - Introduction to Homotopy Type Theory - D5P2”.
1:33:09A 93-minute video from ecidcuba: “[ECI 2021] Curso M1 - Geometría de la información - D1P2”.
1:22:14A 82-minute video from ecidcuba: “[ECI 2021] Curso M2 - Introduction to Homotopy Type Theory - D1P1”.
2:56:54Advanced
A 177-minute video from ecidcuba: “[ECI 2021] Curso M3 - Sistemas argumentativos en razonamiento computacional - D1”.
2:45:50A 166-minute video from ecidcuba: “[ECI 2021] Curso M3 - Sistemas argumentativos en razonamiento computacional - D2”.
2:22:09A 142-minute video from ecidcuba: “[ECI 2021] Curso M3 - Sistemas argumentativos en razonamiento computacional - D3”.
2:06:43A 127-minute video from ecidcuba: “[ECI 2021] Curso M3 - Sistemas argumentativos en razonamiento computacional - D4”.
2:44:33A 165-minute video from ecidcuba: “[ECI 2021] Curso M3 - Sistemas argumentativos en razonamiento computacional - D5”.
1:08:06A 68-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D1P1”.
1:35:57A 96-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D1P2”.
1:14:52A 75-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D2P1”.
1:36:31A 97-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D2P2”.
1:07:44A 68-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D3P1”.
1:35:27A 95-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D3P2”.
1:05:22A 65-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D4P1”.
1:45:56A 106-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D4P2”.
1:13:24A 73-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D5P1”.
1:20:08A 80-minute video from ecidcuba: “[ECI 2021] Curso N1 - Estructuras cuánticas e información cuántica - D5P2”.
2:56:44A 177-minute video from ecidcuba: “[ECI 2021] Curso N2 - Análisis de redes sociales - D1”.
3:05:05A 185-minute video from ecidcuba: “[ECI 2021] Curso N2 - Análisis de redes sociales - D2”.
2:49:30A 170-minute video from ecidcuba: “[ECI 2021] Curso N2 - Análisis de redes sociales - D3”.
3:05:06A 185-minute video from ecidcuba: “[ECI 2021] Curso N2 - Análisis de redes sociales - D4”.
3:01:36A 182-minute video from ecidcuba: “[ECI 2021] Curso N2 - Análisis de redes sociales - D5”.
1:41:19A 101-minute video from ecidcuba: “[ECI 2021] Curso N3 - Aprendizaje automático con datos escasos - D1”.
3:03:05A 183-minute video from ecidcuba: “[ECI 2021] Curso N3 - Aprendizaje automático con datos escasos - D2”.
2:54:26A 174-minute video from ecidcuba: “[ECI 2021] Curso N3 - Aprendizaje automático con datos escasos - D3”.
2:57:07A 177-minute video from ecidcuba: “[ECI 2021] Curso N3 - Aprendizaje automático con datos escasos - D4”.
2:59:37A 180-minute video from ecidcuba: “[ECI 2021] Curso N3 - Aprendizaje automático con datos escasos - D5”.