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

Home

Lecture

Grant Proposal Writing: Tips from Martin Gijs

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Propositional Logic: Quiz Answers

Covers the answers to a quiz on propositional logic, emphasizing the importance of clarity in logical statements.

Scientific Method Misunderstandings

Explores the misconceptions in scientific studies, emphasizing caution in statistical reasoning and the importance of pre-registration in experiments.

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.

Discrete Mathematics: Logic, Structures, Algorithms Log in to Mediaspace to watch this video

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

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.

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.

Quantum Machine Learning: Theory and Applications Log in to Mediaspace to watch this video

Explores quantum machine learning, representations of molecules, kernel regression, and the interplay between physics and machine learning.

Exam Preparation Strategies Log in to Mediaspace to watch this video

Provides exam preparation strategies emphasizing problem-solving approaches and critical thinking in physics.

Quantum Mechanics: Derivation and Logical Inference Log in to Mediaspace to watch this video

Explores demystifying quantum mechanics through logical inference and robust experimental descriptions, emphasizing the separation of conditions and fundamental quantum equations.

Proofs and Logic: Introduction Log in to Mediaspace to watch this video

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Page 2 of 2