The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Electronics & Computer Science > Cyber Physical Systems" and Year is 2009

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: 124.

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\"onig and Paweł Soboci\'nski
Type: Conference or Workshop Item | 2009 | Item not available on this server.

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

Deriving Safety Cases from Machine-Generated Proofs - Nurlida Basir, Ewen Denney and Bernd Fischer
Type: Conference or Workshop Item | 2009

Type: Conference or Workshop Item | 2009

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.

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

EXPTIME Tableaux for the Coalgebraic Mu-Calculus - Corina Cirstea, Clemens Kupke and Dirk Pattinson
Type: Conference or Workshop Item | 2009

Type: Conference or Workshop Item | 2009

Type: Conference or Workshop Item | 2009

Type: Conference or Workshop Item | 2009

Type: Monograph | 2009 | s.n.

SMT-Based Bounded Model Checking for Embedded ANSI-C Software - Lucas Cordeiro, Bernd Fischer and Joao Marques-Silva
Type: Monograph | 2009 | s.n.

SMT-Based Bounded Model Checking for Embedded ANSI-C Software - Lucas Cordeiro, Bernd Fischer and Joao Marques-Silva
Type: Conference or Workshop Item | 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

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

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.

Guest editors' introduction - A Egyed and B Fischer
Type: Article | 2009 | Item not available on this server.

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

Modeling SWCNT Band-gap and Effective Mass Variation using a Monte Carlo Approach - Karim El Shabrawy, Koushik Maharatna, Darren Bagnall and Bashir Al-Hashimi
Type: Article | 2009

Defect Tolerant N^2-Transistor Structure for Reliable Nanoelectronic Designs - Aiman El-Maleh, Bashir Al-Hashimi and Aissa Melouki
Type: Book | 2009 | IET Computers & Digital Techniques

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

Program repair as sound optimization of broken programs - B. Fischer, A. Saabas and T. Uustalu
Type: Article | 2009 | Item not available on this server.

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 | s.n.

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

Van Kampen colimits as bicolimits in Span - Tobias Heindel and Paweł Soboci\'nski
Type: Conference or Workshop Item | 2009 | Item availability restricted.

Type: Thesis | 2009

Type: Conference or Workshop Item | 2009

Type: Monograph | 2009 | s.n.

Type: Monograph | 2009 | s.n.

Process variation-aware test for resistive bridges - Urban Ingelsson, Bashir M. Al-Hashimi, Saqib Khursheed, Sudhakar M. Reddy and Peter Harrod
Type: Article | 2009

Application of the LifeGuide: The development and quantitative analysis of the 'Internet Doctor' - J.A. Joseph, L. Yardley, Jonathan Hare, Adrian Osmond, Yang Yang, Mark Weal and Gary Wills
Type: Conference or Workshop Item | 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

Test Strategies for Multi-Voltage Designs - Syed Saqib Khursheed and Bashir Al-Hashimi
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 | s.n.

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

Type: Conference or Workshop Item | 2009

On an Extensible Rule-based Prover for Event-B - Issam Maamria, Michael Butler, Andrew Edmunds and Abdolbaghi Rezazadeh
Type: Monograph | 2009 | s.n.

Type: Article | 2009 | Item not available on this server.

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

Type: Other | 2009

Novel high speed robust latch - Martin Omana, Daniele Rossi and Cecilia Metra
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

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 | s.n.

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

Type: Conference or Workshop Item | 2009 | Item availability restricted.

Making the unobservable, unobservable - Julian Rathke and Pawel Soboci\'nski
Type: Conference or Workshop Item | 2009

Type: Conference or Workshop Item | 2009

Type: Article | 2009 | Item not available on this server.

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.

Class and State Machine Re?nement in UML-B - Mar Yah Said, Michael Butler and Colin Snook
Type: Conference or Workshop Item | 2009

Type: Conference or Workshop Item | 2009 | Springer

Animation of UML-B State-machines - Vitaly Savicks, Colin Snook and Michael Butler
Type: Monograph | 2009 | s.n.

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: Monograph | 2009 | s.n.

Type: Conference or Workshop Item | 2009

Type: Conference or Workshop Item | 2009

Affordances of machine-processable competency modelling - Onjira Sitthisak and Lester Gilbert
Type: Conference or Workshop Item | 2009

Improving the pedagogical expressiveness of IMS LD - Onjira Sitthisak and Lester Gilbert
Type: Conference or Workshop Item | 2009

Transforming a competency model to parameterised questions in assessment - Onjira Sitthisak, Lester Gilbert and Hugh Davis
Type: Article | 2009

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 | s.n.

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 | s.n.

Type: Book Section | 2009 | Springer

Type: Conference or Workshop Item | 2009

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

This list was generated on Tue Jul 17 01:31:07 2018 BST.
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 https://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.

×