Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1999
|Up a level|
Brown, M., Lewis, H.G. and Gunn, S.R. (1999) Linear Spectral Mixture Models and Support Vector Machines for Remote Sensing IEEE Trans. Geoscience and Remote Sensing, 38, (5), 2346--2360.
Brown, M., Lewis, H.G. and Gunn, S.R. (1999) Support Vector Machines for Optimal Classification and Spectral Unmixing Ecological Modelling, 120, 167--179.
Butler, M. J. (1999) Calculational Derivation of Pointer Algorithms from Tree Operations Science of Computer Programming, 33, (3), pp. 221-260.
Butler, M. J., (1999) csp2B: A Practical Approach to Combining CSP and B Wing, J. M., Woodcock, J. and Davies, J. (eds.) At Proc. FM'99: World Congress on Formal Methods. , pp. 490-508.
Butler, M. J., (1999) Distributed Electronic Mail System Sekerinski, E. and Sere, K. (eds.) At Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. , pp. 301-322.
Butler, M. J. and Hartel, P. H. (1999) Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp ACM Transactions on Programming Languages and Systems, 21, (3), pp. 417-430.
Butler, M. J. and Waldén, M., (1999) Parallel Programming with the B Method Sekerinski, E. and Sere, K. (eds.) At Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. , pp. 183-195.
Caton, M.J, Cox, S.J., Blott, BH, Daniell, G.J. and Nicole, D.A., (1999) Prospects for high fidelity imaging in nonlinear EIT using high performance computing Holder, D. (ed.) , pp. 1-6.
Cirstea, Corina, (1999) A Coequational Approach to Specifying Behaviours Jacobs, B. and Rutten, J. (eds.) At 2nd International Workshop on Coalgebraic Methods in Computer Science. , pp. 142-163.
Crowder, R.M., Hall, W., Heath, I. and Wills, G. (1999) Factory information provision using hypermedia International Journal of Computer Applications in Technology, 11, (6), pp. 422-53.
Crowder, Richard M., Hall, Wendy, Heath, Ian and Wills, Gary B. (1999) Integration of Manufacturing Information using Open Hypermedia Computers in Industry, 38, 31--42.
Damper, R. I. and Gunn, S. R. (1999) Learning phonetic distinctions from speech signals At Eurospeech'99, Hungary. , pp. 2675-2678.
Dudek, F., Al-Hashimi, B.M. and Moniri, M. (1999) Compensation of non-ideal effects in video frequency sinc(x) equalisers using tunable gm_c structure , pp. 148-51.
Garratt, P. W. (1999) Experiences with the software management game At Proc. Int. AMSE Conf. on Computer Modelling, Simulation and Communication (CMSC-99). , to appear.
Garratt, P. W. and Hodgkinson, A. C. (1999) An intelligent process model choice tool Int. Ass. for Modelling and Simluation Techniques in Enterprises (AMSE), France
Garratt, P. W. and Hodgkinson, A. C., (1999) A Neurofuzzy cost estimator Debnath, N. C. and Lee, R. Y. (eds.) At Proc. 3rd Int. Conf. Software Engineering and Applications (SAE). , pp. 401-406.
Error parsing XML in render_xhtml_field: :1: parser error : xmlParseEntityRef: no name
<fragment>Some Valuable Lessons from the Teaching & Learning Technology Programm
Journal of Interactive Learning and Research, 10, (1), pp. 67-85.
Grange, S, Cooper, J, Jones, G and Bunker, TD (1999) Computer Based Training of Surgeons At Postgraduate Medical & Dental Training Consefernce 1999.
Grange, Simon, Bunker, Tim, Cooper, Jason and Waldhausen, Sylvia, (1999) COMPARING ELECTRO-OPTICAL AND ELECTRO-MAGNETIC GUIDANCE SYSTEMS IN THE PREPARATION OF MINIMAL ACCESS SURGICAL TRAINING ENVIRONMENTS Langlotz, Frank and Nolte, Lutz (eds.) At Computer Assisted Orthopaedic Surgery 1999, Switzerland. , p. 128.
Gunn, S. R. and Brown, M. (1999) SUPANOVA - a sparse, transparent modelling approach At IEEE International Workshop on Neural Networks for Signal Processing. , pp. 21-30.
Gunn, S.R. (1999) SUPANOVA - A Sparse, Transparent Modelling Approach At Advances in Neural Information Processing Systems (NIPS12) Kernel Workshop.
Hallerstede, S. and Butler, M. J. (1999) Refinement of Dynamic Systems University of Southampton
Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, R.J., (1999) Questions and Answers About Ten Formal Methods Gnesi, S. and latella, D. (eds.) At Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems. , pp. 179-203.
Hartel, P. H., Butler, M. J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor In, Alves-Foss, J. (eds.) Formal Syntax and Semantics of Java, LNCS 1523. Springer-Verlag pp. 313-52.
Heath, I., Hall, W., Crowder, R.M. and Wills, G. (1999) The application of a hypermedia research system in industry At 10th ACM conf. on Hypertext and Hypermedia, Darmstadt. , pp. 203-4.
Hehner, E. C. R. and Gravell, A. M., (1999) Refinement Semantics and Loop Rules Wing, J. M., Woodcock, J. and Davies, J. (eds.) At Proc. FM'99: World Congress on Formal Methods. , pp. 1497-1510.
Henderson, P. and Walters, R. J. (1999) Modelling Component-based Systems as an aid to Design Validation At 14th IEEE International Conference on Automated Software Engineering (ASE). , pp. 303-6.
Henderson, P. and Walters, R. J. (1999) System Design Validation Using Formal Models At Proc. 10th Int. Workshop on Rapid System Prototyping (RSP). , pp. 10-14.
Hughes, GV, Wills, GB, Carr, LA, Hall, W and Hey, AJG (1999) User Centred Approach to Academic Information Management on the WWW University of Southampton
Kandola, J.S., Gunn, S.R., Sinclair, I. and Reed, P.A.S. (1999) Data Driven Knowledge Extraction of Materials Properties At Intelligent Processing and Manufacturing of Materials. , pp. 361-366.
Kollig, P. and Al-Hashimi, B.M. (1999) Reduction of latency and resource usage in bit-level pipelined data ptahs for FPGAs
Lancaster, J. and Al-Hashimi, B.M. (1999) Efficient Switched Current Wave Elliptic Filters Based on Direct and Inverse Bruton Transformations , pp. 235-241.
Living, J and Al-Hashimi, B.M. (1999) Architecture-mapped concurrent-transform programmable 2D FIR filters for serial image processing , pp. 112-116.
Living, J and Al-Hashimi, B.M. (1999) Mixed arithmetic architecture: a solution to the iteration bound for resources FPGA and CPLD recursive digital filters At IEEE International Symposium on Circuits and Systems, USA. , pp. 478-81.
Living, J and Al-Hashimi, B.M. (1999) New resource saving differential coefficient coding algorithm for recursive FIR filter design At IEEE International Symposium on Circuits and Systems, USA. , pp. 478-81.
Living, J. and Al-Hashimi, B.M. (1999) FPGA based video signal decimators for sample rate reduction from 27/28.64 MHz to 13.5/14.32 MHz , pp. 38-42.
Maharatna, Koushik and Banerjee, Swapna (1999) Low Power CORDIC Processor Design Using Transmission Gate Logic on Sea of Gates At Int’l Conference on Modeling Simulation and Communication (CMSC) 1999, India.
Nicolici, N. and Al-Hashimi, B.M. (1999) Efficient BIST hardware insertion with low test application time for synthesized data paths At IEEE/ACM Design, Automation and Test in Europe. , pp. 289-295.
Papiani, Mark, Wason, Jasmin L, Dunlop, Alistair N and Nicole, Denis A (1999) A Distributed Scientific Data Archive Using the Web, XML and SQL/MED SIGMOD RECORD, 28, (3), pp. 56-62.
S, Thomas K (1999) A binding of MPI to Ada95
Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Caton, M J, Nicole, D A, Cox, S J and Lancaster, D J (1999) Parallel Computing on Windows NT Clusters At 3rd USENIX Windows NT Symposium. 12 - 15 Jul 1999.
Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Nicole, D A, Cox, S J and Lancaster, D J (1999) An Assessment of MPI Environments for Windows NT At International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), United States. 28 Jun - 01 Jul 1999. , pp. 1898-1904.
Wills, G.B., Hughes, G.V. and Hall, W. (1999) Evaluation of AIMS-Academic Information Management System. University of Southampton
Wills, Gary, Hughes, Gareth, Martinez, Kirk and Hall, Wendy (1999) Practical aspects of capturing the Turing Archive University of Southampton , Southampton, GB (Electronics and Computer Science Technical Reports, ECSTR-MM99-7).
Wills, Gary B. (1999) The Design and Evaluation of Industrial Hypermedia. University of Southampton, : University of Southampton, Masters Thesis .
Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1999) User Evaluation of an Industrial Hypermedia Application. University of Southampton