Nature-inspired metaheuristics
This is a chronologically ordered list of metaphor-based metaheuristics and swarm intelligence algorithms, sorted by decade of proposal. (Wikipedia).
Adding Vectors Geometrically: Dynamic Illustration
Link: https://www.geogebra.org/m/tsBer5An
From playlist Trigonometry: Dynamic Interactives!
Olivia Caramello - 2/4 ntroduction to categorical logic, classifying toposes...
Introduction to categorical logic, classifying toposes and the « bridge » technique Construction of classifying toposes for geometric theories. Duality between the subtoposes of the classifying topos of a geometric theory and the quotients of the theory. Transfer of topos‐the
From playlist Topos à l'IHES
Olivia Caramello - 4/4 ntroduction to categorical logic, classifying toposes...
Introduction to categorical logic, classifying toposes and the 'bridge' technique. The ‘bridge-building’ technique: Morita-equivalences as ‘decks’ and site characterizations as ‘arches’. Some examples and applications.
From playlist Topos à l'IHES
FTFY: Research advances in automatic bug repair - Claire Le Goues (Carnegie Mellon University)
Claire Le Goues shares recent advances in academic software engineering and programming languages research that aims to bring that dream to reality, using everything from metaheuristic search to program synthesis to machine learning and search over big databases of existing code to make it
From playlist O'Reilly Velocity Conference 2017 - New York, New York
Olivia Caramello - 3/4 ntroduction to categorical logic, classifying toposes...
Introduction to categorical logic, classifying toposes and the 'bridge' technique Theories classified by a presheaf topos and their quotients. Finite presentability, irreducible formulae and homogeneous models.
From playlist Topos à l'IHES
Metacognition and speaking | Introduction | Part 1
In this video, I provide an overview of metacognition and discuss its role in speaking.
From playlist Metacognition
OSB 2015 - "R" You Ready for Some Football? Hacking Fantasy Sports with Open Source Software
By, Ed Borasky You've probably heard about "robot jounalism" - computers writing finance and sports stories. Well, there's just one teensy little problem with robots writing finance and sports stories: investors and fantasy sports gamers don't want the data turned into text! They want the
From playlist Open Source Bridge 2015
What are the Types of Numbers? Real vs. Imaginary, Rational vs. Irrational
We've mentioned in passing some different ways to classify numbers, like rational, irrational, real, imaginary, integers, fractions, and more. If this is confusing, then take a look at this handy-dandy guide to the taxonomy of numbers! It turns out we can use a hierarchical scheme just lik
From playlist Algebra 1 & 2
Could the Pyramids be made today? | History Remade with Sabrina
How hard could it be to build a pyramid? Find out as Sabrina creates a scale model of the Great Pyramid of Giza using time-accurate techniques and supplies from her local craft store. Watch new episodes of The Engineering That Built the World on Sundays at 9/8c, and stay up to date on all
From playlist History Remade with Sabrina
What are Hyperbolas? | Ch 1, Hyperbolic Trigonometry
This is the first chapter in a series about hyperbolas from first principles, reimagining trigonometry using hyperbolas instead of circles. This first chapter defines hyperbolas and hyperbolic relationships and sets some foreshadowings for later chapters This is my completed submission t
From playlist Summer of Math Exposition 2 videos
AQC 2016 - Simulated Quantum Annealing Can Be Exponentially Faster Than Classical
A Google TechTalk, June 27, 2016, presented by Elizabeth Crosson (Caltech) ABSTRACT: Simulated Quantum Annealing Can Be Exponentially Faster Than Classical Simulated Annealing: Cost functions with thin, high energy barriers can exhibit exponential separations between the run-time of class
From playlist Adiabatic Quantum Computing Conference 2016
Category Theory 1.2 : Examples of Categories and Clarification
In this video, I clarify some terminology, and show some very important examples of categories. This includes the category of groups, sets, topologic spaces, monoids, modules, and rings. I also discuss the relation between categories and individual groups, preorders, matrices, and ordinals
From playlist Category Theory
Imtiaz Dharker: 'Tissue' Mr Bruff Analysis
Buy my revision guides in paperback on Amazon*: Power and Conflict poetry guide (ebook) https://bit.ly/2PS8bw6 Mr Bruff’s Guide to GCSE English Language https://amzn.to/2GvPrTV Mr Bruff’s Guide to GCSE English Literature https://amzn.to/2POt3V7 AQA English Language Paper 1 Practice
From playlist AQA 'Power and Conflict' Poetry
Bitcoin Design Principles - IDEO Lab presentation by Andreas M. Antonopoulos
In this talk, Andreas looks at the design principles, metaphors and words used in bitcoin and how they relate to the user experience. Chapters 0:00 What is Bitcoin? 1:38 Forms and history of money 12:25 Design metaphors 21:11 Radical departure from the past 26:34 Bitcoin is unstoppable be
From playlist English Subtitles - aantonop Videos with subtitles in English
Cascadia Ruby 2014- Cognitive Shortcuts: Models, Visualizations, Metaphors, and Other Lies
By Sam Livingston-Gray Experienced developers tend to build up a library of creative problem-solving tools: rubber ducks, code smells, anthropomorphizing code, et cetera. These tools map abstract problems into forms our brains are good at solving. But our brains are also good at lying to
From playlist Cascadia Ruby 2014
Stanford Seminar - Entrepreneurial Though Leaders: Steve Teig of Tabula
Steve Teig Tabula In this seminar, entrepreneurial leaders share lessons from real-world experiences across entrepreneurial settings. Speakers include entrepreneurs, leaders from global technology companies, venture capitalists, and best-selling authors. Half-hour talks are followed by a
From playlist Leadership & Management
Intro to Hegel (& Progressive Politics) | Philosophy Tube
This video explains the work of Hegel and Frantz Fanon, and explores how the Master & Slave Dialectic can help us understand identity politics. Mike Rugnetta: http://reasonablysound.com/ @mikerugnetta MarinaShutup:https://www.youtube.com/user/marinashutup @marinashutup Contrapoints: https
From playlist METAPHYSICS
4 Ways of Thinking About Abstract Objects - Philosophy Tube
Are numbers, sets, colours and Hamlet really objects? Are they abstract? What does that mean? Metaphysics playlist: https://www.youtube.com/playlist?list=PLvoAL-KSZ32cX32PRBl1D4b4wr8DwhRQ4 Subscribe! http://www.youtube.com/subscription_center?add_user=thephilosophytube Patreon: http://ww
From playlist METAPHYSICS