ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

176,897 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

389,592 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,260 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

233 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.

479 views

4 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

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,137 views

12 years 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,167 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.

386 views

1 year ago

Daryl Ono
Mathematical Programming - Introduction & Demonstration

This is an introduction to mathematical programming that includes a demonstration using the Solver function in MS Excel.

59:36
Mathematical Programming - Introduction & Demonstration

329 views

3 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

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

The Organic Chemistry Tutor
Linear Programming

This precalculus video tutorial provides a basic introduction into linear programming. It explains how to write the objective function ...

33:20
Linear Programming

1,433,847 views

7 years ago

The Julia Programming Language
JuliaOpt: Optimization related projects in Julia | Iain Dunning | JuliaCon 2015

Visit http://julialang.org/ to download Julia. Time Stamps: 00:00 Welcome! 00:10 Help us add time stamps or captions to this video!

39:19
JuliaOpt: Optimization related projects in Julia | Iain Dunning | JuliaCon 2015

14,270 views

10 years ago

Abel Siqueira
Selling art on the beach - Mathematical Model

Javier is a student that decides to drop out and start selling beaded jewelry at the beach! What happens next is an exercise in ...

23:47
Selling art on the beach - Mathematical Model

460 views

2 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,359 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,094 views

2 years ago

Alberto Costa
Optimization Modelling - Basics of Mathematical Programming in AMPL 2/3

First part of the online course: Optimization Modelling - Basics of Mathematical Programming in AMPL This course teaches the ...

58:41
Optimization Modelling - Basics of Mathematical Programming in AMPL 2/3

78 views

1 year 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

Neurosymbolic Programming for Science
Bridging Informal and Formal Mathematical Reasoning with Neural Language Models

Abstract: Mathematics plays a central role in science and education, and tests aspects of reasoning that are challenging for ...

1:06:09
Bridging Informal and Formal Mathematical Reasoning with Neural Language Models

256 views

2 years ago