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

Concept

Model of computation

Related lectures (30)

Picking Factor Computation

Covers the computation of the picking factor and related exercises.

Noncommutative Smith Form

Covers the computation of the Smith Form for noncommutative systems.

Simon's Problem

Discusses Simon's Problem and deterministic computation through various equations and implications.

Replica Symmetry Breaking: Full Solution & Condensation

Explores Replica Symmetry Breaking in the Random Energy Model, discussing configurational entropy and condensation.

Scripts and Algorithms: MATLAB and Octave Basics MOOC: MATLAB and Octave for Beginners

Introduces the basics of scripts and algorithms using MATLAB and Octave for beginners.

Fokker Planck Equation: Transition Probability and SDE

Explores the Fokker Planck equation, transition probability, and SDE properties.

Identity and Change

Explores how assignments affect the equivalence between expressions in programming.

Discrete Log Problem: Pollard's Rho Method

Introduces Pollard's rho method for the discrete log problem and finding collisions efficiently in a cyclic group.

Quantum Formalism and 2-Level System

Explores quantum formalism and 2-level systems, covering energy representation, thermal equilibrium, and operator expectation values.

Turing Machines: Recursive Languages

Explores Turing machines, recursive languages, and decidability in the theory of computation.

Neuromorphic Computing with Artificial Spin Systems

Explores Neuromorphic Computing with Artificial Spin Systems, discussing the need for new computing paradigms and the potential of artificial spin systems for neuromorphic computing applications.

Information, Computation, and Society

Explores the history and societal impact of information, communication, and computation sciences in the digital era.

Turing Machine Example: Testing for Even Numbers

Demonstrates a Turing machine testing for even numbers using binary input.

Connected Diagrams: Free Energy and Semiclassical Propagator

Explains free energy as a sum over connected diagrams and the semiclassical propagator in quantum field theory.

Query Expansion and Indexing

Explores modifying query vectors for query expansion and indexing in SSI.

Laplacian Solvers

Explores Laplacian solvers, covering approximate solutions, applications, error conversion, and theoretical advancements in computational methods.

The Nerve and Geometric Realization

Delves into the computation and geometric realization of small categories, exploring the relationship between nerves and geometric structures.

Formal Definition of Turing Machines

Explores the theoretical definition of computation and introduces Turing machines.

Convergence of the method

Covers the convergence of the method and the importance of adapting time steps for accurate approximations.

Partial Derivatives

Covers the concept of partial derivatives and their applications in optimization and tangent plane approximation.