Backhouse - PDFSEARCH.IO - Document Search Engine

Backhouse
Results: 85

#	Item
41	2 Voyage through the gates of hell page 9 All but one D. Roberts, ‘“A Sort of Inland Norfolk Island’? Isolation, Coercion and Resistance on the Wellington Valley Convict Station, [removed]’, Journal of Australian Add to Reading List Source URL: iccs.arts.utas.edu.au Language: English - Date: 2012-06-18 00:20:08 James Kelly Macquarie Harbour Tasmania James Backhouse Oceania Western Tasmania Geography of Australia Quakers
42	1 ‘Pluto’s land’ page 1 Pluto’s land Reports and other papers relating to a visit to the Australian colonies and South Africa, 1832–1840, by J. Backhouse and G. W. Walker, ML. B706. Add to Reading List Source URL: iccs.arts.utas.edu.au Language: English - Date: 2012-06-18 00:20:08 James Kelly Lachlan Macquarie Hobart Town Gazette Hobart Macquarie Harbour Geography of Australia States and territories of Australia Tasmania
43	First-past-the-post Games Roland Backhouse School of Computer Science, University of Nottingham, Nottingham, NG8 1BB, England, United Kingdom Abstract Informally, a first-past-the-post game is a (probabilistic) game wher Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-08-04 03:49:18 Function Formal languages Mathematics Regular language
44	The Capacity-C Torch Problem Roland Backhouse [removed] School of Computer Science University of Nottingham, Nottingham NG8 1BB, England Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-02-14 12:32:30 Mathematical optimization Operations research Optimal control Systems engineering Summation Systems theory Systems science Mathematics Equations Dynamic programming
45	1 The Return of Factor Theory Roland Backhouse NWPT, 21st November 2002 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-12-10 07:52:04 Order theory Function Spectral theory Adjoint functors Spectral theory of ordinary differential equations Mathematics Abstract interpretation Galois connection
46	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
47	Datatype-Generic Termination Proofs Roland Backhouse and Henk Doornbos [removed] School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, henk.doornbos@questan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-06-22 04:16:03 Category theory Combinatorics on words Functional programming Data types Catamorphism Generic programming Relation algebra Function String Mathematics Abstract algebra Mathematical logic
48 $Linear algebra / Number theory / Stern–Brocot tree / Binary operations / Fractions / Euclidean algorithm / Matrix / Calkin–Wilf tree / Algorithm / Mathematics / Algebra / Continued fractions$	Recounting the Rationals: Twice! Roland Backhouse and João F. Ferreira∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, England {rcb,jff}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-04-08 06:03:05 Linear algebra Number theory Stern–Brocot tree Binary operations Fractions Euclidean algorithm Matrix Calkin–Wilf tree Algorithm Mathematics Algebra Continued fractions
49	On Euclid’s Algorithm and Elementary Number Theory Roland Backhouse, Jo˜ao F. Ferreira1 School of Computer Science, University of Nottingham, Nottingham, NG8 1BB, England Abstract Algorithms can be used to prove and t Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-03 11:35:00 Elementary arithmetic Stern–Brocot tree Algorithm Greatest common divisor Multiplication Function Number theory Rational number Number Mathematics Elementary mathematics Euclidean algorithm
50	Meeting a Fanclub: A Lattice of Generic Shape Selectors1 Roland Backhouse Richard Bird Paul Hoogendijk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-03 12:04:24 Binary operations Functions and mappings Higher category theory Galois connection Function composition Natural transformation Morphism Presentation of a group Group Abstract algebra Mathematics Category theory

UPDATE