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 2023
 | Up a level |
Number of items: 16.
Verifiably safe and trusted human-AI systems: a socio-technical perspective - Michael Akintunde, Victoria Young, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Pauline Leonard, Michael Butler and Luc Moreau
Type: Conference or Workshop Item
| 2023
| Item not available on this server.
A rigorous iterative analysis approach for capturing the safety requirements of self-driving vehicle systems - Fahad Abduallah Alotaibi, Son Hoang and Michael Butler
Type: Conference or Workshop Item
| 2023
| IEEE
| Item availability restricted.
Exploration of Decision Sub-Network Architectures for FPGA-based Dynamic DNNs - Anastasios Dimitriou, Mingyu Hu, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2023
Type: Dataset
| 2023
| University of Southampton
Exploiting epistemic uncertainty at inference time for early-exit power saving - Jack Dymond, Sebastian Stein and Stephen Gunn
Type: Conference or Workshop Item
| 2023
| IOS Press
Constrained model predictive control with integral action for twin rotor MIMO systems - Kelechi U. Ebirim, Andrea Lecchini Visintini, Matteo Rubagotti and Emmanuel Prempain
Type: Article
| 2023
FedTM: memory and communication efficient federated learning with Tsetlin Machine - Shannon How Shi Qi, Jagmohan Chauhan, Geoff V. Merrett and Jonathan Hare
Type: Conference or Workshop Item
| 2023
Type: Thesis
| 2023
| University of Southampton
| Item availability restricted.
Content- and lighting-aware adaptive brightness scaling for improved mobile user experience - Samuel Isuwa, David Amos, Amit Kumar Singh, Bashir M. Al-Hashimi and Geoff Merrett
Type: Conference or Workshop Item
| 2023
| IEEE
Strengthened Circle and Popov Criteria for the stability analysis of feedback systems with ReLU neural networks - Carl Richardson, Matthew Turner and Stephen Gunn
Type: Article
| 2023
Designing critical systems using hierarchical STPA and event-B - Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Abduallah Alotaibi and Michael Butler
Type: Conference or Workshop Item
| 2023
| Item availability restricted.
Macromolecular crowding Is surprisingly unable to deform the structure of a model biomolecular condensate - Julian Shillcock, David B. Thomas, John H. Ipsen and Andrew Brown
Type: Article
| 2023
Type: Dataset
| 2023
| University of Southampton
Energy-efficient memory tracing for state retention in transient computing systems - Theodoros D. Verykios, Domenico Balsamo and Geoff Merrett
Type: Conference or Workshop Item
| 2023
Dynamic DNNs meet runtime resource management for efficient heterogeneous computing - Lei Xun, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2023
A fairness-based refinement strategy to transform liveness properties in Event-B models - Chenyang Zhu, Michael Butler, Corina Cirstea and Son Hoang
Type: Article
| 2023
| Item not available on this server.