Search for tag: "algebra"

86 Media

57:52 December 16 Julia Pevtsova Cohomology of finite… December 16 Julia Pevtsova Cohomology of finite dimensional Hopf algebras	December 16 Julia Pevtsova Cohomology of finite dimensional Hopf algebras An automated programme has been used to generate the subtitles on this talk. icms repnet algebra category representations groups algebras representation tensor cosmology things spaces theorem point modules vector theory spectrum property questions quantum scheme From ALASDAIR SPRATT on December 17th, 2020 0 likes 17 plays 0 Course Code ICMS Publisher ICMS Licence Type All rights reserved Language English Date Created December 17th, 2020
50:02 Ergodic theory without invariant measures -… Ergodic theory without invariant measures - Stefaan Vaes	Ergodic theory without invariant measures - Stefaan Vaes EMS talk Stefaan Vaes (KU Leuven) Ergodic theory without invariant measures 11 December 2020 An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by… mathematics measure transformations space transformation action probability orbit groups equivalence measures classification cycle algebra relation infinity invariant point theorem neumann theory From GILLIAN KERR on December 11th, 2020 0 likes 19 plays 0 Licence Type All rights reserved Language english Date Created December 11th, 2020
53:14 LAGOON: Leicester Algebra and Geometry Open… LAGOON: Leicester Algebra and Geometry Open ONline - Ralph Kaufmann	LAGOON: Leicester Algebra and Geometry Open ONline - Ralph Kaufmann Subtitles are automatically added, you may turn these off by clicking "cc, turn off". We are working on ensuring all subtitles match the lecture. LAGOON: Leicester Algebra and Geometry… thing category things representations morphism trees graphs construction functor representation factors sets theory vector spaces algebras structure tensor 6-factor algebra From Liam Holligan on December 11th, 2020 0 likes 5 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created December 10th, 2020
55:00 November 25 Lucas Mason-Brown What is a unipotent… November 25 Lucas Mason-Brown What is a unipotent representation	November 25 Lucas Mason-Brown What is a unipotent representation An automated programme has been used to generate the subtitles on this talk. icms repnet representations orbit unit character representation ideals orbits ideal classification equivalence coverings cover groups quantisation algebra nilpotent cheque bash definition bar From ALASDAIR SPRATT on November 26th, 2020 0 likes 59 plays 0 Course Code ICMS Publisher ICMS Licence Type All rights reserved Language English Date Created November 26th, 2020
01:01:26 Trigonometric real form of the spin RS model of… Trigonometric real form of the spin RS model of Krichever and Zabrodin - Laszlo Feher	Trigonometric real form of the spin RS model of Krichever and Zabrodin - Laszlo Feher VISS online seminar series Trigonometric real form of the spin RS model of Krichever and Zabrodin Laszlo Feher (University of Szeged and Wigner RCP, Hungary) 25 November 2020 An automated programme… mathematics poisson space phase action spin functions manifold variables motion vector reduction model form algebra matrix formula equation structure function moment From GILLIAN KERR on November 25th, 2020 0 likes 27 plays 0 Licence Type All rights reserved Language english Date Created November 25th, 2020
02:48 CL - 15f - R* -- Iteration CL - 15f - R* -- Iteration	CL - 15f - R* -- Iteration We construct an NFA for R*; then summarize the algebra of regular expressions. inf1a introduction to computation informatics 1 computation and logic string epsilon expressions things language match thing unit sum matches star expression times concatenation alternation numbers strings names algebra r. From Haoran Peng on November 23rd, 2020 0 likes 225 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
56:42 LAGOON: Leicester Algebra and Geometry Open… LAGOON: Leicester Algebra and Geometry Open ONline - John Greenlees (Warwick, UK)	LAGOON: Leicester Algebra and Geometry Open ONline - John Greenlees (Warwick, UK) Subtitles can be turned off by clicking "cc" then selecting "off". icms category ring bg cosmology singularity modules thing theorem definition degree module coltrane loops normalisation k. space homology groups algebra psi From Liam Holligan on November 19th, 2020 0 likes 23 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created November 19th, 2020
07:13 CL - 11d - Tseytin CL - 11d - Tseytin	CL - 11d - Tseytin Description Pending inf1a introduction to computation informatics 1 computation and logic clauses gate circuit gates output inputs clause expression values formula cnf pll variable algebra wires unit variables equation wire linear From Haoran Peng on November 12th, 2020 0 likes 302 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
08:05 CL - 11a - Expressions CL - 11a - Expressions	CL - 11a - Expressions This video introduces the idea that expressions are things we can study.We look first at evaluating algebraic expressions by substituting values for variables, and then do the same for Boolean… inf1a introduction to computation informatics 1 computation and logic times algebra end variables operations matrices things predicates pattern booleans wolf variable integers expressions diagram tutorial bottom kinds woofs functions From Haoran Peng on November 12th, 2020 0 likes 294 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
01:02:34 11 November Alexandre Minets KLR and Schur… 11 November Alexandre Minets KLR and Schur algebras for curves and semi-cuspidal representations	11 November Alexandre Minets KLR and Schur algebras for curves and semi-cuspidal representations ICMS An automated programme has been used to generate the subtitles on this talk. icms repnet thing algebra representations modules basis things categories relations dimension category question bunch polynomials curve point restriction children alpha vector definition From ALASDAIR SPRATT on November 12th, 2020 0 likes 45 plays 0 Course Code ICMS Publisher ICMS Licence Type All rights reserved Language English Date Created November 12th, 2020
57:52 South East Mathematical Physics Seminars: … South East Mathematical Physics Seminars: Christian Korff	South East Mathematical Physics Seminars: Christian Korff Automatic subtitles are included. You can turn these off by selecting "CC". Tuesday 03 November Christian Korff (University of Glasgow) The Boson-Fermion correspondence and the asymmetric… icms semp southeast algebra characters vertex function space power lattice structure functions partition diagram goldstone cylinder representation fock model shoe sums position hacker From Liam Holligan on November 3rd, 2020 0 likes 15 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created November 3rd, 2020
05:40 CL - 8c - Sudoku CL - 8c - Sudoku	CL - 8c - Sudoku First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k… inf1a introduction to computation informatics 1 computation and logic square numbers sudoku solution prime squares board language rules algebra row fact times s3 ijk thing specification haskell equation constraints From Haoran Peng on November 1st, 2020 0 likes 329 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
06:27 CL - 8b - Language III CL - 8b - Language III	CL - 8b - Language III In this video we link the language of forms to our derivations of CNF. inf1a introduction to computation informatics 1 computation and logic language things computation values form computations logic times numbers reduction description thing mary john expressions idea algebra predicates truth forms From Haoran Peng on November 1st, 2020 0 likes 320 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:59 CL - 8a - Language II CL - 8a - Language II	CL - 8a - Language II In this video we return to the idea of a formal language — a language whose expressions can be represented in Haskell. inf1a computation and logic informatics 1 introduction to computation computation things language computations logic values times description mary john algebra predicates truth laws sorts booleans end equation result operations From Haoran Peng on November 1st, 2020 0 likes 337 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:17 CL - 7c - Language I CL - 7c - Language I	CL - 7c - Language I In this video we introduce the idea of a formal language — a language whose expressions can be represented in Haskell.We begin with a simple example, a language of clausal forms in which the… inf1a introduction to computation informatics 1 computation and logic language logic conjunction clauses clause algebra thing literals disjunction properties disjunctions expression haskell computers century truth tomorrow sizes sorts sentence From Haoran Peng on November 1st, 2020 0 likes 370 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
54:42 Jean-Simon Lemay (University of Oxford) : The… Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories.	Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories. Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories.Abstract: The theory of differential categories uses category theory to study the foundations of differentiation.… category theory applications categories differential algebra rule differentiation tensor infinity function transformation thing unit examples functions bang multiplication maps linear structure notion From OLLIE Quinn on October 29th, 2020 0 likes 43 plays 0 Licence Type All rights reserved Language English Date Created October 28th, 2020

Search for tag: "algebra"

the university of edinburgh