Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2001
|Up a level|
Al-Hashimi, B.M. and Xie, Y. (2001) Non ideal performance of Bruton transformations switched current wave filters+. IEE Proceeding: Circuits, Systems, and Devices
Banach, Richard and Poppleton, Michael (2001) Model Based Engineering of Specifications by Retrenching Partial Requirements. In, IEEE Model Based Requirements Engineering Workshop, San Diego, CA., IEEE Computer Society Press.
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 Euro-Par 2001: Parallel Processing: 7th International Euro-Par Conference Manchester, UK August 28-31, 2001, Proceedings, 2150, 887-887.
Butler, Michael, Hartel, Pieter, Jong, Eduard de and Longley, Mark (2001) Transacted Memory for Smart Cards. In, FME 2001, Formal Methods for Increasing Software Productivity Springer-Verlag, 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, Baden-Baden, Germany, , 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. At Information Processing in Medical Imaging Springer, 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), 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. Intelligent Processing and Manufacturing of Materials, Vancouver, Canada,
Cirstea, Corina, Reichel, H. (eds.) (2001) Integrating observational and computational features in the specification of state-based, dynamical systems. Theoretical Informatics and Applications, 35, (1), 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), 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), 21-28.
Crowder, Richard, Sim, Y W, Wills, Gary and Greenough, Richard (2001) A review of the benefits of using hypermedia manuals. In, Proceedings of the twelfth ACM conferance on Hypertext and Hypermedia ACM, 245-6.
Crowder, Richard, Wills, Gary and Hall, Wendy (2001) Provision of industrial information resources through hypermedia. Proceedings of the ASME 2001 Design Engineering Technical Conferance and Computer and Information in Engineering Conference ASME.
Damper, R. I. and Gunn, S. R. (2001) Modeling the acoustic-to-auditory transformation for stop consonant-vowel syllables. 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. At 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, 1975-1994.
Gilbert, Lester (2001) The Revised IOM Class Rules. Marine Modelling International, Februa, 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), 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), 635-652.
Gunn, S.R. (2001) Project Special Brew: Supercomputing on a budget.
Henderson, Peter, Crouch, Stephen and Walters, Robert John (2001) Inconsistency Tolerance across Enterprise Solutions. 8th IEEE Workshop on Future Trends of Distributed Computing Systems , 164-169.
Henderson, Peter, Howard, Yvonne Margaret and Walters, Robert John (2001) A Tool for Evaluation of the Software Development Process. The Journal of Systems and Software, 59, (3), 355-362.
Henderson, Peter and Walters, Robert John (2001) Behavioural Analysis of Component-Based Systems. Information and Software Technology, 43, (3), 161-169.
Hennessy, Matthew, Lin, Huimin and Rathke, Julian (2001) Unique fixpoint induction for message-passing process calculi. Science of Computer Programming, 41, (3), 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. PREP 2001 Conference Publication EPSRC, 87-88.
Kandola, J.S. (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, Washington, DC, U.S.A., , 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, Proceedings of the International ICSC Congress on Computational Intelligence: Methods & Applications. International ICSC Congress on Computational Intelligence: Methods & Applications (CIMA 2001), Bangor, GB, 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, Puerto de la Cruz, Canary islands, Spain, , 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, Vancouver, 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. In, Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001 , 97-109.
Maharatna, Koushik and Banerjee, Swapna (2001) A VLSI Array Architecture for Hough Transform. Pattern Recognition, 34, 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, 1813-1822.
Mikhailov, Leonid and Butler, Michael (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. Design Automation and Test in Europe (DATE)
Nicolici, N. and Al-Hashimi, B.M. (2001) Low Power Test Compability Classes. UNSPECIFIED IEEE Workshop on RTL, ATPG, and DFT.
Nicolici, N. and Al-Hashimi, B.M. (2001) Minimising power dissipation in partial scan sequential circuits. IEE Proceedings of Computer and Digital Techniques
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. UNSPECIFIED International Test Conference.
Rosinger, Paul, Al-Hashimi, Bashir and Nicolici, Nicola (2001) Power Constrained Test Scheduling Using Power Profile Manipulation, ISCAS 2001. Intl. Symposium on Circuits and Systems 2001 , 251-254.
Rosinger, Paul, Gonciari, Theo, Al-Hashimi, Bashir and Nicolici, Nicola, IEE, (eds.) (2001) Simultaneous Reduction in Volume of Test Data and Power Dissipation for Systems-on-a-Chip. IEE Electronics Letters, 37, (24), 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. In, 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. In, International Workshop on Software Measurement (IWSM2000) Springer.
Schmitz, Marcus T and Al-Hashimi, Bashir M (2001) Considering Power Variations of DVS Processing Elements for Energy Minimisation in Distributed Systems. In, Inter. Symposium on System Synthesis (ISSS2001), Montreal, Canada, IEEE, 250-255.
Schmitz, Marcus T. and Al-Hashimi, Bashir M. (2001) Considering Power Variations of DVS Processing Elements for Energy Minimisation in Distributed Systems. Proceedings of 14th International Symposium on System Synthesis ACM, 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. International Conference on Chinese Computing, , 213-219.
Shi, D., Gunn, S. R. and Damper, R. I. (2001) A radical approach to handwritten Chinese character recognition using active handwriting models. IEEE Conference on Computer Vision and Pattern Recognition, Kauai, Hawaii, , 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, 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), 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), 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. 7th International Euro-Par Conference Springer, 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, Klagenfurt, Austria, Springer, 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 Springer, 578-586.
Varea, Mauricio and Al-Hashimi, Bashir (2001) Embedded Systems Modelling and Validation based on Extended Petri Nets. In, 1st U.K. SIGDA Workshop on Design Automation, London, UK,
Varea, Mauricio and Al-Hashimi, Bashir M. (2001) Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification. In, Conference on Design, Automation and Test in Europe (DATE), Munich, Germany, 13 - 16 Mar 2001. , 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, Bruges, Belgium, , 211-216.
garratt, paul and warde, simon (2001) Analysis of Costs and Benefits of compressing data on the Usenet. In, MS2001 INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION IN DISTRIBUTED APPLICATIONS, Changsha, China,