Computing Science & Mathematics

See full division overview

Outputs related to Computing Science & Mathematics

Showing 2201 to 2300 of 2339

Conference Paper (published)

The Application of Bayesian Optimization and Classifier Systems in Nurse Scheduling

Li J & Aickelin U (2004) The Application of Bayesian Optimization and Classifier Systems in Nurse Scheduling. In: Bullinaria JA, Lozano JA, Smith J, Merelo-Guervós JJ, Burke EK, Yao X, Rowe JE, Tiňo P, Kabán A & Schwefel H (eds.) Parallel Problem Solving from Nature - PPSN VIII. Lecture Notes in Computer Science, 3242. PPSN 2004: International Conference on Parallel Problem Solving from Nature, Birmingham, UK, 18.09.2004-22.09.2004. Berlin Heidelberg: Springer, pp. 581-590. https://doi.org/10.1007/978-3-540-30217-9_59

Conference Paper (published)

A new framework for knowledge revision of abductive agents through their interaction

Bracciali A & Torroni P (2004) A new framework for knowledge revision of abductive agents through their interaction. In: Carbonell J & Siekmann J (eds.) Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science, 3259. 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, 06.01.2004-07.01.2004. Berlin Heidelberg: Springer, pp. 159-177. http://centria.di.fct.unl.pt/~clima/; https://doi.org/10.1007/978-3-540-30200-1_9

Article

Improving the Usability of the Hierarchical File System

Marsden G & Cairns D (2004) Improving the Usability of the Hierarchical File System. South African Computer Journal, 32, pp. 69-78. http://search.sabinet.co.za/WebZ/AdvancedQuery?sessionid=01-56556-1434718863&termA=2004&indexA=py%3A&termB=32&indexB=so%3A&format=B&advancednumrecs=50&entitytoprecno=1&entitycurrecno=1&entitytempjds=true&dbgroup=compg&next=comp/comp_abresult.html&bad=error

Conference Paper (published)

Frame Consistency: Computing with Causal Explanations

Bracciali A & Kakas A (2004) Frame Consistency: Computing with Causal Explanations. In: Delgrande J J & Schaub T (eds.) 10th International Workshop on Non-Monotonic Reasoning: Proceedings. 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, 06.06.2004-08.06.2004. Whistler, Canada: International Workshop on Non-Monotonic Reasoning, pp. 79-87.

Conference Paper (published)

PROSOCS: a platform for programming software agents in computational logic

Stathis K, Lu W, Kakas A, Demetriou N, Endriss U & Bracciali A (2004) PROSOCS: a platform for programming software agents in computational logic. In: Trappl R (ed.) Proceedings of the Fourth International Symposium "From Agent Theory to Agent Implementation'' AT2AI-4 -- EMCSR'2004. AT2AI-4 - Fourth International Symposium "From Agent Theory to Agent Implementation" at the 17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), Vienna, Austria, 14.04.2004-16.04.2004. Vienna: Austrian Society for Cybernetic Studies, pp. 523-528. http://www.osgk.ac.at/emcsr/10/publications.html

Edited Proceedings

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Rattray C, Maharaj S & Shankland C (eds.) (2004) Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science, 3116. AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology. Berlin Heidelberg: Springer.

Conference Paper (published)

Expressing iterative properties logically in a symbolic setting

Shankland C, Bryans J & Morel L (2004) Expressing iterative properties logically in a symbolic setting. In: Rattray C, Maharaj S & Shankland C (eds.) Algebraic Methodology and Software Technology: Proceedings. Lecture Notes in Computer Science, 3116.
Stirling, Scotland, 12.07.2004-16.07.2004. Berlin Heidelberg: Springer, pp. 460-474. http://link.springer.com/chapter/10.1007%2F978-3-540-27815-3_35; https://doi.org/10.1007/978-3-540-27815-3_35

Article

The state of the art of nurse rostering

Burke E, De Causmaecker P, Vanden Berghe G & Van Landeghem H (2004) The state of the art of nurse rostering. Journal of Scheduling, 7 (6), pp. 441-449. https://doi.org/10.1023/B%3AJOSH.0000046076.75950.0b

Conference Paper (published)

A Framework for Collaborative Writing with Recording and Post-Meeting Retrieval Capabilities

Bouamrane M, King D, Luz S & Masoodian M (2004) A Framework for Collaborative Writing with Recording and Post-Meeting Retrieval Capabilities. In: Special issue on the 6th International Workshop on Collaborative Editing Systems. Computer Supported Cooperative Work (CSCW 2004), Chicago, USA, 06.11.2004-10.11.2004. IEEE Distributed Systems Online. https://researchcommons.waikato.ac.nz/bitstream/handle/10289/1701/a%20framework%20for%20collaborative%20writing%20with%20recording.pdf?sequence=1

Book Chapter

