Search

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

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

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: 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''.

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

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

26 Sep 2006: Dr Nuttall’s co-editors include Dr Michael Pollitt, University Lecturer in Business Economics at the Judge Business School, and Dr Tooraj Jamasb, Senior Research Fellow at the University’s Faculty ... of Economics.

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: 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.

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_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.

19 Sep 2006: Currently Dr Lee and the group are developing technology for the detection of HIV, Hepatitis B and Hepatitis C in one test (Triplex). ... It’s vital for diagnostic tests such as these to be instant and not expensive,” Dr Lee explained.

20 Jan 2006: The project has been funded for a year by a generous donation from Professor Robert Z Aliber – an alumnus of St John’s College, Cambridge and Professor of International Economics and

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.

29 Sep 2006: The EPRG is run jointly by the Judge Business School and the Faculty of Economics at the University of Cambridge and encourages interdisciplinary research into the electricity supply. ... Dr Michael Pollit, EPRG’s acting Executive Director and Reader