Items where Division is "University of Nottingham UK Campus > Faculty of Science > School of Computer Science" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 353.

Velt, Raphael (2014) Media trajectories in large-scale live events. In: BCS HCI Doctoral Consortium 2014, 8 September 2014, Southport, UK.

Yang, Yingjie and Liu, Sifeng and John, Robert (2014) Uncertainty representation of grey numbers and grey sets. IEEE Transactions on Cybernetics, 44 (9). pp. 1508-1517. ISSN 2168-2267

Ladas, Alexandros and Garibaldi, Jonathan M. and Scarpel, Rodrigo and Aickelin, Uwe (2014) Augmented neural networks for modelling consumer indebtness. In: 2014 International Joint Conference on Neural Networks (IJCNN), 6-11 July 2014, Beijing, China.

Hassan, Diman and Aickelin, Uwe and Wagner, Christian (2014) Comparison of distance metrics for hierarchical data in medical databases. In: Proceedings of the 2014 World Congress on Computational Intelligence (WCCI 2014), 6-11 July 2014, Beijing, China.

Liu, Yihui and Aickelin, Uwe (2014) Feature selection in detection of adverse drug reactions from the Health Improvement Network (THIN) database. International Journal of Information Technology and Computer Science (IJITCS) . ISSN 2074-9015

Coughlan, Tim and Brown, Michael and Lawson, Glyn and McAuley, Derek and Baurley, Sharon and Tsai, Allen and Koppe, Therese and Elliott, Meretta and Green, Stephen and Martin, Jennifer L. (2014) Living with the user: design drama for dementia care through responsive scripted experiences in the home. In: ACM UbiComp '14, 13-17 Sept 2014, Seattle. (In Press)

McCulloch, Josie and Hinde, Chris and Wagner, Christian and Aickelin, Uwe (2014) A fuzzy directional distance measure. In: 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 6-11 July, Beijing, China.

McCulloch, Josie and Wagner, Christian and Aickelin, Uwe (2014) Analysing fuzzy sets through combining measures of similarity and distance. In: 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 6-11 July 2014, Beijing, China.

Reps, Jenna M. and Aickelin, Uwe and Garibaldi, Jonathan M. (2014) Tuning a multiple classifier system for side effect discovery using genetic algorithms. In: 2014 IEEE Congress on Evolutionary Computation (CEC), 6-11 July 2014, Beijing, China.

Lertworaprachaya, Youdthachai and Yang, Yingjie and John, Robert (2014) Interval-valued fuzzy decision trees with optimal neighbourhood perimeter. Applied Soft Computing . ISSN 1568-4946 (Submitted)

Reps, Jenna M. and Garibaldi, Jonathan M. and Aickelin, Uwe and Soria, Daniele and Gibson, Jack E. and Hubbard, Richard B. (2014) Signalling paediatric side effects using an ensemble of simple study designs. Drug Safety, 37 (3). pp. 163-170. ISSN 0114-5916

Reps, Jenna M. and Garibaldi, Jonathan M. and Aickelin, Uwe and Soria, Daniele and Gibson, Jack E. and Hubbard, Richard B. (2014) A novel semi-supervised algorithm for rare prescription side effect discovery. IEEE Journal of Biomedical and Health Informatics, 18 (2). pp. 537-547. ISSN 2168-2194

Chen, Qi and Whitbrook, Amanda and Aickelin, Uwe and Roadknight, Chris (2014) Data classification using the Dempster-Shafer method. Journal of Experimental & Theoretical Artificial Intelligence . pp. 1-25. ISSN 0952-813X

Abdul-Rahman, Syariza and Bargiela, Andrzej and Burke, Edmund and Ozcan, Ender and McCollum, Barry and McMullan, Paul (2014) Adaptive linear combination of heuristic orderings in constructing examination timetables. European Journal of Operational Research, 232 (2). pp. 287-297. ISSN 0377-2217

Figueredo, Grazziela P. and Siebers, Peer-Olaf and Owen, Markus R. and Reps, Jenna and Aickelin, Uwe (2014) Comparing stochastic differential equations and agent-based modelling and simulation for early-stage cancer. PLoS ONE, 9 (4). e95150. ISSN 1932-6203

Aickelin, Uwe and Dasgupta, Dipankar and Gu, Feng (2014) Artificial immune systems. In: Search methodologies: introductory tutorials in optimization and decision support techniques. 2nd edition. Springer, New York, pp. 187-211. ISBN 9781461469391

Hao, Ye and Brown, Michael and Harding, Jenny (2014) GIS for all: exploring the barriers and opportunities for underexploited GIS applications. OSGEO Journal, 13 . pp. 19-28. ISSN 1994-1897

Jäger, Nils and Moran, Stuart and Schnädelbach, Holger (2014) Using adaptive architecture to support yoga practices: social considerations for design. In: IEEE - PerComp: Social Implications of Pervasive Computing, 24 March, 2014, Budapest, Hungary. (In Press)

Dent, Ian and Craig, Tony and Aickelin, Uwe and Rodden, Tom (2014) Variability of behaviour in electricity load profile clustering: who does things at the same time each day? In: Advances in data mining: applications and theoretical aspects: 14th Industrial Conference, ICDM 2014, St. Petersburg, Russia, July 16-20, 2014: proceedings. Lecture notes in computer science (8557). Springer International Publishing, Cham, pp. 70-84. ISBN 9783319089768 (electronic bk.); 9783319089751 (print)

Victoria, Shipp and Tim, Coughlan and Sarah, Martindale and Kher Hui, Ng and Elizabeth, Evans and Richard, Mortier and Stuart, Reeves (2014) Wearables or infrastructure: contrasting approaches to collecting behavioural data in the home. In: HomeSys 2014, 13-17 Sept 2014, Seattle. (In Press)

Rennick-Egglestone, Stefan and Roussou, Maria and Brundell, Patrick and Chaffardon, Christophe and Kourtis, Vassilis and Koleva, Boriana and Benford, Steve (2013) Indoors and outdoors: designing mobile experiences for Cité de l’espace. In: Proceedings of NODEM 2013. NODEM, Kista, Sweden.

Swan, Anna L. and Mobasheri, Ali and Allaway, David and Liddell, Susan and Bacardit, Jaume (2013) Application of machine learning to proteomics data: classification and biomarker identification in postgenomics biology. OMICS: a Journal of Integrative Biology, 17 (12). pp. 595-610. ISSN 1536-2310

Reps, Jenna M. and Garibaldi, Jonathan M. and Aickelin, Uwe and Soria, Daniele and Gibson, Jack E. and Hubbard, Richard B. (2013) Comparison of algorithms that detect drug side effects using electronic healthcare databases. Soft Computing, 17 (12). pp. 2381-2397. ISSN 1432-7643

Brown, Michael and Sharples, Sarah and Harding, Jenny and Parker, C.J. and Bearman, N. and Maguire, M. and Forrest, D. and Haklay, M. and Jackson, M. (2013) Usability of Geographic Information: current challenges and future directions. Applied Ergonomics, 44 (6). pp. 855-865. ISSN 0003-6870

Skatova, Anya and Chan, Patricia A. and Daw, Nathaniel (2013) Extraversion differentiates between model-based and model-free strategies in a reinforcement learning task. Frontiers in Human Neuroscience, 7 . 525/1-525/10. ISSN 1662-5161

Roadknight, Chris and Aickelin, Uwe and Scholefield, John and Durrant, Lindy (2013) Ensemble learning of colorectal cancer survival rates. In: IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA) 2013, 15-17 July 2013, Milan, Italy.

Blum, Jesse and Flintham, Martin and Jacobs, Rachel and Shipp, Victoria and Kefalidou, Genovefa and Brown, Michael and McAuley, Derek (2013) The Timestreams platform: artist mediated participatory sensing for environmental discourse. In: 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2013), 8–12 Sept 2013, Zurich, Switzerland. (In Press)

Brown, Michael and Sharples, Sarah and Harding, Jenny (2013) Introducing PEGI: a usability process for the practical evaluation of Geographic Information. International Journal of Human-Computer Studies, 71 (6). pp. 668-678. ISSN 1071-5819

Coughlan, Tim and Pitt, Rebecca and McAndrew, Patrick (2013) Building open bridges: collaborative remixing and reuse of open educational resources across organisations. In: CHI 2013, Changing Perspectives: ACM Conference on Human Factors in Computing Systems 2013, 27 Apr - 02 May 2013, Paris, France. (In Press)

Coughlan, Tim and Brown, Michael and Lawson, Glyn and Mortier, Richard and Houghton, Robert and Goulden, Murray (2013) Tailored scenarios: a low-cost online method to elicit perceptions on designs using real relationships. In: ACM SIGCHI Conference on Human Factors in Computing Systems 2013, 27th April - 2nd May 2013, Paris, France.

Mairhofer, Stefan and Zappala, Susan and Tracy, Saoirse and Sturrock, Craig and Bennett, Malcolm John and Mooney, Sacha Jon and Pridmore, Tony Paul (2013) Recovering complete plant root system architectures from soil via X-ray μ-computed tomography. Plant Methods, 9 . 8/1-8/7. ISSN 1746-4811

Gu, Feng and Greensmith, Julie and Aickelin, Uwe (2013) Theoretical formulation and analysis of the deterministic dendritic cell algorithm. Biosystems, 111 (2). pp. 127-135. ISSN 0303-2647

Skatova, Anya and Ferguson, Eamonn (2013) Individual differences in behavioural inhibition explain free riding in public good games when punishment is expected but not implemented. Behavioral and Brain Functions, 9 (3). ISSN 1744-9081

Benatar, Naisan and Aickelin, Uwe and Garibald, Jonathan M. (2013) Performance measurement under increasing environmental uncertainty in the context of interval type-2 fuzzy logic based robotic sailing. In: IEEE International Conference on Fuzzy Systems 2013 (Fuzz-IEEE 2013), 7-10 July 2013, Hyderabad, India.

Figueredo, Grazziela P. and Siebers, Peer-Olaf and Augusto, Douglas A. and Barbosa, Helio J.C. and Aickelin, Uwe (2013) The use of agent-based simulation to discover extreme cases in immune-interactions with early-stage cancer scenarios. In: The 12th European Conference on Artificial Life (ECAL 2013), 2-6 Sept 2013, Taormina, Italy.

Miller, Simon and Appleby, Susan and Garibaldi, Jonathan M. and Aickelin, Uwe (2013) Towards a more systematic approach to secure systems design and analysis. International Journal of Secure Software Engineering, 4 (1). pp. 11-30. ISSN 1947-3036

