Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2025
 | Up a level |
Number of items: 29.
Article
Enhancing state retention with energy-efficient memory tracing in intermittent systems - Osama Bin Tariq, Theodoros D. Verykios, Geoff Merrett and Domenico Balsamo
Type: Article
| 2025
Realisation of early-exit dynamic neural networks on reconfigurable hardware - Anastasios Dimitriou, Lei Xun, Jonathon Hare and Geoff V. Merrett
Type: Article
| 2025
From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic - Alexander V. Gheorghiu and David J. Pym
Type: Article
| 2025
Type: Article
| 2025
Quantitative simulations of Spiking Neural Networks on an event-driven FPGA cluster - Zilong Liang, Xinbo Zhang, Mark Vousden, David B. Thomas and Graeme M. Bragg
Type: Article
| 2025
Juniper: a 3D plotting framework for effective multi-dimensional scatterplots - Philippos Papaphilippou
Type: Article
| 2025
Lurie networks with robust convergent dynamics - Carl R. Richardson, Matthew C. Turner and Steve R. Gunn
Type: Article
| 2025
Towards hardware Trojan resilient convolutional neural networks accelerators - Peiyao Sun, Basel Halak and Tom J. Kazmierski
Type: Article
| 2025
Improving recall in sparse associative memories that use neurogenesis - Katy Warr, Jonathon Hare and David Barrie Thomas
Type: Article
| 2025
Book
Type: Book
| 2025
Conference or Workshop Item
Formal modeling of trust in AI-driven autonomous delivery vehicles - Manar Mousa M Altamimi, Asieh Salehi Fathabadi and Vahid Yazdanpanah
Type: Conference or Workshop Item
| 2025
LiME: the Linux real-time task model extractor - Björn B. Brandenburg, Cédric Courtaud, Filip Markovic and Bite Ye
Type: Conference or Workshop Item
| 2025
| IEEE
Enabling efficient pure-NMOS circuits through Adiabatic Complementary Pass-transistor Logic - Keyu Chen, Geoff Merrett and Mark Zwolinski
Type: Conference or Workshop Item
| 2025
| Item not available on this server.
FedTMOS: efficient one-shot federated learning with Tsetlin machine - Shannon Shi Qi How, Jagmohan Chauhan, Geoff Merrett and Jonathon Hare
Type: Conference or Workshop Item
| 2025
FedTMOS: efficient One-Shot Federated Learning with Tsetlin Machine - Shannon How Shi Qi, Jagmohan Chauhan, Geoff V. Merrett and Jonathon Hare
Type: Conference or Workshop Item
| 2025
SYNAPSE - a new approach to semi-automated design of ultra-low-power application-specific embedded processors - Xuan Ji, Tom J. Kazmierski and Basel Halak
Type: Conference or Workshop Item
| 2025
| IEEE
| Item not available on this server.
Lurie networks with k-contracting dynamics - Carl R. Richardson, Matthew C. Turner and Steve R. Gunn
Type: Conference or Workshop Item
| 2025
The trust-safety divide: a citical gap in human-robot interaction research - Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2025
Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis - Colin Snook, Asieh Salehi Fathabadi, Son Hoang, Robert H Thorburn, Michael Butler, Leonardo Aniello and vladi Sassone
Type: Conference or Workshop Item
| 2025
Dedicated class subnetworks for SNN class incremental learning - Katy Warr, Jonathon Hare and David Thomas
Type: Conference or Workshop Item
| 2025
| IEEE
Type: Conference or Workshop Item
| 2025
| AAAI Press
| Item availability restricted.
Thesis
Efficient deep learning inference at the edge - Sulaiman Sadiq
Type: Thesis
| 2025
| University of Southampton
Dataset
Type: Dataset
| 2025
| University of Southampton
Type: Dataset
| 2025
| University of Southampton
Type: Dataset
| 2025
| University of Southampton
Type: Dataset
| 2025
| University of Southampton
Type: Dataset
| 2025
| University of Southampton
Type: Dataset
| 2025
| University of Southampton
Type: Dataset
| 2025
| University of Southampton