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 2024
 | Up a level |
Number of items: 49.
Article
Realisation of early-exit dynamic neural networks on reconfigurable hardware - Anastasios Dimitriou, Lei Xun, Jonathon Hare and Geoff V. Merrett
Type: Article
| 2024
Researchers have invented a new system of logic that could boost critical thinking and AI - A.V. Gheorghiu
Type: Article
| 2024
| Item not available on this server.
Observation and enhancement through alkali metal doping of p-type conductivity in the layered oxyselenides Sr2ZnO2Cu2Se2 and Ba2Zn1-xO2-xCu2Se2 - Zahida Malik, Sarah Broadley, Sebastian J.C. Herkelrath, Daniel W. Newbrook, Liam Kemp, George Rutt, Zoltán A. Gál, Jack N. Blandy, Joke Hadermann, Daniel W. Davies, Robert D. Smyth, David O. Scanlon, Ruomeng Huang, Simon J. Clarke and Geoffrey Hyett
Type: Article
| 2024
A brief history of the development of transcranial tissue Doppler ultrasound - Jennifer k. Nicholls, Andrea Lecchini-Visintini, Jonathan Ince, Edward Pallett, Jatinder s. Minhas, Mitsuhiro Oura and Emma m. l. Chung
Type: Article
| 2024
Optimizing HiRep lattice simulations on CPU-based computer clusters - Md Shidur Rahman, Vasilios Kelefouras, Claudio Pica and Antonio Rago
Type: Article
| 2024
| Item availability restricted.
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
| 2024
Systematic hierarchical analysis of requirements for critical systems - Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Alotaibi and Michael Butler
Type: Article
| 2024
Two-stage anti-windup compensation for systems subject to actuator quantization and saturation - M.C. Turner and C.M. Richards
Type: Article
| 2024
Artificial neural network enabled photovoltaic-thermoelectric generator modelling and analysis - Yuxiao Zhu, Daniel William Newbrook, Peng Dai, Jian Liu, Jichao Li, Chunming Wang, Harold Chong, Kees De Groot and Ruomeng Huang
Type: Article
| 2024
Book
Type: Book
| 2024
| University of Southampton
Book Section
Analysing the safety implications of security risks in cyber-physical systems - Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Michael Butler and Martin Kubisch
Type: Book Section
| 2024
| Springer Cham
Conference or Workshop Item
Taming differentiable logics with coq formalisation - Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz and Kathrin Stark
Type: Conference or Workshop Item
| 2024
| Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Formal specification of actual trust in multiagent systems - Michael Akintunde, Vahid Yazdanpanah and Asieh Fathabadi
Type: Conference or Workshop Item
| 2024
Actual Trust in Multiagent Systems - Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cirstea, Mehdi Dastani and Luc Moreau
Type: Conference or Workshop Item
| 2024
| International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
A rigorous analysis of the safety and security in cyber-physical systems - Samih Alkhamissi, Reza Rezazadeh and Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2024
| Item availability restricted.
Event-B development of modelling human intervention request in self-driving vehicle systems - Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item
| 2024
Evaluating routing protocols for intermittent energy harvesting IoT networks - Sara A. Alsodairi, Alex S. Weddell, Nawfal F. Al Hashimy and Geoff V. Merrett
Type: Conference or Workshop Item
| 2024
| IEEE
| Item availability restricted.
Property ownership formal modelling using Event-B and iUML-B - Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi and Gary Wills
Type: Conference or Workshop Item
| 2024
Evolutionary data subset selection for class-Incremental learning on memory-constrained systems - Epifanios Baikas, Danesh Tarapore and David Thomas
Type: Conference or Workshop Item
| 2024
| Item availability restricted.
Homomorphically encrypted gradient descent algorithms for quadratic programming - André Bertolace, Konstantinos Gatsis and Kostas Margellos
Type: Conference or Workshop Item
| 2024
| Item not available on this server.
Verifying HyperLTL properties in Event-B - Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali and Thai Son Hoang
Type: Conference or Workshop Item
| 2024
FPGA acceleration of dynamic neural networks: challenges and advancements - Anastasios Dimitriou, Benjamin Biggs, Jonathon Hare and Geoff V. Merrett
Type: Conference or Workshop Item
| 2024
Scalable forward reachability analysis of multi-agent systems with neural network controllers - Oliver Gates, Matthew Newton and Konstantinos Gatsis
Type: Conference or Workshop Item
| 2024
| Item not available on this server.
Type: Conference or Workshop Item
| 2024
| Item not available on this server.
Semantics formalisation – from Event-B contexts to theories - Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook and Michael Butler
Type: Conference or Workshop Item
| 2024
Federated learning with Tsetlin machine - Shannon Shi Qi How, Jagmohan Chauhan, Geoff Merrett and Jonathon Hare
Type: Conference or Workshop Item
| 2024
How deep do we need: accelerating training and inference of neural ODEs via control perspective - Keyan Miao and Konstantinos Gatsis
Type: Conference or Workshop Item
| 2024
| ML Research Press
Strengthened Circle and Popov Criteria and the analysis of ReLU neural networks - Carl R. Richardson, Matthew C. Turner and Steve R. Gunn
Type: Conference or Workshop Item
| 2024
| IEEE
Strengthened stability analysis of discrete-time Lurie systems involving ReLU neural networks - Carl R. Richardson, Matthew C. Turner and Steve R. Gunn
Type: Conference or Workshop Item
| 2024
| PMLR
"Trust equals less death - it's as simple as that" : developing a socio-technical framework for trustworthy defence and security automated systems - Asieh Salehi Fathabadi and Pauline Leonard
Type: Conference or Workshop Item
| 2024
Designing exception handling using Event-B - Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello and Vladimiro Sassone
Type: Conference or Workshop Item
| 2024
A method for swift selection of appropriate approximate multipliers for CNN hardware accelerators - Peiyao Sun, Haosen Yu, Basel Halak and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2024
| Item availability restricted.
Marabou 2.0: a versatile formal analyzer of neural networks - Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz and Clark Barrett
Type: Conference or Workshop Item
| 2024
| Springer Science and Business Media B.V.
Variational delayed policy optimization - Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu and Chao Huang
Type: Conference or Workshop Item
| 2024
| Item not available on this server.
Boosting reinforcement learning with strongly delayed feedback through auxiliary short delays - Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jurgen Schmidhuber and Chao Huang
Type: Conference or Workshop Item
| 2024
| JMLR.org
| Item availability restricted.
Dynamic DNNs and runtime management for efficient inference on mobile/embedded devices - Lei Xun, Jonathon Hare and Geoff V. Merrett
Type: Conference or Workshop Item
| 2024
Fluid dynamic DNNs for reliable and adaptive distributed inference on edge devices - Lei Xun, Mingyu Hu, Hengrui Zhao, Amit Kumar Singh, Jonathon Hare and Geoff V. Merrett
Type: Conference or Workshop Item
| 2024
An event-B formal model for access control and resource management of serverless apps - Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item
| 2024
| Springer
Tamper resistant design of convolutional neural network hardware accelerator - Haosen Yu, Peiyao Sun, Basel Halak, Karthik Shanthakumar and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2024
| IEEE
| Item not available on this server.
Power- and deadline-aware dynamic inference on intermittent computing systems - Hengrui Zhao, Lei Xun, Jagmohan Chauhan and Geoff Merrett
Type: Conference or Workshop Item
| 2024
| IEEE
| Item availability restricted.
Stable and safe reinforcement learning via a barrier-Lyapunov actor-critic approach - Liqun Zhao, Konstantinos Gatsis and Antonis Papachristodoulou
Type: Conference or Workshop Item
| 2024
| Item not available on this server.
Thesis
Improving the performance of HiRep lattice simulations software by exploiting the CPU hardware architecture details and algorithm characteristics - Md Shidur Rahman
Type: Thesis
| 2024
| Item not available on this server.
Dataset
Type: Dataset
| 2024
| University of Southampton
Type: Dataset
| 2024
| University of Southampton
Type: Dataset
| 2024
| University of Southampton
Type: Dataset
| 2024
| University of Southampton
Type: Dataset
| 2024
| University of Southampton
Type: Dataset
| 2024
| University of Southampton
Type: Dataset
| 2024
| University of Southampton