我要吃瓜

Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 2101 to 2200 of 2403

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


Conference Paper (published)

Asmuni H, Burke E, Garibaldi JM & McCollum B (2006) A novel fuzzy approach to evaluate the quality of examination timetabling. In: Burke E & Rudova H (eds.) Practice and Theory of Automated Timetabling VI: 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers. Lecture Notes in Computer Science, 3867. 6th International Conference, PATAT 2006: ? Practice and Theory of Automated Timetabling VI, Brno, Czech Republic, 30.08.2006-01.09.2006. Berlin Heidelberg: Springer, pp. 327-346. http://link.springer.com/chapter/10.1007/978-3-540-77345-0_21#page-1; https://doi.org/10.1007/978-3-540-77345-0_21


Conference Paper (published)

Abdullah S & Burke E (2006) A multi-start very large neighbourhood search approach with local search methods for examination timetabling. In: Long D, Smith S, Borrajo D & McCluskey L (eds.) Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006). Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, 06.06.2006-10.06.2006. AAAI Press, pp. 334-337. http://www.aaai.org/Press/Proceedings/icaps06.php


Conference Paper (published)

Aickelin U, Burke E & Li J (2006) Improved Squeaky Wheel optimisation for driver scheduling. 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, Reykjavik, Iceland, 09.09.2006-13.09.2006. Berlin Heidelberg: Springer, pp. 182-191. http://link.springer.com/chapter/10.1007%2F11844297_19; https://doi.org/10.1007/11844297_19


Conference Paper (published)

Burke E, Hyde M & Kendall G (2006) Evolving bin packing heuristics with genetic programming. 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 of Parallel Problem Solving from Nature - PPSN IX, Reykjavik, Iceland, 09.09.2006-13.09.2006. Berlin Heidelberg: Springer, pp. 860-869. http://link.springer.com/chapter/10.1007%2F11844297_87; https://doi.org/10.1007/11844297_87


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)

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#


Conference Paper (published)

Woodward J (2006) Invariance of function complexity under primitive recursive functions. In: Collet P, Tomassini M, Ebner M, Gustafson S & Ekart A (eds.) Genetic Programming: 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings. Lecture Notes in Computer Science, 3905. 9th European Conference, EuroGP 2006, Budapest, Hungary, 10.04.2006-12.04.2006. Berlin Heidelberg: Springer, pp. 310-319. http://link.springer.com/chapter/10.1007/11729976_28#; https://doi.org/10.1007/11729976_28


Conference Paper (published)

Woodward J (2006) Complexity and Cartesian genetic programming. In: Collet P, Tomassini M, Ebner M, Gustafson S & Ekart A (eds.) Genetic Programming: 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings. Lecture Notes in Computer Science, 3905. 9th European Conference, EuroGP 2006, Budapest, Hungary, 10.04.2006-12.04.2006. Berlin Heidelberg: Springer, pp. 260-269. http://link.springer.com/chapter/10.1007/11729976_23#; https://doi.org/10.1007/11729976_23


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)

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)

Beyrouthy C, Burke E, Landa Silva JD, McCollum B, McMullan P & Parkes AJ (2006) The teaching space allocation problem with splitting. In: Burke E & Rudova H (eds.) Practice and Theory of Automated Timetabling VI: 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers. Lecture Notes in Computer Science, 3867. 6th International Conference, PATAT 2006, Practice and Theory of Automated Timetabling VI, Brno, Czech Republic, 30.08.2006-01.09.2006. Berlin Heidelberg: Springer, pp. 228-247. http://link.springer.com/chapter/10.1007/978-3-540-77345-0_15#; https://doi.org/10.1007/978-3-540-77345-0_15


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)

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)

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)

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)

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)

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


Conference Paper (published)

Kleczkowski A & Kleczkowski P (2006) Advanced methods for shaping time-frequency areas for the selective mixing of sounds. In: Audio Engineering Society - 120th Convention Spring Preprints 2006, Volume 4. 120th Convention of the Audio Engineering Society - 2006, Paris, France, 20.05.2006-23.05.2006. New York: Audio Engineering Society, pp. 1792-1799. http://www.aes.org/publications/preprints/lists/120.cfm


Conference Paper (published)

