The University of Southampton
University of Southampton Institutional Repository

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
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 33.

Type: Patent | 2023 | Item not available on this server.

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.

Type: Article | 2023

Type: Conference or Workshop Item | 2023 | IEEE

Routing in intermittently powered IoT networks - Sara Alsodairi, Geoff V. Merrett, Alex S. Weddell and Nawfal Al Hashimy
Type: Conference or Workshop Item | 2023

Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively - Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya and Luca Arnaboldi
Type: Conference or Workshop Item | 2023 | Association for Computing Machinery | Item not available on this server.

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

AI supporting AAC pictographic symbol adaptations - E.A. Draffan, Mike Wald, Chao Ding and Yuanyuan Yin
Type: Article | 2023

Exploring practical metrics to support automatic speech recognition evaluations - E.A. Draffan, Mike Wald, Chaohai Ding and Yunjia Li
Type: Article | 2023

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

Type: Dataset | 2023 | University of Southampton

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: Dataset | 2023 | University of Southampton

Type: Thesis | 2023 | University of Southampton

Type: Dataset | 2023 | University of Southampton

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

Maximising mobile user experience through self-adaptive content- and ambient-aware display brightness scaling - Samuel Isuwa, David Amos, Amit Kumar Singh, Bashir M. Al-Hashimi and Geoff V. Merrett
Type: Article | 2023

Comparing complexities of decision boundaries for robust training: a universal approach - Daniel Kienitz, Ekaterina Komendantskaya and Michael Lones
Type: Conference or Workshop Item | 2023 | Springer Cham | Item not available on this server.

Formal language semantics for triggered enable statecharts with a run-to-completion scheduling - Karla Vanessa Morris Wright, Thai Son Hoang, Colin Snook and Michael Butler
Type: Conference or Workshop Item | 2023 | Springer Cham | Item availability restricted.

Type: Article | 2023

Type: Dataset | 2023 | University of Southampton

Enabling ImageNet-scale deep learning on MCUs for accurate and efficient inference - Sulaiman Sadiq, Jonathon Hare, Simon Craske, Partha Maji and Geoff Merrett
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

Trust modelling and verification using Event-B - Asieh Salehi Fathabadi and Vahid Yazdanpanah
Type: Conference or Workshop Item | 2023

Type: Article | 2023

Type: Conference or Workshop Item | 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

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.

Logic of differentiable logics: towards a uniform semantics of DL - Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert Stewart and Kathrin Stark
Type: Conference or Workshop Item | 2023 | EasyChair

This list was generated on Tue Jun 11 02:08:22 2024 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×