Logic programming languages

Prova

Prova is an open source programming language that combines Prolog with Java. (Wikipedia).

Video thumbnail

prob6

From playlist everything

Video thumbnail

Stereolab - Supah Jaianto

Del nuevo/próximo disco de Stereolab, 'Not Music', uno de sus estupendos temas.

From playlist the absolute best of stereolab

Video thumbnail

What is a Function and How Do We Evaluate It? Precalculus

We introduce what a function is, what a function machine is, and how we evaluate functions. We evaluate functions with negative numbers, positive numbers, fractions, and even a variable! #Precalculus / #Precalc Join this channel to get access to perks: https://www.youtube.com/channel/UCGY

From playlist Precalculus

Video thumbnail

The Procrastination Killer: 5 Easy Steps To Get Things Done

Procrastination is super hard to get over. In this video I give you a step by step plan that you can follow that can help you defeat procrastination. Do you have any other advice? If so, please leave a comment below. Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear https://a

From playlist Inspiration and Advice

Video thumbnail

Oscillating Boundary problems (Lecture 3) by Antonio Gaudiello

PROGRAM: MULTI-SCALE ANALYSIS AND THEORY OF HOMOGENIZATION ORGANIZERS: Patrizia Donato, Editha Jose, Akambadath Nandakumaran and Daniel Onofrei DATE: 26 August 2019 to 06 September 2019 VENUE: Madhava Lecture Hall, ICTS, Bangalore Homogenization is a mathematical procedure to understa

From playlist Multi-scale Analysis And Theory Of Homogenization 2019

Video thumbnail

Kepler | Introductory Astronomy Course 1.15

Welcome to Astronomy: Exploring Time and Space, a course from Professor Impey, a University Distinguished Professor of Astronomy at the University of Arizona. Learn about the foundations of astronomy in this free online course here on YouTube. This video is part of module 1, Science and Hi

From playlist Introductory Astronomy Module 1: Science and History

Video thumbnail

THE JUMP BATTLE!!!

My Bro In-Law challenges me to a Jump Off! ......bad news for my sister. Two guys challenge each other to see who is the best jumper. They each try to jump over strange things, including: a wheel barrow, a trash can, a bird bath, a car, a dog, a bush, a fence, and more. Very funny. Pe

From playlist Some of my older stuff

Video thumbnail

The Impact of Malian Crisis on Cultural Heritage Resources

The impact of Malian Crisis on Cultural Heritage Resources Lassana Cissé (Cultural Heritage of Mali) Presented at Culture in Crisis II, an International Conference at the Yale Institute for the Preservation of Cultural Heritage in collaboration with the Victoria and Albert Museum in Londo

From playlist Culture in Crisis II

Video thumbnail

Eleonara Cinti: Quantitative stability estimates for fractional inequalities

We present stability results for some functional inequalities (such as the Faber-Krahn and the isocapacitary inequality) in the nonlocal setting. The proof is based on some ideas by Hansen and Nadirashvili (who considered the classical local case) and uses the so-called Caffarelli-Silvestr

From playlist Hausdorff School: Trending Tools

Video thumbnail

This Procrastination Book Doesn’t Exist #shorts

Longer video on Procrastination: 👀 https://youtu.be/v7RX_5eGNJM And subscribe to BrainCraft for more videos!

From playlist BrainCraft #shorts

Video thumbnail

Toward Computer-Based Calculus

In this Wolfram Technology Conference talk, Nikolay Brodskiy shares his experiences with using Wolfram technologies, including Mathematica and Wolfram|Alpha, for a computer-based approach to teaching calculus. For more information about Mathematica, please visit: http://www.wolfram.com/ma

From playlist Wolfram Technology Conference 2012

Video thumbnail

Stereolab - The Super-It

Created with mp32tube.com

From playlist the absolute best of stereolab

Video thumbnail

Quiz Show: Michael Aranda vs. Emily Graslie

Having worked together for years, it's time for Emily Graslie and Michael Aranda to go head to head in a SciShow Quiz Show Grudge Match. Special Thanks to the Montana Natural History Center for bringing Emily back to town and for inspiring so many of these questions! http://www.montanana

From playlist Uploads

Video thumbnail

Lenovo Skywalker hologram

cool video of hologram

From playlist Lenovo: For Those Who Do.

Video thumbnail

Fellow Short Talks: Dr Efthymia Tsamoura, The Alan Turing Institute

Efthymia Tsamoura received her BSc in 2007 and her PhD in 2013 with honours both from the Computer Science Department of Aristotle University of Thessaloniki, Greece. Since June 2013 she is a postdoctoral researcher in the Computer Science Department of University of Oxford, working on pro

From playlist Short Talks

Video thumbnail

A. Mondino - Metric measure spaces satisfying Ricci curvature lower bounds 4 (version temporaire)

The idea of compactifying the space of Riemannian manifolds satisfying Ricci curvature lower bounds goes back to Gromov in the '80ies and was pushed by Cheeger-Colding in the ‘90ies, who investigated the structure of spaces arising as Gromov-Hausdorff limits of smooth Riemannian manifolds

From playlist Ecole d'été 2021 - Curvature Constraints and Spaces of Metrics

Video thumbnail

Asymmetric Organocatalysis - Proline Aldol

Full explanation of this reaction: https://youtu.be/bAF_hD04qrw Nobel Prize in Chemistry 2021 won for this chemistry using asymmetric organocatalysis to do aldol reactions catalysed by proline. Nobel Prize in Chemistry playlist: https://youtube.com/playlist?list=PLavaRHHaRimUxm3ZH9fG9YMV

From playlist Nobel Prize Winning Chemistry

Video thumbnail

Coding Challenge #60: Butterfly Generator

In this coding challenge, I use trigonometry and perlin noise to procedurally generate butterfly wing designs with p5.js. This challenge is inspired by Everest Pipkin's Moth Generator. 💻Challenge: https://thecodingtrain.com/CodingChallenges/060-butterfly-wings.html Links discussed in th

From playlist 13: What is Perlin Noise?

Related pages

Prolog | Resource Description Framework | Inference | CICS