ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

172,364 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

391,722 views

1 year ago

balticruby
"Mathematical Programming in Ruby"

SPEAKER: TOMASZ JÓŹWIK. When using math programming, we can achieve optimal solutions for complex problems by ...

35:18
"Mathematical Programming in Ruby"

62 views

1 year ago

Larry Snyder
AMPL Tutorial

A tutorial on the algebraic modeling language AMPL, which is used for mathematical optimization. The tutorial assumes you have ...

53:56
AMPL Tutorial

42,334 views

6 years ago

Aaron Gray
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...

47:15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

249 views

6 months ago

CAPRI Model
Calibration of the Supply module. Positive Mathematical Programming.

This is a part of the CAPRI training session 2021. The complete agenda and course materials can be found here: ...

32:06
Calibration of the Supply module. Positive Mathematical Programming.

481 views

4 years ago

FunctionalTV
SBTB 2015: Germán Ferrari, Embedded DSL to manipulate Mathprog Mixed Integer Programming

GNU Mathprog is an algebraic modeling language for describing mathematical programming models. The language is a subset of ...

25:34
SBTB 2015: Germán Ferrari, Embedded DSL to manipulate Mathprog Mixed Integer Programming

280 views

10 years ago

Gamma-Opt
MS-E2121 - Linear Optimization - Lecture 1.2

Mathematical programming and optimisation - Types of mathematical optimisation models Linear programming applications ...

40:31
MS-E2121 - Linear Optimization - Lecture 1.2

424 views

4 years ago

Michigan Institute for Data & AI in Society
Understanding and Improving Language Model Architectures | Dr. Samet Oymak | 2025

Generative AI Mini-Symposium Speaker: Dr. Samet Oymak, Assistant Professor of Electrical Engineering and Computer Science, ...

55:45
Understanding and Improving Language Model Architectures | Dr. Samet Oymak | 2025

135 views

10 months ago

Algorithms Lab
Linear Programming (LP) Duality, part 1: Introduction and Physical Interpretation

I introduce duality by an example, we take a look at weak and strong duality, go through a recipe for duality and conclude with a ...

27:56
Linear Programming (LP) Duality, part 1: Introduction and Physical Interpretation

3,671 views

2 years ago

Tsoding Daily
I tried Lean and instantly got PhD in Math

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat Chapters: - 00:00:00 - Intro - 00:01:37 - Installing ...

3:15:10
I tried Lean and instantly got PhD in Math

64,368 views

6 days ago

HYPOTHALAMUS Ai
HAI - TSO - Mathematical Programming in Aviation Industry

Hypothalamus Artificial Intelligence Inc. and GAMS, General Algebraic Modeling Systems Inc.) Present Mathematical ...

24:50
HAI - TSO - Mathematical Programming in Aviation Industry

11 views

6 months ago

The Julia Programming Language
Numerical Optimization in Julia | Miles Lubin, Iain Dunning | Julia Tutorial MIT 2013

A number of optimization libraries are already available for Julia. This session focusses largely on linear programming.

26:46
Numerical Optimization in Julia | Miles Lubin, Iain Dunning | Julia Tutorial MIT 2013

7,141 views

12 years ago

INFORMS Student Chapter - UT Austin
Optimization in Python: Pyomo and Gurobipy Workshop - Brent Austgen - UT Austin INFORMS

Join UT INFORMS student chapter officer Brent Austgen for a tutorial in implementing math models with pyomo and gurobipy.

1:11:46
Optimization in Python: Pyomo and Gurobipy Workshop - Brent Austgen - UT Austin INFORMS

46,835 views

4 years ago

Sergiy Butenko
Introduction to AMPL

00:00 Intro and downloading AMPL 01:12 Running AMPL 04:12 Formulating an LP model in AMPL (.mod file) 06:56 Executing ...

43:12
Introduction to AMPL

9,379 views

5 years ago

IEOR@IITB
Lecture 12: Modeling Piecewise Linear Functions, by Sven Leyffer.

GIAN course on Advances in Mixed-Integer Nonlinear Optimization conducted by Sven Leyffer, Pietro Belotti and Ashutosh ...

34:38
Lecture 12: Modeling Piecewise Linear Functions, by Sven Leyffer.

400 views

1 year ago

AMPL Optimization
Modeling, not Programming

AMPL Resources: The AMPL Book is available free at https://ampl.com/resources/the-ampl-book/ Get a full trial of AMPL and ...

30:10
Modeling, not Programming

1,169 views

5 years ago

INFORMS
Adding Optimization to Apps: AMPL's Model-Based Approach to Fast Development & Reliable Deployment

In this video, you'll learn from AMPL's Robert Fourer: An understanding of the optimization modeling lifecycle and the components ...

1:01:14
Adding Optimization to Apps: AMPL's Model-Based Approach to Fast Development & Reliable Deployment

1,719 views

5 years ago

Gabriel Mongaras
Direct Preference Optimization (DPO): Your Language Model is Secretly a Reward Model Explained

Paper found here: https://arxiv.org/abs/2305.18290.

36:25
Direct Preference Optimization (DPO): Your Language Model is Secretly a Reward Model Explained

19,126 views

2 years ago

ProNerd
DSUU Tutorial 4 Mathematical Programming Language MPL

Tutorial 4 of the course Decision Support under Uncertainty by Prof. Achim Koberstein and Pavlo Glushko from the European ...

2:07:27
DSUU Tutorial 4 Mathematical Programming Language MPL

508 views

5 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,072 views

8 months ago

easy Julia Coding by Mathematicians
easyJulia E15 Optimization in Julia 1

In this video, we dive into the powerful combination of JuMP, GLPK, and CDDLib to solve linear programming problems efficiently.

20:22
easyJulia E15 Optimization in Julia 1

148 views

2 years ago

Salt Lake City R Users Group
Bayesian Modeling with R and Stan (Reupload)

Recent advances in Markov Chain Monte Carlo (MCMC) simulation have led to the development of a high-level probability ...

52:47
Bayesian Modeling with R and Stan (Reupload)

42,666 views

7 years ago

APMonitor.com
Nonlinear Optimization Modeling using JuMP and JuliaOpt

The JuliaOpt organization hosts open-source optimization software in the Julia programming language. JuliaOpt boasts a growing ...

54:49
Nonlinear Optimization Modeling using JuMP and JuliaOpt

4,989 views

9 years ago

Cybernetics Ukraine
Lecture 3 - NEOS: server and solvers

Lectures for Postgraduate studies Topic: "SURVEY OF OPTIMIZATION": incyb.kiev.ua/aspirantura/lections-postgraduate-studies ...

1:06:42
Lecture 3 - NEOS: server and solvers

230 views

2 years ago

Yannic Kilcher
[GRPO Explained] DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

deepseek #llm #grpo GRPO is one of the core advancements used in Deepseek-R1, but was introduced already last year in this ...

1:09:00
[GRPO Explained] DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

167,361 views

1 year ago