# Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1998

Up a level |

**33**.

## A

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.
*IEE Proceedings: Circuits, Devices and Systems*, 145, (3), 192-96.

## B

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

Brown, M. and Gunn, S. R.
(1998)
Empirical data modelling algorithms: Additive spline models and support vector machines.
* 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*
Springer-Verlag, Berlin, 61-80.

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

## C

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

Cirstea, Corina
(1998)
Semantic Constructions for Hidden Algebra.
In, * 13th International Workshop on Algebraic Development Techniques*
Springer, 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)*
, 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, 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*
IOS Press, 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), 442-53.

Crowder, Richard M., Wills, Gary B., Heath, Ian and Hall, Wendy
(1998)
Hypermedia Information Management: A New Paradigm.
* 3rd International Conference on Managing Innovation in Manufacture, University of Nottingham, 6-8 July 1998, pages 329-334*

## D

Damper, R.I. and Gunn, S.R.
(1998)
On the learnability of the voicing contrast for initial stops.
* 5th International Conference on Spoken Language Processing, Sydney, Australia*
, 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.
* UNSPECIFIED*
IEEE International Symposium on Circuits and Systems, 294-297.

## G

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.
* Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings*
The Australian National University, Computer Sciences Lab 98-08, 73-84.

Gravell, A. M. and Pratten, C. H.
(1998)
A Prototype Generic Proof Tool Supporting the Embedding of Formal Notations.
* Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings*
The Australian National University, Computer Sciences Lab 98-08, 63-72.

Gunn, S. R.
(1998)
Edge detection error in the discrete laplacian of gaussian.
* 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), 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), 43-54.

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

## K

Kollig, P. and Al-Hashimi, B.M.
(1998)
ARGEN: A behavioral level compiler for hardware realisation of DSP systems.
* UNSPECIFIED*
IEE Colloquium on DSP: CAD, software and hardware.

## L

Lancaster, J., Al-Hashimi, B.M. and Moniri, M.
(1998)
Efficient design of switched current lowpass elliptic filters using Bruton transformations.
* UNSPECIFIED*
IEEE International Symposium on Circuits & Systems, 115-18.

Living, J., AL-Hashimi, B.M. and Moniri, M.
(1998)
High performance distributed arithmetic FPGA decimators for video frequency applications.
* UNSPECIFIED*
IEEE International Conference on Circuits and Systems, 294-297.

## M

Maharatna, Koushik and Banerjee, Swapna
(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, *
, 154-157.

## N

Nicole, D.A., Wolton, I.C. and Takeda, K.
(1998)
HPC on DEC Alphas and Windows NT.
In, * HIGH-PERFORMANCE COMPUTING*
Kluwer Academic/Plenum Publishers, 551-557.

Nicole, D.A., Wolton, I.C. and Takeda, K.
(1998)
Southampton High Performance Computing Centre.
In, * HIGH-PERFORMANCE COMPUTING*
Kluwer Academic/Plenum Publishers, 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), 1426-7.

## P

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), 123-133.

## S

Somerset, W., Al-Hashimi, B.M. and Moniri, M.
(1998)
Constrained genetic algorithm design of finite precision FIR linear phase raised cosine filters.
* UNSPECIFIED*
IEEE International Symposium on Circuits & Systems, 445-8.

## T

Takeda, K., Wolton, I.C. and Nicole, D.A.
(1998)
Software Probability and Maintenance.
In, * HIGH-PERFORMANCE COMPUTING*
Kluwer Academic/Plenum Publishers, 119-125.

## W

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

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

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