ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

2,396 results

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.

481 views

4 years ago

finmath
Lecture 2022-2 (21): Comp. Fin. 2 / Applied Mathematical Finance: Discrete Term Structure Models (6)

Lecture 2022-2 (21): Computational Finance 2 / Applied Mathematical Finance: Discrete Term Structure Models (6/8): ...

1:21:03
Lecture 2022-2 (21): Comp. Fin. 2 / Applied Mathematical Finance: Discrete Term Structure Models (6)

330 views

3 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,762 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

169 views

2 years ago

Firedrake
Anders Logg: Implementing mathematics: domain specific languages and automated computing

... invent your domain specific language which allows you to express your problem very compactly in near mathematical notation ...

52:30
Anders Logg: Implementing mathematics: domain specific languages and automated computing

997 views

10 years ago

Nikolaj-K
I wrote a transformer-based math text classifier and reference search tool | #CORE1

Subscribe for the follow-ups. Links to OpenAIRE, FAISS an one possible SentenceTransformer library: https://www.sbert.net/ ...

43:26
I wrote a transformer-based math text classifier and reference search tool | #CORE1

212 views

13 days 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,633 views

7 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

365 views

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

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

366 views

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

19,721 views

4 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,666 views

1 year ago

EuroPython Conference
When Models Query Models - presented by Michal Maciejewski

EuroPython 2022 - When Models Query Models - presented by Michal Maciejewski [Liffey Hall 1 on 2022-07-15] The design of ...

32:29
When Models Query Models - presented by Michal Maciejewski

585 views

3 years ago

EuroPython Conference
Language Model Zen — Jamie Coombes

EuroPython 2023 — Terrace 2A on 2023-07-21] https://ep2023.europython.eu/session/language-model-zen Beautiful is better ...

32:17
Language Model Zen — Jamie Coombes

144 views

2 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,422 views

13 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

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

482 views

Streamed 1 year ago

ScalaIO FR
Maciej Gorywoda - Cellular Automata: How to become an artist with a few lines of code

Let's face it: most of the time our work is boring. We just glue stuff together and test if it doesn't blow up. Where's our promised fun ...

40:16
Maciej Gorywoda - Cellular Automata: How to become an artist with a few lines of code

393 views

7 years ago

The SCIP Optimization Suite
Question and Answer Session - MINLP

Ksenia Bestuzheva (Zuse Institute Berlin, Germany) and Stefan Vigerske (GAMS Development Corporation) Abstract: This session ...

21:33
Question and Answer Session - MINLP

591 views

5 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"

110 views

Streamed 4 years ago