Conference Paper (published)
Hybrid solutions to the feature interaction problem
Calder M, Kolberg M, Magill E, Marples D & Reiff-Marganiec S (2003) Hybrid solutions to the feature interaction problem. In: Amyot D & Logrippo L (eds.) Feature Interactions in Telecommunications and Software Systems VII. Feature Interaction in Telecommunications and Software Systems VII, Ottawa, Canada, 11.06.2003-13.06.2003. Amsterdam: IOS Press, pp. 295-312. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-vii/
Conference Paper (published)
Modularity in Genetic Programming
Woodward J (2003) Modularity in Genetic Programming. In: Ryan C, Soule T, Keijzer M, Tsang E, Poli R & Costa E (eds.) Genetic Programming: 6th European Conference, EuroGP 2003 Essex, UK, April 14–16, 2003 Proceedings. Lecture Notes in Computer Science, 2610. 6th European Conference, EuroGP 2003, Essex, UK, 14.04.2003-16.04.2003. Berlin Heidelberg: Springer, pp. 254-263. http://link.springer.com/chapter/10.1007/3-540-36599-0_23#
Conference Paper (published)
No free lunch, program induction and combinatorial problems
Woodward J & Neil JR (2003) No free lunch, program induction and combinatorial problems. In: Ryan C, Soule T, Keijzer M, Tsang E, Poli R & Costa E (eds.) Genetic Programming: 6th European Conference, EuroGP 2003 Essex, UK, April 14–16, 2003 Proceedings. Lecture Notes in Computer Science, 2610. 6th European Conference, EuroGP 2003, Essex, UK, 14.04.2003-16.04.2003. Berlin Heidelberg: Springer, pp. 475-484. http://link.springer.com/chapter/10.1007/3-540-36599-0_45#; https://doi.org/10.1007/3-540-36599-0_45
Conference Paper (published)
GA or GP? That is not the question
Woodward J (2003) GA or GP? That is not the question. In: CEC '03. The 2003 Congress on Evolutionary Computation, 2003, Volume 2. CEC '03. The 2003 Congress on Evolutionary Computation, 2003, Canberra, Australia, 08.12.2003-12.12.2003. Piscataway, NJ: IEEE, pp. 1056-1063. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1299785&abstractAccess=no&userType=inst
Conference Paper (published)
Evolving Turing Complete Representations
Woodward J (2003) Evolving Turing Complete Representations. In: CEC '03. The 2003 Congress on Evolutionary Computation, 2003, Volume 2. CEC '03. The 2003 Congress on Evolutionary Computation, 2003, Canberra, Australia, 08.12.2003-12.12.2003. Piscataway, NJ: IEEE, pp. 830-837. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1299753&abstractAccess=no&userType=inst; https://doi.org/10.1109/CEC.2003.1299753
Conference Paper (published)
Enhancing timetable solutions with local search methods
Burke E & Newall JP (2003) Enhancing timetable solutions with local search methods. In: Burke E & De Causmaecker P (eds.) Practice and Theory of Automated Timetabling IV: 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002. Selected Revised Papers. Lecture Notes in Computer Science, 2740. 4th International Conference, PATAT 2002: Practice and Theory of Automated Timetabling IV, Gent, Belgium, 21.08.2002-23.08.2002. Berlin Heidelberg: Springer, pp. 195-206. http://link.springer.com/chapter/10.1007%2F978-3-540-45157-0_13; https://doi.org/10.1007/978-3-540-45157-0_13
Article
A Tabu-Search Hyperheuristic for Timetabling and Rostering
Burke E, Kendall G & Soubeiga E (2003) A Tabu-Search Hyperheuristic for Timetabling and Rostering. Journal of Heuristics, 9 (6), pp. 451-470. https://doi.org/10.1023/B%3AHEUR.0000012446.94732.b6
Conference Paper (published)
Knowledge discovery in a hyper-heuristic for course timetabling using case-based reasoning
Burke E, MacCarthy BL, Petrovic S & Qu R (2003) Knowledge discovery in a hyper-heuristic for course timetabling using case-based reasoning. In: Burke E & De Causmaecker P (eds.) Practice and Theory of Automated Timetabling IV: 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002. Selected Revised Papers. Lecture Notes in Computer Science, 2740. 4th International Conference, PATAT 2002: Practice and Theory of Automated Timetabling IV, Gent, Belgium, 21.08.2002-23.08.2002. Berlin Heidelberg: Springer, pp. 276-287. http://link.springer.com/chapter/10.1007%2F978-3-540-45157-0_18; https://doi.org/10.1007/978-3-540-45157-0_18
Conference Paper (published)
Combating infinite state using ergo
Robinson P & Shankland C (2003) Combating infinite state using ergo. In: Konig H, Heiner M & Wolisz A (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2003. Lecture Notes in Computer Science, 2767.
Berlin, Germany, 29.09.2003-02.10.2003. Berlin Heidelberg: Springer, pp. 144-159. http://link.springer.com/chapter/10.1007/978-3-540-39979-7_10; https://doi.org/10.1007/978-3-540-39979-7_10
Article
On the asymptotic behaviour of the non-autonomous Gurtin-MacCamy equation
Farkas JZ (2003) On the asymptotic behaviour of the non-autonomous Gurtin-MacCamy equation. Annales Universitatis Scientiarum Budapestinensis de Rolando Eo?tvo?s Nominatae. Sectio Mathematica, 46, pp. 111-120. http://www.cs.elte.hu/~annalesm/vol46trt.pdf
Book Chapter
Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease
Norman R & Shankland C (2003) Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Moreno-Díaz R & Pichler F (eds.) Computer Aided Systems Theory - EUROCAST 2003
9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers. Lecture Notes in Computer Science, 2809. Berlin and Heidelberg: Springer, pp. 404-414. http://www.springerlink.com/content/qe3bvr3gndrv4etd/; https://doi.org/10.1007/978-3-540-45210-2_37
Conference Paper (published)
A Bayesian optimization algorithm for the nurse scheduling problem
Li J & Aickelin U (2003) A Bayesian optimization algorithm for the nurse scheduling problem. In: The 2003 Congress on Evolutionary Computation, 2003. CEC '03. The 2003 Congress on Evolutionary Computation, 2003. CEC '03., Canberra, Australia, 08.12.2003-12.12.2003. Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/cec.2003.1299938
Article
Diffraction of the Electromagnetic Wave on a Small Obstacle of Elliptic Form in a Layer
Philippov VB, Kirpichnikova NY & Kirpichnikova A (2003) Diffraction of the Electromagnetic Wave on a Small Obstacle of Elliptic Form in a Layer. Journal of Mathematical Sciences, 117 (2), pp. 4028-4033. https://doi.org/10.1023/a%3A1024687313090
Conference Paper (published)
Architectural support for global smart spaces
Dearle A, Kirby G, Morrison R, McCarthy A, Mullen K, Yang Y, Connor R, Welen P & Wilson A (2003) Architectural support for global smart spaces. In: Chen M, Chrysanthis P, Sloman M & Zaslavsky A (eds.) Mobile Data Management. MDM 2003. Lecture Notes in Computer Science, 2574. International Conference on Mobile Data Management: MDM 2003, Melbourne, 21.01.2003-24.01.2003. Berlin Heidelberg: Springer, pp. 153-164. https://doi.org/10.1007/3-540-36389-0_11
Conference Paper (published)
Representing New Voice Services and Their Features
Turner KJ (2003) Representing New Voice Services and Their Features. In: Amyot D & Logrippo L (eds.) Feature Interactions in Telecommunications and Software Systems VII. FIW '03 - Seventh International Workshop on Feature Interactions in Telecommunication and Software Systems, Ottawa, Canada, 11.06.2003-13.06.2003. Amsterdam, The Netherlands: IOS Press, pp. 123-140. http://www.iospress.nl/loadtop/load.php?isbn=9781586038458
Conference Paper (published)
Specifying and Realising Interactive Voice Services
Turner KJ (2003) Specifying and Realising Interactive Voice Services. In: Koenig H, Heiner M & Wolisz A (eds.) Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September/October 2, 2003 Proceedings. Lecture Notes in Computer Science 2767, 2767. FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003, Berlin, Germany, 29.09.2003-02.10.2003. Berlin: Springer-Verlag, pp. 15-30. http://www.springerlink.com; https://doi.org/10.1007/11965
Article
The population dynamical implications of covert infections in host-microparasite interactions
Boots M, Greenman J, Ross D, Norman R, Hails RS & Sait S (2003) The population dynamical implications of covert infections in host-microparasite interactions. Journal of Animal Ecology, 72 (6), pp. 1064-1072. http://onlinelibrary.wiley.com/doi/10.1046/j.1365-2656.2003.00777.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.2003.00777.x
Article
Compatibility issues between services supporting networked appliances
Kolberg M, Magill E & Wilson M (2003) Compatibility issues between services supporting networked appliances. IEEE Communications Magazine, 41 (11), pp. 136-147. https://doi.org/10.1109/MCOM.2003.1244934
Article
Thresholds for disease persistence in models for tick-borne infections including non-viraemic transmission, extended feeding and tick aggregation
Rosa R, Pugliese A, Norman R & Hudson PJ (2003) Thresholds for disease persistence in models for tick-borne infections including non-viraemic transmission, extended feeding and tick aggregation. Journal of Theoretical Biology, 224 (3), pp. 359-376. http://www.sciencedirect.com/science/article/pii/S0022519303001735; https://doi.org/10.1016/S0022-5193%2803%2900173-5
Presentation / Talk
Turing Complete Representations
Woodward J (2003) Turing Complete Representations. The 2003 UK Workshop on Computational Intelligence (UKCI'03), Bristol, 01.09.2003-03.09.2003.
Article
Quenched disorder and long-tail distributions
Kleczkowski A & Gora PF (2003) Quenched disorder and long-tail distributions. Physica A: Statistical Mechanics and its Applications, 327 (3-4), pp. 378-398. https://doi.org/10.1016/S0378-4371%2803%2900277-2
Book Chapter
Formation of dendritic branching patterns
van Pelt J, Graham B & Uylings HBM (2003) Formation of dendritic branching patterns. In: van Ooyen A (ed.) Modeling Neuronal Development. Developmental Cognitive Neuroscience. Cambridge, MA: MIT Press, pp. 75-94. http://mitpress.mit.edu/books/modeling-neural-development
Conference Paper (published)
Formalising Graphical Service Descriptions using SDL
Turner KJ (2003) Formalising Graphical Service Descriptions using SDL. In: Reed R & Reed J (eds.) SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany 2003, Proceedings. Lecture Notes in Computer Science 2708, volume 2708. 11th International SDL Forum, Stuttgart, 01.07.2003-04.07.2003. Berlin: Springer-Verlag, pp. 183-202. http://www.springerlink.com; https://doi.org/10.1007/3-540-45075-0_11
Conference Paper (published)
A Policy Architecture for Enhancing and Controlling Features
Reiff-Marganiec S & Turner KJ (2003) A Policy Architecture for Enhancing and Controlling Features. In: Amyot D & Logrippo L (eds.) Feature Interactions in Telecommunications and Software Systems VII. Seventh International Workshop on Feature Interactions, Ottawa, Canada, 11.06.2003-13.06.2003. Amsterdam, The Netherlands: IOS Press, pp. 239-246. http://www.iospress.nl/loadtop/load.php?isbn=9781586033484
Article
Distinguishing between presynaptic and postsynaptic mechanisms of short-term depression during action potential trains
Wong AYC, Graham B, Billups B & Forsythe ID (2003) Distinguishing between presynaptic and postsynaptic mechanisms of short-term depression during action potential trains. Journal of Neuroscience, 23 (12), pp. 4868-4877. http://www.jneurosci.org/content/23/12/4868.short
Article
A fuzzy genetic algorithm for driver scheduling
Li J & Kwan RSK (2003) A fuzzy genetic algorithm for driver scheduling. European Journal of Operational Research, 147 (2), pp. 334-344. https://doi.org/10.1016/s0377-2217%2802%2900564-7
Article
On the multiplicities of graph eigenvalues
Bell FK & Rowlinson P (2003) On the multiplicities of graph eigenvalues. Bulletin of the London Mathematical Society, 35 (3), pp. 401-408. https://doi.org/10.1112/S0024609303002030
Article
On the emergence of highly variable distributions in the autonomous system topology
Fayed M, Krapivsky P, Byers JW, Crovella M, Finkel D & Redner S (2003) On the emergence of highly variable distributions in the autonomous system topology. Computer Communication Review, 33 (2), pp. 41-49. https://doi.org/10.1145/956981.956986
Other
Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing
Cooke J (Editor), Maharaj S (Editor), Romijn J (Editor) & Shankland C (Editor) (2003) Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing. Formal Aspects of Computing, 14 (3). http://link.springer.com/journal/165/14/3
Article
IEEE 1394 Tree Identify Protocol: Introduction to the case study
Maharaj S, Romijn J & Shankland C (2003) IEEE 1394 Tree Identify Protocol: Introduction to the case study. Formal Aspects of Computing, 14 (3), pp. 200-214. https://doi.org/10.1007/s001650300001
Conference Abstract
Biologically inspired robust onset detection
Smith L (2003) Biologically inspired robust onset detection. The 145th Meeting of the Acoustical Society of America, Nashville, TN, USA, 28/04/2003 - 02/05/2003. Journal of the Acoustical Society of America, 113 (3), p. 2198. http://scitation.aip.org/content/asa/journal/jasa/113/4/10.1121/1.4780176; https://doi.org/10.1121/1.4780176
Article
But what if I don't want to wait forever?
Fidge C & Shankland C (2003) But what if I don't want to wait forever?. Formal Aspects of Computing, 14 (3), pp. 281-294. https://doi.org/10.1007/s001650300006
Presentation / Talk
Neuron/Electronic Interfacing
Smith L (2003) Neuron/Electronic Interfacing. Seminar at Bioengineering Center, Georgia Institute of Technology, Atlanta, GA, USA, 23.04.2003-23.04.2003.
Article
Identifying disease reservoirs in complex systems: mountain hares as reservoirs of ticks and louping-ill virus, pathogens of red grouse
Laurenson MK, Norman R, Gilbert L, Reid HW & Hudson PJ (2003) Identifying disease reservoirs in complex systems: mountain hares as reservoirs of ticks and louping-ill virus, pathogens of red grouse. Journal of Animal Ecology, 72 (1), pp. 177-185. http://onlinelibrary.wiley.com/doi/10.1046/j.1365-2656.2003.00688.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.2003.00688.x
Article
Language bindings to XML
Simeoni F, Lievens D, Connor R & Manghi P (2003) Language bindings to XML. IEEE Internet Computing, 7 (1), pp. 19-27. https://doi.org/10.1109/MIC.2003.1167335
Technical Report
On the Size Distribution of Autonomous Systems
Fayed M, Krapivsky P, Byers JW, Crovella M, Finkel D & Redner S (2003) On the Size Distribution of Autonomous Systems. BUCS-TR-2003-001. Boston University. http://open.bu.edu/xmlui/handle/2144/1497
Article
Feature interaction: a critical review and considered forecast
Calder M, Kolberg M, Magill E & Reiff-Marganiec S (2003) Feature interaction: a critical review and considered forecast. Computer Networks, 41 (1), pp. 115-141. https://doi.org/10.1016/S1389-1286%2802%2900352-3
Conference Paper (published)
Stochastic Resonance and finite resolutions in a leaky integrate-and-fire neuron
Mtetwa N, Smith L & Hussain A (2002) Stochastic Resonance and finite resolutions in a leaky integrate-and-fire neuron. In: ESANN'2002 proceedings - European Symposium on Artificial Neural Networks. ESANN'2002: European Symposium on Artificial Neural Networks, Bruges, Belgium, 24.04.2002-26.04.2002. Louvain: Catholic University of Louvain.
Conference Paper (published)
A new non-linear self-tuning controller incorporating neural networks
Zayed AS, Hussain A & Smith L (2002) A new non-linear self-tuning controller incorporating neural networks. In: EIS'2002: Third International NAISO Symposium on engineering of intelligent systems. Third International NAISO Symposium on engineering of intelligent systems, Malaga, Spain, 24.09.2002-27.09.2002. NAISO, p. 107. http://www.icsc-naiso.org/conferences/eis2002/
Conference Paper (published)
Adaptive control of non-linear system using a new pole-zero placement generalised minimum-variance technique
Zayed AS, Hussain A & Smith L (2002) Adaptive control of non-linear system using a new pole-zero placement generalised minimum-variance technique. In: EIS'2002: Third International NAISO Symposium on engineering of intelligent systems. Third International NAISO Symposium on engineering of intelligent systems, Malaga, Spain, 24.09.2002-27.09.2002. NAISO, p. 103. http://www.icsc-naiso.org/conferences/eis2002/
Article
Nonlinear Speech Processing: Overview & Applications
Faundez-Zanuy M, McLaughlin S, Esposito A, Hussain A, Schoentgen J, Kubin G, Kleijn WB & Maragos P (2002) Nonlinear Speech Processing: Overview & Applications. Control and Intelligent Systems, 30 (1), pp. 1-10.
Article
Higher Order Statistics based non-linear speech analysis
Soraghan JJ, Hussain A, Alkulabi A & Durrani T (2002) Higher Order Statistics based non-linear speech analysis. Control and Intelligent Systems, 30 (1), pp. 11-18.
Article
Non-linear Speech Processing Techniques & Applications (Part II)
Hussain A (2002) Non-linear Speech Processing Techniques & Applications (Part II). Control and Intelligent Systems, 30 (2), pp. 1-2.
Article
Non-linear Speech Processing Techniques & Applications (Part I)
Hussain A (2002) Non-linear Speech Processing Techniques & Applications (Part I). Control and Intelligent Systems, 30 (1), pp. 1-2.
Conference Paper (published)
Service Interaction in Home Networks: A Resource Centric Approach
Wilson M & Magill E (2002) Service Interaction in Home Networks: A Resource Centric Approach. In: Proceedings of 3rd Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking & Broadcasting. 3rd Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking & Broadcasting, June 2002, Liverpool, 17.06.2002-16.08.2002. Liverpool: Liverpool John Moores University.
Book Chapter
Theory and Practice of Enhancing a Legacy Software System
Calder M, Magill E, Reiff-Marganiec S & Thayananthan V (2002) Theory and Practice of Enhancing a Legacy Software System. In: Henderson P (ed.) Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme. London: Springer, pp. 120-137. http://link.springer.com/chapter/10.1007/978-1-4471-0135-2_8
Conference Paper (published)
Feature interactions in services for internet personal appliances
Kolberg M, Magill E, Marples D & Tsang S (2002) Feature interactions in services for internet personal appliances. In: 2002 IEEE International Conference on Communications, ICC 2002, volume 4. 2002 IEEE International Conference on Communications. ICC 2002, New York, NY, 28.04.2002-02.05.2002. Piscataway, NJ: IEEE, pp. 2613-2618. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=997315&abstractAccess=no&userType=inst
Conference Paper (published)
Towards a Formalization of Viewpoints Testing
Bujorianu MC, Maharaj S & Bujorianu ML (2002) Towards a Formalization of Viewpoints Testing. In: Hierons R & Thierry J (eds.) Formal Approaches to Testing of Software: FATES’02 A Satellite Workshop of CONCUR’02, Brno, Czech Republic, August 24th 2002 Proceedings. FATES’02: A Satellite Workshop of CONCUR’02, Brno, Czech Republic, 24.08.2002-24.08.2002. Switzerland: Springer, pp. 137-151. http://kar.kent.ac.uk/13752/1/FormalRob.pdf
Conference Paper (published)
Multiple forms of activity-dependent plasticity enhance information transfer at a dynamic synapse
Graham B (2002) Multiple forms of activity-dependent plasticity enhance information transfer at a dynamic synapse. In: Dorronsoro J (ed.) Artificial Neural Networks — ICANN 2002: International Conference Madrid, Spain, August 28–30, 2002 Proceedings. Lecture Notes in Computer Science, 2415. The 12th International Conference on Artificial Neural Networks, ICANN 2002, Madrid, Spain, 27.08.2002-30.08.2002. Berlin Heidelberg: Springer, pp. 45-50. http://link.springer.com/chapter/10.1007/3-540-46084-5_8; https://doi.org/10.1007/3-540-46084-5_8
Thesis
Diszkrét csoportok és térformák homogén geometriákban
Farkas JZ (2002) Diszkrét csoportok és térformák homogén geometriákban [Discrete groups and manifolds in homogeneous geometries]. Master of Science. Budapest University of Technology.
Book Chapter
A new approach to packing non-convex polygons using the no fit polygon and meta-heuristic and evolutionary algorithms
Burke E & Kendall G (2002) A new approach to packing non-convex polygons using the no fit polygon and meta-heuristic and evolutionary algorithms. In: Parmee I (ed.) Adaptive Computing in Design and Manufacture V. London: Springer, pp. 193-204. http://link.springer.com/chapter/10.1007%2F978-0-85729-345-9_17; https://doi.org/10.1007/978-0-85729-345-9_17
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 (unpublished)
Thin servers - An architecture to support arbitrary placement of computation in the Internet
Diaz Y Carballo JC, Dearle A & Connor R (2002) Thin servers - An architecture to support arbitrary placement of computation in the Internet. 4th International Conference on Enterprise Information Systems, Cuidad Real, Spain, 03.04.2002-06.04.2002.
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
Article
Diffraction of Creeping Waves by a Line of Jump of Curvature (a Three-Dimensional Acoustic Medium)
Kirpichnikova NY, Philippov VB & Kirpichnikova A (2002) Diffraction of Creeping Waves by a Line of Jump of Curvature (a Three-Dimensional Acoustic Medium). Journal of Mathematical Sciences, 108 (5), pp. 689-702. https://link.springer.com/article/10.1023/A:1013247112086; https://doi.org/10.1023/a%3A1013247112086
Article
Diffraction of Electromagnetic Waves on an Impedance Interface between Two Media with Different Perturbations in Impedance
Kirpichnikova NY, Philippov VB & Kirpichnikova A (2002) Diffraction of Electromagnetic Waves on an Impedance Interface between Two Media with Different Perturbations in Impedance. Journal of Mathematical Sciences, 111 (4), pp. 3678-3690. https://doi.org/10.1023/a%3A1016381808828
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
Article
A modal logic for Full LOTOS based on symbolic transition systems
Calder M, Maharaj S & Shankland C (2002) A modal logic for Full LOTOS based on symbolic transition systems. Computer Journal, 45 (1), pp. 55-61. https://doi.org/10.1093/comjnl/45.1.55
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
Article
Star complements and switching in graphs
Rowlinson P & Jackson P (2002) Star complements and switching in graphs. Linear Algebra and Its Applications, 356 (1-3), pp. 135-143. https://doi.org/10.1016/S0024-3795%2802%2900375-0
Article
Constructing fullerene graphs from their eigenvalues and angles
Cvetkovic D, Fowler P, Rowlinson P & Stevanovic D (2002) Constructing fullerene graphs from their eigenvalues and angles. Linear Algebra and Its Applications, 356 (1-3), pp. 37-56. https://doi.org/10.1016/S0024-3795%2802%2900280-X
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
A single cohort time delay model of the life-cycle of the salmon louse Lepeophtheirus salmonis on Atlantic salmon Salmo salar
Tucker CS, Norman R, Shinn A, Bron J, Sommerville C & Wootten R (2002) A single cohort time delay model of the life-cycle of the salmon louse Lepeophtheirus salmonis on Atlantic salmon Salmo salar. Fish Pathology, 37 (3), pp. 107-118. https://www.jstage.jst.go.jp/article/jsfp1966/37/3/37_3_107/_article; https://doi.org/10.3147/jsfp.37.107
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
Recent research directions in automated timetabling
Burke E & Petrovic S (2002) Recent research directions in automated timetabling. European Journal of Operational Research, 140 (2), pp. 266-280. https://doi.org/10.1016/S0377-2217%2802%2900069-3
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
Article
Using Beowulf clusters to speed up neural simulations
Smith L (2002) Using Beowulf clusters to speed up neural simulations. Trends in Cognitive Sciences, 6 (6), pp. 231-232. https://doi.org/10.1016/S1364-6613%2802%2901915-0
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
Article
A pragmatic approach to service interaction filtering between call control services
Kolberg M & Magill E (2002) A pragmatic approach to service interaction filtering between call control services. Computer Networks, 38 (5), pp. 591-602. https://doi.org/10.1016/S1389-1286%2801%2900270-5
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
