Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 
Warning

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

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

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
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. ISSN ISSN 0001-5903

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.

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

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., 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. In: 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, 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..

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

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

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.

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.

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

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.

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.

This list was generated on Fri Aug 29 00:56:31 2014 BST.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints