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: 22.
Type: Book
| 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
| Item availability restricted.
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 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.
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
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
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