Browse Publications

An implemented context system that combines belief reasoning, metaphor-based reasoning and uncertainty handling

John Barnden & Mark Lee, 1 Jan 1999, Modeling and Using Context - 2nd International and Interdisciplinary Conference, CONTEXT 1999, Proceedings. Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1688).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Human factors of multi-modal ubiquitous computing

David Haniff, Chris Baber & William Edmondson, 1 Jan 1999, Handheld and Ubiquitous Computing - 1st International Symposium, HUC 1999, Proceedings. Gellersen, H-W. (ed.). Springer Verlag, p. 346-348 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1707).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Automatic detection of meddies through texture analysis of sea surface temperature maps

Marco Castellani, 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3808 LNCS. p. 359-370 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3808 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Conceptual foundations of the metaphors of interaction

William Edmondson & Mark Lee, 2007, MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007. dos Reis, A. P., Blashki, K. & Xiao, Y. (eds.). IADIS Press, p. 51-58 8 p. (MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Passive bilateral control of a teleoperation system considering hysteresis nonlinearity of slave robot

Mozafar Saadat, 2008, Haptics: Perception, Devices and Scenarios - 6th International Conference, EuroHaptics 2008, Proceedings. Springer Verlag, p. 83-93 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5024 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Robust impedance control of a delayed telemanipulator considering hysteresis nonlinearity of the piezo-actuated slave robot

Mozafar Saadat, 2008, Haptics: Perception, Devices and Scenarios - 6th International Conference, EuroHaptics 2008, Proceedings. Springer Verlag, p. 63-72 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5024 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Lecture Notes in Computer Science: Preface

Russell Beale, 22 Sep 2008, Affect and Emotion in Human-Computer Interaction - From Theory to Applications. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4868 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Assessing the impact of positive feedback in constraint-based tutors

Devon Barrow, 1 Dec 2008, Intelligent Tutoring Systems - 9th International Conference, ITS 2008, Proceedings. p. 250-259 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5091 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Increasing the reliability of high redundancy actuators by using elements in series and parallel

Roger Dixon, 4 Nov 2009, Computer Safety, Reliability, and Security - 28th International Conference, SAFECOMP 2009, Proceedings. p. 270-282 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5775 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Gaze allocation analysis for a visually guided manipulation task

Jeremy Wyatt, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7426 LNAI. p. 44-53 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7426 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Learning using privileged information in prototype based models

Shereen Fouad, Peter Tino, Somak Raychaudhury & Petra Schneider, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 7553 LNCS. p. 322-329 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7553 LNCS, no. PART 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Prototype based modelling for ordinal classification

Shereen Fouad & Peter Tino, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7435 LNCS. p. 208-215 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7435 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Understanding the semantic structure of human fMRI brain recordings with formal concept analysis

Uta Noppeney, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7278 LNAI. p. 96-111 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7278 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The geometry of synthesis how to make hardware out of software

Dan Ghica, 1 Jan 2012, Mathematics of Program Construction - 11th International Conference, MPC 2012, Proceedings. Gibbons, J. & Nogueira, P. (eds.). Springer Verlag, p. 23-24 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7342 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Virtual Scylla: Interactive 3D and Artificial Life for Marine Virtual Heritage

Bob Stone & Robert Guest, Jun 2012, Beyond Boundaries, IKUWA 3: 3rd International Congress on Underwater Archaeology. Henderson, J. (ed.). Germany: Rudolf Habelt, p. 485-491

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Preferred features of open learner models for university students

Susan Bull, 22 Jun 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cerri, SA. (ed.). Springer, Vol. 7315 LNCS. p. 411-421 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7315 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Community detection in social and biological networks using differential evolution

Mirco Musolesi, Daniel Tennant, Ralf Weber, John Heath & Shan He, 30 Oct 2012, Learning and Intelligent Optimization - 6th International Conference, LION 6, Revised Selected Papers. p. 71-85 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7219 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ontological extension of PROSA for manufacturing network formation

Mozafar Saadat, 2013, Industrial Applications of Holonic and Multi-Agent Systems - 6th International Conference, HoloMAS 2013, Proceedings. p. 140-151 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8062 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Should cool be a design goal?

Benjamin Cowan & Russell Beale, 1 Jan 2013, HCI 2013 - 27th International British Computer Society Human Computer Interaction Conference: The Internet of Things. British Computer Society

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A tool for estimating information leakage

Tom Chothia, Yusuke Kawamoto, 12 Aug 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 690-695 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Seamless distributed computing from the geometry of interaction

Dan Ghica, 30 Oct 2013, Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers. p. 34-48 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8191 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Simulations of PCB assembly optimisation based on the bees algorithm with TRIZ-inspired operators

Duc Pham, Nov 2013, Advances in Visual Informatics: Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings. Zaman, H. B., Robinson, P., Olivier, P., Shih, T. K. & Velastin, S. (eds.). Springer, Vol. 8237. p. 335-346 12 p. (Lecture Notes in Computer Science; vol. 8237).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3D articulated registration of the mouse hind limb for bone morphometric analysis in rheumatoid arthritis

Amy Naylor, Andrew Filer & Ela Claridge, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, Vol. 8545. p. 41-50 (Lecture Notes in Computer Science ; vol. 8545).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A graph theoretic approach for object shape representation in compositional hierarchies using a hybrid generative-descriptive model

Mete Ozay, Ales Leonardis & Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 ed. Springer, Vol. 8691 LNCS. p. 566-581 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8691 , no. 3).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract datatypes for real numbers in type theory

