02:23:37
Bisimilarity of simple grammars (ToCsem, Diogo Poças, Feb-14-2024)
01:06
July 1, 2024
02:50:18
Exponential Separation Between Powers of Regular and General Resolution Over Parities (1/2)
20:04
Exponential Separation Between Powers of Regular and General Resolution Over Parities (2/2)
02:58:59
On the Power of Interactive Proofs for Learning (Ninad Rajgopal, tocsem #012, March 20, 2024)
02:20:42
Smoothed analysis of deterministic discounted and mean-payoff games (Mateusz Skomra, part 2)
01:54:18
Smoothed analysis of deterministic discounted and mean-payoff games (Mateusz Skomra, part 1)
01:21:54
Communication Lower Bounds for Collision Problems via Density Increment Arguments
02:54:32
Parameterized hardness of coding and lattice problems (ToCsem, João Ribeiro, Nov-03-2023)
02:59:21
Improved constructions of large-dimensional corner-free sets (ToCsem, Suhail Sherif, Oct-20-2023)
02:22:55
The Tree Evaluation Problem: Context and Recent Results (Ian Mertz, ToC Seminar 005, Oct-12-2023)
03:31:24
On Switching lemmas and Criticality of Boolean formulae, pt.3/3 (ToC Seminar 002, Aug 15, 2023)
02:28:52
On Switching lemmas and Criticality of Boolean formulae, pt.2/3 (ToC Seminar 002, Aug 08, 2023)
02:57:09
On Switching lemmas and Criticality of Boolean formulae, pt.1/3 (ToC Seminar 002, Aug 04, 2023)
02:09:30
Communication Complexity is NP-hard (Theory of Computing Seminar 001, July 20, 2023)
23:33
Computing on a Full Memory
09:28
Cobalt: bruno.loff and Teams Medic --- 15 Jun 2016
03:33
Cobalt: speed-throws, grenade walls and roll-throws
01:45
Cobalt roll shoot
00:08
Cobalt: roll-jump-hold in dune sanctuary
00:04
Cobalt: roll-jump-hold in desert
00:05
Cobalt: roll-jump-hold etc in dune sanctuary
02:48
Lot 101 in Herdade do Montalvo
00:45
Elmyra hugs squirrel
X
About
Tags