Edited Book
Popcorn Cleans Up by Muhammad E Fayed
Fayed M (ed.) (2005) Popcorn Cleans Up by Muhammad E Fayed. Wilmington, OH, USA: Just My Best.
Conference Paper (published)
Handling Policy Conflicts in Call Control
Blair L & Turner KJ (2005) Handling Policy Conflicts in Call Control. In: Reiff-Marganiec S & Ryan MD (eds.) Feature Interactions in Telecommunications and Software Systems VIII. ICFI'05: 8th International Conference on Feature Interactions in Telecommunications and Software Systems, University of Leicester, 28.06.2005-30.06.2005. Amsterdam: IOS Press, pp. 39-57. http://www.iospress.nl/html/9781586035242.php
Article
Developing SASSA: a Soil Analysis Support System for Archaeologists
Wilson C, Davidson D, Pollard E, Cowie J, Cairns D & Blunn M (2005) Developing SASSA: a Soil Analysis Support System for Archaeologists. Internet Archaeology, (25). https://doi.org/10.11141/ia.25.4
Article
Wess TJ & Cairns D (2005) Nanoarchitectures of the animal extracellular matrix: opportunities for synchrotron radiation studies on collagen and fibrillin. Journal of Synchrotron Radiation, 12 (6), pp. 751-757. https://doi.org/10.1107/S0909049505012306
Poster
Modeling of short-term plasticity at the calyx of Held
Hennig MH, Postlethwaite M, Forsythe ID & Graham B (2005) Modeling of short-term plasticity at the calyx of Held. Meeting of the American Society for Neuroscience 2005, Washington, DC, USA, 12.11.2005-16.11.2005. http://www.sfn.org/Annual-Meeting/Past-and-Future-Annual-Meetings/Abstract-Archive/Abstract-Archive-Search
Conference Paper (published)
Turner KJ (2005) Formalising Web Services. In: Wang F (ed.) Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings. Lecture Notes in Computer Science 3731, volume 3731. 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE XVIII), Taipei, Japan, 02.10.2005-05.10.2005. Berlin: Springer Verlag, pp. 473-488. https://doi.org/10.1007/11562436
Article
A Self-Adjusting Algorithm for Driver Scheduling
Li J (2005) A Self-Adjusting Algorithm for Driver Scheduling. Journal of Heuristics, 11 (4), pp. 351-367. https://doi.org/10.1007/s10732-005-2220-1
Poster
Stability of a moving boundary problem of neurite elongation
McLean DR & Graham B (2005) Stability of a moving boundary problem of neurite elongation. European Conference on Mathematical and Theoretical Biology, ECMTB05, Dresden, Germany, 18.07.2005-22.07.2005. http://www.mafy.lut.fi/EcmiNL/older/ecmi36/node29.html
Poster
Modelling the variation in dendritic outgrowth between different neuronal types
Kiddie G, van Ooyen A & Graham B (2005) Modelling the variation in dendritic outgrowth between different neuronal types. CNS 2005: Computational Neuroscience Conference, Madison, WI, USA, 17.07.2005-21.07.2005. http://www.neuroinf.org/CNS/cns2005/
Article
Billups B, Graham B, Wong AYC & Forsythe ID (2005) Unmasking group III metabotropic glutamate autoreceptor function at excitatory synapses in the rat CNS. Journal of Physiology, 565 (3), pp. 885-896. https://doi.org/10.1113/jphysiol.2005.086736
Poster
A biophysically-based compartmental model of dendritic outgrowth and branching
Kiddie G, van Ooyen A & Graham B (2005) A biophysically-based compartmental model of dendritic outgrowth and branching. WiR Workshop on Data-driven Modelling and Computation in Neuroscience, Hohenwart, Germany, 08.05.2005-11.05.2005. http://www.dmspin.org/events/Flyer_DMCN05.pdf
Poster
Models of synaptic transmission at the calyx of held
Graham B, Hennig MH, Billups B, Wong AYC & Forsythe ID (2005) Models of synaptic transmission at the calyx of held. WiR Workshop on Data-driven Modelling and Computation in Neuroscience 2005, Hohenwart, Germany, 08.05.2005-11.05.2005. http://www.dmspin.org/events/Flyer_DMCN05.pdf
Article
A framework for specifying and verifying the behaviour of open systems
Bracciali A, Brogi A & Turini F (2005) A framework for specifying and verifying the behaviour of open systems. Journal of Logic and Algebraic Programming, 63 (2), pp. 215-240. https://doi.org/10.1016/j.jlap.2004.05.004
Article
A new singly connected network classifier based on mutual information
Thomas CS, Howie C & Smith L (2005) A new singly connected network classifier based on mutual information. Intelligent Data Analysis, 9 (2), pp. 189-205. http://iospress.metapress.com/content/q9knw7xc3vk80ne0/
Conference Paper (published)
Formalising the Chisel Feature Notation
Turner KJ (2005) Formalising the Chisel Feature Notation. In: Calder MH & Magill EH (eds.) Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK. FIW: Feature Interactions in Telecommunications and Software Systems VI, Glasgow, Scotland, 17.05.2000-19.05.2000. Amsterdam, The Netherlands: IOS Press, pp. 241-256. http://www.iospress.nl/loadtop/load.php?isbn=9781586033484
Conference Abstract
Onsets, autocorrelation functions and spikes for direction based source separation
Smith L & Fraser DS (2005) Onsets, autocorrelation functions and spikes for direction based source separation. 149th Meeting of the Acoustical Society of America, Vancouver, Canada, 16/05/2005 - 20/05/2005. Journal of the Acoustical Society of America, 117 (4), p. 2485. http://asa.aip.org/vancouver/vancouver.html; https://doi.org/10.1121/1.4809401
Conference Paper (published)
Parussel K & Smith L (2005) Cost minimisation and Reward maximisation. A neuromodulating minimal disturbance system using anti-hebbian spike timing-dependent plasticity. In: Proceedings of the Symposium on Agents that Want and Like: Motivational and Emotional Roots of Cognition and Action. AISB 2005: Social Intelligence and Interaction in Animals, Robots and Agents - Symposium on Agents that Want and Like, Motivational and Emotional Roots of Cognition and Action, Hertfordshire, 12.04.2005-15.04.2005. Hertfordshire: AISB, pp. 98-101. http://www.aisb.org.uk/publications/proceedings/aisb2005/2_Agents_Final.pdf
Conference Paper (unpublished)
Lateral non-classical thinking
Woodward J (2005) Lateral non-classical thinking. The Grand Challenge in Non-Classical Computation International Workshop, York, 18.04.2005-19.04.2005. http://www.cs.york.ac.uk/nature/workshop/papers.htm
Article
Hybrid HOS-SOS approach for blind equalisation of communication channels
Hussain A, Naveed A & Qureshi IM (2005) Hybrid HOS-SOS approach for blind equalisation of communication channels. Electronics Letters, 41 (6), pp. 376-377. https://doi.org/10.1049/el%3A20057272
Article
Blind image deconvolution using space-variant neural network approach
Cheema TA, Qureshi IM & Hussain A (2005) Blind image deconvolution using space-variant neural network approach. Electronics Letters, 41 (6), pp. 308-309. https://doi.org/10.1049/el%3A20057273
Conference Paper (published)
A coordination-based methodology for security protocol verification
Bracciali A, Baldi G, Ferrari G & Tuosto E (2005) A coordination-based methodology for security protocol verification. In: volume 121. 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), Bologna, Italy, 26.06.2004-26.06.2004. Elsevier, pp. 23-46. https://doi.org/10.1016/j.entcs.2004.10.006
Article
A formal approach to component adaptation
Bracciali A, Brogi A & Canal C (2005) A formal approach to component adaptation. Journal of Systems and Software, 74 (1), pp. 45-54. https://doi.org/10.1016/j.jss.2003.05.007
Article
Precision constrained stochastic resonance in a feedforward neural network
Mtetwa N & Smith L (2005) Precision constrained stochastic resonance in a feedforward neural network. IEEE Transactions on Neural Networks, 16 (1), pp. 250-262. https://doi.org/10.1109/TNN.2004.836195
Article
McLean DR, Lauchlan K & Graham B (2005) On the existence of steady solutions in a moving boundary model of neurite morphogenesis with cellular autoregulation. WSEAS Transactions on Biology and Biomedicine, 2 (1), pp. 98-103. http://www.worldses.org/journals/biology/old.htm
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
Conference Paper (published)
Neural networks for fault-prediction in a telecommunications network
Jaudet M, Iqbal N & Hussain A (2004) Neural networks for fault-prediction in a telecommunications network. In: INMIC 2004: 8th International Multitopic Conference, Proceedings. INMIC 2004. 8th International Multitopic Conference, 2004, Lahore, Pakistan, 24.12.2004-26.12.2004. Piscataway, NJ: IEEE, pp. 315-320. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1492896&abstractAccess=no&userType=inst; https://doi.org/10.1109/INMIC.2004.1492896
Article
A new multivariable generalized minimum-variance controller with pole-zero placement
Zayed AS, Hussain A & Smith L (2004) A new multivariable generalized minimum-variance controller with pole-zero placement. Control and Intelligent Systems, 32 (1), pp. 35-44. https://doi.org/10.2316/Journal.201.2004.1.201-1307
Conference Paper (unpublished)
Biologically plausible model of growing neurites
Kiddie G, van Ooyen A & Graham B (2004) Biologically plausible model of growing neurites. Brain Inspired Cognitive Systems. ICSC-NAISO Conference. 2004. (BICS 2004), Stirling, UK, 29.08.2004-01.09.2004. http://www.icsc-naiso.org/conferences/bics2004/program.pdf
Book Chapter
Dynamics of storage and recall in hippocampal associative memory networks
Graham B (2004) Dynamics of storage and recall in hippocampal associative memory networks. In: Erdi P, Esposito A, Marinaro M & Scarpetta S (eds.) Computational Neuroscience: Cortical Dynamics: 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures. Lecture Notes in Computer Science, 3146. Berlin Heidelberg: Springer, pp. 1-23. http://link.springer.com/chapter/10.1007/978-3-540-27862-7_1
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
Edited 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
Heuristic design of cancer chemotherapies
Villasana M & Ochoa G (2004) Heuristic design of cancer chemotherapies. IEEE Transactions on Evolutionary Computation, 8 (6), pp. 513-521. https://doi.org/10.1109/TEVC.2004.834154
Conference Paper (published)
Zayed AS & Hussain A (2004) A new non-linear multi-variable multiple-controller incorporating a neural network learning sub-model. In: Smith L, Hussain A & Aleksander I (eds.) Brain Inspired Cognitive Systems 2004. BICS2004: Brain Inspired Cognitive Systems 2004, Stirling, Scotland, 29.08.2004-01.09.2004. Stirling, Scotland: 我要吃瓜, pp. 23-24. http://www.cs.stir.ac.uk/~lss/BICS2004/CD/bookofabstracts.pdf
Conference Paper (published)
Analysis of Unsupervised Clustering by Crossing Minimization
Abdullah A & Hussain A (2004) Analysis of Unsupervised Clustering by Crossing Minimization. In: Smith L, Hussain A & Aleksander I (eds.) Brain Inspired Cognitive Systems 2004, 29 August - 1 September 2004, 我要吃瓜, Scotland, UK. Brain Inspired Cognitive Systems - BICS2004, Stirling, UK, 29.08.2004-01.09.2004. Stirling, Scotland: 我要吃瓜, pp. 27-28. http://www.cs.stir.ac.uk/~lss/BICS2004/CD/bookofabstracts.pdf
Conference Paper (published)
Hussain A (2004) New hybrid sub-band speech enhancement systems incorporating neural networks and post-weiner filtering. In: Smith L, Hussain A & Aleksander I (eds.) Proceedings International Symposium on Brain Inspired Cognitive Systems (BICS2004). BICS 2004: Brain Inspired Cognitive Systems 2004, Stirling, Scotland, 29.08.2004-01.09.2004. Stirling: 我要吃瓜, p. 27. http://www.cs.stir.ac.uk/~lss/BICS2004/poster.html
Conference Paper (published)
Smith L (2004) Towards Robot Audition. In: Ilg U, Bulthoff H & Mallot H (eds.) Dynamic Perception: Workshop of the GI Section "Computer Vision", Eberhard Karls University Tubingen, Max Planck Institute for Biological Cybernetics, Tubingen, November 2004. Dynamic Perception: Workshop of the GI Section "Computer Vision", November 2004, Tubingen, Germany. Berlin: IOS Press, pp. 15-20.
Conference Paper (published)
Formalising Graphical Behaviour Descriptions
Turner KJ (2004) Formalising Graphical Behaviour Descriptions. In: Rattray C, Maharaj S & Shankland C (eds.) 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: Springer Verlag, pp. 537-552. https://doi.org/10.1007/b98770
Conference Paper (published)
Biclustering of Noisy Gene Expression Data
Abdullah A & Hussain A (2004) Biclustering of Noisy Gene Expression Data. In: Proceedings of International Conference on Bio-informatics and its Applications (ICBA’2004). International Conference on Bio-informatics and its Applications (ICBA’2004), Ft Lauderdale, FL, USA, 16.12.2004-19.12.2004.
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
Article
Transport limited effects in a model of dendritic branching
Graham B & van Ooyen A (2004) Transport limited effects in a model of dendritic branching. Journal of Theoretical Biology, 230 (3), pp. 421-432. https://doi.org/10.1016/j.jtbi.2004.06.007
Poster
On Geographic Routing and Location-based Services in Sensor Networks: Are Beacons a Necessity?
Fayed M & Mouftah HT (2004) On Geographic Routing and Location-based Services in Sensor Networks: Are Beacons a Necessity?. IEEE SECON 2004: The First IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, Santa Clara, CA, USA, 04.10.2004-07.10.2004. http://www.ieee-secon.org/2004/
Poster
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
Article
Robust sound onset detection using leaky integrate-and-fire neurons with depressing synapses
Smith L & Fraser DS (2004) Robust sound onset detection using leaky integrate-and-fire neurons with depressing synapses. IEEE Transactions on Neural Networks, 15 (5), pp. 1125-1134. https://doi.org/10.1109/TNN.2004.832831
Article
A Meta-heuristic with Orthogonal Experiment for the Set Covering Problem
Li J & Kwan RSK (2004) A Meta-heuristic with Orthogonal Experiment for the Set Covering Problem. Journal of Mathematical Modelling and Algorithms, 3 (3), pp. 263-283. https://doi.org/10.1023/b%3Ajmma.0000038619.69509.bf
Article
Mathematical formulation and analysis of a continuum model for tubulin-driven neurite elongation
McLean DR & Graham B (2004) Mathematical formulation and analysis of a continuum model for tubulin-driven neurite elongation. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 460 (2048), pp. 2437-2456. https://doi.org/10.1098/rspa.2004.1288
Poster
Dynamics and stability in a moving boundary PDE model for neurite elongation
McLean DR & Graham B (2004) Dynamics and stability in a moving boundary PDE model for neurite elongation. First Joint Canada-France meeting of the mathematical sciences, Toulouse, France, 12.07.2004-15.07.2004. http://cms.math.ca/Events/Toulouse2004/main.html
Poster
A mathematical model of MAP2 dependent elongation and branching in growing dendrites
Kiddie G, van Ooyen A & Graham B (2004) A mathematical model of MAP2 dependent elongation and branching in growing dendrites. 4th Forum of European Neuroscience - FENS 2004, Lisbon, Portugal, 10.07.2004-14.07.2004. http://fens2004.neurosciences.asso.fr/posters/affich.html
Poster
Graham B, Wong AYC, Billups B & Forsythe ID (2004) Modelling the effects of competitive glutamate antagonists on AMPA receptor desensitisation and EPSC amplitude. 4th Forum of European Neuroscience - FENS 2004, Lisbon, Portugal, 10.07.2004-14.07.2004. http://fens2004.neurosciences.asso.fr/posters/affich.html
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
Article
A multi-component model of depression at the calyx of Held
Graham B, Wong AYC & Forsythe ID (2004) A multi-component model of depression at the calyx of Held. Neurocomputing, 58-60, pp. 449-454. https://doi.org/10.1016/j.neucom.2004.01.080
Article
Continuum model for tubulin-driven neurite elongation
McLean DR, van Ooyen A & Graham B (2004) Continuum model for tubulin-driven neurite elongation. Neurocomputing, 58-60, pp. 511-516. https://doi.org/10.1016/j.neucom.2004.01.088
Article
A time-predefined local search approach to exam timetabling problems
Burke E, Bykov Y, Newall JP & Petrovic S (2004) A time-predefined local search approach to exam timetabling problems. IIE Transactions, 36 (6), pp. 509-528. https://doi.org/10.1080/07408170490438410
Conference Paper (unpublished)
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
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
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
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)
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)
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)
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
Thesis
A Size-Based Approach to Autonomous System Topology Modeling, Master of Arts
Fayed M (2003) A Size-Based Approach to Autonomous System Topology Modeling, Master of Arts. Boston University.
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)
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)
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)
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
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 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)
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
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
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
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
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
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
Other
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
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
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