The University of Southampton
University of Southampton Institutional Repository

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 2004

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

Classifiers Combination for Improved Motion Segmentation - A. H. Al-Mazeed, M. S. Nixon and S. R. Gunn
Type: Conference or Workshop Item | 2004

Type: Conference or Workshop Item | 2004

Overhead-Conscious Voltage Selection for Dynamic and Leakage Power Reduction of Time-Constraint Systems - Alexandru Andrei, Marcus T Schmitz, Petru Eles, Zebo Peng and Bashir M Al-Hashimi
Type: Conference or Workshop Item | 2004

Simultaneous Communication and Processor Voltage Scaling for Dynamic and Leakage Energy Reduction in Time-Constrained Systems - Alexandru Andrei, Marcus T Schmitz, Petru Eles, Zebo Peng and Bashir M Al-Hashimi
Type: Conference or Workshop Item | 2004

Type: Conference or Workshop Item | 2004

The Use of Formal Methods in the Analysis of Trust (Position Paper) - Michael Butler, Michael Leuschel, Stephane Lo Presti and Phillip Turner
Type: Conference or Workshop Item | 2004

Evolving a Digital Library Environment to the Changing Needs of its Users - Leslie Carr, Timothy Miles-Board, Gary Wills, Guillermo Power, Christopher Bailey, Wendy Hall and Simon Grange
Type: Conference or Workshop Item | 2004

Extending the Role of Digital Library: Computer Support for Creating Articles - Leslie Carr, Timothy Miles-Board, Gary Wills, Guillermo Power, Christopher Bailey, Wendy Hall and Simon Grange
Type: Conference or Workshop Item | 2004

Towards a Knowledge-Aware Office Environment - Leslie Carr, Timothy Miles-Board, Gary Wills, Arouna Woukeu and Wendy Hall
Type: Conference or Workshop Item | 2004

Towards a Knowledge-Aware Office Environment - Leslie Carr, Timothy Miles-Board, Gary Wills, Arouna Woukeu and Wendy Hall
Type: Conference or Workshop Item | 2004

The Case for Explicit Knowledge in Documents - Leslie Carr, Timothy Miles-Board, Arouna Woukeu, Gary Wills and Wendy Hall
Type: Conference or Workshop Item | 2004

Minimum Weighted Feedback Vertex Set on Diamonds - Francesco Carrabs, Raffaele Cerulli, Monica Gentili and Gennaro Parlato
Type: Conference or Workshop Item | 2004 | Item not available on this server.

Minimum Weighted Feedback Vertex Set on Diamonds - Francesco Carrabs, Raffaele Cerulli, Monica Gentili and Gennaro Parlato
Type: Article | 2004

New high speed CMOS self-checking voter - Jose' Manuel Cazeaux, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item | 2004 | Item availability restricted.

Unified Active Filter Structures - Chun-Ming Chang, Bashir M. Al-Hashimi and Neil J. Ross
Type: Article | 2004

New High Order Filter Structures Using Only Single-Ended-Input OTAs and Grounded Capacitors - Chun-Ming Chang, Bashir M. Al-Hashimi, Y. Sun and Neil J. Ross
Type: Article | 2004

Type: Article | 2004

Type: Conference or Workshop Item | 2004

Modular Construction of Modal Logics - Corina Cirstea and Dirk Pattinson
Type: Conference or Workshop Item | 2004

Type: Conference or Workshop Item | 2004

Cooperative Information Sharing to Improve Distributed Learning - Partha S. Dutta, Srinandan Dasmahapatra, Steve R. Gunn, N. R. Jennings and Luc Moreau
Type: Conference or Workshop Item | 2004

Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond - Bernd Fischer, Kevin Knuth, Arsen Hajian and Johann Schumann
Type: Conference or Workshop Item | 2004

Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond - Bernd Fischer, Kevin Knuth, Arsen Hajian and Johann Schumann
Type: Conference or Workshop Item | 2004 | Item not available on this server.

