Search for tag: "block"

Introduction to Block 3 PGCAP

A video introduction to Block 3 of the PG Cert in Academic Practice

From  Velda McCune on December 3rd, 2020 0 likes 42 plays 0  

CL - 12d - Counting

In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.

From  Haoran Peng on November 9th, 2020 0 likes 303 plays 0  

Pharmacology 3: Drugs Acting on Ion Channels Part 4 Dr Phil Larkman

Modulation of Na+ channels by local anaesthetics.

From  Philip Larkman on October 30th, 2020 0 likes 104 plays 0  

CL - 6g - CNF II

This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a conjunctive normal form (CNF) — a conjunction of disjunctions of literals.

From  Haoran Peng on October 24th, 2020 0 likes 380 plays 0  

CL - 6f - CNF I

This video shows how blocks of zeros, which correspond to disjund=ctions of literals, lead us to conjunctive normal form (CNF) which we met earlier as the output of our reduction procedure. CNF is in…

From  Haoran Peng on October 24th, 2020 0 likes 448 plays 0  

CL - 6e - DNF

More on blocks of ones (which correspond to conjunctions of literals).This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a disjunctive normal…

From  Haoran Peng on October 24th, 2020 0 likes 396 plays 0  

CL - 6d - Karnaugh Maps III

More on blocks of ones (which correspond to conjunctions of literals).

From  Haoran Peng on October 24th, 2020 0 likes 385 plays 0  

CL - 6c - Karnaugh Maps II

This video shows you how to find your way through the state space represented by a Karnaugh Map, and introduces features called blocks. In this video we focus on blocks of ones.

From  Haoran Peng on October 24th, 2020 0 likes 403 plays 0  

CL - 6b - Karnaugh Maps I

In logic, we call the things in the universal model valuations; they are Boolean-values functions defined on the set of predicates.In computer science we often call these states, because, as we will…

From  Haoran Peng on October 24th, 2020 0 likes 409 plays 0  

Workshop 2 - Pinch Analysis

Workshop 2 - Pinch Analysis

From  Mennatallah Mohamed Awny Ali Labib on October 5th, 2020 0 likes 8 plays 0  

Lecture 2 - Process Synthesis

Lecture 2 - Process Synthesis

From  Mauro Luberti on September 16th, 2020 0 likes 111 plays 0  

16c

Examples in PDDL

From  Alexandra Lascarides on June 29th, 2020 0 likes 7 plays 0  

Accomodation Services - How We Allocate - Sarah Higgins

How Accommodation Services allocate accommodation 2019

From  Colin McLean on March 28th, 2019 0 likes 261 plays 0