School of Computing, Data and Mathematical Sciences

Outputs related to School of Computing, Data and Mathematical Sciences

Showing 2301 to 2400 of 2449

Conference Paper (published)

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)

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)

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)

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

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)

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

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

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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

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)

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

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)

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)

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)

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

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)

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

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

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


Presentation / Talk

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


Authored Book

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

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)

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


Presentation / Talk

Woodward J (2004) Function Set Independent Genetic Programming. 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.


Conference Paper (published)

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

Turner KJ, Magill E & Marples D (eds.) (2004) Service Provision: Technologies for Next Generation Communications. Wiley Series in Communications Networking and Distributed Systems. Chichester: Wiley. http://onlinelibrary.wiley.com/book/10.1002/0470020504


Book Chapter

Marples D, Turner KJ & Magill E (2004) Prospects. In: Turner K, Magill E & Marples D (eds.) Service Provision: Technologies for Next Generation Communications. Wiley Series in Communications Networking and Distributed Systems. Chichester: Wiley, pp. 301-313. http://onlinelibrary.wiley.com/book/10.1002/0470020504


Book Chapter

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


Article

Norman R, Ross D, Laurenson MK & Hudson PJ (2004) The role of non-viraemic transmission on the persistence and dynamics of a tick borne virus - Louping ill in red grouse (Lagopus lagopus scoticus) and mountain hares (Lepus timidus). Journal of Mathematical Biology, 48 (2), pp. 119-134. http://www.springerlink.com/content/jqf37qrp4x7c12hv/; https://doi.org/10.1007/s00285-002-0183-5


Article

Burke E & Petrovic S (2004) Timetabling and rostering. European Journal of Operational Research, 153 (1), pp. 1-2. https://doi.org/10.1016/S0377-2217%2803%2900106-1


Conference Paper (published)

Burke E, Gustafson S & Kendall G (2003) Ramped half-n-half initialisation bias in GP. In: Cantu-Paz E, Foster J, Deb K K, Davis L, Roy R, O'Reilly U, Beyer H, Standish R, Kendall G, Wilson S, Harman M, Wegener J, Dasgupta D, Potter M, Schultz A, Dowsland K, Jonoska N & Miller J (eds.) Genetic and Evolutionary Computation — GECCO 2003: Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II. Lecture Notes in Computer Science, 2724. Genetic and Evolutionary Computation Conference — GECCO 2003, Chicago, IL, USA, 12.07.2003-16.07.2003. Berlin Heidelberg: Springer, pp. 1800-1801. http://link.springer.com/chapter/10.1007/3-540-45110-2_71; https://doi.org/10.1007/3-540-45110-2_71


Conference Paper (published)

Marsden G & Cairns D (2003) Improving the Usability of the Hierarchical File System. In: Eloff J, Englebrecht A, Kotze P & Eloff M (eds.) SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology. SAICSIT '03: the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology. New York, NY, USA: ACM, pp. 122-129. http://dl.acm.org/citation.cfm?id=954027&CFID=346292698&CFTOKEN=65697882


Conference Paper (published)

Squartini S, Hussain A & Piazza F (2003) A recurrent multiscale architecture for long-term memory prediction task. In: 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003 (ICASSP '03) Proceedings (Volume: 2). 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003, Hong Kong, 06.04.2003-10.04.2003. Piscataway, NJ: IEEE, pp. 789-792. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1202485&abstractAccess=no&userType=; https://doi.org/10.1109/ICASSP.2003.1202485


Conference Paper (published)

Squartini S, Hussain A & Piazza F (2003) Attempting to Reduce the Vanishing Gradient Effect through a novel Recurrent Multiscale Architecture. In: Proceedings of the International Joint Conference on Neural Networks, 2003 (Volume: 4). The International Joint Conference on Neural Networks, 2003, 20.07.2003-24.07.2003. Piscataway, NJ: IEEE, pp. 2819-2824. http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=27472; https://doi.org/10.1109/IJCNN.2003.1224018


Conference Paper (published)

Squartini S, Hussain A & Piazza F (2003) Preprocessing based solution for the vanishing gradient problem in recurrent neural networks. In: Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03, volume 5. 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03., Bangkok, Thailand, 25.05.2003-28.05.2003. Piscataway, NJ: IEEE, pp. V713-V716. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1206412&abstractAccess=no&userType=inst; https://doi.org/10.1109/ISCAS.2003.1206412


Conference Paper (published)

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)

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)

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)

Muhammad J, Hussain A & Ahmad WM (2003) Location Estimation in Cellular Networks using Neural Networks. In: Proceedings 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003). 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003), King's College, London, 19.05.2003-20.05.2003. New York: Institute of Electrical and Electronics Engineers.


Conference Paper (published)

Olivier A & Hussain A (2003) Computational Intelligence Techniques for Overcoming Co-Channel Interference in Mobile Cellular Networks. In: Proceedings 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003). 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003), King's College, London, 19.05.2003-20.05.2003. New York: Institute of Electrical and Electronics Engineers.


Conference Paper (published)

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)

Woodward J (2003) Modularity in Genetic Programming. In: Ryan C, Soule T, Keijzer M, Tsang E, Poli R & Costa E (eds.) Genetic Programming: 6th European Conference, EuroGP 2003 Essex, UK, April 14–16, 2003 Proceedings. Lecture Notes in Computer Science, 2610. 6th European Conference, EuroGP 2003, Essex, UK, 14.04.2003-16.04.2003. Berlin Heidelberg: Springer, pp. 254-263. http://link.springer.com/chapter/10.1007/3-540-36599-0_23#