Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2000
|Up a level|
Al-Hashim, B.M., Dudek, F. and Moniri, M. (2000) Current mode group delay equalisation using pole-zero mirroring techniques. UNSPECIFIED IEE Proceedings, Circuits, Devices and Systems, 257-63.
Al-Hashimi, B.M., Dudek, F. and Sun, Y. (2000) CMOS Design of Group Delay Equaliser. UNSPECIFIED Kluwer Academic Publishers, Journal of Analog Integrated Circuits and Signal Processing, 163-169.
Al-hashimi, Bashir and Nicolici, Nicola (2000) Low Power Testing of Digital ICs: Overview. UNSPECIFIED University of Manchester, 3-4.
Butler, M. J. (2000) csp2B: A Practical Approach to Combining CSP and B. Formal Aspects of Computing, 12, 182-196.
Butler, M. J. and Meagher, M. M. R. (2000) Performing Algorithmic Refinement before Data Refinement in B. In, Proc. ZB2000: Formal Specification and Development in Z and B Springer, 324-343.
Butler, Michael (2000) On the Use of Data Refinement in the Development of Secure Communications Systems.
Butler, Michael and Ferreira, Carla (2000) A Process Compensation Language. In, Integrated Formal Methods IFM2000 Springer, 61.
Chen, J.L., Gunn, S.R., Nixon, M.S., Myers, R.P. and Gunn, R.N. (2000) A Supervised Method for PET Reference Region Extraction. Medical Image Understanding and Analysis, London, U.K., , 179-182.
Chen, S., Gunn, S.R. and Harris, C.J. (2000) Decision feedback equalizer design using support vector machines. IEE Proceedings Vision, Image and Signal Processing, 147, (3), 213-219.
Christensen, S.W., Kandola, J.S., Femminella, O.P., Gunn, S.R., Reed, P.A.S. and Sinclair, I. (2000) Adaptive Numerical Modelling of Commercial Aluminium Plate Performance. In, Starke, E.A., Sanders, T.H. and Cassada, W.A. (eds.) Mater. Sci. Forum. Aluminium Alloys: Their Physical and Mechanical Properties , , 533-538.
Cirstea, Corina (2000) An Algebra-Coalgebra Framework for System Specification. In, 3rd International Workshop on Coalgebraic Methods in Computer Science Elsevier, 80-110.
Cirstea, Corina (2000) Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems. University of Oxford, Computing Laboratory, Doctoral Thesis .
Crowder, Richard M, Hall, Wendy, Health, Ian and Wills, Gary (2000) Industrial strength hypermedia : Design, Implementation and Application. International Journal of Computer Integrated Manufacturing, 13, (3), 173-86.
Damper, R. I., Gunn, S. R. and Gore, M. O. (2000) Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants. Applied Intelligence, 12, (1-2), 43-62.
DeRoure, David, Moreau, Luc, Butler, Michael, Chown, Tim and Hartel, Pieter (2000) Study of Security in Multi-Agent Architectures. , Department of Electronics and Computer Science, University of Southampton
Dudek, F., Al-Hashimi, B.M. and Moniri, M. (2000) Current Mode Elliptic Filter Design Based on Symmertical Current Switching. UNSPECIFIED Taylor & Francis, International Journal of Electronics, 163-77.
Fangohr, Hans, Price, Andrew R., Cox, Simon J., Groot, Peter A.J. de, Daniell, Geoffrey J. and Thomas, Ken S. (2000) Efficient Methods for Handling Long-Range Forces in Particle-Particle Simulations. Journal of Computational Physics, 162, (2), 372-384.
Femminella, O.P., Starink, M.J., Gunn, S.R., Harris, C.J. and Reed, P.A.S. (2000) Neurofuzzy and SUPANOVA Modelling of Structure-Property Relationships in Al-Zn-Mg-Cu Alloys. In, Starke, E.A., Sanders, T.H. and Cassada, W.A. (eds.) UNSPECIFIED Aluminium Alloys: Their Physical and Mechanical Properties , , 1255-1260.
Gao, J.B., Gunn, S.R. and Kandola, J.S. (2000) A Variational Approach for Adapting Kernels in Support Vector Regression. At Advances in Neural Information Processing Systems (NIPS13) Kernel Workshop, Breckenridge, CO, U.S.A.,
Gao, J.B., Harris, C.J., Gunn, S.R. and Brown, M. (2000) The error bar estimation for soft classification with Gaussian process models. ICSC Second Int. Symp. Neural Computation, Berlin, Germany,
Garratt, P. W. and Bennion, M. J. (2000) Adaptive Error Correction on a Data Link. Proc. Int. Conf. on Software Engineering Applied to Networking and Parallel/Distributed Computing, SNPD 2000 , 418-425.
Glaser, H., Hartel, P. H. and Garratt, P. W. (2000) Programming by Numbers: A Programming Method for Complete Novices. Computer Journal, 43, (4), 252-265.
Gonciari, Paul T. and Al-Hashimi, Bashir M. (2000) Modified Isolation Rings for Parallel Test Access in Core Based SoC. IEE System on a Chip Workshop , 10/1-10/4.
Gravell, Andrew M (2000) Logical Refinement of Imperative Programs: generating code from verified conditions. Workshop on (Constraint) Logic Programming and Software Engineering LPSE2000 Imperial College, 2-16.
Gunn, S.R. (2000) Modelling with Support Vector Machines. Lecture Notes on Iterative Identification and Control Design , 289--321.
Hall, W., Hughes, G.V., Martinez, K., Weal, M.J. and Wills, G.B. (2000) Digitising the Turing Archive: A Pilot Study.
Heath, Ian, Wills, Gary, Crowder, Richard, Hall, Wendy and Ballantyne, Jim (2000) Towards a new authoring methodology for large scale hypermedia applications. Multimedia Tools and Applications, 12, (2/3), 129-44.
Kandola, J.S. and Gunn, S.R. (2000) Assessing the Stability of Advanced Transparent Modelling Techniques. At CRM Workshop on Combining and Selecting Models using Machine Learning Algorithms, Montreal, Canada,
Maharatna, Koushik and Banerjee, Swapna (2000) CORDIC Based Array Architecture for Affine Transformation of Images. In, Int’l Conference on Communications, Computers and Devices (ICCD) 2000, Kharagpur, India, IEEE, 645-648.
Maharatna, Koushik, Grass, Eckhard and Jagdhold, Ulrich (2000) A Low-Power 64-point FFT/IFFT Architecture for Wireless Broadband Communication. In, 7th Int’l Conference on Mobile Multimedia Communication (MoMuC) 2000, Tokyo, Japan, , 2A-2-1-2A-2-4.
Maharatna, Koushik, Grass, Eckhard and Jagdhold, Ulrich (2000) A Low-Power 64-point FFT/IFFT Architecture for Wireless Broadband Communication. In, 5th International OFDM Workshop 2000, Hamburg, Germany, , 36-1-36-3.
Nicolici, N., Al-Hashimi, B.M., Brown, A.D. and Williams, A.C. (2000) BIST Hardware Synthesis for RTL Data Paths Based on Test Compatibility Classes. IEEE Transactions on CAD, 19, (11), 1375-1385.
Nicolici, N., Al-Hashimi, B.M. and Williams, A.C. (2000) Mimimising Power Dissipation During Test Application in Full Scan Sequential Circuits by Primary Input Freezing. IEE Proceedings - Computers and Digital Techniques, 147, (5), 313-322.
Nicolici, Nicola and Al-Hashimi, Bashir M (2000) Power Minimisation Techniques for Testing Low Power VLSI Circuits. IEE Postgraduate Research and Electronics and Photonics (PREP) , 7-12.
Nicolici, Nicola and Al-Hashimi, Bashir M. (2000) Power Conscious Test Synthesis and Scheduling. IEEE International Test Conference (ITC) , 662-671.
Nicolici, Nicola and Al-Hashimi, Bashir M. (2000) Scan Latch Partitioning into Multiple Scan Chains for Power Minimization in Full Scan Sequential Circuits. IEEE/ACM Design, Automation and Test in Europe (DATE) , 715-722.
Papiani, Mark, Wason, Jasmin L. and Nicole, Denis A., Zaniolo, Carlo, Lockemann, Peter C., Scholl, Marc H. and Grust, TorstenTorsten Grust (eds.) (2000) An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML. Lecture Notes in Computer Science Advances in Database Technology - EDBT 2000: 7th International Conference on Extending Database Technology, Konstanz, Germany, March 2000. Proceedings , 1777, 447-461.
Schmitz, Marcus T. and Al-Hashimi, Bashir M. (2000) Energy Minimisation for Processor Cores using Variable Supply Voltages. IEE System on a Chip Workshop , 10/1-10/4.
Schmitz, Marcus T. and Al-Hashimi, Bashir M. (2000) Low Power Process Assignment for Distributed Embedded Systems using Dynamic Voltage Scaling. IEE Hardware-Software Co-Design , 7/1-7/4.
Shi, D., Gunn, S. R., Damper, R. I. and Shu, W. (2000) Recognition rule acquisition by an advanced extension matrix algorithm. Engineering Intelligent Systems for Electrical Engineering and Communications, 8, (2), 97-101.
Snook, Colin and Butler, Michael (2000) Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit. In, UML 2000 Workshop, Dynamic Behaviour in UML Models: Semantic Questions
Thomas, Ken, Briggs, J. (ed.) (2000) Ada User Journal. Ada User Journal, 21, (2), 143-152.
Wills , Gary Brian (2000) The Design and Evaluation of Industrial Hypermedia. University of Southampton, Department of Electrical Engineering, Doctoral Thesis .
de Watteville, Alastair and Gilbert, Lester (2000) Information and Communication Technology, Heinemann