Computing Science

See full organisation overview

Outputs related to Computing Science

Showing 1301 to 1400 of 1593

Conference Paper (published)

Assortative mating drastically alters the magnitude of error thresholds

Ochoa G & Jaffe K (2006) Assortative mating drastically alters the magnitude of error thresholds. In: Runarsson T, Beyer H, Burke E, Merelo-Guervos J, Whitley L & Yao X (eds.) Parallel Problem Solving from Nature - PPSN IX: 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings. Lecture Notes in Computer Science, 4193. 9th International Conference on Parallel Problem Solving from Nature - PPSN IX - 2006, Reykjavik, Iceland, 09.09.2006-12.09.2006. Berlin Heidelberg: Springer, pp. 890-899. http://link.springer.com/chapter/10.1007/11844297_90#

Conference Paper (published)

A SIP-based OSGi Device Communication Service for Mobile Personal Area Networks

Brown A, Kolberg M, Bushmitch D, Lomako G & Ma M (2006) A SIP-based OSGi Device Communication Service for Mobile Personal Area Networks. In: 3rd IEEE Consumer Communications and Networking Conference, 2006. CCNC 2006. 3rd IEEE Consumer Communications and Networking Conference, 2006. CCNC 2006, Las Vegas, NV, USA, 08.01.2006-10.01.2006. Piscataway, NJ: IEEE, pp. 502-508. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10599

Conference Paper (published)

Meta service discovery

Buford J, Brown A & Kolberg M (2006) Meta service discovery. In: Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 2006. PerCom Workshops 2006. Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 2006. PerCom Workshops 2006, Pisa, Italy, 13.03.2006-17.03.2006. Los Alamitos, CA: IEEE, pp. 124-129. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1598953&abstractAccess=no&userType=inst; https://doi.org/10.1109/PERCOMW.2006.93

Conference Paper (published)

Novel Intelligent Multiple Controller Framework incorporating Fuzzy Logic based Switching

Abdullah R, Hussain A & Zayed AS (2006) Novel Intelligent Multiple Controller Framework incorporating Fuzzy Logic based Switching. In: Proceedings of ICC 2006: IEEE International Control Conference. ICC 2006: IEEE International Control Conference, Glasgow, Scotland, 30.08.2006-01.09.2006. New York: Institute of Electronics and Electrical Engineers.

Article

Data mining a new pilot agriculture extension data warehouse

Abdullah A & Hussain A (2006) Data mining a new pilot agriculture extension data warehouse. Journal of Research and Practice in Information Technology, 38 (3), pp. 229-248. https://www.acs.org.au/__data/assets/pdf_file/0015/15117/JRPIT38.3.229.pdf

Poster

A biophysical model of short-term plasticity at the calyx of Held

Hennig MH, Postlethwaite M, Forsythe ID & Graham B (2006) A biophysical model of short-term plasticity at the calyx of Held. Fifteenth Annual Computational Neuroscience Meeting: CNS*2006, Edinburgh, UK, 16.07.2006-20.07.2006. http://www.cnsorg.org/assets/docs/CNS_Program_books/2006booklet.pdf

Article

Crafting the mind of PROSOCS agents

Bracciali A, Endriss U, Demetriou N, Kakas A, Stathis WL & Stathis K (2006) Crafting the mind of PROSOCS agents. Applied Artificial Intelligence, 20 (2-4), pp. 105-131.

Other

Theoretical Computer Science

Maharaj S (Editor), Shankland C (Editor) & Rattray C (Editor) (2006) Theoretical Computer Science. Theoretical Computer Science, 351 (2). http://www.sciencedirect.com/science/journal/03043975/351/2

Presentation / Talk

Programming a PVR with Pen and Paper

Kolberg M & Magill E (2006) Programming a PVR with Pen and Paper. 2006 CCNC: IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, 08.01.2006-10.01.2006. http://ccnc2006.ieee-ccnc.org/conf_program/apag/index.htm

Conference Paper (published)

Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques

Wilson T, Maharaj S & Clark R (2005) Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques. In: Butler M, Jones C, Romanovsky A & Troubitsyna E (eds.) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Technical Report Series, CS-TR-915. Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Newcastle, 19.07.2005-19.07.2005. Newcastle upon Tyne: University of Newcastle upon Tyne, pp. 43-52. http://rodin.cs.ncl.ac.uk/REFT.htm

