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 2000
 | Up a level |
Number of items: 42.
Article
Linear spectral mixture models and support vector machines for remote sensing - M. Brown, H.G. Lewis and S.R. Gunn
Type: Article
| 2000
| Item not available on this server.
csp2B: A Practical Approach to Combining CSP and B - M. J. Butler
Type: Article
| 2000
Decision feedback equalizer design using support vector machines - S. Chen, S.R. Gunn and C.J. Harris
Type: Article
| 2000
Industrial strength hypermedia : Design, Implementation and Application. - Richard M Crowder, Wendy Hall, Ian Health and Gary Wills
Type: Article
| 2000
| Item not available on this server.
Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants - R. I. Damper, S. R. Gunn and M. O. Gore
Type: Article
| 2000
Efficient methods for handling long-range forces in particle-particle simulations - Hans Fangohr, Andrew R. Price, Simon J. Cox, Peter A.J. de Groot, Geoffrey J. Daniell and Ken S. Thomas
Type: Article
| 2000
Programming by Numbers: A Programming Method for Complete Novices - H. Glaser, P. H. Hartel and P. W. Garratt
Type: Article
| 2000
Towards a new authoring methodology for large scale hypermedia applications - Ian Heath, Gary Wills, Richard Crowder, Wendy Hall and Jim Ballantyne
Type: Article
| 2000
BIST hardware synthesis for RTL data paths based on test compatibility classes - N. Nicolici, B.M. Al-Hashimi, A.D. Brown and A.C. Williams
Type: Article
| 2000
Minimising power dissipation during test application in full scan sequential circuits by primary input freezing - N. Nicolici, B.M. Al-Hashimi and A.C. Williams
Type: Article
| 2000
An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML - Mark Papiani, Jasmin L. Wason and Denis A. Nicole
Type: Article
| 2000
Recognition rule acquisition by an advanced extension matrix algorithm - D. Shi, S. R. Gunn, R. I. Damper and W. Shu
Type: Article
| 2000
| Item not available on this server.
Ada User Journal - Ken Thomas
Type: Article
| 2000
| Item not available on this server.
Book
Type: Book
| 2000
| Heinemann
| Item not available on this server.
Conference or Workshop Item
Current mode group delay equalisation using pole-zero mirroring techniques - B.M. Al-Hashim, F. Dudek and M. Moniri
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Type: Conference or Workshop Item
| 2000
Type: Conference or Workshop Item
| 2000
A Supervised Method for PET Reference Region Extraction - J.L. Chen, S.R. Gunn, M.S. Nixon, R.P. Myers and R.N. Gunn
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
An Algebra-Coalgebra Framework for System Specification - Corina Cirstea
Type: Conference or Workshop Item
| 2000
Current mode elliptic filter design based on symmetrical current switching - F. Dudek, B.M. Al-Hashimi and M. Moniri
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
A Variational Approach for Adapting Kernels in Support Vector Regression - J.B. Gao, S.R. Gunn and J.S. Kandola
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
The error bar estimation for soft classification with Gaussian process models - J.B. Gao, C.J. Harris, S.R. Gunn and M. Brown
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Modified Isolation Rings for Parallel Test Access in Core Based SoC - Paul T. Gonciari and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Logical Refinement of Imperative Programs: generating code from verified conditions - Andrew M Gravell
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Modelling with Support Vector Machines - S.R. Gunn
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
CORDIC Based Array Architecture for Affine Transformation of Images - Koushik Maharatna and Swapna Banerjee
Type: Conference or Workshop Item
| 2000
A low-power 64-point FFT/IFFT architecture for wireless broadband communication - Koushik Maharatna, Eckhard Grass and Ulrich Jagdhold
Type: Conference or Workshop Item
| 2000
A low-power 64-point FFT/IFFT architecture for wireless broadband communication - Koushik Maharatna, Eckhard Grass and Ulrich Jagdhold
Type: Conference or Workshop Item
| 2000
Power Minimisation Techniques for Testing Low Power VLSI Circuits - Nicola Nicolici and Bashir M Al-Hashimi
Type: Conference or Workshop Item
| 2000
| Item not available on this server.
Type: Conference or Workshop Item
| 2000
Scan Latch Partitioning into Multiple Scan Chains for Power Minimization in Full Scan Sequential Circuits - Nicola Nicolici and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2000
Energy Minimisation for Processor Cores using Variable Supply Voltages - Marcus T. Schmitz and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2000
Low Power Process Assignment for Distributed Embedded Systems using Dynamic Voltage Scaling - Marcus T. Schmitz and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2000
Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit - Colin Snook and Michael Butler
Type: Conference or Workshop Item
| 2000
Monograph
Study of Security in Multi-Agent Architectures - David DeRoure, Luc Moreau, Michael Butler, Tim Chown and Pieter Hartel
Type: Monograph
| 2000
| Department of Electronics and Computer Science, University of Southampton
Digitising the Turing Archive: A Pilot Study - W. Hall, G.V. Hughes, K. Martinez, M.J. Weal and G.B. Wills
Type: Monograph
| 2000
Thesis
Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems - Corina Cirstea
Type: Thesis
| 2000
The Design and Evaluation of Industrial Hypermedia - Gary Brian Wills
Type: Thesis
| 2000