Computing Science & Mathematics

See full division overview

Outputs related to Computing Science & Mathematics

Showing 2401 to 2406 of 2406

Book Chapter

Stochastic resonance and finite resolution in a network of leaky integrate-and-fire neurons

Mtetwa N, Smith L & Hussain A (2002) Stochastic resonance and finite resolution in a network of leaky integrate-and-fire neurons. In: Dorronsoro J (ed.) Artificial Neural Networks — ICANN 2002: International Conference Madrid, Spain, August 28–30, 2002 Proceedings. Lecture Notes in Computer Science, 2415. Berlin Heidelberg: Springer, pp. 117-122. http://link.springer.com/chapter/10.1007/3-540-46084-5_20#; https://doi.org/10.1007/3-540-46084-5_20

Conference Paper (published)

Setting the Mutation Rate: Scope and Limitations of the 1/L Heuristic

Ochoa G (2002) Setting the Mutation Rate: Scope and Limitations of the 1/L Heuristic. In: GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference (GECCO-2002), New York, NY, USA, 09.07.2002-13.07.2002. San Francisco, CA, USA: Morgan Kaufman, pp. 495-502. http://dl.acm.org/citation.cfm?id=683104

Article

Star complements in finite graphs: a survey

Rowlinson P (2002) Star complements in finite graphs: a survey. Rendiconti del Seminario Matematico di Messina Serie II, 8 (Supplemento), pp. 145-162. https://sites.google.com/site/seminariomatematicomessina/supplementootto

Conference Paper (unpublished)

Hybrid Applications over XML: Integrating the Procedural and Declarative Approaches

Manghi P, Simeoni F, Lievens D & Connor R (2002) Hybrid Applications over XML: Integrating the Procedural and Declarative Approaches. Fourth International Workshop on Web Information and Data Management (WIDM 2002), Maclean, VA, USA, 08.11.2002-08.11.2002. https://www.scopus.com/inward/record.uri?eid=2-s2.0-1542360040&partnerID=40&md5=6938b2799444297292ebc1ab1cf1da52

Conference Paper (published)

Using IIDs to estimate sound source direction

Smith L (2002) Using IIDs to estimate sound source direction. In: Hallam B, Floreano D, Hallam J, Hayes G & Meyer J (eds.) From animals to animats 7: Proceedings of the Seventh International Conference on Simulation of Adaptive Behavior. Seventh International Conference on Simulation of Adaptive Behavior, Edinburgh, UK, 05.08.2002-09.08.2002. Cambridge, MA, USA: MIT Press, pp. 60-61. http://mitpress.mit.edu/books/animals-animats-7

Conference Paper (published)

Protocol Techniques for Testing Radiotherapy Accelerators

