Search for tag: "invariant"

4 Media

Topologically Ordered Matter and Why You Should… duration 1 hour 25 minutes Topologically Ordered Matter and Why You Should… Topologically Ordered Matter and Why You Should be Interested	Topologically Ordered Matter and Why You Should be Interested Steven H. Simon - Oxford University field theory thing particles particle things knot loop topology picture knots lot matter probability computation ground invariant hall times crossing From prz prz-media 0 likes 9 plays Date June 8th, 2021 Speaker Steven H. Simon - Oxford University Department PRISM
cos326-2020-13-03-ho-rep-inv duration 22 minutes 46 seconds cos326-2020-13-03-ho-rep-inv cos326-2020-13-03-ho-rep-inv	cos326-2020-13-03-ho-rep-inv Reasoning About Modular Programs: Part 3: More Representation Invariants cos326 invariant function t. module operation int representation proof input arrow argument result words component integer elements s1 star option types From Daniel Macleod 0 likes 227 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-02-rep-inv-set duration 13 minutes 10 seconds cos326-2020-13-02-rep-inv-set cos326-2020-13-02-rep-inv-set	cos326-2020-13-02-rep-inv-set Reasoning About Modular Programs: Part 2: Proving Representation Invariants cos326 invariant representation module proof values input obligation operation assumption output size theorem property destructor branch l. function operations sets elements From Daniel Macleod 0 likes 208 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-01-representation-invariants duration 12 minutes 36 seconds cos326-2020-13-01-representation-invariants cos326-2020-13-01-representation-invariants	cos326-2020-13-01-representation-invariants Reasoning about Modular Programs: Part 1: Representation Invariants cos326 invariant module representation invariance size values operation tree client duplicates outputs function elements functions sets argument implementation lists methods keys From Daniel Macleod 0 likes 210 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