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 2022
 | Up a level |
Number of items: 45.
High-level rigorous template for analysing safety properties of self-driving vehicle systems - Fahad, Abduallah Alotaibi, Thai Son Hoang and Michael Butler
Type: Conference or Workshop Item
| 2022
| Item not available on this server.
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
| 2022
Neural network robustness as a verification property: a principled case study - Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir and Idan Refaeli
Type: Conference or Workshop Item
| 2022
| Springer Science and Business Media Deutschland GmbH
| Item not available on this server.
Novel AI and Data Science Advancements for Sustainability in the Era of COVID-19 - Victor Chang, Mohamed Abdel-Basset, Muthu Ramachandran, Nicolas G. Green and Gary Wills
Type: Book
| 2022
| Academic Press
| Item not available on this server.
CheckINN: wide range neural network verification in imandra - Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya and Matthew Daggit
Type: Conference or Workshop Item
| 2022
| The Association for Computing Machinery
| Item not available on this server.
Neural networks in imandra: matrix representation as a verification choice - Remi Desmartin, Grant Passmore and Ekaterina Kommendentskaya
Type: Conference or Workshop Item
| 2022
| Springer Science and Business Media Deutschland GmbH
| Item not available on this server.
An experimental approach to the challenges of mission planning for collaborative maritime autonomy - Jon Downes, Stephen Turnock, Son Hoang, Ben Pritchard and Joseph Lam
Type: Article
| 2022
Augmentative and alternative communication emerging trends, opportunities and innovations: introduction to the special thematic session - E.A. Draffan and David Banes
Type: Conference or Workshop Item
| 2022
| ACM Press
Type: Conference or Workshop Item
| 2022
| Springer
Reduced-order neural network synthesis with robustness guarantees - Ross Drummond, Matthew C. Turner and Stephen R. Duncan
Type: Article
| 2022
Adapting branched networks to realise progressive intelligence - Jack Dymond, Sebastian Stein and Stephen Gunn
Type: Conference or Workshop Item
| 2022
Laser-patterned paper-based flow-through filters and lateral flow immunoassays to enable the detection of C-reactive protein - Panagiotis Galanis, Ioannis Katis, Peijun He, Alice Iles, Anto J.U. Kumar, R.W. Eason and Collin Sones
Type: Article
| 2022
Building an extensible textual framework for the rodin platform - Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item
| 2022
| Item availability restricted.
Type: Article
| 2022
| Item not available on this server.
Monitoring neurodegenerative diseases using paper based lateral-flow devices - Alice Iles, Peijun He, Ioannis Katis, Panagiotis Galanis, Collin Sones and R.W. Eason
Type: Conference or Workshop Item
| 2022
| SPIE: the International Society for Optics and Photonics
| Item not available on this server.
Optimization of flow path parameters for enhanced sensitivity lateral flow devices - Alice Iles, Peijun He, Ioannis Katis, Peter Horak, R.W. Eason and Collin Sones
Type: Article
| 2022
Type: Dataset
| 2022
| University of Southampton
Optimisation of flow path parameters for enhanced sensitivity lateral flow - Alice Iles, Ioannis Katis, Peijun He, Panagiotis Galanis, Collin Sones and R.W. Eason
Type: Conference or Workshop Item
| 2022
| SPIE: the International Society for Optics and Photonics
| Item not available on this server.
Semi-quantitative detection of inflammatory biomarkers using a laser-patterned multiplexed lateral flow device - Alice H. Iles, Peijun J.W. He, Ioannis N. Katis, Panagiotis P. Galanis, Anto J.U.K. John, Paul Elkington, Robert W. Eason and Collin L. Sones
Type: Article
| 2022
Type: Dataset
| 2022
| University of Southampton
Type: Dataset
| 2022
| University of Southampton
QUAREM: Maximising QoE through Adaptive Resource Management in Mobile MPSoC Platforms - Samuel Isuwa, Somdip Dey, Andre P. Ortega, Amit Kumar Singh, Bashir M. Al-Hashimi and Geoff Merrett
Type: Article
| 2022
Multi-source multi-destination hybrid infrastructure-aided traffic aware routing in V2V/I networks - Teodor Ivanescu, Halil Yetgin, Geoff Merrett and Mohammed El-Hajjar
Type: Article
| 2022
The effect of manifold entanglement and intrinsic dimensionality on learning - Daniel Kienitz, Ekaterina Komendantskaya and Michael Lones
Type: Conference or Workshop Item
| 2022
| AAAI
| Item not available on this server.
Mesh networking for intermittently-powered devices: Architecture and challenges - Edward Longman, Mohammed El-Hajjar, Oktay Cetinkaya and Geoff Merrett
Type: Article
| 2022
Type: Conference or Workshop Item
| 2022
Type: Dataset
| 2022
| University of Southampton
Type: Dataset
| 2022
| University of Southampton
User configurable privacy requirements elicitation in cyber-physical systems - Temitope Omitola, Richard Gomer, Gary Wills, Niko Tsakalakis, Sophie Stalla-Bourdillon, Ben Waterson and Thomas Cherrett
Type: Conference or Workshop Item
| 2022
Provisioning security in a next generation mobility as a service system - Temitope Omitola, Ben Waterson, Niko Tsakalakis, Richard Gomer, Sophie Stalla-Bourdillon, Thomas Cherrett and Gary Wills
Type: Book Section
| 2022
Endurance testing of engineering model additive-manufactured high temperature resistojets made from Inconel 625 and tantalum - M. Robinson, F. Romei, C. Ogunlesi, D. Gibbon, A. Grubisic and S. Walker
Type: Article
| 2022
| Item not available on this server.
Type: Dataset
| 2022
| University of Southampton
TinyOps: ImageNet Scale Deep Learning on Microcontrollers - Sulaiman Sadiq, Jonathon Hare, Partha Maji, Simon Craske and Geoff Merrett
Type: Conference or Workshop Item
| 2022
Generating SPARK from Event-B, providing fundamental safety and security - Asieh Salehi Fathabadi, Dana Dghaym, Son Hoang, Michael Butler and Colin Snook
Type: Conference or Workshop Item
| 2022
| Item availability restricted.
Pragmatic memory-system support for intermittent computing using emerging non-volatile memory - Sivert T. Sliper, William Wang, Nikos Nikoleris, Alexander Weddell, Anand Savanth, Pranay Prabhat and Geoff Merrett
Type: Article
| 2022
Type: Dataset
| 2022
| University of Southampton
Developing the UML-B modelling tools - Colin Snook, Michael Butler, Son Hoang, Asieh Salehi Fathabadi and Dana Dghaym
Type: Conference or Workshop Item
| 2022
| Item not available on this server.
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design - Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael Butler, Dana Dghaym and Son Hoang
Type: Conference or Workshop Item
| 2022
Using machine learning for anomaly detection on a system-on-chip under gamma radiation - Eduardo Weber Wachter, Server Kasap, Sefki Kolozali, Xiaojun Zhai, Shoaib Ehsan and Klaus D. McDonald-Maier
Type: Article
| 2022
Dynamic DNNs meet runtime resource management on mobile and embedded platforms - Lei Xun, Bashir Al-Hashimi, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2022
Type: Dataset
| 2022
| University of Southampton
Using big data analytics to combat retail fraud - Danni Zhang, Steffen Bayer, Gary Wills, Regina Frei, Enrico Gerding and PK Senyo
Type: Conference or Workshop Item
| 2022
| Item not available on this server.
The impact of COVID-19 on managing product returns in retail - Danni Zhang, Regina Frei, Steffen Bayer, PK Senyo, Gary Wills, Enrico Gerding and Adrian Beck
Type: Conference or Workshop Item
| 2022
Understanding fraudulent returns and mitigation strategies in multichannel retailing - Danni Zhang, Regina Frei, P.K. Senyo, Steffen Bayer, Enrico Gerding, Gary Wills and Adrian Beck
Type: Article
| 2022
Differentiable logics for neural network training and verification - Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt and Robert Stewart
Type: Conference or Workshop Item
| 2022
| Springer Science and Business Media Deutschland GmbH
| Item not available on this server.