Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Records and Variants
Graph Chatbot
Related lectures (42)
Big-step semantics: Defining arithmetic expressions and commands
Log in to Mediaspace to watch this video
Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.
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.
Variables and Types: Introduction to C Programming
Log in to Mediaspace to watch this video
Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.
Simply Typed Lambda Calculus: Foundations and Properties
Log in to Mediaspace to watch this video
Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.
Language Theory into Practice
Log in to Mediaspace to watch this video
Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.
Options in Corporate Finance
Log in to Mediaspace to watch this video
Introduces the principles of options in corporate finance, covering markets, terminology, valuation, and pricing models.
Effective Altruism: AI Safety and Governance
Log in to Mediaspace to watch this video
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
Introduction to Finance: Options in Corporate Finance
Log in to Mediaspace to watch this video
Introduces options in corporate finance, covering markets, terminology, and graphical representations.
Turbulence: Numerical Flow Simulation
Log in to Mediaspace to watch this video
Explores turbulence characteristics, simulation methods, and modeling challenges, providing guidelines for choosing and validating turbulence models.
Functions in C: Key Concepts and Examples
Log in to Mediaspace to watch this video
Explains the essential concepts of functions in C programming, including definitions, prototypes, and argument passing techniques.
PLC Programming: Basics and Languages
Log in to Mediaspace to watch this video
Introduces PLC programming basics, covering languages like Ladder Diagram, Instruction List, Structured Text, and Sequential Function Chart.
Tail Calls: Optimization Techniques
Log in to Mediaspace to watch this video
Explores tail call optimization in functional programming, discussing trampolines, Baker's technique, and more.
Optimization: Register Allocation
Log in to Mediaspace to watch this video
Covers advanced compiler construction topics on optimization techniques like dead code elimination, constant folding, and register allocation.
Structural Mechanics Fundamentals
Log in to Mediaspace to watch this video
Introduces the fundamentals of structural mechanics, covering equilibrium, boundary conditions, free-body diagrams, and constraints.
Spectroscopy Insights
Log in to Mediaspace to watch this video
Explores spectroscopy concepts such as Rayleigh scattering and energy levels.
Vectorworks Design Suite
Log in to Mediaspace to watch this video
Covers the basics of Vectorworks Design Suite 2022 and how to work with different elements.
Thermal Resistances & Bi Number
Log in to Mediaspace to watch this video
Covers thermal resistances, Bi number, and thermal circuits, including conductive heat transfer and heat diffusion equations.
Python Programming: List Comprehensions and Higher Order Functions
Log in to Mediaspace to watch this video
Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.
Linear Elasticity: Spherically-Symmetric Problems
Log in to Mediaspace to watch this video
Explores linear elasticity in spherically-symmetric problems and axially-symmetric cylindrical shells.
Near Neighbors Retrieval: Efficient Techniques
Log in to Mediaspace to watch this video
Covers techniques for efficiently retrieving similar items using similarity search queries.
Previous
Page 2 of 3
Next
