• Login
• Admin

A

Abdul Majid, Mazlina, 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.

Abdul Majid, Mazlina, 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.

Abdul Rahim, Siti, Bargiela, Andrzej and Qu, Rong (2013) Domain transformation approach to deterministic optimization of examination timetables. Artificial Intelligence Research, 2 (1). pp. 122-138. ISSN 1927-6974

Abdul-Rahman, Syariza, Bargiela, Andrzej, Burke, Edmund, Özcan, Ender, 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

Abdul-Rahman, Syariza, Burke, Edmund, Bargiela, Andrzej, McCollum, Barry and Özcan, Ender (2014) A constructive approach to examination timetabling based on adaptive decomposition and ordering. Annals of Operations Research, 218 (1). pp. 3-21. ISSN 1572-9338

Abdullah, Salwani, Aickelin, Uwe, Burke, Edmund, 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.

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.

Addae, Joyce Hoese, Brown, Michael, Sun, Xu, Towey, Dave and Radenkovic, Milena (2017) Measuring attitude towards personal data for adaptive cybersecurity. Information and Computer Security . ISSN 2056-4961

Adewunmi, Adrian and Aickelin, Uwe (2012) Investigating the effectiveness of variance reduction techniques in manufacturing, call center and cross-docking discrete event simulation models. In: Use cases of discrete event simulation: appliance and research. Springer, Berlin, pp. 1-26. ISBN 9783642287763

Adewunmi, Adrian and Aickelin, Uwe (2008) Reducing variance in a crossdocking simulation model using common random numbers and antithetic variates. In: Annual Operational Research Conference 50 (OR 50), 9-11 September 2008, York, UK.

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.

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

Adewunmi, Adrian, 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.

Adolphs, Svenja, Clark, Leigh, Dörnyei, Zoltán, Glover, Tony, Henry, Alastair, Muir, Christine, Sánchez-Lozano, Enrique and Valstar, Michel (2018) Digital innovations in L2 motivation: harnessing the power of the Ideal L2 Self. System . ISSN 0346-251X

Agotnes, Thomas and Alechina, Natasha (2014) A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information, 23 (2). pp. 197-207. ISSN 0925-8531

Agrawal, Utkarsh, Pinar, Anthony J., Wagner, Christian, Havens, Timothy C., Soria, Daniele and Garibaldi, Jonathan M. (2018) Comparison of fuzzy integral-fuzzy measure based ensemble algorithms with the state-of-the-art ensemble algorithms. In: 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2018), 11-15 June 2018, Cadiz, Spain.

Agrawal, Utkarsh, Soria, Daniele and Wagner, Christian (2016) Cancer subtype identification pipeline: a classifusion approach. In: 2016 IEEE Congress on Evolutionary Computation (CEC), 24-29 July 2016, Vancouver, Canada.

Ahmed, Aslam, 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.

Ahmed, Leena N., Özcan, Ender and Kheiri, Ahmed (2015) Solving high school timetabling problems worldwide using selection hyper-heuristics. Expert Systems with Applications, 42 (13). pp. 5463-5471. ISSN 0957-4174

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

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 (2004) A New Paradigm for Heuristic Decision Making, Invited Keynote Talk. In: Annual Operational Research Conference 46, York, UK.

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 (2003) Artificial Immune System and Intrusion Detection Tutorial. In: Introduction Tutorials in Optimization, Search and Decision Support Methodologies, Nottingham, 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 (2002) An Indirect Genetic Algorithm for Set Covering Problems. Journal of the Operational Research Society, 53 (10). pp. 1118-1126.

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.

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

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

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

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

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)

Aickelin, Uwe, Bentley, Peter, Cayzer, Steve, 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, Bentley, Peter, Cayzer, Steve, 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

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.

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

Aickelin, Uwe, 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.

Aickelin, Uwe, 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 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 .

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 and Clark, Alistair (2012) Heuristic optimisation : special issue editoral. Journal of the Operational Research Society, 62 (2). pp. 251-252. ISSN 0160-5682

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

Aickelin, Uwe, 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

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

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.

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 and Greensmith, Julie (2007) Sensing Danger: Innate Immunology for Intrusion Detection. Information Security Technical Report . ISSN 1363-4127 (In Press)

Aickelin, Uwe, 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.

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 Li, Jingpeng (2005) An Estimation of Distribution Algorithm for Nurse Scheduling. accepted for publication by Annals of OR .

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

Aickelin, Uwe, 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

Aickelin, Uwe, Reps, Jenna M., Siebers, Peer-Olaf and Li, Peng (2018) Using simulation to incorporate dynamic criteria into multiple criteria decision making. Journal of the Operational Research Society, 69 (7). pp. 1021-1032. ISSN 1476-9360

Aickelin, Uwe, 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 White, Paul (2004) Building Better Nurse Scheduling Algorithms. Annals of Operations Research, 128 . pp. 159-177. ISSN 1572-9338

Al-Fahdawi, Shumoos, Qahwaji, Rami, Al-Waisy, Alaa S., Ipson, Stanley, Malik, Rayaz A., Brahma, Arun and Chen, Xin (2016) A fully automatic nerve segmentation and morphometric parameter quantification system for early diagnosis of diabetic neuropathy in corneal images. Computer Methods and Programs in Biomedicine, 135 . pp. 151-166. ISSN 1872-7565

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

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

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.

Al-Hammadi, Yousof, 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

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

Aladi, Jabran Hussain, Wagner, Christian and Pourabdollah, Amir (2016) Contrasting singleton type-1 and interval type-2 non-singleton type-1 fuzzy logic systems. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2016), 24-29 July 2016, Vancouver, Canada.

Alan, Alper T., Costanza, Enrico, Ramchurn, Sarvapali D., Fischer, Joel E., Rodden, Tom and Jennings, Nicholas R. (2016) Tariff agent: interacting with a future smart energy system at home. ACM Transactions on Computer-Human Interaction, 23 (4). 25:1-25:28. ISSN 1557-7325

Alanazi, Sultan, Goulding, James and McAuley, Derek (2016) Cross-system recommendation: user-modelling via social media versus self-declared preferences. In: 27th ACM Conference on Hypertext and Social Media 2016 (HT'16), 10-13 July 2016, Halifax, Canada.

Alechina, N., Bulling, N., Demri, S. and Logan, B. (2018) On the complexity of resource-bounded logics. Theoretical Computer Science . ISSN 0304-3975

Alechina, Natasha, Bulling, Nils, Dastani, Mehdi and Logan, Brian (2015) Practical run-time norm enforcement with bounded lookahead. In: 14th International Conference on Autonomous Agents and Multiagent Systems, 4-8 May 2015, Istanbul, Turkey.

Alechina, Natasha, Bulling, Nils, Demri, Stephane and Logan, Brian (2016) On the complexity of resource-bounded logics. In: 10th International Workshop on Reachability Problems (RP 2016), 19-12 September 2016, Aalborg, Denmark.

Alechina, Natasha, Bulling, Nils, Logan, Brian and Nguyen, Hoang Nga (2017) The virtues of idleness: a decidable fragment of resource agent logic. Artificial Intelligence . ISSN 0004-3702

Alechina, Natasha, Bulling, Nils, Logan, Brian and Nguyen, Hoang Nga (2015) On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic. In: International Joint Conference on Artificial Intelligence (IJCAI-15), 25-31 July 2015, Buenos Aires, Argentina.

Alechina, Natasha, Dastani, Mehdi and Logan, Brian (2016) Verifying existence of resource-bounded coalition uniform strategies. In: 25th International Joint Conference on Artificial Intelligence, 9-13 July 2016, New York, NY.

Alechina, Natasha, Dastani, Mehdi and Logan, Brian (2014) Norm approximation for imperfect monitors. In: 13th International Conference on Autonomous Agents & Multiagent Systems AAMAS 2014, 5-9 May 2014, Paris, France.

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2018) Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract). In: 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), 13-19 July 2018, Stockholm, Sweden.

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2018) Incentive-compatible mechanisms for norm monitoring in open multi-agent systems. Journal of Artificial Intelligence Research, 62 . ISSN 1943-5037

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2017) Incentivising monitoring in open normative systems. In: The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), 4-9 February, 2017, San Francisco, California, USA..

Alechina, Natasha, Halpern, Joseph Y. and Logan, Brian (2017) Causality, responsibility and blame in team plans. In: 16th International Conference on Autonomous Agents and Multiagent Systems, 8-12 May 2017, Sao Paulo, Brazil.

Alechina, Natasha, Hoek, Wiebe van der and Logan, Brian (2017) Fair decomposition of group obligations. Journal of Logic and Computation, 27 (7). pp. 2043-2062. ISSN 1465-363X

Alechina, Natasha, Liu, Fenrong and Logan, Brian (2015) Efficient minimal preference change. Journal of Logic and Computation . ISSN 1465-363X

Alechina, Natasha and Logan, Brian (2018) Resource logics with a diminishing resource: extended abstract. In: 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 10-15 July 2018, Stockholm, Sweden.

Alechina, Natasha and Logan, Brian (2016) Verifying systems of resource-bounded agents. Lecture Notes in Computer Science, 9709 . pp. 3-12. ISSN 0302-9743

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2017) Model-checking for resource-bounded ATL with production and consumption of resources. Journal of Computer and System Sciences, 88 . pp. 126-144. ISSN 1090-2724

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2015) Symbolic model checking for one-resource RB+-ATL. In: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, 25-31 July 2015, Buenos Aires, Argentina.

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2014) Decidable model-checking for a resource logic with production of resources. In: European Conference on Artificial Intelligence (ECAI 2014), 18-22 Aug 2014, Prague, Czech Republic.

Aleskandarany, Mohammed A., Soria, D., Green, A.R., Nolan, C., Diez-Rodriguez, Maria, Ellis, Ian O. and Rakha, Emad (2015) Markers of progression in early-stage invasive breast cancer: a predictive immunohistochemical panel algorithm for distant recurrence risk stratification. Breast Cancer Research and Treatment, 151 (2). pp. 325-333. ISSN 0167-6806

Alex, Beatrice, Grover, Claire, Oberlander, Jon, Thomson, Tara, Anderson, Miranda, Loxley, James, Hinrichs, Uta and Zhou, Ke (2017) Palimpsest: improving assisted curation of loco-specific literature. Digital Scholarship in the Humanities, 32 (Supp 1). i4-i16. ISSN 2055-768X

Algethami, Haneen and Landa-Silva, Dario (2017) Diversity-based adaptive genetic algorithm for a workforce scheduling and routing problem. In: 2017 IEEE Congress on Evolutionary Computation (CEC 2017), 5-8 June 2017, San Sebastian, Spain.

Algethami, Haneen and Landa-Silva, Dario (2015) A study of genetic operators for the Workforce Scheduling and Routing Problem. In: 11th Metaheuristics International Conference (MIC 2015), 7-10 June 2015, Agadir, Morocco.

Algethami, Haneen, Landa-Silva, Dario and Martinez-Gavara, Anna (2017) Selecting genetic operators to maximise preference satisfaction in a workforce scheduling and routing problem. In: 6th International Conference on Operations Research and Enterprise Systems (ICORES 2017), 23-25 February 2017, Porto, Portugal.

Algethami, Haneen, Martinez-Gavara, Anna and Landa-Silva, Dario (2018) Adaptive multiple crossover genetic algorithm to solve Workforce Scheduling and Routing Problem. Journal of Heuristics . ISSN 1381-1231 (In Press)

Algethami, Haneen, Pinheiro, Rodrigo Lankaites and Landa-Silva, Dario (2016) A Genetic Algorithm for a Workforce Scheduling and Routing Problem. In: IEEE Congress on Evolutionary Computation (IEEE CEC 2016), 25-29 July 2016, Vancouver, Canada.

Ali, Susan, Koleva, Boriana, Bedwell, Ben and Benford, Steve (2018) Deepening visitor engagement with museum exhibits through hand-crafted visual markers. In: 2018 Designing Interactive Systems Conference DIS '18, 9-13 June, 2018, Hong Kong, China.

Alim, Abdul, Clegg, Richard G., Mai, Luo, Rupprecht, Lukas, Seckler, Eric, Costa, Paolo, Pietzuch, Peter, Wolf, Alexander L., Sultana, Nik, Crowcroft, Jon, Madhavapeddy, Anil, Moore, Andrew W., Mortier, Richard, Koleni, Masoud, Oviedo, Luis, Migliavacca, Matteo and McAuley, Derek (2016) FLICK: Developing and Running Application-Specific Network Services. In: 2016 USENIX Annual Technical Conference (USENIX ATC 16), June 22-24th 2016, Denver, CO, USA.

Almaev, Timur, Martinez, Brais and Valstar, Michel F. (2015) Learning to transfer: transferring latent task structures and its application to person-specific facial action unit detection. In: ICCV15, International Conference on Computer Vision, 11-18 Dec 2015, Santiago, Chile.

Almaraashia, M., John, Robert, Hopgood, A. and Ahmadi, S. (2016) Learning of interval and general type-2 fuzzy logic systems using simulated annealing: theory and practice. Information Sciences, 360 . pp. 21-42. ISSN 1872-6291

Almutairi, Alhanof, Özcan, Ender, Kheiri, Ahmed and Jackson, Warren G. (2016) Performance of selection hyper-heuristics on the extended HyFlex domains. In: Computer and information sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, proceedings. Communications in computer and information science (659). Springer, pp. 154-162. ISBN 978-3-319-47217-1

Alqahtani, Saeed M. and John, Robert (2016) A comparative study of different fuzzy classifiers for cloud intrusion detection systems' alerts. In: IEEE SSCI 2016, 6-9 Dec 2016, Athens, Greece.

Alsuraykh, Norah H., Maior, Horia A., Wilson, Max L., Tennent, Paul and Sharples, Sarah (2018) How stress affects functional near-infrared spectroscopy (fNIRS) measurements of mental workload. In: CHI 2018: ACM SIGCHI Conference on Human Factors in Computing Systems (Extended Abstracts), 21-26 April 2018, Montreal, Canada. (In Press)

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

Altenkirch, Thorsten, Capriotti, Paolo, Dijkstra, Gabe and Nordvall Forsberg, Fredrik Nordvall Forsberg (2017) Quotient inductive-inductive types. In: FoSSaCS 2018: 21st International Conference on Foundations of Software Science and Computation Structures, 14-20 April 2018, Thessaloniki, Greece.

Altenkirch, Thorsten, Capriotti, Paolo and Nicolai, Kraus (2016) Extending homotopy type theory with strict equality. In: 25th EACSL Annual Conference on Computer Science Logic, 28 Aug - 3 Sep 2016, Marseille, France.

Altenkirch, Thorsten, Chapman, James and Uustalu, Tarmo (2015) Monads need not be endofunctors. Logical Methods in Computer Science, 11 (1:3). pp. 1-40. ISSN 1860-5974

Altenkirch, Thorsten, Chapman, James and Uustalu, Tarmo (2014) Relative monads formalised. Journal of Formalized Reasoning, 7 (1). pp. 1-43. ISSN 1972-5787

Altenkirch, Thorsten, Danielson, Nils Anders and Kraus, Nicolai (2016) Partiality, revisited: the partiality monad as a quotient inductive-inductive type. In: FoSSaCs 2017, 24-29 April 2017, Uppsala, Sweden. (In Press)

Altenkirch, Thorsten, Danielsson, Nils Anders and Kraus, Nicolai (2017) Partiality, revisited: the partiality monad as a quotient inductive-inductive type. Lecture Notes in Computer Science, 10203 . pp. 534-549. ISSN 0302-9743

Altenkirch, Thorsten and Kaposi, Ambrus (2017) Normalisation by evaluation for type theory, in type theory. Logical Methods in Computer Science, 13 (4:1). pp. 1-26. ISSN 1860-5974

Altenkirch, Thorsten and Kaposi, Ambrus (2017) Towards a cubical type theory without an interval. Leibniz International Proceedings in Informatics . ISSN 1868-8969 (In Press)

Altenkirch, Thorsten and Kaposi, Ambrus (2016) Normalisation by evaluation for dependent types. In: FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction, 22-26 June 2016, Porto, Portugal.

Altenkirch, Thorsten and Kaposi, Ambrus (2016) Type theory in type theory using quotient inductive types. In: POPL '16 The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 January 2016, St Petersburg, Florida, United States of America.

Altenkirch, Thorsten, Li, Nuo and Ondřej, Rypáček (2014) Some constructions on ω-groupoids. In: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP '14), 17 Jul 2014, Vienna, Austria.

Ambrogi, Federico, Raimondi, Elena, Soria, Daniele, Boracchi, Patrizia and Biganzoli, Elia M. (2008) Cancer profiles by affinity propagation. In: Seventh International Conference on Machine Learning and Applications, 2008. ICMLA'08., 11-13 Dec. 2008, San Diego, California.

Anderson, Derek T., Havens, Timothy C., Wagner, Christian, Keller, James M., Anderson, Melissa F. and Wescott, Daniel J. (2014) Extension of the fuzzy integral for general fuzzy set-valued information. IEEE Transactions on Fuzzy Systems, 22 (6). pp. 1625-1639. ISSN 1941-0034

Angelopoulos, Spyros, McAuley, Derek, Merali, Yasmin, Mortier, Richard and Price, Dominic (2016) Small fish in a big pond: an architectural approach to users privacy, rights and security in the age of big data. In: 37th International Conference on Information Systems 2016, 11-14 dec 2016, Dublin, Republic of Ireland.

Anstead, Edward, Benford, Steve and Houghton, Robert (2016) MarathOn Multiscreen: group television watching and interaction in a viewing ecology. In: 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 27 Feb – 2 Mar 2016, San Francisco, USA.

Antonakos, Epameinondas, Alabort-i-Medina, Joan, Tzimiropoulos, Georgios and Zafeiriou, Stefanos (2014) HOG active appearance models. In: 2014 IEEE International Conference on Image Processing (ICIP), 27-30 Oct 2014, Paris, France.

Antonakos, Epameinondas, Alabort-i-Medina, Joan, Tzimiropoulos, Georgios and Zafeiriou, Stefanos (2014) Hog active appearance models. In: IEEE International Conference on Image Processing, 2014 (ICIP 2014), 27-30 October 2014, Paris, France.

Antonakos, Epameinondas, Alabort-i-Medina, Joan, Tzimiropoulos, Georgios and Zafeiriou, Stefanos P. (2015) Feature-based Lucas-Kanade and Active Appearance Models. IEEE Transactions on Image Processing, 24 (9). pp. 2617-2632. ISSN 1941-0042

Araujo, L.J.P., Özcan, Ender, Atkin, Jason, Baumers, Martin, Tuck, Christopher and Hague, Richard J.M. (2015) Toward better build volume packing in additive manufacturing: classification of existing problems and benchmarks. In: Annual International Solid Freeform Fabrication Symposium, 10-12 August 2015, Austin, Texas, USA.

Argyle, Elizabeth M., Houghton, Robert J., Atkin, Jason, de Maere, Geert, Moore, Terry and Morvan, Herve (2018) Human performance and strategies while solving an aircraft routing and sequencing problem: an experimental approach. Cognition, Technology and Work . ISSN 1435-5566

Argyriou, Vasileios and Tzimiropoulos, Georgios (2016) Frequency domain subpixel registration using HOG phase correlation. Computer Vision and Image Understanding . ISSN 1077-3142

Armas, Jesica de, Lalla-Ruiz, Eduardo, Expósito-Izquierdo, Christopher, Landa-Silva, Dario and Melián-Batista, Belén (2015) A hybrid GRASP-VNS for Ship Routing and Scheduling Problem with Discretized Time Windows. Engineering Applications of Artificial Intelligence, 45 . pp. 350-360. ISSN 0952-1976

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

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

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)

Asta, Shahriar, Karapetyan, Daniel, Kheiri, Ahmed, Özcan, Ender and Parkes, Andrew J. (2016) Combining Monte-Carlo and hyper-heuristic methods for the multi-mode resource-constrained multi-project scheduling problem. Information Sciences, 373 . pp. 476-498. ISSN 1872-6291

Asta, Shahriar and Özcan, Ender (2015) A tensor analysis improved genetic algorithm for online bin packing. In: Genetic and Evolutionary Computation Conference (2015), 11-15 July 2015, Madrid, Spain.

Asta, Shahriar and Özcan, Ender (2015) A tensor-based selection hyper-heuristic for cross-domain heuristic search. Information Sciences, 299 . 412 - 432. ISSN 1872-6291

Asta, Shahriar and Özcan, Ender (2014) An apprenticeship learning hyper-heuristic for vehicle routing in HyFlex. In: 2014 IEEE Symposium on Evolving and Autonomous Learning Systems (EALS), 9-12 Dec 2014, Orlando, Florida.

Asta, Shahriar, Özcan, Ender and Curtois, Tim (2016) A tensor based hyper-heuristic for nurse rostering. Knowledge-Based Systems, 98 . pp. 185-199. ISSN 1872-7409

Asta, Shahriar, Özcan, Ender and Parkes, Andrew J. (2016) CHAMP: Creating Heuristics via Many Parameters for online bin packing. Expert Systems with Applications, 63 . pp. 208-221. ISSN 0957-4174

Asta, Shahriar, Özcan, Ender and Peer-Olaf, Siebers (2014) An investigation on test driven discrete event simulation. In: Operational Research Society Simulation Workshop 2014 (SW14), 1-2 April 2014, Worcestershire, UK.

Asthana, Akshay, Zafeiriou, Stefanos, Tzimiropoulos, Georgios, Cheng, Shiyang and Pantic, Maja (2014) From pixels to response maps: discriminative image filtering for face alignment in the wild. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37 (6). pp. 1312-1320. ISSN 0162-8828

Atanbori, John, Chen, Feng, French, Andrew P. and Pridmore, Tony P. (2018) Towards low-cost image-based plant phenotyping using reduced-parameter CNN. In: CVPPP 2018: Workshop on Computer Vision Problems in Plant Phenotyping, 6 Sept 2018, Newcastle upon Tyne, UK.

Atkinson, Jonathan A., Pound, Michael P., Bennett, Malcolm J. and Wells, Darren M. (2019) Uncovering the hidden half of plants using new advances in root phenotyping. Current Opinion in Biotechnology, 55 . pp. 1-8. ISSN 1879-0429

Atkinson, Jonathan A., Wingen, Luzie U., Griffiths, Marcus, Pound, Michael P., Gaju, Oorbessy, Foulkes, John, Le Gouis, Jacques, Griffiths, Simon, Bennett, Malcolm J., King, Julie and Wells, Darren M. (2015) Phenotyping pipeline reveals major seedling root growth QTL in hexaploid wheat. Journal of Experimental Botany, 66 (8). pp. 2283-2292. ISSN 1460-2431

Aung, Min S.H., Kaltwang, Sebastian, Romera-Paredes, Bernardino, Martinez, Brais, Singh, Aneesha, Cella, Matteo, Valstar, Michel F., Meng, Hongying, Kemp, Andrew, Shafizadeh, Moshen, Elkins, Aaron, Kanakam, Natalie, Rothschild, Amshal de, Tyler, Nick, Watson, Paul J., Williams, Amanda C. de C., Pantic, Maja and Bianchi-Berthouze, Nadia (2015) The automatic detection of chronic pain-related expression: requirements, challenges and a multimodal dataset. IEEE Transactions on Affective Computing, 99 . pp. 1-18. ISSN 1949-3045

Avsar, Huseyin, Fischer, Joel E. and Rodden, Tom (2016) Designing touch screen user interfaces for future flight deck operations. In: IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 25-29 Sept 2016, Sacramento, USA.

Avsar, Huseyin, Fischer, Joel E. and Rodden, Tom (2016) Mixed method approach in designing flight decks with touch screens: a framework. In: IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 25-29 Sept 2016, Sacramento, USA.

