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: 25.
A
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
B
Type: Dataset
| 2025
| University of Southampton
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
C
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.
D
Type: Dataset
| 2025
| University of Southampton
G
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
H
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
J
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.
P
Juniper: a 3D plotting framework for effective multi-dimensional scatterplots - Philippos Papaphilippou
Type: Article
| 2025
R
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
S
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
W
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.
X
Type: Dataset
| 2025
| University of Southampton
Z
Type: Dataset
| 2025
| University of Southampton