Martin Escardo, 2014, Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer, Vol. 8560 LNCS. p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Acknowledging discourse function for sentiment analysis

Phillip Smith & Mark Lee, 2014, Computational Linguistics and Intelligent Text Processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II. Gelbukh, A. (ed.). Springer, Vol. 8404 LNCS. p. 45-52 8 p. (Lecture Notes in Computer Science ; vol. 8404).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

An immune-inspired algorithm for the set cover problem

Jon Rowe & Christine Zarges, 2014, Parallel Problem Solving from Nature: PPSN XIII - 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipič, B. & Smith, J. (eds.). Springer, Vol. 8672. p. 243-251 9 p. (Lecture Notes in Computer Science; vol. 8672).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bayes optimality of human perception, action and learning: behavioural and neural evidence

Ulrik Beierholm, 2014, Brain-Inspired Computing: Lecture Notes in Computer Science. Springer, Vol. 8603. p. 117-129 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8603).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bounded linear types in a resource semiring

Dan Ghica, 2014, Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Springer, Vol. 8410. p. 331-350 20 p. (Lecture Notes in Computer Science ; vol. 8410).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Combining systems for mathematical creativity (invited talk)

Volker Sorge, 2014, Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Aranda-Corral, G. A., Cal;met, J. & Martin-Mateos, F. J. (eds.). Springer, Vol. 8884. p. 7-8 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8884).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Concentrated hitting times of randomized search heuristics with variable drift

Per Kristian Lehre, 2014, Algorithms and Computation - 25th International Symposium, ISAAC 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer Verlag, p. 686-697 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8889).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Extended episodic experience in social mediating technology: Our Legacy

Alan Dix, 2014, Social Computing and Social Media: 6th International Conference, SCSM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings. Meiselwitz, G. (ed.). Springer, Vol. 8531 LNCS. p. 452-461 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8531 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Improving efficiency of heuristics for the large scale traveling thief problem

Xin Yao, 2014, Simulated Evolution and Learning : 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings. Springer, Vol. 8886. p. 631-643 13 p. (Lecture Notes in Computer Science; vol. 8886).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

LeakWatch: Estimating information leakage from java programs

Tom Chothia, 2014, Computer Security - ESORICS 2014 : 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II. Kutyłowski, M. & Vaidya, J. (eds.). PART 2 ed. Springer, Vol. 8713 LNCS. p. 219-236 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8713 LNCS, no. PART 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Less is more: Temporal fault predictive performance over multiple hadoop releases

Leandro Minku, 2014, Proceedings of the 6th Symposium on Search-Based Software Engineering (SSBSE), Lecture Notes in Computer Science. Fortaleza, Brazil: Springer Verlag, Vol. 8636. p. 240-246 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8636 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Level-based analysis of genetic algorithms and other search processes

