Formal & Physical Sciences AI — Models & ResearchENALC examplesArtificial Intelligence (YouTube channel)February 4, 2016 27 min★ ★ ★ ★ ☆ 4/5Description LogicTableau MethodALC
Formal & Physical Sciences AI — Models & ResearchENA-box reasoningArtificial IntelligenceFebruary 4, 2016 36 min★ ★ ★ ★ ☆ 4/5Description LogicsA-BoxReasoning
Applied Sciences & Engineering Engineering & TechnologyENMoon Base ConceptsIsaac ArthurFebruary 2, 2016 34 min★ ★ ★ ★ ☆ 4/5Moon BaseLunar ColonizationSpace Infrastructure
Humanities, Social Sciences & Thought Law & JusticeENTTIP – Welcome addressMax Planck Institute Luxembourg for Procedural LawFebruary 1, 2016 13 min★ ★ ★ ☆ ☆ 3/5TTIPISDSLuxembourg
Humanities, Social Sciences & Thought Law & JusticeENTTIP – Round table - Expectations and Challenges of the TTIPMax Planck Institute Luxembourg for Procedural LawFebruary 1, 2016 114 min★ ★ ★ ★ ☆ 4/5TTIPInvestor-State Dispute SettlementTrade Policy
Humanities, Social Sciences & Thought Law & JusticeENTTIP – Panel 4 - Differences and Similarities between Investment and Commercial ArbitrationMax Planck Institute Luxembourg for Procedural LawFebruary 1, 2016 59 min★ ★ ★ ★ ☆ 4/5Investment ArbitrationCommercial ArbitrationTTIP
Humanities, Social Sciences & Thought Law & JusticeENTTIP – Panel 3 - BITs and Applicable International Law in ISDSMax Planck Institute Luxembourg for Procedural LawFebruary 1, 2016 49 min★ ★ ★ ★ ☆ 4/5TTIPISDSInternational Law
Humanities, Social Sciences & Thought Law & JusticeENTTIP – Panel 1 - Increasing the Legitimacy of ISDSMax Planck Institute Luxembourg for Procedural LawFebruary 1, 2016 46 min★ ★ ★ ★ ☆ 4/5ISDSTTIPInvestment Arbitration
Life & Natural Systems Engineering & TechnologyENIonic Substituted Hydroxyapatite Scaffolds Prepared by Sponge Replication Technique for Bone RegenerationUma Batra and Seema KapoorJanuary 31, 2016 11 min★ ★ ★ ★ ☆ 4/5HydroxyapatiteBone Tissue EngineeringScaffold
Formal & Physical Sciences AI — News & ApplicationsENProof SystemsArtificial IntelligenceJanuary 30, 2016 32 min★ ★ ★ ★ ☆ 4/5First-Order LogicProof SystemsNatural Deduction
Humanities, Social Sciences & Thought Arts & ArchitectureENDragonglass: how can the Night's Watch fight the white walkers?Alt Shift XJanuary 24, 2016 11 min★ ★ ★ ★ ☆ 4/5Game of ThronesA Song of Ice and FireObsidian
Formal & Physical Sciences AI — News & ApplicationsENUnificationArtificial IntelligenceJanuary 12, 2016 30 min★ ★ ★ ★ ☆ 4/5UnificationLogic ProgrammingFirst-Order Logic
Formal & Physical Sciences AI — Models & ResearchENThe Rete AlgorithmArtificial IntelligenceJanuary 12, 2016 33 min★ ★ ★ ★ ☆ 4/5Rete AlgorithmExpert SystemsRule-Based Systems
Formal & Physical Sciences AI — Models & ResearchENThe OPS5 Expert System ShellArtificial IntelligenceJanuary 12, 2016 35 min★ ★ ★ ★ ☆ 4/5OPS5Expert SystemsForward Chaining
Formal & Physical Sciences AI — News & ApplicationsENTerminological FactsArtificial IntelligenceJanuary 12, 2016 29 min★ ★ ★ ★ ☆ 4/5First-Order LogicKnowledge RepresentationTerminological Facts
Formal & Physical Sciences AI — Models & ResearchENSyntaxArtificial IntelligenceJanuary 12, 2016 34 min★ ★ ★ ★ ☆ 4/5First-Order LogicSyntaxLogic
Formal & Physical Sciences AI — News & ApplicationsENSkolemizationArtificial Intelligence (channel)January 12, 2016 35 min★ ★ ★ ★ ☆ 4/5First-Order LogicSkolemizationExistential Quantifier
Formal & Physical Sciences AI — Models & ResearchENSemanticsArtificial IntelligenceJanuary 12, 2016 24 min★ ★ ★ ★ ☆ 4/5First-Order LogicSemanticsInterpretation
Formal & Physical Sciences AI — Models & ResearchENRete Algorithm - ExampleArtificial IntelligenceJanuary 12, 2016 30 min★ ★ ★ ★ ☆ 4/5Rete AlgorithmExpert SystemsForward Chaining
Formal & Physical Sciences MathematicsENPropositional Logic: Valid Arguments and Proof SystemsArtificial IntelligenceJanuary 12, 2016 32 min★ ★ ★ ★ ☆ 4/5Propositional LogicProof SystemsRules of Inference
Formal & Physical Sciences MathematicsENPropositional Logic: The Tableau MethodArtificial IntelligenceJanuary 12, 2016 29 min★ ★ ★ ★ ☆ 4/5Tableau MethodPropositional LogicProof Theory
Formal & Physical Sciences AI — Models & ResearchENPropositional Logic: The Resolution Refutation MethodArtificial IntelligenceJanuary 12, 2016 33 min★ ★ ★ ★ ☆ 4/5Propositional LogicResolution RefutationConjunctive Normal Form
Formal & Physical Sciences MathematicsENPropositional Logic: Syntax and Truth ValuesArtificial Intelligence (channel)January 12, 2016 31 min★ ★ ★ ★ ☆ 4/5Propositional LogicSyntaxSemantics
Formal & Physical Sciences MathematicsENPropositional Logic: Rules of Inference and Natural DeductionArtificial IntelligenceJanuary 12, 2016 28 min★ ★ ★ ★ ☆ 4/5Propositional LogicNatural DeductionRules of Inference
Formal & Physical Sciences MathematicsENPropositional Logic: Language, Semantics and ReasoningArtificial IntelligenceJanuary 12, 2016 34 min★ ★ ★ ★ ☆ 4/5Propositional LogicSyntaxSemantics
Formal & Physical Sciences MathematicsENPropositional Logic: Axiomatic Systems and Hilbert Style ProofsArtificial IntelligenceJanuary 12, 2016 33 min★ ★ ★ ★ ☆ 4/5Propositional LogicAxiomatic SystemsHilbert Style Proofs
Formal & Physical Sciences AI — News & ApplicationsENProperties and CategoriesArtificial Intelligence (channel)January 12, 2016 32 min★ ★ ★ ★ ☆ 4/5First-Order LogicKnowledge RepresentationReification
Formal & Physical Sciences AI — Models & ResearchENProgramming in a Rule Based LanguageArtificial IntelligenceJanuary 12, 2016 28 min★ ★ ★ ★ ☆ 4/5Rule-Based SystemsOPS5Rete Algorithm
Formal & Physical Sciences AI — Models & ResearchENIntroduction to Knowledge Representation and ReasoningArtificial IntelligenceJanuary 12, 2016 29 min★ ★ ★ ★ ☆ 4/5Knowledge RepresentationReasoningAI History
Formal & Physical Sciences AI — Models & ResearchENForward Chaining Rule Based SystemsArtificial IntelligenceJanuary 12, 2016 30 min★ ★ ★ ★ ☆ 4/5Forward ChainingRule-Based SystemsInference Engine
Formal & Physical Sciences AI — Models & ResearchENForward ChainingArtificial IntelligenceJanuary 12, 2016 36 min★ ★ ★ ★ ☆ 4/5Forward ChainingUnificationMost General Unifier
Formal & Physical Sciences AI — Models & ResearchENEntailment and ModelsArtificial IntelligenceJanuary 12, 2016 34 min★ ★ ★ ★ ☆ 4/5First-Order LogicSemanticsEntailment
Formal & Physical Sciences MathematicsENAn Introduction to Formal LogicsArtificial Intelligence (channel)January 12, 2016 31 min★ ★ ★ ★ ☆ 4/5Formal LogicPropositional LogicFirst-Order Logic
Humanities, Social Sciences & Thought Arts & ArchitectureENThe Grand Maester Conspiracy: what are the maesters up to?Alt Shift XJanuary 7, 2016 17 min★ ★ ★ ★ ☆ 4/5Game of ThronesA Song of Ice and FireMaester Conspiracy
Life & Natural Systems BiologyENLecture 9 - Analyzing Genes and GenomesThomas MennellaJanuary 5, 2016 81 min★ ★ ★ ★ ☆ 4/5DNA SequencingSanger SequencingGene Expression
Life & Natural Systems BiologyENLecture 8 - Control of Gene Expression - Part 2Thomas MennellaJanuary 5, 2016 71 min★ ★ ★ ★ ☆ 4/5Gene ExpressionEukaryotic RegulationCombinatorial Control
Life & Natural Systems BiologyENLecture 7 - Control of Gene Expression (Chapter 8, Part 1)Thomas MennellaJanuary 5, 2016 77 min★ ★ ★ ★ ☆ 4/5Gene ExpressionTranscription FactorsTrp Operon
Life & Natural Systems BiologyENLecture 6 - From Genes to Proteins Translation (Chapter 7, Part 2)Thomas MennellaJanuary 5, 2016 119 min★ ★ ★ ★ ☆ 4/5TranslationGenetic CodeRibosome
Life & Natural Systems BiologyENLecture 5 - From DNA to Protein Transcription (Chapter 7, Part 1)Thomas MennellaJanuary 5, 2016 79 min★ ★ ★ ★ ☆ 4/5TranscriptionRNAGene Expression
Life & Natural Systems BiologyENLecture 4 - DNA Repair and Recombination (Chapter 6, Part 2)Thomas MennellaJanuary 5, 2016 74 min★ ★ ★ ★ ☆ 4/5DNA RepairMutationHomologous Recombination