ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

2,581 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

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

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,986 views

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

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

Vuk Rosić
Code Llama 4 From Scratch - Easy Math Explanations & Python Code

Code, presentations - https://github.com/vukrosic/courses Code DeepSeek V3 From Scratch Full Course ...

3:28:28
Code Llama 4 From Scratch - Easy Math Explanations & Python Code

5,356 views

11 months ago

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

... programs written by excellent people excellent programmers excellent mathematicians so still the programs look like something ...

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

1,001 views

10 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

Andrea Ross
Systems Engineering with the Requirements modeling Framework

Eclipse is getting more and more popular in systems engineering, and already covers a number of key areas, including modeling, ...

24:35
Systems Engineering with the Requirements modeling Framework

10,521 views

13 years ago

CppNow
C++Now 2017: David Sankel "The Mathematical Underpinnings of Promises in C++"

http://cppnow.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: ...

1:16:56
C++Now 2017: David Sankel "The Mathematical Underpinnings of Promises in C++"

2,974 views

8 years ago

Vuk Rosić
Understand Forward Diffusion Process - Math & Code - Diffusion From Scratch

Understand Core Diffusion AI Math & Code - Diffusion From Scratch What You'll Learn by Building a Diffusion Model from Scratch ...

24:16
Understand Forward Diffusion Process - Math & Code - Diffusion From Scratch

210 views

9 months ago

Mediterranean Machine Learning (M2L) summer school
[M2L 2024] Machine Learning for Theorem Proving - Emily First

... which couples a pre-trained language model with the alpha zero reinforcement learning algorithm so that was previously used ...

39:51
[M2L 2024] Machine Learning for Theorem Proving - Emily First

281 views

1 year 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,650 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

309 views

2 years ago

Luigi Vanfretti
CHEETA Webinar 1 - Introduction to Modeling and Simulation using the Modelica and FMI Standards

An introduction to Modelica and FMI open access and open source standards for modeling and simulation.

1:56:34
CHEETA Webinar 1 - Introduction to Modeling and Simulation using the Modelica and FMI Standards

3,034 views

6 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

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

23,073 views

2 years ago

Nathaniel Osgood
Detailed Introduction to PMCMC for Dynamic Models

... really complicated model um okay um the truth is that M CFP MCMC requires some technical programming this is not something ...

1:35:09
Detailed Introduction to PMCMC for Dynamic Models

119 views

6 years ago