Avsar, Huseyin, Fischer, Joel E. and Rodden, Tom (2016) Designing touch-enabled electronic flight bags in SAR helicopter operations. In: International Conference on Human-Computer Interaction in Aerospace (HCI-Aero '16), 14-16 September 2016, Paris, France. (In Press)

Avsar, Huseyin, Fischer, Joel E. and Rodden, Tom (2016) Future flight decks: impact of +Gz on touchscreen usability. In: International Conference on Human-Computer Interaction in Aerospace (HCI-Aero '16), 14-16 September 2016, Paris, France. (In Press)

Avsar, Huseyin, Fischer, Joel E. and Rodden, Tom (2015) Target size guidelines for interactive displays on the flight deck. In: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 13-17 September 2015, Prague, Czech Republic.

Ayling, Kieran, Fairclough, Lucy, Tighe, Paddy, Todd, Ian, Halliday, Vanessa, Garibaldi, Jon, Royal, Simon, Hamed, Aljali, Buchanan, Heather and Vedhara, Kavita (2017) Positive mood on the day of influenza vaccination predicts vaccine effectiveness: a prospective observational cohort study. Brain, Behaviour and Immunity, 67 . pp. 314-323. ISSN 0889-1591

B

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

Baccour, Leila, Alimi, Adel and John, Robert (2015) Intuitionistic fuzzy similarity measures and their role in classification. Journal of Intelligent Systems, 25 (2). pp. 221-227. ISSN 2191-026X (In Press)

Bachour, Khaled, Wetzel, Richard, Flintham, Martin, Huynh, Trung Dong, Rodden, Tom A. and Moreau, Luc (2015) Provenance for the people: an HCI perspective on the W3C PROV standard through an online game. In: 33rd Annual ACM Conference on Human Factors in Computing Systems (CHI'15), 18-23 April 2015, Seoul, Republic of Korea.

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

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

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

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

Backhouse, Roland and Truong, Tan Minh (2015) The capacity-C torch problem. Science of Computer Programming, 102 . pp. 76-107. ISSN 0167-6423

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.

Bagley, Steven R., 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.

Bagley, Steven R., Brailsford, David F. and Kernighan, Brian W. (2013) Revisiting a summer vacation: digital restoration and typesetter forensics. In: ACM Symposium on Document Engineering (DocEng '13), 10-13 Sept 2013, Florence, Italy.

Bagley, Steven R., 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.

Bahr, Patrick and Hutton, Graham (2015) Calculating correct compilers. Journal of Functional Programming, 25 (e14). pp. 1-47. ISSN 1469-7653

Bai, Ruibin, Burke, Edmund K., Kendall, Graham, Li, Jingpeng and McCollum, Barry (2010) A hybrid evolutionary approach to the nurse rostering problem. IEEE Transactions on Evolutionary Computation, 14 (4). pp. 580-590. ISSN 1089-778X

Bai, Ruibin, Kendall, Graham, Qu, Rong and Atkin, Jason A.D. (2012) Tabu assisted guided local search approaches for freight service network design. Information Sciences, 189 . pp. 266-281. ISSN 1872-6291

Bai, Ruibin, Li, Jiawei, Atkin, Jason A.D. and Kendall, Graham (2014) A novel approach to independent taxi scheduling problem based on stable matching. Journal of the Operational Research Society, 65 (10). pp. 1501-1510. ISSN 1476-9360

Bai, Ruibin, Van Woensel, Tom, Kendall, Graham and Burke, Edmund K. (2012) A new model and a hyper-heuristic approach for two-dimensional shelf space allocation. 4OR: A Quarterly Journal of Operations Research, 11 (1). pp. 31-55. ISSN 1614-2411

Baker, Michelle, Brook, Bindi S. and Owen, Markus R. (2017) Mathematical modelling of cytokines, MMPs and fibronectin fragments in osteoarthritic cartilage. Journal of Mathematical Biology . ISSN 1432-1416

Baker, Michelle, Negus, David, Raghunathan, Dhaarini, Radford, Paul, Moore, Christopher, Clark, Gemma, Diggle, Mathew, Tyson, Jess, Twycross, Jamie and Sockett, R. Elizabeth (2017) Measuring and modelling the response of Klebsiella pneumoniae KPC prey to Bdellovibrio bacteriovorus predation, in human serum and defined buffer. Scientific Reports, 7 (8329). pp. 1-18. ISSN 2045-2322

Bakker, Otto Jan, Chaplin, Jack C., de Silva, Lavindra, Felli, Paolo, Sanderson, David, Logan, Brian and Ratchev, Svetan (2017) Toward process control from formal models of transformable manufacturing systems. Procedia CIRP . ISSN 2212-8271 (In Press)

Balaam, Madeline, Rennick Egglestone, Stefan, Fitzpatrick, Geraldine, Rodden, Tom, Hughes, A.M., Wilkinson, Anna, Nind, Thomas, Axelrod, Lesley, Harris, Eric, Ricketts, Ian, 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

Barrett, Neil K., 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)

Barton, Nick, Lehre, Per Kristian and Vishnoi, Nisheeth K. (2016) Evolution and computing (Dagstuhl Seminar 16011). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.

Basile, Francesco, Moore, Terry, Hill, Chris, McGraw, Gary and Johnson, Andrew (2018) Multi-Frequency Precise Point Positioning using GPS and Galileo data with smoothed ionospheric corrections. In: IEEE/ION PLANS 2018, 23-26 Apr 2018, Monterey, USA.

Basiri, Anahid, Jackson, Mike, Amirian, Pouria, Pourabdollah, Amir, Sester, Monika, Winstanley, Adam, Moore, Terry and Zhang, Lijuan (2016) Quality assessment of OpenStreetMap data using trajectory mining. Geo-spatial Information Science, 19 (1). pp. 56-68. ISSN 1009-5020

Baston, Colm and Capretta, Venanzio (2018) The coinductive formulation of common knowledge. In: ITP 2018 - Interactive Theorem Proving, 9-12 August 2018, Oxford, UK.

Bayliss, Christopher D., de Maere, Geert, Atkin, Jason and Paelinck, Marc (2016) A simulation scenario based mixed integer programming approach to airline reserve crew scheduling under uncertainty. Annals of Operations Research . pp. 1-29. ISSN 1572-9338

Bayliss, Christopher D., de Maere, Geert, Atkin, Jason and Paelinck, Marc (2014) A simulation scenario based mixed integer programming approach to airline reserve crew scheduling under uncertainty. In: 10th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2014), 26-29 August 2014, York, UK.

Bedwell, Benjamin D., Slack, Peter and Greenhalgh, Chris (2015) Learning from the experts: enabling and studying DIY development of location-based visitor experiences. In: 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computings Computing (UbiComp 2015), 7-11 September 2015, Osaka, Japan.

Bell, Matthew J. and Tzimiropoulos, Georgios (2018) Novel monitoring systems to obtain dairy cattle phenotypes associated with sustainable production. Frontiers in Sustainable Food Systems, 2 . 31/1-31/9. ISSN 2571-581X

Benatar, Naisan, Aickelin, Uwe and Garibaldi, 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.

Benatar, Naisan, 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.

Benatar, Naisan, Aickelin, Uwe and Garibaldi, Jonathan M. (2011) A comparison of non-stationary, type-2 and dual surface fuzzy control. In: 2011 IEEE International Conference on Fuzzy Systems, 27-30 June 2011, Taipei, Taiwan.

Benford, Steve, Calder, Muffy, Rodden, Tom and Sevegnani, Michele (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23 (2). pp. 1-56. ISSN 1557-7325

Benford, Steve, Greenhalgh, Chris, Anderson, Bob, Jacobs, Rachel, Golembewski, Michael, Jirotka, Marina, Stahl, Bernd Carsten, Timmermans, Job, Giannachi, Gabriella, Adams, Matt, Row Farr, Ju, Tandavanitj, Nick and Jennings, Kirsty (2015) The ethical implications of HCI’s turn to the cultural. ACM Transactions on Computer-Human Interaction, 22 (5). 24/1-24/37. ISSN 1557-7325

Benford, Steve, Greenhalgh, Chris, Hazzard, Adrian, Chamberlain, Alan, Kallionpää, Maria, Weigl, David M., Page, Kevin R. and Lin, Mengdie (2018) Designing the audience journey through repeated experiences. In: CHI 2018, 21-26 April 2018, Montreal, QC, Canada.

Benford, Steve, Hazzard, Adrian, Chamberlain, Alan, Glover, Kevin, Greenhalgh, Chris, Xu, Liming, Hoare, Michaela and Darzentas, Dimitrios (2016) Accountable artefacts: the case of the Carolan guitar. In: Computer-Human Interaction (CHI 2016), 7-12 May 2016, San Jose, USA.

Benford, Steve, Hazzard, Adrian, Chamberlain, Alan and Xu, Liming (2015) Augmenting a guitar with its digital footprint. In: 15th International Conference on New Interfaces for Musical Expression, May 31 - June 3 2015, Baton Rouge, Louisiana, USA.

Benford, Steve, Koleva, Boriana, Preston, William, Angus, Alice, Thorn, Emily-Clare and Glover, Kevin (2018) Customizing hybrid products. In: CHI 2018, 21-26 April 2018, Montreal, QC, Canada. (In Press)

Benford, Steve, Koleva, Boriana, Quinn, Anthony, Thorn, Emily-Clare, Glover, Kevin, Preston, William, Hazzard, Adrian, Rennick-Egglestone, Stefan, Greenhalgh, Chris and Mortier, Richard (2017) Crafting interactive decoration. ACM Transactions on Computer-Human Interaction (TOCHI), 24 (4). 26/1-26/39. ISSN 1557-7325

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

Bhandare, Sudhakar Ganapati, Warry, Andrew, Emes, Richard D., Hooton, Steven P.T., Barrow, Paul A. and Atterbury, Robert J. (2017) Complete genome sequences of Vibrio cholera: specific bacteriophages 24 and X29. Genome Announcements, 5 (46). e01013/1-e01013/2. ISSN 2169-8287

Blakes, Jonathan, Twycross, Jamie, Konur, Savas, Romero-Campero, Francisco Jose, Krasnogor, Natalio and Gheorghe, Marian (2014) Infobiotics workbench: a P systems based tool for systems and synthetic biology. In: Applications of membrane computing in systems and synthetic biology. Emergence, complexity and computation (7). Springer International Publishing, Cham, pp. 1-41. ISBN 978-3-319-03191-0

Blenkinsop, P.A., Job, B.E., Brailsford, David F., Cross, C.M. and Robertson, A.J.B. (1968) Experimental investigation of the use of sharp edges for the production of positive ions in field-ionization mass spectrometry. International Journal of Mass Spectrometry and Ion Physics, 1 (6). pp. 421-434. ISSN 0168-1176

Blum, Jesse, Flintham, Martin, Jacobs, Rachel, Shipp, Victoria, Kefalidou, Genovefa, 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)

Bonthala, Venkata Suresh, Mayes, Sean, Moreton, Joanna, Blythe, Martin J., Wright, Victoria, May, Sean, Massawe, Festo, Mayes, Sean and Twycross, Jamie (2016) Identification of gene modules associated with low temperatures response in Bambara groundnut by network-based analysis. PLoS ONE, 11 (2). e0148771. ISSN 1932-6203

Bowden, Paul R. and Brailsford, David F. (1989) On the noise immunity and legibility of Lucida fonts. In: Raster Imaging and Digital Typography (RIDT 89), 12-13 Oct 1989, Lausanne, Switzerland.

Bracker, Jan and Nilsson, Henrik (2016) Supermonads: one notion to bind them all. In: Proceedings of the 9th International Symposium on Haskell (Haskell '16), 22-23 September 2016, Nara, Japan.

Bracker, Jan and Nilsson, Henrik (2016) Polymonad programming in Haskell. In: 27th 2015 International Symposium on Implementation and Application of Functional Languages - IFL 2015, 14-16 Sep 2015, Koblenz, Germany.

Brailsford, David F. (2012) Reconstituting typeset Marriage Registers using simple software tools. Computer Science - Research and Development, 27 (2). pp. 113-126. ISSN 1865-2042

Brailsford, David F. (2011) Automated conversion of Web-based marriage register data into a printed format with predefined layout. In: ACM Symposium on Document Engineering (DocEng '11), 19-22 Sept 2011, Mountain View, California, USA.

Brailsford, David F. (2009) Automated re-typesetting, indexing and content enhancement for scanned marriage registers. In: ACM Symposium on Document Engineering (DocEng '09), 15-18 Sept 2009, Munich, Germany.

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.

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

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.

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

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

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, 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.

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 Beach, Richard (1989) Electronic Publishing -- a Journal and its Production. The Computer Journal, 32 (6). pp. 482-493.

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., 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 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 Ford, Brian (1970) Calculated ionization potentials of the linear alkanes. Molecular Physics, 18 (5). pp. 621-630.

Brailsford, David F., Foxley, E., 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, David F., Hall, G. G., Hemming, N. and Martin, D. (1975) Floating s- and p-type Gaussian Orbitals. Chemical Physics Letters, 35 (4). pp. 437-440.

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 Harrison, Leon (1994) CD-ROM Acrobat Journals Using Networks. In: Digital Media and Electronic Publishing, 6-8 December 1994, Leeds UK..

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.

Brailsford, David 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, 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.

Brindley, Paul, Goulding, James and Wilson, Max L. (2017) Generating vague neighbourhoods through data mining of passive web data. International Journal of Geographical Information Science, 32 (3). pp. 498-523. ISSN 1365-8824

Brindley, Paul, Goulding, James and Wilson, Max L. (2014) A data driven approach to mapping urban neighbourhoods. In: 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 4-7 November 2014, Dallas, Texas, USA.

Brown, Barry, Reeves, Stuart and Sherwood, Scott (2011) Into the wild: challenges and opportunities for field trial methods. In: CHI'11 Conference on Human Factors in Computing Systems, 7-12 May 2011, Vancouver, B.C., Canada.

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.

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

Brown, Michael, 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

Brown, Michael, Sharples, Sarah, Harding, Jenny, Parker, C.J., Bearman, N., Maguire, M., Forrest, D., 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

Brown, Richard (2019) ZIP file of archived research website kinectic.net. Richard Brown. (Unpublished)

Brucker, Peter and Qu, Rong (2014) Network flow models for intraday personnel scheduling problems. Annals of Operations Research, 218 (1). pp. 107-1142014. ISSN 0254-5330

Brucker, Peter, Qu, Rong, 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.

Bulat, Adrian and Tzimiropoulos, Georgios (2018) Super-FAN: integrated facial landmark localization and super-resolution of real-world low resolution faces in arbitrary poses with GANs. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2018), 18-22 June 2018, Salt Lake City, Utah, USA.

Bulat, Adrian and Tzimiropoulos, Georgios (2017) Binarized convolutional landmark localizers for human pose estimation and face alignment with limited resources. In: International Conference on Computer Vision (ICCV17), 22-29 Oct 2017, Venice, Italy.

Bulat, Adrian and Tzimiropoulos, Georgios (2017) How far are we from solving the 2D & 3D face alignment problem? (and a dataset of 230,000 3D facial landmarks). In: International Conference on Computer Vision (ICCV17), 22-29 Oct 2017, Venice, Italy.

Bulat, Adrian and Tzimiropoulos, Georgios (2016) Human pose estimation via convolutional part heatmap regression. In: 14th European Conference on Computer Vision (EECV 2016), 8-16 October 2016, Amsterdam, Netherlands.

Bulat, Adrian and Tzimiropoulos, Georgios (2016) Convolutional aggregation of local evidence for large pose face alignment. In: BMCV 2016, 19-22 September 2016, York, U.K..

Burgess, Alexandra J., Retkute, Renata, Pound, Michael P., Foulkes, John, Preston, Simon P., Jensen, Oliver E., Pridmore, Tony P. and Murchie, Erik H. (2015) High-resolution three-dimensional structural data quantify the impact of photoinhibition on long-term carbon gain in wheat canopies in the field. Plant Physiology, 169 (2). pp. 1192-1204. ISSN 1532-2548

Burgess, Alexandra J., Retkute, Renata, Preston, Simon P., Jensen, Oliver E., Pound, Michael P., Pridmore, Tony P. and Murchie, Erik H. (2016) The 4-dimensional plant: effects of wind-induced canopy movement on light fluctuations and photosynthesis. Frontiers in Plant Science, 7 (1392). ISSN 1664-462X

Burke, Edmund, Curtois, Tim, Qu, Rong and Vanden Berghe, Greet (2013) A time predefined variable depth search for nurse rostering. INFORMS Journal on Computing, 25 (3). pp. 411-419. ISSN 1091-9856

Burke, Edmund, Drake, John H., McCollum, Barry and Özcan, Ender (2015) Comments on: An overview of curriculum-based course timetabling. TOP, 23 (2). pp. 355-358. ISSN 1863-8279

Burke, Edmund, Dror, Moshe, 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.

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

Burke, Edmund, Eckersley, Adam, McCollum, Barry, 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.

Burke, Edmund, Eckersley, Adam, McCollum, Barry, 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, Gendreau, Michel, Hyde, Matthew, Kendall, Graham, Ocha, Gabriela, Özcan, Ender and Qu, Rong (2013) Hyper-heuristics: a survey of the state of the art. Journal of the Operational Research Society, 64 . pp. 1695-1724. ISSN 0160-5682

Burke, Edmund, MacCarthy, Bart L., 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

Burke, Edmund, MacCarthy, Bart L., 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.

Burke, Edmund, MacCarthy, Bart L., 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.

Burke, Edmund, MacCarthy, Bart L., 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.

Burke, Edmund, MacCloumn, Barry, Meisels, Amnon, Petrovic, Sanja and Qu, Rong (2007) A graph-based hyper heuristic for timetabling problems. European Journal of Operational Research, 176 (1). pp. 177-192. ISSN 0377-2217

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

Burke, Edmund, Qu, Rong and Soghier, Amr (2014) Adaptive selection of heuristics for improving exam timetables. Annals of Operations Research, 218 (1). pp. 129-145. ISSN 1572-9338

Burke, Edmund K., Hyde, Matthew, Kendall, Graham and Woodward, John (2010) A genetic programming hyper-heuristic approach for evolving 2-D strip packing heuristics. IEEE Transactions on Evolutionary Computation, 14 (6). pp. 942-958. ISSN 1089-778X

Burke, Edmund K., Hyde, Matthew R., Kendall, Graham and Woodward, John (2012) Automating the packing heuristic design process with genetic programming. Evolutionary Computation, 20 (1). pp. 63-89. ISSN 1530-9304

Burnett, Andrew W. and Parkes, Andrew J. (2017) Exploring the landscape of the space of heuristics for local search in SAT. In: IEEE Congress on Evolutionary Computation 2017, 5-8 June 2017, Donostia, San Sebastián, Spain.

Burnett, Andrew W. and Parkes, Andrew J. (2016) Systematic search for local-search SAT heuristics. In: 6th International Conference on Metaheuristics and Nature Inspired Computing (META 2016), 27-31 Oct 2016, Marrakech, Morocco.

Burr-Hersey, Jasmine E., Mooney, Sacha J., Bengough, A. Glyn, Mairhofer, Stefan and Ritz, Karl (2017) Developmental morphology of cover crop species exhibit contrasting behaviour to changes in soil bulk density, revealed by X-ray computed tomography. PLOS ONE, 12 (7). e0181872/1-e0181872/18. ISSN 1932-6203

Burrell, Thomas, Fozard, Susan, Holroyd, Geoff H., French, Andrew P., Pound, Michael P., Bigley, Christopher J., Taylor, C. James and Forde, Brian G. (2017) The Microphenotron: a robotic miniaturized plant phenotyping platform with diverse applications in chemical biology. Plant Methods, 13 (10). pp. 1-20. ISSN 1746-4811

Byrne, Richard, Marshall, Joe and Mueller, Florian ‘Floyd’ (2016) Inner disturbance: towards understanding the design of vertigo games through a novel balancing game. In: 28th Australian Conference on Computer-Human Interaction (OzCHI '16), 29 November-2 December 2016, Launceston, Tasmania.

Byrne, Richard, Marshall, Joe and Mueller, Florian ‘Floyd’ (2016) Balance ninja: towards the design of digital vertigo games via galvanic vestibular stimulation. In: CHI Play 2016: 2016 Annual Symposium on Computer-Human Interaction in Play, Oct 16-19 2016, Austin, Texas, USA.

Byrne, Richard, Marshall, Joe and Mueller, Florian ‘Floyd’ (2016) Designing the vertigo experience: vertigo as a design resource for digital bodily play. In: TEI 16: Tenth International Conference on Tangible Embedded and Embodied Interaction, 14-17 February 2016, Eindhoven, Netherlands.

Byrne, Richard, Marshall, Joe and Mueller, Florian ‘Floyd’ (2016) Designing the vertigo experience: vertigo as a design resource for digital bodily play. In: TEI 2016: Tenth International Conference on Tangible Embedded and Embodied Interaction, 14-17 Feb 2016, Eindhoven, Netherlands.

Bødker, Mads and Chamberlain, Alan (2016) Affect theory and autoethnography in ordinary information systems. In: Twenty-Fourth European Conference on Information Systems (ECIS), 12-15 June 2016, Istanbul, Turkey.

Bødker, Susanne, Hornbaek, Kasper, Oulasvirta, Antti and Reeves, Stuart (2016) Nine questions for HCI researchers in the making. ACM Interactions, 23 (4). pp. 58-61. ISSN 1558-3449

C

CREATORS_FN: Green, CREATORS_GN: Jonathan, CREATORS_FN: Price, CREATORS_GN: Vicky, CREATORS_FN: Sperring, CREATORS_GN: Dan, CREATORS_FN: Houghton, CREATORS_GN: Lee and Katie (2018) TITLE: An informative study of data migration between repositories utilising JSON, OAI-PMH/ORE and Dublin Core/RIOXX metadata standards (Everything Version). In: TITLE_OF_BOOK: The Big Book of Data Migration. SERIES_NAME: The Data Migration Series, 9001 (9002). Macmillan Publishers Limited, PLACE_OF_PUBLICATION: Nottingham, UK, pp. 9003-9004. ISBN 123456789

Cafaro, Angelo, Wagner, Johannes, Baur, Tobias, Dermouche, Soumia, Torres, Mercedes Torres, Pelachaud, Catherine, André, Elisabeth and Valstar, Michel F. (2017) The NoXi database: multimodal recordings of mediated novice-expert interactions. In: 19th ACM International Conference on Multimodal Interaction, 13-17 November 2017, Glasgow, Scotland.

Capra, Mauricio, Radenkovic, Milena, Benford, Steve, Oppermann, Leif, Drozd, Adam and Flintham, Martin (2005) The multimedia challenges raised by pervasive games. In: 13th Annual ACM International Conference on Multimedia (MULTIMEDIA '05), 6-12 November 2005, Singapore.

Capretta, Venanzio and Fowler, Jonathan (2017) The continuity of monadic stream functions. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '17 . pp. 1-12. ISSN 1043-6871

Capretta, Venanzio, Hutton, Graham and Jaskelioff, Mauro (2017) Contractive functions on infinite data structures. In: 28th symposium on Implementation and Application of Functional Languages, August 31 - September 2, 2016, Leuven, Belgium. (In Press)

Capretta, Venanzio and Uustalu, Tarmo (2016) A coalgebraic view of bar recursion and bar induction. Lecture Notes in Computer Science, 9634 . pp. 91-106. ISSN 0302-9743

Capriotti, Paolo and Kraus, Nicolai (2018) Univalent higher categories via complete semi-segal types. Proceedings of the ACM on Programming Languages, 2 (POPL). 44:1-44:29. ISSN 2475-1421

Carter, Christopher J., Koene, Ansgar, Perez, Elvira, Statache, Ramona, Adolphs, Svenja, O'Malley, Claire, Rodden, Tom and McAuley, Derek (2016) Understanding academic attitudes towards the ethical challenges posed by social media research. Computers and Society, 45 (3). pp. 202-210. ISSN 0095-2737

Castellote, Jesus, Huerta, Joaquin, 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)

Castillo-Salazar, Arturo, Landa-Silva, Dario and Qu, Rong (2012) A survey of workforce scheduling and routing. In: Proceedings of the 9th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2012), 28-31 August 2012, Oslo, Norway.

Castillo-Salazar, J. Arturo, Landa-Silva, Dario and Qu, Rong (2016) Workforce scheduling and routing problems: literature survey and computational study. Annals of Operations Research, 239 (1). pp. 39-67. ISSN 1572-9338

Castillo-Salazar, J. Arturo, Landa-Silva, Dario and Qu, Rong (2016) Workforce scheduling and routing problems: literature survey and computational study. Annals of Operations Research, 239 (1). pp. 39-67. ISSN 1572-9338

Castillo-Salazar, J. Arturo, Landa-Silva, Dario and Qu, Rong (2015) A greedy heuristic for workforce scheduling and routing with time-dependent activities constraints. In: International Conference on Operations Research and Enterprise Systems (ICORES 2015), January 10-12, 2015, Lisbon, Portugal.

Castillo-Salazar, J. Arturo, Landa-Silva, Dario and Qu, Rong (2014) Computational study for workforce scheduling and routing problems. In: 3rd International Conference on Operations Research and Enterprise Systems (ICORES 2014), 6-8 March, 2014, Angers, Loire Valley, France.

Castro-Gutierrez, Juan, Landa-Silva, Dario and Moreno Perez, Jose (2011) Nature of real-world multi-objective vehicle routing with evolutionary algorithms. In: Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), 9-12 Oct. 2011, Anchorage, Alaska, USA.

Castro-Gutierrez, Juan, Landa-Silva, Dario and Moreno-Perez, Jose (2010) CODEA : an agent based multi-objective optimization framework. In: VII Congreso Espaol sobre Metaheursticas, Algoritmos Evolutivos y Bioinspirados (MAEB 2010), 7-10 September 2010, Valencia, Spain.

Castro-Gutierrez, Juan, Landa-Silva, Dario and Moreno-Perez, Jose A. (2010) Improved dynamic lexicographic ordering for multi-objective optimisation. In: Parallel Problem Solving from Nature - PPSN XI, Lecture Notes in Computer Science, Vol. 6239, 11-15 September 2010, Kraków, Poland.

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.

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.

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 .

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 .

Celia, Helen, Clegg, Christopher, Robinson, Mark, Siebers, Peer-Olaf, 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)

Celia, Helen, Clegg, Christopher, 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.

Chamberlain, Alan (2018) Surfing with sound: an ethnography of the art of no-input mixing. In: Audio Mostly 2018: a conference on interaction with sound, 12-14 September 2018, Wrexham, UK. (In Press)

Chamberlain, Alan (2017) Are the robots coming? Designing with autonomy & control for musical creativity & performance. In: Proceedings of the 12th International Audio Mostly Conference on Augmented and Participatory Sound and Music Experiences, 23-26 Aug 2017, London, UK.

Chamberlain, Alan, Bødker, Mads, De Roure, David, Willcox, Pip, Emsley, Iain and Malizia, Alessio (2018) A landscape of design: interaction, interpretation and the development of experimental expressive interfaces. In: Human-Computer Interaction: Theories, Methods, and Human Issues. Lecture Notes in Computer Science (10901). Springer International, pp. 24-34. ISBN 9783319912370

Chamberlain, Alan, Bødker, Mads, Hazzard, Adrian and Benford, Steve (2016) Audio in place: media, mobility & HCI: creating meaning in space. In: 18th International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI 2016), 6-9 September 2016, Florence, Italy. (In Press)

Chamberlain, Alan, Bødker, Mads, Hazzard, Adrian, McGookin, David, De Roure, David, Willcox, Pip and Papangelis, Konstantinos (2017) Audio technology and mobile human-computer interaction: from space and place, to social media, music, composition and creation. International Journal of Mobile Human Computer Interaction, 9 (4). pp. 25-40. ISSN 1942-3918

Chamberlain, Alan, Bødker, Mads, Kallionpää, Maria, Ramchurn, Richard, De Roure, David, Benford, Steve, Dix, Alan and Gasselseder, Hans-Peter (2018) The design of future music technologies: ‘sounding out’ AI, immersive experiences & brain controlled interfaces. In: Audio Mostly 2018: a conference on interaction with sound, 12-14 September 2018, Wrexham, UK. (In Press)

Chamberlain, Alan, Bødker, Mads and Papangelis, Konstantinos (2018) Sounding out ethnography and design: developing metadata frameworks for designing personal heritage soundscapes. Journal of the Audio Engineering Society, 66 (6). pp. 1-10. ISSN 1549-4950

Chamberlain, Alan, Bødker, Mads and Papangelis, Konstantinos (2017) Mapping media and meaning: autoethnography as an approach to designing personal heritage soundscapes. In: Proceedings of the 12th International Audio Mostly Conference on Augmented and Participatory Sound and Music Experiences, 23-26 Aug 2017, London, UK.

Chamberlain, Alan and Crabtree, Andy (2016) Searching for music: understanding the discovery, acquisition, processing and organization of music in a domestic setting for design. Personal and Ubiquitous Computing . pp. 1-13. ISSN 1617-4917

Chamberlain, Alan, Crabtree, Andy, Haddadi, Hamed and Mortier, Richard (2018) Special theme on privacy and the Internet of Things. Personal and Ubiquitous Computing, 22 (2). pp. 289-292. ISSN 1617-4917

Chamberlain, Alan and De Roure, David (2017) The gift of the algorithm: beyond autonomy and control. [Composition]

Chamberlain, Alan, De Roure, David and Willcox, Pip (2017) Social music machine: crowdsourcing for composition & creativity. In: DMRN+12: Digital Music Research Network, Tuesday 19th December 2017, London, UK.

Chamberlain, Alan and Hazzard, Adrian (2015) Sonifying the Scene: re-framing and manipulating meaning through audio augmentation. In: DMRN+10: Digital Music Research Network One-day Workshop 2015, 22 December 2015, Queen Mary University of London.

Chamberlain, Alan, Kallionpää, Maria and Benford, Steve (2017) The art and ‘science’ of opera: composing, staging & designing new forms of interactive theatrical performance. In: DMRN+12: Digital Music Research Network, Tuesday 19th December 2017, London, UK.

Chamberlain, Alan, Malizia, Alessio and De Roure, David (2017) An agent on my shoulder: AI, privacy and the application of human-like computing technologies to music creation. In: DMRN+12: Digital Music Research Network One-day Workshop 2017, 19 Dec 2017, London, UK.

Chamberlain, Alan, McGrath, Sean and Benford, Steve (2015) Understanding social media and sound: music, meaning and membership, the case of SoundCloud. In: DMRN+10: Digital Music Research Network One-day Workshop 2015, 22nd December, 2015, Queen Mary University of London.

Chamberlain, Alan, Page, Kevin, De Roure, David and Klyne, Graham (2016) Interacting with robots as performers and producers of music. In: Digital Music Research Network 11 - DMRN+11, 20 Dec 2016, London, UK.

Chamberlain, Alan, Paxton, Mark, Glover, Kevin, Flintham, Martin, Price, Dominic, Benford, Steve, Tolmie, Peter, Kanjo, Eiman, Gower, Amanda, Gower, Andy, Woodgate, Dawn, Stanton Fraser, Danaë and Greenhalgh, Chris (2014) Understanding mass participatory pervasive computing systems for environmental campaigns. Personal and Ubiquitous Computing, 18 (7). pp. 1775-1792. ISSN 1617-4917

Chamberlain, Alan, Pestova, Xenia, Bødker, Mads, Kallionpää, Maria, De Roure, David and Benford, Steve (2017) Interaction, instruments and performance: HCI and the design of future music technologies. In: Interaction, Instruments and Performance: HCI and the Design of Future Music Technologies, 26 Aug 2017, London, UK. (Unpublished)

Chambers, Jon E., Meldrum, Philip I., Wilkinson, Paul B., Ward, Wil O.C., Jackson, Christopher R., Matthew, B., Joel, P., Kuras, Oliver, Bai, Li, Uhlemann, Sebastian and Gunn, David (2015) Spatial monitoring of groundwater drawdown and rebound associated with quarry dewatering using automated time-lapse electrical resistivity tomography and distribution guided clustering. Engineering Geology, 193 . pp. 412-420. ISSN 1872-6917

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

Chapman, Jacob, Siebers, Peer-Olaf and Robinson, Darren (2017) Multi-agent stochastic simulation of occupants for building simulation. In: Building Simulation 2017, 15th IBPSA Conference, 7-9 August 2017, San Francisco, CA, USA.

Chatsanga, Nonthachote and Parkes, Andrew J. (2017) International portfolio optimisation with integrated currency overlay costs and constraints. Expert Systems with Applications, 83 . pp. 333-349. ISSN 0957-4174

Chen, Binhui, Qu, Rong, Bai, Ruibin and Ishibuchi, Hisao (2016) A variable neighbourhood search algorithm with compound neighbourhoods for VRPTW. In: The 2016 International Conference on Operations Research and Enterprise Systems, 23-25 February 2016, Rome, Italy.

Chen, Binhui, Qu, Rong, Bai, Ruibin and Laesanklang, Wasakorn (2018) A hyper-heuristic with two guidance indicators for bi-objective mixed-shift vehicle routing problem with time windows. Applied Intelligence, 48 . pp. 4937-4959. ISSN 1573-7497

Chen, Binhui, Qu, Rong and Ishibuchi, Hisao (2017) Variable-depth adaptive large meighbourhood search algorithm for Open Periodic Vehicle Routing Problem with time windows. In: The 19th International Conference on Harbor, Maritime & Multimodal Logistics Modelling and Simulation, 18-20 September 2017, Barcellona, Spain.

Chen, Chao, John, Robert, Twycross, Jamie and Garibaldi, Jonathan M. (2018) A direct approach for determining the switch points in the Karnik-Mendel algorithm. IEEE Transactions on Fuzzy Systems, 26 (2). pp. 1079-1085. ISSN 1941-0034

Chen, Chao, John, Robert, Twycross, Jamie and Garibaldi, Jonathan M. (2017) Type-1 and interval type-2 ANFIS: a comparison. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 July 2017, Naples, Italy.

Chen, Chao, John, Robert, Twycross, Jamie and Garibaldi, Jonathan M. (2016) An extended ANFIS architecture and its learning properties for type-1 and interval type-2 models. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2016), 24-29 July 2016, Vancouver, Canada.

Chen, Chao, Twycross, Jamie and Garibaldi, Jonathan M. (2017) A new accuracy measure based on bounded relative error for time series forecasting. PLoS ONE, 12 (3). e0174202/1-e0174202/23. ISSN 1932-6203

Chen, Chao, Wu, Dongrui, Garibaldi, Jonathan M., John, Robert, Twycross, Jamie and Mendel, Jerry (2018) A Comment on "A direct approach for determining the switch soints in the Karnik-Mendel algorithm". IEEE Transactions on Fuzzy Systems . ISSN 1063-6706

Chen, Jianjun, Bai, Ruibin, Dong, Haibo, Qu, Rong and Kendall, Graham (2016) A dynamic truck dispatching problem in marine container terminal. In: 2016 IEEE Symposium on Computational Intelligence in Scheduling and Network Design (IEEE SSCI 2016), 6-9 December 2016, Athens, Greece.

Chen, Jun, Weiszer, Michal, Locatelli, Giorgio, Ravizza, Stefan, Atkin, Jason A., Stewart, Paul and Burke, Edmund (2016) Towards a more realistic, cost effective and greener ground movement through active routing: a multi-objective shortest path approach. IEEE Transactions on Intelligent Transportation Systems, 17 (12). pp. 3524-3540. ISSN 1524-9050

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.

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.

Chen, Qi, Whitbrook, Amanda, 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

