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: 32.
Type: Book
| 2025
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
Type: Dataset
| 2025
| University of Southampton
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
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
Type: Dataset
| 2025
| University of Southampton
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.
Type: Dataset
| 2025
| University of Southampton
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
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.
Proof-carrying neuro-symbolic code - Ekaterina Komendantskaya
Type: Conference or Workshop Item
| 2025
| Springer Cham
| Item availability restricted.
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
Pulsation of brain tissue increases in response to caffeine: a pilot healthy volunteer study - Jennifer K. Nicholls, Andrea Lecchini-Visintini, Alanoud Almudayni, Jonathan Ince, Jatinder S. Minhas and Emma M.L. Chung
Type: Article
| 2025
Juniper: a 3D plotting framework for effective multi-dimensional scatterplots - Philippos Papaphilippou
Type: Article
| 2025
Lurie networks with k-contracting dynamics - Carl R. Richardson, Matthew C. Turner and Steve R. Gunn
Type: Conference or Workshop Item
| 2025
Lurie networks with robust convergent dynamics - Carl R. Richardson, Matthew C. Turner and Steve R. Gunn
Type: Article
| 2025
Type: Dataset
| 2025
| University of Southampton
Efficient deep learning inference at the edge - Sulaiman Sadiq
Type: Thesis
| 2025
| University of Southampton
The trust-safety divide: a citical gap in human-robot interaction research - Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2025
Type: Dataset
| 2025
| University of Southampton
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
Towards hardware Trojan resilient convolutional neural networks accelerators - Peiyao Sun, Basel Halak and Tom J. Kazmierski
Type: Article
| 2025
Temporal dynamics of TiOx memristor for reservoir computing applications - Alexander-Hanyu Wang, Xiyue Fan, Zixuan Zhang, Omesh Kapur, Ruomeng Huang, Firman Simanjuntak, Harold Chong and David Barrie Thomas
Type: Article
| 2025
Dedicated class subnetworks for SNN class incremental learning - Katy Warr, Jonathon Hare and David Thomas
Type: Conference or Workshop Item
| 2025
| IEEE
Improving recall in sparse associative memories that use neurogenesis - Katy Warr, Jonathon Hare and David Barrie Thomas
Type: Article
| 2025
Type: Conference or Workshop Item
| 2025
| AAAI Press
| Item availability restricted.
Type: Dataset
| 2025
| University of Southampton
Type: Dataset
| 2025
| University of Southampton