In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic that interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate logic, which enables to study intermediate logics using tools developed for modal logic. (Wikipedia).
From playlist Music.
From playlist the absolute best of stereolab
We Love Opera! What kind of an opera is opera buffa?
A quick definition of "opera buffa." Does it remind you of "buffoon?" Want to go to the opera, but you're not sure you'll understand what's going on? "We Love Opera" is a video series from Socratica that will help you understand what opera is all about. Opera can be exciting, funny, sa
From playlist Opera Glossary
The Glass Batteries That Are More Than Good Enough!
Glass batteries have invaded the news - but what does this latest technological development by John Goodenough and Helena Braga mean? Lithium ion battery technology has remained unchanged over the past 40 years, carrying the same risks of short-circuiting and producing dangerous explosions
From playlist Draw Curiosity
Citrix : Web Interface website for the Citrix Access Gateway
More videos like this online at http://www.theurbanpenguin.com Here we take a look at creating a Citrix Web Interface web site to support the Citrix Access Gateway. In doing so we will also look at the importance of backing up the webinterface.conf and using that as a template fro new site
From playlist Citrix
From playlist the absolute best of stereolab
Vodafone-Happy to Help Ad (full)
In some very special way I still remain loyal to this brand,yet another spectaculary meaningful ad from O&M..gd going
From playlist Advertisements
Daniel Hoffmann, University of Warsaw
May 14, Daniel Hoffmann, University of Warsaw Fields with derivations and action of finite group
From playlist Spring 2021 Online Kolchin Seminar in Differential Algebra
MORE precise. MORE out of your downtime. MORE connectivity. MORE in touch. MORE business ready. The Lenovo ThinkPad Tablet is the perfect PC companion.
From playlist Lenovo: For Those Who Do.
By the author of 'Mr Bruff's Guide to Grammar': https://www.amazon.co.uk/Bruffs-Guide-Grammar-Kerry-Lewis/dp/1520926693/ref=sr_1_1?dchild=1&keywords=mr+bruff+grammar&qid=1601151876&sr=8-1 or https://mrbruff.com/ How to Spell Verbs: https://youtu.be/AHffVUPzpr8
From playlist Parts of Speech
Lisa Nickerson - Addressing Confounds in Neuroimaging Machine Learning Predictions - IPAM at UCLA
Recorded 13 January 2023. Lisa Nickerson of Harvard Medical School presents "Addressing Confounds in Neuroimaging Machine Learning Predictions" at IPAM's Explainable AI for the Sciences: Towards Novel Insights Workshop. Learn more online at: http://www.ipam.ucla.edu/programs/workshops/expl
From playlist 2023 Explainable AI for the Sciences: Towards Novel Insights
[BOURBAKI 2018] 31/03/2018 - 3/3 - Antoine CHAMBERT-LOIR
Antoine CHAMBERT-LOIR — Relations de Hodge–Riemann et matroïdes Les matroïdes finis sont des structures combinatoires qui expriment la notion d’indépendance linéaire. En 1964, G.-C. Rota conjectura que les coefficients du « polynôme caractéristique » d’un matroïde M, polynôme dont les coe
From playlist BOURBAKI - 2018
Episode 015: Self-Expansion Your Relationship with Your Computer! Her (2013) with Jeff Bowen
***Originally published on June 8, 2020*** Join Alex and guest host Dr. Jeff Bowen (https://pbs.jhu.edu/directory/jeff-bowen/) in a discussion of the psychological concepts in Her (2013)(https://www.imdb.com/title/tt1798709), another tour de force by Joaquin Phoenix (I suppose this show h
From playlist CinemaPsych Podcast
Dueling Excel - "Watch Box in Excel : Podcast 1488
Microsoft Excel Duel In today's Dueling Excel, Episode #1488, Mike "ExcelisFun" Girvin and Bill "MrExcel" Jelen team up to defend Excel's honor, showing two different methods to create a Watch Box in Excel. Dueling Excel Podcast #92...This episode is the video podcast companion to the
From playlist Dueling Excel Podcasts with Bill Jelen and Mike Girvin
Formation and evolution of compact binaries (Lecture - 01) by Tomasz Bulik
Summer School on Gravitational-Wave Astronomy DATE: 17 July 2017 to 28 July 2017 VENUE: Madhava Lecture Hall, ICTS Bangalore This school is a part of the annual ICTS summer schools in gravitational wave astronomy. This year’s school will focus on the physics and astrophysics of compact
From playlist Summer School on Gravitational-Wave Astronomy - 2017
Machine Reading for Precision Medicine
Presented by: Hoifung Poon - Senior Director of Biomedical NLP at Microsoft The advent of big data promises to revolutionize medicine by making it more personalized and effective, but big data also presents a grand challenge of information overload. For example, tumor sequencing has becom
From playlist Healthcare NLP Summit 2022
Why AI is Harder Than We Think (Machine Learning Research Paper Explained)
#aiwinter #agi #embodiedcognition The AI community has gone through regular cycles of AI Springs, where rapid progress gave rise to massive overconfidence, high funding, and overpromise, followed by these promises being unfulfilled, subsequently diving into periods of disenfranchisement a
From playlist Papers Explained