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: 44.
Type: Book
| 2024
| University of Southampton
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)
Type: Dataset
| 2024
| University of Southampton
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
Type: Dataset
| 2024
| University of Southampton
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.
Walking the values in Bayesian inverse reinforcement learning - O. Bajgar, A. Abate, K. Gatsis and M.A. Osborne
Type: UNSPECIFIED
| 2024
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.
Robust optimization for adversarial learning with finite sample complexity guarantees - André Bertolace, Konstatinos Gatsis and Kostas Margellos
Type: UNSPECIFIED
| 2024
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
Type: Dataset
| 2024
| University of Southampton
Realisation of early-exit dynamic neural networks on reconfigurable hardware - Anastasios Dimitriou, Lei Xun, Jonathon Hare and Geoff V. Merrett
Type: Article
| 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.
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
Type: Dataset
| 2024
| University of Southampton
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
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
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
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.
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.
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
| Item availability restricted.
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
Type: Dataset
| 2024
| University of Southampton
"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
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
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
Type: Dataset
| 2024
| University of Southampton
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
| Item availability restricted.
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.
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
Type: Dataset
| 2024
| University of Southampton
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.
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