ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

5,916 results

Martin Laskowski
Welcome to the Optimization Impostor's Compendium! :)

a video and code resource for people building large-scale, fast mathematical optimization models and deploying these as apps in ...

3:43
Welcome to the Optimization Impostor's Compendium! :)

452 views

1 year ago

calcvids
Optimization Modeling: Student Problem Solving

Two students attempt to compute the dimensions of a fence that minimize its cost. Their problem-solving and thinking illuminates ...

4:01
Optimization Modeling: Student Problem Solving

751 views

6 years 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.

478 views

4 years ago

TLA+ - The Temporal Logic of Actions
Alloy for TLA+ users - Jay Parlar

Alloy (http://alloytools.org/) is a modelling language for software systems, out of MIT. Like TLA+, it comes bundled with an IDE and ...

45:31
Alloy for TLA+ users - Jay Parlar

6,720 views

6 years ago

PyCon JP
Mathematical Optimization and Python by likr

In the field of mathematical optimization, Python is one of the most popular scripting language for modeling realistic problem, ...

58:18
Mathematical Optimization and Python by likr

1,921 views

Streamed 12 years ago

Netherlands eScience Center
Julia for HPC webinar - Abel Soares Siqueira - Brief introduction to Julia

On 23 June 2022, SURF and Netherlands eScience Center hosted a webinar on using Julia for high-performance computing ...

28:32
Julia for HPC webinar - Abel Soares Siqueira - Brief introduction to Julia

364 views

3 years ago

Kunusoft
Why Naive Bayes Fails Here 😱 The Hidden Reason Behind 70% Accuracy #machinelearning #python #shorts

Ever wondered why your Naive Bayes model only hits 70% accuracy? In this short, we reveal the real reason — the lack of data ...

0:41
Why Naive Bayes Fails Here 😱 The Hidden Reason Behind 70% Accuracy #machinelearning #python #shorts

144 views

2 months ago

Patrik Jansson
Domain-Specific Languages for Societal Challenges

Multi-objective optimisation and exploration of system simulations A talk by Prof. Patrik Jansson as part of the session "Structures ...

15:13
Domain-Specific Languages for Societal Challenges

72 views

3 years ago

ScientificProgramming
odin.dust for mathematical modelling – a CPU/GPU language for infectious disease models

The odin.dust computational and statistical framework opens up new possibilities for real-time modelling by enabling ...

14:29
odin.dust for mathematical modelling – a CPU/GPU language for infectious disease models

306 views

4 years ago

FOSSASIA
Optimize all the things with MiniZinc - Melvin Zhang - FOSSASIA 2018

Speaker: Melvin Zhang Info: https://2018.fossasia.org/event/speakers.html#melvin-zhang3241 What do Sudoku and finding a ...

24:11
Optimize all the things with MiniZinc - Melvin Zhang - FOSSASIA 2018

3,620 views

7 years ago

Deep Wing
🚀 Mastering AI Fine-Tuning: Transforming General Models into Specialists! 🤖🎯

AI models are incredibly powerful, but out-of-the-box intelligence isn't enough for real-world applications. Fine-tuning is the ...

1:54
🚀 Mastering AI Fine-Tuning: Transforming General Models into Specialists! 🤖🎯

96 views

10 months ago

EuroPython Conference
From Algorithms to Agendas: A Beginner's Guide to Integer Programming — Florian Wilhelm

EuroPython 2023 — North Hall on 2023-07-19] ...

28:52
From Algorithms to Agendas: A Beginner's Guide to Integer Programming — Florian Wilhelm

365 views

2 years ago

Julien Simon
Deep Dive: Quantizing Large Language Models, part 1

Quantization is an excellent technique to compress Large Language Models (LLM) and accelerate their inference. In this video ...

40:28
Deep Dive: Quantizing Large Language Models, part 1

22,530 views

1 year ago

Joseph E. Gonzalez
Lecture 15.01 - Review of Modeling Recipe

Slides: https://drive.google.com/file/d/1XYMw8vnFKFar1bGVYSrQzIH_NuOrs4dO/view Exercise Notebook: ...

1:22
Lecture 15.01 - Review of Modeling Recipe

1,294 views

5 years ago

The Linux Foundation
LF Live Webinar: Mastering Concurrent Algorithms with TLA+

The TLA+ Foundation invites you to join an in-depth webinar focused on the fundamentals of modeling concurrent algorithms ...

1:01:00
LF Live Webinar: Mastering Concurrent Algorithms with TLA+

2,721 views

2 years ago

Riccardo Rigon
JfH101 - UML of the classes used for solving a linear equation

This is the excuse to introduce the Class Diagrams in the context of Java Programming.

4:53
JfH101 - UML of the classes used for solving a linear equation

24 views

7 years ago

Patrik Jansson
Domain-Specific Languages of Mathematics mini-course by Patrik Janson, Lectures 1 and 2

As part of the Wisla'23 (http://www.baltinmat.com/wisla23/) Summer School & Workshop, this is lectures 1 and 2 (our of 3) in the ...

1:47:24
Domain-Specific Languages of Mathematics mini-course by Patrik Janson, Lectures 1 and 2

164 views

2 years ago

J David Eisenberg
Chapter 10: UML Diagrams

Design classes with Unified Modeling Language Diagrams.

1:17
Chapter 10: UML Diagrams

228 views

4 years ago

ConfEngine
Build & solve type-safe optimization models by Quy Dai Nhan Thai & Christopher Anand #FnConf 2022

Mathematical optimization has vast applications, e.g., image processing, machine learning. It has a huge impact on the current ...

38:11
Build & solve type-safe optimization models by Quy Dai Nhan Thai & Christopher Anand #FnConf 2022

158 views

3 years ago

TalkTensors: AI Podcast Covering ML Papers
AI Automates Operations Research: OR-LLM-Agent Explained

This innovation bridges the gap between real-world business problems and mathematical optimization models, making advanced ...

16:44
AI Automates Operations Research: OR-LLM-Agent Explained

140 views

9 months ago

Play 3 - Computer Science and Media Technology
2DV602 Software Architecture, Theme 3 Architecture Models

Overview of architecture models, when and why they are needed.

16:54
2DV602 Software Architecture, Theme 3 Architecture Models

169 views

5 years ago

Michael Mol
Category Logic: A Blueprint for Machine Proof Mathematics

This video explores a groundbreaking approach to formalizing mathematics using Category Theory, aiming to bridge the gap ...

9:06
Category Logic: A Blueprint for Machine Proof Mathematics

25 views

5 months ago

openmod-initiative
PowerSimulations.jl: scalable power system optimization in Julia

This is a Talk presented by Clayton Barrows (National Renewable Energy Lab) in the context of the 1st Open Energy Modelling ...

11:31
PowerSimulations.jl: scalable power system optimization in Julia

901 views

5 years ago

EuroPython Conference
Mattia Ferrini - Decision Science with Probabilistic Programming

"Decision Science with Probabilistic Programming EuroPython 2020 - Poster session - 2020-07-23 - Poster 1 Online By Mattia ...

53:40
Mattia Ferrini - Decision Science with Probabilistic Programming

355 views

5 years ago

NextWave News
Optimization Using FP4 Quantization For Ultra-Low Precision Language Model Training

"Want to know why training AI models costs millions? Here's the crazy truth about large language models. These AI giants like ...

0:59
Optimization Using FP4 Quantization For Ultra-Low Precision Language Model Training

33 views

11 months ago