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: Authors/Creators | Item Type | No Grouping
Jump to: A | B | C | D | G | K | L | M | N | P | S | T | W
Number of items: 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.

This list was generated on Sun Jul 27 18:28:49 2014 BST.