ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

7,012 results

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

368 views

3 years ago

CppNow
Patrick Mihelich: Linear programming made easy with Boost Proto

Patricks' talk from C++Now! 2012 Problems in fields as diverse as operations research, finance, and chip design can be modeled ...

38:39
Patrick Mihelich: Linear programming made easy with Boost Proto

1,424 views

13 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,873 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.

486 views

4 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

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

173 views

2 years ago

Roel Van de Paar
Software Engineering: Is there a math theory or a model behind programming languages design

https://amzn.to/4aLHbLD You're literally one click away from a better setup — grab it now! As an Amazon Associate I earn ...

3:43
Software Engineering: Is there a math theory or a model behind programming languages design

1 view

3 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,923 views

Streamed 12 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

312 views

4 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

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! :)

453 views

2 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

667 views

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

38 views

1 year ago

J David Eisenberg
Chapter 10: UML Diagrams

Design classes with Unified Modeling Language Diagrams.

1:17
Chapter 10: UML Diagrams

237 views

4 years ago

GReTA Seminar
GReTA seminar #19: "Model Transformation Languages and Performance Engineering"

Speakers: Stefan Höppner (Institute of Software Engineering and Programming Languages, University of Ulm, Germany) and ...

1:11:55
GReTA seminar #19: "Model Transformation Languages and Performance Engineering"

111 views

Streamed 4 years 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

UofU Data Science
Language modeling

0:00 Recap / Assignments 1:38 Padding 7:56 Limitations of static embeddings & random init & BoW 15:27 Transformers to RLHF ...

1:19:54
Language modeling

309 views

2 years ago

The RPG Lab
AMPL Tutorial, Spring 2022, Electrical Engineering, University of Houston

This is a tutorial on AMPL, a modeling programming language for solving optimization problems. There are 8 simple examples ...

1:17:38
AMPL Tutorial, Spring 2022, Electrical Engineering, University of Houston

934 views

3 years ago

GReTA Seminar
GReTA seminar #6: "MDEOptimiser: Searching for optimal models with EMF and Henshin"

Speakers: Alexandru Burdusel and Steffen Zschaler (Department of Informatics, King's College London, UK) Abstract: An ...

1:08:31
GReTA seminar #6: "MDEOptimiser: Searching for optimal models with EMF and Henshin"

109 views

Streamed 5 years ago

Edward Roualdes
A Quick Example of One Issue with Fitting Models

A 10 minute introduction to one way in which math can be difficult on a computer. This example consists of fitting a polynomial in ...

9:36
A Quick Example of One Issue with Fitting Models

27 views

5 years ago