Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 2201 to 2296 of 2296

Book Chapter

Magill E (2004) Feature Interaction: Old Hat or Deadly New Menace?. In: Turner K, Magill E & Marples D (eds.) Service Provision: Technologies for Next Generation Communications. Wiley Series in Communications Networking and Distributed Systems. Chichester: Wiley, pp. 235-250. http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470850663.html


Article

Norman R, Ross D, Laurenson MK & Hudson PJ (2004) The role of non-viraemic transmission on the persistence and dynamics of a tick borne virus - Louping ill in red grouse (Lagopus lagopus scoticus) and mountain hares (Lepus timidus). Journal of Mathematical Biology, 48 (2), pp. 119-134. http://www.springerlink.com/content/jqf37qrp4x7c12hv/; https://doi.org/10.1007/s00285-002-0183-5


Article

Burke E & Petrovic S (2004) Timetabling and rostering. European Journal of Operational Research, 153 (1), pp. 1-2. https://doi.org/10.1016/S0377-2217%2803%2900106-1


Conference Proceeding

Burke E, Gustafson S & Kendall G (2003) Ramped half-n-half initialisation bias in GP. In: Cantu-Paz E, Foster J, Deb K K, Davis L, Roy R, O'Reilly U, Beyer H, Standish R, Kendall G, Wilson S, Harman M, Wegener J, Dasgupta D, Potter M, Schultz A, Dowsland K, Jonoska N & Miller J (eds.) Genetic and Evolutionary Computation — GECCO 2003: Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II. Lecture Notes in Computer Science, 2724. Genetic and Evolutionary Computation Conference — GECCO 2003, Chicago, IL, USA, 12.07.2003-16.07.2003. Berlin Heidelberg: Springer, pp. 1800-1801. http://link.springer.com/chapter/10.1007/3-540-45110-2_71; https://doi.org/10.1007/3-540-45110-2_71


Conference Proceeding

Marsden G & Cairns D (2003) Improving the Usability of the Hierarchical File System. In: Eloff J, Englebrecht A, Kotze P & Eloff M (eds.) SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology. SAICSIT '03: the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology. New York, NY, USA: ACM, pp. 122-129. http://dl.acm.org/citation.cfm?id=954027&CFID=346292698&CFTOKEN=65697882


Conference Proceeding

Squartini S, Hussain A & Piazza F (2003) A recurrent multiscale architecture for long-term memory prediction task. In: 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003 (ICASSP '03) Proceedings (Volume: 2). 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003, Hong Kong, 06.04.2003-10.04.2003. Piscataway, NJ: IEEE, pp. 789-792. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1202485&abstractAccess=no&userType=; https://doi.org/10.1109/ICASSP.2003.1202485


Conference Proceeding

Squartini S, Hussain A & Piazza F (2003) Attempting to Reduce the Vanishing Gradient Effect through a novel Recurrent Multiscale Architecture. In: Proceedings of the International Joint Conference on Neural Networks, 2003 (Volume: 4). The International Joint Conference on Neural Networks, 2003, 20.07.2003-24.07.2003. Piscataway, NJ: IEEE, pp. 2819-2824. http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=27472; https://doi.org/10.1109/IJCNN.2003.1224018


Conference Proceeding

Squartini S, Hussain A & Piazza F (2003) Preprocessing based solution for the vanishing gradient problem in recurrent neural networks. In: Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03, volume 5. 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03., Bangkok, Thailand, 25.05.2003-28.05.2003. Piscataway, NJ: IEEE, pp. V713-V716. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1206412&abstractAccess=no&userType=inst; https://doi.org/10.1109/ISCAS.2003.1206412


Conference Proceeding

Zayed AS & Hussain A (2003) Stability analysis of a new non-linear pole-zero placement controller incorporating neural networks. In: 7th International Multi Topic Conference, 2003. INMIC 2003. 7th International Multi Topic Conference, 2003. INMIC 2003, Islamabad, Pakistan, 08.12.2003-09.12.2003. Piscataway, NJ: IEEE, pp. 290-294. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1416731&refinements%3D4281509371%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A30640%29; https://doi.org/10.1109/INMIC.2003.1416731


Conference Proceeding

Zayed AS & Hussain A (2003) Novel non-linear PID based multiple-controller incorporating a neural network learning sub-model. In: 7th International Multi Topic Conference, 2003. INMIC 2003. 7th International Multi Topic Conference, 2003. INMIC 2003, Islamabad, Pakistan, 08.12.2003-09.12.2003. Piscataway, NJ: IEEE, pp. 283-289. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1416729&refinements%3D4281509371%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A30640%29; https://doi.org/10.1109/INMIC.2003.1416729


Conference Proceeding

Hussain A, Squartini S & Piazza F (2003) Novel Wiener sub-band processing schemes for binaural adaptive speech-enhancement. In: 7th International Multi Topic Conference, 2003. INMIC 2003. 7th International Multi Topic Conference, 2003. INMIC 2003, Islamabad, Pakistan, 08.12.2003-09.12.2003. Piscataway, NJ: IEEE. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1416606&abstractAccess=no&userType=; https://doi.org/10.1109/INMIC.2003.1416606


Conference Proceeding

Muhammad J, Hussain A & Ahmad WM (2003) Location Estimation in Cellular Networks using Neural Networks. In: Proceedings 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003). 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003), King's College, London, 19.05.2003-20.05.2003. New York: Institute of Electrical and Electronics Engineers.


Conference Proceeding

Olivier A & Hussain A (2003) Computational Intelligence Techniques for Overcoming Co-Channel Interference in Mobile Cellular Networks. In: Proceedings 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003). 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003), King's College, London, 19.05.2003-20.05.2003. New York: Institute of Electrical and Electronics Engineers.


Conference Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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


Conference Proceeding

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 Proceeding

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


Book Chapter

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 Proceeding

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


Conference Proceeding

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 Proceeding

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


Conference Proceeding

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


Article

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

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


Lecture

Woodward J (2003) Turing Complete Representations (Presentation) The 2003 UK Workshop on Computational Intelligence (UKCI'03), Bristol, 01.09.2003-03.09.2003.


Book Chapter

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 Proceeding

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 Proceeding

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


Meeting Abstract

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


Lecture

Smith L (2003) Neuron/Electronic Interfacing (Presentation) Seminar at Bioengineering Center, Georgia Institute of Technology, Atlanta, GA, USA, 23.04.2003-23.04.2003.


Article

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


Technical Report

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


Conference Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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

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.


Conference Proceeding

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

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 Proceeding

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 Proceeding

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


Conference Proceeding

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


Book Chapter

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


Article

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)

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 Proceeding

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 Proceeding

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

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

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


Conference Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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 Proceeding

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