Browse Publications

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