Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Programming Thymio with VPL
Graph Chatbot
Related lectures (31)
Previous
Page 3 of 4
Next
Mathematical Induction: Principle and Example
Introduces the principle of mathematical induction through an example.
Recurrence: Induction
Covers the principle of induction for natural numbers and the importance of caution in its application.
Grant Proposal Writing: Tips from Martin Gijs
Explores tips for writing persuasive grant proposals and highlights the importance of balancing scientific detail and accessibility for different audiences.
Untitled
Untitled
Neuro-symbolic Representations: Commonsense Knowledge & Reasoning
Delves into neuro-symbolic representations for commonsense knowledge and reasoning in natural language processing applications.
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
Programming with VPL: Thymio Robot
Covers programming the Thymio robot using Visual Programming Language.
Introduction to Coq: Arithmetic Expressions and Evaluators
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Real Estate Law: Exam Review and Legal Principles
Focuses on resolving real estate law exam questions and legal principles for effective exam preparation.
