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 2001
(Grouped by Nothing)

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

Al-Hashimi, B. M. and Xie, Y. (2001) Non ideal performance of Bruton transformations switched current wave filters+.

Banach, R. and Poppleton, M. (2001) Model Based Engineering of Specifications by Retrenching Partial Requirements. In: IEEE Model Based Requirements Engineering Workshop, November 2001, San Diego, CA..

Brezany, P., Winslett, M., Nicole , D. A. and Cortes, T. (2001) Topic 18 Parallel I/O and Storage Technology. Lecture Notes in Computer Science Euro-Par 2001: Parallel Processing: 7th International Euro-Par Conference Manchester, UK August 28-31, 2001, Proceedings, 2150 . p. 887. ISSN 0302-9743

Butler, M., Hartel, P., Jong, E. d. and Longley, M. (2001) Transacted Memory for Smart Cards. In: FME 2001, Formal Methods for Increasing Software Productivity. pp. 478-99.

Chen, J. L., Gunn, S. R. and Nixon, M. S. (2001) A model-based image segmentation framework using labeled and unlabeled data. In: Int. Conf. on Advanced Concepts For Intelligent Vision Systems, Baden-Baden, Germany. pp. 112-116.

Chen, J. L., Gunn, S. R., Nixon, M. S. and Gunn, R. N. (2001) Markov Random Field Models for Segmentation of PET Images. In: Information Processing in Medical Imaging. p. 468.

Chen, S., Gunn, S. R. and Harris, C. J. (2001) The relevance vector machine technique for channel equalization application. IEEE Transactions on Neural Networks, 12 (6). pp. 1529-1532.

Christensen, S. W., Reed, P. A. S., Gunn, S. R. and Sinclair, I. (2001) Comparison of Modelling Techniques in the Analysis of Commercial Materials Data. In: Intelligent Processing and Manufacturing of Materials, Vancouver, Canada.

Cirstea, C. (2001) Integrating observational and computational features in the specification of state-based, dynamical systems. Theoretical Informatics and Applications, 35 (1). pp. 1-29. ISSN 0988-3754

Cirstea, C. (2001) Semantic constructions for the specification of objects. Theoretical Computer Science, 260 (1). pp. 3-25. ISSN 0304-3975

Crowder, R., Hall, W., Wills, G., Humpreys, D. and Ash, J. (2001) Hypermedia Information Systems in Industry. Computing and Control Engineering Journal, 12 (1). pp. 21-28. ISSN 0956 3385

Crowder, R., Sim, Y. W., Wills, G. and Greenough, R. (2001) A review of the benefits of using hypermedia manuals. In: Proceedings of the twelfth ACM conferance on Hypertext and Hypermedia. pp. 245-6.

Crowder, R., Wills, G. and Hall, W. (2001) Provision of industrial information resources through hypermedia. In: Proceedings of the ASME 2001 Design Engineering Technical Conferance and Computer and Information in Engineering Conference.

Damper, R. I. and Gunn, S. R. (2001) Modeling the acoustic-to-auditory transformation for stop consonant-vowel syllables. In: Fifth International Conference on Cognitive and Neural Systems, Boston, MA. #23.

Gao, J. B., Gunn, S. R. and Harris, C. J. (2001) A New Implementation for SVM Regression based on Mean Field Analysis. In: Computational Intelligence for Modelling Control and Automation, Las Vegas, U.S.A..

Gao, J. B., Gunn, S. R., Harris, C. J. and Brown, M. (2001) Regression with Input-dependent Noise: a Relevance Vector Machine Treatment. IEEE Trans. Neural Networks .

Gao, J. B., Harris, C. J. and Gunn, S. R. (2001) On a Class of Support Vector Kernels based on Frames in Function Hilbert Spaces. Neural Computation, 13 . pp. 1975-1994.

garratt, p. and warde, s. (2001) Analysis of Costs and Benefits of compressing data on the Usenet. In: MS2001 INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION IN DISTRIBUTED APPLICATIONS, sep 2001, Changsha, China. (In Press)

Gilbert, L. (2001) The Revised IOM Class Rules. Marine Modelling International, Februa . pp. 26-29.

Gilbert, L. and de Watteville, A. (2001) Advanced VCE in Information and Communication Technology Tutor's File. Heinemann. ISBN 0 435 45290 8