Spectral Graph Theory

Cvetkovic D & Rowlinson P (2004) Spectral Graph Theory. In: Beineke L, Wilson R & Cameron P (eds.) Topics in Algebraic Graph Theory. Encyclopedia of Mathematics and its Applications, 102. Cambridge: Cambridge University Press, pp. 88-112. http://www.cambridge.org/co/academic/subjects/mathematics/discrete-mathematics-information-theory-and-coding/topics-algebraic-graph-theory

Poster

Sound Signal Statistics

Smith L (2004) Sound Signal Statistics. Gordon Research Conference: Sensory Coding and the Natural Environment, Oxford, 05.09.2004-10.09.2004. https://www.grc.org/programs.aspx?year=2004&program=senscod

Presentation / Talk

Activity-dependent modulation at an auditory relay synapse

Forsythe ID, Wong AYC, Graham B & Billups B (2004) Activity-dependent modulation at an auditory relay synapse. 4th Forum of European Neuroscience, FENS 2004, Lisbon, Portugal, 10.07.2004-14.07.2004. http://fens2004.neurosciences.asso.fr/posters/affich.html

Authored Book

Spectral Generalizations of Line Graphs

Cvetkovic D, Rowlinson P & Simic S (2004) Spectral Generalizations of Line Graphs. London Mathematical Society Lecture Note Series, 314. Cambridge: Cambridge University Press. http://www.cambridge.org/gb/academic/subjects/mathematics/logic-categories-and-sets/spectral-generalizations-line-graphs-graphs-least-eigenvalue-2

Article

Mountain hares, louping-ill, red grouse and harvesting: complex interactions but few data

Laurenson MK, Norman R, Gilbert L, Reid HW & Hudson PJ (2004) Mountain hares, louping-ill, red grouse and harvesting: complex interactions but few data. Journal of Animal Ecology, 73 (4), pp. 811-813. http://onlinelibrary.wiley.com/doi/10.1111/j.1365-2664.2010.01926.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.1111/j.0021-8790.2004.00851.x

Conference Paper (unpublished)

Simple Incremental Testing

Woodward J (2004) Simple Incremental Testing. GECCO 2004: Genetic and Evolutionary Computation Conference 2004, Seattle, WA, USA, 26.06.2004-30.06.2004. http://www.sigevo.org/gecco-2004/forms-docs/gecco%202004%20program%20final.pdf

Presentation / Talk

Function Set Independent Genetic Programming

Woodward J (2004) Function Set Independent Genetic Programming. Genetic and Evolutionary Computation Conference (GECCO) 2004 Workshop: Modularity, regularity and hierarchy in open-ended evolutionary computation, Seattle, WA, USA, 26.06.2004-26.06.2004.

Conference Paper (published)

A Model for Service Interaction Avoidance in Home Networks

Wilson M & Magill E (2004) A Model for Service Interaction Avoidance in Home Networks. In: Merabti M & Pereira R (eds.) 5th Annual PostGraduate Symposium on the Convergence of Telecommunications, Networking & Broadcasting PGNet 2004. PGNET 2004: The 5th Annual Postgraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting, Liverpool, 28.06.2004-29.06.2004. Liverpool: Liverpool John Moores University.

Edited Book

Service Provision: Technologies for Next Generation Communications

Turner KJ, Magill E & Marples D (eds.) (2004) Service Provision: Technologies for Next Generation Communications. Wiley Series in Communications Networking and Distributed Systems. Chichester: Wiley. http://onlinelibrary.wiley.com/book/10.1002/0470020504

Book Chapter

Prospects

Marples D, Turner KJ & Magill E (2004) Prospects. 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. 301-313. http://onlinelibrary.wiley.com/book/10.1002/0470020504

Book Chapter

Feature Interaction: Old Hat or Deadly New Menace?

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

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)

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

Timetabling and rostering

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 Paper (published)

Ramped half-n-half initialisation bias in GP

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 Paper (published)

Improving the Usability of the Hierarchical File System

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 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

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)

Stability analysis of a new non-linear pole-zero placement controller incorporating neural networks

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 Paper (published)

Novel non-linear PID based multiple-controller incorporating a neural network learning sub-model

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 Paper (published)

Novel Wiener sub-band processing schemes for binaural adaptive speech-enhancement

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 Paper (published)

Location Estimation in Cellular Networks using Neural Networks

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 Paper (published)

Computational Intelligence Techniques for Overcoming Co-Channel Interference in Mobile Cellular Networks

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 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)

A recurrent multiscale architecture for long-term memory prediction task

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 Paper (published)

Attempting to Reduce the Vanishing Gradient Effect through a novel Recurrent Multiscale Architecture

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 Paper (published)

Preprocessing based solution for the vanishing gradient problem in recurrent neural networks

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 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

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)

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

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

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

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.

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

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

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