Per Kristian Lehre, 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Springer, p. 912-921 10 p. (Lecture Notes in Computer Science; vol. 8672).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Local optima and weight distribution in the number partitioning problem

Jon Rowe, 2014, Parallel Problem Solving from Nature – PPSN XIII : 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipic, B. & Smith, J. (eds.). Springer, Vol. 8672. p. 862-871 10 p. (Lecture Notes in Computer Science ; vol. 8672).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Multivariate cauchy EDA optimisation

Ata Kaban, 2014, Intelligent Data Engineering and Automated Learning : IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014. Proceedings. Corchado, E., Lozano, J. A., Quintián, H. & Yin, H. (eds.). Springer, Vol. 8669 LNCS. p. 449-456 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8669 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

On the runtime analysis of fitness sharing mechanisms

Christine Zarges, 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipič, B. & Smith, JI. (eds.). Springer, Vol. 8672. p. 932-941 10 p. (Lecture Notes in Computer Science; vol. 8672).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Phase transition and landscape properties of the number partitioning problem

Jon Rowe, 2014, Evolutionary Computation in Combinatorial Optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers. Blum, C. & Ochoa, G. (eds.). Springer, Vol. 8600. p. 206-217 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8600).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Probabilistic model checking of labelled markov processes via finite approximate bisimulations

David Parker, 2014, Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Vol. 8464 LNCS. p. 40-58 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Requirements-driven social adaptation: Expert survey

Rami Bahsoon, 2014, Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Salinesi, C. & Van de Weerd, I. (eds.). Springer, Vol. 8396 LNCS. p. 72-87 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Role of occlusion in non-coulombic slip of the finger pad

Brygida Dzidek, Mike Adams, Zhibing Zhang, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8618. p. 109-116 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8618).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Systematic elaboration of compliance requirements using compliance debt and portfolio theory

Rami Bahsoon, 2014, Requirements Engineering: Foundation for Software Quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Salinesi, C. & van de Weerd, I. (eds.). Springer, Vol. 8396 LNCS. p. 152-167 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The performance effects of interaction frequency in parallel cooperative coevolution

Xin Yao, 2014, Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings. Dick, G., Browne, W. N., Whigham, P., Zhang, M., Bui, L. T., Ishibuchi, H., Jin, Y., Li, X., Shi, Y., Songh, P., Tan, K. C. & Tang, K. (eds.). Springer, Vol. 8886. p. 82-93 12 p. (Lecture Notes in Computer Science; vol. 8886).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Towards an architecture for knowledge representation and reasoning in robotics

Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8755. p. 400-410 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8755).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Understanding randomised search heuristics lessons from the evolution of theory: A case study

Christine Zarges, 2014, Proceedings of the 20th International Conference on Soft Computing (MENDEL 2014) . Radek, M. (ed.). Brno University of Technology, p. 293-298 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Verification of markov decision processes using learning algorithms

David Parker, 2014, Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Springer, Vol. 8837. p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Visualising uncertainty for open learner model users

Susan Bull & Matthew Johnson, 2014, CEUR Proceedings (UMAP Posters): CEUR . CEUR, Vol. 1181. p. 9-12 4 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Diversity-driven selection of multiple crossover operators for the capacitated arc routing problem

Xin Yao, 23 Apr 2014, Evolutionary Computation in Combinatorial Optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers. Blum, C. & Ochoa, G. (eds.). Springer, Vol. 8600. p. 97-108 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8600).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Economics-Driven Software Architecting for Cloud

Rami Bahsoon, 18 Jun 2014, Economics-Driven Software Architecture. Elsevier, p. 83-103 21 p. Chapter 5

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Economics-Driven Software Architecture: Introduction

Rami Bahsoon, 18 Jun 2014, Economics-Driven Software Architecture. Elsevier, p. 1-8 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Sweet dreams and nightmares: Security in the internet of things

David Oswald, 30 Jun 2014, Information Security Theory and Practice. Securing the Internet of Things: 8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraklion, Crete, Greece, June 30 – July 2, 2014. Proceedings. Naccache, D. & Sauveron, D. (eds.). Springer, Vol. 8501 LNCS. p. 1-9 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8501 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Building for the Future: Architectures for the Next Generation of Intelligent Robots

