Search

12 Dec 2006: Technical ReportNumber 677. Computer Laboratory. UCAM-CL-TR-677ISSN 1476-2986. ECCO: Data centricasynchronous communication. Eiko Yoneki. December 2006. 15 JJ Thomson Avenue. Cambridge CB3 0FD. United Kingdom. phone 44 1223 763500.

12 Sep 2006: Economics and Law. Lecturers: Professor R.J. Anderson and Mr N.D.F. Bohm. ... Pareto efficiency; the discriminating monopolist. Welfare and the Arrow theorem. Classical economics continued.

26 May 2006: UFTI Flatfielding Test Data. We want to use UFTI test data to get a better handle on the flat field properties of the array/telescope system, and investigate the various contributions

23 Sep 2006: groups. There is a nice primer on the economics of intellectual property here; for further analysis of the economic effects, see papers by Scotchmer, especially The Law and Economics of Reverse ... So economics and law' is a highly topical subject for

17 Jan 2006: Tests on real WFCAM data (the UDS test data, see Section 6) showed that a more detailed model was required. ... 7 Crowded field tests. Tests have been carried out using data covering M17 in order to test the performance in more crowded fields.

28 Feb 2006: 1 ESRC: Совет по поддержке экономических и социальных наук (Economic and Social Research Council, ESRC).

6 Apr 2006: Liz grew up in the Cambridge area, and Konnie was a student at Robinson College where she read Economics.

18 May 2006: isnum : string -> bool. SYNOPSIS. Tests if a one-character string is a decimal digit. ... DESCRIPTION. The call isnum s tests whether the first character of string s (normally it is the only character) is a decimal digit.

18 May 2006: issep : string -> bool. SYNOPSIS. Tests if a one-character string is a separator. ... DESCRIPTION. The call issep s tests whether the first character of string s (normally it is the only character) is one of the separators ,' or ;'. FAILURE CONDITIONS.

18 May 2006: isbra : string -> bool. SYNOPSIS. Tests if a one-character string is some kind of bracket. ... DESCRIPTION. The call isbra s tests whether the first character of string s (normally it is the only character) is a bracket, meaning an opening or closing

18 May 2006: issymb : string -> bool. SYNOPSIS. Tests if a one-character string is a symbol other than bracket or separator. ... DESCRIPTION. The call issymb s tests whether the first character of string s (normally it is the only character) is symbolic''.

5 Jul 2006: These remarkable people in turn represent other worlds the human intellect often takes us to: through the disciplines of theology, economics, education, literature, mathematics, science, and engineering.

18 May 2006: isalnum : string -> bool. SYNOPSIS. Tests if a one-character string is alphanumeric. ... DESCRIPTION. The call isalnum s tests whether the first character of string s (normally it is the only character) is alphanumeric, i.e.

18 May 2006: isalpha : string -> bool. SYNOPSIS. Tests if a one-character string is alphabetic. ... DESCRIPTION. The call isalpha s tests whether the first character of string s (normally it is the only character) is alphabetic, i.e.

18 May 2006: isspace : string -> bool. SYNOPSIS. Tests if a one-character string is some kind of space. ... DESCRIPTION. The call isspace s tests whether the first character of string s (normally it is the only character) is a space' of some kind, including tab and

17 Jan 2006: Tests on real WFCAM data (the UDS test data, see Section 6) showed that a more detailed model was required. ... 7 Crowded field tests. Tests have been carried out using data covering M17 in order to test the performance in more crowded fields.

18 May 2006: is_gabs : term -> bool. SYNOPSIS. Tests if a term is a basic or generalized abstraction. ... DESCRIPTION. The call is_gabs t tests if t is either a basic logical abstraction (as identified by is_abs) or a generalized one (a standard composite logical

18 May 2006: is_prefix : string -> bool. SYNOPSIS. Tests if an identifier has prefix status. ... The call is_prefix "c" tests if c is one of those identifiers.

18 May 2006: is_binary : string -> term -> bool. SYNOPSIS. Tests if a term is an application of a named binary operator. ... DESCRIPTION. The call is_binary s tm tests if term tm is an instance of a binary operator (op l) r where op is a constant with name s.

18 May 2006: is_binder : string -> term -> bool. SYNOPSIS. Tests if a term is a binder construct with named constant. ... DESCRIPTION. The call is_binder "c" t tests whether the term t has the form of an application of a constant c to an abstraction.