Maashi, Mashael and Graham, Kendall and Ender, Ozcan (2013) A choice function based hyper-heuristic for multi-objective optimization. Technical Report. University of Nottingham, Nottingham. (Unpublished)

Reps, Jenna and Garibaldi, Jonathan M. and Aickelin, Uwe and Soria, Daniele and Gibson, Jack E. and Hubbard, Richard B. (2013) Attributes for causal inference in electronic healthcare databases. In: CBMS 2013, The 26th IEEE International Symposium on Computer-Based Medical Systems, Porto, 20-22 June 2013, Porto, Portugal.

McCulloch, Josie and Wagner, Christian and Aickelin, Uwe (2013) Extending similarity measures of interval type-2 fuzzy sets to general type-2 fuzzy sets. In: IEEE International Conference on Fuzzy Systems 2013 (Fuzz-IEEE 2013), 7-10 July 2013, Hyderabad, India.

Figueredo, Grazziela P. and Siebers, Peer-Olaf and Aickelin, Uwe (2013) Investigating mathematical models of immuno-interactions with early-stage cancer under an agent-based modelling perspective. BMC Bioinformatics, 14 (Suppl 6) . ISSN 1471-2105

McCulloch, Josie and Wagner, Christian and Aickelin, Uwe (2013) Measuring the directional distance between fuzzy sets. In: UKCI 2013, the 13th Annual Workshop on Computational Intelligence, 9-11 Sept 2013, University of Surrey.

Hart, Emma and Read, Mark and McEwan, Chris and Aickelin, Uwe and Greensmith, Julie (2013) On the role of the AIS practitioner. In: The 12th European Conference on Artificial Life (ECAL 2013), 2-6 Sept 2013, Taormino, Italy.

Valchovska, Stela and Chamberlain, Alan and Crabtree, Andy and Greenhalgh, Chris and Davies, Mark and Glover, Kevin and Rodden, Tom (2013) Rural Enterprise as an Agent for Technology Development and Facilitation in the Digital Economy. In: DE 2013: Open Digital, 4-6 Nov 2013, Salford, UK. (Unpublished)

Gu, Feng and Greensmith, Julie and Aickelin, Uwe (2013) Theoretical formulation and analysis of the deterministic dendritic cell algorithm. Biosystems, 111 (2). pp. 127-135. ISSN 0303-2647

Castellote, Jesus and Huerta, Joaquin and Pescador, Javier and Brown, Michael (2013) Towns conquer: a gamified application to collect geographical names (vernacular names/toponyms). In: AGILE 2013, 14-17 May, 2013, Leuven, Belgium. (In Press)

Liu, Yihui and Aickelin, Uwe and Feyereisl, Jan and Durrant, Lindy G (2013) Wavelet feature extraction and genetic algorithm for biomarker detection in colorectal cancer data. Knowledge-Based Systems, 37 . pp. 502-514. ISSN 0950-7051

Rennick-Egglestone, Stefan (2012) Approaches to movement therapy and their relevance to the design of interactive systems to support rehabilitation. In: ITAG 2012, 23-24 Oct 2012, Nottingham, England. (Unpublished)

Roadknight, Chris and Aickelin, Uwe and Qiu, Guoping and Scholefield, John and Durrant, Lindy (2012) Supervised learning and anti-learning of colorectal cancer classes and survival rates from cellular biology parameters. In: 2012 IEEE International Conference on Systems, Man and Cybernetics - SMC, 14-17 Oct 2012, Seoul, South Korea.

Coughlan, Tim and Collins, Trevor D. and Adams, Anne and Rogers, Yvonne and Haya, Pablo A. and Martin, Estefania (2012) The conceptual framing, design and evaluation of device ecologies for collaborative activities. International Journal of Human-Computer Studies, 70 (10). pp. 765-779. ISSN 1071-5819

Backhouse, Roland and Chen, Wei and Ferreira, João F. (2012) The algorithmics of solitaire-like games. Science of Computer Programming . ISSN 0167-6423 (In Press)

Glaab, Enrico and Bacardit, Jaume and Garibaldi, Jonathan M. and Krasnogor, Natalio (2012) Using rule-based machine learning for candidate disease gene prioritization and sample classification of cancer gene expression data. PLoS ONE, 7 (7). e39932. ISSN 1932-6203

Backhouse, Roland (2012) First-past-the-post games. In: Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012: proceedings. Lecture notes in computer science (7342). Springer, Berlin, pp. 157-176. ISBN 9783642311130 (electronic); 9783642311123 (print)

Ahmed, Aslam and Greensmith, Julie and Aickelin, Uwe (2012) Variance in system dynamics and agent based modelling using the SIR model of infectious diseases. In: Proceedings of the 26th European Conference on Modelling and Simulation (ECMS), 29 May - 1 June 2012, Koblenz, Germany.

Figueredo, Grazziela P. and Siebers, Peer-Olaf and Aickelin, Uwe and Foan, Stephanie (2012) A beginner's guide to systems simulation in immunology. In: Artificial immune systems: 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012: proceedings. Lecture notes in computer science (7597). Springer, Berlin, pp. 57-71. ISBN 9783642337574

Zhang, Tao and Siebers, Peer-Olaf and Aickelin, Uwe (2012) A three-dimensional model of residential energy consumer archetypes for local energy policy design in the UK. Energy Policy, 47 . pp. 102-110. ISSN 0301-4215

Dent, Ian and Craig, Tony and Aickelin, Uwe and Rodden, Tom (2012) An approach for assessing clustering of households by electricity usage. In: UKCI 2012, the 12th Annual Workshop on Computational Intelligence, 5-7 Sept 2012, Edinburgh, Scotland. (Unpublished)

Benatar, Naisan and Aickelin, Uwe and Garibaldi, Jonathan M. (2012) An investigation into the relationship between type-2 FOU size and environmental uncertainty in robotic control. In: 2012 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 10-15 June 2012, Brisbane, Australia.

Roadknight, Chris and Aickelin, Uwe and Ladas, Alex and Soria, Daniele and Scholefield, John and Durrant, Lindy (2012) Biomarker clustering of colorectal cancer data to complement clinical classification. In: Federated Conference on Computer Science and Information Systems (FedCSIS), 9-12 Sept 2012, Wrocław, Poland. (Unpublished)

Reps, Jenna and Garibaldi, Jonathan M. and Aickelin, Uwe and Soria, Daniele and Gibson, Jack E. and Hubbard, Richard B. (2012) Comparing data-mining algorithms developed for longitudinal observational databases. In: UKCI 2012, the 12th Annual Workshop on Computational Intelligence, 5-7 Sept 2012, Edinburgh, Scotland.

Reps, Jenna and Garibaldi, Jonathan M. and Aickelin, Uwe and Soria, Daniele and Gibson, Jack E. and Hubbard, Richard B. (2012) Discovering sequential patterns in a UK general practice database. In: 2012 IEEE-EMBS International Conference on Biomedical and Health Informatics, 5-7 Jan 2012, Hong Kong. (In Press)

Roadknight, Chris and Aickelin, Uwe (2012) Extending a microsimulation of the Port of Dover. In: ORS SW12 Simulation Conference, 27-28 Mar 2012, Worcestershire, England.

Brown, Michael and Coughlan, Tim and Lawson, Glyn and Mortier, Richard and Houghton, Robert and Goulden, Murray (2012) Intergenerational interpretation of the Internet of Things. Project Report. Horizon Digital Economy Reseearch Institute. (Submitted)

Zhang, Tao and Siebers, Peer-Olaf and Aickelin, Uwe (2012) Modelling the effects of user learning on forced innovation diffusion. In: ORS SW12 Simulation Conference, 27-28 Mar 2012, Worcestershire, England.

Feyereisl, Jan and Aickelin, Uwe (2012) Privileged information for data clustering. Information Sciences, 194 . pp. 4-23. ISSN 0020-0255

Ladas, Alexandros and Aickelin, Uwe and Garibaldi, Jonathan M. and Ferguson, Eamonn (2012) Using clustering to extract personality information from socio economic data. In: 12th UK Workshop on Computational Intelligence (UKCI 2012), 5-7 Sept 2012, Edinburgh, Scotland. (Unpublished)

Mysara, Mohamed and Garibaldi, Jonathan M. and ElHefnawi, Mahmoud (2011) MysiRNA-designer: a workflow for efficient siRNA design. PLoS ONE, 6 (10). e25642/1-e25642/10. ISSN 1932-6203

Ravizza, Stefan and Atkin, Jason A.D. (2011) Exploration of the ordering for a sequential airport ground movement algorithm. Technical Report. School of Computer Science. (Unpublished)

Rennick-Egglestone, Stefan and Whitbrook, Amanda and Leygue, Caroline and Greensmith, Julie and Walker, Brendan and Benford, Steve and Schnädelbach, Holger and Reeves, Stuart and Marshall, Joe and Kirk, David and Tennent, Paul and Irune, Ainoje and Rowland, Duncan (2011) Personalizing the theme park: psychometric profiling and physiological monitoring. In: User modeling, adaption, and personalization: 19th international conference, UMAP 2011, Girona, Spain, July 11-15, 2011: proceedings. Lecture notes in computer science (6787). Springer, Berlin, pp. 281-292. ISBN 9783642223617

Balaam, Madeline and Rennick Egglestone, Stefan and Fitzpatrick, Geraldine and Rodden, Tom and Hughes, A.M. and Wilkinson, Anna and Nind, Thomas and Axelrod, Lesley and Harris, Eric and Ricketts, Ian and Mawson, Sue and Burridge, Jane (2011) Motivating mobility: designing for lived motivation in stroke rehabilitation. In: CHI 2011: conference proceedings and extended abstracts: 29th Annual Conference on Human Factors in Computing Systems, Vancouver, British Columbia, Canada, May 7-12, 2011. ACM Press, New York, pp. 3073-3082. ISBN 9781450302685

Backhouse, Roland and Ferreira, João F. (2011) On Euclid’s algorithm and elementary number theory. Science of Computer Programming, 76 (3). pp. 160-180. ISSN 0167-64230

Wilson, William and Birkin, Phil and Aickelin, Uwe (2011) Motif detection inspired by immune memory. Journal of the Operational Research Society, 62 . pp. 253-265. ISSN 0160-5682

Siebers, Peer-Olaf and Aickelin, Uwe (2011) A first approach on modelling staff proactiveness in retail simulation models. Journal of Artificial Societies and Social Simulation, 14 (2). pp. 1-25. ISSN 1460-7425

Zhang, Tao and Siebers, Peer-Olaf and Aickelin, Uwe (2011) A three-dimensional model of residential energy consumer archetypes for local energy policy design in the UK. In: Energy and People: Futures, Complexity and Challenges, 20-21 Sept 2011, Oxford, England. (Unpublished)

