Search
Search Funnelback University
- Refined by:
- Date: 2011
21 -
40 of
242
search results for `Law and Economics`
Fully-matching results
-
Computer Laboratory – Course material 2010–11: Programming Logics and …
https://www.cl.cam.ac.uk/teaching/1011/L19/19 Jan 2011: Course material 2010–11. Programming Logics and Software Verification. Convenor: Prof Mike Gordon. -
Computer Laboratory – Course material 2010–11: Topics in Logic and…
https://www.cl.cam.ac.uk/teaching/1011/L15/15 Mar 2011: Course material 2010–11. Topics in Logic and Complexity. Principal lecturer: Prof Anuj Dawar. -
Computer Laboratory – Course material 2009–10: Categorical Logic
https://www.cl.cam.ac.uk/teaching/0910/L20/28 Jan 2011: Taken by:Exercises. Agda. The Agda language is available here and is already installed on the MPhil machines. ... I will put sample source code and exercises in this directory. -
Computer Laboratory – Course material 2010–11: Usability of…
https://www.cl.cam.ac.uk/teaching/1011/R201/23 May 2011: Grabowski (pp. 45-62). 1.4 Human Cognition and Programming - T. Ormerod (pp. ... Gilmore (pp. 83-98). Part 2 Language Design and Acquisition of Programming (introduction). -
Computer Laboratory – Course material 2010–11: Software Design
https://www.cl.cam.ac.uk/teaching/1011/SWDesign/29 Mar 2011: This material was skipped in the lectures, and it will not be examined this year. -
Computer Laboratory – Course material 2010–11: Social and…
https://www.cl.cam.ac.uk/teaching/1011/L109/28 Jan 2011: Course material 2010–11. Social and Technological Network Analysis. Principal lecturer: Dr Cecilia Mascolo. -
Computer Laboratory – Course material 2010–11: Statistical Machine…
https://www.cl.cam.ac.uk/teaching/1011/L102/7 Feb 2011: Lecture 5: Decoding with Phrase-Based Models. Adria de Gispert's Lectures and Practicals:. -
Economics and Law summary
https://www.cl.cam.ac.uk/teaching/1011/EconLaw/Economics_and_Law_summary.pptx19 May 2011: Economics and Law Summary. 1. Prisoners’ dilemma. Two prisoners are arrested on suspicion of planning a robbery. ... Utility increases with square of users. Standards. Timescale. Moore’s Law. Untimely Publication. -
Computer Laboratory – Course material 2010–11: Advanced Data Flow…
https://www.cl.cam.ac.uk/teaching/1011/L111/17 May 2011: Course material 2010–11. Advanced Data Flow Analysis. Principal lecturers: Prof Alan Mycroft, Prof Uday P Khedker. Taken by:Further information:. Undergraduate (Part II) web page on Optimising Compilers (additional, non-examinable, material). -
Computer Laboratory – Course material 2010–11: Regular Languages and…
https://www.cl.cam.ac.uk/teaching/1011/RLFA/1 Apr 2011: Course material 2010–11. Regular Languages and Finite Automata. Principal lecturer: Dr Marcelo Fiore. ... Summary: "Regular expression matching can be simple and fast, using finite automata-based techniques that have been known for decades. -
Computer Laboratory – Course material 2010–11: Syntax and Semantics…
https://www.cl.cam.ac.uk/teaching/1011/L107/11 Mar 2011: Course material 2010–11. Syntax and Semantics of Natural Language. Principal lecturers:Taken by:Stephen Clark's Lectures:. ... Handout 3 (distributed in class): Generalized Quantifiers and Scope Underspecification. Assessed Assignments:. -
Computer Laboratory – Course material 2010–11: Advanced Computer…
https://www.cl.cam.ac.uk/teaching/1011/P34/14 Jan 2011: Timing critical circuits and bus interfacing (1L1P). On-chip networks: implementation and analysis (1L1P). ... software simulation. Coursework. Complete the laboratory material and submit a portfolio of work. -
Computer Laboratory – Course material 2010–11: Semantics of…
https://www.cl.cam.ac.uk/teaching/1011/Semantics/4 Mar 2011: L2 (in ML). Moscow ML, Java and SWI Prolog are installed on the Intel PWF machines. ... The book Types and Programming Languages is freely accessible in electronic form from within Cambridge. -
Computer Laboratory – Course material 2010–11: Mobile and Sensor…
https://www.cl.cam.ac.uk/teaching/1011/MobSensSys/28 Jan 2011: Course material 2010–11. Mobile and Sensor Systems. Principal lecturer: Dr Cecilia Mascolo. -
Computer Laboratory – Course material 2010–11: Computer Networking
https://www.cl.cam.ac.uk/teaching/1011/CompNet/5 Mar 2011: Trivia: LINX (London IXP) is the worlds largest IXP by traffic, customers, and peerings). ... You may wish to open two browsers: one for the movie and one for the notes. -
Computer Laboratory – Course pages 2011–12: Complexity Theory
https://www.cl.cam.ac.uk/teaching/1112/Complexity/17 Nov 2011: Algorithms and problems. Complexity of algorithms and of problems. Lower and upper bounds. ... Time complexity. Time complexity classes. Polynomial time problems and algorithms. P and NP. -
Computer Laboratory – Course material 2010–11: Lexical Semantics and…
https://www.cl.cam.ac.uk/teaching/1011/L104/4 Mar 2011: Course material 2010–11. Lexical Semantics and Discourse Processing. Principal lecturer: Dr Simone Teufel. ... Reading: J and M chapter 19.4 andFrame Semantics and Semantic Role Labelling. -
Computer Laboratory – Course material 2010–11: System-on-Chip Design
https://www.cl.cam.ac.uk/teaching/1011/SysOnChip/1 Jun 2011: Try-it-yourself: Toy Classes RTL and TLM-1 style experiments (on PWF linux - check 'thisyears-toyclasses' folder). ... Try-it-yourself: TLM experiments using TLM2.0 standard and OR1K CPU (zip). -
Computer Laboratory – Course pages 2011–12: Logic and Proof
https://www.cl.cam.ac.uk/teaching/1112/LogicProof/17 Nov 2011: Propositional logic. Basic syntax and semantics. Equivalences. Normal forms. Tautology checking using CNF. ... Prenex normal form. Skolemisation. Herbrand models and their properties. Unification. Composition of substitutions. -
Computer Laboratory – Course pages 2011–12: Computation Theory
https://www.cl.cam.ac.uk/teaching/1112/CompTheory/17 Nov 2011: A partial function is partial recursive if and only if it is computable. ... understand the notion of coding programs as data, and of a universal machine;.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.