Conference Paper (published)

Distributed stochastic hybrid systems

Bujorianu ML, Bujorianu MC & Maharaj S (2005) Distributed stochastic hybrid systems. In: Zitek P (ed.) Proceedings of the 16th IFAC World Congress, 2005. IFAC Proceedings Volumes, 16. 16th World Congress of the International Federation on Automation and Control (IFAC 2005), Czech Republic, 04.07.2005-08.07.2005. Amsterdam: Elsevier for International Federation of Automatic Control, pp. 158-163. http://www.ifac-papersonline.net/Detailed/27660.html

Conference Paper (published)

TORA stabilization via Dynamic Surface based Control Technique

Qaiser N, Hussain A, Iqbal N & Qaiser N (2005) TORA stabilization via Dynamic Surface based Control Technique. In: Proceedings of the IEEE Symposium on Emerging Technologies: , IEEE ICET 2005. IEEE ICET 2005: IEEE Symposium on Emerging Technologies, Islamabad, Pakistan, 17.09.2005-18.09.2005. Piscataway, NJ: IEEE, pp. 488-493. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1558930&abstractAccess=no&userType=inst

Conference Paper (published)

An online approach for the service interaction problem in home automation

Wilson M, Magill E & Kolberg M (2005) An online approach for the service interaction problem in home automation. In: 2005 2nd IEEE Consumer Communications and Networking Conference, CCNC 2005. 2005 Second IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, 03.01.2005-06.01.2005. Piscataway, NJ: IEEE, pp. 251-256. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1405178&abstractAccess=no&userType=inst; https://doi.org/10.1109/CCNC.2005.1405178

Conference Paper (published)

Controlling appliances with pen and paper

Kolberg M, Magill E, Wilson M, Burtwistle P & Ohlstenius O (2005) Controlling appliances with pen and paper. In: Second IEEE Consumer Communications and Networking Conference, 2005. Second IEEE Consumer Communications and Networking Conference, 2005, Las Vegas, NV, USA, 03.01.2005-03.01.2005. Piscataway, NJ: IEEE, pp. 156-160. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1405161&abstractAccess=no&userType=inst; https://doi.org/10.1109/CCNC.2005.1405161

Conference Paper (published)

Detecting Interactions between SIP Call Control Services

Kolberg M & Magill E (2005) Detecting Interactions between SIP Call Control Services. In: Reiff-Marganiec S & Ryan M (eds.) Feature Interactions in Telecommunications and Software Systems VIII. Feature Interactions in Telecommunications and Software Systems VIII, Leicester, UK, 28.06.2005-30.06.2005. Amsterdam: IOS Press, pp. 147-162. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-viii/

Conference Paper (published)

Assortative mating in genetic algorithms for dynamic problems

Ochoa G, Madler-Kron C, Rodriguez R & Jaffe K (2005) Assortative mating in genetic algorithms for dynamic problems. In: Rothlauf F, Branke J, Cagnoni S, Wolfe CD, Dreschsler R, Jin Y, Machado P, Marchiori E, Romero J, Smith G & Squillero G (eds.) Applications of Evolutionary Computing: EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings. Lecture Notes in Computer Science, 3449. EvoWorkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne, Switzerland, 30.03.2005-01.04.2005. Berlin Heidelberg: Springer, pp. 617-622. http://link.springer.com/chapter/10.1007/978-3-540-32003-6_65#

Conference Paper (published)

Invariants of Function Complexity under Primitive Recursive Functions

Woodward J (2005) Invariants of Function Complexity under Primitive Recursive Functions. In: Mirkin B & Magoulas G (eds.) UKCI 2005: Proceedings of the 2005 UK Workshop on Computational Intelligence. UKCI 2005: The 5th annual UK Workshop on Computational Intelligence, London, 05.09.2005-07.09.2005. London: Birkbeck University of London, pp. 281-288. http://www.dcs.bbk.ac.uk/ukci/ukci05proceedings.pdf

Conference Paper (published)

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

Conference Paper (published)

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

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)

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, University of Stirling.

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

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

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

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

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

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

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

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

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

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)

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

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