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
Concept
Type conversion
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (30)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 3
Next
Matrix to Density Operator
Explains the transformation from a matrix to the density operator in quantum physics.
Multi-Regional Input Output Analysis: EXIOBASE 3
Covers the computation of Economy-Wide Material Flow Analysis for Switzerland using EXIOBASE 3.
Compiler Extension Lab
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Introduction to Transport Phenomena: Bernoulli's Equation
Covers Bernoulli's equation and its applications in fluid flow problems, including continuity, friction factors, and practical examples.
Type Rules: Progress, Preservation
Covers type rules, program type checking, soundness, and proof techniques.
Displacement Field by Point Forces
Explores solving displacement field by point forces using Green's functions and integration process to obtain total solution.
Action Bar Plugin: Useful Shortcuts for Fiji
Delves into the Action Bar plugin, demonstrating how to create custom toolbars and mini applications in Fiji.
Solid Mechanics Principles: Greens Functions
Explores Greens functions in solid mechanics, emphasizing the solution of point forces and their impact on displacement fields.
Type Inference: Hindley-Milner Overview
Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.
Crypto Wallet for DeFi: MetaMask
Covers MetaMask, a crypto wallet for blockchain apps, emphasizing wallet security and account protection.