Formal specification languages

Meta-IV (specification language)

The Meta-IV (pronounced like "metaphor") was an early version of the specification language of the Vienna Development Method formal method for the development of computer-based systems. (Wikipedia).

Video thumbnail

Project 1 Section 2 Part 1

Setting up Julia (using Juliabox.org) to import our dataset and start our data analysis.

From playlist The Julia Computer Language

Video thumbnail

ReasonML Programming - Full Course for Beginners

ReasonML is an object-functional programming language created at Facebook. ReasonML lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems. In this full tutorial course, you will learn everything you need to know about ReasonML (aka

From playlist Full Courses in One Video

Video thumbnail

JAVASCRIPT: THE FAIRLY ODD PARTS

JavaScript is the new language of choice for many applications, and it’s certainly a great language for many tasks. But it also has some strange quirks. This lightning talk focuses on some of JavaScript’s weird parts, that you usually don’t run into… unless you try to implement a JavaScrip

From playlist JavaScript

Video thumbnail

AQA Core 3 2.01 What is a Function?

Here I describe what is meant by a function, a many-one and one-one function, and introduce the ideas of domain and range.

From playlist [OLD SPEC] TEACHING AQA CORE 3 (C3)

Video thumbnail

Pre-Calculus - Vocabulary of functions

This video describes some of the vocabulary used with functions. Specifically it covers what a function is as well as the basic idea behind its domain and range. For more videos visit http://www.mysecretmathtutor.com

From playlist Pre-Calculus - Functions

Video thumbnail

APIs for Beginners - How to use an API (Full Course / Tutorial)

⚠️ Watch the UPDATED version of this course: https://youtu.be/WXsD0ZgxjRw What is an API? Learn all about APIs (Application Programming Interfaces) in this full tutorial for beginners. You will learn what APIs do, why APIs exist, and the many benefits of APIs. APIs are used all the time i

From playlist Computer Science Concepts

Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

[ML News] DeepMind AlphaCode | OpenAI math prover | Meta battles harmful content with AI

#mlnews #alphacode #openai The latest and greatest from the world of Machine Learning! Merch: http://store.ykilcher.com Sponsor: Weights & Biases https://wandb.me/yannic OUTLINE: 0:00 - Intro 0:15 - Sponsor: Weights & Biases 3:15 - DeepMind's AlphaCode: AI competitive programmer 11:30 -

From playlist All Videos

Video thumbnail

MicroPython – Python for Microcontrollers

MicroPython is a lean and efficient implementation of the Python 3 programming language that includes a small subset of the Python standard library and is optimised to run on microcontrollers and in constrained environments. This talk will give an overview about the MicroPython. EVENT: m

From playlist IoT

Video thumbnail

3. Deep Dive Into Clinical Data

MIT 6.S897 Machine Learning for Healthcare, Spring 2019 Instructor: Peter Szolovits View the complete course: https://ocw.mit.edu/6-S897S19 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60B0PQXVQyGNdCyCTDU1Q5j Prof. Szolovits gives a deep dive into clinical data, the

From playlist MIT 6.S897 Machine Learning for Healthcare, Spring 2019

Video thumbnail

DjangoCon US 2018 - Auto-generating an API using PostgreSQL... by Mjumbe Poe

DjangoCon US 2018 - Auto-generating an API using PostgreSQL, Django, and Django REST Framework by Mjumbe Poe We have an API whose database schema changes constantly with no need for changes to our code that exposes the data. This is an extremely powerful (but quite possibly a bad) idea. S

From playlist DjangoCon US 2018

Video thumbnail

Foundations - Seminar 3

Billy Price and Will Troiani present a series of seminars on foundations of mathematics. In this seminar Billy continues to introduce natural deduction as a proof system, and proves soundness. You can join this seminar from anywhere, on any device, at https://www.metauni.org. This video

From playlist Foundations seminar

Video thumbnail

Making Decisions under Model Misspecification & Star-shaped Risk Measures - Maccheroni & Marinacci

Prof. Fabio Maccheroni & Prof. Massimo Marinacci - Making Decisions under Model Misspecification & Star-shaped Risk Measures Making Decisions under Model Misspecification (45min) Authors Simone Cerreia-Vioglio, Lars Peter Hansen, Fabio Maccheroni, Massimo Marinacci Abstract We use de

From playlist Uncertainty and Risk

Video thumbnail

2 History and Cognition Basics

Recorded: Spring 2014 Lecturer: Dr. Erin M. Buchanan Materials: created for Memory and Cognition (PSY 422) using Smith and Kosslyn (2006) Lecture materials and assignments available at statisticsofdoom.com. https://statisticsofdoom.com/page/other-courses/

From playlist PSY 422 Memory and Cognition with Dr. B

Video thumbnail

Yoshua Bengio: From System 1 Deep Learning to System 2 Deep Learning (NeurIPS 2019)

This is a combined slide/speaker video of Yoshua Bengio's talk at NeurIPS 2019. Slide-synced non-YouTube version is here: https://slideslive.com/neurips/neurips-2019-west-exhibition-hall-c-b3-live This is a clip on the Lex Clips channel that I mostly use to post video clips from the Artif

From playlist AI talks

Video thumbnail

LambdaConf 2015 - The Virtual Filesystem This Changes Everything Paul Phillips

In this talk, Paul Phillips expands on ideas in his keynote to deliver a compelling vision for how properly conceived and implemented virtual file systems have the ability to literally change every single thing about how we interact with computers. Help us caption & translate this video!

From playlist LambdaConf 2015

Video thumbnail

Rails Conf 2012 Extending Ruby with Ruby by Michael Fairley

Other programming languages have powerful features that are often enviable while working in Ruby: Python's function decorators, Scala's partial evaluation, and Haskell's lazy evaluation, among others. Fortunately, Ruby's metaprogramming facilities give us the ability to add these features

From playlist Rails Conf 2012

Related pages

Dansk Datamatik Center | Vienna Development Method | Formal Methods Europe