Computing Science & Mathematics

See full division overview

Outputs related to Computing Science & Mathematics

Showing 2201 to 2300 of 2406

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)

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)

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)

Complexity and Cartesian Genetic Programming

Woodward J (2005) Complexity and Cartesian Genetic Programming. In: Mirkin B & Magoulas G (eds.) UK CI 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. 273-280. http://www.dcs.bbk.ac.uk/ukci/ukci05proceedings.pdf

Conference Paper (published)

Statistical optimisation and tuning of GA factors

Petrovski A, Brownlee A & McCall J (2005) Statistical optimisation and tuning of GA factors. In: The 2005 IEEE Congress on Evolutionary Computation, 2005. The 2005 IEEE Congress on Evolutionary Computation, 2005, Edinburgh, Scotland, 02.09.2005-05.09.2005. Piscataway, NJ: IEEE, pp. 758-764. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1554759&abstractAccess=no&userType=inst; https://doi.org/10.1109/CEC.2005.1554759

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

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)

Stability of equilibria of a non-linear population dynamical model

Farkas JZ (2005) Stability of equilibria of a non-linear population dynamical model. In: Dumortier F F, Broer H, Mawhin J, Vanderbauwhede A A & Lunel S (eds.) EQUADIFF 2003: Proceedings of the International Conference on Differential Equations, Hasselt, Belgium, 22 – 26 July 2003. EQUADIFF 2003: International Conference on Differential Equations, Hasselt, Belgium, 22.07.2003-26.07.2003. London: World Scientific Publishing Co, pp. 1068-1070. http://www.worldscientific.com/worldscibooks/10.1142/5758; https://doi.org/10.1142/9789812702067_0182

Conference Paper (published)

On improving genetic programming for symbolic regression

Gustafson S, Burke E & Krasnogor N (2005) On improving genetic programming for symbolic regression. In: 2005 IEEE Congress on Evolutionary Computation, IEEE CEC 2005. Proceedings. Vol. 1. The 2005 IEEE Congress on Evolutionary Computation, 2005, Edinburgh, Scotland, 05.09.2005-05.09.2005. Piscataway, NJ, USA: IEEE, pp. 912-919. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1554780; https://doi.org/10.1109/CEC.2005.1554780

Conference Paper (published)

Fuzzy multiple heuristic orderings for examination timetabling

Asmuni H, Burke E, Garibaldi JM & McCollum B (2005) Fuzzy multiple heuristic orderings for examination timetabling. In: Burke E & Trick M (eds.) Practice and Theory of Automated Timetabling V: 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers. Lecture Notes in Computer Science, 3616. 5th International Conference, PATAT 2004: Practice and Theory of Automated Timetabling V, Pittsburgh, PA, USA, 18.08.2004-20.08.2004. Berlin Heidelberg: Springer, pp. 334-353. http://link.springer.com/chapter/10.1007%2F11593577_19; https://doi.org/10.1007/11593577_19

Conference Paper (published)

A niche for parallel island models: Outliers and local search

Burke E & Gustafson S (2005) A niche for parallel island models: Outliers and local search. In: Skeie T & Yang C (eds.) 2005 International Conference on Parallel Processing Workshops, Proceedings. Proceedings of the International Conference on Parallel Processing Workshops, 2005. 2005 International Conference on Parallel Processing Workshops, Oslo, Norway, 14.06.2005-17.06.2005. Red Hook, NJ: IEEE, pp. 612-620. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1488750&abstractAccess=no&userType=inst; https://doi.org/10.1109/ICPPW.2005.12

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

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)

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

Conference Paper (published)

Supporting Remote Collaboration Through Structured Activity Logging

Bouamrane M, Luz S, Masoodian M & King D (2005) Supporting Remote Collaboration Through Structured Activity Logging. In: Zhuge H & Fox GC (eds.) Grid and Cooperative Computing - GCC 2005. Lecture Notes in Computer Science (LNCS), 3795. Grid and Cooperative Computing - GCC 2005, Beijing, 30.11.2005-03.12.2005. Berlin: Springer Berlin Heidelberg, pp. 1096-1107. https://doi.org/10.1007/11590354_132

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

Edited Proceedings

RECOLED: A GROUP-AWARE COLLABORATIVE TEXT EDITOR FOR CAPTURING DOCUMENT HISTORY

(2005) RECOLED: A GROUP-AWARE COLLABORATIVE TEXT EDITOR FOR CAPTURING DOCUMENT HISTORY. 2005 IADIS International Conference on WWW / Internet, Lisbon, Portugal, 19.10.2005-22.10.2005. IADIS - International Association for Development of the Information Society. https://www.iadisportal.org/wwwinternet-2005-proceedings

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

Presentation / Talk

Modularity, Complexity and Design

Woodward J (2005) Modularity, Complexity and Design. 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

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

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

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: University of Stirling, 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, 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 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: University of Stirling, p. 27. http://www.cs.stir.ac.uk/~lss/BICS2004/poster.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)

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

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

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

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

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

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

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)

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

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

Conference Paper (published)

A Framework for Collaborative Writing with Recording and Post-Meeting Retrieval Capabilities

Bouamrane M, King D, Luz S & Masoodian M (2004) A Framework for Collaborative Writing with Recording and Post-Meeting Retrieval Capabilities. In: Special issue on the 6th International Workshop on Collaborative Editing Systems. Computer Supported Cooperative Work (CSCW 2004), Chicago, USA, 06.11.2004-10.11.2004. IEEE Distributed Systems Online. https://researchcommons.waikato.ac.nz/bitstream/handle/10289/1701/a%20framework%20for%20collaborative%20writing%20with%20recording.pdf?sequence=1

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

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