Chen, Xin, Balfour, Daniel R., Marsden, Paul K., Reader, Andrew J., Prieto, Claudia and King, Andrew P. (2017) Efficient deformable motion correction for 3-D abdominal MRI using manifold regression. In: International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2017), 10-14 Sept 2017, Quebec City, Quebec, Canada.

Chen, Xin, Graham, Jim, Dabbah, Mohammad, Petropoulos, Ioannis N., Ponirakis, Georgis, Asghar, Omar, Alam, Uazman, Marshall, Andrew, Fadavi, Hassan, Ferdousi, Maryam, Azmir, Shazli, Tavakoli, Mitra, Efron, Nathan, Jeziorska, Maria and Malik, Rayaz (2015) Small nerve fibre quantification in the diagnosis of diabetic sensorimotor polyneuropathy: comparing corneal confocal microscopy with intraepidermal nerve fibre density. Diabetes Care, 38 (6). pp. 1138-1144. ISSN 1935-5548

Chen, Xin, Graham, Jim, Dabbah, Mohammad, Petropoulos, Ioannis N., Tavakoli, Mitra and Malik, Rayaz (2016) An automatic tool for quantification of nerve fibers in corneal confocal microscopy images. IEEE Transactions on Biomedical Engineering, 64 (4). pp. 786-794. ISSN 0018-9294

Chen, Xin, Graham, Jim, Hutchinson, Charles and Muir, Lindsay (2013) Automatic generation of statistical pose and shape models for articulated joints. IEEE Transactions on Medical Imaging, 33 (2). pp. 372-383. ISSN 1558-254X

Chen, Xin, Graham, Jim, Hutchinson, Charles and Muir, Lindsay (2012) Automatic inference and measurement of 3D carpal bone kinematics from single view fluoroscopic sequences. IEEE Transactions on Medical Imaging, 32 (2). pp. 317-328. ISSN 1558-254X

Chen, Xin, Graham, Jim, Petropoulos, Ioannis N., Ponirakis, Georgios, Asghar, Omar, Alam, Uazman, Marshall, Andrew, Ferdousi, Maryam, Azmi, Shazli, Efron, Nathan and Malik, Rayaz A. (2018) Corneal nerve fractal dimension: a novel corneal nerve metric for the diagnosis of diabetic sensorimotor polyneuropathy. Investigative Opthalmology & Visual Science, 59 (2). pp. 1113-1118. ISSN 1552-5783

Chen, Xin, Usman, Muhammad, Baumgartner, Christian F., Balfour, Daniel R., Marsden, Paul K., Reader, Andrew J., Prieto, Claudia and King, Andrew P. (2017) High-resolution self-gated dynamic abdominal MRI using manifold alignment. IEEE Transactions on Medical Imaging, 36 (4). pp. 960-971. ISSN 1558-254X

Chen, Ye, Zhou, Ke, Liu, Yiqun, Zhang, Min and Ma, Shaoping (2017) Meta-evaluation of online and offline web search evaluation metrics. In: SIGIR '17: 40th International ACM SIGIR Conference on Research and Development in Information Retrieval, 7-11 August 2017, Shinjuku, Tokyo, Japan.

Chowanda, Andry, Blanchfield, Peter, Flintham, Martin and Valstar, Michel (2016) Computational models of emotion, personality, and social relationships for interactions in games. In: 2016 International Conference on Autonomous Agents and Multiagent Systems, 9-13 May 2016, Singapore.

Chowanda, Andry, Blanchfield, Peter, Flintham, Martin D. and Valstar, Michel (2014) ERiSA: building emotionally realistic social game-agents companions. Lecture Notes in Computer Science, 8637 . pp. 134-143. ISSN 0302-9743

Chowanda, Andry, Blanchfield, Peter, Flintham, Martin D. and Valstar, Michel F. (2015) Play SMILE Game with ERiSA: a user study on game companions. In: Workshop on Engagement in Social Intelligent Virtual Agents (ESIVA 2015), 25 Aug 2015, Delft, Netherlands.

Chowanda, Andry, Flintham, Martin, Blanchfield, Peter and Valstar, Michel (2016) Playing with social and emotional game companions. In: 16th International Conference on Intelligent Virtual Agents (IVA 2016), 20-23 Sept, 2016, Los Angeles, California, USA.

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

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.

Constantino, Ademir A., Landa-Silva, Dario, Luiz de Melo, Everton and Romao, Wesley (2011) A heuristic algorithm for nurse scheduling with balanced preference satisfaction. In: 2011 IEEE Symposium on Computational Intelligence in Scheduling (CISched 2011), 11-15 April 2011, Paris, France.

Constantino, Ademir Aparecido, Filho, Walter Marcondes and Landa-Silva, Dario (2010) Iterated heuristic algorithms for the classroom assignment problem. In: 2010 International Conference on the Practice and Theory of Automated Timetabling (PATAT 2010), 10-13 August 2010, Belfast, Northern Ireland.

Constantino, Ademir Aparecido, Landa-Silva, Dario, de Melo, Everton Luiz, de Mendonza, Candido Ferreira Xavier, Rizzato, Douglas Baroni and Romao, Wesley (2014) A heuristic algorithm based on multiassignment procedures for nurse scheduling. Annals of Operations Research, 218 (1). pp. 165-183. ISSN 1572-9338

Constantino, Ademir Aparecido, Tozzo, Everton, Pinheiro, Rodrigo Lankaites, Landa-Silva, Dario and Romão, Wesley (2015) A Variable Neighbourhood Search for nurse scheduling with balanced preference satisfaction. In: 17th International Conference on Enterprise Information Systems (ICEIS 2015), 27-30 April 2015, Barcelona, Spain.

Constantino, Ademir Aparecido, de Mendonca, Candido F.X., de Araujo, Silvio Alexandre, Landa-Silva, Dario, Calvi, Rogerio and dos Santos, Allainclair Flausino (2017) Solving a large real-world bus driver scheduling problem with a multi-assignment based heuristic algorithm. Journal of Universal Computer Science, 23 (5). pp. 479-504. ISSN 0948-6968

Costanza, Enrico, Fischer, Joel E., Colley, James, Rodden, Tom, Ramchurn, Sarvapali D. and Jennings, Nicholas R. (2014) Doing the laundry with agents: a field trial of a future smart energy system in the home. In: CHI 2014: SIGCHI Conference on Human Factors in Computing Systems, 27 April - 1 May 2014, Toronto, Canada.

Coughlan, Tim, Brown, Michael, Lawson, Glyn, McAuley, Derek, Baurley, Sharon, Tsai, Allen, Koppe, Therese, Elliott, Meretta, 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)

Coughlan, Tim, Brown, Michael, Lawson, Glyn, Mortier, Richard, 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.

Coughlan, Tim, Carletti, Laura, Giannachi, Gabriella, Benford, Steve, McAuley, Derek, Price, Dominic, Locatelli, Cristina, Sinker, Rebecca and Stack, John (2015) ArtMaps: interpreting the spatial footprints of artworks. In: CHI Conference (2015), 18-23 April 2015, Seoul, South Korea. (In Press)

Coughlan, Tim, Collins, Trevor D., Adams, Anne, Rogers, Yvonne, 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

Coughlan, Tim, 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)

Crabtree, Andy (2016) Enabling the new economic actor: personal data regulation and the digital economy. In: IEEE 2nd Workshop on Legal and Technical Issues in Cloud Computing and Cloud-Supported Internet of Things, 4-8 April 2016, Berlin, Germany.

Crabtree, Andy and Chamberlain, Alan (2013) Making it “pay a bit better”: design challenges for micro rural enterprise. In: 17th ACM conference on Computer Supported Cooperative Work & Social Computing (CSCW'14), 15-19 February 2014, Baltimore, Maryland, USA.

Crabtree, Andy, Chamberlain, Alan, Valchovska, Stela, Davies, Mark, Glover, Kevin and Greenhalgh, Chris (2015) "I’ve got a sheep with three legs if anybody wants it?’" - re-visioning the rural economy. Personal and Ubiquitous Computing, 19 (8). pp. 1247-1258. ISSN 1617-4917

Crabtree, Andy, Lodge, Tom, Colley, James, Greenhalgh, Chris, Glover, Kevin, Haddadi, Hamed, Amar, Yousef, Mortier, Richard, Li, Qi, Moore, John, Wang, Liang, Yadav, Poonam, Zhao, Jianxin, Brown, Anthony, Urquhart, Lachlan and McAuley, Derek (2018) Building accountability into the Internet of Things: the IoT Databox model. Journal of Reliable Intelligent Environments, 4 (1). pp. 39-55. ISSN 2199-4676

Crabtree, Andy, Lodge, Tom, Colley, James, Greenhalgh, Chris and Mortier, Richard (2017) Accountable Internet of things?: outline of the IoT Databox model. In: Sixth IEEE WoWMoM Workshop on the Internet of Things: Smart Objects and Services (IoT-SoS 2017), June 12 2017, Macau, China.

Crabtree, Andy, Lodge, Tom, Colley, James, Greenhalgh, Chris, Mortier, Richard and Haddadi, Hamed (2016) Enabling the new economic actor: data protection, the digital economy, and the databox. Personal and Ubiquitous Computing . ISSN 1617-4917

Crabtree, Andy and Mortier, Richard (2015) Human data interaction: historical lessons from social studies and CSCW. In: 14th European Conference on Computer Supported Cooperative Work, 19 - 23 September 2015, Oslo, Norway.

Crabtree, Andy, Rodden, Tom, Tolmie, Peter, Mortier, Richard, Lodge, Tom, Brundell, Patrick and Pantidi, Nadia (2015) House rules: the collaborative nature of policy in domestic networks. Personal and Ubiquitous Computing, 19 (1). pp. 203-215. ISSN 1617-4917

Crabtree, Andy and Tolmie, Peter (2016) A day in the life of things in the home. In: 19th ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW 16), February 27 - March 2 2016, San Francisco, USA.

Crabtree, Andy, Tolmie, Peter and Knight, Will (2017) Repacking ‘privacy’ for a networked world. Computer Supported Cooperative Work, 26 (4-6). pp. 453-488. ISSN 1573-7551

Craven, Michael P., Selvarajah, Kirusnapillai, Miles, Robert, Schnädelbach, Holger, Massey, Adam, Vedhara, Kavita, Raine-Fenning, Nick and Crowe, John (2013) User requirements for the development of smartphone self-reporting applications in healthcare. In: HCI International 2013: 15th International Conference, 21-26 July 2015, Las Vegas, NV, USA.

Crook, Charles and Schofield, Louise (2017) The video lecture. Internet and Higher Education, 34 . pp. 56-64. ISSN 1096-7516

Curtois, Timothy, Laesanklang, Wasakorn, Landa-Silva, Dario, Mesgarpour, Mohammad and Qu, Yi (2017) Towards collaborative optimisation in a shared-logistics environment for pickup and delivery operations. In: 6th International Conference on Operations Research and Enterprise Systems (ICORES 2017), 23-25 February 2017, Porto, Portugal.

Curtois, Timothy, Landa-Silva, Dario, Qu, Yi and Laesanklang, Wasakorn (2018) Large neighbourhood search with adaptive guided ejection search for the pickup and delivery problem with time windows. Euro Journal of Transportation and Logistics, 7 (2). pp. 151-192. ISSN 2192-4376

D

Daly, Keith R., Tracy, Saoirse R., Crout, Neil M.J., Mairhofer, Stefan, Pridmore, Tony P., Mooney, Sacha J. and Roose, Tiina (2017) Quantification of root water uptake in soil using X-ray Computed Tomography and image based modelling. Plant, Cell and Environment, 41 (1). pp. 121-133. ISSN 1365-3040

Dancu, Alexandru, Vechev, Velko, Unluer, Adviye Ayca, Nilson, Simon, Nygren, Oscar, Eliasson, Simon, Barjonet, Jean-Elie, Marshall, Joe and Fjeld, Morten (2015) Gesture bike: examining projection surfaces and turn signal systems for urban cycling. In: ITS 2015: ACM International Conference on Interactive Tabletops and Surfaces, 15-18 November 2015, Funchal, Madeira. (In Press)

Dang, Duc-Cuong, Jansen, Thomas and Lehre, Per Kristian (2016) Populations can be essential in tracking dynamic optima. Algorithmica . ISSN 1432-0541

Dang, Duc-Cuong and Lehre, Per Kristian (2016) Runtime analysis of non-elitist populations: from classical optimisation to partial information. Algorithmica, 75 (3). pp. 428-461. ISSN 1432-0541

Darrow, Michele C., Luengo, Imanol, Basham, Mark, Spink, Matthew C., Irvine, Sarah, French, Andrew P., Ashton, Alun W. and Duke, Elizabeth M.H. (2017) Volume segmentation and analysis of biological materials using SuRVoS (Super-region Volume Segmentation) workbench. Journal of Visualized Experiments (126). e56162/1-e56162/13. ISSN 1940-087X

Darzentas, Dimitrios, Hazzard, Adrian, Brown, Michael, Flintham, Martin and Benford, Steve (2016) Harnessing the digital records of everyday things. In: Design Research Society 2016, 27-30 June 2016, Brighton, UK.

Day, Laurence and Hutton, Graham (2012) Towards modular compilers for effects. In: International Symposium on Trends in Functional Programming (12th), 16-18 May 2011, Madrid, Spain.

De Giacomo, Giuseppe, Vardi, Moshe Y., Felli, Paolo, Alechina, Natasha and Logan, Brian (2018) Synthesis of orchestrations of transducers for manufacturing. In: 32nd AAAI Conference on Artificial Intelligence (AAAI-18), 2-7 Feb 2018, New Orleans, USA.

De Roure, David, Wilcox, Pip and Chamberlain, Alan (2017) Interconnected alchemy: an apparatus for alchemical algorithms. In: Listen to the Voice of Fire: Alchemy in Sound Art, 3 March 2017, National Library of Wales, Aberystwyth.

Dediu, Alexandra, Landa-Silva, Dario and Siebers, Peer-Olaf (2018) An agent based modelling approach for the office space allocation problem. In: 2018 European Modeling and Simulation Symposium (EMSS 2018), 17-19 September 2018, Budapest, Hungary.

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

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

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.

Dennis, Louise Abigail, 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.

Dennis, Louise Abigail, 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.

Dennis, Louise Abigail, Collins, Graham, Norrish, Michael, Boulton, Richard, Slind, Konrad, Robinson, Graham, 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, 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)

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.

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.

Dent, Ian, 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)

Dent, Ian, 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, Craig, Tony, Aickelin, Uwe and Rodden, Tom (2018) A method for evaluating options for motif detection in electricity meter data. Journal of Data Science, 16 (1). ISSN 1683-8602

Dent, Ian, Craig, Tony, 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)

Dent, Ian, Craig, Tony, Aickelin, Uwe and Rodden, Tom (2012) Finding the creatures of habit: clustering households based on their flexibility in using electricity. In: Digital Futures 2012: the Third Annual Digital Economy All Hands Conference, 23-25 Oct 2012, Aberdeen, UK.

Dent, Ian, Craig, Tony, 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)

Dent, Ian, Wagner, Christian, 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)

Deveci, Muhammet, Çetin Demirel, Nihan, John, Robert and Özcan, Ender (2015) Fuzzy multi-criteria decision making for carbon dioxide geological storage in Turkey. Journal of Natural Gas Science and Engineering, 27 (2). pp. 695-705. ISSN 1875-5100

Deveci, Muhammet, Özcan, Ender, John, Robert and Öner, Sultan Ceren (2018) Interval type-2 hesitant fuzzy set method for improving the service quality of domestic airlines in Turkey. Journal of Air Transport Management, 69 . pp. 83-98. ISSN 0969-6997

Dickens, Amy, Greenhalgh, Chris and Koleva, Boriana (2017) Creating space for facilitated music performance: gesture controlled sound for users with complex disabilities. In: Audio Mostly 2017, 23rd - 26th August 2017, Queen Mary University of London, London, UK.

Dietrich, Daniela, Pang, Lei, Kobayashi, Akie, Fozard, John A., Boudolf, Véronique, Bhosale, Rahul, Antoni, Regina, Nguyen, Tuan, Hiratsuka, Sotaro, Fujii, Nobuharu, Miyazawa, Yutaka, Bae, Tae-Woong, Wells, Darren M., Owen, Markus R., Band, Leah R., Dyson, Rosemary J., Jensen, Oliver E., King, John R., Tracy, Saoirse R., Sturrock, Craig, Mooney, Sacha J., Roberts, Jeremy A., Bhalerao, Rishikesh P., Dinneny, José R., Rodriguez, Pedro L., Nagatani, Akira, Hosokawa, Yoichiroh, Baskin, Tobias I., Pridmore, Tony P., De Veylder, Lieven, Takahashi, Hideyuki and Bennett, Malcolm J. (2017) Root hydrotropism is controlled via a cortex-specific growth mechanism. Nature Plants, 3 . p. 17057. ISSN 2055-0278

Dineen, Robert A., Avula, S., Chambers, T., Dutta, M., Liu, J.F., Soria, D., Quinlan, P., MacArthur, D., Howart, S., Harave, S., Ong, C., Mallucci, C., Kumar, R., Pizer, B. and Walker, D.A. (2016) Development and clinical acceptability of a pre-operative risk stratification tool of cerebellar mutism syndrome in children with posterior fossa tumour. In: 2016 Royal College of Paediatrics and Child Health annual conference, 26-28 April 2016, Liverpool, Great Britain.

Ding, Yuchun, Pardon, Marie-Christine, Agostini, Alessandra, Faas, Henryk, Duan, Jinming, Ward, Wil O.C., Easton, Felicity, Auer, Dorothee P. and Bai, Li (2016) Novel Methods for microglia segmentation, feature extraction and classification. IEEE/ACM Transactions on Computational Biology and Bioinformatics (99). ISSN 1557-9964

Dix, Alan, Malizia, Alessio, Turchi, Tommaso, Gill, Steve, Louden, Garreth, Morris, Richard, Chamberlain, Alan and Belluci, Andrea (2017) Rich digital collaborations in a small rural community. In: Collaboration Meets Interactive Spaces. Springer, Switzerland, pp. 463-483. ISBN 9783319458526

Doan, Thu Trang, Yuan, Yao, Alechina, Natasha and Logan, Brian (2014) Verifying heterogeneous multi-agent programs. In: 13th International Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2014, 5-9 May 2014, Paris, France.

Drake, John H., Hyde, Matthew, Khaled, Ibrahim and Özcan, Ender (2014) A genetic programming hyper-heuristic for the multidimensional knapsack problem. Kybernetes, 43 (9/10). pp. 1500-1511. ISSN 0368-492X

Drake, John H., Özcan, Ender and Burke, Edmund (2015) A case study of controlling crossover in a selection hyper-heuristic framework using the multidimensional knapsack problem. Evolutionary Computation . ISSN 1530-9304

Drake, John H., Özcan, Ender and Burke, Edmund K. (2015) A comparison of crossover control mechanisms within single-point selection hyper-heuristics using HyFlex. In: 2015 IEEE Congress on Evolutionary Computation (CEC2015), 25-28 May 2015, Sendai, Japan.

Drake, John H., Özcan, Ender and Burke, Edmund K. (2015) A modified choice function hyper-heuristic controlling unary and binary operators. In: 2015 IEEE Congress on Evolutionary Computation (CEC2015), 25-28 May 2015, Sendai, Japan.

Drake, John H., Özcan, Ender and Burke, Edmund K. (2014) Modified choice function heuristic selection for the multidimensional knapsack problem. In: Genetic and evolutionary computing. Advances in Intelligent Systems and Computing (329). Springer, pp. 225-234. ISBN 9783319122854

Dror, Moshe, Kendall, G. and Rapoport, Amnon (2016) Elicitation of strategies in four variants of a round-robin tournament: the case of Goofspiel. IEEE Transactions on Computational Intelligence and AI in Games, 8 (3). pp. 209-217. ISSN 1943-0698

Du, Heshan and Alechina, Natasha (2016) Qualitative spatial logics for buffered geometries. Journal of Artificial Intelligence Research, 56 . pp. 693-745. ISSN 1076-9757

Du, Heshan, Alechina, Natasha, Jackson, Mike and Hart, Glen (2016) A method for matching crowd-sourced and authoritative geospatial data. Transactions in GIS . ISSN 1361-1682

Du, Heshan, Nguyen, Hai Hoang, Alechina, Natasha, Logan, Brian, Jackson, Mike and Goodwin, John (2015) Using qualitative spatial logic for validating crowd-sourced geospatial data. In: Innovative Applications of Artificial Intelligence (IAAI-15), 25-29 Jan 2015, Austin, Texas, USA.

Duan, Jinming, Tench, Christopher, Gottlob, Irene, Proudlock, Frank and Bai, Li (2017) Automated segmentation of retinal layers from optical coherence tomography images using geodesic distance. Pattern Recognition, 72 . pp. 158-175. ISSN 0031-3203

Duan, Jinming, Ward, Wil O.C., Sibbett, Luke, Pan, Zhenkuan and Bai, Li (2017) Introducing anisotropic tensor to high order variational model for image restoration. Digital Signal Processing . ISSN 1051-2004

Dupre, R., Argyriou, V., Greenhill, D. and Tzimiropoulos, G. (2015) A 3D scene analysis framework and descriptors for risk evaluation. In: 2015 International Conference on 3D Vision (3DV), 19-22 October 2015, Lyon, France.

Dupre, Rob, Argyriou, Vasileios, Tzimiropoulos, Georgios and Greenhill, Darrel (2016) Risk analysis for smart homes and domestic robots using robust shape and physics descriptors, and complex boosting techniques. Information Sciences, 372 . pp. 359-379. ISSN 1872-6291

Durrant, Abigail, Kirk, Dave and Reeves, Stuart (2014) Human values in curating a human rights media archive. In: CHI 2014: SIGCHI Conference on Human Factors in Computing Systems, 27 April - 1 May 2014, Toronto, Canada.

D’Alterio, Pasquale, Garibaldi, Jonathan M. and Pourabdollah, Amir (2018) Exploring Constrained Type-2 fuzzy sets. In: 2018 IEEE World Congress on Computational Intelligence (WCCI 2018), 8-13 July 2018, Rio de Janeiro, Brazil.

de Maere, Geert, Atkin, Jason and Burke, Edmund (2017) Pruning rules for optimal runway sequencing. Transportation Science . ISSN 1526-5447

de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David and Ratchev, Svetan (2017) Synthesising industry-standard manufacturing process controllers. In: Sixteenth International Conference on Autonomous Agents and Multiagent Systems, 8-12 May, 2017, São Paulo, Brazil.

de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David and Ratchev, Svetan (2016) Realisability of production recipes. In: 22nd European Conference in Artificial Intelligence (ECAI 2016), 29 Aug-2 Sept 2016, The Hague, Netherlands.

de Silva, Lavindra, Felli, Paolo, Sanderson, David, Chaplin, Jack C., Logan, Brian and Ratchev, Svetan (2019) Synthesising process controllers from formal models of transformable assembly systems. Robotics and Computer-Integrated Manufacturing . ISSN 1879-2537 (In Press)

de Silva, Lavindra, Meneguzzi, Felipe and Logan, Brian (2018) An operational semantics for a fragment of PRS. In: 27th International Joint Conference on Artificial Intelligence (IJCAI) and the 23rd European Conference on Artificial Intelligence (ECAI), 13-19 July 2018, Stockholm, Sweden.

E

Edwards, Lilian, McAuley, Derek and Diver, Laurence (2016) From privacy impact assessment to Social Impact Assessment. In: 2016 IEEE Security and Privacy Workshops (SPW), 22-26 May 2016, San Jose, CA, USA.

Edwards, Lilian and Urquhart, Lachlan (2016) Privacy in public spaces: what expectations of privacy do we have in social media intelligence? International Journal of Law and Information Technology, 24 (3). pp. 279-310. ISSN 1464-3693

Egede, Joy Onyekachukwu, Valstar, Michel F. and Martinez, Brais (2017) Fusing deep learned and hand-crafted features of appearance, shape, and dynamics for automatic pain estimation. In: 12th IEEE Conference on Face and Gesture Recognition (FG 2017), 30 May-3 June 2017, Washington, D.C., U.S.A..

Elhag, Anas and Özcan, Ender (2015) A grouping hyper-heuristic framework: application on graph colouring. Expert Systems with Applications, 42 (13). pp. 5491-5507. ISSN 0957-4174

Emsley, Iain, Chamberlain, Alan and De Roure, David (2017) Hearing the humanities: sonifying Steele’s Shakespeare. In: DMRN+12: Digital Music Research Network One-day Workshop 2017, 19th December 2017, London, UK.

Emsley, Iain, De Roure, David and Chamberlain, Alan (2017) A network of noise: designing with a decade of data to sonify JANET. In: Audio Mostly 2017, 23-26 August 2017, London, UK.

Ercal, Turker, Özcan, Ender and Asta, Shahriar (2014) Soft morphological filter optimization using a genetic algorithm for noise elimination. In: 2014 14th UK Workshop on Computational Intelligence (UKCI), 8-10 September 2014, Bradford, Great Britain.

Ercal, Turker, Özcan, Ender and Asta, Shahriar (2014) Soft morphological filter optimization using a genetic algorithm for noise elimination. In: UK Workshop on Computational Intelligence (UKCI2014), 8-10 Sept 2014, Bradford, UK.

Escalera, Sergio, Torres, Mercedes Torres, Martinez, Brais, Baro, Xavier, Escalante, Hugo Jair, Guyon, Isabelle, Tzimiropoulos, Georgios, Corneanu, Ciprian, Oliu, Marc, Bagheri, Mohammad Ali and Valstar, Michel (2016) ChaLearn Looking at People and Faces of the World: Face AnalysisWorkshop and Challenge 2016. In: IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), 26 June - 1 July 2016, Las Vegas, NV, USA.

Eslambolchilar, Parisa, Bødker, Mads and Chamberlain, Alan (2016) Ways of walking: understanding walking's implications for the design of handheld technology via a humanistic ethnographic approach. Human Technology: an Interdisciplinary Journal on Humans in ICT Environments, 12 (1). pp. 5-30. ISSN 1795-6889

Evans, Elizabeth, Flintham, Martin and Martindale, Sarah (2014) The Malthusian Paradox: performance in an alternate reality game. Personal and Ubiquitous Computing, 18 (7). pp. 1567-1582. ISSN 1617-4917

Eyben, F., Petridis, S., Schuller, Björn, Tzimiropoulos, Georgios, Zafeiriou, Stefanos and Pantic, Maja (2011) Audiovisual classification of vocal outbursts in human conversation using long-short-term memory networks. In: ICASSP 2011 - 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 22-27 May 2011, Prague, Czech Republic.

Eyoh, Imo and John, Robert (2017) Machine learning and statistical approaches to classification – a case study. In: 15th UK Workshop on Computational Intelligence (UKCI 2015), 7-9 Sep 2015, Exeter, UK.

Eyoh, Imo, John, Robert and De Maere, Geert (2017) Extended Kalman filter-based learning of interval type-2 intuitionistic fuzzy logic system. In: 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 5-8 October 2017, Banff, AB, Canada.

Eyoh, Imo, John, Robert and de Maere, Geert (2018) Interval type-2 intuitionistic fuzzy logic systems: a comparative evaluation. In: 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2018), 11-15 Jun 2018, Cádiz, Spain. (In Press)

Eyoh, Imo, John, Robert and de Maere, Geert (2018) Interval type-2 intuitionistic fuzzy logic systems - a comparative evaluation. Communications in Computer and Information Science, 853 . pp. 687-698. ISSN 1865-0929

Eyoh, Imo, John, Robert and de Maere, Geert (2017) Interval type-2 A-intuitionistic fuzzy logic for regression problems. IEEE Transactions on Fuzzy Systems . ISSN 1941-0034

Eyoh, Imo, John, Robert and de Maere, Geert (2017) Time series forecasting with interval type-2 intuitionistic fuzzy logic systems. In: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 Jul 2017, Naples, Italy.

Eyoh, Imo, John, Robert and de Maere, Geert (2016) Interval type-2 intuitionistic fuzzy logic system for non-linear system prediction. In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), 9-12 October 2016, Budapest, Hungary.

Eyoh, Imo, John, Robert, de Maere, Geert and Kayacan, Erdal (2018) Hybrid learning for interval type-2 intuitionistic fuzzy logic systems as applied to identification and prediction problems. IEEE Transactions on Fuzzy Systems, 26 (5). pp. 2672-2685. ISSN 1941-0034

F

Fattah, Polla, Aickelin, Uwe and Wagner, Christian (2017) Measuring behavioural change of players in public goods game. In: Measuring Behavioural Change of Players in Public Goods Game. Springer.

Fattah, Polla, Aickelin, Uwe and Wagner, Christian (2016) Measuring player’s behaviour change over time in public goods game. In: SAI Intelligent Systems Conference 2016, 20-22 Sep 2016, London, UK.

Fattah, Polla, Aickelin, Uwe and Wagner, Christian (2016) Optimising rule-based classification in temporal data. ZANCO Journal of Pure and Applied Sciences, 28 (2). pp. 135-146. ISSN 2412-3986

Felli, Paolo, Logan, Brian and Sardina, Sebastian (2016) Parallel behavior composition for manufacturing. In: 25th International Joint Conference on Artificial Intelligence, 9-13 July 2016, New York, NY.

Felli, Paolo, de Silva, Lavindra, Logan, Brian and Ratchev, Svetan (2018) Composite capabilities for cloud manufacturing (demonstration). In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 10-15 Jul 2018, Stockholm, Sweden.

Felli, Paolo, de Silva, Lavindra, Logan, Brian and Ratchev, Svetan (2017) Process plan controllers for non-deterministic manufacturing systems. In: International Joint Conference on Artificial Intelligence (IJCAI), 19-25 August 2017, Melbourne, Australia.

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

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

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

