The University of Southampton
University of Southampton Institutional Repository

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
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 49.

Article

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

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

Reduced-order neural network synthesis with robustness guarantees - Ross Drummond, Matthew C. Turner and Stephen R. Duncan
Type: Article | 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

Type: Article | 2022 | 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

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

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

Mesh networking for intermittently-powered devices: Architecture and challenges - Edward Longman, Mohammed El-Hajjar, Oktay Cetinkaya and Geoff Merrett
Type: Article | 2022

Type: Article | 2022

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

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

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

Book

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.

Book Section

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

Conference or Workshop Item

An information security model for an IoT-enabled smart grid - Abeer Akkad, Gary Wills and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item | 2022 | SciTePress

Type: Conference or Workshop Item | 2022 | MECOnet

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.

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 Cham | 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 | 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 Cham | Item not available on this server.

Type: Conference or Workshop Item | 2022 | Association for Computing Machinery

Open licensed AAC in a collaborative ecosystem - E.A. Draffan and David Banes
Type: Conference or Workshop Item | 2022 | Springer

Adapting branched networks to realise progressive intelligence - Jack Dymond, Sebastian Stein and Stephen Gunn
Type: Conference or Workshop Item | 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.

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 | Item not available on this server.

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 | Item not available on this server.

The effect of manifold entanglement and intrinsic dimensionality on learning - Daniel Kienitz, Ekaterina Komendantskaya and Michael Lones
Type: Conference or Workshop Item | 2022 | AAAI Press | Item not available on this server.

Multihop Networking for Intermittent Devices - Edward Longman, Mohammed El-Hajjar and Geoff Merrett
Type: Conference or Workshop Item | 2022

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

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.

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.

Type: Conference or Workshop Item | 2022 | IEEE | 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

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

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

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 Cham | Item not available on this server.

Monograph

Event-based parallel computing - partially ordered event-triggered systems: final report for EPSRC Programme Grant EP/N031768/1 - Andrew Brown, David Thomas, Wayne Luk, Simon W. Moore, Alex Yakovlev, Mark Vousden, Graeme McLachlan Bragg, Jordan Morris, Ashur Rafiev, Coral Westoby and Tim Todman
Type: Monograph | 2022

Dataset

Type: Dataset | 2022 | University of Southampton

Type: Dataset | 2022 | University of Southampton

Type: Dataset | 2022 | University of Southampton

Type: Dataset | 2022 | University of Southampton

Type: Dataset | 2022 | University of Southampton

Type: Dataset | 2022 | University of Southampton

Type: Dataset | 2022 | University of Southampton

Type: Dataset | 2022 | University of Southampton

This list was generated on Tue Mar 26 02:07:38 2024 GMT.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×