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 1999
(Grouped by Item Type)

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: 46.

Article

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. ISSN ISSN 0167-6423

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. ISSN ISSN 0164-0925

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, R. M., Hall, W., Heath, I. and Wills, G. B. (1999) Integration of Manufacturing Information using Open Hypermedia. Computers in Industry, 38 . 31--42.

Gilbert, L. (1999) Some Valuable Lessons from the Teaching & Learning Technology Programme in the UK. Journal of Interactive Learning and Research, 10 (1). pp. 67-85.

Papiani, M., Wason, J. L., Dunlop, A. N. and Nicole, D. A. (1999) A Distributed Scientific Data Archive Using the Web, XML and SQL/MED. SIGMOD RECORD, 28 (3). pp. 56-62.

Conference or Workshop Item

Butler, M. J. (1999) csp2B: A Practical Approach to Combining CSP and B. In: Proc. FM'99: World Congress on Formal Methods. pp. 490-508.

Butler, M. J. (1999) Distributed Electronic Mail System. In: Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. pp. 301-322.

Butler, M. J. and Waldén, M. (1999) Parallel Programming with the B Method. In: Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. pp. 183-195.

Caton, M. J., Cox, S. J., Blott, B. H., Daniell, G. J. and Nicole, D. A. (1999) Prospects for high fidelity imaging in nonlinear EIT using high performance computing. In: UNSPECIFIED. pp. 1-6.

Cirstea, C. (1999) A Coequational Approach to Specifying Behaviours. In: 2nd International Workshop on Coalgebraic Methods in Computer Science. pp. 142-163.

Damper, R. I. and Gunn, S. R. (1999) Learning phonetic distinctions from speech signals. In: Eurospeech'99, Budapest, 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. In: UNSPECIFIED. pp. 148-51.

Garratt, P. W. (1999) Experiences with the software management game. In: Proc. Int. AMSE Conf. on Computer Modelling, Simulation and Communication (CMSC-99). to appear.

Garratt, P. W. and Hodgkinson, A. C. (1999) A Neurofuzzy cost estimator. In: Proc. 3rd Int. Conf. Software Engineering and Applications (SAE). pp. 401-406.

Grange, S., Cooper, J., Jones, G. and Bunker, T. D. (1999) Computer Based Training of Surgeons. In: Postgraduate Medical & Dental Training Consefernce 1999, June 1999, Birmingham (NEC).

Grange, S., Bunker, T., Cooper, J. and Waldhausen, S. (1999) COMPARING ELECTRO-OPTICAL AND ELECTRO-MAGNETIC GUIDANCE SYSTEMS IN THE PREPARATION OF MINIMAL ACCESS SURGICAL TRAINING ENVIRONMENTS. In: Computer Assisted Orthopaedic Surgery 1999, March 1999, Davos, Switzerland. p. 128.

Gunn, S. R. and Brown, M. (1999) SUPANOVA - a sparse, transparent modelling approach. In: IEEE International Workshop on Neural Networks for Signal Processing, Madison, Wisconsin. pp. 21-30.

Gunn, S. R. (1999) SUPANOVA - A Sparse, Transparent Modelling Approach. In: Advances in Neural Information Processing Systems (NIPS12) Kernel Workshop, Breckenridge, CO, U.S.A..

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. In: Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems. pp. 179-203.

Heath, I., Hall, W., Crowder, R. M. and Wills, G. (1999) The application of a hypermedia research system in industry. In: 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. In: 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. In: 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. In: Proc. 10th Int. Workshop on Rapid System Prototyping (RSP). pp. 10-14.

Kandola, J. S., Gunn, S. R., Sinclair, I. and Reed, P. A. S. (1999) Data Driven Knowledge Extraction of Materials Properties. In: Intelligent Processing and Manufacturing of Materials, Hawaii, U.S.A.. pp. 361-366.

Lancaster, J. and Al-Hashimi, B. M. (1999) Efficient Switched Current Wave Elliptic Filters Based on Direct and Inverse Bruton Transformations. In: UNSPECIFIED. pp. 235-241.

Living, J. and Al-Hashimi, B. M. (1999) Architecture-mapped concurrent-transform programmable 2D FIR filters for serial image processing. In: UNSPECIFIED. 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. In: 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. In: 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. In: UNSPECIFIED. pp. 38-42.

Maharatna, K. and Banerjee, S. (1999) Low Power CORDIC Processor Design Using Transmission Gate Logic on Sea of Gates. In: Int’l Conference on Modeling Simulation and Communication (CMSC) 1999, Jaipur, India.

Nicolici, N. and Al-Hashimi, B. M. (1999) Efficient BIST hardware insertion with low test application time for synthesized data paths. In: IEEE/ACM Design, Automation and Test in Europe. pp. 289-295.

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. In: 3rd USENIX Windows NT Symposium, 12-15 July 1999, Seattle, Washington.

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. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), 28 June - 1 July 1999, Las Vegas, Nevada, USA. pp. 1898-1904.

Book Section

Hartel, P. H., Butler, M. J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor. In: Formal Syntax and Semantics of Java, LNCS 1523, pp. 313-52, Springer-Verlag. ISBN 3-540-66158-1

Technical Report

Garratt, P. W. and Hodgkinson, A. C. (1999) An intelligent process model choice tool. Technical Report , Electronics and Computer Science, University of Southampton.

Hallerstede, S. and Butler, M. J. (1999) Refinement of Dynamic Systems. Technical Report , Electronics and Computer Science, University of Southampton.

Hughes, G. V., Wills, G. B., Carr, L. A., Hall, W. and Hey, A. J. G. (1999) User Centred Approach to Academic Information Management on the WWW. Technical Report , ECS, University of Southampton.

Wills, G. B., Hughes, G. V. and Hall, W. (1999) Evaluation of AIMS-Academic Information Management System. Technical Report , Electronics and Computer Science, University of Southampton.

Wills, G. B., Heath, I., Crowder, R. M. and Hall, W. (1999) User Evaluation of an Industrial Hypermedia Application. Technical Report , UNSPECIFIED, University of Southampton.

Wills, G., Hughes, G., Martinez, K. and Hall, W. (1999) Practical Aspects of Capturing the Turing Archive. Technical Report ECSTR-MM99-7, ECS, University of Southampton.

Thesis

Wills, G. B. (1999) The Design and Evaluation of Industrial Hypermedia. Masters thesis, UNSPECIFIED.

Other

Kollig, P. and Al-Hashimi, B. M. (1999) Reduction of latency and resource usage in bit-level pipelined data ptahs for FPGAs.

S, T. K. (1999) A binding of MPI to Ada95.

This list was generated on Sat Jul 26 00:55:58 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