ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

34,294 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,263 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

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

731 views

2 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,043,071 views

1 year 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,696 views

7 years ago

Decision AI
Harnessing Language Models for Smarter Optimization

As large language models continue to demonstrate versatility across domains like programming, design, and scientific reasoning, ...

4:31
Harnessing Language Models for Smarter Optimization

96 views

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

321 views

2 years ago

Wolfram U
A Guide to Programming with Wolfram Language: Nonstandard Evaluation

Learn about built-in function attributes that control evaluation order. Hold expressions unevaluated and pass to other functions.

9:45
A Guide to Programming with Wolfram Language: Nonstandard Evaluation

880 views

1 year 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,191 views

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

8 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

189,949 views

6 months ago

Dothang Truong
Linear Programming Model

How to formulate a linear programming model?

18:08
Linear Programming Model

2,302 views

8 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

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

Streamed 4 years ago

IBM Technology
RAG vs Fine-Tuning vs Prompt Engineering: Optimizing AI Models

Ready to become a certified watsonx AI Assistant Engineer? Register now and use code IBMTechYT20 for 20% off of your exam ...

13:10
RAG vs Fine-Tuning vs Prompt Engineering: Optimizing AI Models

536,681 views

9 months 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,463 views

5 years ago

Yong Wang
Operations Research 15E: AMPL - Nonlinear Programming

Textbooks: https://amzn.to/2VgimyJ https://amzn.to/2CHalvx https://amzn.to/2Svk11k In this video, I'll introduce how to use AMPL to ...

3:46
Operations Research 15E: AMPL - Nonlinear Programming

12,240 views

8 years ago

Coursera
Basic Modeling for Discrete Optimization - Global Constraints by The University of Melbourne #7

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

9:13
Basic Modeling for Discrete Optimization - Global Constraints by The University of Melbourne #7

542 views

7 years ago

Sensmetry
Lesson 23 -  Formal Requirements, Constraints and Templates | Advent of SysML v2

Welcome to Day 23 of Advent of SysML v2! In today's video, we continue looking at requirements, adding precision with formal ...

4:51
Lesson 23 - Formal Requirements, Constraints and Templates | Advent of SysML v2

169 views

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

614 views

2 months ago

InSysBio Media
Heta tutorial: 1.Preparation

Heta is a modeling language for quantitative systems pharmacology and systems biology. This lesson shows the installation of the ...

14:41
Heta tutorial: 1.Preparation

277 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

InSysBio Media
Heta language: Modularity and Reusability in QSP modeling platforms

This report was presented on ACOP12: PIA-010 https://hetalang.github.io - The "Heta project" homepage This study presents the ...

4:47
Heta language: Modularity and Reusability in QSP modeling platforms

93 views

4 years ago

Google for Developers
Tuning Gemma models: How much data?

You can tune a Gemma model for a data extraction task with just 8 examples. How much data you need depends on the task, but it ...

0:17
Tuning Gemma models: How much data?

2,677 views

1 year ago

Mixed Integer Programming
Timo Berthold - Learning to Scale with FICO Xpress

Check out our community page: www.community.fico.com/optimization Including blog posts on Numerics of MIP solvers: ...

18:29
Timo Berthold - Learning to Scale with FICO Xpress

536 views

5 years ago