Making Streett Determinization Tight
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
| Title |
| |
| Subtitle |
| |
| Title of Series | ||
| Number of Parts | 56 | |
| Author | ||
| Contributors | ||
| License | CC Attribution 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/49320 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |
00:00
Multiplication signPresentation of a groupPoint (geometry)Metropolitan area networkDeterminantXMLUMLComputer animation
00:24
Point (geometry)InfinityAutomatonNetwork topologyBound stateSequenceTupleState of matterAlphabet (computer science)Finitary relationPoint (geometry)InfinityWordCondition numberSubsetDistanceDifferent (Kate Ryan album)Parity (mathematics)Green's functionComputer animation
00:51
AutomatonCondition numberParity (mathematics)InfinityPrice indexRevision controlCondition numberRevision controlDifferent (Kate Ryan album)Parity (mathematics)Subset2 (number)Procedural programmingComputer animation
01:23
Point (geometry)AutomatonInfinityNetwork topologyBound stateNumberNon-standard analysisState of matterFocus (optics)Constructor (object-oriented programming)DeterminantParity (mathematics)ResultantComputer animation
01:52
Bound stateState of matterAutomatonParity (mathematics)Kolmogorov complexityMetropolitan area networkConstructor (object-oriented programming)DataflowMultiplication signState of matterDisk read-and-write headParity (mathematics)Bound stateDeterminantComplex (psychology)Computer animation
02:38
Point (geometry)InfinityAutomatonNetwork topologyBound stateVertex (graph theory)Non-standard analysisSubsetPrice indexRootInheritance (object-oriented programming)Element (mathematics)Network topologyDeterminantFigurate numberVideo gameKey (cryptography)Price indexState of matterChi-squared distributionSet (mathematics)Subject indexingCondition numberCombinational logicError messageArithmetic meanComputer animation
04:05
Network topologySubsetPrice indexState of matterElement (mathematics)Covering spaceCombinational logicSubject indexingPiProcess (computing)CalculationComputer animation
04:28
Network topologyNon-standard analysisVertex (graph theory)Numbering schemeRootMoving averageCalculationProcess (computing)Constructor (object-oriented programming)Position operatorPresentation of a groupFlow separationSet (mathematics)DemosceneArithmetic meanComplex (psychology)Network topologyOrder (biology)Connectivity (graph theory)Data structureCore dumpState of matterElectric generatorSubject indexingComputer animation
05:55
Point (geometry)AutomatonInfinityNetwork topologyBound stateDeterminantVideo gameGroup actionoutputFigurate numberConstructor (object-oriented programming)Network topologyTransformation (genetics)Computer animation
06:25
System callNetwork topologyMaxima and minimaState of matterAutomatonState of matterTransformation (genetics)Position operatorFacebookData structureComputer animation
07:03
Vertex (graph theory)ResultantSystem callNetwork topologyRootState of matterPosition operatorLevel (video gaming)Order (biology)Stack (abstract data type)Computer animation
07:56
System callResultantNetwork topologySigma-algebraAutomatonRootPrice indexVertex (graph theory)Numbering schemeSubject indexingResultantNatural numberSubsetElectronic signaturePower (physics)Exception handlingWorkstation <Musikinstrument>Network topologyRule of inferencePhysical lawPort scannerGroup actionMathematicsInclusion mapVertex (graph theory)Computer animation
11:01
Network topologyResultantNumbering schemeMereologyNetwork topologyElectronic signatureTransitive relationProcedural programmingComputer animation
11:32
AutomatonState of matterResultantNon-standard analysisTheoremCondition numberSet (mathematics)SubsetFormal languageResultantGroup actionState of matterElement (mathematics)Projective planeNumberMessage passingSubject indexingSystem callGraphics tabletComputer animation
12:44
AutomatonNetwork topologyNon-standard analysisTransformation (genetics)Different (Kate Ryan album)Key (cryptography)Mobile WebElectronic signatureConstructor (object-oriented programming)Position operatorComputer animation
13:19
AutomatonNon-standard analysisState of matterResultantMaxima and minimaParity (mathematics)TheoremState of matterGroup actionPrice indexElement (mathematics)SubsetResultantFormal languageSet (mathematics)Electronic signatureCondition numberMedical imagingExact sequenceConstructor (object-oriented programming)MassComputer animation
14:26
Point (geometry)InfinityAutomatonNetwork topologyBound stateKolmogorov complexityFormal languageGame theoryNon-standard analysisExponentiationBound stateConstructor (object-oriented programming)Complex (psychology)Level (video gaming)State of matterPosition operatorStapeldateiGame theoryComputer animation
14:50
Bound stateGame theoryTupleFunction (mathematics)Strategy gameCondition numberWordTupleFunctional (mathematics)ResultantFigurate numberDemosceneGame theoryComputer animation
15:24
Strategy gameFunction (mathematics)Bound stateRead-only memoryInformationDeterminismAutomatonPropositional formulaSemiconductor memoryDifferent (Kate Ryan album)Condition numberFunctional (mathematics)InformationWell-formed formulaStrategy gameForm (programming)Propositional formulaOrder (biology)DeterminismComputer animation
16:41
Bound stateAutomatonState of matterAlphabet (computer science)Finitary relationGroup actionDifferent (Kate Ryan album)State of matterPropositional formulaComputer animation
17:05
Bound stateAutomatonProof theoryState of matterParity (mathematics)DeterminismPropositional formulaRead-only memoryKolmogorov complexityNon-standard analysisGame theoryBound stateState of matterConstructor (object-oriented programming)DeterminismComplex (psychology)Condition numberComputer animationXML
17:40
Bound stateTransformation (genetics)Network topologyAutomatonCondition numberVertex (graph theory)Group actionSoftware developerCondition numberWordAxiom of choiceCodeComputer animation
18:25
Bound stateNetwork topologyProcess (computing)Strategy gameGame theoryRead-only memoryWordProcess (computing)Game theorySemiconductor memoryStress (mechanics)Data structureCentralizer and normalizerResultantShape (magazine)Event horizonPosition operatorProcedural programmingNetwork topologyStrategy gameCorrespondence (mathematics)InfinityComputer animation
19:43
Bound stateGame theoryStrategy gameRead-only memoryExistenceStrategy gameWordSemiconductor memoryTransformation (genetics)Different (Kate Ryan album)Exception handlingGame theoryComputer animation
20:45
Bound stateRead-only memoryGame theoryTheoremState of matterKolmogorov complexityNon-standard analysisConstructor (object-oriented programming)System administratorComplex (psychology)State of matterDeterminantTheoremNetwork topologyComputer animation
21:33
Bound stateKolmogorov complexityNon-standard analysisComplementaritySubsetState of matterVertex (graph theory)SubsetFormal languageNetwork topologyError messageSeries (mathematics)Key (cryptography)Shape (magazine)Game theoryAtomic numberHand fanDeterminantPosition operatorAutomationConstructor (object-oriented programming)Complex (psychology)Different (Kate Ryan album)Subject indexingState of matterComputer animation
22:27
Bound stateVertex (graph theory)Lemma (mathematics)State of matterGroup actionWordNetwork topologyComplex (psychology)Software developerLemma (mathematics)Condition numberState of matterTranslation (relic)Series (mathematics)Computer virusReading (process)Computer animation
23:11
State of matterBound stateAutomatonTheoremKolmogorov complexityNon-standard analysisExponentiationConstructor (object-oriented programming)Complex (psychology)ExponentiationState of matterTheoremDeterminantNetwork topologyForcing (mathematics)Physical lawWindowDigital photographyComputer animation
24:09
Point (geometry)AutomatonInfinityNetwork topologyBound stateTransformation (genetics)State of matterNon-standard analysisKolmogorov complexityExponentiationConstructor (object-oriented programming)State of matterMachine visionDeterminantComplex (psychology)Network topologyComputer animation
24:55
Computer animation
Transcript: English(auto-generated)