Search

15 Jan 2015: We illustrate the basic constructs of SQL and On-Line Transaction Processing (OLAP). ... understand the basic theory of the relational model and both its strengths and weaknesses.

15 Jan 2015: 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.

15 Jan 2015: Assessment of agents. What does this course cover, and what is left out? ... Simple, uninformed search algorithms. Tree search and graph search. More sophisticated heuristic search algorithms.

15 Jan 2015: Overview of run-time data structures: stack and heap. Virtual machines. [1 lecture]. ... Grammar ambiguity, left- and right-associativity and operator precedence. Using YACC-like tools.

5 Nov 2015: Output is in the form of an LCD and some tri-colour LEDs. ... For this exercise we will focus on the inputs: rotary dials and switches.

15 Jan 2015: 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;.

10 Nov 2015: Course pages 2015–16. ECAD and Architecture Practical Classes. Introduction to FPGA synthesis. ... 6 and ensure that Specific device selected in 'Available devices' list is selected.

15 Jan 2015: Course pages 2014–15. Computer Graphics and Image Processing. Principal lecturer: Prof Peter Robinson. ... How do they relate to one another? Colour. Human vision. Resolution and quantisation.

10 Apr 2015: Economics, Law and Ethics. CST part 1b. Ross Anderson, Richard Clayton. ... Aims and Objectives. Aims: introduce you to some basic concepts in economics and law.

4 Dec 2015: Course pages 2015–16. ECAD and Architecture Practical Classes. Yarvi - a RISC-V processor. ... a0-a7. ) for function arguments and 10-11 (. a0-a1. ) for return values.

5 Nov 2015: Course pages 2015–16. ECAD and Architecture Practical Classes. Exercise 3: Etch A Sketch in simulation. ... Your software should read the dial inputs and set the relevant pixel to white.

26 Oct 2015: Next section:Section 6. SPECIAL REGULATIONS FOR FACULTIES AND DEPARTMENTS. Institute of Astronomy. ... by the General Board and three appointed by the Faculty Board of Classics.

15 Jan 2015: Propositional logic. Basic syntax and semantics. Equivalences. Normal forms. Tautology checking using CNF. ... understand the relationships among the various calculi, e.g. SAT solving, resolution and Prolog;.

6 Oct 2015: The Adjudicators shall advertise the Prize widely within the United Kingdom and shall invite applications. ... and research in the University in the field of anaesthesia and related subjects.

6 Nov 2015: Prof. M. Zeviani. A. Zhou. H. Ziauddeen. THE FACULTY OF COMPUTER SCIENCE AND TECHNOLOGY. ... Sir Edward Wrigley, CC. THE FACULTY OF ECONOMICS. T. S. Aidt, JE.

1 Oct 2015: S. Zaman. Prof. M. Zeviani. A. Zhou. H. Ziauddeen. THE FACULTY OF COMPUTER SCIENCE AND TECHNOLOGY. ... THE FACULTY OF ECONOMICS. T. S. Aidt, JE. Y. Akkaya. J.

6 Oct 2015: Divinity. Earth Sciences and Geography. Economics. Education. Engineering. English. History. Human, Social, and Political Science. ... Law. Mathematics. Modern and Medieval Languages. Music. Philosophy. Physics and Chemistry.

22 Apr 2015: Introduction, motivation, and overview. What is a programming language? Application domains in language design. ... Types. Types in programming languages. Type systems. Type safety. Type checking and type inference.

10 Dec 2015: Part III. (optional). BA. MSci. (optional). Economics. Law. Part IA. Part IB. ... The academic year commences on 1st October and finishes on 30th September each year.

12 Oct 2015: Classical Archaeology (Laurence). Classics. Climate Change Economics and Policy. Clinical Biochemistry and Medicine. ... Economics (1970). Economics (2007). Economics (2013). Economics and Game Theory. Economics and Organization.