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.

18 May 2006: <?) : 'a -> 'a -> bool. SYNOPSIS. Reflexive short-cutting inequality test. ... DESCRIPTION. This is functionally identical to the OCaml polymorphic inequality test < except that it is total even on floating-point NaNs.

18 May 2006: 'a -> 'a -> bool. SYNOPSIS. Reflexive short-cutting equality test. DESCRIPTION. ... This is functionally identical to the OCaml equality test = except that it is reflexive even on floating-point NaN.

28 Mar 2006: Experiment-based Social and/or Economic Analysis of Mobile Ad hoc Networks. IMPORTANT DATES.

26 Jan 2006: These patterns are still being assessed, although a series of tests using a higher order r5 term showed some improvement. ... A series of tests using the UKIRT FS observations to monitor the WFCAM 2MASS calibration are being carried out, with very

18 May 2006: Tests a list to see if all its elements satisfy a predicate.

18 May 2006: Tests a list to see if some element satisfy a predicate.

18 May 2006: SYNOPSIS. Tests if corresponding elements of two lists all satisfy a relation.

18 May 2006: defined : ('a, 'b) func -> 'a -> bool. SYNOPSIS. Tests if a finite partial function is defined on a certain domain value.

18 May 2006: rat_of_term for the reals), tonum is the opposite (e.g. term_of_rat for the reals), EQ_CONV is an equality test conversion (e.g.

10 Feb 2006: iotest. When used in conjunction with the correct FLEX program, this tests the connection between the boards.

10 Feb 2006: several test suites, and optimised versions in C and Java, is available from.

9 Jan 2006: DWE generated some colour-colour plots from a crowded field (M17) to test the PSF-v-pipeline photometry (see item 7) 2. ... The list of demands is quite large and will take a considerable amount of work to implement and test.

27 Jul 2006: A new test version (documentation and sample structure files, but Microsoft Windows only) of the IUPAC-NIST Chemical Identifier (INChI) is now available.

2 Nov 2006: In the following tests we have used the 2MASS PSC as the basis for all the astrometry. ... After a few tests it became clear that not only had we got the sign wrong in the predicted value for the distortion (easy to do) but also the magnitude of

29 Sep 2006: SIGNAL (guard);. cut hair. a customer executes:. WAIT (guard); %test and set waiting under exclusion.

29 Sep 2006: Needham et al. proposed a protocol in microcode. The idea was to make the OS perform a simple test before writing to NVRAM.

29 Sep 2006: Records of small units of production can be lost between a test and clear, for example.

2 Nov 2006: Creating a test collection for IR experiments with citations.

11 Apr 2006: lands, traditional ways of life, and economic activities1. Liudmilla Alferova2Vice President of the Association of Khanty and Mansi ‘Save the Yugra’. ... they carry out their economic activities, and also their right to priority use of natural

14 Mar 2006: ESRC SEMINAR SERIES. The main sponsor of this seminar is the UK Economic and Social Research Council (ESRC). ... School of Economics) can be found at http://www.spri.cam.ac.uk/events/russianoil/. Workshop on Indigenous Peoples’ Issues related to

11 Oct 2006: Economic, political, cultural, sociological andpsychological factors are of huge importance, as is the role of governments,international agencies and NGOs in responding to crises. ... Hurricane Katrinashowed that extreme events can have global economic

12 Jun 2006: 4. Diffusive solidification. Our first validation test focuses on thermodynamic processes of phase change. ... 6. Corner flow tests. In order to test our code for simultaneous flow through porous and fluid domains as well as for convectivesolidification

24 Feb 2006: Uniproc: Test and Set Instruction. Uniproc: Compare and Swap Instruction. Uniproc: Load and increment Instruction.

27 Jul 2006: The Royal Society of Arts has launched the Adelphi Charter on Creativity, Innovation and Intellectual Property calling for a public interest test should be applied before granting intellectual property rights.

6 Nov 2006: Initially 120 square degrees are being released in order to test the system and receive comments. ... Tests are underway on the new baffling tube which should cut out remaining Moon glint problems.

18 Apr 2006: 7. VDFS VISTA update WJS reported that the telescope has passed the acceptance test, including (nearly all) the mirror supports. ... WJS said that he would pass this requirement on. WJS also added that the optical test camera has arrived in Edinburgh.

6 Aug 2006: Impact of security and privacy in relation to the social, legal, educational and economic implications of pervasive computing.

29 Sep 2006: cut hair. a customer executes:. WAIT (guard); %test and set waiting under exclusion.

2 Feb 2006: The AIT3a tests are currently in progress. PSB was uncertain what the plans for the next few months were. ... He said that he would wait until the current batch of data has been processed and then test the algorithm on some real data (about end of January

10 Feb 2006: bit key.n" "n" " serpref -e -p 0x00000003 -k "0xf 0x1" -t wi -t BHatin" "n" " A typical test run during debugging. ... nn"); / I want interactive users not to miss this reminder, but I don't want it to appear in batch test runs.