Rennick-Egglestone, Stefan and Walker, Brendan and Marshall, Joe and Benford, Steve and McAuley, Derek (2011) Analysing the playground: sensitizing concepts to inform systems that promote playful interaction. In: Human-computer interaction - INTERACT 2011:13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011: proceedings. Lecture notes in computer science, I (6946). Springer, Heidelberg, pp. 452-469. ISBN 9783642237737

Siebers, Peer-Olaf and Sherman, Galina and Aickelin, Uwe and Menachof, David (2011) Comparing decision support tools for cargo screening processes. In: 10th International Conference on Modeling and Applied Simulation, 12-14 September 2011, Rome, Italy. (Submitted)

Helmi, Hala and Garibaldi, Jonathan M. and Aickelin, Uwe (2011) Examining the classification accuracy of TSVMs with feature selection in comparison with the GLAD algorithm. In: UKCI 2011, 11th Annual Workshop on Computational Intelligence, 7-9 Sept 2011, Manchester, England.

Reps, Jenna and Feyereisl, Jan and Garibaldi, Jonathan M. and Aickelin, Uwe and Gibson, Jack E. and Hubbard, Richard B. (2011) Investigating the detection of adverse drug events in a UK general practice electronic health-care database. In: UKCI 2011, 11th Annual Workshop on Computational Intelligence, 7-9 Sept 2011, Manchester, England.

Foan, Stephanie and Jackson, Andrew M. and Spendlove, Ian and Aickelin, Uwe (2011) Simulating the dynamics of T cell subsets throughout the lifetime. In: Artificial immune systems: 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011: proceedings. Lecture notes in computer science (6825). Springer, Heidelberg, pp. 71-76. ISBN 9783642223716

Figueredo, Grazziela and Aickelin, Uwe and Siebers, Peer-Olaf (2011) Systems dynamics or agent-based modelling for immune simulation? In: Artificial immune systems: 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011: proceedings. Lecture notes in computer science (6825). Springer, Heidelberg, pp. 81-94. ISBN 9783642223716

Dent, Ian and Aickelin, Uwe and Rodden, Tom (2011) The application of a data mining framework to energy usage profiling in domestic residences using UK data. In: Buildings Don't Use Energy, People Do: Research Students' Conference, 28 June 2011, Bath, England. (Unpublished)

Glaab, Enrico and Baudot, Anaïs and Krasnogor, Natalio and Valencia, Alfonso (2010) Extending pathways and processes using molecular interaction networks to analyse cancer genome data. BMC Bioinformatics, 11 (597). pp. 1-11. ISSN 1471-2105

Rennick-Egglestone, Stefan and Whitbrook, Amanda and Greensmith, Julie and Walker, Brendan and Benford, Steve and Marshall, Joe and Kirk, David and Schnädelbach, Holger and Irune, Ainoje and Rowland, Duncan (2010) Recommending rides: psychometric profiling in the theme park. Computers in Entertainment, 8 (3).

Glaab, Enrico and Garibaldi, Jonathan M. and Krasnogor, Natalio (2010) Learning pathway-based decision rules to classify microarray cancer samples. In: 25th German Conference on Bioinformatics 2010, 20-22 Sept 2010, Braunschweig, Germany.

Glaab, Enrico and Baudot, Anais and Krasnogor, Natalio and Valencia, Alfonso (2010) TopoGSA: network topological gene set analysis. Bioinformatics, 26 (9). pp. 1271-1272. ISSN 1367-4803

Al-Hammadi, Yousof and Aickelin, Uwe (2010) Behavioural correlation for detecting P2P bots. In: Second International Conference on Future Networks, 2010: ICFN '10. IEEE, pp. 323-327. ISBN 978-0-7695-3940-9

Haichang, Gao and Zhongjie, Ren and Xiuling, Chang and Xiyang, Liu and Aickelin, Uwe (2010) A new graphical password scheme resistant to shoulder-surfing. International Conference on CyberWorlds, 2010 . (In Press)

Wang, Liming and Chang, Xiuling and Ren, Zhongjie and Haichang, Gao and Liu, Xiyang and Aickelin, Uwe (2010) Against spyware using CAPTCHA in graphical password scheme. International Conference on Advanced Information Networking and Applications, 24 . pp. 760-767.

Haichang, Gao and Liu, Honggang and Yao, Dan and Liu, Xiyang and Aickelin, Uwe (2010) An audio CAPTCHA to distinguish humans from computers. In: Third International Symposium on Electronic Commerce and Security, ISECS2010: Guangzhou, China, 29-31 July 2010. IEEE Computer Society, Los Alamos, Calif., pp. 265-269.

Greensmith, Julie and Whitbrook, Amanda and Aickelin, Uwe (2010) Artificial immune systems. In: Handbook of metaheuristics. International series in operations research & management science, 2nd edition (146). Springer, Dordrecht, pp. 421-448. ISBN 9781441916631

Gao, Haichang and Chang, Xiuling and Ren, Zhongjie and Aickelin, Uwe and Wang, Liming (2010) Can background baroque music help to improve the memorability of graphical passwords? In: Image analysis and recognition: 7th international conference, ICIAR 2010, Povoa de Varzim, Portugal, June 21-23, 2010: proceedings. Lecture notes in computer science, 2 (6112). Springer, Berlin, pp. 378-387. ISBN 9783642137747

Figueredo, Grazziela and Aickelin, Uwe (2010) Defining a simulation strategy for cancer immunocompetence. In: Artificial immune systems: 9th international conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010: proceedings. Lecture notes in computer science (6209). Springer, Berlin, pp. 4-17. ISBN 9783642145469

Liu, Xiyang and Ren, Zhongjie and Chang, Xiuling and Gao, Haichang and Aickelin, Uwe (2010) Draw a line on your PDA to authenticate. In: Symposium on Usable Privacy and Security, SOUPS2010, 14-16 July 2010, Redmond, WA.

Schnädelbach, Holger and Glover, Kevin and Irune, Ainojie Alexander (2010) ExoBuilding: breathing Life into architecture. In: NordiCHI 2010: proceedings of the 6th Nordic Conference on Human-Computer Interaction, October 16-20, 2010, Reykjavik, Iceland. ACM Press, New York, pp. 442-451. ISBN 9781605589343

Twycross, Jamie and Aickelin, Uwe (2010) Information fusion in the immune system. Information Fusion, 11 (1). pp. 35-44. ISSN 1566-2535

Figueredo, Grazziela and Aickelin, Uwe (2010) Investigating immune system aging: system dynamics and agent-based modeling. In: Summer Computer Simulation Conference (SCSC): 12-14 July, Ottawa, ON, Canada. Society for Modeling and Simulation International. ISBN 9781617387029

Al-Hammadi, Yousof and Aickelin, Uwe and Greensmith, Julie (2010) Performance evaluation of DCA and SRC on a single bot detection. Journal of Information Assurance and Security, 5 (1). pp. 265-275. ISSN 1554-1010

Whitbrook, Amanda and Aickelin, Uwe and Garibaldi, Jonathan (2010) Real-world transfer of evolved artificial immune system behaviours between small and large scale robotic platforms. Evolutionary Intelligence, 3 (3-4). pp. 123-136. ISSN 1864-5909

Feyereisl, Jan and Aickelin, Uwe (2010) STORM - a novel information fusion and cluster interpretation technique. In: Intelligent data engineering and automated learning -- IDEAL 2009:10th internatio conference, Bourgos, Spain, September 23-26, 2009: proceedings. Lecture notes in computer science (5788). Springer, Berlin, pp. 208-218. ISBN 9783642043949

Sherman, Galina and Menachof, David and Siebers, Peer-Olaf and Aickelin, Uwe (2010) Scenario analysis, decision trees and simulation for cargo screening. In: Operational Research Society Simulation Workshop 2010, 23-24 March 2010, Worcestershire, UK. (Unpublished)

Sherman, Galina and Siebers, Peer-Olaf and Aickelin, Uwe and Menachof, David (2010) Scenario analysis, decision trees and simulation for cost benefit analysis of the cargo screening process. In: The International Workshop on Applied Modelling and Simulation: WAMS, Buizos, 2010. COPPE/UFRJ, Rio de Janeiro, pp. 287-295. ISBN 9788528501353

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Chris W. (2010) Simulating customer experience and word-of-mouth in retail: a case study. Simulation, 86 (1). pp. 5-30. ISSN 0037-5497

Whitbrook, Amanda and Aickelin, Uwe and Garibaldi, Jonathan M. (2010) The transfer of evolved artificial immune system behaviours between small and large scale robotic platforms. In: Artificial evolution: 9th International Conference = Evolution Artificielle, EA 2009: Strasbourg, France, October 26-28, 2009: revised selected papers. Lecture notes in computer science (5975). Springer, Berlin, pp. 122-133. ISBN 9783642141553

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Chris (2010) Towards the development of a simulator for investigating the impact of people management practices on retail performance. Journal of Simulation . ISSN 1747-7778 (In Press)

Whitbrook, Amanda and Aickelin, Uwe and Garibaldi, Jonathan M. (2010) Two-timescale learning using idiotypic behaviour mediation for a navigating mobile robot. Applied Soft Computing, 10 (3). pp. 876-887. ISSN 1568-4946

Rennick Egglestone, Stefan and Boucher, Andy and Rodden, Tom and Law, Andy and Humble, Jan and Greenhalgh, Chris and Greenberg, Saul (2009) Supporting the design of network-spanning applications. In: CHI EA '09: proceedings of the 27th international conference extended abstracts on human factors in computing systems. ACM Press, New York. ISBN 978-1-60558-247-4

Aickelin, Uwe and Li, Jingpeng and Burke, Edmund (2009) An evolutionary squeaky wheel optimisation approach to personnel scheduling. IEEE Transactions on Evolutionary Computation, 13 (2). pp. 433-443. ISSN 1089-778X

Greensmith, Julie and Aickelin, Uwe (2009) Artificial dendritic cells: multi-faceted perspectives. In: Human-centric information processing through granular modelling. Studies in computational intelligence (182). Springer, Berlin, pp. 375-395. ISBN 9783540929154

Glaab, Enrico and Garibaldi, Jon and Krasnogor, Natalio (2009) ArrayMining: a modular web-application for microarray analysis combining ensemble and consensus methods with cross-study normalization. BMC Bioinformatics, 10 . Article 358. ISSN 1471-2105

Abdul Majid, Mazlina and Aickelin, Uwe and Siebers, Peer-Olaf (2009) Comparing simulation output accuracy of discrete event and agent based models: a quantitative approach. Proceedings of the Summer Computer Simulation Conference, 2009 . pp. 177-184.

