Non-classical logic | Systems of formal logic
Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news conveyed by it." In dynamic semantics, sentences are mapped to functions called context change potentials, which take an input context and return an output context. Dynamic semantics was originally developed by Irene Heim and Hans Kamp in 1981 to model anaphora, but has since been applied widely to phenomena including presupposition, plurals, questions, discourse relations, and modality. (Wikipedia).
Similar Figures Definition: Dynamic Illustration
Link: https://www.geogebra.org/m/EeXdSpJB
From playlist Geometry: Dynamic Interactives!
Adding Vectors Geometrically: Dynamic Illustration
Link: https://www.geogebra.org/m/tsBer5An
From playlist Trigonometry: Dynamic Interactives!
Continuity Definnition: Dynamic Illustration
Link: https://www.geogebra.org/m/xeA7M94B
From playlist Calculus: Dynamic Interactives!
What Is Dynamic Programming and How To Use It
**Dynamic Programming Tutorial** This is a quick introduction to dynamic programming and how to use it. I'm going to use the Fibonacci sequence as the primary example. Sample code is available in Jupyter Notebook and plain Python at: https://www.csdojo.io/dpcode Keep in touch on Facebook
From playlist Dynamic Programming Tutorial Series
Quiz: Composition of Functions (Graph & Table)
Link: https://www.geogebra.org/m/QgN7nwCh
From playlist Algebra 1: Dynamic Interactives!
Stack Data Structure - Algorithm
This is an explanation of the dynamic data structure known as a stack. It includes an explanation of how a stack works, along with pseudocode for implementing the push and pop operations with a static array variable.
From playlist Data Structures
Messing with Mona: Introduction to Geometric Transformations
Link: https://www.geogebra.org/m/KFtdRvyv
From playlist Geometry: Dynamic Interactives!
Daniel Bennequin - Topos, stacks, semantic information and artificial neural networks
Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Joint work with Jean-Claude Belfiore Every known artificial deep neural network (DNN) corresponds to an object in a canonical Grothendieck’s topos; its learning dynamic correspo
From playlist Toposes online
Getting Fancy on Rubinius (Christopher Bertels)
Fancy is a self-hosted, dynamic, class based, pure object-oriented programming language heavily inspired by Smalltalk, Ruby and Erlang that runs on the Rubinius VM. It has first class integration with Ruby, support for asynchronous message sends, futures and actors, a simple syntax and con
From playlist Ruby Conference 2011
Stanford Seminar - Opening the Doors of (Robot) Perception - Luca Carlone
Opening the Doors of (Robot) Perception: Towards Certifiable Spatial Perception Algorithms and Systems Luca Carlone MIT February 11, 2022 Spatial perception —the robot’s ability to sense and understand the surrounding environment— is a key enabler for autonomous systems operating in co
From playlist Stanford AA289 - Robotics and Autonomous Systems Seminar
Koko Muroya: Program semantics with token passing
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual
From playlist Mathematical Aspects of Computer Science
GeoGebra Formative Assessment Resource: https://www.geogebra.org/m/grfcumbp
From playlist Calculus: Dynamic Interactives!
Neural networks and the brain: from the retina to semantic cognition - Surya Ganguli
Surya Ganguli research spans the fields of neuroscience, machine learning and physics, focusing on understanding and improving how both biological and artificial neural networks learn striking emergent computations. In this talk Dr. Ganguli shows how a synthesis of machine learning, neuros
From playlist Wu Tsai Neurosciences Institute
Programming Languages - (part 6 of 7)
How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org
From playlist Programming Languages
RubyConf 2017: Types and Ruby Programming Language by Soutaro Matsumoto
Types and Ruby Programming Language by Soutaro Matsumoto Types have been a big interest for Rubyists for more than ten years. Even before Ruby3, some researchers have tried to type check Ruby programs. All of them had failed. No one in the world has successfully implemented practical type
From playlist RubyConf 2017
Ludovic Rifford : Geometric control and dynamics
Abstract: The geometric control theory is concerned with the study of control systems in finite dimension, that is dynamical systems on which one can act by a control. After a brief introduction to controllability properties of control systems, we will see how basic techniques from control
From playlist Dynamical Systems and Ordinary Differential Equations
Luca Carlone: "Certifiable Perception for Robots & AVs: From Robust Algorithms to Robust Systems"
Mathematical Challenges and Opportunities for Autonomous Vehicles 2020 Workshop II: Safe Operation of Connected and Autonomous Vehicle Fleets "Certifiable Perception for Robots and Autonomous Vehicles: From Robust Algorithms to Robust Systems" Luca Carlone - Massachusetts Institute of Tec
From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020
RailsConf 2021: Accessibility is a Requirement - Ryan Boone
Accessible web applications reach wider audiences, ensure businesses are in compliance with the law, and, most importantly, remove barriers for the one in seven worldwide living with a permanent disability. But limited time, lack of knowledge, and even good intentions get in the way of bui
From playlist RailsConf 2021