Turner KJ & Bing Q (2002) Protocol Techniques for Testing Radiotherapy Accelerators. In: Vardi M & Peled DA (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002. Lecture Notes in Computer Science, Volume 2529. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer Verlag, pp. 81-96. https://doi.org/10.1007/3-540-36135-9_6

Conference Paper (published)

A fuzzy evolutionary approach with Taguchi parameter setting for the set covering problem

Li J & Kwan RSK (2002) A fuzzy evolutionary approach with Taguchi parameter setting for the set covering problem. In: Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02. 2002 World Congress on Computational Intelligence - WCCI'02, Honolulu, HI, USA, 12.05.2002-17.05.2002. Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/cec.2002.1004414

Article

Epidemiological consequences of a pathogen having both virulent and avirulent modes of transmission: the case of rabbit haemorrhagic disease virus

White P, Norman R & Hudson PJ (2002) Epidemiological consequences of a pathogen having both virulent and avirulent modes of transmission: the case of rabbit haemorrhagic disease virus. Epidemiology and Infection, 129 (3), pp. 665-677. http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=137505; https://doi.org/10.1017/S095026880200777X

Conference Paper (published)

Systematic component adaptation

Bracciali A, Brogi A & Canal C (2002) Systematic component adaptation. In: volume 66. Formal Methods and Component Interaction (ICALP 2002 Satellite Workshop), Málaga, Spain, 12.07.2002-13.07.2002. Elsevier, pp. 103-119. https://doi.org/10.1016/S1571-0661%2804%2980452-3

Conference Paper (published)

Dynamically adapting the behaviour of software components

Bracciali A, Brogi A & Canal C (2002) Dynamically adapting the behaviour of software components. In: Arbab F & Talcott C (eds.) Coordination Models and Languages. Lecture Notes in Computer Science, 2315. 5th International Conference, COORDINATION 2002, York, UK, 08.04.2002-11.04.2002. Berlin, Heidelberg: Springer, pp. 88-95. http://www.informatik.uni-trier.de/~ley/db/conf/coordination/; https://doi.org/10.1007/3-540-46000-4_10

Conference Paper (published)

Adapting components with mismatching behaviours

Bracciali A, Brogi A & Canal C (2002) Adapting components with mismatching behaviours. In: Bishop J (ed.) Component Deployment. Lecture Notes in Computer Science, 2370. IFIP/ACMWorking Conference, CD 2002, Berlin, Germany, 20.06.2002-21.06.2002. Berlin Heidelberg: Springer, pp. 185-199. http://swt.cs.tu-berlin.de/cd02/; https://doi.org/10.1007/3-540-45440-3_13

Conference Paper (published)

Security and Dynamic Compositions of Open Systems

Bracciali A, Brogi A, Ferrari G & Tuosto E (2002) Security and Dynamic Compositions of Open Systems. In: Arabnia H (ed.) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3. International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, Las Vegas, Nevada, USA, 24.06.2002-27.06.2002. Athens, GA: CSREA Press, pp. 1372-1377. http://www.informatik.uni-trier.de/~ley/db/conf/pdpta/pdpta2002-3.html

Conference Paper (published)

Bisimulation by Unification

Baldan P, Bracciali A & Bruni R (2002) Bisimulation by Unification. In: Kirchner H & Ringeissen C (eds.) Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, Volume 2422. 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, 09.09.2002-13.09.2002. Amsterdam: Springer, pp. 254-270. http://link.springer.com/chapter/10.1007/3-540-45719-4_18#; https://doi.org/10.1007/3-540-45719-4_18

Conference Paper (published)

Modelling SIP Services using CRESS

Turner KJ (2002) Modelling SIP Services using CRESS. In: Vardi MY & Peled DA (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science Volume 2529, volume 2529. Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer-Verlag, pp. 162-177. https://doi.org/10.1007/3-540-36135-9_11

Conference Paper (published)

Use of Logic to describe Enhanced Communications Services

Reiff-Marganiec S & Turner KJ (2002) Use of Logic to describe Enhanced Communications Services. In: Peled DA & Vardi MY (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 2002 Proceedings. Lecture Notes in Computer Science, 2529. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer-Verlag, pp. 130-145. http://www.springerlink.com; https://doi.org/10.1007/3-540-36135-9

Article

The maximal exceptional graphs

Cvetkovic D, Lepovic M, Rowlinson P, Simic SK & Cvetkovic D (2002) The maximal exceptional graphs. Journal of Combinatorial Theory Series B, 86 (2), pp. 347-363. https://doi.org/10.1006/jctb.2002.2132

Conference Paper (unpublished)

No Free Lunch, Program Induction and Combinatorial Problems

Woodward J & Neil JR (2002) No Free Lunch, Program Induction and Combinatorial Problems. The 2002 UK Workshop on Computational Intelligence (UKCI 2002), Birmingham, 02.09.2002-04.09.2002. http://www.cs.bham.ac.uk/~jxb/UKCI/program.shtml

Article

Parasite transmission: reconciling theory and reality

Fenton A, Fairbairn JP, Norman R & Hudson PJ (2002) Parasite transmission: reconciling theory and reality. Journal of Animal Ecology, 71 (5), pp. 893-905. http://onlinelibrary.wiley.com/doi/10.1046/j.1365-2656.2002.00656.x/abstract?systemMessage=Wiley+Online+Library+will+be+disrupted+on+9+June+from+10%3A00-12%3A00+BST+%2805%3A00-07%3A00+EDT%29+for+essential+maintenance; https://doi.org/10.1046/j.1365-2656.2002.00656.x

Article

Optimal application strategies for entomopathogenic nematodes: integrating theoretical and empirical approaches

Fenton A, Gwynn R, Gupta A, Norman R, Fairbairn JP & Hudson PJ (2002) Optimal application strategies for entomopathogenic nematodes: integrating theoretical and empirical approaches. Journal of Applied Ecology, 39 (3), pp. 481-492. http://onlinelibrary.wiley.com/doi/10.1046/j.1365-2664.2002.00727.x/abstract?systemMessage=Wiley+Online+Library+will+be+disrupted+on+9+June+from+10%3A00-12%3A00+BST+%2805%3A00-07%3A00+EDT%29+for+essential+maintenance; https://doi.org/10.1046/j.1365-2664.2002.00727.x

Conference Paper (published)

Systematic Testing of Radiotherapy Accelerators

Turner KJ & Bing Q (2002) Systematic Testing of Radiotherapy Accelerators. In: Ehrig H(, Krämer BJ & Ertas A (eds.) Proceedings of The Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT 2002). 6th Biennial World Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, California, 23.06.2002-28.06.2002. Society for Design and Process Science, pp. 33.1-33.8. http://www.sdpsnet.org

Conference Abstract

Phase-locked onset detectors for monaural sound grouping and binaural direction finding

Smith L (2002) Phase-locked onset detectors for monaural sound grouping and binaural direction finding. The 143rd Meeting of the Acoustical Society of America, Pittsburgh, PA, USA, 03/06/2002 - 07/06/2002. Journal of the Acoustical Society of America, 111 (5), p. 2467. http://scitation.aip.org/content/asa/journal/jasa/111/5/10.1121/1.4778527; https://doi.org/10.1121/1.4778527

Book Chapter

Visions for future research in wildlife epidemiology

Grenfell BT, Amos W, Arneberg P, Bjornstad ON, Greenman J, Harwood J, Lanfranchi P, McLean AR, Norman R, Read AF & Skorping A (2002) Visions for future research in wildlife epidemiology. In: Hudson P, Rizzoli A, Grenfell B, Heesterbeek H & Dobson A (eds.) The Ecology of Wildlife Diseases. Oxford: Oxford University Press, pp. 151-164. http://global.oup.com/academic/product/the-ecology-of-wildlife-diseases-9780198506195?cc=gb〈=en&tab=toc

Article

The maximal exceptional graphs with maximal degree less than 28

Cvetkovic D, Rowlinson P & Simic SK (2001) The maximal exceptional graphs with maximal degree less than 28. Bulletin, Classe des Sciences Mathematiques et Naturelles, Sciences Mathematiques, CXXII (26), pp. 115-131. http://www.emis.ams.org/journals/BSANU/26/7.html

Conference Paper (published)

Using depressing synapses for phase locked auditory onset detection

Smith L (2001) Using depressing synapses for phase locked auditory onset detection. In: Dorffner G, Bischof H & Hornik K (eds.) Artificial Neural Networks — ICANN 2001: International Conference Vienna, Austria, August 21–25, 2001 Proceedings. Lecture Notes in Computer Science, 2130. International Conference on Artificial Neural Networks — ICANN 2001, Vienna, Austria, 21.08.2001-25.08.2001. Berlin Heidelberg: Springer, pp. 1103-1108. http://link.springer.com/chapter/10.1007/3-540-44668-0_153#; https://doi.org/10.1007/3-540-44668-0_153

Conference Paper (published)

Location Estimation in Cellular Networks using Neural Networks

Ahmad WM, Hussain A & Shah SI (2001) Location Estimation in Cellular Networks using Neural Networks. In: Proceedings ISI'2001: International NAISO Congress Information Science Innovations. International NAISO Congress: Information Science Innovations (ISI'2001), Dubai, UAE, 17.03.2001-21.03.2001. NAISO, p. 1055. http://www.icsc-naiso.org/conferences/isi2001/

Conference Paper (published)

A new Recurrent Neural Network for Temporal Signal Processing

Hussain A & Soraghan JJ (2001) A new Recurrent Neural Network for Temporal Signal Processing. In: Proceedings ISI'2001: International NAISO Congress Information Science Innovations. International NAISO Congress: Information Science Innovations (ISI'2001), Dubai, UAE, 17.03.2001-21.03.2001. NAISO, p. 1050. http://www.icsc-naiso.org/conferences/isi2001/

Conference Paper (published)

A PVS Theory of Symbolic Transition Systems

Maharaj S (2001) A PVS Theory of Symbolic Transition Systems. In: Boulton R & Jackson P (eds.) Theorem Proving in Higher Order Logics, 2001, Supplemental Proceedings. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, 03.09.2001-06.09.2001. Edinburgh, Scotland: Division of Informatics, University of Edinburgh, pp. 255-266. http://www.inf.ed.ac.uk/publications/online/0046/

Edited Proceedings

IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard

Shankland C, Romijn J & Maharaj S (eds.) (2001) IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, Stirling, Scotland, 13.03.2001-13.03.2001. Stirling, Scotland: University of Stirling,Dept of Computing Science & Maths.

Conference Paper (published)

Feature Interaction - a hybrid approach

Magill E (2001) Feature Interaction - a hybrid approach. In: Gray T (ed.) Proceedings MICON 2001 conference. MICON 2001 conference, August 2001, Ottawa, Canada.

Conference Paper (published)

Handling incompatibilities between services deployed on IP-based networks

Kolberg M & Magill E (2001) Handling incompatibilities between services deployed on IP-based networks. In: 2001 IEEE Intelligent Network Workshop. 2001 IEEE Intelligent Network Workshop, Boston, MA, USA, 06.05.2001-09.05.2001. Piscataway, NJ: IEEE, pp. 360-370. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=915332&abstractAccess=no&userType=inst; https://doi.org/10.1109/INW.2001.915332

Conference Paper (published)

A new neural network and pole placement based adaptive composite controller

Hussain A, Zayed AS & Smith L (2001) A new neural network and pole placement based adaptive composite controller. In: IEEE International Multi Topic Conference, 2001. IEEE INMIC 2001: Technology for the 21st Century, Proceedings. IEEE International: Multi Topic Conference, 2001. IEEE INMIC 2001: Technology for the 21st Century, Lahore, Pakistan, 28.12.2001-30.12.2001. Piscataway, NJ, USA: IEEE, pp. 267-271. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=995349&abstractAccess=no&userType=; https://doi.org/10.1109/INMIC.2001.995349

Conference Paper (published)

A modified generalised minimum-variance stochastic self-tuning controller with pole-zero placement

Zayed AS, Hussain A & Smith L (2001) A modified generalised minimum-variance stochastic self-tuning controller with pole-zero placement. In: IEEE International Multi Topic Conference, 2001. IEEE INMIC 2001: Technology for the 21st Century, Proceedings. IEEE International Multi Topic Conference, 2001. IEEE INMIC 2001: Technology for the 21st Century, Lahore, Pakistan, 28.12.2001-30.12.2001. Piscataway, NJ, USA: IEEE, pp. 252-256. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=995346&abstractAccess=no&userType=inst; https://doi.org/10.1109/INMIC.2001.995346

Conference Paper (published)

A multicriteria approach to examination timetabling

Burke E, Bykov Y & Petrovic S (2001) A multicriteria approach to examination timetabling. In: Burke E & Erben W (eds.) Practice and Theory of Automated Timetabling III: Third International Conference, PATAT 2000 Konstanz, Germany, August 16–18, 2000 Selected Papers. Lecture Notes in Computer Science, 2079. Third International Conference, PATAT 2000, Konstanz, Germany, 16.08.2000-18.08.2000. Berlin Heidelberg: Springer, pp. 118-131. http://link.springer.com/chapter/10.1007%2F3-540-44629-X_8; https://doi.org/10.1007/3-540-44629-X_8

Conference Paper (published)

Formally-Based Design Evaluation (extended version)

Turner KJ & He J (2001) Formally-Based Design Evaluation (extended version). In: Margaria T & Melham TF (eds.) Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science, volume 2144. CHARME 2001 - 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Livingston, Scotland, 04.09.2001-07.09.2001. Berlin: Springer Verlag, pp. 104-109. https://doi.org/10.1007/3-540-44798-9

Conference Paper (published)

Specifying Hardware Timing with ET-LOTOS (extended version)

He J & Turner KJ (2001) Specifying Hardware Timing with ET-LOTOS (extended version). In: Margaria T & Melham TF (eds.) Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science, Volume 2144. CHARME 2001 - 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Livingston, Scotland, 04.09.2001-07.09.2001. Berlin: Springer Verlag, pp. 161-166. https://doi.org/10.1007/3-540-44798-9_14

Conference Paper (published)

Security issues in component-based design

Bracciali A, Brogi A, Ferrari G & Tuosto E (2001) Security issues in component-based design. In: volume 54. ConCoord: International Workshop on Concurrency and Coordination(Workshop associated to the 13th Lipari School), Lipari Island, Italy, 06.07.2001-08.07.2001. Elsevier, pp. 49-57. https://doi.org/10.1016/S1571-0661%2804%2900234-8

Article

The classification of S²xR space groups

Farkas JZ (2001) The classification of S²xR space groups. Beitrage zur Algebra und Geometrie / Contributions to Algebra and Geometry, 42 (1), pp. 235-250. http://www.emis.de/journals/BAG/vol.42/no.1/15.html

Conference Paper (published)

Hybrid population-based metaheuristic approaches for the space allocation problem

Burke E, Cowling P & Landa Silva JD (2001) Hybrid population-based metaheuristic approaches for the space allocation problem. In: Proceedings of the IEEE Conference on Evolutionary Computation, ICEC. Vol. 1. Congress on Evolutionary Computation 2001, Seoul, Korea, 27.05.2001-30.05.2001. Red Hook, NJ, USA: IEEE, pp. 232-239. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=934394&abstractAccess=no&userType=inst; https://doi.org/10.1109/CEC.2001.934394

Conference Paper (published)

Fitness evaluation for nurse scheduling problems

Burke E, De Causmaecker P, Petrovic S & Vanden Berghe G (2001) Fitness evaluation for nurse scheduling problems. In: Proceedings of the 2001 IEEE Conference on Evolutionary Computation, ICEC. Vol. 2. Piscataway, NJ, USA: IEEE, pp. 1139-1146. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=934319&abstractAccess=no&userType=inst; https://doi.org/10.1109/CEC.2001.934319

Conference Paper (published)

Coordinating Interaction Patterns

Bracciali A, Brogi A & Turini F (2001) Coordinating Interaction Patterns. In: SAC '01 Proceedings of the 2001 ACM symposium on Applied computing. SAC 2001: 16th ACM Symposium on Applied Computing, Las Vegas, USA, 11.03.2001-14.03.2001. New York: ACM, pp. 159-165. http://dl.acm.org/citation.cfm?id=372305

Conference Paper (published)

Interaction Patterns for Open Systems

Bracciali A, Brogi A & Turini F (2001) Interaction Patterns for Open Systems. In: Roja F, Monge J & Sanchez Y (eds.) IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software. IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 2001, San Jose, Costa Rica, pp. 398-407.

Conference Paper (published)

Implementing a modal logic over data and processes using XTL

Bryans J & Shankland C (2001) Implementing a modal logic over data and processes using XTL. In: Kim M, Chin B, Kang D & Lee D (eds.) Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems. IFIP Advances in Information and Communication Technology, 69.
Cheju Island, Korea, 28.08.2001-31.08.2001. New York, Boston, Dordrecht, London, Moscow: Kluwer Academic Press, pp. 201-216. http://link.springer.com/chapter/10.1007/0-306-47003-9_13

Conference Paper (published)

Similarity and diffeomorphism classification of S2 x R manifolds

Farkas JZ & Molnar E (2001) Similarity and diffeomorphism classification of S2 x R manifolds. In: Kozma L, Nagy P & Tamassy L (eds.) Steps in Differential Geometry: Proceedings of the Colloquium on Differential Geometry, July 25-30, 2000, Debrecen, Hungary. Colloquium on Differential Geometry, Debrecen, Hungary, 25.07.2000-30.07.2000. Debrecen, Hungary: Institute of Mathematics and Informatics, University of Debrecen, pp. 105-118. http://www.emis.de/proceedings/CDGD2000/contents.html

Conference Paper (published)

An Adequate Logic for Full LOTOS

Calder M, Maharaj S & Shankland C (2001) An Adequate Logic for Full LOTOS. In: Oliveira J & Zave P (eds.) FME 2001: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science, 2021. International Symposium of Formal Methods Europe, Berlin, Germany, 12.03.2001-16.03.2001. Berlin Heidelberg: Springer, pp. 384-395. http://link.springer.com/chapter/10.1007/3-540-45251-6_21

Conference Paper (published)

A symbolic semantics and bisimulation for Full LOTOS

Calder M & Shankland C (2001) A symbolic semantics and bisimulation for Full LOTOS. In: Kim M, Chin B, Kang S & Lee D (eds.) Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems. IFIP Advances in Information and Communication Technology, Vol. 69.
Cheju Island, Korea, 28.08.2001-31.08.2001. New York, Boston, Dordrecht, London, Moscow: Kluwer Academic Press, pp. 185-200. http://link.springer.com/chapter/10.1007/0-306-47003-9_12

Article

Disease persistence and apparent competition in a three-host community: an empirical and analytical study of large-scale, wild populations

Gilbert L, Norman R, Laurenson MK, Reid HW & Hudson PJ (2001) Disease persistence and apparent competition in a three-host community: an empirical and analytical study of large-scale, wild populations. Journal of Animal Ecology, 70 (6), pp. 1053-1061. http://onlinelibrary.wiley.com/doi/10.1046/j.0021-8790.2001.00558.x/abstract;jsessionid=D7643F6FCB4FBC22CA5796E9330A4D76.d01t02?systemMessage=Wiley+Online+Library+will+be+disrupted+on+9+June+from+10%3A00-12%3A00+BST+%2805%3A00-07%3A00+EDT%29+for+essential+; https://doi.org/10.1046/j.0021-8790.2001.00558.x

Conference Paper (published)

Modular Feature Specification

Turner KJ (2001) Modular Feature Specification. In: Gray T (ed.) Proceedings of MICON 2001. MICON 2001, Ontario, Canada. Kanata, Canada: Mitel Networks Corporation.

Conference Paper (published)

The N-Body Problem in LOTOS

Turner KJ (2001) The N-Body Problem in LOTOS. In: volume 43. FM-ELSEWHERE (Formal Methods Elsewhere) - A Satellite Workshop of FORTE-PSTV-2000, Pisa, Italy, 10.10.2000. Elsevier, pp. 113-135. https://doi.org/10.1016/S1571-0661%2804%2980897-1

Conference Paper (published)

Implementing the modal logic FULL using Ergo

Robinson P & Shankland C (2001) Implementing the modal logic FULL using Ergo. In: Nowak D (ed.) Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01). Oxford University Computing Laboratory technical report, PRG-RR-01-07. AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, 19.04.2001-21.04.2001. Oxford: Oxford University. http://www.cs.ox.ac.uk/techreports/oucl/rr-01-07.html