Siebers, Peer-Olaf and Sherman, Galina and Aickelin, Uwe (2009) Development of a cargo screening process simulator: a first approach. In: 6th International Mediterranean Modeling Multiconference (EMSS 2009), 23-25 Sept. 2009, Tenerife, Spain.

Gu, Feng and Greensmith, Julie and Aickelin, Uwe (2009) Exploration of the dendritic cell algorithm with the duration calculus. In: Artificial immune systems: 8th international conference, ICARIS 2009, York, UK, August 9-12, 2009: proceedings. Lecture notes in computer science (5666). Springer, Berlin, pp. 54-66. ISBN 9783642032455

Abdul Majid, Mazlina and Aickelin, Uwe and Siebers, Peer-Olaf (2009) Investigating output accuracy for a discrete event simulation model and an agent based simulation model. In: 2009 INFORMS Simulation Society Research Workshop: Simulation: At the Interface of Modeling and Analysis, 25-27 June 2009, Warwick, UK.

Whitbrook, Amanda and Aickelin, Uwe and Garibaldi, Jonathan M. (2009) Mimicking the behaviour of idiotypic AIS robot controllers using probabilistic systems. In: 13th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2009, 10-13 July 2009, Orlando, Florida, USA. (Unpublished)

Siebers, Peer-Olaf and Aickelin, Uwe and Menachof, David and Sherman, Galina (2009) Modelling and analysing cargo screening processes: a project outline. In: 2009 INFORMS Simulation Society Research Workshop: Simulation: At the Interface of Modeling and Analysis, 25-27 June 2009, Warwick, UK.

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Chris (2009) Modelling and simulating retail management practices: a first approach. International Journal of Simulation and Process Modelling, 5 (3). pp. 215-232. ISSN 1740-2131

Gu, Feng and Greensmith, Julie and Oates, Robert and Aickelin, Uwe (2009) PCA 4 DCA: the application of principal component analysis to the Dendritic Cell Algorithm. In: 9th Annual Workshop on Computational Intelligence (UKCI 2009), 7-9 Sept. 2009, Nottingham, UK.

Ji, Yongnan and Hervé, Pierre-Yves and Aickelin, Uwe and Pitiot, Alain (2009) Parcellation of fMRI datasets with ICA and PLS: a data driven approach. In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009: 12th International Conference, London, UK, September 20-24, 2009: proceedings. Part 1. Lecture notes in computer science (5761). Springer, Berlin, pp. 984-991. ISBN 9783642042683

Figueredo, Grazziela and Aickelin, Uwe and Whitbrook, Amanda (2009) System dynamics modelling of the processes involving the maintenance of the naive T cell repertoire. In: Proceedings of the 9th Annual Workshop on Computational Intelligence (UKCI 2009), Nottingham, UK. Intelligent Modelling & Analysis (IMA), Nottingham, pp. 13-18.

Whitbrook, Amanda and Aickelin, Uwe and Garibaldi, Jonathan M. (2009) The use of probabilistic systems to mimic the behaviour of idiotypic AIS robot controllers. Journal of Systemics, Cybernetics and Informatics, 7 (6). pp. 72-79. ISSN 1690-4524

Backhouse, Roland and Doornbos, Henk (2008) Datatype-generic termination proofs. Theory of Computing Systems, 43 (3-4). pp. 362-393. ISSN 1433-0490

Greensmith, Julie and Aickelin, Uwe and Cayzer, Steve (2008) Detecting danger: the Dendritic Cell Algorithm. In: Robust intelligent systems. Springer Publishing Company, London, pp. 89-112. ISBN 9781848002609

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Chris (2008) Agent based simulation as a novel decision support tool for retail managers. In: ECMI 2008 - European Consortium for Mathematics in Industry , 30 June - 4 July 2008, London, UK. (Unpublished)

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Chris (2008) An agent-based simulation of in-store customer experiences. In: Operational Research Society 4th Simulation Workshop, Worcestershire, UK, Worcestershire, UK.

Whitbrook, Amanda and Aickelin, Uwe and Garibaldi, Jonathan M. (2008) An idiotypic immune network as a short-term learning architecture for mobile robots. In: Artificial immune systems: 7th international conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008: proceedings. Lecture notes in computer science (5132). Springer, Berlin, pp. 266-278. ISBN 9783540850717

Adewunmi, Adrian and Aickelin, Uwe and Byrne, Mike (2008) An investigation of sequential sampling method for crossdocking simulation output variance reduction. In: Operational Research Society 4th Simulation Workshop (SW08), 1-2.04.2008, Worcestershire, UK.

Al-Hammadi, Yousof and Aickelin, Uwe and Greensmith, Julie (2008) DCA for bot detection. In: IEEE Congress on Evolutionary Computation, 2008: CEC 2008. IEEE, 1807 - 1816.

Al-Hammadi, Yousof and Aickelin, Uwe (2008) Detecting bots based on keylogging activities. In: Proceedings of the Third International Conference on Availability, Security, and Reliability: March 4-7, 2008, Barcelona, Spain. IEEE Computer Society, Los Alamitos, Calif., pp. 896-902. ISBN 9780769531021

Gu, Feng and Greensmith, Julie and Aickelin, Uwe (2008) Further exploration of the Dendritic Cell Algorithm: antigen multiplier and time windows. In: Artificial immune systems: 7th international conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008: proceedings. Lecture notes in computer science (5132). Springer, pp. 142-153. ISBN 9783540850717

Whitbrook, Amanda and Aickelin, Uwe and Garibaldi, Jonathan M. (2008) Genetic algorithm seeding of idiotypic networks for mobile-robot navigation. In: 5th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2008), 11-15 May 2008, Madiera, Portugal. (Unpublished)

Majid, Mazlina Abdul and Aickelin, Uwe and Siebers, Peer-Olaf (2008) Modelling and analysing human behaviour in a department store using discrete event and agent based simulation. In: Annual Operational Research Conference 50 (OR 50), 9-11 September 2008, York, UK. (Unpublished)

Adewunmi, Adrian and Aickelin, Uwe (2008) Optimisation of a crossdocking distribution centre simulation model. In: Proceedings of the 2008 International Simulation Multi-conference. The Society For Modeling and Simulation International (SCS), San Diego, Calif, 434 - 439.

Tedesco, Gianni and Aickelin, Uwe (2008) Real-time alert correlation with type graphs. In: Information systems security: 4th international conference, ICISS 2008, Hyderabad, India, December 16-20, 2008: proceedings /. Lecture notes in computer science (5352). Springer, Berlin, pp. 173-187. ISBN 9783540898627

Aickelin, Uwe (2008) Special issue on artificial immune systems: editorial. Evolutionary Intelligence, 1 (2). pp. 83-84. ISSN 1864-5909

Greensmith, Julie and Feyereisl, Jan and Aickelin, Uwe (2008) The DCA:SOMe comparison: a comparative study between two biologically-inspired algorithms. Evolutionary Intelligence, 1 (2). pp. 85-112. ISSN 1864-5909

Greensmith, Julie and Aickelin, Uwe (2008) The deterministic Dendritic Cell Algorithm. In: 7th International Conference on Artificial Immune Systems (ICARIS2008), Phuket, Thailand.

Siebers, Peer-Olaf and Aickelin, Uwe and Battisti, Giuliana and Helen, Celia and Clegg, Chris and Fu, Xiaolan and Hoyos, Raphael De and Iona, Alfonsiana and Petrescu, Alina and Peixoto, Adriano (2008) The role of management practices in closing the productivity gap. Discussion Paper. Advanced Institute of Management Research, London.

Feyereisl, Jan and Aickelin, Uwe (2008) ToLeRating UR-STD. In: 2nd International Conference on Emerging Security Information, Systems and Technologies, August 25-31, 2008, Cap Esterel, France.

Kim, Jungwon and Bentley, Peter and Aickelin, Uwe and Greensmith, Julie and Tedesco, Gianni and Twycross, Jamie (2007) Immune System Approaches to Intrusion Detection - A Review. Natural Computing, 6 (4). pp. 413-466. ISSN 1567-7818

Moss, Ben (2007) IWAVE: Interactive Web-based Algorithm Visualization Environment. Technical Report. Virtual Learning Lab, University of Nottingham, UK, Nottingham, UK. (Submitted)

Macdonald, Alexander J. and Brailsford, David F. and Bagley, Steven R. and Lumley, John (2007) Speculative document evaluation. In: ACM Symposium on Document Engineering (DocEng07), 29-31 August 2007, Winnipeg, Canada.

Burke, Edmund and MacCloumn, Barry and Meisels, Amnon and Petrovic, Sanja and Qu, Rong (2007) A Graph-Based Hyper Heuristic for Timetabling Problems. European Journal of Operational Research, 176 . pp. 177-192.

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Christopher (2007) A Multi-Agent Simulation of Retail Management Practices. In: Proceedings of the Summer Computer Simulation Conference (SCSC 2007), San Diego, USA.

Gu, Feng and Aickelin, Uwe and Greensmith, Julie (2007) An Agent-based Classification Model. In: The 9th European Agent Systems Summer School (EASSS 2007), Durham, UK.

Aickelin, Uwe and Li, Jingpeng (2007) An Estimation of Distribution Algorithm for Nurse Scheduling. Annals of Operations Research, 155 (1). pp. 289-309. ISSN 1572-9338

Aickelin, Uwe and Burke, Edmund and Li, Jingpeng (2007) An Estimation of Distribution Algorithm with Intelligent Local Search for Rule-based Nurse Rostering. Journal of the Operational Research Society . (In Press)

Twycross, Jamie and Aickelin, Uwe (2007) An Immune Inspired Approach to Anomaly Detection. In: Handbook of Research on Information Assurance and Security. IDEAS Publishing. (In Press)

Twycross, Jamie and Aickelin, Uwe (2007) Biological Inspiration for Artificial Immune Systems. In: Proceedings of the 6th International Conference on Artificial Immune Systems (ICARIS 2007), Santos, Brazil.

Greensmith, Julie and Aickelin, Uwe (2007) Dendritic Cells for SYN Scan Detection. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2007).

Wilson, William and Feyereisl, J and Aickelin, Uwe (2007) Detecting Motifs in System Call Sequences. In: Proceedings of the 8th International Workshop on Information Security Applications (WISA 2007), Jeju, Korea.

Bagley, Steven R. and Brailsford, David F. and Ollis, James A. (2007) Extracting reusable document components for variable data printing. In: ACM Symposium on Document Engineering, 29-31 August 2007, Winnipeg, Canada.

