Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)" and Year is 2013
 | Up a level |
Number of items: 113.
Type: Book
| 2013
| EPTCS
| Item not available on this server.
Type: Book
| 2013
| Turku Centre for Computer Science
| Item not available on this server.
Energy efficient and high-speed robust channel identification methodology to solve permutation indeterminacy in ICA for artifacts removal from ECG in remote healthcare - A. Agarwal, A. Singh, A. Acharyya, R.A. Shafik and S.R. Ahamed
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Factors influencing citizen intention to adopt egovernment in Saudi Arabia - Suilaiman Alateyah, Richard Crowder and Gary Wills
Type: Conference or Workshop Item
| 2013
Factors Affecting the Citizen’s Intention to Adopt E-government in Saudi Arabia - Suilaiman Alateyah, Richard M. Crowder and Gary B. Wills
Type: Article
| 2013
An integrated model for influencing Saudi Arabian citizens to adopt E-government services. - Sulaiman Alateyah, Richard M Crowder and Gary B. Wills
Type: Conference or Workshop Item
| 2013
| Item availability restricted.
Identified Factors Affecting the Citizen’s Intention to Adopt E-government in Saudi Arabia - Sulaiman Alateyah, Richard M. Crowder and Gary B. Wills
Type: Article
| 2013
Building Traceable Event-B Models from Requirements - Eman Alkhammash, Asieh Salehi Fathabadi, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item
| 2013
Toward a framework for data quality in cloud-based health information system - Omar Almutiry, Gary Wills, Abdulelah Alwabel, Richard Crowder and Robert John Walters
Type: Conference or Workshop Item
| 2013
Towards a framework for data quality in Electronic health records - Omar Almutiry, Gary Wills and Richard Crowder
Type: Conference or Workshop Item
| 2013
Investigating Factors for Knowledge Sharing Using Web Technologies - Hanan Alotaibi, Richard Crowder and Gary Wills
Type: Conference or Workshop Item
| 2013
A viable system model for information security governance: establishing a baseline of the current information security operations system - Ezzat Alqurashi, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2013
| Springer
| Item availability restricted.
Behavioural properties and dynamic software update for concurrent programmes - Gabrielle Anderson
Type: Thesis
| 2013
Lifetime reliability aware checkpointing mechanism: modelling and analysis - Mohammad Imran bin Badan, Subhasish Bhattacharjee, Rishad A. Shafik, Jimson Mathew and Dhiraj K. Pradhan
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Type: Conference or Workshop Item
| 2013
Type: Conference or Workshop Item
| 2013
A comparison of power output from linear and non-linear kinetic energy harvesters using real vibration data - S.P. Beeby, Leran Wang, Dibin Zhu, Alex Weddell, Geoff V. Merrett, Bernard Stark, Gyorgy Szarka and Bashir M. Al-Hashimi
Type: Article
| 2013
Applying quality of experience to system optimisation - Sascha Bischoff, Andreas Hansson and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2013
MALEC: a multiple access low energy cache - Matthias Boettcher, Giacomo Gabrielli, Bashir M. Al-Hashimi and Danny Kershaw
Type: Conference or Workshop Item
| 2013
Type: Book Section
| 2013
| IOS Press
Modelling and Refinement in CODA - Michael Butler, John Colley, Andrew Edmunds, Colin Snook, Neil Evans, Neil Grant and Helen Marshall
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Type: Conference or Workshop Item
| 2013
Type: Book Section
| 2013
| Springer
| Item not available on this server.
Type: Conference or Workshop Item
| 2013
Business integration as a service: computational risk analysis for small and medium enterprises adopting SAP - Victor Chang
Type: Article
| 2013
A Case Study for Business Integration as a Service - Victor Chang
Type: Book Section
| 2013
| IGI Global
Cloud Bioinformatics in a private cloud deployment - Victor Chang
Type: Book Section
| 2013
| IGI Global
Cloud Computing for brain segmentation technology - Victor Chang
Type: Conference or Workshop Item
| 2013
Type: Thesis
| 2013
| Item availability restricted.
Cloud Storage and Bioinformatics in a private cloud deployment: Lessons for Data Intensive research - Victor Chang, Robert John Walters and Gary Wills
Type: Book Section
| 2013
| Springer Cham
The development that leads to the Cloud Computing
Business Framework - Victor Chang, Robert John Walters and Gary Wills
Type: Article
| 2013
A University of Greenwich Case Study of Cloud Computing – Education as a Service - Victor Chang and Gary Wills
Type: Book Section
| 2013
| IGI Global
Type: Conference or Workshop Item
| 2013
On the trade-off of accuracy and computational complexity for classifying normal and abnormal ECG in remote CVD monitoring systems - Taihai Chen, Evangelos B. Mazomenos, Koushik Maharatna, Srinandan Dasmahapatra and Niranjan Mahesan
Type: Conference or Workshop Item
| 2013
| IEEE
Design of a low-power on-body ECG classifier for remote cardiovascular monitoring systems - Taihai Chen, Evangelos B. Mazomenos, Koushik Maharatna, Srinandan Dasmahapatra and Mahesan Niranjan
Type: Article
| 2013
eCert: a secure and user centric edocument transmission protocol: solving the digital signing practical issues - Lisha Chen-Wilson
Type: Thesis
| 2013
From Branching to Linear Time, Coalgebraically - Corina Cirstea
Type: Conference or Workshop Item
| 2013
A Formal, Systematic Approach to STPA using Event-B Refinement and Proof - John Colley and Michael Butler
Type: Conference or Workshop Item
| 2013
Privacy-aware web service composition and ranking - Elisa Costante, Federica Paci and Nicola Zannone
Type: Conference or Workshop Item
| 2013
| Item availability restricted.
Fractional dynamical model for the generation of ECG like signals from filtered coupled Van-der Pol oscillators - Saptarshi Das and Koushik Maharatna
Type: Article
| 2013
On the detection of myocardial scar based on ECG/VCG analysis - Sofia-Maria Dima, Christos Panagiotou, Evangelos B. Mazomenos, James Rosengarten, Koushik Maharatna, John Gialelis, Nick Curzen and John Morgan
Type: Article
| 2013
Developments in Code Generation Tools for Event-B - Andrew Edmunds
Type: Conference or Workshop Item
| 2013
Code generation with tasking event-b - Andy Edmunds
Type: Monograph
| 2013
| University of Southampton
Approaches to maintaining provenance throughout the additive manufacturing process - Nawfal Fadhel, Gary Wills and Richard M. Crowder
Type: Conference or Workshop Item
| 2013
Policy analysis for self-administrated role-based access control - Anna Lisa Ferrara, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2013
CSeq: a concurrency pre-processor for sequential c verification tools (tool demonstration) - Bernd Fischer, Omar Inverso and Gennaro Parlato
Type: Conference or Workshop Item
| 2013
CSeq: A Sequentialization Tool for C - (Competition Contribution) - Bernd Fischer, Omar Inverso and Gennaro Parlato
Type: Conference or Workshop Item
| 2013
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists - Pranav Garg, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2013
Feature-oriented reuse with Event-B and Rodin - Ali Gondal
Type: Thesis
| 2013
Preemptive type checking in dynamically typed programs - Neville Grech
Type: Thesis
| 2013
Direct and reflex motor effects of conventional and catch-like electrical stimulation for dropped foot correction - Darren Hart
Type: Thesis
| 2013
A fast and effective DFT for test and diagnosis of power switches in SoCs - Xiaoyu Huang, Jimson Mathew, Rishad A. Shafik, Subhasis Bhattacharjee and Dhiraj K. Pradhan
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Adding value to WSN simulation through formal modelling and analysis - Adisak Intana, Michael R. Poppleton and Geoff V. Merrett
Type: Conference or Workshop Item
| 2013
| Item availability restricted.
Looking at Computations from a Different Angle - Omar Inverso, Salvatore La Torre, Ermenegildo Tomasco and Gennaro Parlato
Type: Monograph
| 2013
| University of Southampton
Reasoned modelling critics: turning failed proofs into modelling guidance - Andrew Ireland, Gudmund Grov, Maria Teresa Llano and Michael Butler
Type: Article
| 2013
Existence of millisecond-order stable states in time-varying phase synchronization measure in EEG signals - Wasifa Jamal, Saptarshi Das and Koushik Maharatna
Type: Conference or Workshop Item
| 2013
Opportunistic direct interconnection between co-located wireless sensor networks - Teng Jiang, Geoff V. Merrett and N.R. Harris
Type: Conference or Workshop Item
| 2013
Opportunistic energy trading between co-located energy-harvesting wireless sensor networks - Teng Jiang, Geoff V. Merrett and N.R. Harris
Type: Conference or Workshop Item
| 2013
DoE-based performance optimization of energy management in sensor nodes powered by tunable energy-harvesters - Tom J. Kazmierski, Leran Wang, Bashir Al-Hashimi and Geoff V. Merrett
Type: Conference or Workshop Item
| 2013
On Multi-stack Visibly Pushdown Languages - Salvatore La Torre, Margherita Napoli and Gennaro Parlato
Type: Conference or Workshop Item
| 2013
An experimental comparison of two risk-based security methods - Katsyarina Labunets, Fabio Massacci, Federica Paci and Le Minh Sang Tran
Type: Conference or Workshop Item
| 2013
| Item availability restricted.
Energy-efficient street lighting through embedded adaptive intelligence - Sei Ping Lau, Geoff V. Merrett and Neil M. White
Type: Conference or Workshop Item
| 2013
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Energy-conscious turbo decoder design: a joint signal processing and transmit energy reduction approach - L. Li, R.G. Maunder, B.M. Al-Hashimi, M. Zwolinski and L. Hanzo
Type: Article
| 2013
A low-complexity turbo decoder architecture for energy-efficient wireless sensor networks - Liang Li, Robert G. Maunder, Bashir Al-Hashimi and Lajos Hanzo
Type: Article
| 2013
Energy-efficient data acquisition for accurate signal estimation in wireless sensor networks - Xun Li, Geoff V. Merrett and Neil M. White
Type: Article
| 2013
Towards a practically extensible Event-B methodology - Issam Maamria
Type: Thesis
| 2013
An automated algorithm for online detection of fragmented QRS and identification of its various morphologies - Sidharth Maheshwari, Amit Acharyya, Paolo Emilio Puddu, Evangelos B. Mazomenos, Gourav Leekha, Koushik Maharatna and Michele Schiariti
Type: Article
| 2013
A low-complexity ECG feature extraction algorithm for mobile healthcare applications - E.B. Mazomenos, D. Biswas, A. Acharyya, T. Chen, K. Maharatna, J. Rosengarten, J. Morgan and N. Curzen
Type: Article
| 2013
New tricks with old sensors: Pervasive Technologies for Novel
Applications - Geoff V. Merrett
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Type: Conference or Workshop Item
| 2013
| Item availability restricted.
Active mode subclock power gating - Jatin Mistry, James Myers, Bashir Al-Hashimi, David Flynn, John Biggs and Geoff V. Merrett
Type: Article
| 2013
Leakage power minimisation techniques for embedded processors - Jatin N. Mistry
Type: Thesis
| 2013
Low cost NBTI degradation detection and masking approaches - Martin Omana, Daniele Rossi, Nicolo' Bosio and Cecilia Metra
Type: Article
| 2013
| Item availability restricted.
Novel approach to reduce power droop during scan-based logic BIST - Martin Omana, Daniele Rossi, Filippo Fuzzi, Cecilia Metra, Chandra Tirumurti and Rajesh Galivanche
Type: Conference or Workshop Item
| 2013
Faults affecting energy harvesting circuits of self-powered wireless sensors and their possible concurrent detection - Martin Omana, Daniele Rossi, Daniele Giaffreda, Roberto Specchia, Cecilia Metra, Marcin Marzencki and Bozena Kaminska
Type: Article
| 2013
| Item availability restricted.
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Analysis of voltage- and clock-scaling-induced timing errors in stochastic LDPC decoders - I. Perez-Andrade, X. Zuo, R.G. Maunder, B.M. Al-Hashimi and L. Hanzo
Type: Conference or Workshop Item
| 2013
A model of e-learning adoption in higher education institutions: national culture consideration - Nakarin Pinpathomrat, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Two centuries of memristors - T. Prodromakis
Type: Book Section
| 2013
| World Scientific
| Item not available on this server.
Customising software products in distributed software development a model for allocating customisation requirements across organisational boundaries - Abdulrahman Qahtani, Gary Wills and Andrew Gravell
Type: Conference or Workshop Item
| 2013
A framework of challenges and key factors for applying agile methods for the development and customisation of software products in distributed projects - Abdulrahman Qahtani, Gary Wills and Andrew Gravell
Type: Article
| 2013
| Item availability restricted.
Improving a tutor’s feedback assessment tool: transforming Open Mentor following two recent deployments - Alejandra Recio, Denise Whitelock, Lester Gilbert, Stylianos Hatzipanagos, Paul Gillary, Stuart Watt and Pei Zhang
Type: Article
| 2013
| Item availability restricted.
A novel and unified digital IC design and automation methodology with reduced NRE cost and time-to-market - B.K. Reddy, S. Sabbavarapu, K. Gupta, R. Prabhat, A. Acharyya, R.A. Shafik and J. Mathew
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Low cost concurrent error detection strategy for the control logic of high performance microprocessor RAS improvement - Daniele Rossi, Martin Omana, Giuliano Garrammone, Cecilia Metra, Abhijit Jas and Rajesh Galivanche
Type: Article
| 2013
| Item availability restricted.
A novel physical synthesis methodology in the VLSI design automation by introducing dynamic library concept - S. Sabbavarapu, B.K. Reddy, R. Prabhat, K. Gupta, A. Acharyya, R.A. Shafik and J. Mathew
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
Extending Event-B with discrete timing properties - Mohammad Reza Sarshogh
Type: Thesis
| 2013
A Mixed Approach to Rigorous Development of Control Designs - M. Satpathy, S. Ramesh, Colin Snook, N.K. Singh and Michael Butler
Type: Conference or Workshop Item
| 2013
Systematic Development of Control Designs via Formal Refinement - Manoranjan Satpathy, Colin Snook, Silky Arora, S Ramesh and Michael Butler
Type: Conference or Workshop Item
| 2013
Co-simulation of Event-B and Continuous Models in Rodin - Vitaly Savicks, Michael Butler, Jens Bendisposto and John Colley
Type: Conference or Workshop Item
| 2013
Software modification aided transient error tolerance for embedded systems - Rishad Ahmed Shafik, Gerard Rauwerda, Jordy Potman, Kim Sunesen, Dhiraj K. Pradhan, Jimson Mathew and Ioannis Sourdis
Type: Conference or Workshop Item
| 2013
Towards on-demand system reliability: software implemented fault tolerance and testing - I. Sourdis, R.A. Shafik, C. Strydis, D. Pnevmatikatos, D. Theodoropoulos, D.K. Pradhan and G. Rauwerda
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
DeSyRe: on-Demand System Reliability - Ioannis Sourdis, Christos Strydis, Antonino Armato, Christos-Savvas Bouganis, Babak Falsafi, Georgi Gaydadjiev, Sebastian Isaza, Alirad Malek, Riccardo Mariani, Dionisios N Pnevmatikatos, Dhiraj K Pradhan, Gerard Rauwerda, Robert Seepers, Rishad Ahmed Shafik, Kim Sunesen, Dimitris Theodoropoulos, Stavros Tzilis and Michail Vavouras
Type: Article
| 2013
Type: Conference or Workshop Item
| 2013
Low power and robust binary tree SRAM design for embedded systems - Luo Sun, Jimson Mathew, Rishad A. Shafik and Dhiraj K. Pradhan
Type: Conference or Workshop Item
| 2013
| Item not available on this server.
A conceptual model of intended learning outcomes
supporting curriculum development - Preecha Tangworakitthaworn, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2013
| Item availability restricted.
Facilitating Formative Assessment Through Learning Paths Extracted From a Logical Structure of Intended Learning Outcomes - Preecha Tangworakitthaworn, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2013
ILO diagram: a conceptual model for curriculum development - Preecha Tangworakitthaworn, Lester Gilbert and Gary Wills
Type: Article
| 2013
Designing and diagraming an intended learning outcome structure: a case study from the instructors' perspective - Preecha Tangworakitthaworn, Lester Gilbert and Gary B. Wills
Type: Conference or Workshop Item
| 2013
| Item availability restricted.
High-quality statistical test compression with narrow ATE interface - V. Tenentes and X. Kavousianos
Type: Article
| 2013
A fluid model for layered queueing networks - Mirco Tribastone
Type: Article
| 2013
| Item not available on this server.
Polynomial based key distribution scheme for WPAN - R. Vimalathithan, Daniele Rossi, Martin Omana, Cecilia Metra and M. L. Valarmathi
Type: Article
| 2013
| Item availability restricted.
Energy and Accuracy Trade-Offs in Accelerometry-Based Activity Recognition - Ning Wang, Geoff V. Merrett, Robert G. Maunder and Alex Rogers
Type: Conference or Workshop Item
| 2013
Tunable vibration energy harvester - Alex S. Weddell, Dibin Zhu, Geoff V. Merrett, Stephen P. Beeby and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2013
A Survey of Multi-Source Energy Harvesting Systems - Alexander S. Weddell, Michele Magno, Geoff V. Merrett, Davide Brunelli, Bashir Al-Hashimi and Luca Benini
Type: Conference or Workshop Item
| 2013
Enriched coalgebraic modal logic - Toby Wilkinson
Type: Thesis
| 2013
Towards a trust model in e-learning: antecedents of a student’s trust - Woraluck Wongse-ek, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2013
| Item availability restricted.
Type: Thesis
| 2013
Improved state integrity of flip-flops for voltage scaled retention under PVT variation - Sheng Yang, Saqib Khursheed, Bashir M. Al-Hashimi, David Flynn and Geoff V. Merrett
Type: Article
| 2013
Verilog-A based effective complementary resistive switch model for simulations and analysis - Y. Yang, J. Mathew, R.A. Shafik and D.K. Pradhan
Type: Article
| 2013
Problem Decomposition and Sub-Model Reconciliation of Control Systems in Event-B - Sanaz Yeganefard and Michael Butler
Type: Conference or Workshop Item
| 2013
Type: Monograph
| 2013
| University of Southampton
Fault modelling and accelerated simulation of integrated circuits manufacturing defects under process variation - Shida Zhong
Type: Thesis
| 2013