Conference Proceeding
Stable multi-agent systems
Bracciali A, Mancarella P, Stathis K & Toni F (2005) Stable multi-agent systems. In: Gleizes M, Omicini A & Zambonelli F (eds.) Engineering Societies in the Agents World V
5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers. Lecture Notes in Computer Science, 2451. 5th International Workshop, ESAW 2004, Toulouse, France, 20.10.2004-22.10.2004. Berlin Heidelberg: Springer, pp. 322-334. http://www.springer.com/computer/ai/book/978-3-540-27330-1
Conference Proceeding
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 Proceeding
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 Proceeding
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
Conference Proceeding
The KGP model of agency for global computing: Computational model and prototype implementation
Bracciali A, Demetriou N, Endriss U, Kakas A, Lu W, Mancarella P, Sadri F, Stathis K, Terreni G & Toni F (2005) The KGP model of agency for global computing: Computational model and prototype implementation. In: Priami C & Quaglia P (eds.) Global Computing. Lecture Notes in Computer Science, 3267. IST/FET International Workshop, GC 2004, Rovereto, Italy, 09.03.2004-12.03.2004. Berlin, Heidelberg: Springer, pp. 340-367. http://www.informatik.uni-trier.de/~ley/db/conf/gc/gc2004.html; https://doi.org/10.1007/978-3-540-31794-4_18
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, University of Stirling.
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
Conference Proceeding
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
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 Proceeding
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/
Lecture
Modularity, Complexity and Design
Woodward J (2005) Modularity, Complexity and Design (Presentation) CUPUM/ECiD Joint Workshop 'Design out of Complexity', London, 02.07.2005-02.07.2005. http://www.casa.ucl.ac.uk/cupumecid_site/
Article
Biodiversity and ecosystem function in soil
Fitter AH, Gilligan CA, Hollingworth K, Kleczkowski A, Twyman RM & Pitchford JW (2005) Biodiversity and ecosystem function in soil. Functional Ecology, 19 (3), pp. 369-377. https://doi.org/10.1111/j.0269-8463.2005.00969.x
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
Optimising control of disease spread on networks
Dybiec B, Kleczkowski A & Gilligan CA (2005) Optimising control of disease spread on networks. Acta Physica Polonica B, 36 (5), pp. 1509-1526. http://www.actaphys.uj.edu.pl/_old/vol36/abs/v36p1509.htm
Article
Population and replicate variability in an exponential growth model
Kleczkowski A (2005) Population and replicate variability in an exponential growth model. Acta Physica Polonica B, 36 (5), pp. 1623-1634. http://www.actaphys.uj.edu.pl/_cur/store/vol36/pdf/v36p1623.pdf
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/
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
Conference Proceeding
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
Article
A fuzzy sets based generalization of contact maps for the overlap of protein structures
Pelta DA, Krasnogor N, Bousono-Clazon C, Verdegay JL, Hirst JD & Burke E (2005) A fuzzy sets based generalization of contact maps for the overlap of protein structures. Fuzzy Sets and Systems, 152 (1), pp. 103-123. https://doi.org/10.1016/j.fss.2004.10.017
Conference Proceeding
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
Meeting 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
Article
The geometric theory of adaptive evolution: trade-off and invasion plots
Bowers R, Hoyle A, White A & Boots M (2005) The geometric theory of adaptive evolution: trade-off and invasion plots. Journal of Theoretical Biology, 233 (3), pp. 363-377. https://doi.org/10.1016/j.jtbi.2004.10.017
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
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
Graphs with least eigenvalue -2: A new proof of the 31 forbidden subgraphs theorem
Cvetkovic D, Rowlinson P & Simic S (2005) Graphs with least eigenvalue -2: A new proof of the 31 forbidden subgraphs theorem. Designs, Codes and Cryptography, 34 (2-3), pp. 229-240. https://doi.org/10.1007/s10623-004-4856-5
Conference Paper
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. 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), Bologna, Italy, 26.06.2004-26.06.2004. Electronic Notes in Theoretical Computer Science, 121, 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
Correlation between mitotic delay and aberration burden, and their role for the analysis of chromosomal damage
Gudowska-Nowak E, Kleczkowski A, Nasonova E, Scholz M & Ritter S (2005) Correlation between mitotic delay and aberration burden, and their role for the analysis of chromosomal damage. International Journal of Radiation Biology, 81 (1), pp. 23-32. https://doi.org/10.1080/09553000400027902
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
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
Book Chapter
Variable neighborhood search for nurse rostering problems
Burke E, De Causmaecker P, Petrovic S & Vanden Berghe G (2004) Variable neighborhood search for nurse rostering problems. In: Resende M & Pinho dSJ (eds.) Metaheuristics: Computer Decision-Making. Applied Optimization, 86. New York: Springer, pp. 153-172. http://link.springer.com/chapter/10.1007/978-1-4757-4137-7_7; https://doi.org/10.1007/978-1-4757-4137-7_7
Article
On the complexity of the Double Digest Problem
Blazewicz J, Burke E, Jaroszewski M, Kasprzak M, Paliswiat B & Pryputniewicz P (2004) On the complexity of the Double Digest Problem. Control and Cybernetics, 33 (1), pp. 133-140.
Conference Proceeding
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
Article
Controlling disease spread on networks with incomplete knowledge
Dybiec B, Kleczkowski A & Gilligan CA (2004) Controlling disease spread on networks with incomplete knowledge. Physical Review E, 70 (6), Art. No.: 066145. https://doi.org/10.1103/PhysRevE.70.066145
Conference Proceeding
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: University of Stirling, pp. 23-24. http://www.cs.stir.ac.uk/~lss/BICS2004/CD/bookofabstracts.pdf
Conference Proceeding
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, University of Stirling, Scotland, UK. Brain Inspired Cognitive Systems - BICS2004, Stirling, UK, 29.08.2004-01.09.2004. Stirling, Scotland: University of Stirling, pp. 27-28. http://www.cs.stir.ac.uk/~lss/BICS2004/CD/bookofabstracts.pdf
Conference Proceeding
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: University of Stirling, p. 27. http://www.cs.stir.ac.uk/~lss/BICS2004/poster.html
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
Article
Star complements and maximal exceptional graphs
Rowlinson P (2004) Star complements and maximal exceptional graphs. Publications de l'Institut Mathématique, 76 (90), pp. 25-30. http://elib.mi.sanu.ac.rs/files/journals/publ/96/n090p025.pdf
Conference Proceeding
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.
Conference Proceeding
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 Proceeding
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 Proceeding
The Application of Bayesian Optimization and Classifier Systems in Nurse Scheduling
Li J & Aickelin U (2004) The Application of Bayesian Optimization and Classifier Systems in Nurse Scheduling. In: Bullinaria JA, Lozano JA, Smith J, Merelo-Guervós JJ, Burke EK, Yao X, Rowe JE, Tiňo P, Kabán A & Schwefel H (eds.) Parallel Problem Solving from Nature - PPSN VIII. Lecture Notes in Computer Science, 3242. PPSN 2004: International Conference on Parallel Problem Solving from Nature, Birmingham, UK, 18.09.2004-22.09.2004. Berlin Heidelberg: Springer, pp. 581-590. https://doi.org/10.1007/978-3-540-30217-9_59
Conference Proceeding
A new framework for knowledge revision of abductive agents through their interaction
Bracciali A & Torroni P (2004) A new framework for knowledge revision of abductive agents through their interaction. In: Carbonell J & Siekmann J (eds.) Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science, 3259. 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, 06.01.2004-07.01.2004. Berlin Heidelberg: Springer, pp. 159-177. http://centria.di.fct.unl.pt/~clima/; https://doi.org/10.1007/978-3-540-30200-1_9
Article
Improving the Usability of the Hierarchical File System
Marsden G & Cairns D (2004) Improving the Usability of the Hierarchical File System. South African Computer Journal, 32, pp. 69-78. http://search.sabinet.co.za/WebZ/AdvancedQuery?sessionid=01-56556-1434718863&termA=2004&indexA=py%3A&termB=32&indexB=so%3A&format=B&advancednumrecs=50&entitytoprecno=1&entitycurrecno=1&entitytempjds=true&dbgroup=compg&next=comp/comp_abresult.html&bad=error
Conference Proceeding
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 Proceeding
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.
Article
Bifurcations of equilibria of a non-linear age structured model
Farkas JZ (2004) Bifurcations of equilibria of a non-linear age structured model. Miskolc Mathematical Notes, 5 (2), pp. 187-192. http://mat76.mat.uni-miskolc.hu/~mnotes/show_article.php?volume=5&number=2&article_id=85&details=Details&location=files%2F5-2%2F5-2-farkas-j.pdf
Conference Proceeding
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 Proceeding
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 Proceeding
Sampling of Unique Structures and Behaviours in Genetic Programming
Gustafson S, Burke E & Kendall G (2004) Sampling of Unique Structures and Behaviours in Genetic Programming. In: Keijzer M, O'Reilly U, Lucas S, Costa E & Soule T (eds.) Genetic Programming: 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings. Lecture Notes in Computer Science, 3003. 7th European Conference, EuroGP 2004 on Genetic Programming, Coimbra, Portugal, 05.04.2004-07.04.2007. Berlin Heidelberg: Springer, pp. 279-288. http://link.springer.com/chapter/10.1007%2F978-3-540-24650-3_26; https://doi.org/10.1007/978-3-540-24650-3_26
Article
The state of the art of nurse rostering
Burke E, De Causmaecker P, Vanden Berghe G & Van Landeghem H (2004) The state of the art of nurse rostering. Journal of Scheduling, 7 (6), pp. 441-449. https://doi.org/10.1023/B%3AJOSH.0000046076.75950.0b
Article
The effect of seasonal host birth rates on population dynamics: the importance of resonance
Ireland JM, Norman R & Greenman J (2004) The effect of seasonal host birth rates on population dynamics: the importance of resonance. Journal of Theoretical Biology, 231 (2), pp. 229-238. http://www.sciencedirect.com/science/article/pii/S0022519304002905; https://doi.org/10.1016/j.jtbi.2004.06.017
Book Chapter
Spectral Graph Theory
Cvetkovic D & Rowlinson P (2004) Spectral Graph Theory. In: Beineke L, Wilson R & Cameron P (eds.) Topics in Algebraic Graph Theory. Encyclopedia of Mathematics and its Applications, 102. Cambridge: Cambridge University Press, pp. 88-112. http://www.cambridge.org/co/academic/subjects/mathematics/discrete-mathematics-information-theory-and-coding/topics-algebraic-graph-theory
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
Stability conditions for the non-linear McKendrick equations
Farkas JZ (2004) Stability conditions for the non-linear McKendrick equations. Applied Mathematics and Computation, 156 (3), pp. 771-777. https://doi.org/10.1016/j.amc.2003.06.019
Article
Bayesian analysis of botanical epidemics using stochastic compartmental models
Gibson GJ, Kleczkowski A & Gilligan CA (2004) Bayesian analysis of botanical epidemics using stochastic compartmental models. Proceedings of the National Academy of Sciences, 101 (33), pp. 12120-12124. https://doi.org/10.1073/pnas.0400829101
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
Article
Solving examination timetabling problems through adaption of heuristic orderings
Burke E & Newall JP (2004) Solving examination timetabling problems through adaption of heuristic orderings. Annals of Operations Research, 129 (1-4), pp. 107-134. https://doi.org/10.1023/B%3AANOR.0000030684.30824.08
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
Lecture
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 (Presentation) 4th Forum of European Neuroscience, FENS 2004, Lisbon, Portugal, 10.07.2004-14.07.2004. http://fens2004.neurosciences.asso.fr/posters/affich.html
Authored Book
Spectral Generalizations of Line Graphs
Cvetkovic D, Rowlinson P & Simic S (2004) Spectral Generalizations of Line Graphs. London Mathematical Society Lecture Note Series, 314. Cambridge: Cambridge University Press. http://www.cambridge.org/gb/academic/subjects/mathematics/logic-categories-and-sets/spectral-generalizations-line-graphs-graphs-least-eigenvalue-2
Article
A new placement heuristic for the orthogonal stock-cutting problem
Burke E, Kendall G & Whitwell G (2004) A new placement heuristic for the orthogonal stock-cutting problem. Operations Research, 52 (4), pp. 655-671. https://doi.org/10.1287/opre.1040.0109
Article
Mountain hares, louping-ill, red grouse and harvesting: complex interactions but few data
Laurenson MK, Norman R, Gilbert L, Reid HW & Hudson PJ (2004) Mountain hares, louping-ill, red grouse and harvesting: complex interactions but few data. Journal of Animal Ecology, 73 (4), pp. 811-813. http://onlinelibrary.wiley.com/doi/10.1111/j.1365-2664.2010.01926.x/abstract?systemMessage=Wiley+Online+Library+will+be+disrupted+on+9+June+from+10%3A00-12%3A00+BST+%2805%3A00-07%3A00+EDT%29+for+essential+maintenance; https://doi.org/10.1111/j.0021-8790.2004.00851.x
Conference Paper (unpublished)
Simple Incremental Testing
Woodward J (2004) Simple Incremental Testing. GECCO 2004: Genetic and Evolutionary Computation Conference 2004, Seattle, WA, USA, 26.06.2004-30.06.2004. http://www.sigevo.org/gecco-2004/forms-docs/gecco%202004%20program%20final.pdf
Lecture
Function Set Independent Genetic Programming
Woodward J (2004) Function Set Independent Genetic Programming (Presentation) Genetic and Evolutionary Computation Conference (GECCO) 2004 Workshop: Modularity, regularity and hierarchy in open-ended evolutionary computation, Seattle, WA, USA, 26.06.2004-26.06.2004.
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
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
Conference Proceeding
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