Model checkers | Formal methods tools
This article lists model checking tools and gives an overview of the functionality of each. (Wikipedia).
Introduction to Classification Models
Ever wonder what classification models do? In this quick introduction, we talk about what classifications models are, as well as what they are used for in machine learning. In machine learning there are many different types of models, all with different types of outcomes. When it comes t
From playlist Introduction to Machine Learning
(ML 13.6) Graphical model for Bayesian linear regression
As an example, we write down the graphical model for Bayesian linear regression. We introduce the "plate notation", and the convention of shading random variables which are being conditioned on.
From playlist Machine Learning
Model Theory - part 03 - Terms, Formulas, Sequents
He we are a little bit more precise about keeping track of what fragments of formal languages we are using. This becomes relevant when you want to interpret them later. Caramello's book was useful in preparing this. We also found the post on nCatLab useful.
From playlist Model Theory
(ML 12.3) Model complexity parameters
Some general guidelines on the distinction between model complexity parameters and model-fitting parameters.
From playlist Machine Learning
Model Theory - part 01 - The Setup in Classical Set Valued Model Theory
Here we give the basic setup for Model Theory. I learned this from a talk Tom Scanlon gave in 2010 at CUNY.
From playlist Model Theory
Data that are collected for statistical analysis can be classified according to their type. It is important to know what data type we are dealing with as this determines the type of statistical test to use.
From playlist Learning medical statistics with python and Jupyter notebooks
(ML 12.5) Cross-validation (part 1)
Description of K-fold cross-validation (CV), leave-one-out cross-validation (LOOCV), and random subsamples, for model selection.
From playlist Machine Learning
(ML 12.4) Bayesian model selection
Approaches to model selection from a Bayesian perspective: Bayesian model averaging (BMA), "Type II MAP", and Type II Maximum Likelihood (a.k.a. ML-II, a.k.a. the evidence approximation, a.k.a. empirical Bayes).
From playlist Machine Learning
Managing Requirements Based Testing Process with Testing Dashboard
For rigorous processes such as ISO 26262, it is challenging to manage the many activities and artifacts such as requirements, design, test cases, and test results and determine when testing is complete. The Model Testing Dashboard collects metric data from the model design and testing arti
From playlist Tips and Tricks from MATLAB and Simulink Developers
Excel & Power BI Data Analysis Complete Class in One Video - 365 MECS 04
Download Excel Zipped Folder with all files: https://excelisfun.net/files/MECS04DownloadFiles.zip This video is a comprehensive lesson in Data Analysis in Excel and Power BI. This full free Microsoft 365 Excel & Power BI class is taught by Excel MVP and Highline College Professor and ca
From playlist Microsoft 365 Excel Complete Class: free from excelisfun at YouTube - 365 MECS
How To Build A Image Inpainting and Super Resolution Tool | Session 22 | #keras | #python
Don’t forget to subscribe! Ever thought of creating a tool that can perform Image Inpainting and Super Resolution? This project will teach you how to create an Image Inpainting Tool using Keras. This series will cover all the details (resources, tools, languages, etc) that are necessary
From playlist Image Inpainting & Super Resolution Tool
How To Build A Image Inpainting and Super Resolution Tool | Session 11 | #keras | #python
Don’t forget to subscribe! Ever thought of creating a tool that can perform Image Inpainting and Super Resolution? This project will teach you how to create an Image Inpainting Tool using Keras. This series will cover all the details (resources, tools, languages, etc) that are necessary
From playlist Image Inpainting & Super Resolution Tool
How To Build A Image Inpainting and Super Resolution Tool | Session 23 | #keras | #python
Don’t forget to subscribe! Ever thought of creating a tool that can perform Image Inpainting and Super Resolution? This project will teach you how to create an Image Inpainting Tool using Keras. This series will cover all the details (resources, tools, languages, etc) that are necessary
From playlist Image Inpainting & Super Resolution Tool
DjangoCon US 2015 - But, why is the admin slow? by Jacinda Shelly
But, why is the admin slow? This is the general outline I'm working from so far. I think this could change slightly as I develop the talk, but this outline conveys the general theme. Introduction and display of basic django-debug-toolbar usage (2 min) Things the admin does well (3 min)
From playlist DjangoCon 2015
Outside in TDD and Unit Test Isolation with Python, Django and Selenium
Originally aired June 5, 2014. This webcast will explore the methodology of "outside-in" test-driven development (TDD), as applied to a web application. In the style of a pair-programming session or a code kata, it will feature a real example web application, and demonstrate implementing
From playlist O'Reilly Webcasts 3
AppSec at DevOps Speed and Portfolio Scale - Jeff Williams
AppSec at DevOps Speed and Portfolio Scale - Jeff Williams Software development is moving much faster than application security with new platforms, languages, frameworks, paradigms, and methodologies like Agile and Devops. Unfortunately, software assurance hasn't kept up with the times.
From playlist AppSecUSA 2013
How To Create Blacksmith Scene For Rendering In Maya | Session 06 | #design
Don’t forget to subscribe! In this project series, you will learn to create a blacksmith scene for rendering in Autodesk Maya. This project is about creating a scene for rendering using a Mental ray renderer in Autodesk Maya. We will go slow step by step in order to achieve awesome re
From playlist Create Blacksmith Scene For Rendering In Maya
How To Design 3D Models For Medieval Game In Autodesk Maya | Session 01 | #gamedev
Don’t forget to subscribe! In this project, you will learn to design 3D models for a Medieval Game in Autodesk Maya Throughout this tutorial, you will learn the process of creating one advanced high poly 3d scene design for a medieval based game. We will cover everything, from modeling a
From playlist Design 3D Models For Medieval Game In Autodesk Maya
Model Theory - part 04 - Posets, Lattices, Heyting Algebras, Booleans Algebras
This is a short video for people who haven't seen a Heyting algebras before. There is really nothing special in it that doesn't show up in wikipedia or ncatlab. I just wanted to review it before we use them. Errata: *at 3:35: there the law should read (a and (a or b) ), not (a and (a and
From playlist Model Theory
How To Build A Image Inpainting and Super Resolution Tool | Session 01 | #keras | #python
Don’t forget to subscribe! Ever thought of creating a tool that can perform Image Inpainting and Super Resolution? This project will teach you how to create an Image Inpainting Tool using Keras. This series will cover all the details (resources, tools, languages, etc) that are necessary
From playlist Image Inpainting & Super Resolution Tool