Feyereisl, Jan and Aickelin, Uwe (2009) Self-organizing maps in computer security. In: Self-organizing maps in computer security: intrusion, detection and prevention. Nova Science, New York, USA, pp. 1-30. ISBN 9781606927816

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.

Figueredo, Grazziela P. and Aickelin, Uwe (2011) Comparing System Dynamics and Agent-Based Simulation for tumour growth and its interactions with effector cells. In: Summer Computer Simulation Conference (SCSC 2011), 27-30 June 2011, Hague, Netherlands.

Figueredo, Grazziela P. 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

Figueredo, Grazziela P. 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

Figueredo, Grazziela P., 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

Figueredo, Grazziela P., 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.

Figueredo, Grazziela P., Quinlan, P., Mesgarpour, Mohammad, Garibaldi, Jonathan M. and John, Robert (2015) A data analysis framework to rank HGV drivers. In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems (ITSC 2015), 15-18 Sept 2015, Las Palmas, Spain.

Figueredo, Grazziela P., 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 (Spl. 6). S6. ISSN 1471-2105

Figueredo, Grazziela P., 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 (Su . ISSN 1471-2105

Figueredo, Grazziela P., Siebers, Peer-Olaf, 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

Figueredo, Grazziela P., Siebers, Peer-Olaf, Aickelin, Uwe, Whitbrook, Amanda and Garibaldi, Jonathan M. (2015) Juxtaposition of system dynamics and agent-based simulation for a case study in immunosenescence. PLoS ONE, 10 (3). e0118359/1-e0118359/20. ISSN 1932-6203

Figueredo, Grazziela P., Siebers, Peer-Olaf, Augusto, Douglas A., 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.

Figueredo, Grazziela P., Siebers, Peer-Olaf, Owen, Markus R., 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

Figueredo, Grazziela P., Triguero, Isaac, Mesgarpour, Mohammad, Maciel Guerra, Alexandre, Garibaldi, Jonathan M. and John, Robert (2017) Detecting danger in roads: an immune-inspired technique to identify heavy goods vehicles incident hot spots. IEEE Transactions on Emerging Topics in Computational Intelligence . ISSN 2471-285X (In Press)

Figueredo, Grazziela P., Wagner, Christian, Garibaldi, Jonathan M. and Aickelin, Uwe (2015) Adaptive data communication interface: a user-centric visual data interpretation framework. In: 9th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE-15), 20-22 August 2015, Helsinki, Finland.

Fischer, Joel, Reeves, Stuart, Rodden, Tom, Reece, Steve, Ramchurn, Sarvapali and Jones, David (2015) Building a birds eye view: collaborative work in disaster response. In: ACM Conference on Human Factors in Computing Systems (CHI '15), 18-23 April 2015, Seoul, Korea.

Fischer, Joel E., Costanza, Enrico, Ramchurn, Sarvapali D., Colley, James A. and Rodden, Tom (2014) Energy advisors at work: charity work practices to support people in fuel poverty. In: ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014), 13-17 Sept 2014, Seattle, WA, USA.

Fischer, Joel E., Crabtree, Andy, Colley, James, Rodden, Tom and Costanza, Enrico (2017) Data work: how energy advisors and clients make IoT data accountable. Computer Supported Cooperative Work, 26 (4-6). pp. 597-626. ISSN 1573-7551

Fischer, Joel E., Crabtree, Andy, Rodden, Tom, Colley, James A., Costanza, Enrico, Jewell, Michael O. and Ramchurn, Sarvapali D. (2016) “Just whack it on until it gets hot”: working with IoT data in the home. In: CHI 2016: SIGCHI Conference on Human Factors in Computing Systems, 07-12 May 2016, San Jose, CA, USA.

Fischer, Joel E., Greenhalgh, Chris, Jiang, Wenchao, Ramchurn, Sarvapali D., Wu, Feng and Rodden, Tom (2017) In-the-loop or on-the-loop? Interactional arrangements to support team coordination with a planning agent. Concurrency and Computation: Practice and Experience . ISSN 1532-0634

Fischer, Joel E., Jiang, Wenchao, Kerne, Andruid, Greenhalgh, Chris, Ramchurn, Sarvapali D., Reece, Steve, Pantidi, Nadia and Rodden, Tom (2014) Supporting team coordination on the ground: requirements from a mixed reality game. In: International Conference on the Design of Cooperative Systems (COOP 2014), 27-30 May, Nice, France.

Fischer, Joel E., Porcheron, Martin, Lucero, Andrés, Quigley, Aaron, Scott, Stacey D., Ciolfi, Luigina, Rooksby, John and Memarovic, Nemanja (2016) Collocated interaction: new challenges in ‘same time, same place’ research. In: Collocated Interaction: New Challenges in 'Same Time, Same Place' Research workshop at CSCW '16, 27 Feb 2016, San Francisco, USA.

Flintham, Martin, Karner, Christian, Creswick, Helen, Bachour, Khaled, Gupta, Neha and Moran, Stuart (2018) Falling for fake news: investigating the consumption of news via social media. In: ACM CHI Conference on Human Factors in Computing Systems 2018, 21-26 April 2018, Montreal, Canada.

Flintham, Martin D., Velt, Raphael, Wilson, Max L., Anstead, Edward J., Benford, Steve, Brown, Anthony, Pearce, Timothy, Price, Dominic and Sprinks, James (2015) Run spot run: capturing and tagging footage of a race by crowds of spectators. In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 18-23 April 2015, Seoul, South Korea.

Foan, Stephanie, Jackson, Andrew M., 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

Fosh, Lesley, Benford, Steve and Koleva, Boriana (2016) Supporting group coherence in a museum visit. In: ACM Conference on Computer Supported Cooperative Work & Social Computing (CSCW '16), 27 February-3 March 2016, San Francisco, USA.

Fosh, Lesley, Benford, Steve, Reeves, Stuart and Koleva, Boriana (2014) Gifting personal interpretations in galleries. In: SIGCHI Conference on Human Factors in Computing Systems, 26 Apr-1 May 2014, Toronto, Ont..

Fosh, Lesley, Benford, Steve, Reeves, Stuart and Koleva, Boriana (2014) Gifting personal interpretations in galleries. In: ACM CHI Conference on Human Factors in Computing Systems (CHI 2014), April 26 - May 1 2014, Toronto, Canada.

Fowler, Jonathan and Hutton, Graham (2016) Failing faster: overlapping patterns for property-based testing. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, 18-20 Jan 2017, Paris, France. (In Press)

Fowler, Jonathan and Hutton, Graham (2016) Towards a theory of reach. Lecture Notes in Computer Science, 9547 . pp. 22-39. ISSN 0302-9743

Fraser, Mike, Bowers, John, Brundell, Pat, O'Malley, Claire, Reeves, Stuart, Benford, Steve, Ciolfi, Luigina, Ferris, Kieran, Gallagher, Paul, Hall, Tony, Bannon, Liam, 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.

Fu, Changhong, Sarabakha, Andriy, Kayacan, Erdal, Wagner, Christian, John, Robert and Garibaldi, Jonathan M. (2018) Input uncertainty sensitivity enhanced non-singleton fuzzy logic controllers for long-term navigation of quadrotor UAVs. IEEE/ASME Transactions on Mechatronics, 23 (2). pp. 725-734. ISSN 1083-4435

Fu, Changhong, Sarabakha, Andriy, Kayacan, Erdal, Wagner, Christian, John, Robert and Garibaldi, Jonathan M. (2017) Similarity-based non-singleton fuzzy logic control for improved performance in UAVs. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 Jul 2017, Naples, Italy.

Fu, Changhong, Sarabakha, Andriy, Kayacan, Erdal, Wagner, Christian, John, Robert and Garibaldi, Jonathan M. (2016) A comparative study on the control of Quadcopter UAVs by using singleton and non-singleton fuzzy logic controllers. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2016), 24-29 Jul 2016, Vancouver, Canada.

Fu, Hao, Qiu, Guoping, Shu, Jie and Ilyas, Mohammad (2014) A novel polar space random field model for the detection of glandular structures. IEEE Transactions on Medical Imaging, 33 (3). pp. 764-776. ISSN 1558-254X

Fu, Xinyu, Ch'ng, Eugene and Aickelin, Uwe (2016) An improved system for sentence-level novelty detection in textual streams. In: 3rd International Conference on Smart Sustainable City and Big Data (ICSSC), 27-28 July 2015, Shanghai, China.

Fu, Xinyu, Ch’ng, Eugene, Aickelin, Uwe and See, Simon (2017) CRNN: a joint neural network for redundancy detection. In: 3rd IEEE International Conference on Smart Computing (Smartcomp 2017), 29-31 May 2017, Hong Kong, China.

G

Galimullin, Rustam and Alechina, Natasha (2017) Coalition and coalition announcement logic. In: Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, 24-26 July 2017, Liverpool, United Kingdom.

Gao, Haichang, Chang, Xiuling, Ren, Zhongjie, 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

Gao, Haichang, Ren, Zhongjie, Chang, Xiuling, Liu, Xiyang and Aickelin, Uwe (2010) The effect of baroque music on the PassPoints graphical password. In: CIVR '10: Proceedings of the ACM International Conference on Image and Video Retrieval, 5-7 July 2010, Xi'an, China.

Garibaldi, Jonathan M., Soria, Daniele and Rasmani, Khairul A. (2010) Consensus clustering and fuzzy classification for breast cancer prognosis. In: 24th European Conference on Modelling and Simulation (ECMS2010), 1-4 June 2010, Kuala Lumpur, Malaysia.

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

Geiszler, Philippine C., Ugun-Klusek, Aslihan, Lawler, Karen, Pardon, Marie-Christine, Yuchun, Ding, Bai, Li, Daykin, Clare, Auer, Dorothee P. and Bedford, Lynn (2018) Dynamic metabolic patterns tracking neurodegeneration and gliosis following 26S proteasome dysfunction in mouse forebrain neurons. Scientific Reports, 8 . 4833/1-4833/13. ISSN 2045-2322

Gibbons, Jeremy and Hutton, Graham (1999) Proof methods for structured corecursive programs. In: 1st Scottish Functional Programming Workshop, 29 Aug - 1 Sept 1999, Stirling, Scotland.

Gibbons, Jeremy, Hutton, Graham and Altenkirch, Thorsten (2001) When is a function a fold or an unfold? In: Workshop on Coalgebraic Methods in Computer Science (4th), 6-7 April 2001, Genova, Italy.

Gibbs, Jonathon, Pound, Michael P., French, Andrew P., Wells, Darren M., Murchie, Erik H. and Pridmore, Tony P. (2016) Approaches to three-dimensional reconstruction of plant shoot topology and geometry. Functional Plant Biology . ISSN 1445-4408

Gilbert, James P. and Twycross, Jamie (2018) From clusters to queries: exploiting uncertainty in the modularity landscape of complex networks. In: 14th International Workshop on Mining and Learning with Graphs, 20 August, 2018, London, UK.

Giri, Jitender, Bhosale, Rahul, Huang, Guoqiang, Pandey, Bipin K., Parker, Helen, Zappala, Susan, Yang, Jing, Dievart, Anne, Bureau, Charlotte, Ljung, Karin, Price, Adam, Rose, Terry, Larrieu, Antoine, Mairhofer, Stefan, Sturrock, Craig J., White, Philip, Dupuy, Lionel, Hawkesford, Malcolm, Perin, Christophe, Liang, Wanqi, Peret, Benjamin, Hodgman, Charlie T., Lynch, Jonathan, Wissuwa, Matthias, Zhang, Dabing, Pridmore, Tony, Mooney, Sacha J., Guiderdoni, Emmanuel, Swarup, Ranjan and Bennett, Malcolm J. (2018) Rice auxin influx carrier OsAUX1 facilitates root hair elongation in response to low external phosphate. Nature Communications, 9 (1). 1408/1-1408/7. ISSN 2041-1723

Glaab, Enrico, Bacardit, Jaume, 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

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

Glaab, Enrico, Baudot, Anaïs, 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

Glaab, Enrico, 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

Glaab, Enrico, 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.

Glover, Tony (2016) Using web applications for data visualisation. In: European Conference on Cognitive Ergonomics, 06-08 Sep 2016, Nottingham, UK.

Goh, Billy Kian Bing, Yee, Angelina Seow Voon, Kendall, Graham and Chong, Aik Lee (2017) Industrial R&D expenditure: its determinants and propensity of technology transfer of top ten companies in Malaysia, Singapore and Taiwan. Asian Journal of Innovation and Policy, 6 (3). pp. 354-378. ISSN 2287-1616

Goh, Say Leng, Kendall, G. and Sabar, Nasser R. (2017) Improved local search approaches to solve the post enrolment course timetabling problem. European Journal of Operational Research, 261 (1). pp. 17-29. ISSN 0377-2217

González, Mabel, Bergmeir, Christoph, Triguero, Isaac, Rodríguez, Yanet and Benítez, José M. (2017) Self-labeling techniques for semi-supervised time series classification: an empirical study. Knowledge and Information Systems . ISSN 0219-3116

Goulden, Murray, Bedwell, Benjamin D., Rennick-Egglestone, Stefan, Rodden, Tom and Spence, Alexa (2014) Smart grids, smart users? The role of the user in demand side management. Energy Research & Social Science, 2 . pp. 21-29. ISSN 2214-6296

Goulden, Murray, Greiffenhagen, Christian, Crowcroft, Jon, McAuley, Derek, Mortier, Richard, Radenkovic, Milena and Sathiaseelan, Arjuna (2016) Wild interdisciplinarity: ethnography and computer science. International Journal of Social Research Methodology . ISSN 1464-5300

Goulden, Murray and Spence, Alexa (2015) Caught in the middle: the role of the facilities manager in organisational energy use. Energy Policy, 85 . pp. 280-287. ISSN 0301-4215

Goulden, Murray, Tolmie, Peter, Mortier, Richard and Lodge, Tom (2017) Living with interpersonal data: observability and accountability in the age of pervasive ICT. New Media & Society . ISSN 1461-7315

Goulding, James, Preston, Simon P. and Smith, Gavin (2016) Event series prediction via non-homogeneous Poisson process modelling. In: 2016 IEEE International Conference on Data Mining (ICDM), 12-25 Dec 2016, Barcelona., Spain.

Goulding, James, Smith, Gavin and Engelmann, Gregor (2018) The unbanked and poverty: predicting area-level socio-economic vulnerability from M-Money transactions. In: 2018 IEEE International Conference on Big Data, 10-13 Dec 2018, Seattle, USA.

Green, Andrew R., Soria, Daniele, Powe, Desmond G., Nolan, Christopher C., Aleskandarany, Mohammed A., Szász, M.A., Tőkés, A.M., Ball, G.R., Garibaldi, Jonathan M., Rakha, Emad, Kulka, J. and Ellis, Ian O. (2016) Nottingham prognostic index plus (NPI+) predicts risk of distant metastases in primary breast cancer. Breast Cancer Research and Treatment, 157 (1). pp. 65-75. ISSN 0167-6806

Green, Andrew R., Soria, Daniele, Stephen, Jacquelin, Powe, Desmond G., Nolan, Christopher C., Kunkler, Ian, Thomas, Jeremy, Kerr, Gillian R., Jack, Wilma, Cameron, David, Piper, Tammy, Ball, Graham R., Garibaldi, Jonathan M., Rakha, Emad, Bartlett, John M.S. and Ellis, Ian O. (2016) Nottingham Prognostic Index Plus: validation of a clinical decision making tool in breast cancer in an independent series. Journal of Pathology: Clinical Research, 2 . pp. 32-40. ISSN 2056-4538

Green, William J.F., Ball, Graham, Hulman, Geoffrey, Johnson, Catherine, Van Schalwyk, Gerry, Ratan, Hari L., Soria, Daniel, Garibaldi, Jonathan M., Parkinson, Richard, Hulman, Joshua, Rees, Robert and Powe, Desmond G. (2016) KI67 and DLX2 predict increased risk of metastasis formation in prostate cancer: a targeted molecular approach. British Journal of Cancer . ISSN 0007-0920

Greenhalgh, Chris, Benford, Steve and Hazzard, Adrian (2016) ^muzicode$: composing and performing musical codes. In: Audio Mostly 2016, 4-6 Oct 2016, Norrköping, Sweden.

Greenhalgh, Chris, Benford, Steve, Hazzard, Adrian and Chamberlain, Alan (2017) Playing fast and loose with music recognition. In: CHI 2017: ACM CHI Conference on Human Factors in Computing Systems, 6-11 May 2017, Denver, Colorado, USA.

Greenhalgh, Chris, Hazzard, Adrian, McGrath, Sean and Benford, Steve (2016) GeoTracks: adaptive music for everyday journeys. In: ACM Multimedia 2016, 15-19 Oct 2016, Amsterdam, The Netherlands. (In Press)

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

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

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

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.

Greensmith, Julie, 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

Greensmith, Julie, 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.

Greensmith, Julie, 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.

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

Greensmith, Julie, 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.

Greensmith, Julie, 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.

Greensmith, Julie, 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 Gale, Michael B. (2017) The functional dendritic cell algorithm: a formal specification with Haskell. In: IEEE Congress on Evolutionary Computation 2017, 5-9 June 2017, Donostia-San Sebastian, Spain.

Greensmith, Julie, Jackson, Andrew M. and Spendlove, Ian (2016) Exploiting the plasticity of primary and secondary response mechanisms in artificial immune systems. In: Genetic and Evolutionary Computation Conference (2016), 20-24 Jul 2016, Denver, USA.

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

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

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

Gu, Feng, Feyereisl, Jan, Oates, Robert, Reps, Jenna, Greensmith, Julie and Aickelin, Uwe (2011) Quiet in class: classification, noise and the dendritic cell algorithm. Lecture Notes in Computer Science, 6825 . pp. 173-186. ISSN 0302-9743

Gu, Feng, 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

Gu, Feng, 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

Gu, Feng, Greensmith, Julie and Aickelin, Uwe (2012) The dendritic cell algorithm for intrusion detection. In: Biologically inspired networking and sensing : algorithms and architectures. IGI Global, pp. 84-102. ISBN 9781613500927

Gu, Feng, Greensmith, Julie and Aickelin, Uwe (2009) Integrating real-time analysis with the dendritic cell algorithm through segmentation. In: GECCO '09: Proceedings of the 11th Genetic and Evolutionary Computation Conference, 8-12 July 2009, Montreal, Canada.

Gu, Feng, 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

Gu, Feng, 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

Gu, Feng, Greensmith, Julie, 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.

Gumus, Duriye Betul, Özcan, Ender and Atkin, Jason (2016) An investigation of tuning a memetic algorithm for cross-domain search. In: 2016 IEEE Congress on Evolutionary Computation, 24-29 July 2016, Vancouver, Canada.

Gunawan, Aldy, Ng, Kien Ming, Kendall, Graham and Lai, Junhan (2018) An iterated local search algorithm for the team orienteering problem with variable profits. Engineering Optimization . ISSN 1029-0273

Gümüş, Düriye Betül, Özcan, Ender and Atkin, Jason (2016) An analysis of the Taguchi method for tuning a memetic algorithm with reduced computational time budget. In: Computer and information sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, proceedings. Communications in computer and information science, 659 (659). Springer, pp. 12-20. ISBN 978-3-319-47217-1

H

Hackett, Jennifer and Hutton, Graham (2018) Parametric polymorphism and operational improvement. Proceedings of the ACM on Programming Languages, 2 . ISSN 2475-1421

Hackett, Jennifer and Hutton, Graham (2015) Programs for cheap! In: Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science, 6-10 July 2015, Kyoto, Japan.

Hackett, Jennifer and Hutton, Graham (2014) Worker/wrapper/makes it/faster. In: ACM SIGPLAN International Conference on Functional Programming (19th), 1-3 Sept 2014, Gothenburg, Sweden.

Hackett, Jennifer, Hutton, Graham and Jaskelioff, Mauro (2013) The under-performing unfold: a new approach to optimising corecursive programs. In: International Symposium on Implementation and Application of Functional Languages (25th), 28-30 Aug 2013, Nijmegen, Netherlands.

Hadwan, Mohammed, Ayob, Masri, Kendall, Graham and Qu, Rong (2013) A harmony search algorithm for nurse rostering problems. Information Sciences, 233 . pp. 126-140. ISSN 0020-0255

Haichang, Gao, Liu, Honggang, Yao, Dan, 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.

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

Hamad, Rebeen Ali, Alqahtani, Saeed M. and Torres Torres, Mercedes (2017) Emotion and polarity prediction from Twitter. In: Computing Conference 2017, 18-20 July 2017, London, U.K..

Hamrawi, Hussam, Coupland, Simon and John, Robert (2017) Type-2 fuzzy alpha-cuts. IEEE Transactions on Fuzzy Systems, 25 (3). pp. 682-692. ISSN 1941-0034

Handley, Martin A.T. and Hutton, Graham (2018) AutoBench: comparing the time performance of Haskell programs. In: Haskell Symposium 2018, 27-28 September 2018, St Louis, Missouri, USA.

Hao, Ye, 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

Haralabopoulos, Giannis, Wagner, Christian, McAuley, Derek and Simperl, Elena (2018) A multivalued emotion lexicon created and evaluated by the crowd. In: The Fifth International Conference on Social Networks Analysis, Management and Security, 15-18 Oct 2018, Valencia, Spain.

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

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.

Hart, Emma, Read, Mark, McEwan, Chris, 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.

Hassan, Diman, 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.

Hassan, Diman, Aickelin, Uwe and Wagner, Christian (2014) Comparison of distance metrics for hierarchical data in medical databases. In: 2014 International Joint Conference on Neural Networks (IJCNN), 6-11 July 2014, Beijing, China.

Havens, Timothy C., Anderson, Derek T. and Wagner, Christian (2015) Data-informed fuzzy measures for fuzzy integration of intervals and fuzzy numbers. IEEE Transactions on Fuzzy Systems, 23 (5). pp. 1861-1875. ISSN 1941-0034

Havens, Timothy C., Pinar, Anthony J., Anderson, Derek T. and Wagner, Christian (2018) SPFI: shape-preserving Choquet fuzzy integral for non-normal fuzzy set-valued evidence. In: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2018), 8-12 Jul 2018, Rio de Janeiro, Brazil.

Havens, Timothy C., Wagner, Christian and Anderson, Derek T. (2017) Efficient modeling and representation of agreement in interval-valued data. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 July 2017, Naples, Italy. (In Press)

Hazzard, Adrian, Benford, Steve and Burnett, Gary (2015) Sculpting a mobile musical soundtrack. In: Proceedings of the 33rd annual ACM conference on Human factors in computing systems, April 18 - 23, 2015, Seoul, Korea. (In Press)

Hazzard, Adrian, Benford, Steve and Burnett, Gary (2014) You’ll never walk alone: designing a location-based soundtrack. In: 14th International Conference on New Interfaces for Musical Expression, 30 June - 4 July 2014, London, UK.

Hazzard, Adrian, Benford, Steve, Chamberlain, Alan and Greenhalgh, Chris (2015) Considering musical structure in location-based experiences. In: 15th International Conference on New Interfaces for Musical Expression, May 31 - June 3 2015, Baton Rouge, Louisiana, USA.

Hazzard, Adrian, Benford, Steve, Chamberlain, Alan, Greenhalgh, Chris and Kwon, Hyosun (2014) Musical intersections across the digital and physical. In: DMRN+9: Digital Music Research Network (EPSRC), December 2014, London.

He, Fang and Qu, Rong (2016) Hybridising local search with Branch-and-Bound for constrained portfolio selection problems. In: 30th EUROPEAN Conference on Modelling and Simulation, May 31st - June 3rd, 2016, Regensburg, Germany.

He, Fang and Qu, Rong (2014) A two-stage stochastic mixed-integer program modelling and hybrid solution approach to portfolio selection problems. Information Sciences, 289 . pp. 190-205. ISSN 1872-6291

He, Fang, Qu, Rong and John, Robert (2015) A compromise based fuzzy goal programming approach with satisfaction function for multi-objective portfolio optimisation. In: 29th European Conference on Modelling and Simulation ECMS 2015, May 26th - 29th, 2015, Albena (Varna), Bulgaria.

He, Qiyi, Meng, Xiaolin and Qu, Rong (2017) A survey on cyber security of CAV. In: 2017 Forum on Cooperative Positioning and Service (CPGPS17), 19 - 21 May 2017, Harbin, China.

Helmi, Hala, 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.

Hibshi, Hanan, Breaux, Travis D. and Wagner, Christian (2016) Improving security requirements adequacy: an interval type 2 fuzzy logic security assessment system. In: IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2016), 6-9 December 2016, Athens, Greece.

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

Hoare, Michaela, Benford, Steve, Greenhalgh, Chris and Chamberlain, Alan (2014) Doing it for themselves: the practices of amateur musicians and DIY music networks in a digital age. In: DMRN+9: Digital Music Research Network (EPSRC), December 2014, London.

Hong, Libin, Drake, John H., Woodward, John R. and Özcan, Ender (2017) A hyper-heuristic approach to automated generation of mutation operators for evolutionary programming. Applied Soft Computing, 62 . pp. 162-175. ISSN 1872-9681

Hong, Libin, Drake, John H., Woodward, John R. and Özcan, Ender (2016) Automatically designing more general mutation operators of evolutionary programming for groups of function classes using a hyper-heuristic. In: The Genetic and Evolutionary Computation Conference (GECCO 2016), 24-24 July 2016, Denver, Colorado.

Hope, Catherine and Hutton, Graham (2006) Compact fusion. In: Workshop on Mathematically Structured Functional Programming, 2 July 2006, Kuressaare, Estonia.

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

Hu, Liyang and Hutton, Graham (2010) Compiling concurrency correctly: cutting out the middle man. In: Symposium on Trends in Functional Programming (10th), 2-4 June 2009, Komárno, Slovakia.

Huang, Yitong (2016) How to design Internet of Things to encourage office workers to take more regular micro-breaks. In: ECCE '16: The European Conference on Cognitive Ergonomics, 5-8 Sep 2016, Nottingham, UK.

Huang, Yitong, Benford, Steve, Hendrickx, Hilde, Treloar, Rob and Blake, Holly (2017) Office workers' perceived barriers and facilitators to taking regular micro-breaks at work: a diary-probed interview study. Lecture Notes in Computer Science, 10171 . pp. 149-161. ISSN 0302-9743

Hughes, Jacob, Brailsford, David F., Bagley, Steven R. and Adams, Clive E. (2014) Generating summary documents for a variable-quality PDF document collection. In: ACM Symposium on Document Engineering (DocEng '14), 16-19 Sept 2014, Fort Collins, Colorado, USA.

Hughes, Nancy, Pinchin, James, Brown, Michael and Shaw, Dominick E. (2015) Navigating in large hospitals. In: 6th International Conference on Indoor Positioning and Indoor Navigation, 13-16 Oct 2015, Alberta, Canada.

Huntley, Selene J., Mahlberg, Michaela, Wiegand, Viola, van Gennip, Yves, Yang, Hui, Dean, Rachel S. and Brennan, Marnie L. (2018) Analysing the opinions of UK veterinarians on practice-based research using corpus linguistic and mathematical methods. Preventive Veterinary Medicine, 150 . pp. 60-69. ISSN 1873-1716

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

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

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

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.

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.

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

Hutton, Graham (1992) Between functions and relations in calculating programs. PhD thesis, University of Glasgow.

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

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 (1991) Functional Programming With Relations. In: Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland.

Hutton, Graham and Bahr, Patrick (2017) Compiling a 50-year journey. Journal of Functional Programming, 27 . e20/1-e20/11. ISSN 1469-7653

Hutton, Graham and Bahr, Patrick (2016) Cutting out continuations. In: WadlerFest, 11-12 April 2016, Edinburgh, Scotland.

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

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

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

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

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

Hutton, Graham, Meijer, Erik and Voermans, Ed (1994) A tool for relational programmers. Technical Report. Chalmers University, Sweden. (Unpublished)

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 and Voermans, Ed (1992) Making Functionality More General. In: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Skye, Scotland.

Hutton, Graham and Wright, Joel (2006) Calculating an exceptional machine. In: Trends in functional programming. Volume 5. Intellect, Bristol. ISBN 9781841501444

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

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.

Huurdeman, Hugo C., Wilson, Max L. and Kamps, Jaap (2016) Active and passive utility of search interface features in different information seeking task stages. In: 1st ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR'16), 13th-17th March 2016, Chapel Hill, USA.

Huynh, Trung Dong, Ebden, Mark, Fischer, Joel E., Roberts, Stephen and Moreau, Luc (2018) Provenance network analytics: an approach to data analytics using data provenance. Data Mining and Knowledge Discovery . ISSN 1573-756X

Huynh, Vu San Ha and Radenkovic, Milena (2018) Understanding complementary multi-layer collaborative heuristics for adaptive caching in heterogeneous mobile opportunistic networks. In: The 14th International Wireless Communications and Mobile Computing Conference (IWCMC 2018), 25-29 June 2018, Limassol, Cyprus.

Huynh, Vu San Ha and Radenkovic, Milena (2017) A novel cross-layer framework for large scale emergency communications. In: The 13th International Wireless Communications and Mobile Computing Conference (IWCMC 2017), 26-30 June 2017, Valencia, Spain.

Huynh, Vu San Ha, Radenkovic, Milena and John, Robert (2018) Understanding information centric layer of adaptive collaborative caching framework in mobile disconnection-prone networks. In: 14th International Wireless Communications and Mobile Computing Conference (IWCMC 2018), 25-29 June 2018, Limassol, Cyprus.

Hyland, Lewis, Crabtree, Andy, Fischer, Joel E., Colley, James and Fuentes, Carolina (2018) “What do you want for dinner?”: need anticipation and the design of proactive technologies for the home. Computer Supported Cooperative Work . pp. 1-30. ISSN 1573-7551

Hämäläinen, Perttu, Marshall, Joe, Kajastila, Raine, Byrne, Richard and Mueller, Florian ‘Floyd’ (2015) Utilizing gravity in movement-based games and play. In: ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY 2015), October 5-7, 2015, London. (In Press)