Nick Hawes, 11 Jul 2014, From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition - A Collection in Honour of Aaron Sloman. Wyatt, J. L., Petters, D. D. & Hogg, D. C. (eds.). Springer, p. 107-118 12 p. (Cognitive Systems Monographs; vol. 22).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Relating System Quality and Software Architecture, Preface: Foundations and Approaches

Rami Bahsoon, 25 Jul 2014, Relating System Quality and Software Architecture. Elsevier, p. 1-20 20 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

The rocky road from Hume to Kant: correlations and theories in robots and animals

Jeremy Wyatt, 30 Jul 2014, From animals to robots and back : reflections on hard problems in the study of cognition: a collection in honour of Aaron Sloman. Wyatt, J. L., Petters, D. D. & Hogg, D. C. (eds.). Springer, Vol. 22. p. 133-149 17 p. (Cognitive Systems Monographs; vol. 22).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

When reverse-engineering meets side-channel analysis - Digital lockpicking in practice

David Oswald, 14 Aug 2014, Selected Areas in Cryptography - SAC 2013: 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers. Lange, T., Lauter, K. & Lisoněk, P. (eds.). Springer, Vol. 8282 LNCS. p. 571-588 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8282 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Unbiased black-box complexity of parallel search

Per Kristian Lehre, 24 Sep 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference Ljubljana, Slovenia, September 13-17, 2014 Proceedings. Bartz-Beielstein, T., Branke, J., Filipic, B. & Smith, J. (eds.). 1 ed. Springer, p. 892-901 10 p. (Lecture Notes in Computer Science ; vol. 8672).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Using obstacles for systematically modeling, analysing, and mitigating risks in cloud adoption

Rami Bahsoon, 31 Oct 2014, Cloud Technology: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 3. p. 1351-1372 22 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

The bees algorithm and its applications

Duc Pham, 30 Nov 2014, Handbook of Research on Artificial Intelligence Techniques and Algorithms. IGI Global, p. 122-151 30 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

A Tight Algorithm for Strongly Connected Steiner Subgraph on Two Terminals with Demands (Extended Abstract)

Rajesh Chitnis, 3 Dec 2014, Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers. Cygan, M. & Heggernes, P. (eds.). Springer Verlag, p. 159-171 (Lecture Notes in Computer Science ; vol. 8894).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A logical approach for behavioural composition of scenario-based models

Behzad Bordbar, 2015, Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Editor, M., Conchon, S. & Zaidi, F. (eds.). Springer, Vol. 9407. p. 252-269 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9407).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Automated detection of galaxy groups through probabilistic hough transform

Peter Tino, Trevor Ponman, 2015, Neural Information Processing : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III. Arik, S., Huang, T., Lai, W. K. & Lui, Q. (eds.). Springer, Vol. 9491. p. 323-331 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9491).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Automatically calculating quantitative integrity measures for imperative programs

Tom Chothia, Chris Novakovic, 2015, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Garcia-Alfaro, J., Herrera-Joancomartí, J. & Lupu, E. (eds.). Springer, Vol. 8872. p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8872).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Categorisation of 3D objects in range images using compositional hierarchies of parts based on MDL and entropy selection criteria

Krzysztof Walas & Ales Leonardis, 2015, Image Analysis: 19th Scandinavian Conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015. Proceedings. Paulsen, R. R. & Pedersen, K. S. (eds.). Springer, Vol. 9127. p. 289-301 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9127).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Design and usability evaluation of adaptive e-learning systems based on learner knowledge and learning style

Robert Hendley, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, Vol. 9297. p. 584-591 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9297).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Improving the performance of the Germinal center artificial immune system using ɛ-dominance: a multi-objective knapsack problem case study

Christine Zarges & Jon Rowe, 2015, Evolutionary Computation in Combinatorial Optimization: 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Ochoa, G. & Chicano, F. (eds.). Springer, Vol. 9026. p. 114-125 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9026).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Large scale indefinite kernel fisher discriminant

Frank-Michael Schleif & Peter Tino, 2015, Similarity-Based Pattern Recognition : Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015. Proceedings. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer, Vol. 9370. p. 160-170 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9370).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Moving through MOOCS: Pedagogy, learning design and Patterns of Engagement

