Search for tag: "examples"

63 Media

55:14 Jean-Simon Lemay (University of Oxford) : The… Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories. (session 3)	Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories. (session 3) 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.… yamcats category theory tangent categories differential ring epsilon structure geometry object functor vector paper times bundle definition examples bundles manifolds numbers sigma From OLLIE Quinn on November 25th, 2020 0 likes 1 plays 0 Licence Type All rights reserved Language English Date Created November 25th, 2020
06:09 CL - 15c - Introducing ε-transitions CL - 15c - Introducing ε-transitions	CL - 15c - Introducing ε-transitions We introduce NFA - automata with ε-transitions inf1a introduction to computation informatics 1 computation and logic machine word words epsilon language mfa machines bits fsm transitions dfa string rule start examples dice trace sets components equivalent From Haoran Peng on November 23rd, 2020 0 likes 222 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
48:59 Jean-Simon Lemay Cartesian differential… Jean-Simon Lemay Cartesian differential categories.	Jean-Simon Lemay Cartesian differential categories. This lecture series ‘category theory and its applications’ is linked to the LMS funded Yorshire and Midlands Category Seminar (YaMCATS) network.This lecture series consists of two topics… category yamcats differential categories maps derivative questions function cartesian linear examples restriction argument functions derivatives respect polynomials term sum projection definition From OLLIE Quinn on November 18th, 2020 0 likes 5 plays 0 Licence Type All rights reserved Language English Date Created November 11th, 2020
57:30 10th Nov: Micro-Aggressions Project 10th Nov: Micro-Aggressions Project	10th Nov: Micro-Aggressions Project Understanding micro-aggressions project. Rayya Ghul @rayya_ghul Institute of Academic Development, University of Edinburgh Resources mentioned: Recognising and counteracting racial micro-aggressions… racism transphobia homophobia sexuality race gender equality inclusion diversity microaggressions students things kind lot literature thing resources resource experience microaggression characteristics bit fact crime questions examples trans moment sense From Katie Nicoll Baines on November 10th, 2020 0 likes 20 plays 0 Licence Type Creative Commons - Attribution Share A Like Date Created November 10th, 2020
07:00 CL - 12d - Counting CL - 12d - Counting	CL - 12d - Counting In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations. inf1a introduction to computation informatics 1 computation and logic ways lines side arrow arrows rule literals valuation region times bottom diagram problem p. examples block cases counting amino hint From Haoran Peng on November 9th, 2020 0 likes 293 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
55:46 One World Virtual Seminar Series - Stochastic… One World Virtual Seminar Series - Stochastic Numerics and Inverse Problems: Marta Sanz-Sole (Barcelona)	One World Virtual Seminar Series - Stochastic Numerics and Inverse Problems: Marta Sanz-Sole (Barcelona) Automated subtitles will appear on this video. Click "cc" to turn subtitles off. icms coefficients solution equation sigma condition space bar examples increments hypothesis measure power wave result conditions dimension hypotheses delta interval covariance From Liam Holligan on November 5th, 2020 0 likes 1 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created November 4th, 2020
10:26 CL - 9a - Recap CL - 9a - Recap	CL - 9a - Recap This video is a brief recap of most of the logic we have covered so far. You may find it useful, to jog your memory and check your understanding. inf1a introduction to computation informatics 1 computation and logic things gamma rules thing rule counterexample delta algorithm cnf left end notation operations words syllogisms problems hours reduction operation examples From Haoran Peng on November 2nd, 2020 0 likes 344 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
23:29 IDS - Week 07 - 04 - Algorithmic bias IDS - Week 07 - 04 - Algorithmic bias	IDS - Week 07 - 04 - Algorithmic bias Bias in, bias out in algorithms that make decisions about humans data science rstats things article bias algorithm kind hathaway sentiment risk decisions gender biases lot amazon sentence algorithms videos science examples score machine From Mine Cetinkaya-Rundel on November 2nd, 2020 0 likes 20 plays 0 Course Code MATH08077 Licence Type Creative Commons - Attribution Non Commercial Share A Like
02:39 MLP Lecture 07 - Clip 08 - Learning Image Kernels MLP Lecture 07 - Clip 08 - Learning Image Kernels	MLP Lecture 07 - Clip 08 - Learning Image Kernels Machine Learning Practical (MLP) Lecture 07, Clip 08 / 09. machine learning deep learning image kernels cat pixels kernel feature transformation hierarchy weight grayscale detection edge values contrast outputs input layer net training examples From Pavlos Andreadis on November 2nd, 2020 1 likes 162 plays 0 Course Code INFR11132 Licence Type All rights reserved 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 28 plays 0 Licence Type All rights reserved Language English Date Created October 28th, 2020
04:22 CL - 6d - Karnaugh Maps III CL - 6d - Karnaugh Maps III	CL - 6d - Karnaugh Maps III More on blocks of ones (which correspond to conjunctions of literals). inf1a introduction to computation informatics 1 computation and logic karnaugh map things block thing half torus corner rectangle cylinder picture properties power amber values examples round rows columns means room sides From Haoran Peng on October 24th, 2020 0 likes 382 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:34 CL - 6a - Keeping it Simple CL - 6a - Keeping it Simple	CL - 6a - Keeping it Simple We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for… inf1a introduction to computation informatics 1 computation and logic karnaugh map things universe universes language bit property possibilities predicates letters picture diagrams venn fun pattern formula patterns universities kbps thousand examples From Haoran Peng on October 24th, 2020 0 likes 391 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
46:35 Rosanna Laking: Infinite-dimensional… Rosanna Laking: Infinite-dimensional representations of algebras	Rosanna Laking: Infinite-dimensional representations of algebras Rosanna Laking: Infinite-dimensional representations of algebras algebra module spectrum points modules topology point lecture matrix space sets dimension thing definition property kind subgroup examples properties union From OLLIE Quinn on October 8th, 2020 0 likes 10 plays 0 Licence Type All rights reserved Language English Date Created October 8th, 2020
48:50 Research and the “AI Revolution” \|… Research and the “AI Revolution” \| Professor Christopher Bishop \| Distinguished Lecture \| School of Informatics	Research and the “AI Revolution” \| Professor Christopher Bishop \| Distinguished Lecture \| School of Informatics Recording of Research and the “AI Revolution” - a School of Informatics Distinguished Lecture presented by Professor Christopher Bishop on 5 October 2020. Christopher Bishop is a… school of informatics artificial intelligence professor christopher bishop distinguished lecture ai revolution the university of edinburgh microsoft machine learning sort expertise molecules things ai application networks technologies examples storage algorithms process bit idea domain space parameters From Nicola Hopper on October 6th, 2020 0 likes 50 plays 0 Publisher UoE School of Informatics Licence Type All rights reserved The University of Edinburgh Language English Date Created October 5th, 2020
45:28 Infinite-dimensional representations of algebras… Infinite-dimensional representations of algebras - Rosanna Laking	Infinite-dimensional representations of algebras - Rosanna Laking LMS Autumn Algebra school Infinite-dimensional representations of algebras Rosanna Laking 5 October 2020 An automated programme is used to generate the subtitles on this talk. You can remove the… algebra representations module action space modules thing string matrix delta alpha representation examples structure field path pizza vector basis ring From GILLIAN KERR on October 5th, 2020 0 likes 34 plays 0 Licence Type All rights reserved Language english Date Created October 5th, 2020
40:46 What is the best super power? - Sophie Carr What is the best super power? - Sophie Carr	What is the best super power? - Sophie Carr EMS popular lecture, part of Maths Week Scotland 2020 What is the best super power? Dr Sophie Carr (Bays Consulting) 2 October 2020 An automated programme is used to generate the subtitles on this… mathematics statistics superpower numbers things superhero math thing uncertainty superpowers ability superheroes lot powers power food difference maths max banks examples From GILLIAN KERR on October 5th, 2020 0 likes 9 plays 0 Licence Type All rights reserved Language english Date Created October 2nd, 2020

Search for tag: "examples"

the university of edinburgh