Conference Paper (published)

Using Rewriting Logic to implement the modal logic FULL

Bryans J, Verdejo A & Shankland C (2001) Using Rewriting Logic to implement the modal logic FULL. In: Nowak D (ed.) Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01). Oxford University Computing Laboratory technical report, PRG-RR-01-07. AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, 19.04.2001-21.04.2001. Oxford: Oxford University.

Technical Report

Symbolic Bisimulation for Full LOTOS

Calder M & Shankland C (2001) Symbolic Bisimulation for Full LOTOS. University of Glasgow Technical Report, TR-2001-77. University of Glasgow.

Conference Paper (published)

But What if I Don't Want To Wait Forever?

Fidge C & Shankland C (2001) But What if I Don't Want To Wait Forever?. In: Maharaj S, Romijn J & Shankland C (eds.) IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard. International Workshop on Applications of Formal Methods to IEEE Standard 1394, Stirling, 13.03.2001-13.03.2001. Stirling: University of Stirling, pp. 15-18. http://www.cs.stir.ac.uk/firewire-workshop/prog.html

Conference Paper (published)

Formally-Based Testing of Radiotherapy Accelerators

Turner KJ (2001) Formally-Based Testing of Radiotherapy Accelerators. In: Procter RN & Rouncefield M (eds.) Dependability in Healthcare Informatics: Proceedings of the First Dependability IRC Workshop, Edinburgh, United Kingdom, March 22-23, 2001. The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop, Edinburgh, Scotland, 22.03.2001-23.03.2001. Manchester: Lancaster University, pp. 97-99. http://dirc.cs.ncl.ac.uk/publications/proceedings/index.php

