Robert Stewart
Heriot-Watt University
H-index: 13
Europe-United Kingdom
Top articles of Robert Stewart
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Heron: Modern Hardware Graph Reduction | Craig Ramsay Robert James Stewart | 2024/2/6 | |
Introducing and Interfacing with Cybersecurity--A Cards Approach | arXiv preprint arXiv:2307.16535 | Ryan Shah Manuel Maarek Shenando Stals Lynne Baillie Sheung Chi Chan | 2023/7/31 |
Benchmarking Parallelism in Unikernels | Euro-Par 2022: Parallel Processing Workshops: Euro-Par 2022 International Workshops, Glasgow, UK, August 22–26, 2022, Revised Selected Papers | Akilan Selvacoumar Robert Stewart Hans-Wolfgang Loidl Ahmad Ryad Soobhany | 2023/5/1 |
Logic of differentiable logics: Towards a uniform semantics of DL | arXiv preprint arXiv:2303.10650 | Natalia Ślusarz Ekaterina Komendantskaya Matthew L Daggitt Robert Stewart Kathrin Stark | 2023/3/19 |
Integrating Canvas and GitLab to Enrich Learning Processes | Laura Schauer Robert James Stewart Manuel Maarek | 2023/12/15 | |
FPGA Design of Transposed Convolutions for Deep Learning Using High-Level Synthesis | Journal of Signal Processing Systems | Cristian Sestito Stefania Perri Robert Stewart | 2023/10 |
Accuracy Evaluation of Transposed Convolution-Based Quantized Neural Networks | Cristian Sestito Stefania Perri Robert Stewart | 2022/7/18 | |
Why functional program synthesis matters (in the realm of genetic programming) | Fraser Garrow Michael A Lones Robert Stewart | 2022/7/9 | |
Design-Space Exploration of Quantized Transposed Convolutional Neural Networks for FPGA-based Systems-on-Chip | Cristian Sestito Stefania Perri Robert Stewart | 2022/9/12 | |
Differentiable Logics for Neural Network Training and Verification | Natalia Ślusarz Ekaterina Komendantskaya Matthew L Daggitt Robert Stewart | 2022/7/31 | |
Network robustness as a mathematical property: training, evaluation and attack | Marco Casadio Matthew L Daggitt Ekaterina Komendantskaya Wen Kokke Robert Stewart | 2021/10/6 | |
Optimising Hardware Accelerated Neural Networks with Quantisation and a Knowledge Distillation Evolutionary Algorithm | Electronics | Robert Stewart Andrew Nowlan Pascal Bacchus Quentin Ducasse Ekaterina Komendantskaya | 2021/2/5 |
Benchmarking quantized neural networks on FPGAs with FINN | arXiv preprint arXiv:2102.01341 | Quentin Ducasse Pascal Cotret Loïc Lagadec Robert Stewart | 2021/2/2 |
Relative Robustness of Quantized Neural Networks Against Adversarial Attacks | Kirsty Duncan Ekaterina Komendantskaya Robert Stewart Michael Lones | 2020/7 | |
Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs | Pascal Bacchus Robert Stewart Komendantskaya Ekaterina | 2020/4/1 | |
YewPar: Skeletons for Exact Combinatorial Search | Blair Archibald Patrick Maier Robert Stewart Phil Trinder | 2020/2/19 | |
YewPar | Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming | Blair Archibald Patrick Maier Robert Stewart Phil Trinder | 2020/2/19 |