Computing Science

Outputs related to Computing Science

Showing 1201 to 1300 of 1528

Conference Paper (unpublished)

Bodei C, Bracciali A & Chiarugi D (2007) A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks. Nettab 2007 Workshop: A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, University of Pisa, Italy, 12.06.2007-15.06.2007. http://www.di.unipi.it/~braccia/DATA/MY_PAPERS/NETTAB_BBC_07.pdf


Conference Paper (published)

Anand S, Ware JM, Jackson M & Swan J (2007) An automated schematic map tool for mobile {LBS} applications. In: The 5th International Symposium on Mobile Mapping Technology. The 5th International Symposium on Mobile Mapping Technology MMT '07, Padua, Italy, 29.05.2007-31.05.2007. Vienna: International Society for Photogrammetry and Remote Sensing (ISPRS).


Conference Paper (published)

Turner KJ & Tan KLL (2007) Graphical Composition of Grid Services. In: Guelfi N & Buchs D (eds.) Rapid Integration of Software Engineering Techniques. Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers. Lecture Notes in Computer Science, 4401. RISE 2006, 3rd International Workshop on Rapid Integration of Software Engineering techniques, Geneva, Switzerland, 13.09.2006-15.09.2006. Berlin: Springer Verlag, pp. 1-17. http://www.informatik.uni-trier.de/~ley/db/conf/rise/rise2006.html; https://doi.org/10.1007/978-3-540-71876-5


Conference Paper (published)

Tan KLL, Gayle V, Lambert P, Sinnott R & Turner KJ (2006) GEODE – Sharing Occupational Data Through The Grid. In: Cox SJ (ed.) Proceedings of the UK e-Science All Hands Meeting 2006. Fifth UK e-Science All Hands Meeting (AHM 2006), Nottingham, UK, 18.09.2006-21.09.2006. Edinburgh: National e-Science Centre, pp. 534-541. http://www.allhands.org.uk/2006/proceedings/


Conference Paper (published)

Lambert P, Tan KLL, Turner KJ, Gayle V, Prandy K & Sinnott R (2006) Development of a Grid Enabled Occupational Data Environment. In: Procter R (ed.) Proceedings of the 2nd International Conference on e-Social Science. Second International Conference on e-Social Science, Manchester, UK, 28.06.2006-30.06.2006. Manchester: National Centre for e-Social Science, pp. 1-12. http://www.ncess.ac.uk/events/conference/2006/papers/


Conference Paper (published)

Tan KLL & Turner KJ (2006) Orchestrating Grid Services using BPEL and Globus Toolkit 4. In: Merabti M, Pereira R, Oliver C & Abuelma'atti O (eds.) PGNET 2006: Proceedings of the 7th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting. PGNet 2006 - The 7th Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting, Liverpool, U.K., 26.06.2006-27.06.2006. Liverpool: Liverpool John Moores University, School of Computing & Mathematical Sciences, pp. 31-36. http://www.cms.livjm.ac.uk/pgnet2006/default.htm


Conference Paper (published)

Wang F, Docherty LS, Turner KJ, Kolberg M & Magill E (2006) Services and Policies for Care at Home. In: Bardram JE, Chachques JC & Varshney U (eds.) Pervasive Health Conference and Workshops, 2006. 1st International Conference on Pervasive Computing Technologies for Healthcare 2006, Innsbruck, Austria, 29.11.2006-01.12.2006. Piscataway, New Jersey: IEEE (Institute of Electrical and Electronics Engineers), pp. 1-10. https://doi.org/10.1109/PCTHEALTH.2006.361701


Book Chapter

Li J & Aickelin U (2006) BOA for Nurse Scheduling. In: CantúPaz E, Pelikan M & Sastry K (eds.) Scalable Optimization via Probabilistic Modeling. Studies in Computational Intelligence, 33. Berlin Heidelberg: Springer, pp. 315-332. https://doi.org/10.1007/978-3-540-34954-9_14


Book Chapter

Krasnogor N, Terrazas G, Pelta DA & Ochoa G (2006) A critical view of the evolutionary design of self-assembling systems. In: Talbi E, Liardet P, Collet P, Lutton E & Schoenauer M (eds.) Artificial Evolution: 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers. Lecture Notes in Computer Science, 3871. Berlin Heidelberg: Springer, pp. 179-188. http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-33589-4; https://doi.org/10.1007/11740698_16


Book Chapter

