Technical Report
A Scalable Home Care System Infrastructure Supporting Domiciliary Care
Gray P, McBryan T, Hine N, Martin CJ, Gil N, Wolters M, Mayo N, Turner KJ, Docherty LS, Wang F & Kolberg M (2007) A Scalable Home Care System Infrastructure Supporting Domiciliary Care. Scottish Funding Council. Technical Report CSM, 173. Department of Computing Science and Mathematics, 我要吃瓜.
Technical Report
Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors
Wilson T, Maharaj S & Clark R (2007) Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors. Technical Report CSM, 167. Department of Computing Science and Mathematics, 我要吃瓜.
Conference Paper (published)
Analysis of the factors influencing information transmission at the calyx of Held
Yang Z, Hennig MH, Postlethwaite M, Forsythe ID & Graham B (2007) Analysis of the factors influencing information transmission at the calyx of Held. In: volume 8. Sixteenth Annual Computational Neuroscience Meeting: CNS*2007, Toronto, Canada, 07.07.2007-12.07.2007. BioMed Central, p. P160. https://doi.org/10.1186/1471-2202-8-S2-P160
Conference Paper (published)
Storage and Recall in the CA1 Microcircuit of the Hippocampus: A Biophysical Model
Cutsuridis V, Hunter R, Cobb SR & Graham B (2007) Storage and Recall in the CA1 Microcircuit of the Hippocampus: A Biophysical Model. In: volume 8. Sixteenth Annual Computational Neuroscience Meeting: CNS*2007, Toronto, Canada, 07.07.2007-12.07.2007. BioMed Central, p. P33. https://doi.org/10.1186/1471-2202-8-S2-P33
Article
Policies and conflicts in call control
Turner KJ & Blair L (2007) Policies and conflicts in call control. Computer Networks, 51 (2), pp. 496-514. https://doi.org/10.1016/j.comnet.2006.08.007
Article
A biophysical model of short-term plasticity at the calyx of Held
Hennig MH, Postlethwaite M, Forsythe ID & Graham B (2007) A biophysical model of short-term plasticity at the calyx of Held. Neurocomputing, 70 (10-12), pp. 1626-1629. https://doi.org/10.1016/j.neucom.2006.10.074
Conference Paper (unpublished)
A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks
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
Article
Dynamic surface control for stabilization of the oscillating eccentric rotor
Qaiser N, Hussain A, Iqbal N & Qaiser N (2007) Dynamic surface control for stabilization of the oscillating eccentric rotor. Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, 221 (3), pp. 311-319. https://doi.org/10.1243/09596518JSCE222
Conference Paper (published)
An automated schematic map tool for mobile {LBS} applications
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)
Graphical Composition of Grid Services
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
Article
Movement of the parasitic nematode Phasmarhabditis hermaphrodita in the presence of mucus from the host slug Deroceras reticulatum
Hapca S, Crawford J, Rae R, Wilson M & Young I (2007) Movement of the parasitic nematode Phasmarhabditis hermaphrodita in the presence of mucus from the host slug Deroceras reticulatum. Biological Control, 41 (2), pp. 223-229. https://doi.org/10.1016/j.biocontrol.2007.01.005
Article
Comparative Study of Heuristic Hybrid of Markov Chain Monte Carlo and Dynamic Programming Methodologies for Network Fault Analysis
Jaudet M, Iqbal N, Mirza NM, Mirza SM & Hussain A (2007) Comparative Study of Heuristic Hybrid of Markov Chain Monte Carlo and Dynamic Programming Methodologies for Network Fault Analysis. International Journal of Computer Science and Network Security, 7 (4), pp. 32-41. http://paper.ijcsns.org/07_book/200704/20070405.pdf
Article
Representing and analysing composed web services using CRESS
Turner KJ (2007) Representing and analysing composed web services using CRESS. Journal of Network and Computer Applications, 30 (2), pp. 541-562. https://doi.org/10.1016/j.jnca.2006.02.001
Article
Exponential stabilization of the inertia wheel pendulum using dynamic surface control
Qaiser N, Iqbal N, Hussain A & Qaiser N (2007) Exponential stabilization of the inertia wheel pendulum using dynamic surface control. Journal of Circuits, Systems and Computers, 16 (1), pp. 81-92. https://doi.org/10.1142/S0218126607003514
Article
Acceleration of AMPA receptor kinetics underlies temperature-dependent changes in synaptic strength at the rat calyx of Held
Postlethwaite M, Hennig MH, Steinert JR, Graham B & Forsythe ID (2007) Acceleration of AMPA receptor kinetics underlies temperature-dependent changes in synaptic strength at the rat calyx of Held. Journal of Physiology, 579 (1), pp. 69-84. https://doi.org/10.1113/jphysiol.2006.123612
Article
Managing Feature Interactions between Distributed SIP Call Control Services
Kolberg M & Magill E (2007) Managing Feature Interactions between Distributed SIP Call Control Services. Computer Networks, 51 (2), pp. 536-557. https://doi.org/10.1016/j.comnet.2006.08.006
Article
A tool for synthesizing spike trains with realistic interference
Smith L & Mtetwa N (2007) A tool for synthesizing spike trains with realistic interference. Journal of Neuroscience Methods, 159 (1), pp. 170-180. https://doi.org/10.1016/j.jneumeth.2006.06.019
Conference Paper (published)
GEODE – Sharing Occupational Data Through The Grid
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)
Development of a Grid Enabled Occupational Data Environment
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)
Orchestrating Grid Services using BPEL and Globus Toolkit 4
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)
Services and Policies for Care at Home
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
BOA for Nurse Scheduling
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
Making Decisions with Data Using Computational Intelligence within a Business Environment
Swingler K & Cairns D (2006) Making Decisions with Data Using Computational Intelligence within a Business Environment. In: Voges K & Pope N (eds.) Business applications and computational intelligence. Hershey PA and London: Idea Group, pp. 19-37. http://www.igi-global.com/chapter/making-decisions-data/6017
Book Chapter
A critical view of the evolutionary design of self-assembling systems
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
Incorporating knowledge of secondary structures in a L-system-based encoding for protein folding
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)
Affective scene generation
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)
A new radial basis function neural network based multi-variable adaptive pole-zero placement controller
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
Article
A nonlinear PID-based multiple controller incorporating a multilayered neural network learning submodel
Zayed AS, Hussain A & Grimble MJ (2006) A nonlinear PID-based multiple controller incorporating a multilayered neural network learning submodel. Control and Intelligent Systems, 34 (3), pp. 177-184. https://doi.org/10.2316/Journal.201.2006.3.201-1499
Conference Paper (published)
Heuristics and meta-heuristics for bandwidth minimization of sparse matrices
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)
Non-linear predictors based on the functionally expanded neural networks for speech feature extraction
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)
Stabilization of non-linear inertia wheel pendulum system using a new dynamic surface control based technique
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)
Blind equalization of communication channels with equal energy sources using a combined HOS-SOS approach
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)
A SIP-based OSGi Device Communication Service for Mobile Personal Area Networks
Brown A, Kolberg M, Bushmitch D, Lomako G & Ma M (2006) A SIP-based OSGi Device Communication Service for Mobile Personal Area Networks. In: 3rd IEEE Consumer Communications and Networking Conference, 2006. CCNC 2006. 3rd IEEE Consumer Communications and Networking Conference, 2006. CCNC 2006, Las Vegas, NV, USA, 08.01.2006-10.01.2006. Piscataway, NJ: IEEE, pp. 502-508. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10599
Conference Paper (published)
Meta service discovery
Buford J, Brown A & Kolberg M (2006) Meta service discovery. In: Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 2006. PerCom Workshops 2006. Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 2006. PerCom Workshops 2006, Pisa, Italy, 13.03.2006-17.03.2006. Los Alamitos, CA: IEEE, pp. 124-129. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1598953&abstractAccess=no&userType=inst; https://doi.org/10.1109/PERCOMW.2006.93
Conference Paper (published)
Novel Intelligent Multiple Controller Framework incorporating Fuzzy Logic based Switching
Abdullah R, Hussain A & Zayed AS (2006) Novel Intelligent Multiple Controller Framework incorporating Fuzzy Logic based Switching. In: Proceedings of ICC 2006: IEEE International Control Conference. ICC 2006: IEEE International Control Conference, Glasgow, Scotland, 30.08.2006-01.09.2006. New York: Institute of Electronics and Electrical Engineers.
Conference Paper (published)
Assortative mating drastically alters the magnitude of error thresholds
Ochoa G & Jaffe K (2006) Assortative mating drastically alters the magnitude of error thresholds. In: Runarsson T, Beyer H, Burke E, Merelo-Guervos J, Whitley L & Yao X (eds.) Parallel Problem Solving from Nature - PPSN IX: 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings. Lecture Notes in Computer Science, 4193. 9th International Conference on Parallel Problem Solving from Nature - PPSN IX - 2006, Reykjavik, Iceland, 09.09.2006-12.09.2006. Berlin Heidelberg: Springer, pp. 890-899. http://link.springer.com/chapter/10.1007/11844297_90#
Book Chapter
Implementing Neural Models in Silicon
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#
Article
Using pen and paper to control networked appliances
Kolberg M & Magill E (2006) Using pen and paper to control networked appliances. IEEE Communications Magazine, 44 (11), pp. 148-154. https://doi.org/10.1109/MCOM.2006.248178
Article
Mathematical modelling and numerical simulation of the morphological development of neurons
Graham B & van Ooyen A (2006) Mathematical modelling and numerical simulation of the morphological development of neurons. BMC Neuroscience, 7 (Suppl 1), p. S9. http://www.biomedcentral.com/1471-2202/7/S1/S9; https://doi.org/10.1186/1471-2202-7-S1-S9
Article
A novel multiple-controller incorporating a radial basis function neural network based generalized learning model
Zayed AS, Hussain A & Abdullah R (2006) A novel multiple-controller incorporating a radial basis function neural network based generalized learning model. Neurocomputing, 69 (16-18), pp. 1868-1881. https://doi.org/10.1016/j.neucom.2006.02.017
Article
Brain inspired cognitive systems (BICS 2004) - Guest Editorial
Hussain A, Smith L & Alexander I (2006) Brain inspired cognitive systems (BICS 2004) - Guest Editorial. Neurocomputing, 69 (16-18), pp. 1825-1826. https://doi.org/10.1016/j.neucom.2006.05.005
Article
A new biclustering technique based on crossing minimization
Abdullah A & Hussain A (2006) A new biclustering technique based on crossing minimization. Neurocomputing, 69 (16-18), pp. 1882-1896. https://doi.org/10.1016/j.neucom.2006.02.018
Conference Paper (unpublished)
Neuroinformatics: what can E-Science offer Neuroscience (Or E-Science and Neuroscience: Experimental, Computational and Cognitive) (Keynote)
Smith L (2006) Neuroinformatics: what can E-Science offer Neuroscience (Or E-Science and Neuroscience: Experimental, Computational and Cognitive) (Keynote). Brain Inspired Cognitive Systems 2006 (BICS 2006), Island of Lesvos, Greece, 10.10.2006-12.10.2006. http://www.icsc.ab.ca/conferences/bics2006/Finalprogram.pdf
Article
Data mining a new pilot agriculture extension data warehouse
Abdullah A & Hussain A (2006) Data mining a new pilot agriculture extension data warehouse. Journal of Research and Practice in Information Technology, 38 (3), pp. 229-248. https://www.acs.org.au/__data/assets/pdf_file/0015/15117/JRPIT38.3.229.pdf
Poster
Temperature-dependent changes in spontaneous and evoked transmission at the rate Calyx of Held
Postlethwaite M, Hennig MH, Graham B & Forsythe ID (2006) Temperature-dependent changes in spontaneous and evoked transmission at the rate Calyx of Held. FENS 2006: 5th Forum of European Neuroscience, Vienna, Austria, 08.07.2006-12.07.2006. http://fens2006.neurosciences.asso.fr/Vienna2006/html/general.htm
Poster
A biophysical model of short-term plasticity at the calyx of Held
Hennig MH, Postlethwaite M, Forsythe ID & Graham B (2006) A biophysical model of short-term plasticity at the calyx of Held. Fifteenth Annual Computational Neuroscience Meeting: CNS*2006, Edinburgh, UK, 16.07.2006-20.07.2006. http://www.cnsorg.org/assets/docs/CNS_Program_books/2006booklet.pdf
Poster
Spatial and temporal control mechanisms influencing signal integration in a CA1 pyramid cell model
Clark J & Graham B (2006) Spatial and temporal control mechanisms influencing signal integration in a CA1 pyramid cell model. 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
Stability in a mathematical model of neurite elongation
McLean DR & Graham B (2006) Stability in a mathematical model of neurite elongation. Mathematical Medicine and Biology, 23 (2), pp. 101-117. https://doi.org/10.1093/imammb/dql010
Article
Smoothing and thresholding in neuronal spike detection
Mtetwa N & Smith L (2006) Smoothing and thresholding in neuronal spike detection. Neurocomputing, 69 (10-12), pp. 1366-1370. https://doi.org/10.1016/j.neucom.2005.12.108
Article
Error thresholds in genetic algorithms
Ochoa G (2006) Error thresholds in genetic algorithms. Evolutionary Computation, 14 (2), pp. 157-182. https://doi.org/10.1162/evco.2006.14.2.157
Article
Dynamics of outgrowth in a continuum model of neurite elongation
Graham B, Lauchlan K & McLean DR (2006) Dynamics of outgrowth in a continuum model of neurite elongation. Journal of Computational Neuroscience, 20 (1), pp. 43-60. https://doi.org/10.1007/s10827-006-5330-3
Article
Blind equalisation of communication channels for equal energy sources: Energy matching approach
Naveed A, Qureshi IM, Hussain A & Fiori S (2006) Blind equalisation of communication channels for equal energy sources: Energy matching approach. Electronics Letters, 42 (4), pp. 247-248. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1599656&abstractAccess=no&userType=inst
Article
Crafting the mind of PROSOCS agents
Bracciali A, Endriss U, Demetriou N, Kakas A, Stathis WL & Stathis K (2006) Crafting the mind of PROSOCS agents. Applied Artificial Intelligence, 20 (2-4), pp. 105-131.
Other
Theoretical Computer Science
Maharaj S (Editor), Shankland C (Editor) & Rattray C (Editor) (2006) Theoretical Computer Science. Theoretical Computer Science, 351 (2). http://www.sciencedirect.com/science/journal/03043975/351/2
Presentation / Talk
Programming a PVR with Pen and Paper
Kolberg M & Magill E (2006) Programming a PVR with Pen and Paper. 2006 CCNC: IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, 08.01.2006-10.01.2006. http://ccnc2006.ieee-ccnc.org/conf_program/apag/index.htm
Conference Paper (published)
Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques
Wilson T, Maharaj S & Clark R (2005) Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques. In: Butler M, Jones C, Romanovsky A & Troubitsyna E (eds.) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Technical Report Series, CS-TR-915. Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Newcastle, 19.07.2005-19.07.2005. Newcastle upon Tyne: University of Newcastle upon Tyne, pp. 43-52. http://rodin.cs.ncl.ac.uk/REFT.htm
Conference Paper (published)
Distributed stochastic hybrid systems
Bujorianu ML, Bujorianu MC & Maharaj S (2005) Distributed stochastic hybrid systems. In: Zitek P (ed.) Proceedings of the 16th IFAC World Congress, 2005. IFAC Proceedings Volumes, 16. 16th World Congress of the International Federation on Automation and Control (IFAC 2005), Czech Republic, 04.07.2005-08.07.2005. Amsterdam: Elsevier for International Federation of Automatic Control, pp. 158-163. http://www.ifac-papersonline.net/Detailed/27660.html
Conference Paper (published)
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 (unpublished)
TORA Example: Stabilization using Dynamic Surface Control Technique and Stability analysis using Singular Perturbation Method
Qaiser N, Hussain A, Iqbal N & Qaiser N (2005) TORA Example: Stabilization using Dynamic Surface Control Technique and Stability analysis using Singular Perturbation Method. IEEE International Conference on Intelligent Systems (ICIS 2005), Kuala Lumpur, Malaysia.
Conference Paper (published)
TORA stabilization via Dynamic Surface based Control Technique
Qaiser N, Hussain A, Iqbal N & Qaiser N (2005) TORA stabilization via Dynamic Surface based Control Technique. In: Proceedings of the IEEE Symposium on Emerging Technologies: , IEEE ICET 2005. IEEE ICET 2005: IEEE Symposium on Emerging Technologies, Islamabad, Pakistan, 17.09.2005-18.09.2005. Piscataway, NJ: IEEE, pp. 488-493. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1558930&abstractAccess=no&userType=inst
Conference Paper (published)
An online approach for the service interaction problem in home automation
Wilson M, Magill E & Kolberg M (2005) An online approach for the service interaction problem in home automation. In: 2005 2nd IEEE Consumer Communications and Networking Conference, CCNC 2005. 2005 Second IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, 03.01.2005-06.01.2005. Piscataway, NJ: IEEE, pp. 251-256. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1405178&abstractAccess=no&userType=inst; https://doi.org/10.1109/CCNC.2005.1405178
Conference Paper (published)
Controlling appliances with pen and paper
Kolberg M, Magill E, Wilson M, Burtwistle P & Ohlstenius O (2005) Controlling appliances with pen and paper. In: Second IEEE Consumer Communications and Networking Conference, 2005. Second IEEE Consumer Communications and Networking Conference, 2005, Las Vegas, NV, USA, 03.01.2005-03.01.2005. Piscataway, NJ: IEEE, pp. 156-160. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1405161&abstractAccess=no&userType=inst; https://doi.org/10.1109/CCNC.2005.1405161
Conference Paper (published)
Detecting Interactions between SIP Call Control Services
Kolberg M & Magill E (2005) Detecting Interactions between SIP Call Control Services. In: Reiff-Marganiec S & Ryan M (eds.) Feature Interactions in Telecommunications and Software Systems VIII. Feature Interactions in Telecommunications and Software Systems VIII, Leicester, UK, 28.06.2005-30.06.2005. Amsterdam: IOS Press, pp. 147-162. http://www.iospress.nl/book/feature-interactions-in-telecommunications-and-software-systems-viii/
Conference Paper (published)
Temporal classification for fault-prediction in a real-world telecommunications network
Hussain A, Jaudet M, Iqbal N & Sharif K (2005) Temporal classification for fault-prediction in a real-world telecommunications network. In: Proceedings of the IEEE 2005 International Conference on Emerging Technologies, ICET 2005. IEEE Symposium on Emerging Technologies, 2005, Islamabad, Pakistan, 17.09.2005-18.09.2005. Piscataway, NJ: IEEE, pp. 209-214. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1558882&abstractAccess=no&userType=; https://doi.org/10.1109/ICET.2005.1558882
Conference Paper (published)
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
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
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)
Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge
Tran N, Baral C & Shankland C (2005) Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005), volume 2.
Pittsburgh, PA, 09.07.2005-13.07.2005. Pittsburgh PA: AAAI Press, pp. 676-681. http://www.aaai.org/Press/Proceedings/aaai05.php
Conference Paper (published)
Reasoning about the ERK signal transduction pathway using BioSigNet-RR
Baral C, Kolch W, Shankland C & Tran N (2005) Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In: Computational Methods in Systems Biology, CMSB 2005. Lecture Notes in Computer Science. Computational Methods in Systems Biology International Conference CMSB 2005, Edinburgh, Scotland, 03.04.2005-05.04.2005. Berlin Heidelberg: Springer, pp. 79-90. http://aesop.doc.ic.ac.uk/conferences/cmsb/2005
Technical Report
The ACCENT Policy Server
Reiff-Marganiec S & Turner KJ (2005) The ACCENT Policy Server. Technical Report CSM, 164. Department of Computing Science and Mathematics, 我要吃瓜.
Book Chapter
Biclusterinig gene expression data in the presence of noise
Abdullah A & Hussain A (2005) Biclusterinig gene expression data in the presence of noise. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Biological Inspirations – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part I. Lecture Notes in Computer Science, 3696. Berlin Heidelberg: Springer, pp. 611-616. http://link.springer.com/chapter/10.1007/11550822_95#
Book Chapter
A new RBF neural network based non-linear self-tuning pole-zero placement controller
Abdullah R, Hussain A & Zayed AS (2005) A new RBF neural network based non-linear self-tuning pole-zero placement controller. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part II. Lecture Notes in Computer Science, 3697. Berlin Heidelberg: Springer, pp. 351-357. http://link.springer.com/chapter/10.1007/11550907_56#; https://doi.org/10.1007/11550907_56
Conference Paper (published)
Dissimilarity analysis of signal processing methods for texture classification
Qaiser N, Hussain M, Iqbal N, Hussain A & Qaiser N (2005) Dissimilarity analysis of signal processing methods for texture classification. In: IEEE INMIC 2005 9th International Multitopic Conference. IEEE INMIC 2005 9th International Multitopic Conference, Karachi, Pakistan, 24.12.2005-25.12.2005. Piscataway, NJ: IEEE. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4133527&abstractAccess=no&userType=; https://doi.org/10.1109/INMIC.2005.334512
Book Chapter
Non-linear predictive models for speech processing
Chetouani M, Hussain A, Faundez-Zanuy M & Gas B (2005) Non-linear predictive models for speech processing. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part II. Lecture Notes in Computer Science, 3697. Berlin Heidelberg: Springer, pp. 779-784. http://link.springer.com/chapter/10.1007/11550907_123#; https://doi.org/10.1007/11550907_123
Book Chapter
Nonlinear adaptive speech enhancement inspired by early auditory processing
Hussain A, Durrani T, Alkulaibi A & Mtetwa N (2005) Nonlinear adaptive speech enhancement inspired by early auditory processing. In: Chollet G, Esposito A, Faundez-Zanuy M & Marinaro M (eds.) Nonlinear Speech Modeling and Applications: Advanced Lectures and Revised Selected Papers. Lecture Notes in Computer Science, 3445. Berlin Heidelberg: Springer, pp. 291-316. http://link.springer.com/chapter/10.1007/11520153_13#
Book Chapter
New sub-band processing framework using non-linear predictive models for speech feature extraction
Chetouani M, Hussain A, Gas B & Zarader J (2005) New sub-band processing framework using non-linear predictive models for speech feature extraction. In: Faundez-Zanuy M, Janer L, Esposito A, Satue-Villar A, Roure J & Espinosa-Duro V (eds.) Nonlinear Analyses and Algorithms for Speech Processing: International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers. Lecture Notes in Computer Science, 3817. Berlin Heidelberg: Springer, pp. 284-290. http://link.springer.com/chapter/10.1007/11613107_25#; https://doi.org/10.1007/11613107_25
Book Chapter
New neural network based mobile location estimation in a metropolitan area
Hussain A, Muhammad J, Neskovic A & Magill E (2005) New neural network based mobile location estimation in a metropolitan area. In: Duch W W, Kacprzyk J, Oja E & Zadrozny S (eds.) Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005. Proceedings, Part II. Lecture Notes in Computer Science, 3697. Berlin Heidelberg: Springer, pp. 935-941. http://link.springer.com/chapter/10.1007/11550907_148#; https://doi.org/10.1007/11550907_148
Book Chapter
Novel sub-band adaptive systems incorporating wiener filtering for binaural speech enhancement
Hussain A, Squartini S & Piazza F (2005) Novel sub-band adaptive systems incorporating wiener filtering for binaural speech enhancement. In: Faundez-Zanuy M, Janer L, Esposito A, Satue-Villar A, Roure J & Espinosa-Duro V (eds.) Nonlinear Analyses and Algorithms for Speech Processing: International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers. Lecture Notes in Computer Science, 3817. Berlin Heidelberg: Springer, pp. 318-327. http://link.springer.com/chapter/10.1007/11613107_28#
Poster
A dynamic model of hippocampal memory storage and retrieval
Clark J & Graham B (2005) A dynamic model of hippocampal memory storage and retrieval. Meeting of the British Neuroscience Association 2005, Brighton, UK.
Book Chapter
Biologically plausible models of neurite outgrowth
Kiddie G, McLean DR, van Ooyen A & Graham B (2005) Biologically plausible models of neurite outgrowth. In: van Pelt J, Kamermans M, Levelt C, van Ooyen A, Ramakers G & Roelfsema P (eds.) Development, dynamics and pathology of neuronal networks: from molecules to functional circuits. Progress in Brain Research, 147. Amsterdam: Elsevier Science, pp. 67-80. http://www.sciencedirect.com/science/article/pii/S007961230447006X
Conference Paper (published)
Characterizing the impact of routing holes on geographic routing
Fayed M & Mouftah HT (2005) Characterizing the impact of routing holes on geographic routing. In: Proceedings - 2005 Systems Communications. 2005 Systems Communications: ICW 2005, Wireless; ICHSN 2005, High Speed Networks; ICMCS 2005, Multimedia Communications Systems; SENET 2005, Sensor Networks, Montreal, Canada, 14.08.2005-17.08.2005. Piscataway, NJ, USA: IEEE, pp. 401-406. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1515556&abstractAccess=no&userType=inst; https://doi.org/10.1109/ICW.2005.34