ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

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

369 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

14 years ago

Using std::cpp
The Mathematical Mind of a C++ Programmer - Joaquín M López

Many people hate math, some programmers do too. We hold that this hate stems from a reductionist view of mathematics as ...

1:06:51
The Mathematical Mind of a C++ Programmer - Joaquín M López

6,376 views

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

319 views

4 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

183 views

2 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

7,045 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.

493 views

4 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

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

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

797 views

6 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

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

314 views

2 years ago

R Consortium
Session 5B - Mathematical Models

Fogliato, Riccardo; Shrotriya, Shamindra; Kuchibhotla, Arun Kumar maars: Tidy Inference under misspecified statistical models in ...

1:04:59
Session 5B - Mathematical Models

433 views

4 years ago

CodeEmporium
BERT for Topic Modeling - EXPLAINED!

NLP with BERT! Topic Modeling with BERT Transformers Follow me on M E D I U M: ...

35:28
BERT for Topic Modeling - EXPLAINED!

20,081 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

28 views

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

523 views

Streamed 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

682 views

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

456 views

2 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

74 views

3 years ago