Majid, Mazlina and Aickelin, Uwe and Siebers, Peer-Olaf (2007) Human Behavious Modelling for Discrete Event and Agent Based Simulation: A Case Study. In: Annual Operational Research Conference 49 (OR 49), Edinburgh, UK.

Whitbrook, Amanda and Aickelin, Uwe and Garibaldi, Jon (2007) Idiotypic Immune Networks in Mobile Robot Control. IEEE Transactions on Systems, Man and Cybernetics Part B . (In Press)

Kim, Jungwon and Bentley, Peter and Aickelin, Uwe and Greensmith, Julie and Tedesco, Gianni and Twycross, Jamie (2007) Immune System Approaches to Intrusion Detection - A Review. Natural Computing . (In Press)

Greensmith, Julie and Aickelin, Uwe and Tedesco, Gianni (2007) Information Fusion for Anomaly Detection with the Dendritic Cell Algorithm. Information Fusion . (In Press)

Siebers, Peer-Olaf and Aickelin, Uwe (2007) Introduction to Multi-Agent Simulation. In: Encyclopedia of Decision Making and Decision Support Technologies. IDEAS Group. (In Press)

Abdullah, Salwani and Aickelin, Uwe and Burke, Edmund and Din, Aniza and Qu, Rong (2007) Investigating a Hybrid Metaheuristic For Job Shop Rescheduling. In: Proceedings of the 3rd Australian Conference on Artificial Life (ACAL.07), Gold Coast, Australia.

Wilson, William and Birkin, Phil and Aickelin, Uwe (2007) Motif detection inspired by immune memory. Lecture Notes in Computer Science, 4628 . pp. 276-287. ISSN 0302-9743

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Christopher (2007) Multi-Agent Simulation and Management Practices. In: Encyclopedia of Decision Making and Decision Support Technologies. IDEAS Group. (In Press)

Adewunmi, Adrian and Aickelin, Uwe (2007) Noise Reduction Technique for a Simulation Optimisation Study. In: Annual Operational Research Conference 49 (OR 49), Edinburgh, UK.

Aickelin, Uwe and Twycross, Jamie and Hesketh-Roberts, Thomas (2007) Rule Generalisation in Intrusion Detection Systems using Snort. International Journal of Electronic Security and Digital Forensics, 1 (1). pp. 101-116.

Aickelin, Uwe and Greensmith, Julie (2007) Sensing Danger: Innate Immunology for Intrusion Detection. Information Security Technical Report . ISSN 1363-4127 (In Press)

Oates, Robert and Greensmith, Julie and Aickelin, Uwe and Garibaldi, Jon and Kendall, Graham (2007) The Application of a Dendric Cell Algorithm to a Robotic Classifier. In: Proceedings of the 6th International Conference on Artificial Immune Systems (ICARIS 2007), Santos, Brazil.

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Christopher (2007) Understanding Retail Productivity by Simulating Management Practices. In: Proceedings of the EUROSIM Congress on Modelling and Simulation (EUROSIM 2007), Ljubljana, Slovenia.

Celia, Helen and Clegg, Christopher and Siebers, Peer-Olaf and Aickelin, Uwe (2007) Understanding the Impact of Management Practices and Other Factors on Productivity in the UK Retail Sector. In: The 13th European Congress of Work and Organizational Psychology (EAWOP 2007), 9 - 12 May, Stockholm, Sweden.

Siebers, Peer-Olaf and Aickelin, Uwe and Celia, Helen and Clegg, Christopher (2007) Using Intelligent Agents to Understand Management Practices and Retail Productivity. In: Proceedings of the Winter Simulation Conference (WSC 2007), Washington, USA.

Celia, Helen and Clegg, Christopher and Robinson, Mark and Siebers, Peer-Olaf and Aickelin, Uwe and Sprigg, Christine (2007) Using intelligent agents to understand organisational behaviour. In: British Psychology Society Annual Conference, Division of Occupational Psychology (BPS 2007), 10-12 January 2007, Bristol, UK. (Unpublished)

Reeves, Stuart (2006) The code document's structure and analysis. TeamEthno-Online, 2 .

Jago, Mark (2006) Belief and Bounded Rationality.

Jago, Mark (2006) Belief and Bounded Rationality.

Burke, Edmund and Petrovic, Sanja and Qu, Rong (2006) Case Based Heuristic Selection for Timetabling Problems. Journal of Scheduling, 9 (2). pp. 115-132. ISSN 1094-6136

Jago, Mark (2006) Imagine the Possibilities: Information without Overload.

Burke, Edmund and MacCarthy, Bart L. and Petrovic, Sanja and Qu, Rong (2006) Multiple-retrieval case-based reasoning for course timetabling problems. Journal of the Operational Research Society, 57 (2). pp. 148-162. ISSN 0160-5682

Li, Jingpeng and Aickelin, Uwe and Burke, Edmund (2006) A Component Based Heuristic Search Method with AdaptivePerturbations for Hospital Personnel Scheduling. Technical Report NOTTCS-TR-2007-4 .

Burke, Edmund and MacCloumn, Barry and Meisels, Amnon and Petrovic, Sanja and Qu, Rong (2006) A Graph-Based Hyper Heuristic for Timetabling Problems. European Journal of Operational Research, 176 . pp. 177-192.

Tedesco, Gianni and Aickelin, Uwe (2006) An Immune Network Intrusion Detection System Utilising Correlation Context. In: Proceedings of the Workshop on Artificial Immune Systems and Immume System Modelling (AISB 2006), Bristol, UK.

Tedesco, Gianni and Aickelin, Uwe (2006) An immune inspired Network Intrusion Detection System utilising correlation. In: AISB '06: adaptation in artificial and biological systems. Society for the Study of Artificial Intelligence and the Simulation of Behaviour, Bristol, pp. 16-17. ISBN 1902956975

Greensmith, Julie and Aickelin, Uwe and Twycross, Jamie (2006) Articulation and Clarification of the Dendric Cell Algorithm. In: Proceedings of the 5th International Conference on Artificial Immune Systems (ICARIS 2006), Oeiras, Portugal.

Feyereisl, J and Aickelin, Uwe (2006) Artificial Immune Tissue using Self-Organizing Networks. In: Workshop on Artificial Immune Systems and Immune System Modelling, Bristol.

Li, Jingpeng and Aickelin, Uwe (2006) BOA for nurse scheduling. In: Scalable optimization via probabilistic modeling: from algorithms to applications. Studies in computational intelligence, 33 (33). Springer. ISBN 9783540349532

Li, Jingpeng and Aickelin, Uwe (2006) Bayesian Optimisation Algorithm for Nurse Scheduling, Scalable Optimization via Probabilistic Modeling. In: Algorithms to Applications (Studies in Computational Intelligence). Springer, pp. 315-332.

Bacardit, Jaume and Krasnogor, Natalio (2006) BioHEL: Bioinformatics-oriented Hierarchical Evolutionary Learning. Technical Report. Computer Science & IT, University of Nottingham. (Unpublished)

Tedesco, Gianni and Aickelin, Uwe (2006) Data Reduction in Intrusion Alert Correlation. WSEAS Transactions on Computers . pp. 186-193.

Chen, Qi and Aickelin, Uwe (2006) Dempster-Shafer for Anomaly Detection. In: Proceedings of the International Conference on Data Mining (DMIN 2006), Las Vegas, USA.

Greensmith, Julie and Twycross, Jamie and Aickelin, Uwe (2006) Dendritic Cells for Anomaly Detection. In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2006), Vancouver, Canada.

Greensmith, Julie and Aickelin, Uwe (2006) Dendritic Cells for Real-Time Anomaly Detection. In: Proceedings of the Workshop on Artificial Immune Systems and Immune System Modelling (AISB 2006), Bristol, UK.

Al-Hammadi, Yousof and Aickelin, Uwe (2006) Detecting Botnets Through Log Correlation. In: Proceedings of the Workshop on Monitoring, Attack Detection and Mitigation (MonAM 2006), Tuebingen, Germany.

Macdonald, Alexander J. and Brailsford, David F. and Lumley, John (2006) Evaluating Invariances in Document Layout Functions. In: 2006 ACM Symposium on Document Engineering, 10-13 October 2006, Amsterdam, The Netherlands.

Twycross, Jamie and Aickelin, Uwe (2006) Experimenting with Innate Immunity. In: Proceedings of the Workshop on Artificial Immune Systems and Immune System Modelling (AISB 2006), Bristol, UK.

Aickelin, Uwe and Burke, Edmund and Li, Jingpeng (2006) Improved Squeaky Wheel Optimisation for Driver Scheduling. In: Proceedings of the 9th International Conference on Parallel Problem Solving from Nature (PPSN IX), Reykjavik, Iceland.

Tedesco, Gianni and Twycross, Jamie and Aickelin, Uwe (2006) Integrating Innate and Adaptive Immunity for Intrusion Detection. In: Proceedings of the 5th International Conference on Artificial Immune Systems (ICARIS 2006), Oeiras, Portugal.

Brailsford, David F. (2006) Laying out the future of final-form digital documents. In: Electronic Imaging Science and Technology : Digital Publishing, 16-17 January 2006, San Jose, California, USA.

Twycross, Jamie and Aickelin, Uwe (2006) Libtissue - Implementing Innate Immunity. In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2006), Vancouver, Canada.

Garrett, Simon and Robbins, Martin and Walker, Joanne and Wilson, William and Aickelin, Uwe (2006) Modelling Immunological Memory. In: Silico Immunology. Springer, pp. 83-108.

Wilson, William and Birkin, Phil and Aickelin, Uwe (2006) Oil Price Trackers Inspired by Immune Memory. In: Proceedings of the Workshop on Artificial Immune Systems and Immune System Modelling (AISB 2006), Bristol, UK.

Wilson, William and Birkin, Phil and Aickelin, Uwe (2006) Price Trackers Inspired by Immune Memory. In: Proceedings of the 5th International Conference on Artificial Immune Systems (ICARIS 2006), Oeiras, Portugal.

Jago, Mark (2006) Rule-based and Resource-bounded: A New Look at Epistemic Logic. In: Workshop on Logics for Resource Bounded Agents, 7 - 11 August 2006, ESSLLI 2006, Malaga, Spain. (In Press)

Aickelin, Uwe and Adewunmi, Adrian (2006) Simulation Optimization of the Crossdock Door Assignmnet Problem. In: UK Operational Research Society Simulation Workshop 2006 (SW06), Leamington Spa. (Unpublished)

Reeves, Stuart and Pridmore, Tony and Crabtree, Andy and Green, Jonathan and Benford, Steve and O'Malley, Claire (2006) The spatial character of sensor technology. In: Designing Interactive Systems (DIS), July 2006, State College, PA, USA.

