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 |
Number of items: 72.
Article
Minimum Weighted Feedback Vertex Set on Diamonds - Francesco Carrabs, Raffaele Cerulli, Monica Gentili and Gennaro Parlato
Type: Article
| 2004
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
A compositional approach to defining logics for coalgebras - Corina Cirstea
Type: Article
| 2004
Type: Article
| 2004
Towards a behavioural theory of access and mobility control in distributed systems - Matthew Hennessy, Massimo Merro and Julian Rathke
Type: Article
| 2004
| Item availability restricted.
Typed behavioural equivalences for processes in the presence of subtyping - Matthew Hennessy and Julian Rathke
Type: Article
| 2004
| Item not available on this server.
A theory of bisimulation for a fragment of concurrent ML with local names - Alan Jeffrey and Julian Rathke
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
A 64-point Fourier transform chip for high-speed wireless LAN application using OFDM - Koushik Maharatna, Eckhard Grass and Ulrich Jagdhold
Type: Article
| 2004
New virtually scaling free adaptive CORDIC rotator - Koushik Maharatna, Alfonso Troya, Swapna Banerjee and Eckhard Grass
Type: Article
| 2004
Type: Article
| 2004
Model for transient fault susceptibility of combinational circuits - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Article
| 2004
| Item availability restricted.
Scan architecture with mutually exclusive scan segment activation for shift and capture power reduction - Paul Rosinger, Bashir Al-Hashimi and Nicola Nicolici
Type: Article
| 2004
Co-Synthesis of Energy Efficient Multi-Mode Embedded Systems - Marcus T. Schmitz, Bashir M. Al-Hashimi and Petru Eles
Type: Article
| 2004
Iterative schedule optimisation for voltage scalable distributed embedded systems - Marcus T. Schmitz, Bashir M. Al-Hashimi and Petru Eles
Type: Article
| 2004
Comparative Study of Weiner-Hopf and LMS algorithm for Adaptive Noise Cancellation of Speech - Rishad Ahmed Shafik and Abu Hena Mohammad Razibul Islam
Type: Article
| 2004
| Item availability restricted.
A Novel Approach to Noisy Speech recognition using DTW algorithm with Mel-Frequency Cepstral Coefficients - Rishad Ahmed Shafik and Fazli Qayyum Yousaf-Zai
Type: Article
| 2004
| Item not available on this server.
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
Power-Aware Design Method for Class-A Switched-Current Wave Filters - R Wilcock and B. M. Al-Hashimi
Type: Article
| 2004
| Item availability restricted.
Type: Article
| 2004
Book
SafeDpi: a language for controlling mobile code - Matthew Hennessy, Julian Rathke and Nobuko Yoshida
Type: Book
| 2004
| Springer
| Item not available on this server.
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.
Book Section
Type: Book Section
| 2004
| Springer
| Item not available on this server.
Type: Book Section
| 2004
| Springer
| Item not available on this server.
Conference or Workshop Item
Classifiers Combination for Improved Motion Segmentation - A. H. Al-Mazeed, M. S. Nixon and S. R. Gunn
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
An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions - Michael Butler and Carla Ferreira
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
| Springer
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.
Type: Conference or Workshop Item
| 2004
| Item availability restricted.
On Logics for Coalgebraic Simulation - Corina Cirstea
Type: Conference or Workshop Item
| 2004
Type: Conference or Workshop Item
| 2004
Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software - Ewen Denney, Bernd Fischer and Johann Schumann
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
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
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.
Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-level Information Propagation - Peter Henderson, Stephen Crouch and Robert John Walters
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
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
Design Consideration and Implementation of Analog Adaptive Filters for Sensor Response Correction - Mehdi Jafaripanah, Bashir Al-Hashimi and Neil M. White
Type: Conference or Workshop Item
| 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
Type: Conference or Workshop Item
| 2004
Leakage Power Analysis and Comparison of Deep Submicron Logic Gates - Geoff Merrett and Bashir M. Al-Hashimi
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
Type: Conference or Workshop Item
| 2004
| Item availability restricted.
Investigation of the use of machine learning in predicting 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.
The use of machine learning techniques 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.
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.
Type: Conference or Workshop Item
| 2004
| Item not available on this server.
Impact of ECCs on simultaneously switching output noise for on-chip busses of high reliability systems [error correcting codes] - Daniele Rossi, Andrea Muccio, Andre Nieuwland, Atul Katoch and Cecilia Metra
Type: Conference or Workshop Item
| 2004
| Item availability restricted.
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
Power-Conscious Design Methodology for Class-A Switched-Current Wave Filters - R Wilcock and B. M. Al-Hashimi
Type: Conference or Workshop Item
| 2004
| Item availability restricted.
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.
Dynamic and Leakage Power-Composition Profile Driven Co-Synthesis for Energy and Cost Reduction - Dong Wu, Bashir M Al-Hashimi and Petru Eles
Type: Conference or Workshop Item
| 2004
Type: Conference or Workshop Item
| 2004
Type: Conference or Workshop Item
| 2004
| Item not available on this server.
Monograph
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
Thesis
Deriving process congruences from reaction rules - P Sobocinski
Type: Thesis
| 2004
| Item not available on this server.