ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

7,022 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

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

media.ccc.de
Interaction Combinators: The Hidden Patterns of Computation?

https://media.ccc.de/v/gpn23-124-interaction-combinators-the-hidden-patterns-of-computation- Whaa- hidden patterns in my ...

52:08
Interaction Combinators: The Hidden Patterns of Computation?

1,983 views

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

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

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

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

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

GReTA Seminar
GReTA seminar: A graphical language for programming with graph rewriting

Speaker: Kristopher Brown (Topos Institute, Berkeley, California, USA) Abstract: We provide a general introduction to the ...

1:11:46
GReTA seminar: A graphical language for programming with graph rewriting

497 views

Streamed 1 year 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

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

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

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

659 views

9 months ago

Dr. Pavel Vlašánek
Turn Math Equations into Animations in Pixel Shader

Check out *Computer Graphics* https://www.youtube.com/playlist?list=PLCx70z_2M_-Njjn935v4qmwbmVN-oHi2b ...

10:41
Turn Math Equations into Animations in Pixel Shader

267 views

7 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

Dr. Dawn : Stats, Data and AI - Dawn Wright Ph.D.
Decision Model Basics for Excel Solver Optimization

How to set up a decision model in Excel to optimize using Solver. The Objective function, constraints, and decision variables must ...

11:22
Decision Model Basics for Excel Solver Optimization

5,719 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