Browse by Years
Number of items: 25.
Aickelin, Uwe and Dowsland, Kathryn (2000) 'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem'. Journal of Scheduling, 3 (3) . pp. 139-153.
Barrett, John W. and Crane, Louis (2000) A Lorentzian Signature Model for Quantum General Relativity. Class.Quant.Grav., 17 . pp. 3101-3118.
Aickelin, Uwe (2000) A New Genetic Algorithm for Set Covering Problems. In: Annual Operational Research Conference 42 (OR 42), Swansea, UK.
Pinfield, Stephen (2000) Being analog: creating tomorrow's libraries / Walt Crawford (Book review). Program, 34 (4). pp. 442-443.
Murphy, Thérèse and Whitty, Noel (2000) Crowning glory: public law, power and the monarchy. Social & Legal Studies, 9 (1). pp. 7-27. ISSN 0964-6639
Middleton, Hugh and Shaw, Ian (2000) Distinguishing Mental Illness in Primary Care. We Need to Separate Proper Syndromes from Generalised Distress. British Medical Journal, 320 . pp. 1420-1421.
Stockwell, Peter (2000) Futuretalk: one small step towards a Chronolinguistics. Nottingham Linguistic Circular, 15 . pp. 55-68.
Pinfield, Stephen (2000) Information seeking in the online age: principles and practice / Andrew Large, Lucy A. Tedd and R.J. Hartley (Book review). Program, 34 (1). pp. 128-129.
Stevenson, Alan and Dennis, Louise Abigail (2000) Integrating SVC and HOL with the PROSPER Toolkit. In: Theorem Proving in Higher Order Logics (TPHOLs 2000) Supplemental Proceedings, 2000, Oregon Graduate Institute, USA.
Hall, I.P. (2000) Interleukin-4 receptor alpha gene variants and allergic disease. Respiratory Research, 1 (1). pp. 6-8.
Behnke, Jerzy M. and Barnard, Christopher J. and Mason, N. and Harris, Philip D. and Sherif, Nour E. and Zalat, Samy and Gilbert, Francis (2000) Intestinal helminths of spiny mice (Acomys cahirinus dimidiatus) from St Katherine's Protectorate in the Sinai, Egypt. Journal of Helminthology, 74 . pp. 31-44. ISSN 0022-149X
Bayraktutan, Ulvi and Blayney, Lynda and Shah, Ajay (2000) Molecular Characterization and Localization of the NAD(P)H Oxidase Components gp91-phox and p22-phox in Endothelial Cells. Arteriosclerosis thrombosis and vascular biology, 20 . pp. 1903-1911.
Matthews, P. and Cox, Stephen M. (2000) Pattern formation with a conservation law. Nonlinearity, 13 . pp. 1293-1320.
Abu-Madi, Marwan A. and Behnke, Jerzy M. and Lewis, John W. and Gilbert, Francis (2000) Seasonal and site specific variation in the component community structure of intestinal helminths in Apodemus sylvaticus from three contrasting habitats in south-east England. Journal of Helminthology, 74 . pp. 7-16. ISSN 0022-149X
Derclaye, Estelle (2000) Software copyright protection: can Europe learn from American case law. Parts 1 and 2. European Intellectual Property Review, 22 (1, 2). 7-16 56. ISSN 0142-0461
Barrett, John W. (2000) State sum models for quantum gravity.
Burke, Edmund and MacCarthy, Bart L. and Petrovic, Sanja and Qu, Rong (2000) Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems. Knowledge-Based Systems, 13 (2-3). pp. 159-165.
Bartlett, Peter (2000) Structures of confinement in nineteenth-century asylums, using England and Ontario as a comparative study. International Journal of Law and Psychiatry, 23 (1). pp. 1-13. ISSN 0160-2527
Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania.
Stockwell, Peter (2000) The art of being alternative, with style, in context. QCA Papers in English .
Pavey, Paul and Probets, Steve and Brailsford, David (2000) The Development of an On-line Submission and Peer Review System. In: Electronic Publishing in the Third Millennium, 17-19 August 2000, Kaliningrad, Russia.
Dennis, Louise Abigail and Bundy, Alan and Green, Ian (2000) The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Annals of Mathematics and Artificial Intelligence, 29 (1-4). pp. 99-138.
Dennis, Louise Abigail and Collins, Graham and Norrish, Michael and Boulton, Richard and Slind, Konrad and Robinson, Graham and Gordon, Mike and Melham, Tom (2000) The PROSPER Toolkit. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000, Berlin.
Stockwell, Peter (2000) Towards a critical cognitive poetics. In: Discourses of War and Conflict. Potchefstroom University Press.
Barrett, John W. (2000) Unlinked Embedded Graphs.