Modeling concurrent systems
Modeling the joint behaviour of parallel programs using transition systems.
Model Checking
Lecture 19: Joint, Conditional, and Marginal Distributions | Statistics 110
We discuss joint, conditional, and marginal distributions (continuing from Lecture 18), the 2-D LOTUS, the fact that E(XY)=E(X)E(Y) if X and Y are independent, ...
Harvard University
JuliaCon 2018 | Algebraic Simplification Using Rewrite.jl | Harrison Grodin
Tweet Share Term rewriting is essential to a wide variety of fields, including elementary, boolean, and abstract algebras. Because existing symbolic ...
The Julia Programming Language
Replace Conditional With Polymorphism & Primitive Obsession | Code Walks 045
Can ALL conditionals be replaced by polymorphism? ▻ Refactoring, by Martin Fowler http://amzn.to/2oI9ikx ▻ The 1st chapter can be read on Google Books ...
Christopher Okhravi
Lightning Talk: retrie: Equational Rewriting for Haskell
Speaker: Andrew Farmer.
ICFP Video
Codemania 2013: Philip Laureano - Rewriting System.Reflection
Philip Laureano dives deep into the CLR to see what he can dig up.
Code Mania
Rule Based Systems
Artificial Intelligence by Prof. Deepak Khemani,Department of Computer Science and Engineering,IIT Madras.For more details on NPTEL visit http://nptel.ac.in.
nptelhrd
Variational Inference: Foundations and Modern Methods (NIPS 2016 tutorial)
David Blei, Rajesh Ranganath, Shakir Mohamed. One of the core problems of modern statistics and machine learning is to approximate difficult-to-compute ...
Steven Van Vaerenbergh
Lecture - 25 Conditional Densities of Random Vectors
Lecture Series on Probability and Random Variables by Prof. M. Chakraborty, Dept.of Electronics and Electrical Engineering,I.I.T.,Kharagpur. For more details on ...
nptelhrd
Total variation denoising with iterated conditional expectation - Louchet - Workshop 2 - CEB T1 2019
Cécile Louchet (Univ. Orléans) / 12.03.2019 Total variation denoising with iterated conditional expectation. Imaging tasks most often require an energy ...
Institut Henri Poincaré
21. Superconducting Qubits II: Circuit Quantum Electrodynamics, Readout and Calibration Methods Pt 3
Lecturer: Zlatko Minev, PhD Lecture Notes and Labs: https://qiskit.org/learn/intro-qc-qh #Qiskit This course is an introduction to the world of quantum computing, ...
Qiskit
Converse, Inverse, & Contrapositive - Conditional & Biconditional Statements, Logic, Geometry
This geometry video tutorial explains how to write the converse, inverse, and contrapositive of a conditional statement - if p, then q. This video also discusses the ...
The Organic Chemistry Tutor
Identification and Estimation of Dynamic Structural Models with Unobserved Choices
Yi Xin (Caltech) https://simons.berkeley.edu/talks/identification-and-estimation-dynamic-structural-models-unobserved-choices Information Design and Data ...
Simons Institute
10. Continuous Bayes' Rule; Derived Distributions
MIT 6.041 Probabilistic Systems Analysis and Applied Probability, Fall 2010 View the complete course: http://ocw.mit.edu/6-041F10 Instructor: John Tsitsiklis ...
MIT OpenCourseWare
Lecture - 19 Joint Conditional Densities
Lecture Series on Probability and Random Variables by Prof. M. Chakraborty, Department of Electronics and Electrical Communication Engineering, I.I.T. ...
nptelhrd
Real Time is Coming to Linux; What Does that Mean to You? - Steven Rostedt, VMware
Real Time is Coming to Linux; What Does that Mean to You? - Steven Rostedt, VMware The Real Time patch (what makes Linux into a true Real Time operating ...
The Linux Foundation
The Story of Stylo: Replacing Firefox's CSS engine with Rust — Josh Matthews
Firefox is in the process of shipping a new implementation of CSS styling written in Rust as part of Mozilla's Servo project. Firefox has 20+ million lines of code ...
Rust Belt Rust Conference
Homoiconicity It Is What It Is - Stuart Sierra
What do Clojure, Prolog, TCL, machine code, and XSLT have in common? It's a computer science-y word that sounds cool, but do you know what ...
ClojureTV
Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
Whether you checked the weather app or not on the day before 22 Jan 2016, a huge snow storm covered the Eastern United States that weekend. If you lived in ...
ClojureTV
Kalman Filter & EKF (Cyrill Stachniss, 2020)
Kalman Filter and Extended Kalman Filter (EKF) Cyrill Stachniss, 2020.
Cyrill Stachniss
Mod-01 Lec-06 Stochastic processes
Physical Applications of Stochastic Processes by Prof. V. Balakrishnan,Department of Physics,IIT Madras.For more details on NPTEL visit http://nptel.ac.in.
nptelhrd
Don't mess with conditional convergence
Rearranging the conditional convergence alternating harmonic series! For more info, see Power series of ln(1+x) , https://youtu.be/X8c64zq8Lno , see original, ...
blackpenredpen
Ariel Ortiz - Design Patterns in Python for the Untrained Eye - PyCon 2019
"Speaker: Ariel Ortiz Design patterns are prepackaged solutions to common software design problems. We get two important benefits when using them. Firstly ...
PyCon 2019
Michael Levin | 2019 Allen Frontiers Symposium
Michael Levin presents on the latest research from the Allen Discovery Center for Reading and Writing the Morphogenetic Code at Tufts University.
Allen Institute
Richard Feldman — The Next Paradigm Shift in Programming
Originally, GOTO statements were widespread. Then structured and procedural programming appeared, and now that's the normal way of doing conditionals, ...
ChariotSolutions
Probability & Random Variables - Week 3 - Lecture 2 - Independence, Conditional Independence
LECTURE SUBJECTS: Independence, Conditional Independence Course: Probability And Random Variables Instructor: Prof.Dr. Elif Uysal-Bıyıkoğlu For ...
METUOpenCourseWare
Lecture 4: Capacity of point-to-point MIMO channels (Multiple Antenna Communications)
This is the video for Lecture 4 in the course TSKS14 Multiple Antenna Communications at Linköping University. The lecture covers: The Capacity of MIMO ...
Wireless Future / Communication Systems
Conditional Type 3 2nd year Bac Pr.Ahmed KHABAZ
lycee Ibn Soulaymane Roudani
2. Conditioning and Bayes' Rule
MIT 6.041 Probabilistic Systems Analysis and Applied Probability, Fall 2010 View the complete course: http://ocw.mit.edu/6-041F10 Instructor: John Tsitsiklis ...
MIT OpenCourseWare
Adaptive Graph-Based Algorithms for Online Semi-Supervised Learning & Conditional Anomaly Detection
We present graph-based methods for online semi-supervised learning and conditional anomaly detection. When data arrive in a stream, the problems of ...
Microsoft Research
Coding For Kids L6 | Functions | Programming For Kids | Class 6 - 8 | Young Wonders | Sundar Sir
Coding For Kids L6 | Functions | Programming For Kids | Class 6 - 8 | Young Wonders | Sundar Sir- Coding Is Basically The Computer Language Used To ...
Vedantu Young Wonders
Gabriel Hondet: The new rewriting engine of Dedukti - System description (FSCD A)
Authors: Gabriel Hondet and Frédéric Blanqui Aired: 2020-02-03 15:30:00 CEST (UTC+2)
IJCAR-FSCD 2020
CppCon 2017: Charles Bay “The Quiet Little Gem in Modern C++: ＜system_error＞”
http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2017 ...
CppCon
Naive Bayes Classifier Tutorial | Naive Bayes Demo | Machine Learning Algorithm | Great Learning
Get your free certificate of completion for the Machine Learning Course, Register Now: http://glacad.me/ML_Foundations A Naïve Bayes classifier is an ...
Great Learning
Top 50 Ansible Interview Questions and Answers 2020 | DevOps Tools | DevOps Training | Edureka
Edureka DevOps Certification Courses: https://www.edureka.co/devops-certification-courses This Edureka session on 'Ansible Interview Questions' will discuss ...
edureka!
Product Demo: An Overview of MadCap Flare
In this product overview, learn how MadCap Flare streamlines content delivery with advanced topic-based authoring, single-sourcing and multi-channel ...
MadCap Software
"You are a Program Synthesizer" by James Koppel
Over the best decade, program synthesis has gone from twiddling bits to making web browsers. And the insights behind these systems can also be used by a ...
Strange Loop
Simultaneous Equations Math Lesson
Simultaneous equations are where we work with two algebreic equations to solve unknowm variables. To support free math by tecmath onPatreon (thankyou): ...
tecmath
10. Markov and Hidden Markov Models of Genomic and Protein Features
MIT 7.91J Foundations of Computational and Systems Biology, Spring 2014 View the complete course: http://ocw.mit.edu/7-91JS14 Instructor: Christopher Burge ...
MIT OpenCourseWare
GOTO 2012 • The R Language The Good The Bad & The Ugly • John Cook
This presentation was recorded at GOTO Aarhus 2012. #gotocon #gotoaar http://gotocon.com John Cook - Research Statistician at M. D. Anderson Cancer ...
GOTO Conferences
noc20 cs02 lec04 Perfect Security
IISc Bangalore July 2018
The Value of Values with Rich Hickey
In this keynote speech from JaxConf 2012, Rich Hickey, creator of Clojure and founder of Datomic gives an awesome analysis of the changing way we think ...
InfoQ
