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 2001
 | Up a level |
Number of items: 51.
Article
Topic 18 Parallel I/O and Storage Technology - Peter Brezany, Marianne Winslett, Denis A. Nicole and Toni Cortes
Type: Article
| 2001
The relevance vector machine technique for channel equalization application - S. Chen, S.R. Gunn and C.J. Harris
Type: Article
| 2001
Integrating observational and computational features in the specification of state-based, dynamical systems - Corina Cirstea
Type: Article
| 2001
Semantic constructions for the specification of objects - Corina Cirstea
Type: Article
| 2001
Hypermedia Information Systems in Industry - Richard Crowder, Wendy Hall, Gary Wills, Dave Humpreys and Jon Ash
Type: Article
| 2001
Regression with Input-dependent Noise: a Relevance Vector Machine Treatment - J.B. Gao, S.R. Gunn, C.J. Harris and M. Brown
Type: Article
| 2001
| Item not available on this server.
On a Class of Support Vector Kernels based on Frames in Function Hilbert Spaces - J.B. Gao, C.J. Harris and S.R. Gunn
Type: Article
| 2001
The Revised IOM Class Rules - Lester Gilbert
Type: Article
| 2001
| Item not available on this server.
On the Single Chip Implementation of a Hiperlan/2 and IEEE802.11a Capable Modem - Eckhard Grass, Klaus Tittelbach, Ulrich Jagdhold, Alfonso Troya, Gunther Lippert, Olaf Krueger, Jens Lehman, Koushik Maharatna, Norbert Fiebig, Kai Dombrowski, Rolf Kraemer and Patrick Maehoenen
Type: Article
| 2001
Type: Article
| 2001
A Tool for Evaluation of the Software Development Process - Peter Henderson, Yvonne Margaret Howard and Robert John Walters
Type: Article
| 2001
Type: Article
| 2001
Unique fixpoint induction for message-passing process calculi - Matthew Hennessy, Huimin Lin and Julian Rathke
Type: Article
| 2001
| Item availability restricted.
Type: Article
| 2001
A VLSI Array Architecture for Realization of DFT, DHT, DCT and DST - Koushik Maharatna, Anindya Sunder Dhar and Swapna Banerjee
Type: Article
| 2001
Simultaneous Reduction in Volume of Test Data and Power Dissipation for Systems-on-a-Chip - Paul Rosinger, Theo Gonciari, Bashir Al-Hashimi and Nicola Nicolici
Type: Article
| 2001
| Item not available on this server.
Practitioners' views on the use of formal methods: an industrial survey by structured interview - Colin Snook and Rachel Harrison
Type: Article
| 2001
Book
Advanced VCE in Information and Communication Technology Tutor's File - Lester Gilbert and Alastair de Watteville
Type: Book
| 2001
| Heinemann
| Item not available on this server.
Conference or Workshop Item
Model Based Engineering of Specifications by Retrenching Partial Requirements - Richard Banach and Michael Poppleton
Type: Conference or Workshop Item
| 2001
Type: Conference or Workshop Item
| 2001
A model-based image segmentation framework using labeled and unlabeled data - J.L. Chen, S.R. Gunn and M.S. Nixon
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
Markov Random Field Models for Segmentation of PET Images - J.L. Chen, S.R. Gunn, M.S. Nixon and R.N. Gunn
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
Comparison of modelling techniques in the analysis of commercial materials data - S.W. Christensen, P.A.S. Reed, S.R. Gunn and I. Sinclair
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
A review of the benefits of using hypermedia manuals - Richard Crowder, Y W Sim, Gary Wills and Richard Greenough
Type: Conference or Workshop Item
| 2001
Provision of industrial information resources through hypermedia - Richard Crowder, Gary Wills and Wendy Hall
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
Modeling the acoustic-to-auditory transformation for stop consonant-vowel syllables - R. I. Damper and S. R. Gunn
Type: Conference or Workshop Item
| 2001
A New Implementation for SVM Regression based on Mean Field Analysis - J.B. Gao, S.R. Gunn and C.J. Harris
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
Inconsistency Tolerance across Enterprise Solutions - Peter Henderson, Stephen Crouch and Robert John Walters
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
Approaches to imbalanced data for classification: a case study - K.K. Lee, C.J. Harris, S.R. Gunn and P.A.S. Reed
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
Regression models for classification to enhance interpretability - K.K. Lee, C.J. Harris, S.R. Gunn and P.A.S. Reed
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
Animation and Model Checking of CSP and B using Prolog Technology - Michael Leuschel, Laksono Adhianto, Michael Butler, Carla Ferreira and Leonid Mikhailov
Type: Conference or Workshop Item
| 2001
Type: Conference or Workshop Item
| 2001
Low power test compatibility classes: exploiting regularity for simultaneous reduction in test application time and power dissipation - N. Nicolici and B.M. Al-Hashimi
Type: Conference or Workshop Item
| 2001
Tackling Test Trade-offs for BIST RTL Data Paths: BIST Area Overhead, Test Application Time and Power Dissipation - N. Nicolici and B.M. Al-Hashimi
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
Power constrained test scheduling using power profile manipulation - Paul Rosinger, Bashir Al-Hashimi and Nicola Nicolici
Type: Conference or Workshop Item
| 2001
A Comparative Study of Formal and Informal Specifications through an Industrial Case Study - Manoranjan Satpathy, Rachel Harrison, Colin Snook and Michael Butler
Type: Conference or Workshop Item
| 2001
A Generic Model for Assessing Process Quality - Manoranjan Satpathy, Rachel Harrison, Colin Snook and Michael Butler
Type: Conference or Workshop Item
| 2001
Considering Power Variations of DVS Processing Elements for Energy Minimisation in Distributed Systems - Marcus T Schmitz and Bashir M Al-Hashimi
Type: Conference or Workshop Item
| 2001
A comparison among radical approaches to handwritten Chinese character recognition - D. Shi, S. R. Gunn and R. I. Damper
Type: Conference or Workshop Item
| 2001
| Item not available on this server.
A radical approach to handwritten Chinese character recognition using active handwriting models - D. Shi, S. R. Gunn and R. I. Damper
Type: Conference or Workshop Item
| 2001
Type: Conference or Workshop Item
| 2001
Embedded Systems Modelling and Validation based on Extended Petri Nets - Mauricio Varea and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2001
Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification - Mauricio Varea and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2001
Texture analysis with the Volterra model using conjugate gradient optimisation - A. I. Wilmer, T. Stathaki, S. R. Gunn and R. I. Damper
Type: Conference or Workshop Item
| 2001
Type: Conference or Workshop Item
| 2001
Monograph
Project Special Brew: Supercomputing on a budget - S.R. Gunn
Type: Monograph
| 2001
| Item not available on this server.
Thesis
Interpretable modelling with sparse kernels - J.S. Kandola
Type: Thesis
| 2001
| University of Southampton
Other
Non ideal performance of Bruton transformations switched current wave filters+ - B.M. Al-Hashimi and Y. Xie
Type: Other
| 2001
| IEE
| Item not available on this server.
Testability Trade-offs for BIST RTL Data Paths: The Case for Three Dimensional Design Space - N Nicolici and B M Al-Hashimi
Type: Other
| 2001
| IEEE
| Item not available on this server.
Type: Other
| 2001
| Institution of Engineering and Technology
| Item not available on this server.
Co-Synthesis with Energy Minimisation for Heterogeneous Distributed Systems containing Power Managed Processing Elements - Marcus T. Schmitz, Bashir M. Al-Hashimi and Petru Eles
Type: Other
| 2001
| Item not available on this server.