ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

1,947 results

foss-north
Domain Driven Design (DDD) with Algebraic Data Types (ADT) - Ramón Soto Mathiesen

Talk details: https://foss-north.se/2020ii/speakers-and-talks.html#rmathiesen Conference details: https://foss-north.se/2020ii/

58:25
Domain Driven Design (DDD) with Algebraic Data Types (ADT) - Ramón Soto Mathiesen

2,028 views

5 years ago

IACR
An Analysis of the Algebraic Group Model

Paper by Cong Zhang, Hong-Sheng Zhou, Jonathan Katz presented at Asiacrypt 2022 See ...

2:05
An Analysis of the Algebraic Group Model

227 views

3 years ago

Nick Space Cowboy
Line Fitting With Least Squares- Linear Algebra

In this 11th video on computational linear algebra we discuss the linear algebra behind line fitting with least squares. Table of ...

10:55
Line Fitting With Least Squares- Linear Algebra

446 views

3 years ago

LambdaCon
Programming with algebras - Bartosz Milewski

There are problems in programming that require the use of algebra to solve equations or to transform coordinates. That's not what ...

50:39
Programming with algebras - Bartosz Milewski

4,091 views

9 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

calcvids
Optimization Modeling: Student Problem Solving

Their problem-solving and thinking illuminates ideas about algebraic modeling and optimization. This video is part of the Calculus ...

4:01
Optimization Modeling: Student Problem Solving

765 views

6 years ago

Martin Laskowski
Welcome to the Optimization Impostor's Compendium! :)

An intro to the opt-models.org - aka the "Optimization Impostors' Compendium!" - a video and code resource for people building ...

3:43
Welcome to the Optimization Impostor's Compendium! :)

453 views

2 years ago

Bottom of the Heap
Visualizing generalized additive models in R using gratia and  conditional_values()

Devel version of gratia is needed for this example You'll need to install the development version of *gratia* to follow along with the ...

11:12
Visualizing generalized additive models in R using gratia and conditional_values()

1,313 views

1 year ago

Nick Space Cowboy
Polynomial Fitting by Least Squares - Linear Algebra

In this video we discuss the linear algebra required to perform a least squares polynomial fitting. We then code up the least ...

11:18
Polynomial Fitting by Least Squares - Linear Algebra

4,588 views

3 years ago

JSXGraph
Algebra as a geometric modeling language

Reinhard Oldenburg October 5th - 7th, 2021 2. International JSXGraph Conference https://jsxgraph.org/conf2021/

23:12
Algebra as a geometric modeling language

0 views

4 years ago

IACR
The Algebraic Group Model and its Applications

Paper by Georg Fuchsbauer and Eike Kiltz and Julian Loss, presented at Crypto 2018.

19:45
The Algebraic Group Model and its Applications

1,666 views

7 years ago

The Random Professor
Introduction to Formal Languages

For more math, subscribe to my channel: https://www.youtube.com/jeffsuzuki1.

8:39
Introduction to Formal Languages

204 views

1 year ago

IACR
Shorter Non-Interactive Zero-Knowledge Arguments and ZAPs for Algebraic Languages

Paper by Dominik Hartmann, Geoffroy Couteau presented at Crypto 2020 See ...

24:23
Shorter Non-Interactive Zero-Knowledge Arguments and ZAPs for Algebraic Languages

271 views

5 years ago

Institut des Hautes Etudes Scientifiques (IHES)
Ingo BLECHSCHMIDT - Using the internal language of toposes in algebraic geometry

We describe how the internal language of certain toposes, the associated petit and gros Zariski toposes of a scheme, can be used ...

34:33
Ingo BLECHSCHMIDT - Using the internal language of toposes in algebraic geometry

5,210 views

10 years ago

wikipedia tts
Algebraic semantics (computer science) | Wikipedia audio article

This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/Algebraic_semantics_(computer_science) 00:00:13 ...

0:28
Algebraic semantics (computer science) | Wikipedia audio article

203 views

7 years ago

CAPRI Model
Basic GAMS Features for CAPRI

This is a part of the CAPRI training session 2021. The complete agenda and course materials can be found here: ...

41:53
Basic GAMS Features for CAPRI

171 views

4 years ago

Caktus Ai
Engineering math vs. finance math

you know sometimes math is hard... and other times its not #college #caktusai #caktus #collegegotmelike #collegelife ...

0:09
Engineering math vs. finance math

73,025 views

2 years ago

ConfEngine
Build & solve type-safe optimization models by Quy Dai Nhan Thai & Christopher Anand #FnConf 2022

Mathematical optimization has vast applications, e.g., image processing, machine learning. It has a huge impact on the current ...

38:11
Build & solve type-safe optimization models by Quy Dai Nhan Thai & Christopher Anand #FnConf 2022

158 views

3 years ago

LFCS Seminar
Ian Benson: Early algebra, domain specific languages and cryptomorphism

University of Roehampton https://web.stanford.edu/~ibenson/ Abstract Recent educational research has highlighted the ...

51:24
Ian Benson: Early algebra, domain specific languages and cryptomorphism

188 views

4 years ago

CMU Database Group
#01 - Relational Model & Algebra (CMU Intro to Database Systems)

Andy Pavlo (https://www.cs.cmu.edu/~pavlo/) Slides: https://15445.courses.cs.cmu.edu/fall2025/slides/01-relationalmodel.pdf ...

1:14:50
#01 - Relational Model & Algebra (CMU Intro to Database Systems)

40,852 views

7 months ago