Russell Beale, Alison Cooper, 2015, Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Conole, G., Klobučar, T., Rensing, C., Konert, J. & Lavoué, É. (eds.). Springer, Vol. 9307. p. 70-84 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9307).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The visual object tracking VOT2014 challenge results

Ales Leonardis & 37 others, , 2015, Computer Vision - ECCV 2014 Workshops : Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II. Agapito, L., Bronstein, M. M. & Rother, C. (eds.). Springer, Vol. 8926. p. 191-217 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8926).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Artificial neural network models

Peter Tino, 1 Jan 2015, Springer Handbook of Computational Intelligence. Kacprzyk, J. & Pedrycz, W. (eds.). Springer, p. 455-471 17 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Genetic algorithms

Jon Rowe, 1 Jan 2015, Springer Handbook of Computational Intelligence. Kacprzyk, J. & Pedrycz, W. (eds.). Berlin, Heidelberg: Springer, p. 825-844 20 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Effects of cardiac structural remodelling during heart failure on cardiac excitation - Insights from a heterogeneous 3D model of the rabbit atria

Robert Stephenson, 16 Feb 2015, Computing in Cardiology Conference 2015, CinC 2015. Murray, A. (ed.). IEEE Computer Society, p. 969-972 4 p. 7411074. (Computing in Cardiology; vol. 42).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A new semantic model for domain-ontology learning

John Barnden, 4 Mar 2015, Human Centred Computing: First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Zu, Q., Hu, B., Gu, N. & Seng, S. (eds.). Springer, Vol. 8944. p. 140-155 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8944).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Machine decision makers as a laboratory for interactive EMO

Joshua Knowles, 18 Mar 2015, Evolutionary multi-criterion optimization: 8th international conference, EMO 2015 Guimarães, Portugal, March 29 - April 1, 2015 proceedings, Part II. Springer, Vol. 9019. p. 295-309 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Relay Cost Bounding for Contactless EMV Payments

Tom Chothia, Flavio Garcia, Joeri De Ruiter, 16 Jul 2015, Financial Cryptography and Data Security: 19th International Conference, FC 2015, San Juan, Puerto Rico, January 26-30, 2015, Revised Selected Papers. Böhme, R. & Okamoto, T. (eds.). Springer, Vol. 8975 LNCS. p. 189-206 (Lecture Notes in Computer Science; vol. 8975).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

User study on 3D multitouch interaction (3DMi) and gaze on surface computing

Neil Cooke, 21 Jul 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 9187. p. 425-433 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9187).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2015 neuchȃtel’s cast-as-intended verification mechanism

David Galindo Chacon, 13 Aug 2015, E-Voting and Identity: 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. Haenni, R., Koenig, R. E. & Wikström, D. (eds.). Springer, Vol. 9269. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9269).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A masked ring-LWE implementation

Sujoy Sinha Roy, 1 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop Saint-Malo, France, September 13–16, 2015 Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 683-702 (Lecture Notes in Computer Science ; vol. 9293).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Efficient ring-LWE encryption on 8-bit AVR processors

Sujoy Sinha Roy, 1 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 663-682 (Lecture Notes in Computer Science ; vol. 9293).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Lightweight coprocessor for koblitz curves: 283-bit ecc including scalar conversion with only 4300 gates

Sujoy Sinha Roy, 13 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 102-122 (Lecture Notes in Computer Science ; vol. 9293).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Limits to learning in reinforcement learning hyper-heuristics

Per Kristian Lehre, 2016, Evolutionary Computation in Combinatorial Optimization - 16th European Conference, EvoCOP 2016, Proceedings. Springer Verlag, Vol. 9595. p. 170-185 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9595).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Additively homomorphic ring-LWE masking

Sujoy Sinha Roy, 4 Feb 2016, Post-Quantum Cryptography : 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings. Takagi, T. (ed.). Springer Verlag, p. 233-244 12 p. (Lecture Notes in Computer Science; vol. 9606).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Some wellfounded trees in UniMath