Grass, E., Tittelbach, K., Jagdhold, U., Troya, A., Lippert, G., Krueger, O., Lehman, J., Maharatna, K., Fiebig, N., Dombrowski, K., Kraemer, R. and Maehoenen, P. (2001) On the Single Chip Implementation of a Hiperlan/2 and IEEE802.11a Capable Modem. IEEE Personal Communication, 8 (6). pp. 48-57.

Gunn, R. N., Gunn, S. R. and Cunningham, V. J. (2001) Positron Emission Tomography Compartmental Models. Journal of Cerebral Blood Flow and Metabolism, 21 (6). pp. 635-652.

Gunn, S. R. (2001) Project Special Brew: Supercomputing on a budget. Technical Report , UNSPECIFIED, Dept. of Electronics and Computer Science, University of Southampton.

Henderson, P., Crouch, S. and Walters, R. J. (2001) Inconsistency Tolerance across Enterprise Solutions. In: 8th IEEE Workshop on Future Trends of Distributed Computing Systems. pp. 164-169.

Henderson, P., Howard, Y. M. and Walters, R. J. (2001) A Tool for Evaluation of the Software Development Process. The Journal of Systems and Software, 59 (3). pp. 355-362. ISSN 0164-1212

Henderson, P. and Walters, R. J. (2001) Behavioural Analysis of Component-Based Systems. Information and Software Technology, 43 (3). pp. 161-169. ISSN 0950-5849

Hennessy, M., Lin, H. and Rathke, J. (2001) Unique fixpoint induction for message-passing process calculi. Science of Computer Programming, 41 (3). pp. 241-275. ISSN 0167-6423

Hiett, B. P., Generowicz, J. M., Cox, S. J., Molinari, M., Beckett, D., Parker, G. J. and Thomas, K. S. (2001) FINITE ELEMENT MODELLING OF PHOTONIC CRYSTALS. In: PREP 2001 Conference Publication. pp. 87-88.

Kandola, J. S. (2001) Interpretable Modelling with Sparse Kernels. PhD thesis, University of Southampton.

Lee, K. K., Gunn, S. R., Harris, C. J. and Reed, P. A. S. (2001) Classification of Imbalanced Data with Transparent Kernels. In: INNS-IEEE Int. Joint Conf. on Neural Networks, Washington, DC, U.S.A.. pp. 2410-2415.

Lee, K. K., Harris, C. J., Gunn, S. R. and Reed, P. A. S. (2001) Approaches to Imbalanced Data for Classification: A Case Study. In: Computational Intelligence Methods and Applications, Bangor, U.K..

Lee, K. K., Harris, C. J., Gunn, S. R. and Reed, P. A. S. (2001) A Case Study of SVM Extension Techniques on Classification of Imbalanced Data. In: Int. Conf. Neural Networks and Applications, Puerto de la Cruz, Canary islands, Spain. pp. 309-314.

Lee, K. K., Harris, C. J., Gunn, S. R. and Reed, P. A. S. (2001) Control Sensitivity SVM for Imbalanced Data. In: Int. Conf. Artificial Neural Networks and Genetic Algorithms, Prague, Czech Republic.

Lee, K. K., Harris, C. J., Gunn, S. R. and Reed, P. A. S. (2001) Regression Models for classification to Enhance Interpretability. In: Intelligent Processing and Manufacturing of Materials, Vancouver, Canada.

Leuschel, M., Adhianto, L., Butler, M., Ferreira, C. and Mikhailov, L. (2001) Animation and Model Checking of CSP and B using Prolog Technology. In: Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001. pp. 97-109.

Maharatna, K. and Banerjee, S. (2001) A VLSI Array Architecture for Hough Transform. Pattern Recognition, 34 . pp. 1503-1512.

Maharatna, K., Dhar, A. S. and Banerjee, S. (2001) A VLSI Array Architecture for Realization of DFT, DHT, DCT and DST. Journal of Signal Processing, 81 . pp. 1813-1822.

Mikhailov, L. and Butler, M. (2001) Combining B and Alloy. In: Formal Methods for Industrial Critical Systems.

Nicolici, N. and Al-Hashimi, B. M. (2001) Testability Trade-offs for BIST RTL Data Paths: The Case for Three Dimensional Design Space.

Nicolici, N. and Al-Hashimi, B. M. (2001) Low Power Test Compability Classes. In: UNSPECIFIED.

Nicolici, N. and Al-Hashimi, B. M. (2001) Minimising power dissipation in partial scan sequential circuits.