The Designers' Workbench: Using Ontologies and Constraints for Configuration. - David W. Fowler, Derek Sleeman, Gary Wills, Terry Lyon and David Knott
Type: Conference or Workshop Item | 2004

Type: Conference or Workshop Item | 2004

Modelling Airbus Flight using a Circuit Design language - P.W. Garratt, E. Yilmaz and A. Rushton
Type: Conference or Workshop Item | 2004 | Item not available on this server.

Building a Flight Control System for a Modelled Aircraft - Paul William Garratt, Andrew Rushton and Esat Yilmaz
Type: Conference or Workshop Item | 2004

A Compression-Driven Test Access Mechanism Design Approach - Paul Theo Gonciari and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2004

Using a dynamic review process for orthopaedic hand research - S. Grange, G.B. Wills, C. Bailey, L. Carr, W. Hall and D. Warwick
Type: Conference or Workshop Item | 2004

Result Analysis of the NIPS 2003 Feature Selection Challenge - I.M. Guyon, S.R. Gunn, A. Ben-Hur and G. Dror
Type: Conference or Workshop Item | 2004 | Item not available on this server.

Performance Analysis of Probabilistic Action Systems - Stefan Hallerstede and Michael Butler
Type: Article | 2004

Type: Conference or Workshop Item | 2004

Implementing Hierarchical Features in a Graphically Based Formal Modelling Language - Peter Henderson, Robert John Walters and Stephen Crouch
Type: Conference or Workshop Item | 2004

Type: Article | 2004 | Item availability restricted.

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

SafeDpi: a language for controlling mobile code - Matthew Hennessy, Julian Rathke and Nobuko Yoshida
Type: Book | 2004 | Springer-Verlag | Item not available on this server.

Discovering Planetary Nebula Geometries: Explorations with a Hierarchy of Models - Karen A. Huyser, Kevin H. Knuth, Bernd Fischer, Johann Schumann, Domhnull Granquist-Fraser and Arsen R. Hajian
Type: Conference or Workshop Item | 2004

Type: Conference or Workshop Item | 2004

Type: Article | 2004 | Item availability restricted.

Baseband processor for IEEE 802.11a standard with embedded BIST - Milos Krstic, Koushik Maharatna, Alfonso Troya, Eckhard Grass and Ulrich Jagdhold
Type: Article | 2004

Formal Modelling and Verification of Trust in a Pervasive Application - Stephane Lo Presti, Michael Butler, Michael Leuschel, Colin Snook and Phillip Turner
Type: Monograph | 2004 | s.n.

Type: Article | 2004

New virtually scaling free adaptive CORDIC rotator - Koushik Maharatna, Alfonso Troya, Swapna Banerjee and Eckhard Grass
Type: Article | 2004

A 16-bit CORDIC rotator for high-performance wireless LAN - Koushik Maharatna, Alfonso Troya, Swapna Banerjee, Eckhard Grass and Milos Krstic
Type: Conference or Workshop Item | 2004

A CORDIC like processor for computation of arctangent and absolute magnitude of a vector - Koushik Maharatna, Alfonso Troya, Milos Krstic, Eckhard Grass and Ulrich Jagdhold
Type: Conference or Workshop Item | 2004

Adaptive Link Services for the Semantic Web - Thanyalak Maneewatthana, Gary Wills and Wendy Hall
Type: Conference or Workshop Item | 2004

Type: Conference or Workshop Item | 2004

Towards Semantic Web Support for Writing Project Proposals - Timothy Miles-Board, Leslie Carr, Arouna Woukeu, Gary Wills and Wendy Hall
Type: Conference or Workshop Item | 2004

Testability Trade-offs for BIST Data Paths - Nicola Nicolici and Bashir M. Al-Hashimi
Type: Article | 2004

Fast and low-cost clock deskew buffer - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item | 2004 | Item availability restricted.

