Search for tag: "invariant"

4 Media

01:25:25 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 8 plays Date June 8th, 2021 Speaker Steven H. Simon - Oxford University Department PRISM
22:46 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 226 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
13:10 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 207 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
12:36 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 209 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