Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Rule Systems, Simulations, and Parallel Worlds

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (34)

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Inductive Propositions: Reasoning and Evaluation Techniques Log in to Mediaspace to watch this video

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Distributed Multiagent Systems: Coordination and Learning Log in to Mediaspace to watch this video

Explores coordination and learning in distributed multiagent systems, covering social laws, task exchange, constraint satisfaction, and coordination algorithms.

Computer Vision: History Recap & Logistics Log in to Mediaspace to watch this video

Provides an overview of computer vision history and logistics, focusing on neural networks and logical reasoning.

Neuro-symbolic Representations: Commonsense Knowledge & Reasoning Log in to Mediaspace to watch this video

Delves into neuro-symbolic representations for commonsense knowledge and reasoning in natural language processing applications.

Neuro-symbolic Representations: Commonsense Knowledge & Reasoning Log in to Mediaspace to watch this video

Explores neuro-symbolic representations for understanding commonsense knowledge and reasoning, emphasizing the challenges and limitations of deep learning in natural language processing.

Transforms of the Place Log in to Mediaspace to watch this video

Explores the intuition behind transforms of the place and addresses audience questions on integral calculations and function choices.

Introduction to Structural Mechanics Log in to Mediaspace to watch this video

Covers hyperstatic-hypostatic systems, equilibrium, and constraints in structural mechanics.

Visual Intelligence: Machines and Minds Log in to Mediaspace to watch this video

Delves into visual intelligence, datasets, simulations, and the challenges of generalization in machine perception.

Game Theory Applications: Project Proposals and Examples Log in to Mediaspace to watch this video

Provides guidance on project proposals in game theory, showcasing past examples and emphasizing problem formulation and mathematical modeling.

FPGA Programming with Speedgoat: Real-Time Signal Processing Log in to Mediaspace to watch this video

Focuses on implementing a square function generator using Speedgoat FPGA technology and real-time signal processing techniques.

Modeling Interactions & Assemblies Log in to Mediaspace to watch this video

Covers the modeling of interactions and assemblies in engineering simulations using Abaqus software.

Structural Mechanics FEM: A First Model Log in to Mediaspace to watch this video

Covers Finite Element Modeling in Structural Mechanics, building a first model to analyze a Polysilicon Micro-Cantilever and understand load types.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Page 2 of 2