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

Group by: No Grouping | Authors/Creators | Item Type

Jump to: Article | Conference or Workshop Item | Patent | Thesis | Dataset

Number of items: 36.

Article

An information security model for an IoT-enabled smart grid in the Saudi energy sector - Abeer Akkad, Gary Wills and Abdolbaghi Rezazadeh

Type: Article | 2023

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

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

Adaptive fault-tolerant control for uncertain nonlinear systems with both parameter estimator and controller triggering - Huijin Fan, Xinpeng Fang, Wei Wang, Jiangshuai Huang and Lei Liu

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

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

Effects of blood pressure on brain tissue pulsation amplitude in a phantom model - Jennifer K. Nicholls, Poppy Turner, Andrea Lecchini-Visintini, Jonathan Ince, Georgina de Vries, Laurie Cappellugola, Mitsuhiro Oura, Kelechi U. Ebirim, Edward Pallett, Kumar V. Ramnarine and Emma M.L. Chung

Type: Article | 2023

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

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

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

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.

Conference or Workshop Item

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

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

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

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

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

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.

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

Anti-windup compensation for a class of iterative learning control systems subject to actuator saturation - Matthew Turner, Eric Rogers and Jorge Sofrony

Type: Conference or Workshop Item | 2023

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

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