I

Ibrahim, O. and Landa-Silva, Dario (2016) Term frequency with average term occurrences for textual information retrieval. Soft Computing, 20 (8). pp. 3045-3061. ISSN 1433-7479

Ibrahim, Osman A. S. and Landa-Silva, Dario (2014) A new weighting scheme and discriminative approach for information retrieval in static and dynamic document collections. In: 14th UK Workshop on Computational Intelligence (UKCI2014), 8-10 September 2014, Bradford, West Yorkshire, UK.

Ibrahim, Osman Ali Sadek and Landa-Silva, Dario (2018) An evolutionary strategy with machine learning for learning to rank in information retrieval. Soft Computing, 22 (10). pp. 3171-3185. ISSN 1432-7643

Ibrahim, Osman Ali Sadek and Landa-Silva, Dario (2017) ES-Rank: evolution strategy learning to rank approach. In: 32nd ACM Symposium on Applied Computing (SAC 2017), 3-7 April 2017, Marrakech, Morocco.

Ibrahim, Osman Ali Sadek and Landa-Silva, Dario (2016) (1+1)-evolutionary gradient strategy to evolve global term weights in information retrieval. In: Advances in computational intelligence systems: contributions presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK. Advances in intelligent systems and computing (513). Springer, Cham, pp. 387-405. ISBN 9783319465616

Isaev, Svetlin, Jreissat, Mohannad, Makatsoris, Charalampos, Bachour, Khaled, McCulloch, Josie and Wagner, Christian (2017) Interval-valued sensory evaluation for customized beverage product formulation and continuous manufacturing. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 July 2017, Naples, Italy.

Islam, Muhammad Aminul, Anderson, Derek T., Du, Xiaoxiao, Havens, Timothy C. and Wagner, Christian (2018) Efficient binary fuzzy measure representation and Choquet integral learning. In: 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2018, 11-15 June 2018, Cadiz, Spain.

J

Jackson, Aaron S., Bulat, Adrian, Argyriou, Vasileios and Tzimiropoulos, Georgios (2017) Large pose 3D face reconstruction from a single image via direct volumetric CNN regression. In: International Conference on Computer Vision (ICCV17), 22-29 Oct 2017, Venice, Italy.

Jackson, Aaron S., Valstar, Michel and Tzimiropoulos, Georgios (2016) A CNN cascade for landmark guided semantic part segmentation. In: ECCV 2016 Workshop, Geometry meets Deep Learning, 9 October 2016, Amsterdam, Netherlands.

Jackson, Warren G., Özcan, Ender and John, Robert (2017) Tuning a Simulated Annealing metaheuristic for cross-domain search. In: IEEE Congress on Evolutionary Computation 2017, 5-9 June 2017, Donostia-San Sebastian, Spain.

Jackson, Warren G., Özcan, Ender and John, Robert I. (2018) Move acceptance in local search metaheuristics for cross-domain search. Expert Systems with Applications, 131 . pp. 131-151. ISSN 0957-4174

Jackson, Warren G., Özcan, Ender and John, Robert I. (2016) A comparative study of fuzzy parameter control in a general purpose local search metaheuristic. In: 2016 IEEE Congress on Evolutionary Computation (CEC), 24-29 July, 2016, Vancouver, Canada. (In Press)

Jackson, Warren G., Özcan, Ender and John, Robert I. (2014) Fuzzy adaptive parameter control of a late acceptance hyper-heuristic. In: 2014 14th UK Workshop on Computational Intelligence (UKCI), 8-10 September 2014, Bradford, Great Britain.

Jackson, Warren G., Özcan, Ender and John, Robert I. (2014) Fuzzy adaptive parameter control of a late acceptance hyper-heuristic. In: 14th UK Workshop on Computational Intelligence UKCI2014, 8-10 Sept 2014, University of Bradford.

Jago, Mark (2006) Belief and bounded rationality.

Jago, Mark (2006) Belief and bounded rationality.

Jago, Mark (2006) Imagine the possibilities: information without overload. Logique & Analyse, 49 (196). pp. 345-370.

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)

Jaiswal, Shashank and Valstar, Michel F. (2016) Deep learning the dynamic appearance and shape of facial action units. In: Winter Conference on Applications of Computer Vision (WACV), 7-9 March 2016, Lake Placid, USA. (In Press)

Jaiswal, Shashank, Valstar, Michel F., Gillott, Alinda and Daley, David (2017) Automatic detection of ADHD and ASD from expressive behaviour in RGBD data. In: 12th IEEE International Conference on Face and Gesture Recognition (FG 2017), 30 May - 3 June 2017, Washington, DC, USA. (In Press)

Jaskelioff, Mauro Javier, Ghani, Neil and Hutton, Graham (2008) Modularity and implementation of mathematical operational semantics. In: Second Workshop on Mathematically Structured Functional Programming (MSFP 2008), 6 July 2008, Reykjavik, Iceland.

Ji, Yongnan, Hervé, Pierre-Yves, 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

Jiang, Bihan, Valstar, Michel, Martinez, Brais and Pantic, Maja (2014) A dynamic appearance descriptor approach to facial actions temporal modeling. IEEE Transactions on Cybernetics, 44 (2). pp. 161-174. ISSN 2168-2275

Jiang, Wenchao, Fischer, Joel E., Greenhalgh, Chris, Ramchurn, Sarvapali D., Wu, Feng, Jennings, Nicholas R. and Rodden, Tom (2014) Social implications of agent-based planning support for human teams. In: Collaboration Technologies and Systems (CTS), 2014 International Conference on, 19-23 May 2014, Minneapolis, USA.

Jiang, Xiaoping, Bai, Ruibin, Atkin, Jason and Kendall, Graham (2017) A scheme for determining vehicle routes based on Arc-based service network design. INFOR: Information Systems and Operational Research, 55 (1). pp. 16-37. ISSN 1916-0615 (In Press)

Jiang, Xiaoping, Bai, Ruibin, Landa-Silva, Dario and Aickelin, Uwe (2017) Fuzzy C-means-based scenario bundling for stochastic service network design. In: 2017 IEEE Symposium on Computational Intelligence (IEEE-SSCI 2017), 27 November-1 December, 2017, Honolulu, Hawaii, USA.

Jiménez, Manuel, Triguero, Isaac and John, Robert (2018) A first approach for handling uncertainty in citizen science. In: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2018), 8-12 Jul 2018, Rio de Janeiro, Brazil. (In Press)

Jin, Yan, Qu, Rong and Atkin, Jason (2016) Constrained portfolio optimisation: the state-of-the-art Markowitz models. In: The 2016 International Conference on Operations Research and Enterprise Systems, 23-25 February 2016, Rome, Italy.

Joy, Egede and Michel, Valstar (2017) Cumulative attributes for pain intensity estimation. In: 19th ACM International Conference on Multimodal Interaction, 13-17 November 2017, Glasgow, Scotland. (In Press)

Jäger, Nils (2016) Enaction in adaptive architecture. Archidoct, 4 (1). pp. 70-85. ISSN 2309-0103

Jäger, Nils, 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)

Jäger, Nils, Schnädelbach, Holger and Hale, Jonathan (2016) Embodied interactions with adaptive architecture. In: Architecture and interaction: human computer interaction in space and place. Human–computer interaction series . Springer, Cham, Switzerland, pp. 183-202. ISBN 978-3-319-30026-9

Jäger, Nils, Schnädelbach, Holger, Hale, Jonathan, Kirk, David and Glover, Kevin (2017) Reciprocal control in adaptive environments. Interacting with Computers . ISSN 1873-7951

K

Kabir, Shaily, Wagner, Christian, Havens, Timothy C. and Anderson, Derek T. (2018) A bidirectional subsethood based similarity measure for fuzzy sets. In: IEEE World Congress on Computational Intelligence (WCCI 2018), 8-13 July 2018, Rio de Janeiro, Brazil.

Kabir, Shaily, Wagner, Christian, Havens, Timothy C., Anderson, Derek T. and Aickelin, Uwe (2017) Novel similarity measure for interval-valued data based on overlapping ratio. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 Jul 2017, Naples, Italy.

Kallionpää, Maria, Chamberlain, Alan and Gasselseder, Hans-Peter (2018) Under construction – contemporary opera in the crossroads between new aesthetics, techniques, and technologies. In: Audio Mostly 2018: a conference on interaction with sound, 12-14 September 2018, Wrexham, UK.

Kallionpää, Maria, Greenhalgh, Chris, Hazzard, Adrian, Weigl, David M., Page, Kevin R. and Benford, Steve (2017) Composing and realising a game-like performance for disklavier and electronics. In: New Interfaces for Musical Expression (NIME'17), 15-18 May 2017, Copenhagen, Denmark.

Kamp, Michael, Boley, Mario, Missura, Olana and Gärtner, Thomas (2017) Effective parallelisation for machine learning. In: 31st Annual Conference: Neural Information Processing Systems 2017, 4-9 December 2017, Long Beach, California.

Karapetyan, Daniel, Atkin, Jason A.D., Parkes, Andrew J. and Castro-Gutierrez, Juan (2015) Lessons from building an automated pre-departure sequencer for airports. Annals of Operations Research . ISSN 1572-9338

Karapetyan, Daniel, Punnen, Abraham and Parkes, Andrew J. (2017) Markov Chain methods for the Bipartite Boolean Quadratic Programming Problem. European Journal of Operational Research, 260 (2). pp. 494-506. ISSN 0377-2217

Kayacan, Erdal, Coupland, Simon, John, Robert and Khanesar, Mojtaba Ahmadieh (2017) Elliptic membership functions and the modeling uncertainty in type-2 fuzzy logic systems as applied to time series prediction. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 9-12 July 2017, Naples, Italy.

Kayacan, Erdal, Sarabakha, Andriy, Coupland, Simon, John, Robert and Khanesard, Mojtaba Ahmadieh (2018) Type-2 fuzzy elliptic membership functions for modeling uncertainty. Engineering Applications of Artificial Intelligence, 70 . pp. 170-183. ISSN 0952-1976

Kelly, Benjamin G. and Brailsford, David F. (2006) The B-coder: an improved binary arithmetic coder and probability estimator. In: Data Compression Conference 2006 (DCC 2006), 28-30 March 2006, Snowbird, Utah.

Kendall, G. (2018) Is Evolutionary Computation evolving fast enough? IEEE Computational Intelligence Magazine, 13 (2). pp. 42-51. ISSN 1556-603X

Kendall, G. and Lenten, Liam J.A. (2017) When sports rules go awry. European Journal of Operational Research, 257 (2). pp. 377-394. ISSN 0377-2217

Kendall, G., Yee, A. and McCollum, B. (2016) Is there a role for publication consultants and how should their contribution be recognized? Science and Engineering Ethics, 22 (5). pp. 1553-1560. ISSN 1353-3452

Kendall, G., Yee, Angelina and Hardy, Steven (2017) We should be just a number, and we should embrace it. Electronic Library, 35 (2). pp. 348-357. ISSN 0264-0473

Kendall, Graham, Bai, Ruibin, Blazewicz, Jacek, De Causmaecker, Patrick, Gendreau, Michel, John, Robert, Li, Jiawei, McCollum, Barry, Pesch, Erwin, Qu, Rong, Sabar, Nasser, Vanden Berghe, Greet and Yee, Angelina (2016) Good Laboratory Practice for optimization research. Journal of the Operational Research Society, 67 (4). pp. 676-689. ISSN 1476-9360

Khajavi, Siavash H., Baumers, Martin, Holmström, Jan, Özcan, Ender, Atkin, Jason, Jackson, Warren G. and Li, Wenwen (2018) To kit or not to kit: analysing the value of model-based kitting for additive manufacturing. Computers in Industry, 98 . pp. 100-117. ISSN 0166-3615

Khan, Muhammad Haris, McDonagh, John and Tzimiropoulos, Georgios (2017) Synergy between face alignment and tracking via Discriminative Global Consensus Optimization. In: International Conference on Computer Vision (ICCV17), 22-29 Oct 2017, Venice, Italy.

Kheiri, Ahmed, Mısır, Mustafa and Özcan, Ender (2016) Ensemble move acceptance in selection hyper-heuristics. In: Computer and information sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, proceedings. Communications in computer and information science (659). Springer, pp. 21-29. ISBN 978-3-319-47217-1

Kheiri, Ahmed and Özcan, Ender (2016) An iterated multi-stage selection hyper-heuristic. European Journal of Operational Research, 250 (1). pp. 77-90. ISSN 0377-2217

Kheiri, Ahmed and Özcan, Ender (2014) Constructing constrained-version of magic squares using selection hyper-heuristics. The Computer Journal, 57 (3). pp. 469-479. ISSN 1460-2067

Kheiri, Ahmed, Özcan, Ender and Parkes, Andrew J. (2014) A stochastic local search algorithm with adaptive acceptance for high-school timetabling. Annals of Operations Research, 239 (1). pp. 135-151. ISSN 1572-9338

Khuman, Arjab Singh, Yang, Yingjie, John, Robert and Liu, Sifeng (2016) Quantification of perception clusters using R-fuzzy sets and grey analysis. In: 2016 International Conference on Grey Systems and Uncertainity Analysis (GSUA2016), 8-11 August 2016, Leicester, U.K..

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

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

Kim, Jungwon, Greensmith, Julie, 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.

Kim, Jungwon, Wilson, William, 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.

Kirk, David S., Durrant, Abigail C., Kosem, Jim and Reeves, Stuart (2018) Spomenik: resurrecting voices in the woods. Design Issues, 34 (1). pp. 67-83. ISSN 0747-9360

Knight, Ian A. and Brailsford, David F. (2016) Enhancing the searchability of page-image PDF documents using an aligned hidden layer from a truth text. In: DocEng '16 Proceedings of the 2016 ACM Symposium on Document Engineering, 13-16 September 2016, Vienna, Austria.

Knowles, Sarah, Toms, Gill, Sanders, Caroline, Bee, Penny, Lovell, Karina, Rennick-Egglestone, Stefan, Coyle, David, Kennedy, Catriona M., Littlewood, Elizabeth, Kessler, David, Gilbody, Simon and Bower, Peter (2014) Qualitative meta-synthesis of user experience of computerised therapy for depression and anxiety. PLoS ONE, 9 (1). e84323/1-e84323/12. ISSN 1932-6203

Koene, Ansgar (2017) Algorithmic bias: addressing growing concerns. IEEE Technology and Society Magazine, 36 (2). pp. 31-32. ISSN 0278-0097

Koene, Ansgar, Perez, Elvira, Carter, Christopher J., Statache, Ramona, Adolphs, Svenja, O’Malley, Claire, Rodden, Tom and McAuley, Derek (2015) Ethics of personalized information filtering. Lecture Notes in Computer Science, 9089 . pp. 123-132. ISSN 0302-9743

Koene, Ansgar, Perez, Elvira, Carter, Christopher J., Statache, Ramona, Adolphs, Svenja, O’Malley, Claire, Rodden, Tom and McAuley, Derek (2015) Privacy concerns arising from internet service personalization filters. Computers and Society, 45 (3). pp. 167-171. ISSN 0095-2737

Koene, Ansgar, Perez, Elvira, Carter, Christopher J., Statache, Ramona, Adolphs, Svenja, O’Malley, Claire, Rodden, Tom and McAuley, Derek (2015) Research ethics and public trust, preconditions for continued growth of internet mediated research: public confidence in internet mediate research. In: International Conference of Information Systems Security and Privacy ICISSP 2015, February 9-11, 2015, Angers, Loire Valley, France.

Koene, Ansgar, Perez, Elvira, Webb, Helena, Patel, Menisha, Ceppi, Sofia, Jirotka, Marina and McAuley, Derek (2017) Editorial responsibilities arising from personalization algorithms. Orbit, 1 (1).

Koleva, Boriana, Rennick-Egglestone, Stefan, Schnädelbach, Holger, Glover, Kevin, Greenhalgh, Chris, Rodden, Tom and Dade-Robertson, Martin (2009) Supporting the creation of hybrid museum experiences. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 2009 . pp. 1973-1982.

Koleva, Boriana, Tolmie, Peter, Brundell, Patrick, Benford, Steve and Rennick-Egglestone, Stefan (2015) From front-end to back-end and everything in-between: work practice in game development. In: Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY '15), 5-7 October 2015, London, UK.

Kossaifi, Jean, Tzimiropoulos, Georgios and Pantic, Maja (2016) Fast and exact Newton and bidirectional fitting of Active Appearance Models. IEEE Transactions on Image Processing, 26 (2). pp. 1040-1053. ISSN 1941-0042 (In Press)

Kossaifi, Jean, Tzimiropoulos, Georgios and Pantic, Maja (2015) Fast and exact bi-directional fitting of active appearance models. In: IEEE International Conference on Image Processing (ICIP 2015), 27-30 September 2015, Quebec City, Canada.

Koutsouras, Panagiotis, Martindale, Sarah and Crabtree, Andy (2017) The ludic takes work. In: The 15th European Conference on Computer-Supported Cooperative Work, 28 Aug-01 Sep 2017, Sheffield. (Submitted)

Koutsouras, Panagiotis, Martindale, Sarah and Crabtree, Andy (2016) “We don’t sell blocks” exploring Minecraft’s commissioning market. In: 1st International Joint Conference of DiGRA and FDG, 1-6 August, 2016, Dundee, Scotland.

Kraus, Nicolai (2016) Constructions with non-recursive higher inductive types. In: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), July 5–8, 2016, New York City, USA. (In Press)

Kraus, Nicolai and Altenkirch, Thorsten (2018) Free higher groups in homotopy type theory. In: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 9–12 July 2018, Oxford, England.

Kraus, Nicolai, Escardo, Martin, Coquand, Thierry and Altenkirch, Thorsten (2016) Notions of anonymous existence in Martin-Löf type theory. Logical Methods in Computer Science . ISSN 1860-5974 (In Press)

Krawczyk, Bartosz, Triguero, Isaac, García, Salvador, Woźniak, Michał and Herrera, Francisco (2018) Instance reduction for one-class classification. Knowledge and Information Systems . ISSN 0219-1377

Kwon, Hyosun, Koleva, Boriana, Schnädelbach, Holger and Benford, Steve (2017) "It's not yet a gift": understanding digital gifting. In: 20th ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW 2017), 25 Feb-01 Mar 2017, Portland, Oregon, USA.

L

Ladas, Alexandros, Aickelin, Uwe, 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)

Ladas, Alexandros, Ferguson, Eamonn, Garibaldi, Jonathan M. and Aickelin, Uwe (2014) A data mining framework to model consumer indebtedness with psychological factors. In: IEEE International Conference on Data Mining: The Seventh International Workshop on Domain Driven Data Mining 2014 (DDDM 2014), 14 Dec 2014, Shenzhen, China.

Ladas, Alexandros, Garibaldi, Jonathan M., 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.

Laesanklang, Wasakorn and Landa-Silva, Dario (2017) Decomposition techniques with mixed integer programming and heuristics for home healthcare planning. Annals of Operations Research, 256 (1). pp. 93-127. ISSN 1572-9338

Laesanklang, Wasakorn, Landa-Silva, Dario and Castillo-Salazar, J. Arturo (2017) An investigation of heuristic decomposition to tackle workforce scheduling and routing with time-dependent activities constraints. In: Operations research and enterprise systems. Communications in Computer and Information Science (695). Springer, Cham, pp. 239-260. ISBN 9783319539829

Laesanklang, Wasakorn, Landa-Silva, Dario and Castillo-Salazar, J. Arturo (2016) An investigation of heuristic decomposition to tackle workforce scheduling and routing with time-dependent activities constraints. In: Operations research and enterprise systems. Communications in computer and information science . Springer, Cham. (In Press)

Laesanklang, Wasakorn, Landa-Silva, Dario and Castillo-Salazar, J. Arturo (2016) Mixed integer programming with decomposition for workforce scheduling and routing with time-dependent activities constraints. In: Proceedings of the 5th International Conference on Operations Research and Enterprise Systems (ICORES 2016), 23-27 Feb 2016, Rome, Italy.

Laesanklang, Wasakorn, Landa-Silva, Dario and Castillo-Salazar, J. Arturo (2015) Mixed integer programming with decomposition to solve a workforce scheduling and routing problem. In: International Conference on Operations Research and Enterprise Systems (ICORES 2015), 10-12 January 2015, Lisbon, Portugal.

Laesanklang, Wasakorn, Pinheiro, Rodrigo Lankaites, Algethami, Haneen and Landa-Silva, Dario (2015) Extended decomposition for mixed integer programming to solve a workforce scheduling and routing problem. In: Operations research and enterprise systems: 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015: revised selected papers. Communications in computer and information science (577). Springer, Cham, pp. 191-211. ISBN 9783319276793

Lahoz-Beltra, Rafael, Ochoa, Gabriela and Aickelin, Uwe (2009) Cheating for problem solving: a genetic algorithm with social interactions. In: GECCO '09: Proceedings of the Genetic and Evolutionary Computation Conference, 8-12 July 2009, Montreal, Canada.

Lai, Daphne Teck Ching and Garibaldi, Jonathan M. (2016) On using genetic algorithm for initialising semi-supervised fuzzy c-means clustering. Advances in Intelligent Systems and Computing, 532 . pp. 3-14. ISSN 2194-5357

Lai, Daphne Teck Ching, Garibaldi, Jonathan M., Soria, Daniele and Roadknight, Christopher M. (2014) A methodology for automatic classification of breast cancer immunohistochemical data using semi-supervised fuzzy c-means. Central European Journal of Operations Research, 22 (3). pp. 475-499. ISSN 1435-246X

Landa-Silva, Dario, Castillo, Arturo, Bowie, Leslie and Johnston, Hazel (2010) Towards an integrated workforce management system. In: Proceedings of the 2010 International Conference on the Practice and Theory of Automated Timetabling (PATAT 2010), 10-13 August 2010, Belfast, Northern Ireland.

Landa-Silva, Dario and Obit, Joe Henry (2011) Comparing hybrid constructive heuristics for university course timetabling. In: VII ALIO/EURO Workshop on Applied Combinatorial Optimization, May 4 - 6, 2011, Porto, Portugal.

Landa-Silva, Dario, Wang, Yijun, Donovan, Paul and Kendall, Graham (2011) Hybrid heuristic for multi-carrier transportation plans. In: 9th Metaheuristics International Conference (MIC 2011), July 2011, Udine, Italy.

Le, Khoi Nguyen and Landa-Silva, Dario (2016) Hyper-volume evolutionary algorithm. VNU journal of science: computer science and communication engineering, 32 (1). pp. 10-32. ISSN 0866-8612

Leask, Sam and Logan, Brian (2018) Programming agent deliberation using procedural reflection. Fundamenta Informaticae, 158 . pp. 93-120. ISSN 0169-2968

Leask, Sam and Logan, Brian (2015) Programming deliberation strategies in meta-APL. In: PRIMA 2015, 26-30 Oct 2015, University Residential Centre of Bertinoro (Ce.U.B.), Italy.

Legatiuk, Dmitrii and Nilsson, Henrik (2017) Abstract modelling: towards a typed declarative language for the conceptual modelling phase. In: 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2017), 1 December 2017, Weßling, Germany.

Lehre, Per Kristian and Dang, Duc-Cuong (2016) Self-adaptation of mutation rates in non-elitist populations. In: 14th International Conference on Parallel Problem Solving from Nature, 17-21 Sept 2016, Edinburgh, UK. (In Press)

Lertworaprachaya, Youdthachai, Yang, Yingjie and John, Robert (2014) Interval-valued fuzzy decision trees with optimal neighbourhood perimeter. Applied Soft Computing, 24 . pp. 851-866. ISSN 1872-9681

Li, Hui and Landa-Silva, Dario (2011) An adaptive evolutionary multi-objective approach based on simulated annealing. Evolutionary Computation, 19 (4). pp. 561-595. ISSN 1530-9304

Li, Hui, Landa-Silva, Dario and Gandibleux, Xavier (2010) Evolutionary multi-objective optimization algorithms with probabilistic representation based on pheromone trails. In: Proceedings of the 2010 IEEE Congress on Evolutionary Computation (CEC 2010), 18-23 July 2010, Barcelona, Spain.

Li, Jiaqi, Meneguzzi, Felipe, Fagundes, Moser and Logan, Brian (2016) Reinforcement learning of normative monitoring intensities. Lecture Notes in Computer Science, 9628 . pp. 209-223. ISSN 0302-9743

Li, Jiawei, Davies, G.J., Kendall, G., Soane, E., Bai, R., Rocks, S.A. and Pollard, S.J.T. (2012) Evidence and belief in regulatory decisions – incorporating expected utility into decision modelling. Expert Systems with Applications, 39 (10). pp. 8604-8610. ISSN 0957-4174

Li, Jiawei, John, Robert, Coupland, Simon and Kendall, Graham (2018) On Nie-Tan operator and type-reduction of interval type-2 fuzzy sets. IEEE Transactions on Fuzzy Systems, 26 (2). pp. 1036-1039. ISSN 1941-0034

Li, Jiawei and Kendall, G. (2017) A hyperheuristic methodology to generate adaptive strategies for games. IEEE Transactions on Computational Intelligence and AI in Games, 9 (1). pp. 1-10. ISSN 1943-0698

Li, Jiawei, Kendall, Graham and John, Robert (2015) Computing Nash equilibria and evolutionarily stable states of evolutionary games. IEEE Transactions on Evolutionary Computation, 20 (3). pp. 460-469. ISSN 1089-778X

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.

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.

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.

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 optimization algorithm for the nurse scheduling problem. In: 2003 Congress on Evolutionary Computation (CEC2003), 8-12 Dec. 2003, Canberra, Australia.

Li, Jingpeng, Aickelin, Uwe and Burke, Edmund (2008) A component based heuristic search method with evolutionary eliminations for hospital personnel scheduling. INFORMS Journal on Computing, 21 (3). pp. 468-479. ISSN 1526-5528

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

Li, Jingpeng, Bai, Ruibin, Shen, Yindong and Qu, Rong (2014) Search with evolutionary ruin and stochastic rebuild: a theoretic framework and a case study on exam timetabling. European Journal of Operational Research, 242 (3). pp. 798-806. ISSN 0377-2217

Li, Jingpeng, Parkes, Andrew J. and Burke, Edmund K. (2011) Evolutionary squeaky wheel optimization: a new framework for analysis. Evolutionary Computation, 19 (3). pp. 405-428. ISSN 1530-9304

Li, Qing, Zhu, Jiasong, Liu, Tao, Garibaldi, Jon, Li, Qingquan and Qiu, Guoping (2017) Visual landmark sequence-based indoor localization. In: 1st Workshop on Artificial Intelligence and Deep Learning for Geographic Knowledge Discovery, 7-10 November, 2017, Los Angeles, California, USA.

Li, Wenwen, Özcan, Ender and John, Robert (2017) A learning automata based multiobjective hyper-heuristic. IEEE Transactions on Evolutionary Computation . ISSN 1089-778X

Li, Wenwen, Özcan, Ender and John, Robert (2017) Multi-objective evolutionary algorithms and hyper-heuristics for wind farm layout optimisation. Renewable Energy, 105 . pp. 473-482. ISSN 1879-0682

Li, Wenwen, Özcan, Ender, John, Robert, Drake, John H., Neumann, Aneta and Wagner, Markus (2017) A modified indicator-based evolutionary algorithm (mIBEA). In: IEEE Congress on Evolutionary Computation 2017, 5-9 June 2017, Donostia-San Sebastian, Spain.

Li, Yongchao, Cai, Cheng, Qiu, Guoping and Lam, Kin-Man (2014) Face hallucination based on sparse local-pixel structure. Pattern Recognition, 47 (3). pp. 1261-1270. ISSN 0031-3203

Li, Yue, Tennent, Paul and Cobb, Sue (2018) Appropriate control methods for mobile virtual exhibitions. In: VR Technologies in Cultural Heritage. Communications in Computer and Information Science, 904 (904). Springer, Cham, Switzerland, pp. 165-183. ISBN 978-3-030-05819-7

Lin, Weiqiang, Saleiro, Pedro, Milic-Frayling, Natasa and Ch'ng, Eugene (2019) Social media brand engagement as a proxy for E-commerce activities: a case study of Sina Weibo and JD. In: 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), 3-6 Dec. 2018, Santiago, Chile.

Liu, Fanghui, Zhou, Tao, Gong, Chen, Fu, Keren, Bai, Li and Yang, Jie (2017) Inverse nonnegative local coordinate factorization for visual tracking. IEEE Transactions on Circuits and Systems for Video Technology . ISSN 1051-8215

Liu, Haixia, Goulding, James and Brailsford, Tim (2015) Towards computation of novel ideas from corpora of scientific text. In: Machine Learning and Knowledge Discovery in Databases. Springer Verlag, Cham, Switzerland, pp. 541-556.

Liu, Jo-Fen, Dineen, Robert A., Avula, Shivaram, Chambers, Tom, Dutta, Manali, Jaspan, Tim, MacArthur, Donald C., Howarth, Simon, Soria, Daniele, Quinlan, Philip, Harave, Srikrishna, Ong, Chan Chang, Mallucci, Conor L., Kumar, Ram, Pizer, Barry and Walker, David A. (2018) Development of a pre-operative scoring system for predicting risk of post-operative paediatric cerebellar mutism syndrome. British Journal of Neurosurgery . ISSN 0268-8697

Liu, Xiyang, Ren, Zhongjie, Chang, Xiuling, 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.

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

Liu, Yihui, Aickelin, Uwe, 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

