Search for tag: "constraints"

Higgs Hour with Florian Beutler: 'Expanding the BAO science case'

Speaker: Florian Beutler (University of Edinburgh) Cosmology has the potential to test fundamental physics through the discovery of new particles (e.g. dark matter) and new fields that governed the…

From  Ines Foidl on March 5th, 2021 0 likes 7 plays 0  

9.c

This is the third video of the Inf2D lecture on Smart Searching using Constraints.

From  Claudia-Elena Chirita on January 26th, 2021 0 likes 192 plays 0  

9.a

This is the first video of the Inf2D lecture on Smart Searching using Constraints.

From  Claudia-Elena Chirita on January 26th, 2021 0 likes 212 plays 0  

9.b

This is the second video of the Inf2D lecture on Smart Searching using Constraints.

From  Claudia-Elena Chirita on January 26th, 2021 0 likes 172 plays 0  

CL - 8c - Sudoku

First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…

From  Haoran Peng on November 1st, 2020 0 likes 332 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 453 plays 0  

Lecture 10 - Branch and Bound Optimisation

Lecture 10 - Branch and Bound Optimisation

From  Mennatallah Mohamed Awny Ali Labib on September 29th, 2020 0 likes 125 plays 0  

Introduction

Week 6 'Reference', Welcome video

From  Aran Ward Sell on July 20th, 2020 0 likes 10 plays 0  

17b

Partial Order Planning

From  Alexandra Lascarides on July 1st, 2020 0 likes 177 plays 0  

Advanced Topics Not Covered

Advanced Topics Not Covered

From  Nigel Goddard on September 18th, 2016 1 likes 1,607 plays 0  

Optimising the Margin 1

Optimising the Margin 1

From  Nigel Goddard on September 8th, 2016 2 likes 2,522 plays 0  

Multiclass Classification

Multiclass Classification

From  Nigel Goddard on September 8th, 2016 0 likes 2,543 plays 0