Conference Paper (published)
On modelling multi-agent systems declaratively
Bracciali A, Mancarella P, Stathis K & Toni F (2005) On modelling multi-agent systems declaratively. In: Leite J, Omicini A, Torroni P & Yolum P (eds.) Declarative Agent Languages and Technologies II. Lecture Notes in Computer Science, 3476. Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, New York, NY, USA, 19.07.2004-19.07.2004. Berlin, Heidelberg: Springer, pp. 53-68. http://centria.di.fct.unl.pt/~jleite/dalt04/index.htm; https://doi.org/10.1007/11493402_4
Conference Paper (published)
Symbolic equivalences for open systems
Baldan P, Bracciali A & Bruni R (2005) Symbolic equivalences for open systems. In: Priami C & Quaglia P (eds.) Global Computing. Lecture Notes in Computing Science, 3267. IST/FET International Workshop, GC 2004, Rovereto, Italy, 09.03.2004-12.03.2004. Berlin, Heidelberg: Springer, pp. 1-17. http://www.informatik.uni-trier.de/~ley/db/conf/gc/gc2004.html; https://doi.org/10.1007/978-3-540-31794-4_1
Conference Paper (published)
Evolving an Improved Axial Structure for Fibrillar Collagen
Cairns D, Cameron GJ & Wess TJ (2005) Evolving an Improved Axial Structure for Fibrillar Collagen. In: Cantu-Paz E, Beyer H, Deb K K, Foster J, Davis L & Roy R (eds.) Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, volume Vol. 1. GECCO '05 The 2005 conference on Genetic and evolutionary computation, Washington DC, USA, 25.06.2005-29.06.2005. New York: ACM Press, pp. 471-472. http://www.sigevo.org/gecco-2005/index.html
Book Chapter
Evolving L-systems to capture protein structure native conformations
Escuela G, Ochoa G & Krasnogor N (2005) Evolving L-systems to capture protein structure native conformations. In: Keijzer M, Tettamanzi A, Collet P, van Hemert J & Tomassini M (eds.) Genetic Programming: 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings. Lecture Notes in Computer Science, 3447. Berlin Heidelberg: Springer, pp. 74-84. http://link.springer.com/chapter/10.1007%2F978-3-540-31989-4_7?LI=true#; https://doi.org/10.1007/978-3-540-31989-4_7
Conference Paper (published)
Omnibus verification policies: A flexible, configurable approach to assertion-based software verification
Wilson T, Maharaj S & Clark R (2005) Omnibus verification policies: A flexible, configurable approach to assertion-based software verification. In: Aichernig B & Beckert B (eds.) SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings. 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, 07.09.2005-09.09.2005. Los Alamitos, CA: The Institute of Electrical and Electronics Engineers, Inc, pp. 150-159. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10529
Conference Paper (published)
Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge
Tran N, Baral C & Shankland C (2005) Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005), volume 2.
Pittsburgh, PA, 09.07.2005-13.07.2005. Pittsburgh PA: AAAI Press, pp. 676-681. http://www.aaai.org/Press/Proceedings/aaai05.php
Conference Paper (published)
Reasoning about the ERK signal transduction pathway using BioSigNet-RR
Baral C, Kolch W, Shankland C & Tran N (2005) Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In: Computational Methods in Systems Biology, CMSB 2005. Lecture Notes in Computer Science. Computational Methods in Systems Biology International Conference CMSB 2005, Edinburgh, Scotland, 03.04.2005-05.04.2005. Berlin Heidelberg: Springer, pp. 79-90. http://aesop.doc.ic.ac.uk/conferences/cmsb/2005
Technical Report
The ACCENT Policy Server
Reiff-Marganiec S & Turner KJ (2005) The ACCENT Policy Server. Technical Report CSM, 164. Department of Computing Science and Mathematics, 我要吃瓜.
Book Chapter
Biclusterinig gene expression data in the presence of noise
Abdullah A & Hussain A (2005) Biclusterinig gene expression data in the presence of noise. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Biological Inspirations – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part I. Lecture Notes in Computer Science, 3696. Berlin Heidelberg: Springer, pp. 611-616. http://link.springer.com/chapter/10.1007/11550822_95#
Book Chapter
A new RBF neural network based non-linear self-tuning pole-zero placement controller
Abdullah R, Hussain A & Zayed AS (2005) A new RBF neural network based non-linear self-tuning pole-zero placement controller. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part II. Lecture Notes in Computer Science, 3697. Berlin Heidelberg: Springer, pp. 351-357. http://link.springer.com/chapter/10.1007/11550907_56#; https://doi.org/10.1007/11550907_56
Conference Paper (published)
Dissimilarity analysis of signal processing methods for texture classification
Qaiser N, Hussain M, Iqbal N, Hussain A & Qaiser N (2005) Dissimilarity analysis of signal processing methods for texture classification. In: IEEE INMIC 2005 9th International Multitopic Conference. IEEE INMIC 2005 9th International Multitopic Conference, Karachi, Pakistan, 24.12.2005-25.12.2005. Piscataway, NJ: IEEE. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4133527&abstractAccess=no&userType=; https://doi.org/10.1109/INMIC.2005.334512
Book Chapter
Novel sub-band adaptive systems incorporating wiener filtering for binaural speech enhancement
Hussain A, Squartini S & Piazza F (2005) Novel sub-band adaptive systems incorporating wiener filtering for binaural speech enhancement. In: Faundez-Zanuy M, Janer L, Esposito A, Satue-Villar A, Roure J & Espinosa-Duro V (eds.) Nonlinear Analyses and Algorithms for Speech Processing: International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers. Lecture Notes in Computer Science, 3817. Berlin Heidelberg: Springer, pp. 318-327. http://link.springer.com/chapter/10.1007/11613107_28#
Book Chapter
Non-linear predictive models for speech processing
Chetouani M, Hussain A, Faundez-Zanuy M & Gas B (2005) Non-linear predictive models for speech processing. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part II. Lecture Notes in Computer Science, 3697. Berlin Heidelberg: Springer, pp. 779-784. http://link.springer.com/chapter/10.1007/11550907_123#; https://doi.org/10.1007/11550907_123
Book Chapter
Nonlinear adaptive speech enhancement inspired by early auditory processing
Hussain A, Durrani T, Alkulaibi A & Mtetwa N (2005) Nonlinear adaptive speech enhancement inspired by early auditory processing. In: Chollet G, Esposito A, Faundez-Zanuy M & Marinaro M (eds.) Nonlinear Speech Modeling and Applications: Advanced Lectures and Revised Selected Papers. Lecture Notes in Computer Science, 3445. Berlin Heidelberg: Springer, pp. 291-316. http://link.springer.com/chapter/10.1007/11520153_13#
Book Chapter
New sub-band processing framework using non-linear predictive models for speech feature extraction
Chetouani M, Hussain A, Gas B & Zarader J (2005) New sub-band processing framework using non-linear predictive models for speech feature extraction. In: Faundez-Zanuy M, Janer L, Esposito A, Satue-Villar A, Roure J & Espinosa-Duro V (eds.) Nonlinear Analyses and Algorithms for Speech Processing: International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers. Lecture Notes in Computer Science, 3817. Berlin Heidelberg: Springer, pp. 284-290. http://link.springer.com/chapter/10.1007/11613107_25#; https://doi.org/10.1007/11613107_25
Book Chapter
New neural network based mobile location estimation in a metropolitan area
Hussain A, Muhammad J, Neskovic A & Magill E (2005) New neural network based mobile location estimation in a metropolitan area. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part II. Lecture Notes in Computer Science, 3697. Berlin Heidelberg: Springer, pp. 935-941. http://link.springer.com/chapter/10.1007/11550907_148#; https://doi.org/10.1007/11550907_148
Conference Paper (published)
Temporal classification for fault-prediction in a real-world telecommunications network
Hussain A, Jaudet M, Iqbal N & Sharif K (2005) Temporal classification for fault-prediction in a real-world telecommunications network. In: Proceedings of the IEEE 2005 International Conference on Emerging Technologies, ICET 2005. IEEE Symposium on Emerging Technologies, 2005, Islamabad, Pakistan, 17.09.2005-18.09.2005. Piscataway, NJ: IEEE, pp. 209-214. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1558882&abstractAccess=no&userType=; https://doi.org/10.1109/ICET.2005.1558882
Conference Paper (published)
Characterizing the impact of routing holes on geographic routing
Fayed M & Mouftah HT (2005) Characterizing the impact of routing holes on geographic routing. In: Proceedings - 2005 Systems Communications. 2005 Systems Communications: ICW 2005, Wireless; ICHSN 2005, High Speed Networks; ICMCS 2005, Multimedia Communications Systems; SENET 2005, Sensor Networks, Montreal, Canada, 14.08.2005-17.08.2005. Piscataway, NJ, USA: IEEE, pp. 401-406. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1515556&abstractAccess=no&userType=inst; https://doi.org/10.1109/ICW.2005.34
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.
Poster
A dynamic model of hippocampal memory storage and retrieval
Clark J & Graham B (2005) A dynamic model of hippocampal memory storage and retrieval. Meeting of the British Neuroscience Association 2005, Brighton, UK.
Book Chapter
Biologically plausible models of neurite outgrowth
Kiddie G, McLean DR, van Ooyen A & Graham B (2005) Biologically plausible models of neurite outgrowth. In: van Pelt J, Kamermans M, Levelt C, van Ooyen A, Ramakers G & Roelfsema P (eds.) Development, dynamics and pathology of neuronal networks: from molecules to functional circuits. Progress in Brain Research, 147. Amsterdam: Elsevier Science, pp. 67-80. http://www.sciencedirect.com/science/article/pii/S007961230447006X
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
Nanoarchitectures of the animal extracellular matrix: opportunities for synchrotron radiation studies on collagen and fibrillin
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)
Formalising Web Services
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
Unmasking group III metabotropic glutamate autoreceptor function at excitatory synapses in the rat CNS
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)
Cost minimisation and Reward maximisation. A neuromodulating minimal disturbance system using anti-hebbian spike timing-dependent plasticity
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
On the existence of steady solutions in a moving boundary model of neurite morphogenesis with cellular autoregulation
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
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 (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
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 (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
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
Conference Paper (published)
Towards Robot Audition
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.
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)
A new non-linear multi-variable multiple-controller incorporating a neural network learning sub-model
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)
New hybrid sub-band speech enhancement systems incorporating neural networks and post-weiner filtering
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)
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
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
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
Modelling the effects of competitive glutamate antagonists on AMPA receptor desensitisation and EPSC amplitude
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)
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
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
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)
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)
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
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.