Liu, Yuli, Liu, Yiqun, Zhou, Ke, Zhang, Min and Ma, Shaoping (2017) Detecting collusive spamming activities in community question answering. In: 26th International Conference on World Wide Web, 3-7 April 2017, Perth, Australia.

Liwicki, Stephan, Tzimiropoulos, Georgios, Zafeiriou, Stefanos and Pantic, Maja (2013) Euler principal component analysis. International Journal of Computer Vision, 101 (3). pp. 498-518. ISSN 1573-1405

Liwicki, Stephan, Zafeiriou, Stefanos, Tzimiropoulos, Georgios and Pantic, Maja (2012) Efficient online subspace learning with an indefinite kernel for visual tracking and recognition. Neural Networks and Learning Systems, IEEE Transactions on, 23 (10). pp. 1624-1636. ISSN 2162-237X

Liwicki, Stephan, Zafeiriou, Stefanos, Tzimiropoulos, Georgios and Pantic, Maja (2011) Fast and robust appearance-based tracking. In: 2011 IEEE International Conference on Automatic Face & Gesture Recognition (FG 2011), 21-25 March 2011, Santa Barbara, California, USA.

Lobet, Guillaume, Pound, Michael P., Diener, Julian, Pradal, Christophe, Draye, Xavier, Godin, Christophe, Javaux, Mathieu, Leitner, Daniel, Meunier, Felicien, Nacry, Philippe, Pridmore, Tony P. and Schnepf, Andrea (2015) Root system markup language: toward an unified root architecture description language. Plant Physiology, 167 (3). pp. 617-627. ISSN 1532-2548

Logan, Brian (2017) An agent programming manifesto. International Journal of Agent-Orientated Software Engineering . ISSN 1746-1383 (In Press)

Logan, Brian (2017) Future directions in agent programming. ALP Issue, 29 (4).

Logan, Brian, Thangarajah, John and Yorke-Smith, Neil (2017) Progressing intention progression: a call for a Goal-Plan Tree contest. In: 16th International Conference on Autonomous Agents and Multiagent Systems, 8-12 May 2017, Sao Paulo, Brazil.

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.

Lowe, Amy, Harrison, Nicola and French, Andrew P. (2017) Hyperspectral image analysis techniques for the detection and classification of the early onset of plant disease and stress. Plant Methods, 13 . 80/1-80/12. ISSN 1746-4811

Lucero, Andrés, Clawson, James, Fischer, Joel E. and Robinson, Simon (2016) Mobile collocated interactions with wearables: past, present, and future. mUX: the Journal of Mobile User Experience, 5 (6). ISSN 2196-873X

Lucero, Andrés, Porcheron, Martin and Fischer, Joel E. (2016) Collaborative use of mobile devices to curate sources of inspiration. In: 18th International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI 2016), 6-9 September 2016, Florence, Italy.

Lucero, Andrés, Quigley, Aaron, Rekimoto, Jun, Roudaut, Anne, Porcheron, Martin and Serrano, Marcos (2016) Interaction techniques for mobile collocation. In: 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct (MobileHCI'16), 06-09 September 2016, Florence, Italy.

Luengo, Imanol, Basham, Mark and French, Andrew P. (2016) Selective labeling: identifying representative sub-volumes for interactive segmentation. Lecture Notes in Computer Science, 9993 . pp. 17-24. ISSN 0302-9743

Luengo, Imanol, Basham, Mark and French, Andrew P. (2016) SMURFS: superpixels from multi-scale refinement of super-regions. In: British Machine Vision Conference (BMVC 2016), 20-22nd Sept 2016, York, UK.

Luengo, Imanol, Basham, Mark and French, Andrew P. (2016) Fast global interactive volume segmentation with regional supervoxel descriptors. In: SPIE Medical Imaging 2016: Image Processing, 27 February 2016, San Diego, California.

Luengo, Imanol, Darrow, Michele C., Spink, Matthew C., Sun, Ying, Dai, Wei, He, Cynthia Y., Chiu, Wah, Pridmore, Tony, Ashton, Alun W., Duke, Elizabeth M.H., Basham, Mark and French, Andrew P. (2017) SuRVoS: Super-Region Volume Segmentation workbench. Journal of Structural Biology . ISSN 1095-8657 (In Press)

Luger, Ewa, Urquhart, Lachlan, Rodden, Tom and Golembewski, Michael (2015) Playing the legal card: using ideation cards to raise data protection issues within the design process. In: 33rd Annual ACM Conference on Human Factors in Computing Systems, 18-23 April 2015, Seoul, South Korea.

Lukanov, Kristiyan Emilov, Maior, Horia A. and Wilson, Max L. (2016) Using fNIRS in usability testing: understanding the effect of web form layout on mental workload. In: Proceedings of the 34th Annual ACM Conference on Human Factors in Computing Systems, 7th-13th May 2016, San Jose, USA.

Lundgren, Sus, Fischer, Joel, Reeves, Stuart and Torgersson, Olof (2015) Designing mobile experiences for collocated interaction. In: ACM Conference on Computer Supported Cooperative Work & Social Computing (CSCW '15), 14-18 March 2015, Vancouver, BC, Canada.

Luo, Cheng, Liu, Yiqun, Sakai, Tetsuya, Zhou, Ke, Zhang, Fan, Li, Xue and Ma, Shaoping (2017) Does document relevance affect the searcher's perception 0f time? In: 10th ACM International Conference on Web Search and Data Mining, 6-10 February 2017, Cambridge, UK.

Lwin, Khin, Qu, Rong and Kendall, Graham (2014) A learning-guided multi-objective evolutionary algorithm for constrained portfolio optimization. Applied Soft Computing, 24 . pp. 757-772. ISSN 1568-4946

Lwin, Khin T., Qu, Rong and MacCarthy, Bart L. (2017) Mean-VaR portfolio optimization: a nonparametric approach. European Journal of Operational Research, 260 (2). pp. 751-766. ISSN 0377-2217

M

Ma, Jiangang, Sun, Le, Wang, Hua, Zhang, Yanchun and Aickelin, Uwe (2016) Supervised anomaly detection in uncertain pseudoperiodic data streams. ACM Transactions on Internet Technology, 16 (1). ISSN 1533-5399

Maashi, Mashael, Özcan, Ender and Kendall, Graham (2014) A multi-objective hyper-heuristic based on choice function. Expert Systems with Applications, 41 (9). pp. 4475-4493. ISSN 0957-4174

Macdonald, Alexander J., 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.

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

Macdonald, Alexander J., 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.

Madi, Elissa, Garibaldi, Jonathan M. and Wagner, Christian (2017) Exploring the use of Type-2 fuzzy sets in multi-criteria decision making based on TOPSIS. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 July 2017, Naples, Italy. (In Press)

Madi, Elissa, Garibaldi, Jonathan M. and Wagner, Christian (2016) An exploration of issues and limitations in current methods of TOPSIS and fuzzy TOPSIS. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 24-29 Jul 2016, Vancouver, Canada.

Madi, Elissa, Garibaldi, Jonathan M. and Wagner, Christian (2015) A comparison between two types of Fuzzy TOPSIS method. In: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 9-12 Oct 2015, Kowloon, Hong Kong.

Maillo, Jesus, Luengo, Julian, García, Salvador, Herrera, Francisco and Triguero, Isaac (2017) Exact fuzzy k-Nearest neighbor classification for big datasets. In: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 Jul 2017, Naples, Italy.

Maillo, Jesus, Ramirez, Sergio, Triguero, Isaac and Herrera, Francisco (2016) kNN-IS: an iterative spark-based design of the k-nearest neighbors classifier for big data. Knowledge-Based Systems . ISSN 1872-7409 (In Press)

Maior, Horia A., Pike, Matthew, Sharples, Sarah and Wilson, Max L. (2015) Examining the reliability of using fNIRS in realistic HCI settings for spatial and verbal tasks. In: CHI 2015: Crossings, 18-23 April 2015, Seoul, South Korea.

Maior, Horia A., Wilson, Max L., Locke, Caroline and Swann, Debra (2018) Brain activity and mental workload associated with artistic practice. In: CHI 2018 Artistic BCI Workshop, 22nd April 2018, Montreal, Canada. (In Press)

Maior, Horia A., Wilson, Max L. and Sharples, Sarah (2018) Workload alerts - using physiological measures of mental workload to provide feedback during tasks. ACM Transactions on Computer-Human Interaction, 25 (2). 9:1-9:30. ISSN 1557-7325

Mairhofer, Stefan, Johnson, James, Sturrock, Craig, Bennett, Malcolm J., Mooney, Sacha J. and Pridmore, Tony P. (2015) Visual tracking for the recovery of multiple interacting plant root systems from X-ray μCT images. Machine Vision and Applications . pp. 1-14. ISSN 1432-1769

Mairhofer, Stefan, Sturrock, Craig, Bennett, Malcolm J., Mooney, Sacha J. and Pridmore, Tony P. (2015) Extracting multiple interacting root systems using X-ray micro computed tomography. The Plant Journal, 84 (5). pp. 1034-1043. ISSN 1365-313X

Mairhofer, Stefan, Sturrock, Craig, Wells, Darren M., Bennett, Malcolm J., Mooney, Sacha J. and Pridmore, Tony (2014) On the evaluation of methods for the recovery of plant root systems from X-ray computed tomography images. Functional Plant Biology, 42 (5). pp. 460-470. ISSN 1445-4408

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

Majid, Mazlina, 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.

Majid, Mazlina Abdul, 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)

Majid, Mazlina Abdul, 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)

Malecka, Anna, Wang, Ounwei, Shah, Sabaria, Sutavani, Ruhcha V., Spendlove, Ian, Ramage, Judith M., Greensmith, Julie, Franks, Hester A., Gough, Michael J., Saalbach, Anja, Patel, Poulam M. and Jackson, Andrew M. (2016) Stromal fibroblasts support dendritic cells to maintain IL-23/Th17 responses after exposure to ionizing radiation. Journal of Leukocyte Biology, 100 (2). pp. 381-389. ISSN 1938-3673

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

Marchal, P. Cano, Wagner, Christian, Gámez, J. GarcÍa and Gómez, J. Ortega (2016) Modelling uncertainty in production processes using non-singleton fuzzification and fuzzy cognitive maps: a virgin olive oil case study. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2016), 24-29 July 2016, Vancouver, Canada.

Marras, Ioannis, Medina, Joan Alabort, Tzimiropoulos, Georgios, Zafeiriou, Stefanos and Pantic, Maja (2013) Online learning and fusion of orientation appearance models for robust rigid object tracking. In: 2013 10th IEEE International Conference on Automatic Face & Gesture Recognition and Workshops (FG 2013), 22-26 April 2013, Shanghai, China.

Marras, Ioannis, Tzimiropoulos, Georgios, Zafeiriou, Stefanos and Pantic, Maja (2014) Online learning and fusion of orientation appearance models for robust rigid object tracking. Image and Vision Computing, 32 (10). pp. 707-727. ISSN 0262-8856

Marras, Ioannis, Zafeiriou, Stefanos and Tzimiropoulos, Georgios (2012) Robust learning from normals for 3D face recognition. Lecture Notes in Computer Science, 7584 . pp. 230-239. ISSN 0302-9743

Marshall, Joe (2015) Magnetic field swimmer positioning. IEEE Sensors Journal, 15 (1). pp. 172-179. ISSN 1530-437X

Marshall, Joe, Dancu, Alexandru and Mueller, Florian ‘Floyd' (2016) Interaction in motion: designing truly mobile interaction. In: ACM Conference on Designing Interactive Systems (DIS'16), 4-8 June 2016, Brisbane, Australia. (In Press)

Marshall, Joe and Linehan, Conor (2017) Misrepresentation of health research in exertion games literature. In: CHI 2017: ACM CHI Conference on Human Factors in Computing Systems, 6-11 May 2017, Denver, Colorado, USA.

Marshall, Joe, Linehan, Conor and Hazzard, Adrian (2016) Designing brutal multiplayer video games. In: 2016 CHI Conference on Human Factors in Computing Systems 2016, 7-12 May 2016, San Jose, California, USA.

Marshall, Joe, Linehan, Conor, Spence, Jocelyn and Rennick-Egglestone, Stefan (2017) A little respect: four case studies of HCI’s disregard for other disciplines. In: CHI 2017: ACM CHI Conference on Human Factors in Computing Systems, 6-11 May 2017, Denver, USA.

Marshall, Joe, Linehan, Conor, Spence, Jocelyn and Rennick-Egglestone, Stefan (2017) Throwaway citation of prior work creates risk of bad HCI research. In: CHI 2017: ACM CHI Conference on Human Factors in Computing Systems, 6-11 May 2017, Denver, Colorado, USA.

Marshall, Joe, Linehan, Conor, Tennent, Paul and Hazzard, Adrian (2016) Interpersonal touch as a game interaction method. In: Proxemic Mobile Collocated Interactions Workshop at ACM CHI Conference on Human Factors in Computing Systems 2016, 07 May 2016, San Jose, California, USA.

Marshall, Joe, Loesche, Frank, Linehan, Conor, Johnson, Daniel and Martelli, Bruno (2015) Grand Push Auto: a car based exertion game. In: ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY 2015), 5-7 October 2015, London. (In Press)

Marshall, Joe, Mueller, Florian ‘Floyd’, Benford, Steve and Pijnappel, Sebastiaan (2016) Expanding exertion gaming. International Journal of Human Computer Studies, 90 . pp. 1-13. ISSN 1071-5819

Marshall, Joe and Tennent, Paul (2017) Touchomatic: interpersonal touch gaming in the wild. In: 2017 Conference on Designing Interactive Systems (DIS '17), 10-14 June 2017, Edinburgh, UK.

Marti, E., Wang, X., Jambari, N.N., Rhyner, C., Olzhausen, J., Pérez-Barea, J.J., Figueredo, Grazziela P. and Alcocer, Marcos J.C. (2015) Novel in vitro diagnosis of equine allergies using a protein array and mathematical modelling approach: a proof of concept using insect bite hypersensitivity. Veterinary Immunology and Immunopathology, 167 (3-4). pp. 171-177. ISSN 1873-2534

Martin, Simon, Ouelhadj, Djamila, Beullens, Patrick, Özcan, Ender, Juan, Angel A. and Burke, Edmund (2016) A multi-agent based cooperative approach to scheduling and routing. European Journal of Operational Research . ISSN 0377-2217 (In Press)

Martinez, Brais and Valstar, Michel F. (2015) L 2, 1-based regression and prediction accumulation across views for robust facial landmark detection. Image and Vision Computing . ISSN 0262-8856 (In Press)

Martinez, Brais, Valstar, Michel F., Jiang, Bihan and Pantic, Maja (2017) Automatic analysis of facial actions: a survey. IEEE Transactions on Affective Computing . ISSN 1949-3045 (In Press)

Martinez-Gavara, Anna, Campos, Vicente, Landa-Silva, Dario and Marti, Rafael (2017) Multi-start methods for the capacitated clustering problem. In: 12th Metaheuristics International Conference (MIC 2017), 4-7 July 2017, Barcelona, Spain.

Martinez-Gavara, Anna, Landa-Silva, Dario, Campos, Vicente and Marti, Rafael (2017) Randomized heuristics for the Capacitated Clustering Problem. Information Sciences, 417 . pp. 154-168. ISSN 1872-6291

Mashuk, Md. Shadab, Pinchin, James, Siebers, Peer-Olaf and Moore, Terry (2018) A smart phone based multi-floor indoor positioning system for occupancy detection. In: IEEE/ION PLANS 2018, 23-26 Apr 2018, Monterey, USA.

McCulloch, Josie (2018) SyFSeL: generating synthetic fuzzy sets made simple. In: IEEE International Conference on Fuzzy Systems 2018 (FUZZ-IEEE 2018), 8-13 Jul 2018, Rio de Janeiro, Brazil.

McCulloch, Josie (2017) fuzzycreator: a python-based toolkit for automatically generating and analysing data-driven fuzzy sets. In: IEEE International Conference on Fuzzy Sets and Systems (Fuzz-IEEE 2017), 9-12 July 2017, Naples, Italy.

McCulloch, Josie, Hinde, Chris, 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, Isaev, Svetlin, Bachour, Khaled, Jreissat, Mohannad, Wagner, Christian and Makatsoris, Charalampos (2017) Linking sensory perceptions and physical properties of orange drinks. In: IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2017), 5-8 October 2017, Banff, Canada.

McCulloch, Josie and Wagner, Christian (2016) Measuring the similarity between zSlices general type-2 fuzzy sets with non-normal Secondary membership functions. In: IEEE World Congress on Computational Intelligence (WCCI 2016), 24-29 July 2016, Vancouver, Canada. (Submitted)

McCulloch, Josie, 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.

McCulloch, Josie, 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.

McCulloch, Josie, 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.

McGarry, Glenn, Tolmie, Peter, Benford, Steve, Greenhalgh, Chris and Chamberlain, Alan (2017) "They're all going out to something weird": workflow, legacy and metadata in the music production process. In: 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW'17), 25 February – 1 March 2017, Portland, Oregon, USA,.

