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
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.
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
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
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
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)
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)
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)
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)
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
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
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
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)
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)
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)
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)
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)
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
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)
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
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.
Poster
Synaptic depression at the calyx of held: vesicle depletion versus receptor desensitisation?
Wong AYC, Graham B & Forsythe ID (2001) Synaptic depression at the calyx of held: vesicle depletion versus receptor desensitisation?. Meeting of the Physiological Society 2001, Bristol.
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 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 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)
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)
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
Article
Pattern recognition in a compartmental model of a CA1 pyramidal neuron
Graham B (2001) Pattern recognition in a compartmental model of a CA1 pyramidal neuron. Network: Computation in Neural Systems, 12 (4), pp. 473-492. https://doi.org/10.1080/net.12.4.473.492
Poster
Contribution of receptor desensitization to synaptic depression at a glutamatergic synapse
Wong AYC, Graham B & Forsythe ID (2001) Contribution of receptor desensitization to synaptic depression at a glutamatergic synapse. Meeting of the American Society for Neuroscience 2001, San Diego, CA, USA, 10.11.2001-15.11.2001. http://www.sfn.org/Annual-Meeting/Past-and-Future-Annual-Meetings/Abstract-Archive/Abstract-Archive-Search
Article
A case study in abstraction using E-LOTOS and the FireWire
Shankland C & Verdejo A (2001) A case study in abstraction using E-LOTOS and the FireWire. Computer Networks, 37 (3-4), pp. 481-502. https://doi.org/10.1016/S1389-1286%2801%2900190-6
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.
Article
Competition for tubulin between growing neurites during development
van Ooyen A, Graham B & Ramakers GJA (2001) Competition for tubulin between growing neurites during development. Neurocomputing, 38-40, pp. 73-78. https://doi.org/10.1016/S0925-2312%2801%2900487-8
Article
A computational model of synaptic transmission at the calyx of Held
Graham B, Wong AYC & Forsythe ID (2001) A computational model of synaptic transmission at the calyx of Held. Neurocomputing, 38-40, pp. 37-42. https://doi.org/10.1016/S0925-2312%2801%2900476-3
Article
Compartmental models of growing neurites
Graham B & van Ooyen A (2001) Compartmental models of growing neurites. Neurocomputing, 38-40, pp. 31-36. https://doi.org/10.1016/S0925-2312%2801%2900463-5
Article
A computational model of dendrite elongation and branching based on MAP2 phosphorylation
Hely TA, Graham B & van Ooyen A (2001) A computational model of dendrite elongation and branching based on MAP2 phosphorylation. Journal of Theoretical Biology, 210 (3), pp. 375-384. https://doi.org/10.1006/jtbi.2001.2314
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)
A fuzzy simulated evolution algorithm for the driver scheduling problem
Li J & Kwan RSK (2001) A fuzzy simulated evolution algorithm for the driver scheduling problem. In: Proceedings of the 2001 Congress on Evolutionary Computation. 2001 Congress on Evolutionary Computation, Seoul, South Korea, 27.05.2001-30.05.2001. Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/cec.2001.934316
Article
Cellular basis of vestibular compensation: analysis and modelling of the role of the commissural inhibitory system
Graham B & Dutia MB (2001) Cellular basis of vestibular compensation: analysis and modelling of the role of the commissural inhibitory system. Experimental Brain Research, 137 (3-4), pp. 387-396. https://doi.org/10.1007/s002210100677
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.
Article
Intelligibility improvements using binaural diverse sub-band processing applied to speech corrupted with automobile noise
Hussain A & Campbell DR (2001) Intelligibility improvements using binaural diverse sub-band processing applied to speech corrupted with automobile noise. IEE Proceedings Vision, Image, and Signal Processing, 148 (2), pp. 127-132. https://doi.org/10.1049/ip-vis%3A20010178
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)
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.
Article
Locally-recurrent neural-networks for real-time adaptive nonlinear prediction of non-stationary signals
Hussain A (2000) Locally-recurrent neural-networks for real-time adaptive nonlinear prediction of non-stationary signals. Control and Intelligent Systems, 28 (2), pp. 65-71.
Article
Multi-sensor adaptive speech enhancement using diverse sub-band processing
Hussain A (2000) Multi-sensor adaptive speech enhancement using diverse sub-band processing. International Journal of Robotics and Automation, 15 (2), pp. 78-84.
Article
Real-time adaptive Non-linear Prediction using a new class of Locally-Recurrent Neural Networks
Hussain A (2000) Real-time adaptive Non-linear Prediction using a new class of Locally-Recurrent Neural Networks. Control and Intelligent Systems, 28 (2), pp. 65-71.
Conference Paper (published)
A Survey of Formal Methods applied to IEEE 1394
Maharaj S & Shankland C (2000) A Survey of Formal Methods applied to IEEE 1394. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. IEEE TC-ECBS + TF RE and IFIP WG10.1: Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, Scotland, 06.04.2000-07.04.2000. Stirling, Scotland: University of Stirling, pp. 25-26.
Thesis
Error Thresholds and Optimal Mutation Rates in Genetic Algorithms
Ochoa G (2000) Error Thresholds and Optimal Mutation Rates in Genetic Algorithms. Doctor of Philosophy. University of Sussex.
Conference Paper (published)
A TINA/IN Platform for Framework-based Service Creation
Kimbler K, Kolberg M, Sinnott R, Weitoft G & von Dolwitz P (2000) A TINA/IN Platform for Framework-based Service Creation. In: 2000 IEEE Intelligent Network Workshop, 2000, Proceedings. Intelligent Network Workshop, 2000, Cape Town, South Africa, 11.05.2000-11.05.2000. Piscataway, NJ: IEEE, pp. 197-202. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=868192; https://doi.org/10.1109/INW.2000.868192
Conference Paper (published)
Service interaction management for distributed services in a deregulated market environment
Kolberg M & Kimbler K (2000) Service interaction management for distributed services in a deregulated market environment. In: Calder M & Magill E (eds.) Feature Interactions in Telecommunications and Software Systems VI. Feature Interaction in Telecommunications and Software Systems VI, Glasgow, Scotland, 17.05.2000-19.05.2000. Amsterdam: IOS Press, pp. 23-37. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-vi/
Conference Paper (published)
Results of the Second Feature Interaction Contest (Analysis)
Kolberg M, Magill E, Marples D & Reiff-Marganiec S (2000) Results of the Second Feature Interaction Contest (Analysis). In: Calder M & Magill E (eds.) Feature Interactions in Telecommunications and Software Systems VI. Feature Interactions in Telecommunications and Software Systems VI, Glasgow, Scotland, 17.05.2000-19.05.2000. Amsterdam: IOS Press, pp. 311-324. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-vi/
Conference Paper (published)
Performance Analysis of a time-varying filter for the removal of baseline wander from ECG signals
Kashif FM, Qadeer W, Hussain A & Shah SI (2000) Performance Analysis of a time-varying filter for the removal of baseline wander from ECG signals. In: Proceedings of 4th IEEE International Multi-Topic Conference (INMIC'2000). 4th IEEE International Multi-Topic Conference (INMIC'2000), Islamabad, Pakistan, 10.09.2000-11.09.2000. New York: Institiute of Electrical and Electronics Engineers.
Conference Paper (published)
Non-linear Speech Processing using Neural Networks based Adaptive Filters
Hussain A (2000) Non-linear Speech Processing using Neural Networks based Adaptive Filters. In: Proceedings of 4th IEEE International Multi-Topic Conference (INMIC'2000). 4th IEEE International Multi-Topic Conference (INMIC'2000), Islamabad, Pakistan, 10.09.2000-11.09.2000. New York: Institiute of Electrical and Electronics Engineers.
Conference Paper (published)
Real-time Non-linear Prediction using Generalized Locally-Recurrent Neural Networks
Hussain A (2000) Real-time Non-linear Prediction using Generalized Locally-Recurrent Neural Networks. In: Proceedings of IEEE Workshop on Distributed Computing, Communication & Applications (IWDCCA'2000). IEEE Workshop on Distributed Computing, Communication & Applications (IWDCCA'2000), Islamabad, Pakistan, 08.05.2000-10.05.2000. New York: Institiute of Electrical and Electronics Engineers.
Conference Paper (published)
Intelligibility assessment of a multi-band speech enhancement scheme
Hussain A (2000) Intelligibility assessment of a multi-band speech enhancement scheme. In: 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2000. ICASSP '00. Proceedings, Volume 2. ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2000. ICASSP '00, Istanbul, Turkey, 05.06.2000-09.06.2000. Piscataway, NJ: IEEE, pp. 1045-1048. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=859142&abstractAccess=no&userType=; https://doi.org/10.1109/ICASSP.2000.859142
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)
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
Technical Report
Symbolic Bisimulation for Full LOTOS
Calder M & Shankland C (2000) Symbolic Bisimulation for Full LOTOS. University of Stirling Technical Report, CSM 159. University of Stirling.
Article
A Survey of formal methods applied to leader election in IEEE 1394
Maharaj S & Shankland C (2000) A Survey of formal methods applied to leader election in IEEE 1394. Journal of Universal Computer Science, 6 (11), pp. 1145-1163. http://www.jucs.org/jucs_6_11/a_survey_of_formal
Edited Book
Feature Interaction in Telecommunications and Software Systems VI
Calder M & Magill E (eds.) (2000) Feature Interaction in Telecommunications and Software Systems VI. Amsterdam: IOS Press. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-vi/
Conference Paper (published)
Second Feature Interaction Contest (Contest Instructions)
Kolberg M, Magill E, Marples D & Reiff-Marganiec S (2000) Second Feature Interaction Contest (Contest Instructions). In: Calder M & Magill E (eds.) Feature Interactions in Telecommunications and Software Systems VI. Feature Interaction in Telecommunications and Software Systems VI, Glasgow, Scotland, 17.05.2000-19.05.2000. Amsterdam: IOS Press, pp. 293-310. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-vi/
Conference Paper (published)
Engineering Telecommunication Services with SDL
Sinnott R & Kolberg M (1999) Engineering Telecommunication Services with SDL. In: Ciancarini P, Fantechi A & Gorrieri R (eds.) Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy. IFIP Advances in Information and Communication Technology, 10. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS), Florence, Italy, 15.02.1999-18.02.1999. Berlin Heidelberg: Springer, pp. 187-204. http://www.springer.com/computer/communication+networks/book/978-0-7923-8429-8
Conference Paper (published)
The pros and cons of using SDL for creation of distributed services
Olsen A, Demany D, Cardoso E, Lodge F, Kolberg M, Bjorkander M & Sinnott R (1999) The pros and cons of using SDL for creation of distributed services. In: Zuidweg H, Campolargo M & Delgado J J (eds.) Intelligence in Services and Networks Paving the Way for an Open Service Market: 6th International Conference on Intelligence and Services in Networks, IS&N’99 Barcelona, Spain, April 27–29, 1999 Proceedings. Lecture Notes in Computer Science, 1597. 6th International Conference on Intelligence and Services in Networks, IS&N’99, Barcelona, Spain, 27.04.1999-29.04.1999. Berlin Heidelberg: Springer, pp. 342-354. http://link.springer.com/chapter/10.1007/3-540-48888-X_33#; https://doi.org/10.1007/3-540-48888-X_33
