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 | Book Section | Conference or Workshop Item | Thesis | Dataset

Number of items: 45.

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

POETS: An event-driven approach to Dissipative Particle Dynamics - Andrew Brown, Jonny Beaumont, David Barrie Thomas, Julian Shillcock, Matthew Naylor, Graeme McLachlan Bragg, Mark Vousden, Simon W. Moore and Shane Flemming

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.

Adaptive fuzzy decentralized output-feedback control of large-scale systems with sensor faults: a multichannel asynchronous triggering approach - Xinpeng Fang, Huijin Fan, Lei Liu and Bo Wang

Type: Article | 2023 | Item availability restricted.

Defining logical systems via algebraic constraints on proofs - Alexander V. Gheorghiu and David J Pym

Type: Article | 2023

Definite formulae, negation-as-failure, and the base-extension semantics of intuitionistic propositional logic - Alexander V. Gheorghiu and David J. Pym

Type: Article | 2023

Semantical analysis of the logic of bunched implications - Alexander V. Gheorghiu and David J. Pym

Type: Article | 2023

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

An event-driven approach to genotype imputation on a custom RISC-V FPGA cluster - Jordan Morris, Ashur Rafiev, Graeme M. Bragg, Mark L. Vousden, David D. Thomas, Alex Yakovlev and Andrew D. Brown

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

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.

Book Section

Reductive logic, proof-search, and coalgebra: a perspective from resource semantics - Alexander V. Gheorghiu, Simon Docherty and David J. Pym

Type: Book Section | 2023 | Springer Cham | 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.

Towards a certified proof checker for deep neural network verification - Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Ekaterina Komendantskaya and Guy Katz

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

Efficient deployment of early-exit DNN architectures on FPGA platforms - Anastasios Dimitriou, Geoff Merrett and Jonathon Hare

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

Multichannel asynchronous triggering-based adaptive output feedback control for uncertain nonlinear systems with actuator faults - Xinpeng Fang, Huijin Fan, Lei Liu and Bo Wang

Type: Conference or Workshop Item | 2023 | IEEE Industrial Electronics Society | Item not available on this server.

Proof-theoretic semantics for intuitionistic multiplicative linear logic - Alexander V. Gheorghiu, Tao Gu and David J. Pym

Type: Conference or Workshop Item | 2023 | Springer Cham

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

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