Search

18 May 2006: subset : 'a list -> 'a list -> bool. SYNOPSIS. Tests if one list is a subset of another. ... So when l1 and l2 are regarded as sets, this is a subset test.

18 May 2006: DESCRIPTION. The relation equals_goal tests if two goals have exactly the same structure, with the same assumptions, conclusions and even labels, with the assumptions in the same order. ... The only respect in which this differs from a pure equality

27 Feb 2006: Test it exactly as before. it is a drop in replacement for the "hello world" example above. ... Test that the mount worked by opening another shell, making sure you are logged in as THE SAME USER who issued the "./hello -f /tmp/kkk" mount above (this is

1 Oct 2006: A finder telescope will be installed in November/December for telescope and dome tests. ... PSB said that he visited RAL last Tuesday (12th) and took part in acquiring further VIRCAM test data.

8 Sep 2006: This night, 27 July, would be a good one to stress test any pipeline. ... PSF fitting: DWE reported that the tests with real data have gone reasonably successfully.

11 Apr 2006: ESRC SEMINAR SERIES. The main sponsor of this seminar is the UK Economic and Social Research Council (ESRC). ... 12.45: Lunch. Scott Polar Research Institute CEPG. ESRC SEMINAR SERIES. The main sponsor of this seminar is the UK Economic and Social

12 Jul 2006: To do this, we will look at a range of languages (English, Greek and Japanese) and investigate methods for acquiring enough natural data to test our hypotheses.

18 May 2006: set_eq : 'a list -> 'a list -> bool. SYNOPSIS. Tests two sets' for equality. ... Otherwise it returns false. In other words, it tests if the lists are the same considered as sets, i.e.

27 Jul 2006: Professor Tudor Oprea believes so, and has arranged for a challenge to test this. ... The same five test acronyms gave identical results, except for DFT, which only found thirteen suggestions - all except one of which were chemistry-focussed.

10 Feb 2006: DHT6 will be a world-wide beta test lasting several months. When I am happy that everything is fine, I'll freeze the refined rules into DHT7. ... Remember that the DHT6 is a beta test, and I allow myself the possibility of making mistakes in setting up

11 Jul 2006: We would like to thank all the others who have contributed code, support, web space, demos, test cases, gripes and bug reports both to SML.NET and to its precursor,Dave

13 Jul 2006: 3) To test this framework upon existing and new calculi.

9 Dec 2006: Rules with probability over a certain threshold are run simultaneously on the test data. ... Rules whose probability exceeds a threshold are then applied to the test data.

11 Sep 2006: Various other departments of the University of Cambridge such as the Statistical Laboratory, the Rainbow Group in the Computer Laboratory and the Department of Applied Economics are also involved in COMS.

18 May 2006: SYNOPSIS. Tests if an element is equivalent to a member of a list w.r.t. ... some relation. DESCRIPTION. If r is a binary relation, x an element and l a list, the call mem' r x l tests if there is an element in the list

14 Aug 2006: Results of tests on different materials show that ONETEP is an efficient parallel code that should be able to take advantage of a wide range of parallel computer architectures.

18 May 2006: equals_thm : thm -> thm -> bool. SYNOPSIS. Equality test on theorems. ... The same can be achieved by a simple equality test, but it is better practice to use this function because it will also work in the proof recording version of HOL

15 Sep 2006: whilst more shifting required mov r3,#0 ; zero r3 Div2 cmp r0,r1 ; test for possible subtraction subcs r0,r0,r1 ; subtract if r0>r1 addcs r3,r3,r2 ; put relevant

15 Sep 2006: Test it in the simulator. Have you typed "source excalibur_pins.tcl" in the TCL window?

18 May 2006: mem : 'a -> 'a list -> bool. SYNOPSIS. Tests whether a list contains a certain member.