Bouamrane M & Luz S (2006) Navigating Multimodal Meeting Recordings with the Meeting Miner. In: Legind Larsen H, Pasi G, Ortiz-Arroyo D, Andreasen T & Christiansen H (eds.) Flexible Query Answering Systems.. Lecture Notes in Computer Science (LNCS), 4027. 7th International Conference, FQAS 2006, Milan, 07.06.2006-10.06.2006. Berlin: Springer Berlin Heidelberg, pp. 356-367. https://doi.org/10.1007/11766254_30


Article

Irvine L, Kleczkowski A, Lane AMJ, Pitchford JW, Caffrey D & Chamberlain PM (2006) An integrated data resource for modelling the soil ecosystem. Applied Soil Ecology, 33 (2), pp. 208-219. https://doi.org/10.1016/j.apsoil.2005.11.005


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

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

Bailey DJ, Kleczkowski A & Gilligan CA (2006) An epidemiological analysis of the role of disease-induced root growth in the differential response of two cultivars of winter wheat to infection by Gaeumannomyces graminis var. tritici. Phytopathology, 96 (5), pp. 510-516. https://doi.org/10.1094/PHYTO-96-0510


Conference Paper (published)

Luz S, Bouamrane M & Masoodian M (2006) Gathering a corpus of multimodal computer-mediated meetings with focus on text and audio interaction. In: Proceedings of The fifth international conference on Language Resources and Evaluation, LREC 2006. The fifth international conference on Language Resources and Evaluation, LREC 2006, Genoa, 22.05.2006-28.05.2006. European Language Resources Association (ELRA), p. 6. http://www.lrec-conf.org/proceedings/lrec2006/pdf/510_pdf.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


Article

Mathews F, Macdonald D, Taylor GM, Gelling M, Norman R, Honess P, Foster R, Gower CM, Varley S, Harris A, Palmer S, Hewinson G & Webster JP (2006) Bovine tuberculosis (Mycobacterium bovis) in British farmland wildlife: the importance to agriculture. Proceedings of the Royal Society B: Biological Sciences, 273 (1584), pp. 357-365. http://rspb.royalsocietypublishing.org/content/273/1584/357; https://doi.org/10.1098/rspb.2005.3298


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)

Luz S & Bouamrane M (2006) Exploring the Structure of Media Stream Interactions for Multimedia Browsing. In: Detyniecki M, Jose JM, Nurnberger A & Rijsbergen CJ (eds.) Adaptive Multimedia Retrieval: User, Context, and Feedback. Lecture Notes in Computing Science (LNCS), 3877. Third International Workshop, AMR 2005, Glasgow, 28.07.2005-29.07.2005. Berlin: Springer Berlin Heidelberg, pp. 79-90. https://doi.org/10.1007/11670834_7


Book Chapter

Burke E, Dror M, Petrovic S & Qu R (2005) Hybrid graph heuristics within a Hyper-heuristic approach to exam timetabling problems. In: Golden B, Rahavan S & Wasil E (eds.) The Next Wave in Computing, Optimization, and Decision Technologies. Operations Research/Computer Science Interfaces Series, 29. New York: Springer, pp. 79-91. http://link.springer.com/chapter/10.1007/0-387-23529-9_6; https://doi.org/10.1007/0-387-23529-9_6


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


Conference Paper (published)

Gustafson S, Burke E & Krasnogor N (2005) The Tree-String problem: An artificial domain for structure and content search. 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. 8th European Conference, EuroGP 2005, Genetic Programming, Lausanne, Switzerland, 30.03.2005-01.04.2005. Berlin Heidelberg: Springer, pp. 215-226. http://link.springer.com/chapter/10.1007%2F978-3-540-31989-4_19; https://doi.org/10.1007/978-3-540-31989-4_19


Conference Paper (published)

Burke E, Kendall G, Landa Silva JD, O'Brien R & Soubeiga E (2005) An ant algorithm hyperheuristic for the project presentation scheduling problem. In: The 2005 IEEE Congress on Evolutionary Computation, 2005 (Volume 3 ). The 2005 IEEE Congress on Evolutionary Computation, Edinburgh, Scotland, 02.09.2005-05.09.2005. Piscataway, NJ, USA: IEEE, pp. 2263-2270. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1554976; https://doi.org/10.1109/CEC.2005.1554976


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


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

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/