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 2011
 | Up a level |
Number of items: 109.
Algorithm and architecture for N-D vector cross-product computation - Amit Acharyya, Koushik Maharatna and Bashir Al-Hashimi
Type: Article
| 2011
| Item availability restricted.
Predictive Algorithm Based Low Complexity 2D FastICA - Amit Acharyya, Koushik Maharatna and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2011
| Item availability restricted.
Co-ordinate Rotation based Low Complexity N-D FastICA Algorithm and Architecture - Amit Acharyya, Koushik Maharatna, Bashir Al-Hashimi and Jeff Reeve
Type: Article
| 2011
Simplified Logic Design Methodology for Fuzzy Membership Function based Robust Detection of Maternal Modulus Maxima Location : a Low Complexity Fetal ECG Extraction Architecture for Mobile Health Monitoring Systems - Amit Acharyya, Koushik Maharatna, Bashir Al-Hashimi and Hasitha Tudugalle
Type: Conference or Workshop Item
| 2011
| Item availability restricted.
On the VLSI implementation of adaptive-frequency hopf oscillator - Arash Ahmadi, Eduardo Mangieri, Koushik Maharatna, Srinandan Dasmahapatra and Mark Zwolinski
Type: Article
| 2011
Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report - Gabrielle Anderson
Type: Monograph
| 2011
Towards a blob-based presence verification system in summative e-assessments - Kikelomo Maria Apampa, Gary Wills and David Argles
Type: Article
| 2011
Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia - Ani Liza Asnawi, Andrew Gravell and Gary Wills
Type: Conference or Workshop Item
| 2011
Getting rid of store-buffers in TSO analysis - Mohamed Faouzi Atig, Ahmed Bouajjani and Gennaro Parlato
Type: Conference or Workshop Item
| 2011
Managing Dynamic Enterprise and Urgent Workloads on Clouds Using Layered Queuing and Historical Performance Models - David A. Bacigalupo, Jano van Hemert, Xiaoyu Chen, Asif Usmani, Adam P. Chester, Ligang He, Donna N. Dillenberger, Gary Wills, Lester Gilbert and Stephen A. Jarvis
Type: Article
| 2011
Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker - Raimundo Barreto, Lucas Cordeiro and Bernd Fischer
Type: Conference or Workshop Item
| 2011
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker - Raimundo Barreto, Lucas Cordeiro and Bernd Fischer
Type: Monograph
| 2011
| arXiv
Type: Conference or Workshop Item
| 2011
FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 - Michael Butler and Wolfram Schulte
Type: Book
| 2011
| Springer
| Item not available on this server.
A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems - Ruiter Caldas, Raimundo Barreto, Lucas Cordeiro and Sérgio Campos
Type: Conference or Workshop Item
| 2011
A tabu search heuristic based on k-diamonds for the weighted feedback vertex set problem - Francesco Carrabs, Raffaele Cerulli, Monica Gentili and Gennaro Parlato
Type: Conference or Workshop Item
| 2011
Type: Conference or Workshop Item
| 2011
| Item availability restricted.
Type: Conference or Workshop Item
| 2011
A thorough investigation of Cloud Computing: Sustainability Modelling and Enterprise Portability for Industry and Academia - Victor Chang
Type: Conference or Workshop Item
| 2011
Organisational Sustainability Modelling for Return on Investment: Case Studies presented by a National Health Service (NHS) Trust UK - Victor Chang, David De Roure, Robert John Walters and Gary Wills
Type: Article
| 2011
Case Studies and Organisational Sustainability Modelling presented by Cloud Computing Business Framework - Victor Chang, David De Roure, Gary Wills and Robert Walters
Type: Article
| 2011
The financial clouds review - Victor Chang, Chung-Sheng Li, David De Roure, Gary Wills, Robert Walters and Clinton Chee
Type: Article
| 2011
Type: Conference or Workshop Item
| 2011
Using Scrutable Learning Models to Support Personal learning Objectives on Mobile Devices - Wen-Pin Chen, David E. Millard and Gary B. Wills
Type: Conference or Workshop Item
| 2011
Type: Article
| 2011
A User-Centric Approach for Secured eDocument Transmission: Digital Signing Practical Issues and the eCert Solution - Lisha Chen-Wilson, Lester Gilbert, Gary Wills, Andrew Gravell and David Argles
Type: Article
| 2011
Giving You back Control of Your Data: Digital Signing Practical Issues and the eCert Solution - Lisha Chen-Wilson, Andrew Gravell and David Argles
Type: Conference or Workshop Item
| 2011
Healthcare Data Management Issues and the eCert Solution - Lisha Chen-Wilson, Xin Wang, Gary Wills, David Argles and Charles Shoniregun
Type: Conference or Workshop Item
| 2011
Maximal traces and path-based coalgebraic temporal logics - Corina Cirstea
Type: Article
| 2011
Type: Conference or Workshop Item
| 2011
Type: Article
| 2011
Modal logics are coalgebraic - Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder and Yde Venema
Type: Article
| 2011
Verifying multi-threaded software using SMT-based context-bounded model checking - Lucas Cordeiro and Bernd Fischer
Type: Conference or Workshop Item
| 2011
A low-power, distributed, pervasive healthcare system for supporting memory - Dirk De Jager, Alex L. Wood, Geoff V. Merrett, Bashir M. Al-Hashimi, Kieron O'Hara, Nigel R. Shadbolt and Wendy Hall
Type: Conference or Workshop Item
| 2011
Tasking Event-B: An Extension to Event-B for Generating Concurrent Code - Andrew Edmunds and Michael Butler
Type: Conference or Workshop Item
| 2011
From Event-B models to code: sensing, actuating, and the environment - Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item
| 2011
Type: Conference or Workshop Item
| 2011
Permission-based separation logic for message-passing concurrency - Adrian Francalanza, Julian Rathke and Vladimiro Sassone
Type: Article
| 2011
Model for thermal behavior of shaded PV cells under hot-spot condition - Daniele Giaffreda, Martin Omana, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item
| 2011
| Item availability restricted.
Synthesis report on assessment and feedback with technology enhancement - Lester Gilbert, Denise Whitelock and Veronica Gale
Type: Monograph
| 2011
Type: Other
| 2011
| Elsevier
Composing Event-B Specifications - Case-Study Experience - Ali Gondal, Mike Poppleton and Michael Butler
Type: Conference or Workshop Item
| 2011
Current Issues and Regulations in Tendon Regeneration and Musculoskeletal Repair with Mesenchymal Stem Cells - Simon Grange
Type: Article
| 2011
Type: Conference or Workshop Item
| 2011
Monitor and Update Master Data Case Studies - Thai Son Hoang, Alexei Illianov, Renato Silva and Wei Wei
Type: Other
| 2011
A Feasibility Study on Body-Worn Inertial Energy Harvesting during Walking and Running. - Hui Huang, Geoff Merrett, Cheryl Metcalf and Neil White
Type: Conference or Workshop Item
| 2011
Human-powered inertial energy harvesters: the effect of orientation, location and activity on obtainable power - Hui Huang, Geoff Merrett and Neil White
Type: Conference or Workshop Item
| 2011
A conceptual framework for supporting gender inclusivity in games - Roziana Ibrahim
Type: Thesis
| 2011
Games for Change - Roziana Ibrahim
Type: Other
| 2011
Gender Inclusivity in Games: Towards Reliability and Construct Validity of the Gender Inclusivity Rating Scale (GIRS) - Roziana Ibrahim
Type: Conference or Workshop Item
| 2011
| Item not available on this server.
Gender Issues in Games - Roziana Ibrahim
Type: Other
| 2011
Gender-Inclusivity Framework (GIF): A Conceptual Framework for Supporting Gender-Inclusivity in Games - Roziana Ibrahim
Type: Conference or Workshop Item
| 2011
Development of a conceptual framework for supporting gender inclusivity in games - Roziana Ibrahim, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2011
| Item not available on this server.
Gender inclusivity framework (GIF): Inter-rater agreement towards the components of gender inclusivity in games - Roziana Ibrahim, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2011
| Item not available on this server.
Local memory via layout randomization - Radha Jagadeesan, Corin Pitcher, Julian Rathke and James Riely
Type: Conference or Workshop Item
| 2011
| Item availability restricted.
Type: Conference or Workshop Item
| 2011
| Item not available on this server.
Organising Chemical Reaction Networks in Space and Time with Microfluidics - Gareth Jones, Chris Lovell, Hywel Morgan and Klaus-Peter Zauner
Type: Article
| 2011
Defect-oriented LFSR reseeding to target unmodeled defects using stuck-at test sets - X. Kavousianos, V. Tenentes, K. Chakrabarty and E. Kalligeros
Type: Article
| 2011
| Item availability restricted.
Improved DFT for Testing Power Switches - Syed Saqib Khursheed, Sheng Yang, Bashir Al-Hashimi, Xiaoyu Huang and David Flynn
Type: Conference or Workshop Item
| 2011
Type: Conference or Workshop Item
| 2011
Autonomous Experimentation: Active Learning for Enzyme Response Characterisation - Chris Lovell, Gareth Jones, Steve Gunn and Klaus-Peter Zauner
Type: Article
| 2011
Exploration and Exploitation in an Artificial Experimenter - Chris Lovell, Klaus-Peter Zauner and Steve Gunn
Type: Conference or Workshop Item
| 2011
Type: Conference or Workshop Item
| 2011
Decidable logics combining heap structures and data - P. Madhusudan, Gennaro Parlato and Xiaokang Qiu
Type: Conference or Workshop Item
| 2011
Type: Conference or Workshop Item
| 2011
Snake based Unsupervised Texture Segmentation using Gaussian Markov Random Field Models - Sasan Mahmoodi and Steve Gunn
Type: Conference or Workshop Item
| 2011
Clinical Feature Extraction for Mobile ECG - Evangelos Mazomenos, Amit Acharyya and Koushik Maharatna
Type: Conference or Workshop Item
| 2011
Design and Qualitative Evaluation of Tactile Devices for Stroke Rehabilitation - Geoff V Merrett, Cheryl D Metcalf, Deyi Zheng, Sarah Cunningham, Stuart Barrow and Sara H Demain
Type: Conference or Workshop Item
| 2011
Wireless Sensor Networks for Process Monitoring: The Rise of Remote Control (Editorial) - Geoff V. Merrett
Type: Article
| 2011
Sub-Clock Power-Gating Technique for Minimising Leakage Power During Active Mode - Jatin Mistry, Bashir Al-Hashimi, David Flynn and Stephen Hill
Type: Conference or Workshop Item
| 2011
Context-bounded model checking of LTL properties for ANSI-C software - Jeremy Morse, Lucas Cordeiro, Denis Nicole and Bernd Fischer
Type: Conference or Workshop Item
| 2011
| Springer
Competence-based System for Recommending Study Materials from the Web: Design and Experiment - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2011
Designing a Competence Structure to Generate Learning Paths and Assessment Questions for Self-Study - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2011
Designing XML Schema of a Competence Structure from Course Intended Learning Outcomes - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2011
Machine-processable Representation of Training Outcomes - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Article
| 2011
Type: Article
| 2011
| Item not available on this server.
Methodology for Impact Analysis of the Mobile Web in Developing Countries: a Pilot Study in Nairobi, Kenya - Betty Purwandari, Wendy Hall and Gary Wills
Type: Conference or Workshop Item
| 2011
Evaluating a Web-Based Information System for Managing Master of Science Summer Projects - Till Rebenich, Andrew Gravell and Thanassis Tiropanis
Type: Conference or Workshop Item
| 2011
Type: Conference or Workshop Item
| 2011
Knowledge use in an advanced manufacturing environment - Nicholas Reed, Jim Scanlan, Gary Wills and Steven T. Halliday
Type: Article
| 2011
| Item availability restricted.
Impact of aging phenomena on soft error susceptibility - Daniele Rossi, Martin Omana, Cecilia Metra and Alessandro Paccagnella
Type: Conference or Workshop Item
| 2011
| Item availability restricted.
Error correcting code analysis for cache memory high reliability and performance - Daniele Rossi, Nicola Timoncini, Michael Spica and Cecilia Metra
Type: Conference or Workshop Item
| 2011
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B - Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item
| 2011
A User-Centric Approach to eCertificate for Electronic Identities (eIDs) Management in Mobile Environment - Michele Schiano di Zenise, Andrea Vitaletti and David Argles
Type: Conference or Workshop Item
| 2011
eIDeCert: a user-centric solution for mobile identification - Michele Schiano di Zenise, Andrea Vitaletti, Lisha Chen-Wilson, Lester Gilbert and David Argles
Type: Article
| 2011
Reliability Analysis of On-Chip Communication Architectures: An MPEG-2 Video Decoder Case Study - Rishad Shafik and Bashir Al-Hashimi
Type: Article
| 2011
Application of Decomposition and Generic Instantiation - Renato Silva
Type: Other
| 2011
Towards the Composition of Specifications in Event-B - Renato Silva
Type: Conference or Workshop Item
| 2011
Type: Article
| 2011
Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines - Colin Snook
Type: Conference or Workshop Item
| 2011
Type: Article
| 2011
Tagged repair techniques for defect tolerance in hybrid nano/CMOS architecture - Saket Srivastava, Aissa Melouki and Bashir Al-Hashimi
Type: Article
| 2011
Towards a Matching Strategy of Constructivism and Instructionism - Preecha Tangworakitthaworn, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2011
Test-data volume and scan-power reduction with low ATE interface for multi-core SoCs - Vasileios Tenentes and X. Kavousianos
Type: Conference or Workshop Item
| 2011
| Item availability restricted.
Low power test-compression for high test-quality and low test-data volume - Vasileios Tenentes and Xrysovalantis Kavousianos
Type: Conference or Workshop Item
| 2011
The challenge of e-learning for healthcare professionals: an exploration in rural Thailand - Niruwan Turnball
Type: Thesis
| 2011
The Challenge of Four-Status Model of eLearning: Principles Toward a New Understanding for Healthcare Professionals - Niruwan Turnbull, Gary Wills and Mary Gobbi
Type: Conference or Workshop Item
| 2011
Accelerated simulation of tunable vibration energy harvesting systems using a linearised state-space technique - Leran Wang, Tom Kazmierski, Bashir Al-Hashimi, Alex Weddell, Geoff Merrett and Ivo Ayala Garcia
Type: Conference or Workshop Item
| 2011
Ultra low-power photovoltaic MPPT technique for indoor and outdoor wireless sensor nodes - Alex Weddell, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2011
Accurate supercapacitor modeling for energy-harvesting wireless sensor nodes - Alex Weddell, Geoff V. Merrett, Tom Kazmierski and Bashir Al-Hashimi
Type: Article
| 2011
DejaView: energy-efficient, adaptive, and context-aware sensing for a wearable memory aid system - Alex L. Wood
Type: Conference or Workshop Item
| 2011
| Item availability restricted.
Energy-Efficient Data Acquisition in Wireless Sensor Networks through Spatial Correlation - Li Xun, Tang Shiqi, Geoff Merrett and Neil White
Type: Conference or Workshop Item
| 2011
Reliable state retention-based embedded processors through monitoring and recovery - Sheng Yang, Syed Saqib Khursheed, Bashir Al-Hashimi, David Flynn and Sachin Idgunji
Type: Article
| 2011
| Item availability restricted.
Structuring functional requirements of control systems to facilitate refinement-based formalisation - Sanaz Yeganefard and Michael Butler
Type: Article
| 2011
Pedagogy and Game Attributes for Teaching English as a Second Language - Amri Yusoff, Gary Wills, Richard Crowder and Lester Gilbert
Type: Conference or Workshop Item
| 2011
Catch before a fall – an iPad application for Osteoporosis Risk Assessment - Pei Zhang, Alejandra Recio, Gary Wills, Peter Smitham, Lester Gilbert, Mike Santer, Michael Kanani and Simon Grange
Type: Conference or Workshop Item
| 2011
Cost-Effective TSV Grouping for Yield Improvement of 3D-ICs - Yi Zhao, Saqib Khursheed and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2011
A Fast and Accurate Process Variation-aware Modeling Technique for Resistive Bridge Defects - Shida Zhong, Saqib Khursheed and Bashir Al-Hashimi
Type: Article
| 2011
Analysis of Resistive Bridge Defect Delay Behavior in the Presence of Process Variation - Shida Zhong, Saqib Khursheed, Bashir Al-Hashimi, Sudhakar Reddy and Krishnendu Chakrabarty
Type: Conference or Workshop Item
| 2011