ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

2,506 results

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

312 views

4 years ago

Potassco
Easy answer set programming, introduction, first example

This video introduces some naming conventions and presents a first very simple example of a logic program and its answer sets.

14:37
Easy answer set programming, introduction, first example

10,309 views

5 years ago

OpenMDAO
Understanding XDSM diagrams

XDSM diagrams are a good tool for visualizing models, understanding solver loops, and specifying interfaces between models ...

16:40
Understanding XDSM diagrams

5,436 views

3 years ago

Sane's Academy of Artificial Intelligence
Linear Optimization with Python (PuLP) | Linear Programming Problem(LPP)

This video demonstrates the usage of Python package PuLP with Linear Programming Problem (LPP). You can also watch the ...

9:40
Linear Optimization with Python (PuLP) | Linear Programming Problem(LPP)

14,948 views

2 years ago

OpenMDAO
How to debug solvers

Optimizers often push systems to their limits of multidisciplinary analysis, so sometimes solvers don't converge. You can follow a ...

16:32
How to debug solvers

904 views

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

775 views

6 years ago

Nick Space Cowboy
Line Fitting With Least Squares- Linear Algebra

In this 11th video on computational linear algebra we discuss the linear algebra behind line fitting with least squares. Table of ...

10:55
Line Fitting With Least Squares- Linear Algebra

448 views

3 years ago

MUCplusplus
[MUC++] Andreas Weis - "The deal with -ffast-math" (C++ Beginner's Lightning Talk)

An explanation how -ffast-math sometimes generates faster code. This is a direct follow-up on the previous lightning talk: ...

9:49
[MUC++] Andreas Weis - "The deal with -ffast-math" (C++ Beginner's Lightning Talk)

608 views

7 years ago

Svtuition
Linear Programming Formulation

This lecture explains how to formulate linear programming problem from any business problem.

6:26
Linear Programming Formulation

7,037 views

14 years ago

Fred Martin
Understanding SCALE-LIST using Substitution Model

From UMass Lowell's COMP.3010 Organization of Programming Languages class, spring 2017 semester.

5:45
Understanding SCALE-LIST using Substitution Model

50 views

8 years ago

Splash Conference 2017
Concrete Syntax: A Multi-paradigm Modelling Approach

Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe Domain-Specific Modelling Languages (DSLs) allow ...

18:15
Concrete Syntax: A Multi-paradigm Modelling Approach

264 views

8 years ago

Adam Gaweda, Dr. Sensei
The Linear Assignment Problem

... idea of an optimization problem the big idea is well you know again if heuristics aren't just a magic super easy translation where ...

13:22
The Linear Assignment Problem

2,051 views

3 years ago

LEAP Platform
Introducing NEMO: The Next Energy Modeling system for Optimization

Jason Veysey, lead developer of NEMO introduces this new open source least-cost optimization framework designed to work ...

6:36
Introducing NEMO: The Next Energy Modeling system for Optimization

2,546 views

5 years ago

Potassco
Answer set solving in practice, language, optimization

This is a quick tour through the optimization statements in ASP for computing optimal solutions.

9:54
Answer set solving in practice, language, optimization

1,225 views

5 years ago

Foundation Models For Robotics
Microsoft Optim SFT: The AI Breakthrough for Real-World Decision Making

... real-world business problems into mathematical optimization models, specifically **Mixed Integer Linear Programming (MILP)** ...

15:38
Microsoft Optim SFT: The AI Breakthrough for Real-World Decision Making

39 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

Quantrix Authority
Learn Quantrix Modeler:  Invalid Recurrence Along Category Formula Error 0279

quantrixauthority.com Learn Quantrix Modeler: Invalid Recurrence Along Category Formula Error 0279 How to create a list of ...

5:03
Learn Quantrix Modeler: Invalid Recurrence Along Category Formula Error 0279

80 views

6 years ago

The AI Layers
AlphaEvolve From Deep Mind Just Changed Mathematics Forever

AlphaEvolve is Google's groundbreaking AI agent that discovers and evolves algorithms using Gemini large language models ...

17:05
AlphaEvolve From Deep Mind Just Changed Mathematics Forever

665 views

9 months ago

Fred Martin
Introduction to accumulate (fold) via Substitution Model

From UMass Lowell's COMP.3010 Organization of Programming Languages class, spring 2017 semester.

8:11
Introduction to accumulate (fold) via Substitution Model

59 views

8 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

27 views

7 months ago