Model for transient fault susceptibility of combinational circuits - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Article | 2004 | Item availability restricted.

Type: Conference or Workshop Item | 2004 | Item not available on this server.

Type: Conference or Workshop Item | 2004 | Item not available on this server.

Using machine learning to predict severity in acute pancreatitis - C.B. Pearce, S.R. Gunn, A. Ahmed and C.D. Johnson
Type: Conference or Workshop Item | 2004 | Item not available on this server.

Requirements Validation by Lifting Retrenchments in B - Michael R. Poppleton and Richard N. Banach
Type: Conference or Workshop Item | 2004

Ensemble Algorithms for Feature Selection - J.D. Rogers and S.R. Gunn
Type: Conference or Workshop Item | 2004 | Item not available on this server.

Type: Article | 2004

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

Iterative schedule optimisation for voltage scalable distributed embedded systems - Marcus T Schmitz, Bashir M Al-Hashimi and Petru Eles
Type: Article | 2004

Iterative Schedule Optimization for Voltage Scalable Distributed Embedded Systems - Marcus T Schmitz, Bashir M Al-Hashimi and Petru Eles
Type: Article | 2004

System-Level Design Techniques for Energy-Efficient Embedded Systems - Marcus T Schmitz, Bashir M Al-Hashimi and Petru Eles
Type: Book | 2004 | Kluwer Academic Publishers | Item not available on this server.

Co-Synthesis of Energy Efficient Multi-Mode Embedded Systems - Marcus T. Schmitz, Bashir M. Al-Hashimi and Petru Eles
Type: Article | 2004

System-Level Design Techniques for Energy-Efficient Embedded Systems - Marcus T. Schmitz, Bashir M. Al-Hashimi and Petru Eles
Type: Book | 2004 | Kluwer Academic Publishers, Boston | Item not available on this server.

Type: Article | 2004 | Item availability restricted.

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

U2B - A tool for translating UML-B models into B - Colin Snook and Michael Butler
Type: Book Section | 2004 | Springer | Item not available on this server.

Rigorous development of reusable, domain-specific components, for complex applications - Colin Snook, Michael Butler, Andy Edmunds and Ian Johnson
Type: Conference or Workshop Item | 2004

The UML-B Profile for formal systems modelling in UML - Colin Snook, Michael Butler and Ian Oliver
Type: Book Section | 2004 | Springer | Item not available on this server.

Type: Thesis | 2004 | Item not available on this server.

Using Otoacoustic Emissions as a Biometric - Matthew Swabey, Stephen Beeby, Andrew Brown and John Chad
Type: Conference or Workshop Item | 2004

Investigation into the uniqueness of neonate transient otoacoustic emissions - Matthew A Swabey, Stephen P Beeby, Andrew D Brown and John E Chad
Type: Article | 2004

Type: Conference or Workshop Item | 2004 | Item not available on this server.

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

Type: Article | 2004 | Item availability restricted.

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

Paired Programming for Non-Computing Students. - GB Wills, HC Davis and EC Cooke
Type: Conference or Workshop Item | 2004

Issues in Moving to a Semantic Web for a Large Corporation - Gary Wills, David Fowler, Derek Sleeman, Richard Crowder, Simon Kampa, Leslie Carr and David Knott
Type: Conference or Workshop Item | 2004

Ontological Driven Learning Agreements - Gary Wills, Arouna Woukeu, Christopher Bailey, A. Ong, Leslie Carr, Grainne Conole, Wendy Hall and Simon Grange
Type: Conference or Workshop Item | 2004 | Item availability restricted.

Type: Conference or Workshop Item | 2004

Type: Conference or Workshop Item | 2004

'Switched-Current Wave Group Delay Equalizers' - Yan Xie and Bashir Al-Hashimi
Type: Article | 2004

Type: Conference or Workshop Item | 2004 | Item not available on this server.

This list was generated on Tue Nov 6 01:30:18 2018 GMT.
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.

×