Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 2101 to 2200 of 2339

Conference Paper (published)

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

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)

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)

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


Book Chapter

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

Abdullah R, Hussain A & Zayed AS (2005) A new RBF neural network based non-linear self-tuning pole-zero placement controller. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part II. Lecture Notes in Computer Science, 3697. Berlin Heidelberg: Springer, pp. 351-357. http://link.springer.com/chapter/10.1007/11550907_56#; https://doi.org/10.1007/11550907_56


Conference Paper (published)

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

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

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

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

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


Book Chapter

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#


Conference Paper (published)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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


Conference Paper (published)

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


Book Chapter

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)

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)

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


Conference Paper (published)

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)

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)

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)

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)

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


Technical Report

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)

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)

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

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)

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

(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

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

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

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

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

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)

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


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

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


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)

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


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


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.