Nicolici, N. and Al-Hashimi, B. M. (2001) Tackling Test Trade-offs for BIST RTL Data Paths: BIST Area Overhead, Test Application Time and Power Dissipation. In: UNSPECIFIED.

Rosinger, P., Al-Hashimi, B. and Nicolici, N. (2001) Power Constrained Test Scheduling Using Power Profile Manipulation, ISCAS 2001. In: Intl. Symposium on Circuits and Systems 2001. pp. 251-254.

Rosinger, P., Gonciari, T., Al-Hashimi, B. and Nicolici, N. (2001) Simultaneous Reduction in Volume of Test Data and Power Dissipation for Systems-on-a-Chip. IEE Electronics Letters, 37 (24). pp. 1434-1436. ISSN 0013-5194

Satpathy, M., Harrison, R., Snook, C. and Butler, M. (2001) A Comparative Study of Formal and Informal Specifications through an Industrial Case Study. In: IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS'01).

Satpathy, M., Harrison, R., Snook, C. and Butler, M. (2001) A Generic Model for Assessing Process Quality. In: International Workshop on Software Measurement (IWSM2000).

Schmitz, M. T. and Al-Hashimi, B. M. (2001) Considering Power Variations of DVS Processing Elements for Energy Minimisation in Distributed Systems. In: Inter. Symposium on System Synthesis (ISSS2001), 2001, Montreal, Canada. pp. 250-255.

Schmitz, M. T. and Al-Hashimi, B. M. (2001) Considering Power Variations of DVS Processing Elements for Energy Minimisation in Distributed Systems. In: Proceedings of 14th International Symposium on System Synthesis. pp. 250-5.

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2001) Co-Synthesis with Energy Minimisation for Heterogeneous Distributed Systems containing Power Managed
Processing Elements.

Shi, D., Gunn, S. R. and Damper, R. I. (2001) A comparison among radical approaches to handwritten Chinese character recognition. In: International Conference on Chinese Computing, Singapore. pp. 213-219.

Shi, D., Gunn, S. R. and Damper, R. I. (2001) A radical approach to handwritten Chinese character recognition using active handwriting models. In: IEEE Conference on Computer Vision and Pattern Recognition, Kauai, Hawaii. pp. 670-675.

Snook, C. and Butler, M. J. (2001) Using a Graphical Design Tool for Formal Specification. In: Proceedings 13th Annual Workshop of the Psychology of Programming Interest Group.

Snook, C. and Harrison, R. (2001) Practitioners' views on the use of formal methods: an industrial survey by structured interview. Information and Software Technology, 43 (4). pp. 275-283. ISSN 0950-5849

Takeda, K., Allsopp, N. K., Hardwick, J. C., Macey, P. C., Nicole, D. A., Cox, S. J. and Lancaster, D. J. (2001) An Assessment of MPI Environments for Windows NT. The Journal of Supercomputing, 19 (3). pp. 315-323. ISSN 0920-8542

Thomas, K. S., Cox, S. J., Beckett, D. H., Hiett, B. P., Generowicz, J. M. and Daniell, G. J. (2001) Eigenvalue Spectrum Estimation and Photonic Crystals. In: 7th International Euro-Par Conference. pp. 578-586.

Thomas, K. S., Cox, S. J., Beckett, D. H., Hiett, B. P., Generowicz, J. M. and Daniell, G. J. (2001) Eigenvalue Spectrum Estimation and Photonic Crystals. In: 7th International Euro-Par Conference, 2003, Klagenfurt, Austria. pp. 578-586.

Thomas, K. S., Cox, S. J., Beckett, D. H., Hiett, B. P., Generowicz, J. M. and Daniell, G. J. (2001) Eigenvalue Spectrum Estimation and Photonic Crystals. In: 7th International Euro-Par Conference. pp. 578-586.

Varea, M. and Al-Hashimi, B. (2001) Embedded Systems Modelling and Validation based on Extended Petri Nets. In: 1st U.K. SIGDA Workshop on Design Automation, 10 September 2001, London, UK.

Varea, M. and Al-Hashimi, B. M. (2001) Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification. In: Conference on Design, Automation and Test in Europe (DATE), 13-16 March 2001, Munich, Germany. pp. 566-571.

Wilmer, A. I., Stathaki, T., Gunn, S. R. and Damper, R. I. (2001) Texture analysis with the Volterra model using conjugate gradient optimisation. In: 9th European Symposium on Artificial Neural Networks, Bruges, Belgium. pp. 211-216.

This list was generated on Tue Sep 23 00:56:09 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