Search for tag: "symbol"

24 Media

42:07 Sharp smoothing estimates for averages over… Sharp smoothing estimates for averages over curves - Sanghyuk Lee	Sharp smoothing estimates for averages over curves - Sanghyuk Lee Fourier Analysis @200 Sharp smoothing estimates for averages over curves Sanghyuk Lee, Seoul National University 27 June 2022 icms estimate curve operator dimension symbol problem lp condition function inequality measure kind estimator induction degenerate result regularity sigma conjecture property From Iain Cms 0 likes 37 plays 0 Publisher Simon Kershaw Licence Type All rights reserved Date Created June 27th, 2022
47:38 The Hitchin Connection of Parabolic G-Bundles -… The Hitchin Connection of Parabolic G-Bundles - Richard Wentworth	The Hitchin Connection of Parabolic G-Bundles - Richard Wentworth Bundles and Conformal Blocks with a Twist The Hitchin Connection of Parabolic G-Bundles Richard Wentworth (University of Maryland) 14 June, 2022 icms bundle algebra bundles connexion space theorem symbol parabolic sections construction vector yesterday sequence theory point field things equation relationship tensor From Iain Cms 0 likes 6 plays 0 Licence Type All rights reserved Language English Date Created June 14th, 2022
50:47 On Hitchin's Connection - Thomas Baier On Hitchin's Connection - Thomas Baier	On Hitchin's Connection - Thomas Baier Bundles and Conformal Blocks with a Twist On Hitchin's Connection Thomas Baier (IST Lisbon) 13 June, 2022 icms symbol operators connexion heat vector tangent bundle operator chief field tensor construction requirement varieties sequence directions differential equation functions fields From Iain Cms 0 likes 10 plays 0 Licence Type All rights reserved Language English Date Created June 13th, 2022
52:06 LEL2A-W10-2 LEL2A-W10-2	LEL2A-W10-2 LEL2A: Week 10, Lecture 2. lel2a dog dogs individuals things kind individual sets symbol smokers truth propositions function arguments thing logic subset class proposition steve smoke From Itamar Kastner 0 likes 136 plays 0 Licence Type All rights reserved The University of Edinburgh
11:43 Minitab Statistics: Mann Whitney Test Minitab Statistics: Mann Whitney Test	Minitab Statistics: Mann Whitney Test This video describes the process of running a Mann WhitneyTest in Minitab. It is aimed at students of the BVM&S Student Research Course. 00:14 - Loading Minitab through apps.ed.ac.uk 01:00 -… minitab statistics src student research component test cats whitney cat difference confidence median mann fleas sample hypothesis ties symbol interval burden medians reason columns From Jill MacKay 0 likes 81 plays 0 Publisher R(D)SVS Licence Type Creative Commons - Attribution Language English Date Created September 23rd, 2021 Retain Source File Yes
33:04 Lecture 5_Digital Baseband Transmission_Line… Lecture 5_Digital Baseband Transmission_Line Coding	Lecture 5_Digital Baseband Transmission_Line Coding Lecture 5_Digital Baseband Transmission_Line Coding snada communication systems signal bandwidth power pulse dc symbol channel transmission clock duration return bit coding frequency equation chanel amplitude modulation synchronisation expression From Wasiu Popoola 0 likes 178 plays 0 Licence Type All rights reserved The University of Edinburgh
51:15 Perturbative symmetry approach for… Perturbative symmetry approach for differential-difference equations - Jing Ping Wang	Perturbative symmetry approach for differential-difference equations - Jing Ping Wang VISS online seminar series Jing Ping Wang, University of Kent Perturbative symmetry approach for differential-difference equations 24 March 2021 To remove the captions from this video press CC on… mathematics equation symmetry difference expression classification condition operator shift differential function polynomial theorem symbol linear derivation cell race term times elements From GILLIAN KERR 0 likes 19 plays 0 Licence Type All rights reserved Language english Date Created March 24th, 2021
03:49 Type Bites: Typeface Type Bites: Typeface	Type Bites: Typeface Type Bites is a series of short films introducing some of the practicalities of letterpress printing and the facilities we have available at Edinburgh College of Art. This one looks at Typeface… serif 1800s display designs forms typeface size handwriting strokes script systems paper symbol letterpress typesetting caseroom type bites sans serif print workshop graphic design typography poster design legibility font text classification From Gen Harrison 0 likes 20 plays Publisher Print Workshop Licence Type Creative Commons - Attribution Non Commercial Share A Like Language English Date Created March 3rd, 2021
47:46 ASR Lecture 9 part I ASR Lecture 9 part I	ASR Lecture 9 part I ASR Lecture 9: WFSTs for ASR (partial lecture due to technical issues) speech recognition transducer probability bit output symbol weights probabilities point composition word path log input sequence weight pizza outputs grandma recognition loop From Peter Bell 0 likes 182 plays 0 Licence Type Creative Commons - Attribution Non Commercial Date Created February 8th, 2021
06:47 13.c 13.c	13.c The third video on the first Inf2d lecture on Resolution. inf2d reasoning and agents artificial intelligence resolution modus ponens chaining symbol symbols sentences base knowledge rule inference clause result reasoning goal methods implication ground connexion disjunction From Claudia-Elena Chirita 0 likes 158 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
22:38 11.a 11.a	11.a The first video of the Inf2d lecture on Unification. inf2d artificial intelligence reasoning and agents unification unifier substitution mgu most general unifier variables sentence john knowledge base phi theta sentences inference father king substitutions function instantiation composition delta result symbol idea From Claudia-Elena Chirita 0 likes 229 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
36:11 10.b 10.b	10.b Second video of the Inf2d lecture on First-Order Logic. inf2d reasoning and agents artificial intelligence first-order logic fol function model symbols objects john signature sentence king phi leg richard sentences logic symbol variables interpretation object person constants relation From Claudia-Elena Chirita 0 likes 247 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
18:56 8.a 8.a	8.a The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference. inf2d reasoning and agents inference propositional logic symbol clause sentence clauses algorithm symbols model knowledge negation alpha unit base literals b11 pll form sentences function heuristic From Claudia-Elena Chirita 0 likes 237 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
26:03 7.c 7.c	7.c Third video of the Inf2D Reasoning and Agents lecture on Logical Agents. inf2d reasoning and agents artificial intelligence propositional logic sentence model knowledge base logic symbols sentences models symbol algorithm truth rules proof inference negation conjunction function From Claudia-Elena Chirita 0 likes 222 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
10:43 8.c 8.c	8.c The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference. inf2d reasoning and agents artificial intelligence inference propositional logic propositional wumpus wumpus world agent moment knowledge square axioms base things action arrow frame problem programme plan olympus rooms squares step symbol fact symbols From Claudia-Elena Chirita 0 likes 187 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
09:25 8.b 8.b	8.b The second video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference. artificial intelligence inference reasoning and agents inf2d propositional inference process walksat algorithm local search algorithm local search algorithm problems clauses symbols symbol sentence models model function clause problem probability walk sat max values points step assignments space From Claudia-Elena Chirita 0 likes 204 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English

Search for tag: "symbol"

the university of edinburgh