Benedikt Ahrens, 6 Jul 2016, Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, Vol. 9725. p. 9-17 (Lecture Notes in Computer Science ; vol. 9725).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Emergence of diversity and its benefits for crossover in genetic algorithms

Per Kristian Lehre, 31 Aug 2016, Parallel Problem Solving from Nature - 14th International Conference, PPSN 2016, Proceedings. Springer Verlag, Vol. 9921 LNCS. p. 890-900 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9921 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Self-adaptation of mutation rates in non-elitist populations

Per Kristian Lehre, 31 Aug 2016, PPSN 2016: Parallel Problem Solving from Nature – PPSN XIV . Handl, J., Hart, E., Lewis, P. R., López-Ibáñez, M., Ochoa, G. & Paechter, B. (eds.). Springer Verlag, p. 803-813 11 p. (Lecture Notes in Computer Science (LNCS); vol. 9921 )(Theoretical Computer Science and General Issues (LNTCS); vol. 9921).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Finding small sets of random fourier features for shift-invariant kernel approximation

Frank-Michael Schleif, Ata Kaban & Peter Tino, 9 Sep 2016, Artificial Neural Networks in Pattern Recognition - 7th IAPR TC3 Workshop, ANNPR 2016, Proceedings. Springer Verlag, Vol. 9896 LNAI. p. 42-54 13 p. (Lecture Notes in Computer Science; vol. 9896 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tight bounds for Gomory-Hu-like cut counting

Rajesh Chitnis, 28 Sep 2016, Graph-Theoretic Concepts in Computer Science : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers. Heggernes, P. (ed.). Springer Verlag, p. 133-144 (Lecture Notes in Computer Science ; vol. 9941).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The Planteome project

Georgios Gkoutos, 30 Nov 2016, ICBO-BioCreative 2016 Food, Nutrition, Health and Environment for the 9 Billion: Proceedings of the Joint International Conference on Biological Ontology and BioCreative. Jaiswal, P., Hoehndorf, R., Arighi, C. & Meier, A. (eds.). CEUR, Vol. 1747. (CEUR Workshop Proceedings; vol. 1747).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

To MIREOT or not to MIREOT? A case study of the impact of using MIREOT in the Experimental Factor Ontology (EFO)

Luke Slater, Georgios Gkoutos, 30 Nov 2016, ICBO-BioCreative 2016 Food, Nutrition, Health and Environment for the 9 Billion: Proceedings of the Joint International Conference on Biological Ontology and BioCreative. Jaiswal, P., Hoehndorf, R., Arighi, C. & Meier, A. (eds.). Vol. 1747.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

How to determine if a random graph with a fixed degree sequence has a giant component

Felix Joos, Guillem Perarnau, 14 Dec 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE Computer Society, Vol. 2016-December. p. 695-703 9 p. 7782984. (Symposium on Foundations of Computer Science. Annual Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Integrating phenotype ontologies with PhenomeNET

Georgios Gkoutos, 22 Dec 2016, OM 2016 - Ontology Matching: Proceedings of the 11th International Workshop on Ontology Matching. CEUR, Vol. 1766. p. 201-209 9 p. (CEUR Workshop Proceedings; vol. 1766).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A market-based approach for detecting malware in the cloud via introspection

Tom Chothia & Rami Bahsoon, 2017, Service-Oriented Computing - 15th International Conference, ICSOC 2017, Proceedings. Maximilien, M., Vallecillo, A., Wang, J. & Oriol, M. (eds.). Springer Verlag, p. 722-730 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10601 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A practical energy modeling method for industrial robots in manufacturing

Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016 Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 25-36 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

External force detection for physical human-robot interaction using dynamic model identification

Duc Pham, 1 Jan 2017, Intelligent Robotics and Applications : 10th International Conference, ICIRA 2017, 17 Wuhan, China, August 16–18, 2017, Proceedings, Part 1. Huang, Y., Wu, H., Liu, H. & Yin, Z. (eds.). Springer Verlag, p. 581-592 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10462 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Manufacturing service reconfiguration optimization using hybrid bees algorithm in cloud manufacturing

Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016, Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 87-98 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Modeling of digital twin workshop based on perception data

Duc Pham, 1 Jan 2017, Intelligent Robotics and Applications : 10th International Conference, ICIRA 2017, Wuhan, China, August 16–18, 2017, Proceedings, Part III. Huang, Y., Wu, H., Liu, H. & Yin, Z. (eds.). Springer Verlag, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10464 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Analysis of the Inertia and Dynamics of Grasped Objects, for Choosing Optimal Grasps to Enable Torque-Efficient Post-Grasp Manipulations

Amir Ghalamzan Esfahani, Rustam Stolkin, Luca Baronti, Marek Kopicki & Marco Castellani, 2 Jan 2017, 2016 IEEE-RAS International Conference on Humanoid Robots. IEEE Xplore

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Efficient finite field multiplication for isogeny based post quantum cryptography

Sujoy Sinha Roy, 9 Mar 2017, Arithmetic of Finite Fields: 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers. Duquesne, S. & Petkova-Nikova, S. (eds.). Springer Verlag, p. 193-207 15 p. (Lecture Notes in Computer Science; vol. 10064 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Partiality, revisited: The partiality monad as a quotient inductive-inductive type

Nicolai Kraus, 16 Mar 2017, Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 534-549 16 p. (Lecture Notes in Computer Science; vol. 10203).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Evaluating the effect of uncertainty visualisation in open learner models on students’ metacognitive skills

23 Jun 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. Springer Verlag, Vol. 10331 LNAI. p. 15-27 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10331 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Student preferences for visualising uncertainty in open learner models

23 Jun 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. Springer Verlag, Vol. 10331 LNAI. p. 445-449 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10331 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A cut-free cyclic proof system for kleene algebra

Anupam Das, 30 Aug 2017, Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28 2017, Proceedings. Nalon, C. & Schmidt, R. A. (eds.). Springer, p. 261-277 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10501 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Adjusting parallel coordinates for investigating multi-objective search

Miqing Li, Ran Cheng & Xin Yao, 14 Oct 2017, Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Proceedings. Li, X., Zhang, M., Zhang, Q., Middendorf, M., Tan, K. C., Tan, Y., Jin, Y., Shi, Y. & Tang, K. (eds.). Springer, p. 224-235 12 p. (Lecture Notes in Computer Science; vol. 10593 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A characterization of testable hypergraph properties

Felix Joos, Jaehoon Kim, Daniela Kuhn & Deryk Osthus, 13 Nov 2017, Proceedings - 58th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2017. IEEE Computer Society Press, Vol. 2017-October. p. 859-867 9 p. 8104116

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A better understanding of machine learning malware misclassifcation

Tom Chothia & Behzad Bordbar, 1 Jan 2018, Information Systems Security and Privacy - 3rd International Conference, ICISSP 2017, Revised Selected Papers. Mori, P., Furnell, S. & Camp, O. (eds.). Springer Verlag, p. 35-58 24 p. (Communications in Computer and Information Science; vol. 867).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Beam steering mimo antenna for mobile phone of 5g cellular communications operating at mm-wave frequencies: Design

Peter Gardner, Alexandros Feresidis, 31 Jan 2018, Recent Advances in Information, Communications and Signal Processing. River Publishers, p. 35-64 30 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Algorithms and hardness results for nearest neighbor problems in bicolored point sets

Rajesh Chitnis, 13 Mar 2018, LATIN 2018 -Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 80-93 (Lecture Notes in Computer Science ; vol. 10807).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Quotient inductive-inductive types

Nicolai Kraus, 14 Apr 2018, Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Baier, C. & Dal Lago, U. (eds.). Springer Verlag, p. 293-310 (Lecture Notes in Computer Science ; vol. 10803 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A tight lower bound for steiner orientation

Rajesh Chitnis, 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 65-77 13 p. (Lecture Notes in Computer Science ; vol. 10846 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Can we create large k-cores by adding few edges?

Rajesh Chitnis, 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 78-89 11 p. (Lecture Notes in Computer Science ; vol. 10846).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Focussing, MALL and the Polynomial Hierarchy

Anupam Das, 30 Jun 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Sebastiani, R., Galmiche, D. & Schulz, S. (eds.). Springer, p. 689-705 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Thinking with hands, acting with minds: embodied cognition and creative practice

Chris Baber, 8 Aug 2018, Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018) - Volume VII: Ergonomics in Design, Design for All, Activity Theories for Work Analysis and Design, Affective Design. Bagnara, S., Tartaglia, R., Albolino, S., Alexander, T. & Fujita, Y. (eds.). 1st ed. 2019 edition ed. Springer Verlag, Vol. 8. p. 225-234 10 p. (Advances in Intelligent Systems and Computing; vol. 824).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Deep Nested level sets: fully automated segmentation of cardiac MR images in patients with pulmonary hypertension

Jinming Duan, 13 Sep 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV. Frangi, A. F., Fichtinger, G., Schnabel, J. A., Alberola-López, C. & Davatzikos, C. (eds.). Springer Verlag, p. 595-603 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11073 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cardiac MR segmentation from undersampled k-space using deep latent representation learning

Jinming Duan, 26 Sep 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I. Schnabel, J. A., Davatzikos, C., Alberola-López, C., Fichtinger, G. & Frangi, A. F. (eds.). Springer Verlag, p. 259-267 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11070 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

What lies beneath: virtual and augmented reality techniques for maritime heritage

Bob Stone, 1 Oct 2018, Underwater worlds: submerged visions in science and culture. Abberley, W. (ed.). Cambridge Scholars Publishing, p. 208-238 30 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Combining deep learning and shape priors for bi-ventricular segmentation of volumetric cardiac magnetic resonance images

Jinming Duan, 23 Nov 2018, Shape in Medical Imaging : nternational Workshop, ShapeMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings. Lombaert, H., Paniagua, B., Egger, B., Lüthi, M., Reuter, M. & Wachinger, C. (eds.). Springer Verlag, p. 258-267 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11167 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The 2019 comparison of tools for the analysis of quantitative formal models (QComp 2019 competition report)

David Parker, 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, Vol. 3. p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Factoring Products of Braids via Garside Normal Form

Christophe Petit, 6 Apr 2019, Public-Key Cryptography – PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings: 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II. Sako, K. & Lin, D. (eds.). Springer, p. 646-678 33 p. (Lecture Notes in Computer Science; vol. 11443 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course

Tom Chothia, Chris Novakovic, Andreea Radu & Richard J Thomas, 27 Apr 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 141-172 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11345 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Development of a questionnaire to measure immersion in video media: the film IEQ

Sandy Gould, 4 Jun 2019, TVX '19 Proceedings of the 2019 ACM International Conference on Interactive Experiences for TV and Online Video. Association for Computing Machinery (ACM), p. 35-46

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Data efficient unsupervised domain adaptation for cross-modality image segmentation

Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 669-677 9 p. (Lecture Notes in Computer Science ; vol. 11765).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Self-supervised learning for cardiac MR image segmentation by anatomical position prediction

Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 541-549 9 p. (Lecture Notes in Computer Science ; vol. ecture Notes in Computer Science ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

VS-Net: variable splitting network for accelerated parallel MRI reconstruction

Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part IV. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 713-722 10 p. (Lecture Notes in Computer Science; vol. 11767).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

k-t NEXT: dynamic MR image reconstruction exploiting spatio-temporal correlations

Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 505-513 9 p. (Lecture Notes in Computer Science; vol. 11765).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Verification and control of turn-based probabilistic real-time games

David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Combining character and word embeddings for affect in arabic informal social media microblogs

Mark Lee, 2020, Natural Language Processing and Information Systems - 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Proceedings. Métais, E., Meziane, F., Horacek, H. & Cimiano, P. (eds.). Springer Vieweg, p. 213-224 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12089 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Which places grow faster? An empirical analysis of employment growth factors at the local level for the Spanish economy

Diana Gutierrez Posada, 12 May 2020, Innovations in Urban and Regional Systems: Contributions from GIS&T, Spatial Analysis and Location Modeling. Thill, J-C. (ed.). Springer, Cham, p. 87-111 25 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Improving sampling in evolution strategies through mixture-based distributions built from past problem instances

Stephen Friess, Peter Tino & Xin Yao, 31 Aug 2020, Parallel Problem Solving from Nature – PPSN XVI. Springer, p. 583-596 14 p. (Lecture Notes in Computer Science; vol. 12269).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution