Items from Current ECS Groups > Electronic and Software Systems in 1998
(Grouped by Item Type)

Article

Back, R. J. R. and Butler, M. J. (1998) Fusion and Simultaneous Execution in the Refinement Calculus. Acta Informatica, 35 (11). pp. 921-949. ISSN ISSN 0001-5903

Cox, S. J., Daniell, G. J. and Nicole, D. A. (1998) Using Maximum Entropy to Double One's Expected Winnings in the UK National Lottery 1998. J.R.Statist.Soc., 47 . pp. 629-41.

Crowder, R. M., Hall, W., Heath, I. and Wills, G. (1998) Factory information provision using hypermedia. Intn. Jour. of Computer Applications in Technology, 11 (6). pp. 442-53.

Gunn, S. R. (1998) On the discrete representation of the laplacian of gaussian. Pattern Recognition, 32 (8). pp. 1463-1472.

Gunn, S. R. and Nixon, M. S. (1998) Global and local active contours for head boundary extraction. International Journal of Computer Vision, 30 (1). pp. 43-54.

Nicolici, N. and Al-hashimi, B. M. (1998) Correction to the proof of theorem 2 in "Parallel signature analysis design with bounds on aliasing". IEEE Trans on Computers, 47 (12). pp. 1426-7. ISSN 0018-9340

Phalp, K., Henderson, P., Abeysinghe, G. and Walters, R. J. (1998) RolEnact - Role Based Enactable Models of Business Processes. Information And Software Technology, 40 (3). pp. 123-133. ISSN ISSN 0950-5849

Conference or Workshop Item

Brown, M. and Gunn, S. R. (1998) Empirical data modelling algorithms: Additive spline models and support vector machines. In: UKACC Int. Conf. on Control '98.

Butler, M. J. (1998) Event Ordering in Action Systems. In: Proc. Int. Refinement Workshop / Formal Methods Pacific'98, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 61-80.

Cirstea, C. (1998) Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance. In: 12th International Workshop on Algebraic Development Techniques. pp. 174-189.

Cirstea, C. (1998) Semantic Constructions for Hidden Algebra. In: 13th International Workshop on Algebraic Development Techniques. pp. 63-78.

Cox, S. J., Daniell, G. J. and Nicole, D. A. (1998) Maximum Entropy, Parallel Computations and Lotteries. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1998 (PDPTA 1998). pp. 1252-8.

Cox, S. J., Nicole, D. A. and Takeda, K. (1998) Commodity High Performance Computing at Commodity Prices. In: WOTUG-21, Proceedings of the 21st World occam and transputer user group technical meeting. pp. 19-26.

Crowder, R. M., Wills, G. B., Heath, I. and Hall, W. (1998) Hypermedia Information Management: A New Paradigm. In: 3rd International Conference on Managing Innovation in Manufacture, University of Nottingham, 6-8 July 1998, pages 329-334.

Damper, R. I. and Gunn, S. R. (1998) On the learnability of the voicing contrast for initial stops. In: 5th International Conference on Spoken Language Processing, Sydney, Australia. pp. 2143-2146.

Dudek, F., AL-Hashimi, B. M. and Moniri, M. (1998) Analysis and compensation of OTA non-ideal effects in video frequency CMOS sinc(x) equaliers. In: UNSPECIFIED. pp. 294-297.

Gravell, A. M. and Pratten, C. H. (1998) Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL. In: Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings. pp. 73-84.

Gravell, A. M. and Pratten, C. H. (1998) A Prototype Generic Proof Tool Supporting the Embedding of Formal Notations. In: Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings. pp. 63-72.

Gunn, S. R. (1998) Edge detection error in the discrete laplacian of gaussian. In: IEEE International Conference on Image Processing, Chicago, U.S.A..

Kollig, P. and Al-Hashimi, B. M. (1998) ARGEN: A behavioral level compiler for hardware realisation of DSP systems. In: UNSPECIFIED.

Lancaster, J., Al-Hashimi, B. M. and Moniri, M. (1998) Efficient design of switched current lowpass elliptic filters using Bruton transformations. In: UNSPECIFIED. pp. 115-18.

Living, J., AL-Hashimi, B. M. and Moniri, M. (1998) High performance distributed arithmetic FPGA decimators for video frequency applications. In: UNSPECIFIED. pp. 294-297.

Maharatna, K. and Banerjee, S. (1998) Low Voltage/Low Power CORDIC based DHT chip implemented using Transmission Gate Logic on Sea of Gates. In: Int’l Conference on Computers and Devices for Communication (CODEC) 1998, Calcutta, India. pp. 154-157.

Nicole, D. A., Wolton, I. C. and Takeda, K. (1998) HPC on DEC Alphas and Windows NT. In: HIGH-PERFORMANCE COMPUTING. pp. 551-557.

Nicole, D. A., Wolton, I. C. and Takeda, K. (1998) Southampton High Performance Computing Centre. In: HIGH-PERFORMANCE COMPUTING. pp. 33-41.

Somerset, W., Al-Hashimi, B. M. and Moniri, M. (1998) Constrained genetic algorithm design of finite precision FIR linear phase raised cosine filters. In: UNSPECIFIED. pp. 445-8.

Takeda, K., Wolton, I. C. and Nicole, D. A. (1998) Software Probability and Maintenance. In: HIGH-PERFORMANCE COMPUTING. pp. 119-125.

Technical Report

Butler, M. J. (1998) Using Refinement to Analyse the Safety of an Authentication Protocol. Technical Report , Electronics and Computer Science, University of Southampton.

Gunn, S. R. (1998) Support Vector Machines for Classification and Regression. Technical Report , UNSPECIFIED, Dept. of Electronics and Computer Science, University of Southampton.

Wills, G. B., Crowder, R. M., Heath, I. and Hall, W. (1998) Industrial Hypermedia Design. Technical Report , UNSPECIFIED, University of Southampton.

Wills, G. B., Heath, I., Crowder, R. M. and Hall, W. (1998) Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application. Technical Report , UNSPECIFIED, University of Southampton.

Wills, G. B., Heath, I., Crowder, R. M. and Hall, W. (1998) A Model for Authoring and Costing an Industrial Hypermedia Application. Technical Report , UNSPECIFIED, University of Southampton.

Other

AL-HASHIMI, B. M., DUDEK, F., MONIRI, M. and LIVING, J. (1998) Integrated universal biquad based on triple-output OTAs and using digitally programmable zeros.