Search for tag: "star"

51 Media

04:19 Vera Rubin and Dark Matter Vera Rubin and Dark Matter	Vera Rubin and Dark Matter Excerpts from The Ring of Truth, Episode 6: Doubt, hosted by Philip Morrison https://www.youtube.com/watch?v=xhfUfxeh9Lg galaxy side spectrum hydrogen shift region doppler weight planets orbit red light sun star dust emission feet direction alpha clouds From John Terning on June 16th, 2021 0 likes 0 plays 0
01:35 Hydrogen Spectrum Hydrogen Spectrum	Hydrogen Spectrum From Boyd Edwardfull video at https://www.youtube.com/watch?v=oae5fa-f0S0 hydrogen image diffraction lines place class series balmer beta blue sky nebulae lot images star farthest grading cast wavelengths spectrum From John Terning on June 15th, 2021 0 likes 13 plays 0
01:24:09 ECS 289A Lecture 9b ECS 289A Lecture 9b	ECS 289A Lecture 9b monomer configuration domains model kind thing monomers domain star output bonds configurations complexes energy catalyst size sort things barrier dna From David Doty on March 22nd, 2021 0 likes 3 plays 0
05:39 ECS 220 8b:8.3-1 NL-completeness and logspace… ECS 220 8b:8.3-1 NL-completeness and logspace reductions	ECS 220 8b:8.3-1 NL-completeness and logspace reductions space log completeness reduction reductions output problem notion reachability edge input graph nodes tape np pair thing star lot problems From David Doty on March 21st, 2021 0 likes 16 plays 0
07:50 ECS 220 5c:6.6 why is it hard to prove P neq NP ECS 220 5c:6.6 why is it hard to prove P neq NP	ECS 220 5c:6.6 why is it hard to prove P neq NP statement algorithm clique proof problems algorithms np star size circuits circuit reason instance fact sat end threshold boolean instances gates From David Doty on March 21st, 2021 0 likes 14 plays 0
09:53 ECS 220 1a:2.1 problems and solutions ECS 220 1a:2.1 problems and solutions	ECS 220 1a:2.1 problems and solutions problem divisor algorithm graph decision mod b. function path gcd string graphs squares machines definition star language strings sense inputs From David Doty on March 21st, 2021 0 likes 45 plays 0
15:52 ECS 120 10b:2 the real numbers are uncountable… ECS 120 10b:2 the real numbers are uncountable and the Continuum Hypothesis	ECS 120 10b:2 the real numbers are uncountable and the Continuum Hypothesis numbers cardinality function power sets subset expansion star hypothesis language statement machine problem continuum move a. digit zeros theory proof From David Doty on March 20th, 2021 0 likes 36 plays 0
02:12 ECS 120 9c:5 N vs. {0,1}* ECS 120 9c:5 N vs. {0,1}*	ECS 120 9c:5 N vs. {0,1}* string strings function star sets s1 length binary numbers cardinality fact bijection enumeration strains light ordering graph lexica ology class From David Doty on March 20th, 2021 0 likes 52 plays 0
11:52 ECS 120 8b:2 definition of polynomial-time… ECS 120 8b:2 definition of polynomial-time reducibility	ECS 120 8b:2 definition of polynomial-time reducibility Errata: starting at 8:30, I show Python code with the function reduction_from_clique_to_independent_set. This should be reduction_from_independent_set_to_clique instead. algorithm clique instance strings reduction b. input graph star problem idea answer a. output function compliment nodes pair requirement difficulty From David Doty on March 20th, 2021 0 likes 76 plays 0
08:06 ECS 120 7a:1 time complexity classes and the Time… ECS 120 7a:1 time complexity classes and the Time Hierarchy Theorem	ECS 120 7a:1 time complexity classes and the Time Hierarchy Theorem problems language t1 complexity theorem t2 languages star subset class algorithms observation machine decision words cubed things bounds function n. From David Doty on March 20th, 2021 0 likes 114 plays 0
02:31 ECS 120 5b:5 closure properties proof that equal… ECS 120 5b:5 closure properties proof that equal zero-one is not regular	ECS 120 5b:5 closure properties proof that equal zero-one is not regular language star lemma operations zeros expression intersection languages closure contradiction numbers transition strings operation proof properties bit From David Doty on March 20th, 2021 0 likes 63 plays 0
12:19 ECS 120 4c:5 regex_s can simulate NFAs ECS 120 4c:5 regex_s can simulate NFAs	ECS 120 4c:5 regex_s can simulate NFAs expression transition zeros automata expressions point nfa arrows star epsilon transitions pair string i. thing construction pairs eye paths start From David Doty on March 20th, 2021 0 likes 91 plays 0
07:03 ECS 120 4c:2 NFAs can simulate regex_s example ECS 120 4c:2 NFAs can simulate regex_s example	ECS 120 4c:2 NFAs can simulate regex_s example nfa transition epsilon algorithm start union b. singleton cases construction concatenation base star expression goal a. language step steps quicksort From David Doty on March 20th, 2021 0 likes 98 plays 0
08:18 ECS 120 4c:1 NFAs can simulate regex_s proof ECS 120 4c:1 NFAs can simulate regex_s proof	ECS 120 4c:1 NFAs can simulate regex_s proof nfa cases expressions language union base expression r2 string star languages r1 element symbol sigma input decidable proof b. concatenation From David Doty on March 20th, 2021 0 likes 86 plays 0
05:13 ECS 120 3c:4 NFA Kleene star proof ECS 120 3c:4 NFA Kleene star proof	ECS 120 3c:4 NFA Kleene star proof transition epsilon start nfa s. delta thing dfa compliment intersection f1 union star proof anaphase addition transitions n1 concatenation deterministically From David Doty on March 20th, 2021 0 likes 63 plays 0
08:20 ECS 120 3c:1 NFA Kleene star example ECS 120 3c:1 NFA Kleene star example	ECS 120 3c:1 NFA Kleene star example nfa epsilon language start star transition problem string input strings thing deterministically idea concatenation dfa l. computation middle bunch things From David Doty on March 20th, 2021 0 likes 103 plays 0