LAIV Publications

2020 Conference Publications:

2020 MSc and PhD Dissertations:

  • Alexandre Cardaillac. Explainable AI: Methods to Evaluate Machine Learning Models. MSc Dissertation. 2020. Supervisor: E.Komendantskaya.
  • Marco Casadio. Generative Against Logical Training against Adversarial Attacks. MSc Dissertation. 2020. Supervisor: E.Komendantskaya.
  • Hugo Cousin. High-performance Data Analysis for Social Networks Using Rust. MSc Dissertation. 2020. Supervisor: H.-W. Loidl.
  • Fraser Garrow. Artificial Neural Network Genetic Improvement for Accurate and Robust Image Classification. MSc Dissertation. 2020. Supervisor: M.Lones.
  • Dorian Gouzou. Repelling Dual-Swarm Particle Optimisation with Maximisation search. MSc Dissertation. 2020. Supervisor: M.Lones.
  • Vincent Larcher. Generation of Adversarial Attacks on Computer Vision Models using Reinforcement Learning. MSc Dissertation. 2020. Supervisor: E.Komendantskaya.
  • Bartosz Schatton. Informed Adversarial Examples with Explainable AI and Metaheuristics in Medical Imaging. MSc Dissertation. 2020. Supervisor: E.Komendantskaya.
  • Frantisek Farka. Proof-Relevant Resolution: The Foundations of Constructive Proof Automation. PhD Dissertation. 2020. Supervisor: E.Komendantskaya.

2019 Conference papers:

2019 MSc and PhD Dissertations:

  • P. Bacchus. Performance Metrics for Approximate Deep Learning on Programmable Hardware. MSc Thesis, Heriot-Watt University, 2019. Supervisor: R. Stewart.
  • P. Le Hen. Adversarial Attacks on Neural Networks in Image Processing. MSc Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya.
  • D. Kienitz. Robustness of Neural Networks: Understanding the Nature of Adversarial Examples. MSc Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya.
  • Y.Li. A Proof-Theoretic Approach to Coinduction in Horn Clause Logic” . PhD Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya and M.Lawson.