McGrath, Sean, Chamberlain, Alan and Benford, Steve (2016) Making music together: an exploration of amateur and pro-am Grime music production. In: Audio Mostly 2016 (AM '16), 4-6 October 2016, Norrkoping, Sweden.

McGrath, Sean, Chamberlain, Alan and Benford, Steve (2016) The Grime scene: social media, music, creation and consumption. In: Audio Mostly 2016 (AM'16), 4-6 October 2016, Norrkoping, Sweden.

McGrath, Sean, Hazzard, Adrian, Chamberlain, Alan and Benford, Steve (2016) An ethnographic exploration of studio production practice. In: 2nd AES Workshop on Intelligent Music Production, 13 Sept 2016, London, UK.

McPherson, Andrew P., Chamberlain, Alan, Hazzard, Adrian, McGrath, Sean and Benford, Steve (2016) Designing for exploratory play with a hackable digital musical instrument. In: ACM Conference on Designing Interactive Systems (DIS 2016), 4-8 June 2016, Brisbane, Australia.

Meijer, Erik and Hutton, Graham (1995) Bananas in space: extending fold and unfold to exponential types. In: International Conference on Functional Programming Languages and Computer Architecture (7th), 26-28 June 1995, La Jolla, California, USA.

Memarovic, Nemanja, Schieck, Ava Fatah gen., Schnädelbach, Holger, Kostopoulou, Efstathia, North, Steve and Ye, Lei (2016) An “in the wild” longitudinal cross-site study of networked public displays user communities through situated snapshots. In: Media Architecture Biennial 2016, 1-4 June 2016, Sydney, Australia. (Submitted)

Mesgarpour, Mohammad, Landa-Silva, Dario and Dickinson, Ian (2013) Overview of telematics-based prognostics and health management systems for commercial vehicles. Communications in Computer and Information Science, 395 . pp. 123-130. ISSN 1865-0929

Miller, Simon, Appleby, Susan, 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

Miller, Simon, Gongora, Mario, Garibaldi, Jon and John, Robert (2012) Interval type-2 fuzzy modelling and stochastic search for real-world inventory management. Soft Computing, 16 (8). pp. 1447-1459. ISSN 1432-7643

Miller, Simon, Wagner, Christian, Aickelin, Uwe and Garibaldi, Jonathan M. (2016) Modelling cyber-security experts' decision making processes using aggregation operators. Computers and Security, 62 . pp. 229-245. ISSN 0167-4048

Mitianoudis, Nikolaos, Tzimiropoulos, Georgios and Stathaki, Tania (2010) Fast wavelet-based pansharpening of multi-spectral images. In: 2010 IEEE International Conference on Imaging Systems and Techniques (IST), 1-2 July 2010, Thessaloniki, Greece.

Mohamad, A., Zainuddin, Y., Alam, N. and Kendall, G. (2017) Does decentralized decision making increase company performance through its Information Technology infrastructure investment? International Journal of Accounting Information Systems, 27 . pp. 1-15. ISSN 1467-0895

Mohammed, Jareer, Moore, Terry, Hill, Chris and Bingley, R.M. (2018) An assessment of the precise products on static Precise Point Positioning using Multi-Constellation GNSS. In: IEEE/ION PLANS 2018, 23-26 Apr 2018, Monterey, USA.

Monaghan, Tanya M., Jilani, Tahseen, Frankowski, Marcin, Spiewak, Klaudyna and Brindell, Malgorzata (2018) Serum trace metal concentrations in Clostridium difficile infection and their relationship to disease severity. Gut, 67 (Supp 1). A195-A196. ISSN 1468-3288

Monaghan, Tanya M., Mullish, Benjamin H., Patterson, Jordan, Wong, Gane K.S., Marchesi, Julian R., Xu, Huiping, Tahseen, Jilani and Kao, Dina (2018) Effective fecal microbiota transplantation for recurrent Clostridioides difficile infection in humans is associated with increased signalling in bile acid-farnesoid X receptor-fibroblast growth factor pathway. Gut Microbes . ISSN 1949-0976

Mong, Julius and Brailsford, David F. (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.

Moran, Stuart, Jäger, Nils, Schnädelbach, Holger and Glover, Kevin (2016) ExoPranayama: a biofeedback-driven actuated environment for supporting yoga breathing practices. Personal and Ubiquitous Computing, 20 (2). pp. 261-275. ISSN 1617-4909

Moran, Stuart, Pantidi, Nadia, Rodden, Tom, Chamberlain, Alan, Griffiths, Chloe, Zilli, Davide and Merrett, Geoff (2014) Listening to the forest and its curators: lessons learnt from a bioacoustic smartphone application deployment. In: CHI 2014: SIGCHI Conference on Human Factors in Computing Systems, 27 April - 1 May 2014, Toronto, Canada.

Morreale, Fabio, Moro, Giulio, Chamberlain, Alan, Benford, Steve and McPherson, Andrew P. (2017) Building a maker community around an open hardware platform. In: ACM Conference on Human Factors in Computing Systems (CHI 17), 6-11 May 2017, Denver, Colorado, USA.

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.

Mortier, Richard, Haddadi, Hamed, Henderson, Tristan, McAuley, Derek, Crowcroft, Jon and Crabtree, Andy (2016) Human-data interaction. In: The encyclopedia of human-computer interaction. Interaction Design Foundation. ISBN 9788792964007

Mortier, Richard, Zhao, Jianxin, Crowcroft, Jon, Qi Li, Liang Wang, Haddadi, Hamed, Amar, Yousef, Crabtree, Andy, Colley, James, Lodge, Tom, Brown, Anthony, McAuley, Derek and Greenhalgh, Chris (2016) Personal data management with the Databox: what’s inside the box? In: ACM CoNEXT Workshop on Cloud-Assisted Networking (CoNEXT 2016), 12 Dec 2016, Irvine, California, USA.

Mortier, Richard, Zhao, Jianxin, Crowcroft, Jon, Wang, Liang, Qi, Li, Haddadi, Hamed, Amar, Yousef, Crabtree, Andy, Colley, James, Lodge, Tom, Brown, Anthony, McAuley, Derek and Greenhalgh, Chris (2016) Personal data nanagement with the Databox: what’s inside the box? In: ACM Workshop on Cloud-Assisted Networking 2016, 12-15 December 2016, Irvine, California, USA.

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

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

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

Mu, Caihong, Cheng, Huiwen, Feng, Wei, Liu, Yi and Qu, Rong (2017) Information core optimization using Evolutionary Algorithm with Elite Population in recommender systems. In: 2017 IEEE Congress on Evolutionary Computation (CEC 2017), 5-8 June 2017, San Sebastian, Spain.

Mu, Caihong, Li, Chengzhou, Liu, Yi, Sun, Menghua, Jiao, Licheng and Qu, Rong (2017) Change detection in SAR images based on the salient map guidance and an accelerated genetic algorithm. In: 2017 IEEE Congress on Evolutionary Computation (CEC 2017), 5-8 June 2017, San Sebastian, Spain.

Mueller, Florian ‘Floyd’, Marshall, Joe, Khot, Rohit Ashok, Nylander, Stina and Tholander, Jakob (2016) Jogging at CHI. In: CHI 2016: SIGCHI Conference on Human Factors in Computing Systems, 07-12 May 2016, San Jose, CA, USA.

Mujtaba, Hasan, Kendall, Graham, Baig, Abdul R. and Özcan, Ender (2015) Detecting change and dealing with uncertainty in imperfect evolutionary environments. Information Sciences, 302 . pp. 33-49. ISSN 1872-6291

Muklason, Ahmad, Parkes, Andrew J., Özcan, Ender, McCollum, Barry and McMullan, Paul (2017) Fairness in examination timetabling: student preferences and extended formulations. Applied Soft Computing . ISSN 1872-9681

Murchie, Erik H., Gibbs, Jonathon and Burgess, Alexandra J. (2019) A canopy conundrum: can wind-induced movement help to increase crop productivity by relieving photosynthetic limitations? Journal of Experimental Botany, 70 (9). pp. 2371-2380. ISSN 1460-2431

Mysara, Mohamed, 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

N

Najariyan, Marzieh, Mazandarani, Mehran and John, Robert (2017) Type-2 fuzzy linear systems. Granular Computing, 2 (3). pp. 175-186. ISSN 2364-4974

Navarro, Javier, Wagner, Christian and Aickelin, Uwe (2015) Applying interval type-2 fuzzy rule based classifiers through a cluster-based class representation. In: 2015 IEEE Symposium Series on Computational Intelligence, 7-10 Dec 2015, Cape Town, South Africa.

Navarro, Javier, Wagner, Christian, Aickelin, Uwe, Green, L. and Ashford, R. (2016) Measuring agreement on linguistic expressions in medical treatment scenarios. In: 2016 IEEE Symposium on Computational Intelligence, 6-9 Dec 2016, Athens, Greece. (In Press)

Navarro, Javier, Wagner, Christian, Aickelin, Uwe, Green, Lynsey and Robert, Ashford (2016) Exploring differences in interpretation of words essential in medical expert-patient communication. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2016), 24-29 July 2016, Vancouver, Canada. (Submitted)

Nguyen-Minh, Huong, Benslimane, Abderrahim and Radenkovic, Milena (2015) Social delay tolerant approach for safety services in vehicular networks. In: 2015 International Wireless Communications and Mobile Computing Conference (IWCMC), 24-28 August, 2015, Dubrovnik, Croatia.

Nilsson, Henrik and Chupin, Guerric (2016) Funky grooves: declarative programming of full-fledged musical applications. Lecture Notes in Computer Science, 10137 . pp. 163-172. ISSN 0302-9743

Nilsson, Henrik and Chupin, Guerric (2016) The arpeggigon: declarative programming of a full-fledged musical application. Technical Report. University of Nottingham, Nottingham, UK. (Unpublished)

Nilsson, Henrik and Nielsen, Thomas A. (2014) Declarative modelling for Bayesian inference by shallow embedding. In: 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2014), 10 Oct 2014, Berlin, Germany.

Nilsson, Tommy, Blackwell, Alan F., Hogsden, Carl and Scruton, David (2016) Ghosts! A location-based Bluetooth LE mobile game for museum exploration. In: Mapping the digital: cultures and territories of play. Inter-Disciplinary Press, Oxford, pp. 129-138. ISBN 9781848883390

Ninic, Jelena, Koch, Christian and Tizani, Walid (2018) Meta models for real-time design assessment within an integrated information and numerical modelling framework. Lecture Notes in Computer Science, 10836 . pp. 1-18. ISSN 0302-9743

Nor Abdul Rahim, Siti Khatijah, Bargiela, Andrzej and Qu, Rong (2016) Solving the randomly generated university examination timetabling problem through Domain Transformation Approach (DTA). In: Proceedings of the International Conference on Computing, Mathematics and Statistics (iCMS 2015): bridging research endeavo. Springer Singapore, Singapore, pp. 75-83. ISBN 978-981-10-2770-3

North, Steve (2016) Give me poetical science: an invited speaker abstract for RM4ACI (Research Methods in ACI) workshop. In: Third International Conference on Animal-Computer Interaction (ACI2016), 15-17 Nov 2016, Milton Keynes, UK.

North, Steve (2016) Do androids dream of electric steeds? The allure of horse-computer interaction. ACM Interactions, 23 (2). pp. 50-53. ISSN 1558-3449

North, Steve, Hall, Carol, Roshier, Amanda L. and Mancini, Clara (2015) HABIT: Horse Automated Behaviour Identification Tool: a position paper. In: ACI@BHCI (Animal Computer Interaction Workshop), British HCI 2015, 13-17 July 2015, University of Lincoln, Lincoln, Great Britain.

North, Steve, Hemingway, Ann, McLean, Andrew, Harriet, Laurie and Caroline, Ellis-Hill (2016) Evaluating a natural horsemanship program in relation to the ISES first principles of horse training. In: The 12th International Society for Equitation Science Conference (ISES2016), 23-25 June 2016, IFCE (Institut Français du Cheval et de L’équitation), Saumur, France.

North, Steve, Hemingway, Ann, McLean, Andrew, Laurie, Harriet and Ellis-Hill, Caroline (2016) How does Parelli measure up? (poster). In: 12th International Society for Equitation Science Conference (ISES 2016), 23-25 June 2016, Saumur, France.

North, Steve, Hemingway, Ann, McLean, Andrew N., Laurie, Harriet and Ellis-Hill, Caroline (2016) Evaluating a natural horsemanship program in relation to the ISES first principles of horse training. Journal of Veterinary Behavior: Clinical Applications and Research, 15 . p. 87. ISSN 1558-7878

North, Steve, Schnädelbach, Holger, Fatah gen Schieck, Ava, Motta, Wallis, Ye, Lei, Behrens, Moritz and Kostopoulou, Efstathia (2013) Tension space analysis: exploring community requirements for networked urban screens. In: Human-Computer Interaction--INTERACT 2013: 14th IFIP TC 13 International conference, Cape Town, South Africa, September 2-6, 2013 : Proceedings, Part II. Lecture notes in computer science (8118). Springer, Berlin, pp. 81-98. ISBN 978-3-642-40479-5

Nortje, Caitlin R., Ward, Wil O.C., Neuman, Bartosz P. and Bai, Li (2015) Spherical harmonics for surface parametrisation and remeshing. Mathematical Problems in Engineering, 2015 . 82870/1-82870/11. ISSN 1563-5147

Nseef, Shams K., Abdullah, Salwani, Turky, Ayad and Kendall, Graham (2016) An adaptive multi-population artificial bee colony algorithm for dynamic optimisation problems. Knowledge-Based Systems, 104 . pp. 14-23. ISSN 0950-7051

O

Oates, Robert, Greensmith, Julie, Aickelin, Uwe, 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.

Obit, Joe Henry and Landa-Silva, Dario (2010) Computational study of non-linear great deluge for university course timetabling. In: Intelligent systems: from theory to practice. Studies in computational intelligence (299). Springer, Berlin, pp. 309-328. ISBN 978-3-642-13428-9

Obit, Joe Henry, Landa-Silva, Dario, Ouelhadj, Djamila, Khan Vun, Teong and Alfred, Rayner (2011) Designing a multi-agent approach system for distributed course timetabling. In: Proceedings of the 2011 IEEE Hybrid Intelligent Systems Conference (IEEE-HIS 2011), 5-8 December 2011, Melacca, Malaysia.

Obit, Joe Henry, Landa-Silva, Dario, Sevaux, Marc and Ouelhadj, Djamila (2011) Non-linear great deluge with reinforcement learning for university course timetabling. In: Metaheuristics: intelligent decision making. Operations research/computer science interfaces series (50). Springer, New York. ISBN 9781441979728

Obit, Joe Henry, Ouelhadj, Djamila, Landa-Silva, Dario and Alfred, Rayner (2012) An evolutionary non-Linear great deluge approach for solving course timetabling problems. International Journal of Computer Science Issues, 9 (4). pp. 1-13. ISSN 1694-0814

Oglic, Dino and Gaertner, Thomas (2017) Nyström method with Kernel K-means++ samples as landmarks. In: Proceedings of the 34th International Conference on Machine Learning, 6-11 August 2017, Sydney, Australia.

Oglic, Dino and Gaertner, Thomas (2016) Greedy feature construction. Advances in Neural Information Processing Systems, 29 . pp. 3945-3953. ISSN 1049-5258

Oglic, Dino, Garnett, Roman and Gärtner, Thomas (2017) Active search in intensionally specified structured spaces. In: Thirty-First AAAI Conference (AAAI 17), 4-9 Feb 2017, San Francisco, USA.

Oglic, Dino and Gärtner, Thomas (2018) Learning in reproducing kernel Kreın spaces. In: 35th International Conference on Machine Learning, 10-15 July, 2018, Stockholm, Sweden.

Ollis, James A., Bagley, Steven R. and Brailsford, David F. (2008) Tracking sub-page components in document workflows. In: ACM Symposium on Document Engineering (DocEng 2008), 16-19 Sept 2008, Sao Paolo, Brazil.

Ollis, James A., Brailsford, David F. and Bagley, Steven R. (2010) Optimized reprocessing of documents using stored processor state. In: ACM Symposium on Document Engineering (DocEng '10), 21-24 Sept 2010, Manchester, UK.

P

Paasovaara, Susanna, Lucero, Andrés, Porcheron, Martin, Paavilainen, Janne, Aliakseyeu, Dzmitry and Olsson, Thomas (2016) Interaction between nearby strangers: serendipity and playfulness. In: 9th Nordic Conference on Human-Computer Interaction (NordiCHI '16), 23-27 October 2016, Gothenburg, Sweden.

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

Pandey, Hari Mohan, Chaudhary, Ankit, Mehrotra, Deepti and Kendall, Graham (2016) Maintaining regularity and generalizationin data using the minimum description length principle and genetic algorithm: case of grammatical inference. Swarm and Evolutionary Computation, 31 . pp. 11-23. ISSN 0305-215X

Pantidi, Nadia, Selinas, Paris, Flintham, Martin, Baurley, Sharon and Rodden, Tom (2017) Bread stories: understanding the drivers of bread consumption for digital food customisation. In: 29th Australian Conference on Human-Computer Interaction (OzCHI 2017), 28 Nov-1 Dec 2017, Brisbane, Australia.

Papangelis, Konstantinos, Chamberlain, Alan and Hai-Ning, Liang (2016) New directions for preserving intangible cultural heritage through the use of mobile technologies. In: MobileHCI 2016, 18th International Conference on Human-Computer Interaction with Mobile Devices and Services, 6-9 Sept 2016, Florence, Italy.

Papangelis, Konstantinos, Metzger, Melvin, Sheng, Yiyang, Liang, Hai-Ning, Chamberlain, Alan and Khan, Vassilis-Javed (2017) "Get off my lawn!": Starting to understand territoriality in location based mobile games. In: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems, 6-11 May 2017, Colorado Convention Center, Denver, USA.

Papangelis, Konstantinos, Sheng, Yiyang, Liang, Hai-Ning, Chamberlain, Alan, Khan, Vassilis-Javed and Cao, Ting (2017) Unfolding the interplay of self-identity and expressions of territoriality in location-based social networks. In: UbiComp '17: 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2017 ACM International Symposium on Wearable Computers, 11-15 September 2017, Maui, Hawaii, USA.

Parkes, Andrew J., Özcan, Ender and Karapetyan, Daniel (2015) A software interface for supporting the application of data science to optimisation. Lecture Notes in Computer Science, 8994 . pp. 306-311. ISSN 0302-9743

Patel, Roma, Schnadelbach, Holger and Koleva, Boriana (2017) Come and play: interactive theatre for early years. In: Twelfth International Conference on Tangible, Embedded and Embodied Interactions (TEI 2018), 18–21 March 2018, Stockholm, Sweden. (In Press)

Paternostro, S., Moore, Terry, Hill, C., Atkin, J., de Maere, Geert and Morvan, Herve (2017) Integration of an ARAIM algorithm in the development of an instrument approach procedure and for pre-flight operational briefing. In: International Navigation Conference of the Royal Institute of Navigation (INC 16), 8-10 November 2016, Glasgow, U.K..

Paternostro, S., Moore, Terry, Hill, Chris, Atkin, Jason, de Maere, Geert and Morvan, Herve (2017) Examples of user algorithms implementing ARAIM techniques for integrity performance prediction, procedures development and pre-flight operations. In: 8th ESA workshop on Satellite Navigation Technologies and European Workshop on GNSS Signals and Signal Processing (NAVITEC), 14-16 Dec 2016, Amsterdam, The Netherlands.

Pavey, Paul, Probets, Steve and Brailsford, David F. (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.

Pekaslan, Direnc, Garibaldi, Jonathan M. and Wagner, Christian (2018) Exploring subsethood to determine firing strength in non-singleton fuzzy logic systems. In: IEEE World Congress on Computational Intelligence (WCCI 2018), 8-13 July 2018, Rio de Janeiro, Brazil.

Pekaslan, Direnc, Garibaldi, Jonathan M. and Wagner, Christian (2018) Noise parameter estimation for non-singleton fuzzy logic systems. In: IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2018), 7-10 October 2018, Miyazaki, Japan. (Submitted)

Pekaslan, Direnc, Garibaldi, Jonathan M. and Wagner, Christian (2017) Determining firing strengths through a novel similarity measure to enhance uncertainty handling in non-singleton fuzzy logic systems. In: International Joint Conference on Computational Intelligence (IJCCI 2017), 1-3 November 2017, Madeira, Portugal.

Peltola, Pekka, Xiao, Jialin, Hill, Chris, Moore, Terry, Seco, Fernando and Jiménez, Antonio R. (2018) A tripartite filter design for seamless pedestrian navigation using recursive 2-means clustering and Tukey update. In: IEEE/ION PLANS 2018, 23-26 Apr 2018, Monterey, USA.

Peralta, Daniel, Triguero, Isaac, García, Salvador, Herrera, Francisco and Benitez, Jose M. (2016) DPD-DFF: a dual phase distributed scheme with double fingerprint fusion for fast and accurate identification in large databases. Information Fusion, 32 (Part A). pp. 40-51. ISSN 1566-2535

Peralta, Daniel, Triguero, Isaac, García, Salvador, Saeys, Yvan, Benitez, Jose M. and Herrera, Francisco (2017) On the use of convolutional neural networks for robust classification of multiple fingerprint captures. International Journal of Intelligent Systems, 33 (1). pp. 213-230. ISSN 0884-8173

Peralta, Daniel, Triguero, Isaac, García, Salvador, Saeys, Yvan, Benitez, Jose M. and Herrera, Francisco (2017) Distributed incremental fingerprint identification with reduced database penetration rate using a hierarchical classification based on feature fusion and selection. Knowledge-Based Systems, 126 . pp. 91-103. ISSN 1872-7409

Perera, Charith, Wakenshaw, Susan Y.L., Baarslag, Tim, Haddadi, Hamed, Bandara, Arosha K., Mortier, Richard, Crabtree, Andy, Ng, Irene C.L., McAuley, Derek and Crowcroft, Jon (2016) Valorising the IoT Databox: creating value for everyone. Transactions on Emerging Telecommunications Technologies . ISSN 2161-3915 (In Press)

Perez, Elvira, Ball, Mark, Brown, Poppy, Crepaz-Keay, David, Haslam-Jones, Emily and Crawford, Paul (2016) Kundalini yoga as mutual recovery: a feasibility study including children in care and their carers. Journal of Children's Services, 11 (4). pp. 261-282. ISSN 2042-8677

Perez, Elvira, Koene, Ansgar, Portillo, Virginia, Dowthwaite, Liz and Cano, Monica (2017) Young people's policy recommendations on algorithm fairness. In: ACM Web Science Conference (WebSci' 17), 26-28 June 2017, Troy, N.Y., U.S.A..

Perez, Ivan, Bärenz, Manuel and Nilsson, Henrik (2016) Functional reactive programming, refactored. In: Proceedings of the 9th International Symposium on Haskell (Haskell '16), 22-23 September 2016, Nara, Japan.

Perez, Ivan and Nilsson, Henrik (2017) Testing and debugging functional reactive programming. Proceedings of the ACM on Programming Languages, 1 (1). 2/1-2/27. ISSN 2475-1421

Perez, Ivan and Nilsson, Henrik (2015) Bridging the GUI gap with reactive values and relations. In: 2015 ACM SIGPLAN Symposium on Haskell (Haskell '15), 3-4 Sept 2015, Vancouver, Canada.

Perez Vallejos, Elvira, Koene, Ansgar, Carter, Christopher J., Hunt, Daniel, Woodard, Christopher, Urquhart, Lachlan, Bergin, Aislinn and Statache, Ramona (2017) Accessing online data for youth mental health research: meeting the ethical challenges. Philosophy & Technology . ISSN 2210-5441

Perkins, Adam, Ryan, Brendan and Siebers, Peer-Olaf (2015) Modelling and simulation of rail passengers to evaluate methods to reduce dwell times. In: 14th International Conference on Modeling and Applied Simulation, MAS 2015, 21-23 September 2015, Bergeggi, Italy.

Petridis, Stavros, Stafylakis, Themos, Ma, Pingchuan, Cai, Feipeng, Tzimiropoulos, Georgios and Pantic, Maja (2018) End-to-end audiovisual speech recognition. In: IEEE International Conference on Acoustics, Speech, and Signal Processing, 15-20 April 2018, Calgary, Alberta, Canada.

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.

Pike, Matthew, Ramchurn, Richard, Benford, Steve and Wilson, Max L. (2016) #Scanners: exploring the control of adaptive films using brain-computer interaction. In: 34th Annual ACM Conference on Human Factors in Computing Systems (CHI'16), 7th-13th May 2016, San Jose, USA.

Pike, Matthew, Ramchurn, Richard and Wilson, Max L. (2015) #Scanners: integrating physiology into cinematic experiences. In: 2015 ACM SIGCHI Conference on Creativity and Cognition, June 22-25, Glasgow, UK.

Pike, Matthew, Ramchurn, Richard and Wilson, Max L. (2015) Two-way Affect Loops in multimedia experiences. In: British HCI 2015, 2-7 Aug 2015, Lincoln, UK.

Pike, Matthew F., Maior, Horia A., Porcheron, Martin, Sharples, Sarah C. and Wilson, Max L. (2014) Measuring the effect of Think Aloud Protocols on workload using fNIRS. In: Proceedings of the 32nd Annual ACM Conference on Human Factors in Computing Systems, 26 April - 01 May 2014, Toronto, Canada.

Pillay, Nelishia and Özcan, Ender (2017) Automated generation of constructive ordering heuristics for educational timetabling. Annals of Operations Research . ISSN 1572-9338 (In Press)

Pinheiro, Rodrigo L., Landa-Silva, Dario and Atkin, Jason (2015) Analysis of objectives relationships in multiobjective problems using trade-off region maps. In: Proceedings of the 2015 Genetic and Evolutionary Computation Conference (GECCO 2015), 11-15 July 2015, Madrid, Spain.

Pinheiro, Rodrigo Lankaites, Constantino, Ademir Aparecido, de Mendonca, Candido F. X. and Landa-Silva, Dario (2014) An evolutionary algorithm for graph planarisation by vertex deletion. In: 16th International Conference on Enterprise Information Systems (ICEIS 2014), 27-30 April, 2014, Lisbon, Portugal.

Pinheiro, Rodrigo Lankaites and Landa-Silva, Dario (2014) A development and integration framework for optimisation-based enterprise solutions. In: Proceedings of the 3rd International Conference on Operations Research and Enterprise Systems (ICORES 2014), 06-08 March 2014, Angers, France.

Pinheiro, Rodrigo Lankaites, Landa-Silva, Dario and Atkin, Jason (2017) A technique based on trade-off maps to visualise and analyse relationships between objectives in optimisation problems. Journal of Multi-criteria Decision Analysis, 24 (1-2). pp. 37-56. ISSN 1057-9214

Pinheiro, Rodrigo Lankaites, Landa-Silva, Dario and Atkin, Jason (2015) A variable neighbourhood search for the workforce scheduling and routing problem. In: Advances in nature and biologically inspired computing: proceedings of the 7th World Congress on Nature and Biologically Inspired Computing, NaBIC2015, in Pietermaritzburg, South Africa, held December 01-03, 2015. Advances in intelligent systems and computing (419). Springer, Cham, pp. 247-259. ISBN 9783319273990

Pinheiro, Rodrigo Lankaites, Landa-Silva, Dario, Laesanklang, Wasakorn and Constantino, Ademir Aparecido (2018) An efficient application of goal programming to tackle multiobjective problems with recurring fitness landscapes. Communications in Computer and Information Science . ISSN 1865-0929 (In Press)

Pinheiro, Rodrigo Lankaites, Landa-Silva, Dario, Laesanklang, Wasakorn and Constantino, Ademir Aparecido (2018) Using goal programming on estimated Pareto fronts to solve multiobjective problems. In: 7th International Conference on Operations Research and Enterprise Systems (ICORES 2018), 24-26 January 2018, Funchal, Portugal.

Pinheiro, Rodrigo Lankaites, Landa-Silva, Dario, Qu, Rong, Constantino, Ademir Aparecido and Yanaga, Edson (2016) An application programming interface with increased performance for optimisation problems data. Journal of Management Analytics, 3 (4). pp. 305-332. ISSN 2327-0039

Pinheiro, Rodrigo Lankaites, Landa-Silva, Dario, Qu, Rong, Yanaga, Edson and Constantino, Ademir Aparecido (2016) Towards an efficient API for optimisation problems data. In: 18th International Conference on Enterprise Information Systems (ICEIS 2016), 25-28 April 2016, Rome, Italy.

Pinheiro, Rodrigo Lankaites, Landa-Silva, Dario, Qu, Rong, Yanaga, Edson and Constantino, Ademir Aparecido (2016) Towards an efficient API for optimisation problems data. In: 18th International Conference on Enterprise Information Systems (ICEIS 2016), 23-25 February 2016, Rome, Italy.

Pinkney, Alexander J., Bagley, Steven R. and Brailsford, David F. (2013) No need to justify your choice: pre-compiling line breaks to improve eBook readability. In: ACM Symposium on Document Engineering (DocEng '13), 10-13 Sept 2013, Florence, Italy.

Pinkney, Alexander J., Bagley, Steven R. and Brailsford, David F. (2011) Reflowable documents composed from pre-rendered atomic components. In: ACM Symposium on Document Engineering (DocEng '11), 19-22 Sept 2011, Mountain View, California, USA.

Porcheron, Martin (2015) Reflecting on the study of mobile collocated interactions: the changing face of wearable devices. In: Mobile Collocated Interactions With Wearables workshop at MobileHCI '15, 24 Aug 2015, Copenhagen, Denmark.

Porcheron, Martin, Fischer, Joel E., McGregor, Moira, Brown, Barry, Luger, Ewa, Candello, Heloisa and O'Hara, Kenton (2017) Talking with conversational agents in collaborative action. In: 20th ACM conference on Computer-Supported Cooperative Work and Social Computing (CSCW '17), 25 Feb-01 Mar 2017, Portland, Oregon, USA.

Porcheron, Martin, Fischer, Joel E., Reeves, Stuart and Sharples, Sarah (2018) Voice interfaces in everyday life. In: ACM CHI Conference on Human Factors in Computing Systems (CHI 2018), 21-26 Apr 2018, Montreal, Canada.

Porcheron, Martin, Fischer, Joel E. and Sharples, Sarah (2016) “Do animals have accents?”: talking with agents in multi-party conversation. In: 20th ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW 2017), 25 Feb-01 Mar 2017, Portland, Oregon, USA. (In Press)

Porcheron, Martin, Fischer, Joel E. and Sharples, Sarah (2016) Using mobile phones in pub talk. In: 19th ACM Conference on Computer Supported Cooperative Work & Social Computing (CSCW ’16), 27 Feb – 2 Mar 2016, San Francisco, USA.

Porcheron, Martin, Lucero, Andrés, Quigley, Aaron, Marquardt, Nicolai, Clawson, James and O'Hara, Kenton (2016) Proxemics mobile collocated interactions. In: Proxemic Mobile Collocated Interactions, 07-12 May 2016, San José, USA.

Pound, Michael P., Atkinson, Jonathan A., Townsend, Alexandra J., Wilson, Michael H., Griffiths, Marcus, Jackson, Aaron S., Bulat, Adrian, Tzimiropoulos, Georgios, Wells, Darren M., Murchie, Erik H., Pridmore, Tony P. and French, Andrew P. (2017) Deep machine learning provides state-of-the-art performance in image-based plant phenotyping. GigaScience, 6 (10). pp. 1-10. ISSN 2047-217X

Pound, Michael P., Atkinson, Jonathan A., Wells, Darren M., Pridmore, Tony P. and French, Andrew P. (2017) Deep learning for multi-task plant phenotyping. In: ICCV 2017 International Conference on Computer Vision, 22-29 October, 2017, Venice, Italy.

Pound, Michael P., Burgess, Alexandra J., Wilson, Michael H., Atkinson, Jonathan A., Griffiths, Marcus, Jackson, Aaron S., Bulat, Adrian, Tzimiropoulos, Yorgos, Wells, Darren M., Murchie, Erik H., Pridmore, Tony P. and French, Andrew P. (2016) Deep machine learning provides state-of-the art performance in image-based plant phenotyping. Cold Spring Harbor Laboratory.

Pound, Michael P., Fozard, Susan, Torres Torres, Mercedes, Forde, Brian G. and French, Andrew P. (2017) AutoRoot: open-source software employing a novel image analysis approach to support fully-automated plant phenotyping. Plant Methods, 13 (1). 12/1-12/10. ISSN 1746-4811

Pound, Michael P., French, Andrew P., Fozard, John A., Murchie, Erik H. and Pridmore, Tony P. (2016) A patch-based approach to 3D plant shoot phenotyping. Machine Vision and Applications . ISSN 1432-1769

Pound, Michael P., French, Andrew P., Murchie, Erik H. and Pridmore, Tony P. (2014) Automated recovery of 3D models of plant shoots from multiple colour images. Plant Physiology, 166 (4). pp. 1688-1698. ISSN 0032-0889

Pourabdollah, Amir, John, Robert and Garibaldi, Jonathan M. (2017) A new dynamic approach for non-singleton fuzzification in noisy time-series prediction. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 9-12 July 2017, Naples, Italy.

Pourabdollah, Amir, Wagner, Christian, Aladi, Jabran Hussain and Garibaldi, Jonathan M. (2016) Improved uncertainty capture for non-singleton fuzzy systems. IEEE Transactions on Fuzzy Systems, 24 (6). pp. 1513-1524. ISSN 1941-0034

Preston, William, Benford, Steve, Thorn, Emily-Clare, Koleva, Boriana, Rennick-Egglestone, Stefan, Mortier, Richard, Quinn, Anthony, Stell, John and Worboys, Michael (2017) Enabling hand-crafted visual markers at scale. In: ACM SIGCHI Conference on Designing Interactive Systems, 10-14 June 2017, Edinburgh, UK. (In Press)

Price, Dominic, McAuley, Derek, Mortier, Richard, Greenhalgh, Chris, Brown, Michael and Angelopoulos, Spyros (2015) Inter-social-networking: accounting for multiple identities. In: Social computing and social media: 7th International Conference, SCSM 2015 held as part of HCI International 2015 Los Angeles, CA, USA, August 2 – 7, 2015 proceedings. Lecture Notes in Computer Science (9182). Springer International Publishing, Cham, pp. 242-252. ISBN 9783319203669

Pridmore, Tony P., Gibbs, Jonathon, Pound, Michael P., French, Andrew P., Wells, Darren M. and Murchie, Erik H. (2018) Plant phenotyping: an active vision cell for three-dimensional plant shoot reconstruction. Plant Physiology . ISSN 1532-2548 (In Press)

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

Probets, Steve, Brailsford, David F., 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.

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

Pérez López, Iker, Brown, Michael, Pinchin, James, Martindale, Sarah, Sharples, Sarah, Shaw, Dominick E. and Blakey, John (2016) Out of hours workload management: Bayesian inference for decision support in secondary care. Artificial Intelligence in Medicine . ISSN 1873-2860

Pérez López, Iker, Pinchin, James, Brown, Michael, Blum, Jesse and Sharples, Sarah (2016) Unsupervised labelling of sequential data for location identification in indoor environments. Expert Systems with Applications . ISSN 0957-4174

Q

Qu, Rong and Burke, Edmund (2008) Hybridizations within a graph based hyper-heuristic framework for university timetabling problems. Journal of the Operational Research Society, 60 (9). pp. 1273-1285. ISSN 0160-5682

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.

Qu, Rong, Burke, Edmund, McCollum, Barry, Merlot, L.T.G. and Lee, S.Y. (2008) A survey of search methodologies and automated system development for examination timetabling. Journal of Scheduling, 12 (1). pp. 55-89. ISSN 1094-6136

Qu, Rong, Pham, Duc Nam Trung, Bai, Ruibin and Kendall, Graham (2015) Hybridising heuristics within an estimation distribution algorithm for examination timetabling. Applied Intelligence . ISSN 0924-669X (In Press)

Qu, Rong, Xu, Ying, Castro-Gutierrez, Juan and Landa-Silva, Dario (2013) Particle swarm optimization for the Steiner tree in graph and delay-constrained multicast routing problems. Journal of Heuristics, 19 (2). pp. 317-342. ISSN 1381-1231

R

Radenkovic, M., Huynh, V.S.H. and Manzoni, P. (2018) Adaptive real-time predictive collaborative content discovery and retrieval in mobile disconnection prone networks. IEEE Access, 6 . pp. 32188-32206. ISSN 2169-3536

Radenkovic, Milena (2016) Cognitive privacy for personal clouds. Mobile Information Systems, 2016 . pp. 1-17. ISSN 1875-905X

Radenkovic, Milena, Benslimane, Abderrahim and McAuley, Derek (2015) Reputation aware obfuscation for mobile opportunistic networks. IEEE Transactions on Parallel and Distributed Systems, 26 (1). pp. 230-240. ISSN 1558-2183

Radenkovic, Milena, Crowcroft, Jonathan and Rehmani, Mubashir Husain (2016) Towards low cost prototyping of mobile opportunistic disconnection tolerant networks and systems. IEEE Access, 4 . pp. 5309-5321. ISSN 2169-3536

Radenkovic, Milena and Grundy, Andrew (2012) Efficient and adaptive congestion control for heterogeneous delay-tolerant networks. Ad Hoc Networks, 10 (7). pp. 1322-1345. ISSN 15708705

Radenkovic, Milena and Grundy, Andrew (2011) Congestion aware forwarding in delay tolerant and social opportunistic networks. In: Wireless On-Demand Network Systems and Services (WONS), 2011 Eighth International Conference on, 26-28 Jan 2011, Bardonecchia, Italy.

Radenkovic, Milena and Huynh, Vu San Ha (2017) Collaborative cognitive content dissemination and query in heterogeneous mobile opportunistic networks. In: 3rd Workshop on Experiences with the Design and Implementation of Smart Objects, MobiCom 2017, Oct 2017, Snowbird, United States 2017, 16-20 Oct 2017, Snowbird, Utah, USA.

Radenkovic, Milena and Huynh, Vu San Ha (2016) Low-cost mobile personal clouds. In: International Wireless Communications & Mobile Computing Conference (IWCMC 2016), 5-9 September 2016, Paphos, Cyprus. (In Press)

Radenkovic, Milena, Kostadinov, Ivaylo and Wietrzyk, Bartosz (2015) Increasing communication reliability in manufacturing environments. In: 2015 International Wireless Communications and Mobile Computing Conference (IWCMC), 24-28 August, 2015, Dubrovnik, Croatia.

Radenkovic, Milena, Vaghi, Ivan, Zakhary, Sameh and Benslimane, Abderrahim (2013) AdaptAnon: adaptive anonymity for service queries in mobile opportunistic networks. In: 2013 IEEE International Conference on Communications (ICC), 9-13 June 2013, Budapest, Hungary.

Radenkovic, Milena and Walker, Adam (2018) Contextual dishonest behaviour detection for cognitive adaptive charging in dynamic smart micro-grids. In: 15th Wireless On-demand Network systems and Services Conference (WONS2019), 22-24 January 2019, Wengen, Switzerland. (In Press)

Radenkovic, Milena and Walker, Adam (2018) CognitiveCharge: disconnection tolerant adaptive collaborative and predictive vehicular charging. In: 4th ACM MobiHoc Workshop on Experiences with the Design and Implementation of Smart Objects (Smartobjects '18), 26-29 Jun 2018, Los Angeles, California.

Radenkovic, Milena, Walker, Adam and Bai, Li (2018) Towards better understanding the challenges of reliable and trust-aware critical communications in the aftermath of disaster. In: The 14th International Wireless Communications and Mobile Computing Conference (IWCMC 2018), 25-29 June 2018, Limassol, Cyprus.

Radenkovic, Milena and Wietrzyk, Bartosz (2006) Wireless mobile ad-hoc sensor networks for very large scale cattle monitoring. In: 6th International Workshop on Applications and Services in Wireless Networks (ASWN '06), May 29-31 2006, Berlin, Germany.

Radenkovic, Milena and Zakhary, Sameh (2012) Flexible and dynamic network coding for adaptive data transmission in DTNs. In: IWCMC 2012 : the 8th International Wireless Communications & Mobile Computing Conference, 27-31 August 2012, Limassol, Cyprus.

Rahman, M. Ataur and Wilson, Max L. (2015) Exploring opportunities to facilitate serendipity in search. In: 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, 9-13 Aug 2015, Santiago, Chile.

Rahman, Rosshairy Abd., Kendall, Graham, Ramli, Razamin, Jamari, Zainoddin and Ku-Mahamud, Ku Ruhana (2017) Shrimp feed formulation via evolutionary algorithm with power heuristics for handling constraints. Complexity, 2017 . p. 7053710. ISSN 1076-2787

Rakha, Emad, Soria, Daniele, Green, Andrew R., Lemetre, Christophe, Powe, Desmond G., Nolan, Christopher C., Garibaldi, Jonathan M., Ball, Graham and Ellis, Ian O. (2014) Nottingham Prognostic Index Plus (NPI+): a modern clinical decision making tool in breast cancer. British Journal of Cancer, 110 (7). pp. 1688-1697. ISSN 0007-0920

Ramchum, Richard, Chamberlain, Alan and Benford, Steve (2018) Designing musical soundtracks for Brain Controlled Interface (BCI) systems. In: Audio Mostly 2018: a conference on interaction with sound, 12-14 September 2018, Wrexham, UK. (In Press)

Ramchurn, Richard, Wilson, Max L., Martindale, Sarah and Benford, Steve (2018) #Scanners 2 – The MOMENT: a new brain-controlled movie. In: CHI 2018: ACM SIGCHI Conference on Human Factors in Computing Systems (Extended Abstracts), 21-26 April 2018, Montreal, Canada.

Ramchurn, Sarvapali D., Fischer, Joel E., Ikuno, Yuki, Wu, Feng, Flann, Jack and Waldock, Antony (2015) A study of human-agent collaboration for multi-UAV task allocation in dynamic environments. In: International Joint Conference on Artificial Intelligence (IJCAI-15), 25-31 July 2015, Buenos Aires, Argentina.

Ramchurn, Sarvapali D., Huynh, Trung Dong, Ikuno, Yuki, Flann, Jack, Wu, Feng, Moreau, Luc, Jennings, Nicholas R., Fischer, Joel E., Jiang, Wenchao, Rodden, Tom, Simpson, Edwin, Reece, Steven and Roberts, Stephen (2015) HAC-ER: a disaster response system based on human-agent collectives. In: 2015 International Conference on Autonomous Agents and Multiagent Systems, 4 - 8 May 2015, Istanbul, Turkey.

Ramchurn, Sarvapali D., Huynh, Trung Dong, Wu, Feng, Ikuno, Yuki, Flann, Jack, Moreau, Luc, Fischer, Joel E., Jiang, Wenchao, Rodden, Tom, Simpson, Edwin, Reece, Steven, Roberts, Stephen and Jennings, Nicholas R. (2016) A disaster response system based on human-agent collectives. Journal of Artificial Intelligence Research, 57 . pp. 661-708. ISSN 1943-5037

Ramchurn, Sarvapali D., Wu, Feng, Jiang, Wenchao, Fischer, Joel E., Reece, Steve, Roberts, Stephen, Rodden, Tom, Greenhalgh, Chris and Jennings, Nicholas R. (2016) Human–agent collaboration for disaster response. Autonomous Agents and Multi-Agent Systems, 30 (1). pp. 82-111. ISSN 1573-7454

Ravizza, Stefan, Atkin, Jason and Burke, Edmund K. (2014) A more realistic approach for airport ground movement optimisation with stand holding. Journal of Scheduling, 17 (5). pp. 507-520. ISSN 1094-6136

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)

Ravizza, Stefan, Chen, Jun, Atkin, Jason A.D., Stewart, Paul and Burke, Edmund K. (2014) Aircraft taxi time prediction: comparisons and insights. Applied Soft Computing, 14 (C). pp. 397-406. ISSN 1872-9681

Razak, T.R., Garibaldi, Jonathan M., Wagner, Christian, Pourabdollah, Amir and Soria, Daniele (2017) Interpretability indices for hierarchical fuzzy systems. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), 9-12 July 2017, Naples, Italy.

Razak, Tajul Rosli, Garibaldi, Jonathan M., Wagner, Christian, Pourabdollah, Amir and Soria, Daniele (2018) Interpretability and complexity of design in the creation of fuzzy logic systems: a user study. In: 2018 IEEE Symposium Series on Computational Intelligence (IEEE-SSCI 2018), 18-21 November 2018, Bengaluru, India. (Unpublished)

Reeves, Stuart (2017) Commentary: Usability in vivo. Human-Computer Interaction . pp. 1-5. ISSN 0737-0024

Reeves, Stuart (2017) Some conversational challenges of talking with machines. In: Talking with Conversational Agents in Collaborative Action, Workshop at the 20th ACM conference on Computer-Supported Cooperative Work and Social Computing (CSCW '17), 25 February - 1 March 2017, Portland, Oregon, USA.

Reeves, Stuart (2015) Human-computer interaction as science. In: Critical Alternatives 2015, 5th Decennial Aarhus Conference, 17-21 Aug 2015, Aarhus, Denmark.

Reeves, Stuart (2015) Locating the 'big hole' in HCI research. Interactions, 22 (4). pp. 53-56. ISSN 1072-5520

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

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

Reeves, Stuart, Benford, Steve, 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.

Reeves, Stuart and Brown, Barry (2016) Embeddedness and sequentiality in social media. In: 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, 27 Feb – 2 Mar 2016, San Francisco, USA. (In Press)

Reeves, Stuart, Goulden, Murray and Dingwall, Robert (2016) The future as a design problem. Design Issues, 32 (3). pp. 6-17. ISSN 1531-4790

Reeves, Stuart, Greiffenhagen, Christian, Flintham, Martin, Benford, Steve, Adams, Matt, Farr, Ju Row and Tandavantij, Nick (2015) I'd hide you: performing live broadcasting in public. In: ACM Conference on Human Factors in Computing Systems (CHI '15), 18-23 April 2015, Seoul, Korea.

Reeves, Stuart, Greiffenhagen, Christian and Laurier, Eric (2017) Video gaming as practical accomplishment: ethnomethodology, conversation analysis, and play. Topics in Cognitive Science, 9 (2). pp. 308-342. ISSN 1756-8765

Reeves, Stuart, Greiffenhagen, Christian and Laurier, Eric (2016) Video gaming as practical accomplishment: ethnomethodology, conversation analysis and play. Topics in Cognitive Science, 9 (2). pp. 308-342. ISSN 1756-8765

Reeves, Stuart, Martindale, Sarah, Tennent, Paul, Benford, Steve, Marshall, Joe and Walker, Brendan (2015) The challenges of using biodata in promotional filmmaking. ACM Transactions on Computer-Human Interaction, 22 (3). 11/1-11/25. ISSN 1073-0516

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

Rehmani, Mubashir Husain, Reisslein, Martin, Rachedi, Abderrezak, Erol-Kantarci, Melike and Radenkovic, Milena (2018) Integrating renewable energy resources into the smart grid: recent developments in information and communication technologies. IEEE Transactions on Industrial Informatics . ISSN 1551-3203

Rengasamy, Divish, Morvan, Herve and Figueredo, Grazziela P. (2018) Deep learning approaches to aircraft maintenance, repair and overhaul: a review. In: 21st IEEE International Conference on Intelligent Transportation Systems, 4-7 November 2018, Maui, Hawaii, USA. (In Press)

Rennick Egglestone, Stefan, Boucher, Andy, Rodden, Tom, Law, Andy, Humble, Jan, 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

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)

Rennick-Egglestone, Stefan, Brundell, Patrick, Koleva, Boriana, Roussou, Maria, Chaffardon, Christophe and Benford, Steve (2016) Families and mobile devices in museums: designing for integrated experiences. Journal on Computing and Cultural Heritage, 9 (2). 11/1-11/13. ISSN 1556-4673

Rennick-Egglestone, Stefan, Knowles, Sarah, Toms, Gill, Bee, Penny, Lovell, Karina and Bower, Peter (2016) Health technologies ‘In the wild’: experiences of engagement with computerised CBT. CHI'16 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems . (In Press)

Rennick-Egglestone, Stefan, Roussou, Maria, Brundell, Patrick, Chaffardon, Christophe, Kourtis, Vassilis, 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.

Rennick-Egglestone, Stefan, Walker, Brendan, Marshall, Joe, 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

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

Rennick-Egglestone, Stefan, Whitbrook, Amanda, Leygue, Caroline, Greensmith, Julie, Walker, Brendan, Benford, Steve, Schnädelbach, Holger, Reeves, Stuart, Marshall, Joe, Kirk, David, Tennent, Paul, 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

Reps, Jenna, Aickelin, Uwe, Garibaldi, Jonathan M. and Damski, Chris (2014) Personalising mobile advertising based on users’ installed apps. In: IEEE International Conference on Data Mining: The 4th International Workshop on Data Mining for Service (DMS), 14-17 Dec 2014, Shenzhen, China.

Reps, Jenna, Feyereisl, Jan, Garibaldi, Jonathan M., Aickelin, Uwe, 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.

Reps, Jenna, Garibaldi, Jonathan M., Aickelin, Uwe, Soria, Daniele, 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.

Reps, Jenna, Garibaldi, Jonathan M., Aickelin, Uwe, Soria, Daniele, 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, Garibaldi, Jonathan M., Aickelin, Uwe, Soria, Daniele, 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)

Reps, Jenna M. and Aickelin, Uwe (2015) Identifying candidate risk factors for prescription drug side effects using causal contrast set mining. In: Health Information Science (4th International Conference, HIS 2015, Melbourne, Australia, May 28-30), 28-30 May 2015, Melbourne, Australia.

Reps, Jenna M. and Aickelin, Uwe (2014) Incorporating spontaneous reporting system data to aid causal inference in longitudinal healthcare data. In: IEEE International Conference on Data Mining: The Fifth Workshop on Biological Data Mining and its Applications in Healthcare (BioDM 2014), 14 Dec 2014, Shenzhen, China.

Reps, Jenna M., 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.

Reps, Jenna M., Aickelin, Uwe and Hubbard, Richard B. (2016) Refining adverse drug reaction signals by incorporating interaction variables identified using emergent pattern mining. Computers in Biology and Medicine, 69 . pp. 61-70. ISSN 0010-4825

Reps, Jenna M., Aickelin, Uwe, Ma, Jiangang and Zhang, Yanchun (2014) Refining adverse drug reactions using association rule mining for electronic healthcare data. In: IEEE International Conference of Data Mining: Data Mining in Biomedical Informatics and Healthcare (DMBIH) Workshop 2014, 14 Dec 2014, Shenzhen, China.

Reps, Jenna M., Garibaldi, Jonathan M., Aickelin, Uwe, Gibson, Jack E. and Hubbard, Richard B. (2015) A supervised adverse drug reaction signalling framework imitating Bradford Hill’s causality considerations. Journal of Biomedical Informatics, 56 . pp. 356-368. ISSN 1532-0480

Reps, Jenna M., Garibaldi, Jonathan M., Aickelin, Uwe, Soria, Daniele, 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., Garibaldi, Jonathan M., Aickelin, Uwe, Soria, Daniele, 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

Reps, Jenna M., Garibaldi, Jonathan M., Aickelin, Uwe, Soria, Daniele, 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

Richens, Joanna L., Vere, Kelly-Ann, Light, Roger A., Soria, Daniele, Garibaldi, Jonathan, Smith, A. David, Warden, Donald, Wilcock, Gordon, Bajaj, Nin, Morgan, Kevin and O’Shea, Paul (2014) Practical detection of a definitive biomarker panel for Alzheimer's disease: comparisons between matched plasma and cerebrospinal fluid. International Journal of Molecular Epidemiology and Genetics, 5 (2). pp. 53-70. ISSN 1948-1756

Ringeval, Fabien, Schuller, Björn, Valstar, Michel, Gratch, Jonathan, Cowie, Roddy, Scherer, Stefan, Mozgai, Sharon, Cummins, Nicholas, Schmitt, Maximilian and Pantic, Maja (2017) AVEC 2017--Real-life depression, and affect recognition workshop and challenge. In: 7th Audio/Visual Emotion Challenge and Workshop, 23 October 2017, Mountain View, California, USA.

Ringeval, Fabien, Schuller, Björn, Valstar, Michel, Jaiswal, Shashank, Marchi, Erik, Lalanne, Denis, Cowie, Roddy and Pantic, Maja (2015) AV+ EC 2015--the first affect recognition challenge bridging across audio, video, and physiological data. In: 5th International Workshop on Audio/Visual Emotion Challenge (AVEC), 26-30 October 2015, Brisbane, Australia.

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.

Roadknight, Chris, Aickelin, Uwe, Ladas, Alex, Soria, Daniele, 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)

Roadknight, Chris, Aickelin, Uwe, Qiu, Guoping, 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.

Roadknight, Chris, Aickelin, Uwe, 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.

Roadknight, Chris, Aickelin, Uwe and Sherman, Galina (2011) Validation of a microsimulation of the port of Dover. Journal of Computational Science, 3 (1-2). pp. 56-66. ISSN 1877-7503

Roadknight, Chris, Suryanarayanan, Durga, Aickelin, Uwe, Scholefield, John and Durrant, Lindy (2015) An ensemble of machine learning and anti-learning methods for predicting tumour patient survival rates. In: 2015 IEEE International Conference on Data Science and Advanced Analytics (DSAA 2015), 19-21 Oct 2015, Paris, France.

Rostami, Asreen, Rossitto, Chiara, Barkhuus, Louise, Hook, Jonathan, Laaksolahti, Jarmo, Taylor, Robyn, McMillan, Donald, Spence, Jocelyn and Williamson, Julie (2017) Design fiction for mixed-reality performances. In: 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '17), 6-11 May 2017, Denver, Colorado, USA.

Ruan, Chunyang, Wang, Ye, Zhang, Yanchun, Ma, Jiangang, Chen, Huijuan, Aickelin, Uwe, Zhu, Shanfeng and Zhang, Ting (2017) THCluster: herb supplements categorization for precision traditional Chinese medicine. In: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2017), 13-16 Nov 2017, Kansas City, Mo., USA.