Conference Paper (published)

Concurrent Specification and Timing Analysis of Digital Hardware using SDL (extended version)

Turner KJ, Argul-Marin FJ & Laing SD (2000) Concurrent Specification and Timing Analysis of Digital Hardware using SDL (extended version). In: Rolim J (ed.) Parallel and Distributed Processing. Lecture Notes in Computer Science, Volume 1800. IPDPS 2000 - International Parallel & Distributed Processing Symposium, Cancun, Mexico, 01.05.2000-05.05.2000. Berlin: Springer Verlag, pp. 1001-1008. https://doi.org/10.1007/3-540-45591-4

Conference Paper (published)

Verifying and Testing Asynchronous Circuits using LOTOS (extended version)

He J & Turner KJ (2000) Verifying and Testing Asynchronous Circuits using LOTOS (extended version). In: Bolognesi T & Latella D (eds.) Formal Methods for Distributed System Development. IFIP International Federation for Information Processing, vol 55. FORTE/PSTV 2000 - IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing, and Verification (PSTV XX), Pisa, Italy, 10.10.2000-13.10.2000. Amsterdam: Springer Verlag, pp. 267-283. http://www.springer.com/computer/artificial/book/978-0-7923-7968-3?detailsPage=toc

Conference Paper (published)

Current directions in hyper-programming

