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 2009
 | Up a level |
Number of items: 114.
Hardware reduction methodology for 2-dimensional Kurtotic Fast ICA based on algorithmic analysis and architectural symmetry - Amit Acharyya, Koushik Maharatna and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2009
| Item availability restricted.
Memory Reduction Methodology for Distributed-Arithmetic-Based DWT/IDWT Exploiting Data Symmetry - Amit Acharyya, Koushik Maharatna, Bashir Al-Hashimi and Steve Gunn
Type: Article
| 2009
Hardware Efficient Fixed-Point VLSI Architecture for 2D Kurtotic FastICA - Amit Acharyya, Koushik Maharatna, Jinhong Sun, Bashir Al-Hashimi and Steve Gunn
Type: Conference or Workshop Item
| 2009
Physical Realizable Circuit Structure For Adaptive Frequency Hopf Oscillator - Arash Ahmadi, Eduardo Mangieri, Koushik Maharatna and Mark Zwolinski
Type: Conference or Workshop Item
| 2009
Type: Conference or Workshop Item
| 2009
Type: Conference or Workshop Item
| 2009
Unfolding grammars in adhesive categories - Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König and Paweł Sobociński
Type: Conference or Workshop Item
| 2009
Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction - Elisabeth Ball and Michael Butler
Type: Book Section
| 2009
| Springer
Deriving Safety Cases from Automatically Constructed Proofs - Nurlida Basir, Ewen Denney and Bernd Fischer
Type: Conference or Workshop Item
| 2009
Type: Conference or Workshop Item
| 2009
Decomposition Structures for Event-B - Michael Butler
Type: Conference or Workshop Item
| 2009
Incremental Design of Distributed Systems with Event-B - Michael Butler
Type: Book Section
| 2009
| IOS Press
Methods, Models and Tools for Fault Tolerance - Michael Butler, Cliff B Jones, Alexander Romanovsky and Elena Troubitsyna
Type: Book
| 2009
| Springer
| Item not available on this server.
Foreword: Festschrift for Mogens Nielsen's 60th birthday - Marco Carbone, Pawel Sobocinski and Frank D. Valencia
Type: Article
| 2009
| Item not available on this server.
Cloud Storage Framework – An Integrated Technical Approach and Prototype for Breast Cancer - Victor Chang
Type: Conference or Workshop Item
| 2009
Towards an secured e-Certificate System for use in e-Portfolios - Lisha Chen-Wilson, Rob Blowers, Andrew Gravell and David Argles
Type: Conference or Workshop Item
| 2009
Making laser safety training more cognitively effective: making training videos interactive and adaptive - Tom Cherrett, James C. Gates, Pearl John, Laura Holdaway-Salmon, Joseph Price, Gary B. Wills and Itiel E. Dror
Type: Conference or Workshop Item
| 2009
Making training more cognitively effective: making videos interactive - Tom Cherrett, Gary B. Wills, Joe Price, Sarah Maynard and Itiel E. Dror
Type: Article
| 2009
Type: Conference or Workshop Item
| 2009
On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification - John Colley and Michael Butler
Type: Conference or Workshop Item
| 2009
Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints - Lucas Cordeiro, Bernd Fischer, Huan Chen and Joao Marques-Silva
Type: Conference or Workshop Item
| 2009
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints - Lucas Cordeiro, Bernd Fischer, Huan Chen and Joao Marques-Silva
Type: Conference or Workshop Item
| 2009
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking - Lucas Cordeiro, Bernd Fischer and Joao Marques-Silva
Type: Monograph
| 2009
SMT-Based Bounded Model Checking for Embedded ANSI-C Software - Lucas Cordeiro, Bernd Fischer and Joao Marques-Silva
Type: Conference or Workshop Item
| 2009
Knowledge-based repository to support engineering design - RM Crowder, S Wong, N Shadbolt and G Wills
Type: Conference or Workshop Item
| 2009
| Item not available on this server.
Navigation Over a Large Ontology for Industrial Web Applications - Richard Crowder, Max L. Wilson, David Fowler, Nigel Shadbolt, Gary Wills and Sylvia Wong
Type: Conference or Workshop Item
| 2009
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B - Kriangsak Damchoom and Michael Butler
Type: Conference or Workshop Item
| 2009
Selective State Retention Design using Symbolic Simulation - Ashish Darbari, Bashir M Al Hashimi, David Flynn and John Biggs
Type: Conference or Workshop Item
| 2009
A verification-driven approach to traceability and documentation for auto-generated mathematical software - Ewen Denney and Bernd Fischer
Type: Conference or Workshop Item
| 2009
Efficient sparse kernel feature extraction based on partial least squares - Charanpal Dhanjal, Steve Gunn and John Shawe-Taylor
Type: Article
| 2009
| Item not available on this server.
Type: Article
| 2009
| Item not available on this server.
A standby-Sparing Technique with Low Energy-Overhead for Fault-Tolerant Hard Real-Time Systems - Alireza Ejlali, Bashir Al-Hashimi and Petru Eles
Type: Conference or Workshop Item
| 2009
Exploiting SWCNT Structural Variability Towards the Development of a Photovoltaic Device - Karim El Shabrawy, Koushik Maharatna and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2009
Defect-tolerant N2-transistor structure for reliable nanoelectronic designs - A.H. El-Maleh, B.M. Al-Hashimi, A. Melouki and F. Khan
Type: Article
| 2009
Fast payment schemes for truthful mechanisms with verification - Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino Sorrentino and Carmine Ventre
Type: Article
| 2009
Practical Short Signature Batch Verification - Anna Lisa Ferrara, Matthew Green, Susan Hohenberger and Michael Østergaard Pedersen
Type: Conference or Workshop Item
| 2009
Type: Conference or Workshop Item
| 2009
| IEEE
| Item not available on this server.
Re-purpose, Re-use: Reconsider - Lester Gilbert
Type: Article
| 2009
JISC Report on E-Assessment Quality (REAQ) in UK Higher Education - Lester Gilbert, Veronica Gale, Gary Wills and Bill Warburton
Type: Monograph
| 2009
Feature composition - towards product lines of event-B models - Ali Gondal, Mike Poppleton and Colin Snook
Type: Conference or Workshop Item
| 2009
Integration of Cellular Biological Structures Into Robotic Systems - Jeffrey Gough, Gareth Jones, Chris Lovell, Paul Macey, Hywel Morgan, Ferran Revilla, Robert Spanton, Soichiro Tsuda and Klaus-Peter Zauner
Type: Article
| 2009
Enhancing Grid Service Discovery with a Semantic Wiki and the Concept Matching Approach - Tao Guan, David Fowler, Ayomi Bandara, Ed Zaluska, David De Roure, Richard Crowder and Gary Wills
Type: Conference or Workshop Item
| 2009
A Semantic System for Rapid Information Search and Access - Tao Guan, David Fowler, Richard Crowder, Nigel Shadbolt, Feng Tao and Gary Wills
Type: Conference or Workshop Item
| 2009
A Semantic Matching Approach for Distributed RDF Data Query on a Knowledge Bus - Tao Guan, David Fowler, Richard Crowder, Feng Tao, Nigel Shadbolt and Gary Wills
Type: Conference or Workshop Item
| 2009
LifeGuide: a platform for performing web-based behavioural interventions - Jonathan Hare, Adrian Osmond, Yang Yang, Gary Wills, Mark Weal, David De Roure, Judith Joseph and Lucy Yardley
Type: Conference or Workshop Item
| 2009
Type: Conference or Workshop Item
| 2009
| Item availability restricted.
A Conceptual Framework For Gender-Inclusivity - Roziana Ibrahim
Type: Thesis
| 2009
Game Design Model for Gender-Inclusivity - Roziana Ibrahim
Type: Conference or Workshop Item
| 2009
Reading the Game:Game Simulation Development - Roziana Ibrahim
Type: Monograph
| 2009
Reading the Game:Introduction to Video Game Design and Development - Roziana Ibrahim
Type: Monograph
| 2009
Process variation-aware test for resistive bridges - Urban Ingelsson, Bashir M. Al-Hashimi, Saqib Khursheed, Sudhakar M. Reddy and Peter Harrod
Type: Article
| 2009
HSPICE implementation of a numerically efficient model of CNT transistor - Tom Kazmierski, Dafeng Zhou and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2009
Type: Book Section
| 2009
| Springer
Test Cost Reduction for Multiple-Voltage Designs with Bridge Defects through Gate-Sizing - Syed Saqib Khursheed, Bashir Al-Hashimi and Peter Harrod
Type: Conference or Workshop Item
| 2009
Diagnosis of Multiple-Voltage Design with Bridge Defect - Syed Saqib Khursheed, Bashir Al-Hashimi, Sudhakar M. Reddy and Peter Harrod
Type: Article
| 2009
Predicting relevance of parts of an image - Arto Klami, Samuel Kaski, Kitsuchart Pasupa, Sandor Szedmak, Steve Gunn, David Hardoon and Gabriela Csurka
Type: Monograph
| 2009
Synote: Enhancing Multimedia E-Learning with Synchronised Annotation - Yunjia Li, Mike Wald, Shakeel Khoja, Gary Wills, David Millard, Jiri Kajaba, Priyanaka Singh and Lester Gilbert
Type: Conference or Workshop Item
| 2009
Type: Conference or Workshop Item
| 2009
Autonomous experimentation: coupling machine learning with computer controlled microfluidics - C.J. Lovell, G. Jones and K.-P. Zauner
Type: Conference or Workshop Item
| 2009
Biologically inspired analogue signal processing: some results towards developing next generation signal analyzers - K. Maharatna, A. Ahmadi and E. Magieri
Type: Conference or Workshop Item
| 2009
| IEEE
| Item not available on this server.
Biologically inspired analogue signal processing: some results towards developing next generation signal analysers - Koushik Maharatna, Arash Ahmadi and Eduardo Mangieri
Type: Conference or Workshop Item
| 2009
| Item not available on this server.
50 Years of CORDIC: Algorithms, Architectures, and Applications - Pramod Meher, Javier Valls, Tso-Bing Juang, K Sridharan and Koushik Maharatna
Type: Article
| 2009
Fault Tolerance Techniques for Hybrid CMOS/Nano Architecture - Aissa Melouki, Saket Srivastava and Bashir Al-Hashimi
Type: Article
| 2009
Energy-Aware Simulation for Wireless Sensor Networks - Geoff Merrett, Neil White, Nick Harris and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2009
An Instrumented Crutch for Monitoring Patients' Weight Distribution during Orthopaedic Rehabilitation - Geoff V Merrett, Christian Peters, Georgina Hallett and Neil M White
Type: Conference or Workshop Item
| 2009
Co-design and Co-deployment Methodologies for Innovative m-Learning Systems - David Millard, Yvonne Howard, Lester Gilbert and Gary Wills
Type: Book Section
| 2009
| IGI Global
Pragmatic web service design: An agile approach with the service responsibility and interaction design method - David E. Millard, Yvonne Howard, Noura Abbas, Hugh C. Davis, Lester Gilbert, Gary B. Wills and Robert J. Walters
Type: Article
| 2009
Variation Resilient Adaptive Controller for Subthreshold Circuits - B Mishra, Bashir Al-Hashimi and Mark Zwolinski
Type: Conference or Workshop Item
| 2009
A signal theory approach to support vector classification: the sinc kernel - James D.B. Nelso, Robert I. Damper, Steve R. Gunn and Baofeng Guo
Type: Article
| 2009
Semantic Competency-Based System for Recommending Study Materials - Athitaya Nitchot
Type: Other
| 2009
Type: Conference or Workshop Item
| 2009
| Item availability restricted.
Designing authoring tools for the creation of on-line behavioural interventions - Adrian Osmond, Jonathan Hare, Joseph Price, Ashley Smith, Mark Weal, Gary Wills, Yang Yang, Lucy Yardley and David De Roure
Type: Conference or Workshop Item
| 2009
The design of effective feedback in computer-based sport training - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2009
A Framework for Pedagogical Feedback in the Motor Skill Domain - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2009
Improving the knowledge exchange landscape in the Cape Flats, a developing community in South Africa - Marlon Parker and Gary Wills
Type: Article
| 2009
Ranking algorithms for implicit feedback - Kitsuchart Pasupa, Craig Saunders, Sandor Szedmak, Steve Gunn, David Hardoon, Arto Klami, Samuel Kaski, Alex Leung and Peter Auer
Type: Monograph
| 2009
Learning to Rank Images from Eye Movements - Kitsuchart Pasupa, Craig Saunders, Sandor Szedmak, Arto Klami, Samuel Kaski and Steve Gunn
Type: Conference or Workshop Item
| 2009
Migrating Protocols In Multi-Threaded Message-Passing Systems - Julian Rathke and Gabrielle Anderson
Type: Conference or Workshop Item
| 2009
| Item availability restricted.
Type: Conference or Workshop Item
| 2009
Type: Article
| 2009
| Item not available on this server.
Accurate linear model for SET critical charge estimation - Daniele Rossi, Jose' Manuel Cazeaux, Martin Omana, Cecilia Metra and Abhijit Chatterjee
Type: Article
| 2009
| Item availability restricted.
Type: Conference or Workshop Item
| 2009
Language and tool support for class and state machine refinement in UML-B - Mar Yah Said, Michael Butler and Colin Snook
Type: Conference or Workshop Item
| 2009
| Springer
Type: Monograph
| 2009
Comparative Reliability Analysis between AMBA and Network-on-Chip: An MPEG-2 Case Study - Rishad Ahmed Shafik and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2009
Soft error-aware voltage scaling technique for power minimization in application-specific MPSoC - Rishad Ahmed Shafik, Bashir M. Al-Hashimi, Sandip Kundu and Alireja Ejlali
Type: Article
| 2009
| Item availability restricted.
Effect of Variability in SWCNT-Based Logic Gates - Hamed Shahidipour, Arash Ahmadi and Koushik Maharatna
Type: Conference or Workshop Item
| 2009
Type: Conference or Workshop Item
| 2009
Type: Conference or Workshop Item
| 2009
Transforming a competency model to parameterised questions in assessment - Onjira Sitthisak, Lester Gilbert and Hugh Davis
Type: Conference or Workshop Item
| 2009
| Springer
A non-interleaving process calculus for multi-party synchronisation - Pawel Soboci\'nski
Type: Conference or Workshop Item
| 2009
A Basis for feature-oriented modelling in Event-B - Jennifer Sorge, Michael Poppleton and Michael Butler
Type: Monograph
| 2009
Defect Tolerance in Hybrid nano/CMOS Architecture using Tagging Mechanism - Saket Srivastava, Aissa Melouki and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2009
Repair Techniques for Hybrid Nano/CMOS Computational Architecture - Saket Srivastava, Aissa Melouki and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2009
Semantic Technologies in Learning and Teaching (SemTech) - JISC Report - Thanassis Tiropanis, Hugh Davis, David Millard, Mark Weal, Su White and Gary Wills
Type: Other
| 2009
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability - Salvatore La Torre, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2009
Analyzing recursive programs using a fixed-point calculus - Salvatore La Torre, Parthasarathy Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2009
Synchronised Annotation of Multimedia - Mike Wald, Gary Wills, David Millard, Lester Gilbert, Shakeel Khoja, Jiri Kajaba and Yunjia Li
Type: Conference or Workshop Item
| 2009
Enhancing learning using synchronised multimedia annotation - Mike Wald, Gary Wills, David Millard, Lester Gilbert, Shakeel Khoja, Jiri Kajaba, Yunjia Li and Priyanaka Singh
Type: Conference or Workshop Item
| 2009
An automated design flow for vibration-based energy harvester systems - Leran Wang, Tom Kazmierski, Bashir Al-Hashimi, Steve Beeby and Dibin Zhu
Type: Conference or Workshop Item
| 2009
Plug-and-Play Power Resources and Agent-Based Coordination for Energy-Aware Wireless Sensor Nodes - A. S. Weddell, W. T. L. Teacy, N. J. Grabham, G. V. Merrett, N. R. Harris, A. Rogers, N. M. White and N. R. Jennings
Type: Conference or Workshop Item
| 2009
Energy Devices for Sensor Networks: Properties for Simulation and Deployment - Alex S. Weddell, Geoff V. Merrett, Nick R. Harris and Neil M. White
Type: Conference or Workshop Item
| 2009
An E-Learning Framework for Assessment (FREMA) - Gary Wills, Christopher Bailey, Hugh Davis, Lester Gilbert, Yvonne Howard, Steve Jeyes, David Millard, Joseph Price, Niall Sclater, Robert Sherratt, Iain Tulloch and Rowin Young
Type: Article
| 2009
Delivery of QTIv2 question types - Gary Wills, Hugh Davis, Lester Gilbert, Jonathon Hare, Yvonne Howard, Steve Jeyes, David Millard and Robert Sherratt
Type: Article
| 2009
Social and Community Informatics and Social Theories of Networks - Julia Wills, Marlon Parker and Gary Wills
Type: Monograph
| 2009
Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B - Divakar Yadav and Michael Butler
Type: Book Section
| 2009
| Springer
Type: Conference or Workshop Item
| 2009
Java implementation platform for the integrated state- and event-based specification in PROB - Letu Yang and Michael Poppleton
Type: Article
| 2009
Supporting the running and analysis of trials of web-based behavioural interventions: the LifeGuide - Yang Yang, Adrian Osmond, Xiaoyu Chen, Mark Weal, Gary Wills, David De Roure, Judith Joseph and Lucy Yardley
Type: Conference or Workshop Item
| 2009
LifeGuide: an infrastructure for empowering behavioural intervention research - Yang Yang, Adrian Osmond, Mark Weal, Gary Wills, David De Roure, Judith Joseph and Lucy Yardley
Type: Conference or Workshop Item
| 2009
Introduction to the LifeGuide: software facilitating the development of interactive behaviour change internet interventions - Lucy Yardley, Adrian Osmond, Jonathan Hare, Gary Wills, Mark Weal, David De Roure and Susan Michie
Type: Conference or Workshop Item
| 2009
A conceptual framework for serious games - Amri Yusoff, Richard Crowder, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2009
An E-learning Support Toolkit for Social Work Students on Placement - Pei Zhang, Gary Wills, Yvonne Howard, Samia Oussena, Dean Kramer, Ravinder Barn and Balbir Barn
Type: Conference or Workshop Item
| 2009
VHDL–AMS implementation of a numerical ballistic CNT model - Dafeng Zhou, Tom Kazmierski and Bashir Al-Hashimi
Type: Book Section
| 2009
| Springer