Runkler, Thomas, Coupland, Simon and John, Robert (2017) Interval type–2 fuzzy decision making. International Journal of Approximate Reasoning, 80 . pp. 217-224. ISSN 0888-613X

Runkler, Thomas A., Chen, Chao and John, Robert (2018) Type reduction operators for interval type–2 defuzzification. Information Sciences, 467 . pp. 464-476. ISSN 1872-6291

Runkler, Thomas A., Chen, Chao and John, Robert (2018) Risk sensitive decision making using type reduction methods. In: 28th GMA Workshop on Computational Intelligence, 29-30 November 2018, Dortmund, Germany. (In Press)

Runkler, Thomas A., Coupland, Simon, John, Robert and Chen, Chao (2017) Interval type-2 defuzzification using uncertainty weights. Studies in Computational Intelligence, 739 . ISSN 1860-949X

Rutter, Sophie, Blinzler, Verena, Ye, Chaoyu, Twidale, Michael B. and Wilson, Max L. (2017) Complex search task: how to make a phone safe for a child. CEUR Workshop Proceedings, 1798 . pp. 34-36. ISSN 1613-0073

S

Sabar, Nasar, Ayob, Masri, Kendall, Graham and Qu, Rong (2014) The automatic design of hyper-heuristic framework with gene expression programming for combinatorial optimization problems. IEEE Transactions on Evolutionary Computation . ISSN 1089-778X (In Press)

Sabar, Nasar, Ayob, Masri, Kendall, Graham and Qu, Rong (2013) Grammatical evolution hyper-heuristic for combinatorial optimization problems. IEEE Transactions on Evolutionary Computation, 17 (6). pp. 840-861. ISSN 1089-778X

Sabar, Nasar R., Ayob, Masri, Kendall, Graham and Qu, Rong (2015) A dynamic multiarmed bandit-gene expression programming hyper-heuristic for combinatorial optimization problems. IEEE Transactions on Cybernetics, 45 (2). pp. 217-228. ISSN 2168-2275

Sagonas, Christos, Antonakos, Epameinondas, Tzimiropoulos, Georgios, Zafeiriou, Stefanos and Pantic, Maja (2016) 300 faces in-the-wild challenge: database and results. Image and Vision Computing . ISSN 0262-8856

Sagonas, Christos, Tzimiropoulos, Georgios, Zafeiriou, Stefanos and Pantic, Maja (2013) 300 Faces in-the-Wild Challenge: the first facial landmark localization challenge. In: 2013 IEEE International Conference on Computer Vision (ICCV), 2-8 Dec 2013, Sydney, Australia.

Sagonas, Christos, Tzimiropoulos, Georgios, Zafeiriou, Stefanos and Pantic, Maja (2013) A semi-automatic methodology for facial landmark annotation. In: 2013 IEEE Conference on Computer Vision and Pattern Recognition (CVPRW), 23-28 June 2013, Portland, Oregon, USA.

Sailaja, Neelima, Crabtree, Andy, McAuley, Derek and Stenton, Phil (2018) Explicating the challenges of providing novel media experiences driven by user personal data. In: ACM International Conference on Interactive Experiences for Television and Online Video, 26-28 June 2018, Seoul, Korea.

Sailaja, Neelima, Crabtree, Andy and Stenton, Phil (2017) Challenges of using personal data to drive personalised electronic programme guides. In: 2017 CHI Conference on Human Factors in Computing Systems, 6-11 May 2017, Denver, Colorado, USA.

Sathiaseelan, Arjuna, Mortier, Richard, Goulden, Murray, Greiffenhagen, Christian, Radenkovic, Milena, Crowcroft, Jon and McAuley, Derek (2014) A feasibility study of an in-the-wild experimental public access WiFi network. In: Fifth ACM Symposium on Computing for Development (ACM DEV-5'14), 5-6 December 2014, San Jose, California, USA.

Scarpel, Rodrigo, Ladas, Alexandros and Aickelin, Uwe (2015) Indebted households profiling: a knowledge discovery from database approach. Annals of Data Science, 2 (1). pp. 43-59. ISSN 2198-5812

Scharr, Hanno, Minervini, Massimo, French, Andrew P., Klukas, Christian, Kramer, David M., Liu, Xiaoming, Luengo, Imanol, Pape, Jean-Michel, Polder, Gerrit, Vukadinovic, Danijela, Yin, Xi and Tsaftaris, Sotirios A. (2016) Leaf segmentation in plant phenotyping: a collation study. Machine Vision and Applications, 27 (4). pp. 585-606. ISSN 1432-1769

Schnädelbach, Holger (2016) Inhabiting adaptive architecture. Next Generation Building, 3 (1). pp. 1-9. ISSN 2213-4433

Schnädelbach, Holger and Arieyanto, Hendro (2018) Movement-based co-creation of Adaptive Architecture. In: Robotic Building. Springer Series in Adaptive Environments . Springer, Cham. ISBN 9783319708652 (In Press)

Schnädelbach, Holger, Coughlan, Tim, Kefalidou, Genovefa, McAuley, Derek and Meese, Rupert (2015) Creativity Bento Box: a physical resource pack to support interaction in virtual space. International Journal of Human-Computer Interaction, 31 (11). pp. 790-804. ISSN 1532-7590

Schnädelbach, Holger, 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

Schnädelbach, Holger, Sun, Xu, Kefalidou, Genovefa, Coughlan, Tim, Meese, Rupert, Norris, James and McAuley, Derek (2016) Creativity Greenhouse: at-a-distance collaboration and competition over research funding. International Journal of Human-Computer Studies, 87 . pp. 1-19. ISSN 1071-5819

Schofield, Damian, Lorenz, Katharina, Davy-Jow, Stephanie and Anderson, Matthew (2012) Roman portraiture and biometric identification. In: Electronic Visualisation and the Arts (EVA 2012), 10-12 July 2012, London, UK.

Sculthorpe, Neil and Hutton, Graham (2014) Work it, wrap it, fix it, fold it. Journal of Functional Programming, 24 (1). pp. 113-127. ISSN 0956-7968

Sebastian, Sabu and John, Robert (2016) Multi-fuzzy sets and their correspondence to other sets. Annals of Fuzzy Mathematics and Informatics, 11 (2). pp. 341-348. ISSN 2093-9310

Sellers, William Irvin, 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.

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

Shen, Jie, Zafeiriou, Stefanos, Chrysos, Grigorios G., Kossaifi, Jean, Tzimiropoulos, Georgios and Pantic, Maja (2015) The first Facial Landmark Tracking in-the-Wild Challenge: benchmark and results. In: 2015 IEEE International Conference on Computer Vision, 7-13 Dec 2015, Chile.

Sherman, Galina, Menachof, David, 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, Siebers, Peer-Olaf, 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

Sherman, Galina, Siebers, Peer-Olaf, Menachof, David and Aickelin, Uwe (2012) Evaluating different cost-benefit analysis methods for port security operations. In: Decision making in service industries: a practical approach. CRC Press, Boca Raton, Florida, pp. 279-302. ISBN 9781439867341

Shi, Peng and Landa-Silva, Dario (2018) Lookahead policy and genetic algorithm for solving nurse rostering problems. In: 4th International Conference on Machine Learning, Optimization and Data Science (LOD 2018), 13-16 September, 2018, Volterra, Italy.

Shi, Peng and Landa-Silva, Dario (2017) Approximate dynamic programming with combined policy functions for solving multi-stage nurse rostering problem. In: 3rd International Workshop on Machine Learning, Optimization and Big Data (MOD 2017), 14-17 September 2017, Volterra, Italy.

Shi, Peng and Landa-Silva, Dario (2016) Dynamic programming with approximation function for nurse scheduling. Lecture Notes in Computer Science, 10122 . pp. 269-280. ISSN 0302-9743

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

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)

Siebers, Peer-Olaf, Aickelin, Uwe, Battisti, Giuliana, Celia, Helen, Clegg, Chris, Fu, Xiaolan, Hoyos, Raphael De, Iona, Alfonsiana, Petrescu, Alina and Peixoto, Adriano (2008) Enhancing productivity: the role of management practices. AIM Research Working Paper Series, 065 . pp. 1-42. ISSN 1744-0017

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

Siebers, Peer-Olaf, Aickelin, Uwe, Celia, Helen and Clegg, Chris (2014) Towards the development of a simulator for investigating the impact of people management practices on retail performance. In: Agent-based modeling and simulation. OR essentials . Palgrave Macmillan, Basingstoke, pp. 97-132. ISBN 9781137453624

Siebers, Peer-Olaf, Aickelin, Uwe, 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)

Siebers, Peer-Olaf, Aickelin, Uwe, 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

Siebers, Peer-Olaf, Aickelin, Uwe, 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, Aickelin, Uwe, 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.

Siebers, Peer-Olaf, Aickelin, Uwe, 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

Siebers, Peer-Olaf, Aickelin, Uwe, 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.

Siebers, Peer-Olaf, Aickelin, Uwe, 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)

Siebers, Peer-Olaf, Aickelin, Uwe, 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.

Siebers, Peer-Olaf, Aickelin, Uwe, 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.

Siebers, Peer-Olaf, Aickelin, Uwe, 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, Deng, YuFeng, Thaler, Jonathan, Schnädelbach, Holger and Özcan, Ender (2018) Proposal of a design pattern for embedding the concept of social forces in human centric simulation models. In: Operational Research Society Simulation Workshop 2018 (SW18 ), 19-21 March 2018, Stratford, Worcestershire. (In Press)

Siebers, Peer-Olaf, Figueredo, Grazziela P., Hirono, Miwa and Skatova, Anya (2017) Developing agent-based simulation models for social systems engineering studies: a novel framework and its application to modelling peacebuilding activities. In: Social systems engineering: the design of complexity. Wiley. ISBN 9781118974414

Siebers, Peer-Olaf and Klügl, Franziska (2017) What software engineering has to offer to agent-based social simulation. In: Simulating social complexity: a handbook - 2nd ed. Understanding complex systems . Springer, pp. 81-117.

Siebers, Peer-Olaf, 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.

Siebers, Peer-Olaf, Sherman, Galina, 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)

Singh, Dhirendra, Padgham, Lin and Logan, Brian (2017) Integrating BDI agents with agent-based simulation platforms. In: 16th International Conference on Autonomous Agents and Multiagent Systems, 8-12 May 2017, Sao Paulo, Brazil.

Singh, Dhirendra, Padgham, Lin and Logan, Brian (2016) Integrating BDI agents with Agent-based simulation platforms. Autonomous Agents and Multi-Agent Systems . pp. 1-22. ISSN 1387-2532

Singh Khuman, Arjab, Yang, Yingjie and John, Robert (2016) Quantification of R-Fuzzy sets. Expert Systems with Applications, 55 . pp. 374-387. ISSN 0957-4174

Singh Khuman, Arjab, Yang, Yingjie, John, Robert and Liu, Sifeng (2016) R-fuzzy sets and grey system theory. In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), 9-12 October 2016, Budapest, Hungary. (In Press)

Skatova, Anya, 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

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

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

Smith, Philip N., Brailsford, David F., Evans, David R., Harrison, Leon, 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.

Snape, Patrick, Pszczolkowski, Stefan, Zafeiriou, Stefanos, Tzimiropoulos, Georgios, Ledig, Christian and Rueckert, Daniel (2016) A robust similarity measure for volumetric image registration with outliers. Image and Vision Computing, 52 . pp. 97-113. ISSN 1872-8138

Solomon, Cynthia, Valstar, Michel F., Morriss, Richard K. and Crowe, John (2015) Objective methods for reliable detection of concealed depression. Frontiers in ICT, 2 (5). ISSN 2297-198X

Song, Siyang, Shen, Linlin and Valstar, Michel F. (2018) Human behaviour-based automatic depression analysis using hand-crafted statistics and deep learned spectral features. In: 13th IEEE International Conference on Face and Gesture Recognition (FG 2018), 15-19 May, Xi'an, China.

Song, Siyang, Shuimei, Zhang, Schuller, Björn, Shen, Linlin and Valstar, Michel F. (2018) Noise invariant frame selection: a simple method to address the background noise problem for text-independent speaker verification. In: International Joint Conference on Neural Networks 2018, 8-13 July 2018, Rio de Janeiro, Brazil. (In Press)

Soria, Daniele and Garibaldi, Jonathan M. (2016) Validation of a quantifier-based fuzzy classification system for breast cancer patients on external independent cohorts. In: International Conference on Machine Learning and Applications, 18-20 Dec 2016, Anaheim, California, USA.

Soria, Daniele and Garibaldi, Jonathan M. (2010) A novel framework to elucidate core classes in a dataset. In: IEEE Congress on Evolutionary Computation (CEC) 2010, 18-23 July 2010, Barcelona, Spain.

Soria, Daniele, Garibaldi, Jonathan M., Ambrogi, Federico, Biganzoli, Elia M. and Ellis, Ian O. (2011) A "non-parametric" version of the naive Bayes classifier. Knowledge-Based Systems, 24 (6). pp. 775-784. ISSN 0950-7051

Soria, Daniele, Garibaldi, Jonathan M., Ambrogi, Federico, Boracchi, Patrizia, Raimondi, E. and Biganzoli, Elia M. (2009) Cancer profiles by Affinity Propagation. International Journal of Knowledge Engineering and Soft Data Paradigms, 1 (3). pp. 195-215. ISSN 1755-3210

Soria, Daniele, Garibaldi, Jonathan M., Ambrogi, Federico, Green, Andrew R., Powe, Des, Rakha, Emad, Douglas Macmillan, R., Blamey, Roger W., Ball, Graham, Lisboa, Paulo J.G., Etchells, Terence A., Boracchi, Patrizia, Biganzoli, Elia M. and Ellis, Ian O. (2010) A methodology to identify consensus classes from clustering algorithms applied to immunohistochemical data from breast cancer patients. Computers in biology and medicine, 40 (3). pp. 318-330. ISSN 0010-4825

Soria, Daniele, Garibaldi, Jonathan M., Ambrogi, Federico, Lisboa, Paulo J.G., Boracchi, Patrizia and Biganzoli, Elia M. (2008) Clustering breast cancer data by consensus of different validity indices. In: International Conference on Advances in Medical, Signal and Information Processing (4th), 14-16 July 2008, Santa Margherita Ligure, Italy.

Soria, Daniele, Garibaldi, Jonathan M., Biganzoli, Elia M. and Ellis, Ian O. (2008) A comparison of three different methods for classification of breast cancer data. In: Machine Learning and Applications 2008 (ICMLA'08) Seventh International Conference on Seventh International Conference on Machine Learning and Applications, 11-13 Dec 2008, San Diego, California, USA.

Soria, Daniele, Garibaldi, Jonathan M., Green, Andrew R., Powe, Desmond G., Nolan, Christopher C., Lemetre, Christophe, Ball, Graham R. and Ellis, Ian O. (2013) A quantifier-based fuzzy classification system for breast cancer patients. Artificial Intelligence in Medicine, 58 (3). pp. 175-184. ISSN 0933-3657

Soria-Alcaraz, Jorge A., Özcan, Ender, Swan, Jerry, Kendall, Graham and Carpio, Martin (2016) Iterated local search using an add and delete hyper- heuristic for university course timetabling. Applied Soft Computing, 40 . pp. 581-593. ISSN 1872-9681

Spence, Jocelyn and Benford, Steve (2018) Sensibility, narcissism and affect: using immersive practices in design for embodied experience. Multimodal Technologies and Interaction, 2 (2). 15/1-15/22. ISSN 2414-4088

Spence, Jocelyn, Hazzard, Adrian, McGrath, Sean, Greenhalgh, Chris and Benford, Steve (2017) The Rough Mile: testing a Framework of Immersive Practice. In: DIS 2017, Conference on Designing Interactive Systems, 10-14 June, 2017, Edinburgh, United Kingdom.

Stafylakis, Themos and Tzimiropoulos, Georgios (2018) Deep word embeddings for visual speech recognition. In: IEEE International Conference on Acoustics, Speech, and Signal Processing, 15-20 April 2018, Calgary, Alberta, Canada.

Stafylakis, Themos and Tzimiropoulos, Georgios (2017) Combining residual networks with LSTMs for lipreading. In: Interspeech 2017, 20-24 August 2017, Stockholm, Sweden.

Stafylakis, Themos, Tzimiropoulos, Georgios, Katsouros, Vassilis and Carayannis, George (2010) A new penalty term for the BIC with respect to speaker diarization. In: ICASSP 2010 - 2010 IEEE International Conference on Acoustics Speech and Signal Processing, 14-19 March 2010, Dallas, USA.

Staggemeier, Andrea, Clark, Alistair, 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.

Stallo, C., Neri, A., Salvatori, P., Coluccia, A., Capua, R., Olivieri, G., Gattuso, L., Bonenberg, Lukasz, Moore, Terry and Rispoli, F. (2018) GNSS-based Location Determination System Architecture for railway performance assessment in presence of local effects. In: IEEE/ION PLANS 2018, 23-26 Apr 2018, Monterey, USA.

Stergianos, Christofas, Atkin, Jason, Schittekat, Patrick, Nordlander, Tomas Eric, Gerada, C. and Morvan, Herve (2016) The importance of considering pushback time and arrivals when routing departures on the ground at airports. In: 8th International Conference on Applied Operational Research (ICAOR 2016), 28-30 June 2016, Rotterdam, The Netherlands.

Stergianos, Christofas, Atkin, Jason, Schittekat, Patrick, Nordlander, Tomas Eric, Gerada, C. and Morvan, Herve (2015) The effects of pushback delays on airport ground movement. Journal of Applied Operational Research, 7 (2). pp. 68-79. ISSN 1735-8523

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.

Stuart, Reeves, Murray, Goulden and Robert, Dingwall (2016) The future as a design problem. Design Issues, 32 (3). pp. 6-17. ISSN 1531-4790

Styliari, Tatiana C. and Nati, Michele (2016) Researching the transparency of personal data sharing: designing a concert receipt. Digital Catapult, London.