Hutton, Graham (2005) Report on BCTCS 2005. Bulletin of the European Association for Theoretical Computer Science, 86 . pp. 241-256.

Hutton, Graham and Gibbons, Jeremy (2005) Proof Methods for Corecursive Programs. Fundamenta Informaticae Special Issue on Program Transformation, 66 (4). pp. 353-366.

Greensmith, Julie and Aickelin, Uwe and Cayzer, Steve (2005) 'Introducing Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection'. In: ICARIS-2005, 4th International Conference on Artificial Immune Systems, LNCS 3627, 2005, Banff, Canada.

Aickelin, Uwe and Dasgupta, D (2005) 'Artificial Immune Systems Tutorial'. In: Introductory Tutorials in Optimisation, Decision Support and Search Methodology (eds. E. Burke and G. Kendall). Kluwer.

Kim, Jungwon and Wilson, William and Aickelin, Uwe and McLeod, Julie (2005) 'Cooperative Automated worm Response and Detection ImmuNe ALgorithm (CARDINAL) inspired by T-cell Immunity and Tolerance'. In: ICARIS-2005, 4th International Conference on Artificial Immune Systems, LNCS 3627, 2005, Banff, Canada.

Kim, Jungwon and Greensmith, Julie and Twycross, Jamie and Aickelin, Uwe (2005) 'Malicious Code Execution Detection and Response Immune System inspired by the Danger Theory'. In: Adaptive and Resilient Computing Security Workshop (ARCS-05), 2005, Santa Fe, USA.

Twycross, Jamie and Aickelin, Uwe (2005) 'Towards a Conceptual Framework for Innate Immunity'. In: ICARIS-2005, 4th International Conference on Artificial Immune Systems, LNCS 3627, 2005, Banff, Canada.

Brucker, Peter and Qu, Rong and Burke, Edmund and Post, Gerhard (2005) A Decomposition, Construction and Post-Processing Approach for Nurse Rostering. In: Multidisciplinary International Conference on Scheduling : Theory and Applications, Aug, 2005, New York.

Burke, Edmund and MacCloumn, Barry and Meisels, Amnon and Petrovic, Sanja and Qu, Rong (2005) A Graph-Based Hyper Heuristic for Timetabling Problems. European Journal of Operational Research . (In Press)

Cayzer, Steve and Aickelin, Uwe (2005) A Recommender System based on Idiotypic Artificial Immune Networks. Journal of Mathematical Modelling and Algorithms, 4(2), . pp. 181-198.

Hope, Catherine and Hutton, Graham (2005) Accurate Step Counting. In: 17th International Workshop on Implementation and Application of Functional Languages, Dublin, Ireland.

Dennis, Louise Abigail (2005) An Architecture for Proof Planning Systems. In: Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05, July, Edinburgh.

Aickelin, Uwe and Li, Jingpeng (2005) An Estimation of Distribution Algorithm for Nurse Scheduling. accepted for publication by Annals of OR .

Hutton, Graham and Wright, Joel (2005) Calculating an Exceptional Machine. In: Proceedings of the Fifth Symposium on Trends in Functional Programming, Munich, Germany.

Reeves, Stuart and Benford, Steve and O'Malley, Claire and Fraser, Mike (2005) Designing the Spectator Experience. In: SIGCHI Conference on Human Factors in Computing Systems (CHI), 4/2005, Portland, Oregon.

Macdonald, Alexander J. and Brailsford, David F. and Bagley, Steven R. (2005) Encapsulating and Manipulating Component Object Graphics (COGs) using SVG. In: ACM Symposium on Document Engineering (DocEng05), 2 - 4 November 2005, Bristol UK.

Thomas, Peter L. and Brailsford, David F. (2005) Enhancing composite Digital Documents Using XML-based Standoff Markup. In: ACM Symposium on Document Enginering (DocEng05), 2 - 4 November 2005, Bristol UK.

Burke, Edmund and Dror, Moshe and Petrovic, Sanja and Qu, Rong (2005) Hybrid Graph Heuristics within a Hyper-heuristic Approach to Exam Timetabling Problems. In: The Next Wave in Computing, Optimization, and Decision Technologies. Springer, pp. 79-91.

Qu, Rong and Burke, Edmund (2005) Hybrid Variable Neighborhood HyperHeuristics for Exam Timetabling Problems. In: The Sixth Metaheuristics International Conference 2005, Aug, 2005, Vienna, Austria.

Qu, Rong and Burke, Edmund (2005) Hybrid Variable Neighborhood HyperHeuristics for Exam Timetabling Problems. In: The Sixth Metaheuristics International Conference 2005, Aug, 2005, Vienna, Austria.

Greensmith, Julie and Aickelin, Uwe and Cayzer, Steve (2005) Introducting Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection. In: Proceedings of the 4th International Conference on Artificial Immune Systems (ICARIS 2005), Banff, Canada.

Dennis, Louise Abigail and Jamnik, Mateja and Pollet, Martin (2005) On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. In: 12th Symposium on the Integratoin of Symbolic Computation and Mechanized Reasoning (Calculemus 2005), July, Newcastle. (In Press)

Tedesco, Gianni and Aickelin, Uwe (2005) Strategic Alert Throttling for Intrusion Detection Systems. In: 4th WSEAS International Conference on Information Security, 2005, Tenerife, Spain.

Dennis, Louise Abigail (2005) Student attitudes to plagiarism and collusion within computer science. In: Plagiarism: Prevention, Practics and Policy, July 2004, Newcastle-Upon-Tyne, UK.

Dennis, Louise Abigail and Nogueira, Pablo (2005) What can be learned from failed proofs of non-theorems? In: Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, September, Oxford.

Reeves, Stuart and Benford, Steve and O'Malley, Claire (2004) Performance interfaces and destabilisation. In: "No one opens attachments anymore'' Workshop, 4-5 Nov 2004, Lancaster, UK.

Hardy, Matthew and Brailsford, David and Thomas, Peter (2004) Creating Structured PDF Files Using XML Templates. In: ACM Symposium on Document Engineering (DocEng2004), 27-31 October 2004, Milwaukee, USA.

Fraser, Mike and Bowers, John and Brundell, Pat and O'Malley , Claire and Reeves, Stuart and Benford, Steve and Ciolfi, Luigina and Ferris, Kieran and Gallagher, Paul and Hall, Tony and Bannon, Liam and Taxén, Gustav and Hellström, Sten Olof (2004) Re-tracing the past: mixing realities in museum settings. In: Conference on Advances in Computer Entertainment (ACE), 3-5 June 2004, Singapore.

Aickelin, Uwe and Burke, Edmund and Mohamed Din, Aniza (2004) 'Investigating Artificial Immune Systems For Job Shop Rescheduling In Changing Environments'. In: 6th International Conference in Adaptive Computing in Design and Manufacture, 2004, Bristol, UK.

Aickelin, Uwe and Chen, Qi (2004) 'On Affinity Measures for Artificial Immune System Movie Recommenders'. In: RASC-2004, The 5th International Conference on: Recent Advances in Soft Computing, 2004, Nottingham, UK.

Aickelin, Uwe (2004) 'Artificial Immune Systems: A new Decision Making Paradigm for Operational Research'. In: Annual Operational Research Conference 46, 7-9 September 2004, York, UK.

Aickelin, Uwe and Li, Jingpeng (2004) 'Bayesian Optimisation for Nurse Scheduling'. In: Combinatorial Optimization Conference (CO2004), 2004.

Aickelin, Uwe and Greensmith, Julie and Twycross, Jamie (2004) 'Immune System Approaches to Intrusion Detection - A Review'. In: ICARIS-2004, 3rd International Conference on Artificial Immune Systems, LNCS 3239, 2004, Catalania, Italy.

Chen, Qi and Aickelin, Uwe (2004) 'Movie Recommendation Systems Using An Artificial Immune System'. In: 6th International Conference in Adaptive Computing in Design and Manufacture, 2004, Bristol, UK.

Li, Jingpeng and Aickelin, Uwe (2004) 'The application of Bayesian Optimization and Classifier Systems in Nurse Scheduling'. In: 8th International Conference on Parallel Problem Solving from Nature (PPSN VIII), LNCS 3242, 2004, Birmingham, UK.

Aickelin, Uwe (2004) A New Paradigm for Heuristic Decision Making, Invited Keynote Talk. In: Annual Operational Research Conference 46, York, UK.

Aickelin, Uwe and Dowsland, Kathryn (2004) An Indirect Genetic Algorithm for a Nurse Scheduling Problem. Computers & Operations Research, 31 (5). pp. 761-778. ISSN 0305-0548

Burke, Edmund and Eckersley, Adam and McCollum, Barry and Petrovic, Sanja and Qu, Rong (2004) Analysing Similarity in Exam Timetabling. In: International Conference on the Practice and Theory of Automated Timetabling 2004, Aug 2004, Pittsburg, US.

Burke, Edmund and Eckersley, Adam and McCollum, Barry and Petrovic, Sanja and Qu, Rong (2004) Analysing Similarity in Exam Timetabling. In: International Conference on the Practice and Theory of Automated Timetabling 2004, Aug 2004, Pittsburg, US.

Aickelin, Uwe (2004) Artificial immune systems (AIS) - a new paradigm for heuristic decision making. In: OR 46 (Operational Research Society Annual Conference, 2004), 07-09.09.2004, University of York, UK. (Unpublished)

Aickelin, Uwe and White, Paul (2004) Building Better Nurse Scheduling Algorithms. Annals of Operations Research, 128 . pp. 159-177.

Hutton, Graham and Wright, Joel (2004) Compiling Exceptions Correctly. In: Proceedings of the 7th International Conference on Mathematics of Program Construction, July 2004, Stirling, Scotland.

Greensmith, Julie and Aickelin, Uwe and Twycross, Jamie (2004) Detecting Danger: Applying a Novel Immunological Concept to Intrusion Detection Systems'. In: 6th International Conference in Adaptive Computing in Design and Manufacture, 2004, Bristol, UK.

Sellers, William Irvin and Dennis, Louise Abigail and Wang, W.-J. and Crompton, Robin Hugh (2004) Evaluating alternative gait strategies using evolutionary robotics. Journal of Anatomy, 204 . pp. 343-351.

