ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

50,155 results

The Julia Programming Language
Modeling and Duality in Domain Specific Languages For Optimization | Juan Pablo Vielma | ASE60

Modeling and Duality in Domain Specific Languages for Mathematical Optimization: Domain specific languages (DSL) for ...

27:48
Modeling and Duality in Domain Specific Languages For Optimization | Juan Pablo Vielma | ASE60

746 views

2y 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,102 views

4y 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

198,519 views

11mo 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

115,024 views

4mo ago

Thomas Kern
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2

Play along at home: https://trkern.itch.io/rosenstein Version with just finite linear orderings (and AI opponent): ...

22:56
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2

17,601 views

3y 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

6,779,368 views

1y 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,793 views

7y 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,220 views

7y ago

The Julia Programming Language
Global constrained nonlinear optimisation with interval methods | David P. Sanders | JuliaCon2021

This talk was given as part of JuliaCon2021. Abstract: We will present recent work in progress on guaranteed methods for ...

22:01
Global constrained nonlinear optimisation with interval methods | David P. Sanders | JuliaCon2021

983 views

4y 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

611,962 views

10y ago

Sienna
Episode 1: Tutorial Introduction

Welcome to our tutorial series on the Sienna ecosystem for power system modeling, simulation, and optimization! This video ...

4:01
Episode 1: Tutorial Introduction

772 views

2y 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,873 views

5y ago

The Julia Programming Language
Put some constraints into your life with JuliaCon(straints) | Jean-François Baffier  | JuliaCon 2021

The freshly born JuliaConstraints GitHub organization provides a combination of packages around the theme of Constraint ...

24:34
Put some constraints into your life with JuliaCon(straints) | Jean-François Baffier | JuliaCon 2021

2,023 views

4y 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

238 views

5y ago

3Blue1Brown
How I animate 3Blue1Brown | A Manim demo with Ben Sparks

A behind-the-scenes look at how I animate videos. Code for all the videos: https://github.com/3b1b/videos Manim: ...

53:41
How I animate 3Blue1Brown | A Manim demo with Ben Sparks

3,127,611 views

1y 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,941 views

9y 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

214 views

5y ago

HEP Software Foundation
Intro to Machine Learning 2 - Mathematical Foundations

Lesson webpage https://hsf-training.github.io/hsf-training-ml-webpage/02-mltechnical/index.html.

7:53
Intro to Machine Learning 2 - Mathematical Foundations

379 views

5y ago

Vivek Haldar
Large language models as optimizers

https://arxiv.org/abs/2309.03409.

10:17
Large language models as optimizers

1,564 views

2y ago

Simons Institute for the Theory of Computing
Predicting and optimizing the behavior of large ML models

Andrew Ilyas (Stanford University) https://simons.berkeley.edu/talks/andrew-ilyas-stanford-university-2025-04-03 The Future of ...

1:04:05
Predicting and optimizing the behavior of large ML models

1,070 views

Streamed 1y ago