Ochoa G, Escuela G & Krasnogor N (2006) Incorporating knowledge of secondary structures in a L-system-based encoding for protein folding. In: Talbi E, Liardet P, Collet P, Lutton E & Schoenauer M (eds.) Artificial Evolution: 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers. Lecture Notes in Computer Science, 3871. Berlin Heidelberg: Springer, pp. 247-258. http://link.springer.com/chapter/10.1007%2F11740698_22?LI=true#; https://doi.org/10.1007/11740698_22


Conference Paper (published)

Hultquist C, Gain J & Cairns D (2006) Affective scene generation. In: AFRIGRAPH '06 4th International Conference on Computer Graphics, Virtual Reality and Visualisation in Africa. AFRIGRAPHInternational Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, 2006. AFRIGRAPH '06 4th International Conference on Computer Graphics, Virtual Reality, Visualization and Interaction in Africa, Cape Town, South Africa, 25.01.2006-27.01.2006. New York, NY, USA: ACM, pp. 59-63. http://dl.acm.org/citation.cfm?id=1108600&CFID=346292698&CFTOKEN=65697882; https://doi.org/10.1145/1108590.1108600


Conference Paper (published)

Abdullah R, Hussain A & Zayed AS (2006) A new radial basis function neural network based multi-variable adaptive pole-zero placement controller. In: 2006 IEEE International Conference on Engineering of Intelligent Systems. 2006 IEEE International Conference on Engineering of Intelligent Systems, Islamabad, Pakistan, 22.04.2006-23.04.2006. Piscataway, NJ: IEEE. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1703158&abstractAccess=no&userType=inst; https://doi.org/10.1109/ICEIS.2006.1703158


Conference Paper (published)

Qaiser N, Iqbal N, Hussain A & Qaiser N (2006) Stabilization of non-linear inertia wheel pendulum system using a new dynamic surface control based technique. In: 2006 IEEE International Conference on Engineering of Intelligent Systems. 2006 IEEE International Conference on Engineering of Intelligent Systems, Islamabad, Pakistan, 22.04.2006-23.04.2006. Piscataway, NJ: IEEE, pp. 365-370. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1703194&abstractAccess=no&userType=; https://doi.org/10.1109/ICEIS.2006.1703194


Conference Paper (published)

Naveed A, Qureshi IM, Hussain A & Cheema TA (2006) Blind equalization of communication channels with equal energy sources using a combined HOS-SOS approach. In: 2006 IEEE International Conference on Engineering of Intelligent Systems. 2006 IEEE International Conference on Engineering of Intelligent Systems, Islamabad, Pakistan, 22.04.2006-23.04.2006. Piscataway, NJ: IEEE, pp. 46-48. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1703137&abstractAccess=no&userType=inst; https://doi.org/10.1109/ICEIS.2006.1703137


Conference Paper (published)

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.


Conference Paper (published)

Abdullah A & Hussain A (2006) Heuristics and meta-heuristics for bandwidth minimization of sparse matrices. In: 2006 IEEE International Conference on Engineering of Intelligent Systems. 2006 IEEE International Conference on Engineering of Intelligent Systems, Islamabad, Pakistan, 22.04.2006-23.04.2006. Piscataway, NJ: IEEE. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1703188&abstractAccess=no&userType=inst; https://doi.org/10.1109/ICEIS.2006.1703188


Conference Paper (published)

Chetouani M, Hussain A, Gas B & Zarader J (2006) Non-linear predictors based on the functionally expanded neural networks for speech feature extraction. In: IEEE International Conference on Engineering of Intelligent Systems, ICEIS 2006. 2006 IEEE International Conference on Engineering of Intelligent Systems, Islamabad, Pakistan, 22.04.2006-23.04.2006. Piscataway, NJ: IEEE, pp. 1-5. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1703129&abstractAccess=no&userType=inst; https://doi.org/10.1109/ICEIS.2006.1703129


Conference Paper (published)

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)

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


Book Chapter

Smith L (2006) Implementing Neural Models in Silicon. In: Zomaya A (ed.) Handbook of Nature-Inspired and Innovative Computing: Integrating Classical Models with Emerging Technologies. New York: Springer, pp. 433-475. http://link.springer.com/chapter/10.1007/0-387-27705-6_13#


Conference Paper (published)

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#


Article

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

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

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

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

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)

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)

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#


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#


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)

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)

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)

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)

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


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)

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)

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

Reiff-Marganiec S & Turner KJ (2005) The ACCENT Policy Server. Technical Report CSM, 164. Department of Computing Science and Mathematics, University of Stirling.


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)

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

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)

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

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


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