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 Creator/Authors Name)

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
Jump to: B | C | D | G | H | K | L | M | N | P | S | T | W
Number of items: 46.

B

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. (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 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

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.

C

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.

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.

D

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.

G

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) An intelligent process model choice tool. Technical Report , Electronics and Computer Science, University of Southampton.

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.

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.

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

H

Hallerstede, S. and Butler, M. J. (1999) Refinement of Dynamic Systems. Technical Report , Electronics and Computer Science, 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. In: 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: Formal Syntax and Semantics of Java, LNCS 1523, pp. 313-52, Springer-Verlag. ISBN 3-540-66158-1

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.

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.

K

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.

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

L

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.

M

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.

N

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.

P

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.

S

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

T

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.

W

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. (1999) The Design and Evaluation of Industrial Hypermedia. Masters thesis, UNSPECIFIED.

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.

This list was generated on Thu Apr 24 00:57:16 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