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: 45.
A
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.
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
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
B
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
D
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
Type: Dataset
| 2023
| University of Southampton
Type: Dataset
| 2023
| University of Southampton
Efficient deployment of early-exit DNN architectures on FPGA platforms - Anastasios Dimitriou, Geoff Merrett and Jonathon Hare
Type: Conference or Workshop Item
| 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
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
E
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
F
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.
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.
G
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.
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
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
Type: Article
| 2023
H
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
I
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
K
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.
M
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
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
N
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
R
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
S
Type: Dataset
| 2023
| University of Southampton
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
Type: Conference or Workshop Item
| 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
T
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
V
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
X
Dynamic DNNs meet runtime resource management for efficient heterogeneous computing - Lei Xun, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2023
Z
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