ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

33,541 results

Eyesomorphic
Programming with Math | The Lambda Calculus

The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language ...

21:48
Programming with Math | The Lambda Calculus

394,538 views

1 year ago

Digital Futures: Research Hub for Digitalization
David Broman - Domain-specific modeling: equation-based languages and probabilistic programming

Models are extensively used by both scientists and engineers, but for different reasons. For scientists, working in natural sciences, ...

49:43
David Broman - Domain-specific modeling: equation-based languages and probabilistic programming

235 views

4 years ago

3Blue1Brown
Large Language Models explained briefly

A light intro to LLMs, chatbots, pretraining, and transformers. Dig deeper here: ...

7:58
Large Language Models explained briefly

5,278,042 views

1 year ago

Abel Siqueira
Optimization in a Graph - Maximum Flow

In this video we learn about the maximum flow problem, implementing it in Julia with JuMP and Graphs and solving it using the ...

28:44
Optimization in a Graph - Maximum Flow

323 views

2 years ago

Yong Wang
Operations Research 15B: AMPL - Quick Start Guide for Linear Programming

Textbooks: https://amzn.to/2VgimyJ https://amzn.to/2CHalvx https://amzn.to/2Svk11k In this video, I'll give you a quick start guide ...

6:19
Operations Research 15B: AMPL - Quick Start Guide for Linear Programming

71,290 views

8 years ago

Prof. Giordano Scarciotti
Optimization Masterclass - Hands-on: How to Solve Convex Optimization Problems in CVXPY Ep6

This tutorial is ideal for those who want to learn how to implement optimization models in code and understand how CVXPY ...

54:00
Optimization Masterclass - Hands-on: How to Solve Convex Optimization Problems in CVXPY Ep6

1,155 views

9 months ago

Coursera
Basic Modeling for Discrete Optimization - Welcome to Basic Modeling by The University of Melbourne

This video is part of an online course, Basic Modeling for Discrete Optimization, created by The University of Melbourne and The ...

2:50
Basic Modeling for Discrete Optimization - Welcome to Basic Modeling by The University of Melbourne

1,714 views

7 years ago

Digital Futures: Research Hub for Digitalization
David Broman - The Lambda Calculus

David Broman is an Associate Professor at the KTH Royal Institute of Technology, Associate Director Operations for KTH Digital ...

54:26
David Broman - The Lambda Calculus

266 views

4 years ago

Turing
Mathematics of LLMs in Everyday Language

Explore science like never before - accessible, thrilling, and packed with awe-inspiring moments. Fuel your curiosity with 100s of ...

1:06:17
Mathematics of LLMs in Everyday Language

191,583 views

7 months ago

Joshua Emmanuel
Transportation Problem - LP Formulation

An introduction to the basic transportation problem and its linear programming formulation: The Assignment Problem: ...

6:41
Transportation Problem - LP Formulation

593,361 views

10 years ago

Mixed Integer Programming
CO@Work Teaser 1

Teaser for the Combinatorial Optimization @ Work 2020: Algorithmic Intelligence in practice. Details can be found at ...

6:15
CO@Work Teaser 1

1,464 views

5 years ago

ACM SIGPLAN
A Library Modeling Language for the Static Analysis of C Programs

Hi, I'm Abdelraouf Ouadjaout, postdoc at Sorbonne University. Our SAS'20 paper is on a language for modeling C library ...

18:53
A Library Modeling Language for the Static Analysis of C Programs

211 views

5 years ago

Mixed Integer Programming
CO@Work Teaser 2

Teaser for the Combinatorial Optimization @ Work 2020: Algorithmic Intelligence in practice. Details and registrations link can be ...

2:58
CO@Work Teaser 2

771 views

5 years ago

Coursera
Basic Modeling for Discrete Optimization - Second Model by The University of Melbourne #2

This video is part of an online course, Basic Modeling for Discrete Optimization, created by The University of Melbourne and The ...

7:53
Basic Modeling for Discrete Optimization - Second Model by The University of Melbourne #2

1,200 views

7 years ago

César Soto Valero
Why LLMs Can’t Solve Complex Planning Problems

LLMs and optimization are not the same thing (planning, scheduling, NP-hard search, and why ChatGPT-style models fail without ...

17:05
Why LLMs Can’t Solve Complex Planning Problems

710 views

3 months ago

Domain of Science
The Map of Mathematics

The entire field of mathematics summarised in a single map! This shows how pure mathematics and applied mathematics relate to ...

11:06
The Map of Mathematics

15,551,094 views

9 years ago

The Julia Programming Language
Optimization | MIT Computational Thinking Spring 2021 | Lecture 16

For more info on the Julia Programming Language, follow us on Twitter: https://twitter.com/JuliaLanguage Contents 00:00 Waiting ...

49:04
Optimization | MIT Computational Thinking Spring 2021 | Lecture 16

7,419 views

Streamed 4 years ago

doggo dot jl
[02x03] Julia; VSCode; Optimization; Knapsack; JuMP; PlotlyJS | 3/13 Julia Analysis for Beginners

... JuMP research paper: JuMP: A Modeling Language for Mathematical Optimization, by Iain Dunning, Joey Huchette, Miles Lubin ...

41:36
[02x03] Julia; VSCode; Optimization; Knapsack; JuMP; PlotlyJS | 3/13 Julia Analysis for Beginners

9,712 views

5 years ago

The Julia Programming Language
MadNLP.jl: A Mad Nonlinear Programming Solver | Sungho Shin | JuliaCon2021

This talk was presented as part of JuliaCon2021 Abstract: We present a native-Julia nonlinear programming (NLP) solver ...

9:45
MadNLP.jl: A Mad Nonlinear Programming Solver | Sungho Shin | JuliaCon2021

1,083 views

4 years ago

J David Eisenberg
Chapter 9: UML Diagrams

Design classes with Unified Modeling Language Diagrams.

1:17
Chapter 9: UML Diagrams

362 views

6 years ago