Search
Search Funnelback University
- Refined by:
- Date: 2006
Did you mean economiespast?
31 -
80 of
659
search results for Economics test
where 31
match all words and 628
match some words.
Fully-matching results
-
ECCO: Data centric asynchronous communication
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-677.pdf12 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. Results that match 1 of 2 words
-
Computer Laboratory - Computer Science Syllabus - Economics and Law
https://www.cl.cam.ac.uk/DeptInfo/CST06/node54.html12 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. -
Ufti Flatfielding Test Data Requirements
https://people.ast.cam.ac.uk/~wfcam/testdata.html26 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 -
Computer Laboratory - Economics and Law
https://www.cl.cam.ac.uk/teaching/2006/EconLaw/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 -
Contents
https://people.ast.cam.ac.uk/~wfcam/docs/reports/psf3/index.html17 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. -
Отчет по результатам семинара
https://www.spri.cam.ac.uk/events/russianoil/seminar3report.ru.pdf28 Feb 2006: 1 ESRC: Совет по поддержке экономических и социальных наук (Economic and Social Research Council, ESRC). -
Blue Peter in Cambridge | University of Cambridge
https://www.cam.ac.uk/research/news/blue-peter-in-cambridge6 Apr 2006: Liz grew up in the Cambridge area, and Konnie was a student at Robinson College where she read Economics. -
isnum : string -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/isnum.html18 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. -
issep : string -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/issep.html18 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. -
isbra : string -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/isbra.html18 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 -
issymb : string -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/issymb.html18 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''. -
The richness of our world | University of Cambridge
https://www.cam.ac.uk/research/news/the-richness-of-our-world5 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. -
isalnum : string -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/isalnum.html18 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. -
isalpha : string -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/isalpha.html18 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. -
isspace : string -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/isspace.html18 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 -
Contents
https://people.ast.cam.ac.uk/~wfcam/docs/reports/psf3/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. -
is_gabs : term -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_gabs.html18 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 -
is_prefix : string -> bool SYNOPSIS Tests if an ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_prefix.html18 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. -
is_binary : string -> term -> bool SYNOPSIS Tests ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_binary.html18 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. -
is_binder : string -> term -> bool SYNOPSIS Tests ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_binder.html18 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. -
is_intconst : term -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_intconst.html18 May 2006: is_intconst : term -> bool. SYNOPSIS. Tests if a term is an integer literal of type :int. ... DESCRIPTION. The call is_intconst t tests whether the term t is a canonical integer literal of type :int, i.e. -
is_imp : term -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_imp.html18 May 2006: is_imp : term -> bool. SYNOPSIS. Tests if a term is an application of implication. -
is_neg : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_neg.html18 May 2006: is_neg : term -> bool. SYNOPSIS. Tests a term to see if it is a logical negation. -
is_ratconst : term -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_ratconst.html18 May 2006: is_ratconst : term -> bool. SYNOPSIS. Tests if a term is a canonical rational literal of type :real. ... DESCRIPTION. The call is_ratconst t tests whether the term t is a canonical rational literal of type :real. -
is_var : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_var.html18 May 2006: is_var : term -> bool. SYNOPSIS. Tests a term to see if it is a variable. -
is_abs : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_abs.html18 May 2006: is_abs : term -> bool. SYNOPSIS. Tests a term to see if it is an abstraction. -
is_let : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_let.html18 May 2006: is_let : term -> bool. SYNOPSIS. Tests a term to see if it is a let-expression. -
is_iff : term -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_iff.html18 May 2006: is_iff : term -> bool. SYNOPSIS. Tests if a term is an equation between Boolean terms (iff / logical equivalence). -
is_cond : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_cond.html18 May 2006: is_cond : term -> bool. SYNOPSIS. Tests a term to see if it is a conditional. -
is_conj : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_conj.html18 May 2006: is_conj : term -> bool. SYNOPSIS. Tests a term to see if it is a conjunction. -
is_cons : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_cons.html18 May 2006: is_cons : term -> bool. SYNOPSIS. Tests a term to see if it is an application of CONS. -
is_disj : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_disj.html18 May 2006: is_disj : term -> bool. SYNOPSIS. Tests a term to see if it is a disjunction. -
is_list : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_list.html18 May 2006: is_list : term -> bool. SYNOPSIS. Tests a term to see if it is a list. -
is_undefined : ('a, 'b) func -> bool SYNOPSIS Tests ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_undefined.html18 May 2006: is_undefined : ('a, 'b) func -> bool. SYNOPSIS. Tests if a finite partial function is defined nowhere. ... The predicate is_undefined tests if the argument is the completely undefined function. -
is_comb : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_comb.html18 May 2006: is_comb : term -> bool. SYNOPSIS. Tests a term to see if it is a combination (function application). -
is_pair : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_pair.html18 May 2006: is_pair : term -> bool. SYNOPSIS. Tests a term to see if it is a pair. -
is_type : hol_type -> bool SYNOPSIS Tests whether a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_type.html18 May 2006: is_type : hol_type -> bool. SYNOPSIS. Tests whether a type is an instance of a type constructor. -
Celebrating British Science | University of Cambridge
https://www.cam.ac.uk/news/celebrating-british-science14 Mar 2006: Dr Turner, of the Department of Psychiatry, is one of five young researchers chosen to showcase their research at the prominent event organised by the Office -
free_in : term -> term -> bool SYNOPSIS Tests ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/free_in.html18 May 2006: free_in : term -> term -> bool. SYNOPSIS. Tests if one term is free in another. -
is_const : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_const.html18 May 2006: is_const : term -> bool. SYNOPSIS. Tests a term to see if it is a constant. -
is_binop : term -> term -> bool SYNOPSIS Tests ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_binop.html18 May 2006: is_binop : term -> term -> bool. SYNOPSIS. Tests if a term is an application of the given binary operator. -
is_exists : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_exists.html18 May 2006: is_exists : term -> bool. SYNOPSIS. Tests a term to see if it as an existential quantification. -
is_forall : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_forall.html18 May 2006: is_forall : term -> bool. SYNOPSIS. Tests a term to see if it is a universal quantification. -
is_select : term -> bool SYNOPSIS Tests a term ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_select.html18 May 2006: is_select : term -> bool. SYNOPSIS. Tests a term to see if it is a choice binding. -
is_realintconst : term -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_realintconst.html18 May 2006: is_realintconst : term -> bool. SYNOPSIS. Tests if a term is an integer literal of type :real. ... DESCRIPTION. The call is_realintconst t tests whether the term t is a canonical integer literal of type :real, i.e. -
occurs_in : hol_type -> hol_type -> bool SYNOPSIS Tests ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/occurs_in.html18 May 2006: occurs_in : hol_type -> hol_type -> bool. SYNOPSIS. Tests if one type occurs in another. -
is_numeral : term -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_numeral.html18 May 2006: is_numeral : term -> bool. SYNOPSIS. Tests if a term is a natural number numeral. -
is_vartype : hol_type -> bool SYNOPSIS Tests a type ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_vartype.html18 May 2006: is_vartype : hol_type -> bool. SYNOPSIS. Tests a type to see if it is a type variable. -
Speaking in China | University of Cambridge
https://www.cam.ac.uk/research/news/speaking-in-china17 Jul 2006: Speaking about the socio-economic impact of academic institutions, he admitted that the future of a university even as ancient as Cambridge is linked to the value it brings and is -
is_reserved_word : string -> bool SYNOPSIS Tests if a ...
https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_reserved_word.html18 May 2006: is_reserved_word : string -> bool. SYNOPSIS. Tests if a string is one of the reserved words. ... The call is_reserved_word s tests if the string s is one of them.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.