Bagley, Steven R. and Brailsford, David F. (2004) Page Composition using PPML as a Link-editing Script. In: ACM Symposium on Document Engineering (DocEng '04), 28-30 October 2004, Milwaukee, USA.

Dennis, Louise Abigail (2004) The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs. In: IJCAR 2004 Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability, July 2004, Cork, Ireland.

Moss, Ben (2003) A Note on Collaborating Adversaries in the Srinathan-Kumar-Rangan Transmission Protocol. Technical Report. University of Nottingham. (Unpublished)

Li, Jingpeng and Aickelin, Uwe (2003) 'Explicit Learning: an Effort towards Human Scheduling Algorithms'. In: The 1st Multidisciplinary International Conference on Scheduling: Theory and Applications MISTA 2003, 2003.

Li, Jingpeng and Aickelin, Uwe (2003) 'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem'. In: The 2003 Congress for Evolutionary Computation, 2003, Canberra, Australia.

Aickelin, Uwe and Bentley, Peter and Cayzer, Steve and Kim, Jungwon and McLeod, Julie (2003) 'Danger Theory: The Link between AIS and IDS?'. In: ICARIS-2003, 2nd International Conference on Artificial Immune Systems, 2003, Edinburgh, UK.

Aickelin, Uwe and Bull, Larry (2003) 'On the Application of Hierarchical Coevolutionary Genetic Algorithms: Recombination and Evaluation Partners'. Journal of Applied System Studies, 4 (2). pp. 2-17.

Li, Jingpeng and Aickelin, Uwe (2003) A Bayesian optimization algorithm for the nurse scheduling problem. In: 2003 Congress on Evolutionary Computation (CEC2003), 8-12 Dec. 2003, Canberra, Australia.

Aickelin, Uwe (2003) Artificial Immune System and Intrusion Detection Tutorial. In: Introduction Tutorials in Optimization, Search and Decision Support Methodologies, Nottingham, UK.

Bagley, Steven R. and Brailsford, David F. and Hardy, Matthew R. B. (2003) Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements. In: ACM Symposium on Document Engineering (DocEng '03), 20-22 November 2003, Grenoble, France.

Aickelin, Uwe and Bentley, Peter and Cayzer, Steve and Kim, Jungwon and McLeod, Julie (2003) Danger theory: the link between AIS and IDS? In: Artificial immune systems: second international conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003: proceedings. Springer, Berlin, pp. 147-155. ISBN 3540407669

Sellers, William Irvin and Dennis, Louise Abigail and Crompton, Robin Hugh (2003) Predicting the metabolic energy costs of bipedalism using evolutionary robotics. The Journal of Experimental Biology, 206 . pp. 1127-1136.

Adams, Andrew A. and Dennis, Louise Abigail (2003) Rippling in PVS. In: Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003), September 8, 2003, Rome, Italy.

Burke, Edmund and Eckersley, Adam and McCollum, Barry and Petrovic, Sanja and Qu, Rong (2003) Similarity Measures for Exam Timetabling Problems. In: Multidisciplinary International Conference on Scheduling : Theory and Applications, Aug 2003.

Burke, Edmund and Eckersley, Adam and McCollum, Barry and Petrovic, Sanja and Qu, Rong (2003) Similarity Measures for Exam Timetabling Problems. In: Multidisciplinary International Conference on Scheduling : Theory and Applications, Aug 2003, Nottingham.

Probets, Steve and Brailsford, David (2003) Substituting outline fonts for bitmap fonts in archived PDF files. Software -- Practice and Experience, 33 . pp. 885-899.

Mong, Julius and Brailsford, David (2003) Using SVG as the Rendering Model for Structured and Graphically Complex Web Material. In: ACM Symposium on Document Engineering, 20-22 November 2003, Grenoble, France.

Burke, Edmund and Eckersley, Adam and McCollum, Barry and Sanja, Petrovic and Qu, Rong (2003) Using Simulated Annealing to Study Behaviour of Various Exam Timetabling Data Sets. In: The Fifth Metaheuristics International Conference 2003, Aug 2003, Kyoto, Japan.

Burke, Edmund and Eckersley, Adam and McCollum, Barry and Petrovic, Sanja and Qu, Rong (2003) Using Simulated Annealing to Study Behaviour of Various Exam Timetabling Data Sets. In: The Fifth Metaheuristics International Conference 2003, Aug 2003, Kyoto, Japan.

Hutton, Graham (2002) The Countdown Problem. Journal of Functional Programming, 12 (6). pp. 609-616.

Morrison, Tom and Aickelin, Uwe (2002) 'An Artificial Immune System as a Recommender System for Web Sites'. In: 1st International Conference on ARtificial Immune Systems (ICARIS - 2002), 2002, Canterbury, UK.

Aickelin, Uwe (2002) 'An Indirect Genetic Algorithm for Set Covering Problems'. Journal of the Operational Research Society, 53 (10). pp. 1118-1126.

Aickelin, Uwe and Dowsland, Kathryn (2002) 'Enhanced Direct and Indirect Genetic Algorithm Approaches for a Mall Layout and Tenant Selection Problem'. Journal of Heuristics, 8 (5). pp. 503-514.

Cayzer, Steve and Aickelin, Uwe (2002) 'On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems'. In: 1st International Conference on Artificial Immune Systems (ICARIS - 2002), 2002, Canterbury, UK.

Dennis, Louise Abigail and Bundy, Alan (2002) A Comparison of two Proof Critics: Power vs. Robustness. In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, August 20-23, 2002, Hampton, VA, USA.

Staggemeier, Andrea and Clark, Alistair and Aickelin, Uwe and Smith, Jim (2002) A Hybrid Genetic Algorithm to Solve a Logt-Sizing and Scheduling Problem. In: 16th Triennial Conference of the International Federation of Operational Research Societies (IFORS 2002), Edinburgh, UK.

Cayzer, Steve and Aickelin, Uwe (2002) A Recommender System based on the Immune Network. In: CEC 2002, 2002, Honolulu, USA.

Cayzer, Steve and Aickelin, Uwe (2002) An Artificial Immune System Based Recommender. Research Report HPL-2002-1, HP Labs, Bristol .

Aickelin, Uwe (2002) An Indirect Genetic Algorithm for Set Covering Problems. Journal of the Operational Research Society, 53 (10). pp. 1118-1126.

Petrovic, Sanja and Qu, Rong (2002) Case-Based Reasoning as a Heuristic Selector in a Hyper-Heuristic for Course Timetabling Problems. In: Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies. IOS Press, pp. 336-340.

Moss, Ben and Ashman, Helen (2002) Hash-Tree Anti-Tampering Schemes. In: IEEE International Conference on Information Technology and Applications, November 2002, Bathurst, Australia.

Zimmer, Juergen and Dennis, Louise Abigail (2002) Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus. In: Artificial Intelligence, Automated Reasoning and Symbolic Computation (Calculemus 02), 2002, Marseille, France.

Burke, Edmund and MacCarthy, Bart L. and Petrovic, Sanja and Qu, Rong (2002) Knowledge discovery in hyper-heuristic using case-based reasoning on course timetabling. In: International Conference on the Practice and Theory of Automated Timetabling, Aug 2002, Gent Belgium.

Hardy, Matthew R. B. and Brailsford, David F. (2002) Mapping and Displaying Structural Transformations between XML and PDF. In: ACM Symposium on Document Engineering (DocEng '02), 8-9 November 2002, McLean, Virginia, USA.

Ashman, Helen and Coupe, Henry and Smith, Phil and Neville-Smith, Martin and Gilbert, Martyn (2002) Non-Symbolic Fragmentation. In: IEEE Internatioanl Conference on Internet Technology and Applications, November 2002, Bathurst, Australia.

Cayzer, Steve and Aickelin, Uwe (2002) On The Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems. Research Report BICAS-2002-15, HP Labs, Bristol, UK .

Aickelin, Uwe and Bull, Larry (2002) Partnering Strategies for Fitness Evaluation in a Pyramidal Evolutionary Algorithm. In: Genetic and Evolutionary Computation Conference, 2002, New York, USA.

Aickelin, Uwe and Cayzer, Steve (2002) The Danger Theory and Its Application to Artificial Immune Systems. In: 1st International Conference on Artificial Immune Systems (ICARIS - 2002), 2002, Canterbury.

Aickelin, Uwe and Cayzer, Steve (2002) The Danger Theory and its Application to Artificial Immune Systems. Research Report HPL-2002-244, HP Labs, Bristol .

Colton, Simon and Dennis, Louise Abigail (2002) The NumbersWithNames Program. In: Seventh International Sumposium on Artificial Intelligence and Mathematics, January 2-4, 2002, Fort Lauderdale, Florida, USA.

Hutton, Graham and Gibbons, Jeremy (2001) The Generic Approximation Lemma. Information Processing Letters, 79 (4). pp. 197-201.

Aickelin, Uwe (2001) A Pyramidal Evolutionary Algorithm with Different Inter-Agent Partnering Strategies for Scheduling Problems. In: Genetic and Evolutionary Computation Conference, late-breaking papers volume, 2001.

Aickelin, Uwe (2001) A Pyramidal Evolutionary Algorithm with Different Inter-Agent Partnering Strategies for Scheduling Problems. In: Genetic and Evolutionary Computation Conference, late-breaking papers volume, 2001.

Aickelin, Uwe (2001) A Pyramidal Genetic Algorithm for Multiple-Choice Problems. In: Annual Operational Research Conference 43, Bath.

Ashman, Helen and Gilbert, Martyn (2001) And now for something completely different: looking ahead to new encryption and secrecy protocols. In: Communications Design Conference, October 2001, USA. (Unpublished)

Burke, Edmund and MacCarthy, Bart L. and Petrovic, Sanja and Qu, Rong (2001) Case-based reasoning in course timetabling: an attribute graph approach. In: International Conference on Case-Based Reasoning, Jul 2001, Vancouver, Sanada.

Chapman, Christopher and Brailsford, David (2001) Navigating a corpus of journal papers using Handles. In: Electronic Publishing '01, 5-7 July 2001, University of Kent, UK.

Ashman, Helen (2001) New Directions in Commercial Secrecy and Encryption Protocols. In: Workshop on Applied Cryptography, December 2001, Singapore.

Dennis, Louise Abigail and Smaill, Alan (2001) Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. In: 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001), 2001, Edinburgh, UK.

Altenkirch, Thorsten (2001) Representations of first order function types as terminal coalgebras. In: TLCA 2001.

Probets, Steve and Mong, Julius and Evans, David and Brailsford, David (2001) Vector Graphics: From PostScript and Flash to SVG. In: ACM Symposium on Document Engineering (DocEng '01), 9-10 November 2001, Atlanta, Georgia, USA.

Aickelin, Uwe and Dowsland, Kathryn (2000) 'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem'. Journal of Scheduling, 3 (3) . pp. 139-153.

Aickelin, Uwe (2000) A New Genetic Algorithm for Set Covering Problems. In: Annual Operational Research Conference 42 (OR 42), Swansea, UK.

Stevenson, Alan and Dennis, Louise Abigail (2000) Integrating SVC and HOL with the PROSPER Toolkit. In: Theorem Proving in Higher Order Logics (TPHOLs 2000) Supplemental Proceedings, 2000, Oregon Graduate Institute, USA.

Burke, Edmund and MacCarthy, Bart L. and Petrovic, Sanja and Qu, Rong (2000) Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems. Knowledge-Based Systems, 13 (2-3). pp. 159-165.

Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania.

Pavey, Paul and Probets, Steve and Brailsford, David (2000) The Development of an On-line Submission and Peer Review System. In: Electronic Publishing in the Third Millennium, 17-19 August 2000, Kaliningrad, Russia.

Dennis, Louise Abigail and Collins, Graham and Norrish, Michael and Boulton, Richard and Slind, Konrad and Robinson, Graham and Gordon, Mike and Melham, Tom (2000) The PROSPER Toolkit. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000, Berlin.

Dennis, Louise Abigail and Bundy, Alan and Green, Ian (2000) The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Annals of Mathematics and Artificial Intelligence, 29 (1-4). pp. 99-138.

Brailsford, David F. (1999) Separable Hyperstructure and Delayed Link Binding. ACM Computing Surveys, 31 (4es).

Benford, Steve and Taylor, Ian and Brailsford, David and Koleva, Boriana and Craven, Michael P. and Fraser, Mike and Reynard, Gail and Greenhalgh, Chris (1999) Three dimensional visualization of the World Wide Web. ACM Computing Surveys, 31 (4es).

Aickelin, Uwe (1999) Genetic algorithms for multiple-choice problems. PhD thesis, University of Wales Swansea.

Hutton, Graham (1999) A Tutorial on the Universality and Expressiveness of Fold. Journal of Functional Programming, 9 (4). pp. 355-372.

Gibbons, Jeremy and Hutton, Graham (1999) Proof Methods for Structured Corecursive Programs. In: Proceedings of the 1st Scottish Functional Programming Workshop, Stirling, Scotland.

Dennis, Louise Abigail and Bundy, Alan and Green, Ian (1999) Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. In: 14th International Conference on Automated Deduction (CADE-14), 1999, Townsville, Australia.

Hitchcock, Steve and Carr, Les and Hall, Wendy and Harris, Steve and Probets, Steve and Evans, David and Brailsford, David (1998) Linking electronic journals - Lessons from the Open Journal project. D-Lib Magazine .

Hutton, Graham and Meijer, Erik (1998) Monadic Parsing in Haskell. Journal of Functional Programming, 8 (4). pp. 437-444.

Probets, Steve and Brailsford, David and Carr, Les and Hall, Wendy (1998) Dynamic Link Inclusion in Online PDF Journals. In: 7th International Conference on Electronic Publishing, EP'98., March/April 1998, St. Malo, France.

Hutton, Graham (1998) Fold and Unfold for Program Semantics. In: Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming, September 1998, Baltimore, Maryland.

Aickelin, Uwe (1998) Nurse Rostering with Genetic Algorithms. In: Young Operational Research Conference 12 (YOR 12), Guildford, UK.

Brailsford, David F. (1997) Electronic Publishing : the evolution and economics of a hybrid journal. In: Electronic Publishing '97; New Models and Opportunities, 14-16 April 1997, University of Kent.

Hutton, Graham and Meijer, Erik (1996) Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6 (1). pp. 181-188.

Aickelin, Uwe (1996) Dienstplanerstellung in Krankenhäusern mittels genetischer Algorithmen. Other thesis, Universität Mannheim.

Hutton, Graham and Meijer, Erik (1996) Monadic Parser Combinators. Technical Report: NOTTCS-TR-96-4. School of Computer Science and IT, University of Nottingham.

Lovegrove, William S. and Brailsford, David F. (1995) Document analysis of PDF files: methods, results and implications. Electronic Publishing -- Origination, Dissemination and Design, 8 (3). pp. 207-220.

Smith, Philip N. and Brailsford, David F. (1995) Towards structured, block-based PDF. Electronic Publishing -- Origination, Dissemination and Design, 8 (3). pp. 153-165.

Hutton, Graham (1994) Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Journal of Functional Programming, 4 (4). pp. 557-559.

Brailsford, David F. (1994) Adobe's Acrobat -- providing the missing link? Proceedings of the Second Annual Conference, Internet World and Document Delivery . pp. 71-78.

Brailsford, David F. and Harrison, Leon (1994) CD-ROM Acrobat Journals Using Networks. In: Digital Media and Electronic Publishing, 6-8 December 1994, Leeds UK..

Brown, Carolyn and Hutton, Graham (1994) Categories, Allegories, and Circuit Design. In: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, July 1994, Paris, France.

Brailsford, David F. (1994) Experience with the use of Acrobat in the CAJUN publishing project. In: ACM European Conference on Hypermedia Technology, 18 - 23 September 1994, Edinburgh, UK.

Smith, Philip N. and Brailsford, David F. and Evans, David R. and Harrison, Leon and Probets, Steve G. and Sutton, Peter E. (1993) Journal publishing with Acrobat: the CAJUN project. Electronic Publishing -- Origination, Dissemination and Design., 6 (4). pp. 481-493.

Groves, Michael J. and Brailsford, David F. (1993) Separate compilation of structured documents. Electronic Publishing -- Origination, Dissemination and Design, 6 (4). pp. 315-326.

Hutton, Graham (1993) The Ruby Interpreter. Technical Report: 72. Department of Computing Science, Chalmbers University of Technology.

Brailsford, David F. (1993) Adobe's Acrobat -- the Electronic Journal Catalyst? In: International Conference on Refereed Electronic Journals., 1 - 2 October 1993, Winnipeg, Canada.

Hutton, Graham (1992) Higher-Order Functions for Parsing. Journal of Functional Programming, 2 (3). pp. 323-343.

Hutton, Graham and Voermans, Ed (1992) A Calculational Theory of Pers as Types. Technical Report: 1992/R1. Department of Computing Science, University of Glasgow.

Hutton, Graham (1992) A Relational Derivation of a Functional Program. In: Proceedings of the STOP Summer School on Constructive Algorithmics, September 1992, Ameland, The Netherlands.

Hutton, Graham and Voermans, Ed (1992) Making Functionality More General. In: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Skye, Scotland.

Hutton, Graham (1991) Functional Programming With Relations. In: Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland.

Brailsford, David F. and Evans, David R. and Granger, Geeti (1990) `Electronic Publishing' -- Practice and Experience. In: International Conference on Electronic Publishing, Document Manipulation and Typography (EP90), September 1990, Gaithersburg, Maryland, USA.

Brailsford, David and Beach, Richard (1989) Electronic Publishing -- a Journal and its Production. The Computer Journal, 32 (6). pp. 482-493.

Barrett, Neil K. and Brailsford, David F. and Duckworth, R. James (1986) A Simulator Program for Evaluating and Improving the Nottingham Muse Architecture. Technical Report. Computer Science, University of Nottingham. (Unpublished)

Brailsford, David F. and Duckworth, R. James (1985) The MUSE Machine -- an Architecture for Structured Data Flow Computation. New Generation Computing, 3 (2). pp. 181-195.

Brailsford, David F. (1984) In-house Preparation of Examination Papers using troff, tbl, and eqn. In: Protext I International Conference/Workshop on Text Processing Systems, 22-23 October 1984, Dublin, Ireland.

Brailsford, D. F. and Foxley, E. and Mander, K. C. and Morgan, D. J. (1977) Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP. In: 1977 Algol 68 Conference: ACM SIGPLAN Notices, 29-31 March 1977, University of Strathclyde.

Brailsford, D. F. and Knott, R. D. (1976) Algol 68 Dialect Conversion -- a Syntactic Approach. In: Applications of Algol 68, March 1976, University of East Anglia.

Brailsford, D. F. and Hall, G. G. and Hemming, N. and Martin, D. (1975) Floating s- and p-type Gaussian Orbitals. Chemical Physics Letters, 35 (4). pp. 437-440.

Brailsford, David F. (1975) Approximate ab initio calculations and the method of molecular fragments. In: Quantum Chemistry - The State of the Art, 8-10 April 1974, St Catherine's College Oxford.

Mander, K. C. and Brailsford, D. F. (1975) Development of a Real Time System in Algol 68. In: Applications of Algol 68, 1975, University of Liverpool. (Unpublished)

Brailsford, David F. and Hylton, Jane (1973) Fast assembly of fock matrices utilising symmetry properties of the basis set. Chemical Physics Letters, 18 (4). pp. 595-597.

Packer, John C. and Brailsford, David F. (1973) The OPIT system part I. Computer Physics Communications, 5 . pp. 123-135.

Brailsford, David F. and Ford, Brian (1971) 3-body energy terms in a quartet state of H3. Chemical Physics Letters, 12 (1). pp. 60-61.

Brailsford, David F. and Hall, George G. (1971) Symmetry properties of one- and two- electron molecular integrals. International Journal of Quantum Chemistry, V . pp. 657-668.

Brailsford, David F. and Ford, Brian (1970) Calculated ionization potentials of the linear alkanes. Molecular Physics, 18 (5). pp. 621-630.

Brailsford, David F. (1970) Electric field strengths and ion trajectories in sharp-edge field ionization sources. Journal of Physics D: Applied Physics, 3 . pp. 196-202.

Brailsford, David F. and Robertson, Andrew J. B. (1968) Calculation of electric field strengths at a sharp edge. International Journal of Mass Spectrometry and Ion Physics, 1 . pp. 75-85.

Dent, Ian and Aickelin, Uwe and Rodden, Tom Application of a clustering framework to UK domestic electricity data. In: UKCI 2011, the 11th Annual Workshop on Computational Intelligence, 2011, Manchester. (Unpublished)

Dent, Ian and Wagner, Christian and Aickelin, Uwe and Rodden, Tom Creating personalised energy plans: from groups to individuals using Fuzzy C Means Clustering. In: Digital Engagement 11, November 2011, Dundee, Scotland. (Unpublished)

Majid, Mazlina Abdul and Siebers, Peer-Olaf and Aickelin, Uwe Modelling reactive and proactive behaviour in simulation. In: Operational Research Society 5th Simulation Workshop (SW10), 2010, Worcestershire, England. (Unpublished)

Wilson, William and Birkin, Phil and Aickelin, Uwe The Motif Tracking Algorithm. International Journal of Automation and Computing . (Submitted)

This list was generated on Thu Oct 23 18:51:51 2014 IST.