Morrison R, Connor RCH, Cutts QI, Dearle A, Farkas A, Kirby GNC, McGettrick R & Zirintsis E (2000) Current directions in hyper-programming. In: Bjøner D, Broy M & Zamulin A (eds.) Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings. Lecture Notes in Computer Science, 1755. Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI 1999, Akademgorodok, Russia, 06.07.1999-09.07.1999. Berlin Heidelberg: Springer Verlag, pp. 316-340. https://doi.org/10.1007/3-540-46562-6_28

Conference Paper (unpublished)

Diffraction of electromagnetic waves from the impedance with different perturbations

Kirpichnikova NY, Philippov VB & Kirpichnikova A (2000) Diffraction of electromagnetic waves from the impedance with different perturbations. International Seminar Day on Diffraction Millennium Workshop (IEEE Cat. No.00EX450), Saint-Petersburg, Russia, 29.05.2000-01.06.2000. https://ieeexplore.ieee.org/document/902356/; https://doi.org/10.1109/dd.2000.902356

Conference Paper (unpublished)

Diffraction by a line of jump of curvature (a special case)

Kirpichnikova A & Philippov VB (2000) Diffraction by a line of jump of curvature (a special case). International Seminar Day on Diffraction Millennium Workshop (IEEE Cat. No.00EX450), Saint-Petersburg, Russia, 29.05.2000-01.06.2000. https://ieeexplore.ieee.org/document/902357/; https://doi.org/10.1109/dd.2000.902357

Conference Paper (published)

Spike I and Spike II: Experiences with analogue VLSI chips

Smith L, Eriksson BE, Glover MA & Hamilton A (2000) Spike I and Spike II: Experiences with analogue VLSI chips. In: Bothe H & Rojas R (eds.) Proceedings of the 2nd ICSC Symposium on Neural Computation, NC2000, Berlin, May 23-26 2000. 2nd ICSC Symposium on Neural Computation, NC2000, Berlin, Germany, 23.05.2000-26.05.2000. Canada: ICSC Academic Press, pp. 888-894.

Conference Paper (published)

Consensus Sequence Plots and Error Thresholds: Tools for Visualising the Structure of Fitness Landscapes

Ochoa G (2000) Consensus Sequence Plots and Error Thresholds: Tools for Visualising the Structure of Fitness Landscapes. In: Schoenauer M, Deb K K, Rudolph G, Yao X, Lutton E, Merelo J & Schwefel H (eds.) Parallel Problem Solving from Nature PPSN VI: 6th International Conference Paris, France, September 18–20, 2000 Proceedings. Lecture Notes in Computer Science, 1917. 6th International Conference on Parallel Problem Solving from Nature PPSN VI - 2000, Paris, France, 18.09.2000-20.09.2000. Berlin Heidelberg: Springer, pp. 129-138. http://link.springer.com/chapter/10.1007/3-540-45356-3_13#; https://doi.org/10.1007/3-540-45356-3_13

Conference Paper (published)

Optimal Mutation Rates and Selection Pressure in Genetic Algorithms

Ochoa G, Harvey I & Buxton H (2000) Optimal Mutation Rates and Selection Pressure in Genetic Algorithms. In: Genetic and Evolutionary Computation Conference (GECCO-2000). Genetic and Evolutionary Computation Conference (GECCO-2000), Las Vegas, NV, USA, 08.07.2000-12.07.2000. San Francisco, CA, USA: Morgan Kaufman, pp. 315-322.