×

Up a level |

Number of items: **33**.

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

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

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

Butler, M. J.,
(1998)
Event Ordering in Action Systems
Grundy, J., Schwenke, M. and Vickers, T. (eds.)
At * Proc. Int. Refinement Workshop / Formal Methods Pacific'98, Springer Series in Discrete Mathematics and Theoretical Computer Science**.
**
, pp. 61-80.
*

Butler, M. J.
(1998)
*Using Refinement to Analyse the Safety of an Authentication Protocol* s.n.

Cirstea, Corina,
(1998)
Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance
Parisi-Presicce, F. (ed.)
At * 12th International Workshop on Algebraic Development Techniques**.
**
, pp. 174-189.
*

Cirstea, Corina,
(1998)
Semantic Constructions for Hidden Algebra
Fiadeiro, J.L. (ed.)
At * 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
At * Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1998 (PDPTA 1998)**.
**
, pp. 1252-8.
*

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.

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

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.

Crowder, Richard M., Wills, Gary B., Heath, Ian and Hall, Wendy
(1998)
Hypermedia Information Management: A New Paradigm
At * 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
At * 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 , 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
Grundy, J. and Newey, M. (eds.)
At * 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
Grundy, J. and Newey, M. (eds.)
At * 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
At * IEEE International Conference on Image Processing**.
**
*

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.

Gunn, S.R.
(1998)
*Support Vector Machines for Classification and Regression* s.n.

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

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

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

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

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

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

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.

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.

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

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

Wills, Gary B., Crowder, Richard M., Heath, Ian and Hall, Wendy
(1998)
*Industrial Hypermedia Design.* s.n.

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy
(1998)
*Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application.* s.n.

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy
(1998)
*A Model for Authoring and Costing an Industrial Hypermedia Application.* s.n.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

×