00:15

This channel is no longer maintained (SEE DESCRIPTION FOR LINKS)

00:08

Chris Jansing is having a hard day

26:55

Final Exam Review - COSC304 Theory of Computing 4/29

37:03

CLIQUE, 3SAT - COSC304 Theory of Computing 4/27

43:29

NP-Hard, NP-Complete, CNFSAT - COSC304 Theory of Computing 4/24

36:42

P and NP - COSC304 Theory of Computing 4/22

39:02

E_LBA, ALL_CFG - COSC304 Theory of Computing 4/20

35:44

Rice's Theorem Proof, A_LBA - COSC304 Theory of Computing 4/17

23:56

Perfect Hash Families - COSC480 Interaction Testing 4/15

33:14

E_TM, EQ_TM, Rice's Theorem Intro - COSC304 Theory of Computing 4/14

44:58

A_CFG, E_CFG, A_TM Undecidable - COSC304 Theory of Computing 4/13

43:18

Encodings, A_DFA, A_NFA, A_REX, E_DFA, EQ_DFA - COSC304 Theory of Computing 4/10

49:10

Nondeterministic TMs, Church Turing Thesis - COSC304 Theory of Computing 4/8

29:27

Cut and Paste Techniques - COSC480 Interaction Testing 4/8

44:54

Configurations, Multitape TMs - COSC304 Theory of Computing 4/01

42:48

Combinatorial Techniques - COSC480 Interaction Testing 4/6

49:58

Turing Machines Pt. 1 - COSC304 Theory of Computing 3/30

31:40

Locating Arrays - COSC480 Interaction Testing 3/30

49:25

Deterministic Context-Free Languages - COSC304 Theory of Computing 3/11

50:19

CFL Closure, Deterministic PDAs - COSC304 Theory of Computing 3/9

45:11

Genetic Algorithms for Covering Arrays - COSC480 Interaction Testing 3/9

50:01

Pumping Lemma for CFLs Part 1 - COSC304 Theory of Computing 3/04

50:08

Pumping Lemma for CFLs Part 2 - COSC304 Theory of Computing 3/06

49:15

PDA to CFG - COSC304 Theory of Computing 3/2

43:54

Metaheuristics - COSC480 Interaction Testing 3/2

49:51

CFG to PDA Conversion - COSC304 Theory of Computing 2/28

50:02

Chomsky Normal Form Pt. 2, PDAs - COSC304 Theory of Computing 2/26

49:49

Chomsky Normal Form Pt. 1 - COSC304 Theory of Computing 2/24

35:08

Post-Optimization of Covering Arrays - COSC480 Interaction Testing 2/24

08:52

DFA for a^m b^n where m + n is even - Theory of Computation

25:42

Nonogram 25x30 solve (2/25)

03:13

Nonogram 25x30 Solve (8x Speed, 2/25)

50:16

Midterm 1 Review - COSC304 Theory of Computing 2/19

39:37

Early Coverage - COSC480 Interaction Testing 2/19

01:04

Top Thrill Dragster Off-ride POV - Cedar Point May 2018

02:15

Steel Vengeance Off-ride POV - Cedar Point May 2018

49:42

Context-Free Grammars - COSC304 Theory of Computing 2/17

45:37

Anti-Random, In-Parameter-Order - COSC480 Interaction Testing 2/17

50:15

Regular Grammars - COSC304 Theory of Computing 2/14

00:10

Time-lapse of Takeoff Flight from Orlando Airport

00:12

The Dance of the American Airlines Cargo

01:35

Happy Valentine's Day Mom ❤️

49:45

More Pumping Lemma Examples - COSC304 Theory of Computing 2/12

49:57

Greedy Methods Pt. 2 (Higher Index Density) - COSC480 Interaction Testing 2/12

49:51

Pumping Lemma for Regular Languages Pt. 1 - COSC304 Theory of Computing 2/10

49:26

Greedy Constructions Pt. 1 - COSC480 Interaction Testing 2/10

50:42

Graph Coloring, Satisfiability for Covering Arrays - COSC480 Interaction Testing 2/7

00:07

Winter Storm in Hamilton NY (February 7, 2020)

49:45

GNFA Method (NFA to Regex) - COSC304 Theory of Computing 2/5

49:40

Probabilistic Method (cont), Exact Methods - COSC480 Interaction Testing 2/5

48:41

Probabilistic Bound on Covering Arrays - COSC480 Interaction Testing 2/03

49:59

Powerset Construction, Regular Expression Definition - COSC304 Theory of Computing 2/03

44:54

Equivalence, Necessary Entries - COSC480 Interaction Testing 1/31

49:49

NFAs closed under Star and Concatenation, Powerset Pt. 1 - COSC304 Theory of Computing 1/31

53:22

Product Construction, NFAs - COSC304 Theory of Computing 1/29

50:55

Optimal Construction of CA(N;2,k,2) - COSC480 Interaction Testing 1/29

50:17

Operations, Closed under Complement - COSC304 Theory of Computation 1/27

50:27

Covering Array Applications, Lower Bounds - COSC480 Interaction Testing 1/27

50:35

Covering Arrays Definition - COSC480 Interaction Testing 1/24

50:05

DFAs and Computation - COSC304 Theory of Computation 1/24