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 2021
 | Up a level |
Jump to: Article | Book | Book Section | Conference or Workshop Item | Monograph | Dataset | Editorial
Number of items: 58.
Article
A variance controlled stochastic method with biased estimation for faster non-convex optimization - Jia Bi and Stephen R. Gunn
Type: Article
| 2021
Coupling bulk phase separation of disordered proteins to membrane domain formation in molecular simulations on a bespoke compute fabric - Andrew Brown, Mark Vousden, Graeme McLachlan Bragg, Julian Shillcock, Jonathan Beaumont and David Barrie Thomas
Type: Article
| 2021
Distributed sensing with low-cost mobile sensors toward a sustainable IoT - Oktay Cetinkaya, Bahareh Zaghari, Florentin M. J. Bulot, Wissam Damaj, Stephen A. Jubb, Sebastian Stein, Alex S. Weddell, Martin Mayfield and Steve Beeby
Type: Article
| 2021
| Item not available on this server.
An STPA-based formal composition framework for trustworthy autonomous maritime systems - Dana Dghaym, Thai Son Hoang, Stephen Turnock, Michael Butler, Jon Downes and Ben Pritchard
Type: Article
| 2021
Capillary-based reverse transcriptase loop-mediated isothermal amplification for cost-effective and rapid point-of-care COVID-19 testing - Anto John, Peijun He, Ioannis Katis, Panagiotis Galanis, Alice Iles, R.W. Eason and Collin Sones
Type: Article
| 2021
Novel lockstep-based fault mitigation approach for SoCs with roll-back and roll-forward recovery - Server Kasap, Eduardo Weber Wachter, Xiaojun Zhai, Shoaib Ehsan and Klaus D. McDonald-Maier
Type: Article
| 2021
New approaches for faint source detection in hard X-ray surveys - V.A. Lepingwell, A.J. Bird and S.R. Gunn
Type: Article
| 2021
Partner selection in self-organised wireless sensor networks for opportunistic energy negotiation: A multi-armed bandit based approach - Andre P. Ortega, Sarvapali Ramchurn, Long Tran-Thanh and Geoff Merrett
Type: Article
| 2021
Similarity-aware CNN for efficient video recognition at the Edge - Mohammadamin Sabetsarvestani, Jonathon Hare, Bashir Al-Hashimi and Geoff Merrett
Type: Article
| 2021
A high-level approach for energy efficiency improvement of FPGAs by voltage trimming - Mehdi Safarpour, Lei Xun, Geoff Merrett and Olli Silven
Type: Article
| 2021
POETS: A parallel cluster architecture for Spiking Neural Network - Mahyar Shahsavari, Jonathan Beaumont, David Thomas and Andrew Brown
Type: Article
| 2021
Domain-specific scenarios for refinement-based methods - Colin Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi and Michael Butler
Type: Article
| 2021
Floptics: A novel automated gating technique for flow cytometry data - Wiwat Sriphum, Gary Wills and Nicolas Green
Type: Article
| 2021
Optimising hardware accelerated neural networks with quantisation and a knowledge distillation evolutionary algorithm - Robert Stewart, Andrew Nowlan, Pascal Bacchus, Quentin Ducasse and Ekaterina Komendantskaya
Type: Article
| 2021
| Item not available on this server.
Discrete‐time systems with slope restricted nonlinearities: Zames–Falb multiplier analysis using external positivity - Matthew C. Turner and Ross Drummond
Type: Article
| 2021
Exploring the effect of energy storage sizing on intermittent computing system performance - Jie Zhan, Geoff Merrett and Alexander Weddell
Type: Article
| 2021
Book
Proceedings of the 9th Rodin User and Developer Workshop, 2021 - Asieh Salehi Fathabadi, Yamine Aït Ameur, Thai Son Hoang and Colin Snook
Type: Book
| 2021
Book Section
The dual function of explanations: Why computing explanations is of value - Niko Tsakalakis, Sophie Stalla-Bourdillon, Laura Carmichael, Dong Huynh, Luc Moreau and Ayah Helal
Type: Book Section
| 2021
| Bloomsbury Publishing
Conference or Workshop Item
Type: Conference or Workshop Item
| 2021
| IEEE
| Item availability restricted.
GhostShiftAddNet: More Features from Energy-Efficient Operations - Jia Bi, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2021
| Item availability restricted.
Verifying System-level Security of a Smart Ballot Box - Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu, Leonardo Aniello and Vladimiro Sassone
Type: Conference or Workshop Item
| 2021
| Springer Nature
Flow-through filter-based lateral flow assays - Panagiotis Galanis, Ioannis Katis, Peijun He, Alice Iles, Anto John, Collin Sones and R.W. Eason
Type: Conference or Workshop Item
| 2021
| Item not available on this server.
Actions you can handle: dependent types for AI plans - Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt and Ronald P.A. Petrick
Type: Conference or Workshop Item
| 2021
| Association for Computing Machinery
| Item not available on this server.
The CamilleX Framework for the Rodin Platform - Thai Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item
| 2021
Towards CamilleX 3.0 - Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item
| 2021
Lateral flow device for the dual detection of SARS-COV 2 coronavirus nucleocapsid and spike protein: a rapid, point-of-care testing solution for COVID-19 mass screening - Maria Victoria Hunbert, Alice Iles, Peijun He, Ioannis Katis, Anto John, Tristan Clark, Myron Christodoulides, R.W. Eason, Christopher McCormick and Collin Sones
Type: Conference or Workshop Item
| 2021
| Item not available on this server.
Lateral flow device for the dual detection of SARS-CoV 2 Coronavirus Nucleocapsid and Spike protein: A large-scale, rapid, point-of-care testing solution for Covid-19 - Alice Iles, Peijun He, Maria Victoria Hunbert, Ioannis Katis, Tristan Clark, Anto John, Myron Christodoulides, R.W. Eason, Christopher McCormick and Collin Sones
Type: Conference or Workshop Item
| 2021
| Biosensors and Bioelectronics
| Item not available on this server.
Semi-quantitative detection of the inflammatory biomarkers, C-reactive protein and procalcitonin for rapid pneumonia triage - Alice Iles, Peijun He, Ioannis Katis, Panagiotis Galanis, Collin Sones and R.W. Eason
Type: Conference or Workshop Item
| 2021
| Biosensors and Bioelectronics
| Item not available on this server.
Semi-quantitative, paper-based detection of the inflammatory biomarkers, C-reactive protein and procalcitonin using laser-patterned multiplex technology - Alice Iles, Peijun He, Ioannis Katis, Panagiotis Galanis, Collin Sones and R.W. Eason
Type: Conference or Workshop Item
| 2021
| SelectBiosciences
| Item not available on this server.
Route lifetime analysis for vehicular networks - Teodor Ivanescu, Mohammed El-Hajjar, Geoff Merrett and Halil Yetgin
Type: Conference or Workshop Item
| 2021
| Item availability restricted.
Wake-up radio-enabled intermittently-powered devices for mesh networking: A power analysis - Edward Longman, Oktay Cetinkaya, Mohammed El-Hajjar and Geoff Merrett
Type: Conference or Workshop Item
| 2021
Intermittent opportunistic routing components for the INET framework - Edward Longman, Mohammed El-Hajjar and Geoff Merrett
Type: Conference or Workshop Item
| 2021
Dynamic-OFA: Runtime DNN architecture switching for performance scaling on heterogeneous embedded platforms - Wei Lou, Lei Xun, Mohammadamin Sabetsarvestani, Jia Bi, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2021
Type: Conference or Workshop Item
| 2021
| SciTePress
| Item not available on this server.
General hardware multicasting for fine-grained message-passing architectures - Matthew Naylor, Simon W. Moore, David Thomas, Jonathan R. Beaumont, Shane Fleming, Mark Vousden, A. Theodore Markettos, Thomas Bytheway and Andrew Brown
Type: Conference or Workshop Item
| 2021
| IEEE
| Item not available on this server.
Dynamic transformer for efficient machine translation on embedded devices - Hishan Parry, Lei Xun, Mohammadamin Sabetsarvestani, Jia Bi, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2021
Emergent design challenges for embedded systems and paths forward: Mixed-criticality, energy, reliability and security perspectives: Special Session Paper - Siva Satyendra Sahoo, Akash Kumar, Martin Decky, Samuel Chang Bing Wong, Geoff Merrett, Yinyuan Zhao, Xiaohang Wang and Amit Kumar Singh
Type: Conference or Workshop Item
| 2021
| Item availability restricted.
Extensible Record Structures in Event-B - Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item
| 2021
Refinable record structures in formal methods - Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item
| 2021
| Item availability restricted.
Scenario Checker: An Event-B tool for validating abstract models - Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item
| 2021
| Item availability restricted.
Fabrication of paper-based microfluidic devices using laser direct-writing - Collin Sones, Peijun He, Ioannis Katis, Panagiotis Galanis, Alice Iles and R.W. Eason
Type: Conference or Workshop Item
| 2021
| The Japan Society of Applied Physics
| Item not available on this server.
Exploring performance enhancement of event-driven processor networks - Tim Todman, David Thomas and Wayne Luk
Type: Conference or Workshop Item
| 2021
| IEEE
| Item not available on this server.
Introduction to workshop: overcoming accessibility gaps on the social web - Michael Wald, Chaohai Ding and E.A. Draffan
Type: Conference or Workshop Item
| 2021
| Association for Computing Machinery
| Item not available on this server.
Runtime DNN performance scaling through resource management on heterogeneous embedded platforms - Lei Xun, Bashir Al-Hashimi, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2021
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions - Chenyang Zhu, Michael Butler, Corina Cirstea and Thai Son Hoang
Type: Conference or Workshop Item
| 2021
Monograph
UMIS Stakeholders' User Requirements' Report - Temitope Omitola, Ben Waterson, Niko Tsakalakis, Richard Gomer, Sophie Stalla-Bourdillon, Thomas Cherrett and Gary Wills
Type: Monograph
| 2021
| University of Southampton
Zames-Falb Multipliers: don't panic - Matthew Turner
Type: Monograph
| 2021
| arXiv
Dataset
Type: Dataset
| 2021
| University of Southampton
Dataset for "An STPA-based formal composition framework for trustworthy autonomous maritime systems"
Type: Dataset
| 2021
| University of Southampton
Type: Dataset
| 2021
| University of Southampton
Type: Dataset
| 2021
| University of Southampton
Type: Dataset
| 2021
| University of Southampton
Type: Dataset
| 2021
| University of Southampton
Type: Dataset
| 2021
| University of Southampton
Type: Dataset
| 2021
| University of Southampton
Type: Dataset
| 2021
| Zenodo
| Item not available on this server.
Type: Dataset
| 2021
| University of Southampton
Editorial
Impacts and investigations of disruptive technologies for Industry 4.0 - Victor Chang, Gary Wills and Patricia Baudier
Type: Editorial
| 2021