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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
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.

This list was generated on Sat Mar 25 20:47:00 2017 GMT.