• Postal address

    United Kingdom

Filter
Chapter

Search results

  • 2020

    AI Governance by Human Rights Centred-Design, Deliberation and Oversight: An End to Ethics Washing

    Yeung, K., Howes, A. & Pogrebna, G., Jul 2020, The Oxford Handbook of Ethics of AI. Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • DenoiSeg: Joint Denoising and Segmentation

    Buchholz, T-O., Prakash, M., Schmidt, D., Krull, A. & Jug, F., 2020, DenoiSeg: Joint Denoising and Segmentation.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)
  • Improving Blind Spot Denoising for Microscopy

    Goncharova, A. S., Honigmann, A., Jug, F. & Krull, A., 2020, Improving Blind Spot Denoising for Microscopy.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • 2019

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

    Chothia, T., Novakovic, C., Radu, A. I. & Thomas, R. J., 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 proceedingChapter

    Open Access
    File
    3 Citations (Scopus)
    335 Downloads (Pure)
  • SplitSlider: A Tangible Interface to Input Uncertainty

    Greis, M., Kim, H., Korge, A., Schmidt, A. & Coutrix, C., 2019, Human-Computer Interaction – INTERACT 2019.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2018

    Adaptation and customization in virtual rehabilitation

    Orihuela-Espina, F. & Sucar, L. E., 2018, Virtual and Augmented Reality: Concepts, Methodologies, Tools, and Applications. IGI Global, p. 141 163 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Game Engine Solutions

    Zarrad, A., 14 Feb 2018, game engine solutions . InTech

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2017

    Activity modelling for low-intention interaction

    Dix, A., 26 Apr 2017, The Handbook of Formal Methods in Human-Computer Interaction. Weyers, B., Bowen, J., Dix, A. & Palanque, P. (eds.). 1 ed. Springer, p. 183-210 (Human–Computer Interaction Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Analysis of the movement variability in dance activities using wearable sensors

    Xochicale, M., Baber, C. & Oussalah, M., 1 Jan 2017, Biosystems and Biorobotics. Springer, p. 149-154 6 p. (Biosystems and Biorobotics; vol. 16).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)
  • Case Studies

    Weyers, B., Harrison, M., Bowen, J., Dix, A. & Palanque, P., 26 Apr 2017, The Handbook of Formal Methods in Human-Computer Interaction. Weyers, B., Bowen, J., Dix, A. & Palanque, P. (eds.). Springer, p. 89-121 (Human–Computer Interaction Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Jail, Hero or Drug Lord? Turning a Cyber Security Course Into an 11 Week Choose Your Own Adventure Story

    Chothia, T., Holdcroft, S., Radu, A. & Thomas, R., 15 Aug 2017, 2017 USENIX Workshop on Advances in Security Education (ASE 17). Vancouver, BC: USENIX Association

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    44 Downloads (Pure)
  • Modern Approaches to Chemical Image Recognition

    Filippov, I., Lupu, M. & Sexton, A., 2017, Current Challenges in Patent Information Retrieval. Lupu, M., Mayer, K., Kando, N. & Trippe, A. J. (eds.). 2nd ed. Springer, p. 369-389 20 p. (The Information Retrieval Series; vol. 37).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Topics of formal methods in HCI

    Bowen, J., Dix, A., Palanque, P. & Weyers, B., 26 Apr 2017, The Handbook of Formal Methods in Human-Computer Interaction. Weyers, B., Bowen, J., Dix, A. & Palanque, P. (eds.). 1 ed. Springer, p. 57-64 (Human–Computer Interaction Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2016

    Cryptographic Hash Functions and Expander Graphs: The End of the Story?

    Petit, C. & Quisquater, J-J., 18 Mar 2016, The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday. Ryan, P. Y. A., Naccache, D. & Quisquater, J-J. (eds.). Springer, p. 304-311 (Lecture Notes in Computer Science; vol. 9100).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Managing Trade-offs in Self-Adaptive Software Architectures: A Systematic Mapping Study

    Salama, M., Bahsoon, R. & Bencomo, N., 19 Aug 2016, Managing Trade-offs in Adaptable Software Architectures. Mistrik, I., Ali, N., Kazman, R., Grundy, J. & Schmerl, B. (eds.). Elsevier, p. 249-282 Chapter 11

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Mixed metaphor: Its depth, its breadth, and a pretence-based approach

    Barnden, J. A., 7 Mar 2016, Mixing Metaphor. Gibbs Jr., R. W. (ed.). John Benjamins, p. 75-112 (Metaphor in Language, Cognition and Communication; vol. 6).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Visual Object Class Recognition

    Stark, M., Schiele, B. & Leonardis, A., 5 Dec 2016, Handbook of robotics: 2nd Edition. Springer, p. 825-840

    Research output: Chapter in Book/Report/Conference proceedingChapter

    904 Citations (Scopus)
  • 2015

    Automatically calculating quantitative integrity measures for imperative programs

    Chothia, T., Novakovic, C. & Singh, R. R., 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 proceedingChapter

  • Environmental factors promoting the evolution of recruitment strategies in swarms of foraging robots

    Essche, S. V., Ferrante, E., Turgut, A. E., Lon, R. V., Holvoet, T. & Wenseleers, T., 2015, Proceedings of the First International Symposium on Swarm Behavior and Bio-Inspired Robotics. Cambridge, MA: MIT Press, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Genetic algorithms

    Rowe, J. E., 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 proceedingChapter

    Open Access
    4 Citations (Scopus)
  • Modeling Ice Storm Climatology

    Swaminathan, R., Sridharan, M., Dobbie, G. & Hayhoe, K., 22 Nov 2015, AI 2015: Advances in Artificial Intelligence: 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30-December 4, 2015, Proceedings. Pfahringer, B. & Renz, J. (eds.). Springer, p. 539-553 (Lecture Notes in Artificial Intelligence; vol. 9457).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Representation and Control of the Task Space in Humans and Humanoid Robots

    Mistry, M. & Schaal, S., 2015, Humanoid Robotics and Neuroscience : Science, Engineering and Society. Cheng, G. (ed.). CRC Press, Chapter 6

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The Alan walks Wales dataset: Quantified self and open data

    Dix, A. & Ellis, G., 2 Nov 2015, Open Data as Open Educational Resources: Case Studies of Emerging Practice. Atenas, J. & Havemann, L. (eds.). Open Education, p. 57-68

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • 2014

    A Proof and Some Representations

    Kerber, M., 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. (eds.). Springer, p. 65-73 (Cognitive Systems Monographs; vol. 22).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

    Hawes, N., 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 proceedingChapter

  • Compact Ring-LWE Cryptoprocessor

    Roy, S. S., Vercauteren, F., Mentens, N., Chen, D. D. & Verbauwhede, I., 23 Sep 2014, Cryptographic Hardware and Embedded Systems - CHES 2014: 16th International Workshop, Busan, South Korea, September 23-26, 2014. Proceedings. Batina, L. & Robshaw, M. (eds.). Springer, p. 371-391 (Lecture Notes in Computer Science; vol. 8731).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    101 Citations (Scopus)
  • Concentrated hitting times of randomized search heuristics with variable drift

    Lehre, P. & Witt, C., 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 proceedingChapter

    40 Citations (Scopus)
  • Economics-Driven Software Architecting for Cloud

    Faniyi, F. & Bahsoon, R., 18 Jun 2014, Economics-Driven Software Architecture. Elsevier, p. 83-103 21 p. Chapter 5

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)
  • Integrating probabilistic graphical models and declarative programming for knowledge representation and reasoning in robotics

    Zhang, S., Sridharan, M. & Gelfond, M., 2014, Proceedings of 2nd Workshop on Planning and Robotics (PlanRob 2014) at ICAPS 2014. Finzi, A. & Orlandini, A. (eds.). Association for the Advancement of Artificial Intelligence, p. 127-135 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    13 Downloads (Pure)
  • Scale-free correlations in collective motion with position-based interactions

    Ferrante, E., Turgut, A. E., Wenseleers, T. & Huepe, C., 2014, Artificial Life 14. Lipson, H. & Sayama, H. (eds.). Cambridge, MA: MIT Press, Vol. 14. p. 300-301 2 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Single-funnel and multi-funnel landscapes and subthreshold-seeking behavior

    Whitley, L. D. & Rowe, J., 9 Jan 2014, Theory and Principled Methods for the Design of Metaheuristics. Borenstein, Y. & Moraglio, A. (eds.). Springer, p. 63-84 (Natural Computing Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

    Wyatt, J. L., 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 proceedingChapter

  • 2013

    Bioluminescence tomography improves quantitative accuracy for pre-clinical imaging

    Guggenheim, J. A., Basevi, H. R. A., Dehghani, H., Styles, I. B. & Frampton, J., 25 Jun 2013, Progress in Biomedical Optics and Imaging - Proceedings of SPIE. Vol. 8799.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    1 Citation (Scopus)
    333 Downloads (Pure)
  • GESwarm: Grammatical Evolution for the Automatic Synthesis of Collective Behaviors in Swarm Robotics

    Ferrante, E., Guzmán, E. D., Turgut, A. E. & Wenseleers, T., 2013, Proceedings of the fifteenth international conference on Genetic and evolutionary computation conference companion. New York, NY: ACM/IEEE, p. 17-24 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    18 Citations (Scopus)
  • Information-theoretic method for wavelength selection in bioluminescence tomography

    Basevi, H. R. A., Guggenheim, J. A., Dehghani, H. & Styles, I. B., 25 Jun 2013, Progress in Biomedical Optics and Imaging - Proceedings of SPIE. Vol. 8799.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    189 Downloads (Pure)
  • Random matrix-based dimensionality reduction for bioluminescence tomography reconstruction

    Styles, I. B., Basevi, H. R. A., Guggenheim, J. A. & Dehghani, H., 25 Jun 2013, Progress in Biomedical Optics and Imaging - Proceedings of SPIE. Vol. 8799.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    206 Downloads (Pure)
  • Security analysis of a widely deployed locking system

    Weiner, M., Massar, M., Tews, E., Giese, D. & Wieser, W., 2013, Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13. p. 929-940 12 p. (Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Citations (Scopus)
  • Self-organized flocking with conflicting goal directions

    Ferrante, E., Sun, W., Turgut, A. E., Dorigo, M., Birattari, M. & Wenseleers, T., 1 Jan 2013, Springer Proceedings in Complexity. Springer Vieweg, p. 607-613 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Citations (Scopus)
  • Socially-Mediated Negotiation for Obstacle Avoidance in Collective Transport

    Ferrante, E., Brambilla, M., Birattari, M. & Dorigo, M., 2013, International Symposium on Distributed Autonomous Robotics Systems (DARS-2010). Martinoli, A., Mondada, F., Correll, N., Mermoud, G., Egerstedt, M., Hsieh, M. A., Parker, L. E. & Stöy, K. (eds.). Berlin, Germany: Springer Vieweg, Vol. 83. p. 571-583 13 p. (Springer Tracts in Advanced Robotics).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Static Analysis for Regular Expression Denial-of-Service Attacks

    Kirrage, J., Rathnayake Mudiyanselage, A. & Thielecke, H., 1 Jun 2013, Network and System Security: 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013, Proceedings. Lopez, J., Huang, X. & Sandhu, R. (eds.). Springer, p. 135-148 (Lecture Notes in Computer Science; vol. 7873).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    15 Citations (Scopus)
  • Theoretical advances in evolutionary dynamic optimization

    Rohlfshagen, P., Lehre, P. K. & Yao, X., 2013, Evolutionary Computation for Dynamic Optimization Problems. Vol. 490. p. 221-240 20 p. (Studies in Computational Intelligence; vol. 490).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)
  • 2012

    Addressing semantic ambiguities in natural language constraints

    Bajwa, I. S., Lee, M., Bordbar, B. & Ali, A., 1 Jan 2012, Proceedings of the 25th International Florida Artificial Intelligence Research Society Conference, FLAIRS-25. p. 262-267 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Binary Consensus via Exponential Smoothing

    Oca, M. A. M. D., Ferrante, E., Scheidler, A. & Rossi, L. F., 2012, Proceedings of the Second International Conference on Complex Sciences: Theory and Applications (COMPLEX 2012). Colbaugh, R. (ed.). Berlin, Germany: Springer Vieweg, Vol. 126. p. 244-255 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Co-registration of total internal reflection fluorescence and confocal microscopy images for studying vesicle trafficking in living cells

    Pitkeathly, W. T. E., Rappoport, J. Z. & Claridge, E., 1 May 2012, Proceedings - International Symposium on Biomedical Imaging. p. 182-185 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • EVILSEED: A Guided Approach to Finding Malicious Web Pages

    Invernizzi, L., Benvenuti, S., Milani Comparetti, P., Cova, M., Kruegel, C. & Vigna, G., May 2012, Proceedings of the IEEE Symposium on Security and Privacy. p. 428-442

    Research output: Chapter in Book/Report/Conference proceedingChapter

    102 Citations (Scopus)
  • Explicit and Implicit Directional Information Transfer in Collective Motion

    Ferrante, E., Turgut, A. E., Huepe, C., Birattari, M., Dorigo, M. & Wenseleers, T., 2012, Artificial Life 13. Adami, C., Bryson, D. M., Ofria, C. & Pennock, R. T. (eds.). Cambridge, MA: MIT Press, Vol. 13. p. 551-552 2 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • On a chain of transformations for generating alloy from NL constraints

    Bajwa, I. S., Bordbar, B., Anastasakis, K. & Lee, M., 1 Jan 2012, 7th International Conference on Digital Information Management, ICDIM 2012. p. 93-98 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)
  • On Software Simulation for MPSoC: A Modeling Approach for Functional Validation and Performance Estimation.

    Petrot, F., Gerin, P. & Hamayun, M. M., 2012, In Gabriela Nicolescu, Ian O’Connor, and Christian Piguet, editors, Design Technology for Heterogeneous Embedded Systems. p. 91-114 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Resolving syntactic ambiguities in natural language specification of constraints

    Bajwa, I. S., Lee, M. & Bordbar, B., 1 Jan 2012, Computational Linguistics and Intelligent Text Processing, 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part I. Gelbukh, A. (ed.). Vol. 7181 LNCS. p. 178-187 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    15 Citations (Scopus)
  • Semantic analysis of software constraints

    Bajwa, I. S., Lee, M. & Bordbar, B., 1 Jan 2012, Proceedings of the 25th International Florida Artificial Intelligence Research Society Conference, FLAIRS-25. p. 8-13 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)