The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2001

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 59.

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

Banach, Richard and Poppleton, Michael, (2001) Model Based Engineering of Specifications by Retrenching Partial Requirements Menzies, Tim (ed.) At IEEE Model Based Requirements Engineering Workshop.

Brezany, Peter, Winslett, Marianne, Nicole, Denis A. and Cortes, Toni, Sakellariou, Rizos, Keane, John, Gurd, John and Freeman, Len(eds.) (2001) Topic 18 Parallel I/O and Storage Technology Lecture Notes in Computer Science, 2150, p. 887.

Butler, Michael, Hartel, Pieter, Jong, Eduard de and Longley, Mark, (2001) Transacted Memory for Smart Cards Oliveira, J. N. and Zave, P. (eds.) At 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 At Int. Conf. on Advanced Concepts For Intelligent Vision Systems, 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 Insana, Michael F. and Leahy, Richard M. (eds.) At 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 At Intelligent Processing and Manufacturing of Materials, Canada.

Cirstea, Corina, Reichel, H.(ed.) (2001) Integrating observational and computational features in the specification of state-based, dynamical systems Theoretical Informatics and Applications, 35, (1), pp. 1-29.

Cirstea, Corina, Jacobs, B., Moss, L., Reichel, H. and Rutten, J.(eds.) (2001) Semantic constructions for the specification of objects Theoretical Computer Science, 260, (1), pp. 3-25.

Crowder, Richard, Hall, Wendy, Wills, Gary, Humpreys, Dave and Ash, Jon (2001) Hypermedia Information Systems in Industry Computing and Control Engineering Journal, 12, (1), pp. 21-28.

Crowder, Richard, Sim, Y W, Wills, Gary and Greenough, Richard, (2001) A review of the benefits of using hypermedia manuals Davis, Hugh, Douglas, Yellowlees and Durand, David (eds.) At Proceedings of the twelfth ACM conferance on Hypertext and Hypermedia. , pp. 245-6.

Crowder, Richard, Wills, Gary and Hall, Wendy (2001) Provision of industrial information resources through hypermedia At 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 At Fifth International Conference on Cognitive and Neural Systems. , #23.

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

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.

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

Gilbert, Lester and de Watteville, Alastair (2001) Advanced VCE in Information and Communication Technology Tutor's File, Heinemann

Grass, Eckhard, Tittelbach, Klaus, Jagdhold, Ulrich, Troya, Alfonso, Lippert, Gunther, Krueger, Olaf, Lehman, Jens, Maharatna, Koushik, Fiebig, Norbert, Dombrowski, Kai, Kraemer, Rolf and Maehoenen, Patrick (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 s.n.

Henderson, Peter, Crouch, Stephen and Walters, Robert John (2001) Inconsistency Tolerance across Enterprise Solutions At 8th IEEE Workshop on Future Trends of Distributed Computing Systems. , pp. 164-169.

Henderson, Peter, Howard, Yvonne Margaret and Walters, Robert John (2001) A Tool for Evaluation of the Software Development Process Journal of Systems and Software, 59, (3), pp. 355-362.

Henderson, Peter and Walters, Robert John (2001) Behavioural Analysis of Component-Based Systems Information and Software Technology, 43, (3), pp. 161-169.

Hennessy, Matthew, Lin, Huimin and Rathke, Julian (2001) Unique fixpoint induction for message-passing process calculi Science of Computer Programming, 41, (3), pp. 241-275.

Hiett, BP, Generowicz, JM, Cox, SJ, Molinari, M, Beckett, D, Parker, GJ and Thomas, KS (2001) FINITE ELEMENT MODELLING OF PHOTONIC CRYSTALS: 1st At PREP 2001 Conference Publication. , pp. 87-88.

Kandola, J.S. and Gunn, S.R. (2001) Interpretable Modelling with Sparse Kernels University of Southampton, Electronics and Computer Science : University of Southampton, Doctoral Thesis .

Lee, K.K., Gunn, S.R., Harris, C.J. and Reed, P.A.S. (2001) Classification of Imbalanced Data with Transparent Kernels At INNS-IEEE Int. Joint Conf. on Neural Networks. , 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 At Proceedings of the International ICSC Congress on Computational Intelligence: Methods & Applications. International ICSC Congress on Computational Intelligence: Methods & Applications (CIMA 2001), United Kingdom. 19 - 22 Jun 2001.

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 At Int. Conf. Neural Networks and Applications, Spain. , pp. 309-314.

Lee, K.K., Harris, C.J., Gunn, S.R. and Reed, P.A.S. (2001) Regression models for classification to enhance interpretability At Proceedings of the 3rd International Conference: Intelligent Processing and Manufacturing of Materials, Canada. 29 Jul - 03 Aug 2001.

Leuschel, Michael, Adhianto, Laksono, Butler, Michael, Ferreira, Carla and Mikhailov, Leonid, (2001) Animation and Model Checking of CSP and B using Prolog Technology Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (eds.) At Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001. , pp. 97-109.

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

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

Mikhailov, Leonid and Butler, Michael (2001) Combining B and Alloy At 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

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

Rosinger, Paul, Al-Hashimi, Bashir and Nicolici, Nicola (2001) Power Constrained Test Scheduling Using Power Profile Manipulation, ISCAS 2001 At Intl. Symposium on Circuits and Systems 2001. , pp. 251-254.

Rosinger, Paul, Gonciari, Theo, Al-Hashimi, Bashir and Nicolici, Nicola, IEE, None(ed.) (2001) Simultaneous Reduction in Volume of Test Data and Power Dissipation for Systems-on-a-Chip Electronics Letters, 37, (24), pp. 1434-1436.

Satpathy, Manoranjan, Harrison, Rachel, Snook, Colin and Butler, Michael (2001) A Comparative Study of Formal and Informal Specifications through an Industrial Case Study At IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS'01).

Satpathy, Manoranjan, Harrison, Rachel, Snook, Colin and Butler, Michael, (2001) A Generic Model for Assessing Process Quality Dumke, None and Abran, None (eds.) At International Workshop on Software Measurement (IWSM2000).

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

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

Schmitz, Marcus T., Al-Hashimi, Bashir M. and Eles, Petru (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 At 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 At IEEE Conference on Computer Vision and Pattern Recognition. , pp. 670-675.

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

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

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.

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 Sakellariou, R, Keane, J., Gurd, J. and Freeman, L. (eds.) At 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 Sakellariou, R, Keane, J., Gurd, J. and Freeman, L. (eds.) At 7th International Euro-Par Conference, 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 Sakellariou, R, Keane, J., Gurd, J. and Freeman, L. (eds.) At 7th International Euro-Par Conference. , pp. 578-586.

Varea, Mauricio and Al-Hashimi, Bashir (2001) Embedded Systems Modelling and Validation based on Extended Petri Nets At 1st U.K. SIGDA Workshop on Design Automation, United Kingdom.

Varea, Mauricio and Al-Hashimi, Bashir M. (2001) Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification At Conference on Design, Automation and Test in Europe (DATE), Germany. 13 - 16 Mar 2001. , 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 At 9th European Symposium on Artificial Neural Networks, Belgium. , pp. 211-216.

garratt, paul and warde, simon (2001) Analysis of Costs and Benefits of compressing data on the Usenet At MS2001 INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION IN DISTRIBUTED APPLICATIONS, China.

This list was generated on Thu Apr 13 07:58:22 2017 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×