Search for tag: "expressions"

Dr Benedetta Catanzariti - Fixing the field: How AI practitioners negotiate uncertain claims

Dr Benedetta Catanzariti British Academy Postdoctoral Fellow in Science, Technology and Innovation StudiesFocusing on the case of Affective Computing, this talk explores how AI practitioners…

From  James Stewart 0 likes 5 plays 0  

HealthyR demo: stringR

Data and code at: https://github.com/SurgicalInformatics/healthyr_demos

From  Sarah Elliot 0 likes 37 plays 0  

2.3 Rethinking Value Risk and Heritage

Rethinking Value Risk and Heritage.

From  Geoff Fortescue 0 likes 25 plays 0  

Benedetta Catanzariti: Coding the Face: Making Sense of Affective Data

Controversies in the Data Society

From  James Stewart 0 likes 23 plays 0  

Neuropolitics: Biometrics and Cognitive Science Part 2

Part two of an introduction to cognitive science and the use of biometrics in neuropolitics.

From  Robin Hill 0 likes 53 plays 0  

Neuropolitics: Biometrics and Cognitive Science Part 1

First part of an introduction to cognitive science and the use of biometrics in neuropolitics.

From  Robin Hill 0 likes 68 plays 0  

Optional Topic 24: Developing the Complex Fourier Series (SNADA, Chapter 5)

This Topic provides a derivation of the Complex Fourier series, given the Trigonometric Fourier series and the concept of complex phasors. This further topic is there for students interested in…

From  James Hopgood 0 likes 205 plays 0  

CL - 15f - R* -- Iteration

We construct an NFA for R*; then summarize the algebra of regular expressions.

From  Haoran Peng 0 likes 232 plays 0  

CL - 14c - Regular Languages (I)

We give a first definition of regular language as a language that is accepted by some FSM.

From  Haoran Peng 0 likes 268 plays 0  

CL - 13b - regex and FSM

We introduce some simple finite state machines, and three key ideas of the theory.The first idea is that of the language recognised by a machine. Given an alphabet of symbols, a language is a set…

From  Haoran Peng 0 likes 392 plays 0  

CL - 11a - Expressions

This video introduces the idea that expressions are things we can study.We look first at evaluating algebraic expressions by substituting values for variables, and then do the same for Boolean…

From  Haoran Peng 0 likes 318 plays 0  

CL - 8e - DPLL I

This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this…

From  Haoran Peng 0 likes 331 plays 0  

CL - 8b - Language III

In this video we link the language of forms to our derivations of CNF.

From  Haoran Peng 0 likes 335 plays 0  

Topic 47: Cramer-Rao Lower Bound for Parameter Vectors (PETARS, Chapter 6)

In this video, the concepts in estimation theory introduced so far for scalar random variables are extended to deal with estimating multiple parameters, for example the mean and variance of a…

From  James Hopgood 0 likes 622 plays 0  

FP - Lecture 9 - Expression Trees as Algebraic Data Types

This is the video for the ninth FP lecture on Expression Trees as Algebraic Data Types.

From  Claudia-Elena Chirita 0 likes 688 plays 0  

CL - Lecture 3b - Particular Propositions

You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular…

From  Haoran Peng 0 likes 497 plays 0