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.

All items from 2003
(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: Item Type | No Grouping | Creator/Authors Name
Number of items: 833.

Article

El MubareK, H. A. W. and Ashburn, P. (2003) “Reduction of boron thermal diffusion and elimination of boron transient enhanced diffusion in silicon by high energy fluorine implantation”, Applied Physics Letters, vol. 83 (20), pp. 4134-4136, (2003). Applied Physics Letters, 83 (20). pp. 4134-4136.

. Moshrefi-Torbati, M., Keane, A. J., Elliott, S. J., Brennan, M. J. and Rogers, E. (2003) Passive vibration control of a satellite boom structure by geometric optimisation using genetic algorithm. Journal of Sound and Vibration, 267 (4). pp. 879-892.

Aglietti, G. S. and Rogers, E. (2003) . Experimental Validation of Lagrange-Rayleigh-Ritz Modeling Technique for Mass Loaded Actively Controlled Panels. American Society of Civil Engineers, Journal of Aerospace Engineering, 16 (1). pp. 31-37.

Al-Hashimi, B., Xie, Y. and Zwolinski, M. (2003) Analysis of mirror mismatch and clock-feedthrough in Brouton transformation switched current wave filters. IEE Proceedings- Circuits, Devices and Systems, 150 (1). pp. 6-15.

Alani, H., Dasmahapatra, S., O'Hara, K. and Shadbolt, N. (2003) Identifying Communities of Practice through Ontology Network Analysis. IEEE Intelligent Systems, 18 (2). pp. 18-25.

Alani, H., Kim, S., Millard, D. E., Weal, M. J., Hall, W., Lewis, P. H. and Shadbolt, N. R. (2003) Automatic Ontology-Based Knowledge Extraction from Web Documents. IEEE Intelligent Systems, 18 (1). pp. 14-21.

Alias, M. Y., Samingan, A. K., Chen, S. and Hanzo, L. (2003) Multiple antenna aided OFDM employing minimum bit error rate multiuser detection. Electronics Letters, 39 (24). pp. 1769-1770. ISSN 0013-5194

Alivov, Y. I., Kalinina, E. V., Cherenkov, A. E., Look, D. C., Ataev, B. M., Omaev, A. K., Chukichev, M. V. C. and Bagnall, D. M. (2003) Fabrication and characterization of n-Zn0/p-AlGaN heterojunction light-emitting diodes on 6H-SiC substrates. Applied Physics Letters, 83 (23). pp. 4719-4721. ISSN 0003-6951/2003/83/4719/3

Anthony, P. and Jennings, N. R. (2003) Developing a bidding agent for multiple heterogeneous auctions. ACM Trans on Internet Technology, 3 (3). pp. 185-217.

Augusto, J. C. (2003) A General framework for Reasoning about Change. New Generation Computing, 21 (3). pp. 209-247. (In Press)

Augusto, J. C. and Gómez, R. (2003) A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. International Journal of Software Engineering and Knowledge Engineering . (In Press)

Banach, R. and Poppleton, M. (2003) Retrenching Partial Requirements into System Definitions: A Simple Feature Interaction Case Study. Requirements Engineering Journal, 8 (4). pp. 266-288. ISSN 0947-3602

Bartlett, P. N., Baumberg, J. J., Coyle, S. and Abdelsalem, M. (2003) Optical properties of nanostructured metal films. Faraday Discussions . p. 117.

Baumberg, J. J. (2003) Latex molds spherical-micromirror arrays. Laser Focus World .

Baumberg, J. J. (2003) When photonic crystals meet Fibonacci. Physics World .

Baumberg, J. J. and Vina, L. (2003) Special issue on microcavities. Semicond Sci & Tech .

Besombes, L., Baumberg, J. J. and Motohisa, J. (2003) Coherent spectroscopy of optically-gated charged single InGaAs quantum dots. Physics Review Letters .

Bian, W. (2003) Perturbations of nonlinear evolution equations. Publicationes Mathematicae, 63 . pp. 95-104.

Bonsma, E., Karunatillake, N. C., Shipman, R., Shackleton, M. and Mortimore, D. (2003) Evolving greenfield passive optical networks. BT Technology Journal, 21 (4). pp. 44-49.

Booth, S. E., Marsh, C. D., Mallik, K., Baranauskas, V., Sykes, J. M. and Wilshaw, P. R. (2003) Fabrication of nanocrystalline aluminium islands using double-surface anodization. Journal of Vacuum Science & Technology B, 21 (1). pp. 316-318. ISSN 1071-1023

Borel, P. I., Frandsen, L. H., Thorhauge, M., Harpoth, A., Zhuang, Y. X., Kristensen, M. and Chong, H. M. H. (2003) Efficient propagation of TM polarized light in photonic crystal components exhibiting band gaps for TE polarized light. Optics Express, 11 (15). p. 1757.

Brede, M. and Behn, U. (2003) Patterns in randomly evolving networks: Idiotypic networks. Physical Review E, 67 (3). ISSN 1539-3755

Brown, M. A., Chen, G., Davies, A. E., Vaughan, A. S. and Norman, P. A. (2003) High voltage performance of bulk and amalgamated PE insulastion systems: Part II Breakdown Morphology and Lifetime. J. Phys D, 36 (24). pp. 3197-3204.

Brown, M. A., Chen, G. and Norman, P. A. (2003) High Voltage Performance of Bulk and Amalgamated PE Insulation Systems: Part I. Space Charge Characteristics. J. Phys. D: Appl. Phys., 36 . pp. 3191-3196. ISSN 0022-3727

Brown, M. A., Chen, G., Vaughan, A. S. and Norman, P. A. (2003) High Voltage Performance of Bulk and Amalgamated PE Insulation Systems: Part II. Breakdown, Morphology and Lifetime. J. Phys. D: Appl. Phys., 36 . pp. 3197-3204. ISSN 0022-3727

Bruijn, M. P., Tiest, W. M. B., Hoevers, H. F. C., Krouwer, E., van der Kuur, J., Ridder, M. L., Moktadir, Z., Wiegerink, R. and Elwenspoek, M. (2003) Development of arrays of transition edge sensors for application in X-ray astronomy. Nucl. Instr. & Meth. A, 513 . p. 143.

Bu, M., Melvin, T., Ensell, G., Wilkinson, J. and Evans, A. (2003) Design and theoretical evaluation of a novel microfluidic device to be used for PCR. Journal of Micromechanics and Microengineering, 13 (4). pp. 125-130.

Castellanos, A., Ramos, A., Gonzalez, A., Green, N. G. and Morgan, H. (2003) Electrohydrodynamics and dielectrophoresis in microsystems: scaling laws. Journal of Physics D-Applied Physics, 36 (20). pp. 2584-2597. ISSN 0022-3727

Castellanos, A., González, A., Ramos, A., Green, N. and Morgan, H. (2003) Electrohydrodynamics in microelectrode structures. IoP Publishing . pp. 175-180.

Castellanos, A., González, A., Ramos, A., Green, N. and Morgan, H. (2003) Ramos A., Green N.G. and Morgan H. Electrothermal liquid motion in microsystems subjected to alternating and rotating electric fields. Am. Soc. Mech. Eng. (ASME) .

Castellanos, A., Ramos, A., Gonzalez, A., Green, N. G. and Morgan, H. (2003) Electrohydrodynamics and dielectrophoresis in microsystems: scaling laws. Journal of Physics D: Applied Physics, 36 . pp. 2584-2597. ISSN 0022-3727

Chang, C. M. and Al-Hashimi, B. M. (2003) Analytical Synthesis of Current-Mode High-Order OTA-C Filters. IEEE Transactions on Circuit and Systems I: Fundamental Theroy and Applications, 50 (509). pp. 1188-1192. ISSN 1057-7122

Chang, C. M., Al-Hashimi, B. M., Wang, C. L. and Hung, C. W. (2003) A Single Fully Differential Current Conveyor Biquad Filters. IEE Proceedings-Circuits, Devices and Systems . (Unpublished)

Chappell, P. H. and Elliott, J. A. (2003) Contact force sensor for artificial hands with a digital interface for a controller. Measurement Science and Technology, 14 . pp. 1275-1279. ISSN 1361-6501

Chen, G., Zhong, L. S., Xie, H. K., Banford, H. M. and Davies, A. E. (2003) The influence of oxidation on space charge formation in gamma-irradiated low density polyethylene. Journal of Radiation Physics and Chemistry, Vol. 6 . pp. 247-255. ISSN 0969-806X

Chen, S. (2003) Low complexity concurrent constant modulus algorithm and soft decision directed scheme for blind equalisation. IEE Proceedings - Vision, Image and Signal Processing, 150 (5). pp. 312-320. ISSN 1350-245X

Chen, S., Hong, X. and Harris, C. J. (2003) Sparse kernel regression modelling using combined locally regularized orthogonal least squares and D-optimality experimental design. IEEE Transactions on Automatic Control, 48 (6). pp. 1029-1036. ISSN 0018-9286

Chen, S., Hong, X. and Harris, C. J. (2003) Sparse multi-output radial basis function network construction using combined locally regularised orthogonal least square and D-Optimality experimental design. IEE Proc. Control Theory and Application, 150 (2). pp. 139-146. ISSN 1350-2379

Chen, S., Mulgrew, B. and Hanzo, L. (2003) Least Bit Error Rate Adaptive Nonlinear Equalizers for Binary Signalling. IEE Proceedings Communications, 150 (1). pp. 29-36. ISSN 1350-2425

Chiang, C. C., El-Far, I., Gruner, S., Montigel, M., Thompson, H. and Whittaker, J. (2003) ACM SAC'03 Special Track on Software Engineering:
Applications, Practices, and Tools.
Software Engineering Notes, 28 (2). pp. 8-9. ISSN 0163-5948

Choi, B. J. and Hanzo, L. (2003) Crest Factors of Complementary-Sequence-Based Multicode MC-CDMA Signals. IEEE Transactions on Wireless Communications, 2 (6). pp. 1114-1119.

Choi, B. J. and Hanzo, L. (2003) Optimum Mode-Switching-Assisted Constant-Power Single- and Multicarrier Adaptive Modulation. IEEE Transactions on Vehicular Technology, 52 (3). pp. 536-560.

Chowdhry, B. S. and Cranny, A. W. J. (2003) Capacitive sensors revolutionize sensing technology. DAWN the Internet Edition (27 Sep).

Cliff, D. (2003) Explorations in Evolutionary Design of Online Auction Market Mechanisms. Journal of Electronic Commerce Research and Applications, 2 (2). pp. 162-175.

Coyle, S., Prakash, G. V., Baumberg, J. J. and Abdelsalam, M. (2003) Spherical micro-mirrors from templated self-assembly: geometric reflectivity on the micron scale. Appl Phys Lett .

Crowder, R., Hughes, G. and Hall, W. (2003) Approaches to Locating Expertise using Corporate Knowledge. International Journal of Intelligent Systems in Accounting, Finance and Mangement, 11 . pp. 185-200. ISSN 1055-615X

Crowder, R., Wills, G. and Hall, W. (2003) Evaluation of a hypermedia maintenance support application. Computers in Industry, 51 (3). pp. 327-344.

Crutchley, D. and Zwolinski, M. (2003) Globally convergent algorithms for dc operating point analysis of nonlinear circuits. IEEE Transactions on Evolutionary Computing, 7 (1). pp. 2-10. ISSN 1089-778X

Cunado, D., Nixon, M. S. and Carter, J. N. (2003) Automatic Extraction and Description of Human Gait Models for Recognition Purposes. Computer Vision and Image Understanding,, 90 (1). pp. 1-41.

d'Inverno, R. A., Davis, H. C. and White, S. (2003) Using a personal response system for promoting student interaction. Teaching Mathematics and its Applications, 22 (4). pp. 163-169. ISSN Print ISSN: 0268-3679 Online ISSN: 1471-6976

Damper, R. I. (2003) Obituary: W.A. (`Bill') Ainsworth 1939-2002. International Journal of Speech Technology, 6 (1). pp. 7-9.

Damper, R. I. (2003) Obituary: W.A. (`Bill') Ainsworth 1939-2002. Computer Speech and Language, 17 (1). pp. 105-106.

Damper, R. I. (2003) Preface (to Theme Issue on Biologically Inspired Robotics). Philosophical Transactions of the Royal Society: Mathematical, Physical and Engineering Sciences, 361 (1811). pp. 2081-2083.

Damper, R. I. and Higgins, J. E. (2003) Improving speaker identification in noise by subband processing and decision fusion. Pattern Recognition Letters, 24 (13). pp. 2167-2173.

Dash, R. K., Parkes, D. C. and Jennings, N. R. (2003) Computational Mechanism Design: A Call to Arms. IEEE Intelligent Systems, 18 (6). pp. 40-47.

de Pinedo, M. and Noble, J. (2003) Mind / body problems? Turn to Beer (commentary). Adaptive Behavior, 11 . pp. 289-290.

de Planque, M. R. R., Bonev, B. B., Demmers, J. A. A., Greathouse, D. V., Koeppe II, R. E., Separovic, F., Watts, A. and Killian, J. A. (2003) Interfacial anchor properties of tryptophan residues in transmembrane peptides can dominate over hydrophobic matching effects in peptide-lipid interactions. Biochemistry, 42 (18). pp. 5341-5348.

de Planque, M. R. R. and Killian, J. A. (2003) Protein-lipid interactions studied with designed transmembrane peptides: role of hydrophobic matching and interfacial anchoring (Review). Molecular Membrane Biology, 20 . pp. 271-284.

De Roure, D. (2003) On self-organization and the semantic grid. IEEE Intelligent Systems, 18 (4). pp. 77-79.

Dennis, C. L., Sirisathitkul, C., Ensell, G. J., Gregg, J. F. and Thompson, S. M. (2003) High current gain silicon-based spin transistor. Journal of Physics D: Applied Physics, 36 (2). pp. 81-87.

Dilliway, G. D. M., Bagnall, D. M., Cowern, N. E. B. and Jeynes, C. (2003) Self-assembled germanium islands grown on (001) silicon substrates by low-pressure chemical vapor deposition. Journal of Materials Science : Materials in Electronics, 14 . pp. 323-327.

Dodd, S. J. (2003) A Deterministic Model for the Growth of Non-conducting Electrical Tree Structures. Journal of Physics D: Applied Physics, 36 . pp. 129-141.

Dodd, S. J., Champion, J. V., Vaughan, A. S., Sutton, S. J. and Swingler, S. G. (2003) The influence of morphology on electrical treeing in polyethylene blends. IEE Proc. - Sci. Meas. Technol., 150 (2). pp. 58-64.

Dodd, S. J., Champion, J. V., Zhao, Y., Vaughan, A. S., Sutton, S. J. and Swingler, S. G. (2003) The Influence of Morphology on Electrical Treeing in Polyethylene Blends. IEEE Proceedings Science Measurement and Technology, 150 (2). pp. 58-64.

Dorey, R., Whatmore, R., Beeby, S. P., Torah, R. and White, N. (2003) Screen Printed PZT Thick Films Using Composite Film Technology. Integrated Ferroelectrics, 54 . pp. 651-658. ISSN 1058-4587

Drysdale, T. D., Blaikie, R. J., Chong, H. M. H. and Cumming, D. R. S. (2003) Artificial dielectric devices for variable polarization compensation at millimeter and submillimeter wavelengths. IEEE Transactions on antennas and Propagations, 51 (11). pp. 3072-3079.

Dymkov, M., Gaishun, I., Rogers, E., Galkowski, K. and Owens, D. H. (2003) $z$-Transform and Volterra Operator Based Approaches to
Controllability and Observability Analysis for Discrete Linear
Repetitive Processes.
Multidimensional Systems and Signal Processing, 14 . pp. 365-395.

El Mubarek, H. A. W. and Ashburn, P. (2003) Reduction of boron thermal diffusion and elimination of boron transient enhanced diffusion in silicon by high energy fluorine implantation. Applied Physics Letters, 83 (20). pp. 4134-4136.

El Mubarek, H. A. W., Bonar, J. M., Ashburn, P., Wang, Y., Hemment, P. L. F., Buiu, O. and Hall, S. (2003) Non-selective growth of SiGe heterojunction bipolar transistor layers at 700C with dual control of n and p type dopant profiles. Journal of Materials Science: Materials in Electronics, 14 (5). pp. 261-265.

El Mubarek, H. A. W., Bonar, J. M., Ashburn, P., Wang, Y., Hemment, P., Buiu, O. and Hall, S. (2003) Non-selective growth of SiGe heterojunction bipolar transistor layers at 700C with dual control of n and p type dopant profiles. Journal of Materials Science: Materials in Electronics, 14 (5). pp. 261-265.

Elliott, T. (2003) An analysis of synaptic normalisation in a general class of Hebbian models. Neural Computation, 15 . pp. 937-963.

Elliott, T. and Shadbolt, N. R. (2003) Developing a robot visual system using a biologically inspired model of neuronal development. Robotics and Autonomous Systems, 45 . pp. 111-130.

Elliott, T. and Shadbolt, N. R. (2003) Developmental robotics: Manifesto and application. Philosophical Transactions of the Royal Society of London, Series A, 361 . pp. 2187-2206.

Ermolina, I., Morgan, H., Green, N. G., Milner, J. J. and Feldman, Y. (2003) Dielectric spectroscopy of Tobacco Mosaic Virus. Biochimica et Biophysica Acta, 1622 . pp. 57-63. ISSN 0304-4165

Erwin-Wright, S., Sanders, D. and Chen, S. (2003) Predicting terrain contours using a feed-forward neural network. Engineering Applications of Artificial Intelligence, 16 (5/6). pp. 465-472. ISSN 0952-1976

Excelente-Toledo, C. B. and Jennings, N. R. (2003) Learning when and how to co-ordinate. International Journal of Web Intelligence and Agent Systems, 1 (3-4). pp. 203-218.

Fischer, B. and Schumann, J. (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models. Journal of Functional Programming, 13 (3). pp. 483-508. ISSN 0956-7968

Foster, J. P., Nixon, M. S. and Prugel-Bennett, A. (2003) Automatic gait recognition using area-based metrics. Pattern Recognition Letters, 24 . pp. 2489-2497.

French, M. and Beleznay, F. (2003) Overparameterised controllers can reduce non-singular costs. Systems and Control Letters, 48 (1). pp. 12-25.

Fu, M. and Chen, G. (2003) Space charge measurements in polymer insulated power cables using flat ground electrode PEA system. IEE Proc.-Sci. Meas. Technol, 150 (2). pp. 89-96. ISSN 1350-2344

Fu, M. and Chen, G. (2003) Space charge measurement in polymer insulated power cables using flat ground electrode PEA. IEE Proceedings A - Science, Measurement and Technology, 150 (2). pp. 89-96. ISSN 0143-702X

Galkowski, K., Lam, J., Rogers, E., Xu, S., Sulikowski, B., Paszke, W. and Owens, D. H. (2003) LMI based stability analysis and robust controller design for discrete linear repetitive processes. International Journal of Robust and Nonlinear Control, 13 . pp. 1195-1211.

Galkowski, K., Paszke, W., Rogers, E., Xu, S., Lam, J. and Owens, D. H. (2003) Stability and control of differential linear repetitive processes using an LMI setting. IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 50 (9). pp. 662-666.

Gao, J. B., Gunn, S. R. and Harris, C. J. (2003) Mean Field Method for the Support Vector Machine Regression. Neurocomputing, 50 . pp. 391-405.

Gao, J. B., Gunn, S. R. and Harris, C. J. (2003) SVM Regression through Variational Methods and its Sequential Implementation. Neurocomputing, 55 (1-2). pp. 151-167. (In Press)

GAUNT, L. F., JERRIM, K. L. and HUGHES, J. F. (2003) Electrostatic control of domestic dust and allergen particles for improved air quality. POWDER TECHNOLOGY, 135 (SP. IS). pp. 354-360.

Gaunt, L. F., Jerrim, K. L. and Hughes, J. F. (2003) Electrostatic Control of Domestic Dust and Allergen Particles for Improved Air Quality. Powder Technology, 135 . pp. 354-360.

Gaunt, L. F., Hughes, J. F. and Harrison, N. M. (2003) Electrostatic deposition of charged insecticide sprays on electrically isolated insects. Journal of Electrostatics, 57 (1). pp. 35-47. ISSN 0304-3886

Gaunt, L. and Hughes, J. (2003) Electrostatic Deposition of Charged Insecticide Sprays on Electrically Isolated Insects. Journal of Electrostatics, 57 (1). pp. 35-47.

Gaunt, L. and Hughes, J. (2003) Electrostatic Deposition of Charged Insecticide Sprays on Electrically Isolated Insects. Journal of Electrostatics, 57 (1). pp. 35-47. (In Press)

Gaunt, L., Hughes, J. and Harrison, N. (2003) Removal of domestic airborne dust particles by naturally charged liquid sprays. Journal of Electrostatics, 58 (3-4). pp. 159-169.

Gaunt, L. F., Hughes, J. F. and Harrison, N. (2003) Removal of domestic airborne dust particles by naturally charged liquid sprays. Journal of Electrostatics, 58 (3-4). pp. 159-169.

Gerding, E. H., van Bragt, D. D. B. and La Poutre, J. A. (2003) Multi-Issue Negotiation Processes by Evolutionary Computation, Validation and Social Extensions. Computational Economics, 22 (1). pp. 39-63.

Gibbins, N., Harris, S. and Shadbolt, N. (2003) Agent-based Semantic Web Services. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 1 (2). pp. 141-154. ISSN 1570-8268 (In Press)

Gindila, M. V. and Kraft, M. (2003) Electronics interface design for an electrically floating micro-disc. J Micromech Microeng, 13 . S1-S5.

Glass, C. A. and Prügel-Bennett, A. (2003) Genetic Algorithm for Graph Colouring: Exploration of Galinier and Hao's algorithm. Journal of Combinatorial Optimization, 7 . pp. 229-236.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2003) Test Cost Reduction Through Compression. Electronics Systems and Software, 1 (3). pp. 37-41.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2003) Variable-Length Input Huffman Coding for System-on-a-Chip Test. IEEE Transactions on Computer-Aided Design, 22 (6). p. 783.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2003) Addressing Useless Test Data in Core-Based System-on-a-Chip Test. IEEE Transactions on Computer-Aided Design, 22 (11). pp. 1568-1590.

Guo, K., Robertson, R., Mahmoodi, S., Tadmor, Y. and Young, M. (2003) How do monkeys view faces?—a study of eye movements. Experimental Brain Research, 150 . pp. 363-374.

Hakim, M. M. A. and Haque, A. (2003) Effects of Neglecting Carrier Tunneling on Electrostatic
Potential in Calculating Direct Tunneling Gate Current in
Deep Submicron MOSFETs.
IEEE Transaction on Electron Devices, 49 . pp. 1669-1671.

Hakim, M. M. A. and Haque, A. (2003) Computationally efficient quantum-mechanical technique to calculate direct tunnelling gate leakage current in metal-oxide-semiconductor structures. Journal of Applied Physics, 94 (3). pp. 2046-2052.

Hakim, M. M. A. and Haque, A. (2003) Computationally efficient quantum-mechanical technique to calculate direct tunnelling gate leakage current in metal-oxide-semiconductor structures. Journal of Applied Physics, 94 (03). pp. 2046-2052. ISSN 0021-8979/2003/94(3)/2046

Hallac, A., Georghiou, G. E. and Metaxas, A. C. (2003) Secondary emission effects on streamer branching in transient non-uniform short-gap discharges. Journal of Physics D: Applied Phyisics, 36 (20).

Hamaguchi, K., Yang, L. L. and Hanzo, L. (2003) Multi-Stage Multi-User Detection Assisted Fast-FH/MFSK. IEE Electronic Letters, 39 (4). pp. 399-400.

Hanaguri, T., Takaki, K., Tsuchiya, Y. and Maeda, A. (2003) An instrument for low- and variable-temperature millimeter-wave surface impedance measurements under magnetic fields. Review of Scientific Instruments, 74 (10). pp. 4436-4441.

Hanzo, L. (2003) Wireless Multimedia Communications _ A Telepresence Paradigm for Anyone, Anywhere, Anytime or the Dawn of the World Wide Wait? Global Communications Newsletter . pp. 2-4.

Harnad, S. (2003) Back to the Oral Tradition Through Skywriting at the Speed of Thought. Interdisciplines .

Harnad, S. (2003) Can a Machine Be Conscious? How? Journal of Consciousness Studies, 10 (4-4). pp. 69-75.

Harnad, S. (2003) Open Access to Peer-Reviewed Research through Author/Institution Self-Archiving: Maximizing Research Impact by Maximizing Online Access. Journal of Postgraduate Medicine, 49 . pp. 337-342.

Harnad, S. (2003) Self-Archive Unto Others as Ye Would Have Them Self-Archive Unto You. The Australian Higher Education Supplement .

Harnad, S., Carr, L., Brody, T. and Oppenheim, C. (2003) Mandated online RAE CVs Linked to University Eprint Archives. Ariadne, 35 .

Harris, C. J., Chen, S. and Hong, X. (2003) Sparse Kernel Regression Modelling using combined locally regularised orthogonal least squares and D-Optimality. IEEE Transactions Automatic Control, 48 (6). pp. 1029-1035.

Harris, C. J., Chen, S., Hong, X. and Sharkey, P. M. (2003) Robust nonlinear Model Identification Methods using Forward Regression. IEEE Transactions Systems ,Man and Cybernetics, 33 (4). pp. 514-522.

Harris, C. J. and Hong, X. (2003) A Neurofuzzy Network Knowledge Extraction and Extended Gram-Schmidt Algorithm for Model Subspace Decompostion. IEEE Transactions Fuzzy Systems, 11 (4). pp. 528-541.

Harris, N., Beeby, S., White, N., Hill, M., Shen, Y., Coakley, W. T. and Hawkes, J. (2003) A Silicon Microfluidic Ultrasonic Separator. Sensors and Actuators B, 95 . pp. 425-434.

Hayfron-Acquah, J., Nixon, M. S. and Carter, J. N. (2003) Automatic gait recognition by symmetry analysis. Pattern Recognition Letters, 24 . pp. 2175-2183.

He, M. and Jennings, N. R. (2003) SouthamptonTAC: An adaptive autonomous trading agent. ACM Trans on Internet Technology, 3 (3). pp. 218-235.

He, M., Jennings, N. R. and Leung, H. (2003) On agent-mediated electronic commerce. IEEE Trans on Knowledge and Data Engineering, 15 (4). pp. 985-1003.

He, M., Leung, H. and Jennings, N. R. (2003) A fuzzy logic based bidding strategy for autonomous agents in continuous double auctions. IEEE Trans on Knowledge and Data Engineering, 15 (6). pp. 1345-1363.

Henderson, P. (2003) Modelling Architectures for Dynamic Systems. Programming Methodology .

Henderson, P., Crouch, S., Walters, R. J. and Ni, Q. (2003) A Comparison of some Negotiation Algorithms using a Tournament-Based Approach. Agent Technologies, Infrastructure, Tools, and Applications for E-Services, Lecture Notes in Artificial Intelligence (subseries of Lecture Notes in Computer Science), 2592 . pp. 137-150. ISSN 0302-9743

Hey, T. and Trefethen, A. (2003) e-Science and its implications. Philosophical Transactions of the Royal Society, 361 (1809). pp. 1809-1825. ISSN 1364-503X

Hitchcock, S. (2003) Metalist of Open Access E-print Archives: the Genesis of Institutional Archives and Independent Services. ARL Bimonthly Report (227). pp. 4-11.

Ho, Y. F. F., Chen, G., Davies, A. E., Swingler, S. G., Sutton, S. J. and Hampton, R. N. (2003) Effect of semiconducting scree on the space charge dynamic in XLPE and polyolefin insulation under dc and 50 Hz ac electric stresses conditions. IEEE Transactions on Dielectrics and Electrical Insulation, 10 (3). pp. 393-403. ISSN 1070-9878

Ho, Y. F. F., Chen, G., Davies, A. E., Swingler, S. G., Sutton, S. J. and Hampton, R. N. (2003) EFFECT OF SEMICONUCTING SCREEN ON THE SPACE CHARGE DYNAMIC IN XLPE AND POLYOLEFIN INSULATION UNDER DC AND 50HZ AC ELECTRIC STRESSES CONDITIONS. IEEE Transactions on Dielectrics and Electrical Insulation, Vol. 1 (No. 3). pp. 393-403. ISSN 1070-9878

Holmes, D., Green, N. G. and Morgan, H. (2003) Dielectrophoretic flow-through separation systems: Comparison of experimental and numerical simulations. IEEE Eng Med Biol, 22 (6). pp. 85-90.

Holmes, D., Green, N. G. and Morgan, H. (2003) Microdevices for Dielectrophoretic Flow-Through Cell Separation. IEEE Engineering in Medicine and Biology Magazine, Mirco . pp. 85-90.

Holmes, D. and Morgan, H. (2003) Cell Sorting and Separation using Dielectrophoresis. IoP Publishing . pp. 107-112.

Hong, X., Harris, C. J., Chen, S. and Sharkey, P. M. (2003) Robust nonlinear model identification methods using forward regression. IEEE Trans. Systems, Man and Cybernetics Part A, 33 (4). pp. 514-523.

Hosier, I. L., Alamo, R. G., Esteso, P., Isasi, J. R. and Mandelkern, L. (2003) Formation of the alpha and gamma polymorphs in random metallocene-propylene copolymers. Effect of concentration and type of comonomer. Macromolecules, 36 (15). pp. 5623-5636.

Hu, B., Arana, I. and Compatangelo, E. (2003) Facilitating DL-based Hybrid Reasoning with Inference Fusion. Journal of Knowledge-Based Systems . (In Press)

Husain, M. K. and Adeyeye, A. O. (2003) Magnetotransport properties of lithographically defined lateral Co/Ni80Fe20 wires. Journal of Applied Physics, 93 (10). pp. 7610-7612.

Husain, M. K., Adeyeye, A. O., Wang, C. C., Ng, V. and Low, T. S. (2003) Exchange bias effects in ferromagnetic wires. Journal of Magnetism and Magnetic Materials, 267 . pp. 191-196.

Hwang, S. H. and Hanzo, L. (2003) Reverse-Link Performance of Synchronous DS-CDMA Systems in Dispersive Rician Multipath Fading Channels. IEE Electronics Letters, 39 (23). pp. 1682-1684.

Ikeda, M., Nakazato, K., Mizuta, H., Green, M., Hasko, D. and Ahmed, H. (2003) Frequency-dependent electrical characteristics of DNA using molecular dynamics simulation. Nanotechnology, 14 . pp. 128-133.

Iyengar, A. and De Roure, D. (2003) Guest editors' introduction. IEEE Transactions on Knowledge and Data Engineering, 15 (4). pp. 769-770.

Jennings, N. R. and Bussmann, S. (2003) Agent-based control systems. IEEE Control Systems, 23 (3). pp. 61-74.

Kalafalla, M. A. H., Mizuta, H. and Durrani, Z. A. K. (2003) Switching of single-electron oscillations in dual-gated nanocrystalline silicon point-contact transistor. CREST FEMD News Letter, 5 (3). pp. 5-6.

Kalfoglou, Y. and Schorlemmer, M. (2003) IF-Map: an ontology mapping method based on Information Flow theory. Journal on Data Semantics, 1 (1). pp. 98-127. ISSN 3-540-20407-5

Kalfoglou, Y. and Schorlemmer, M. (2003) Ontology mapping: the state of the art. The Knowledge Engineering Review, 18 (1). pp. 1-31.

Kamiya, T., Durrani, Z. A. K., Ahmed, H., Sameshima, T., Furuta, Y., Mizuta, H. and Lloyd, N. (2003) Reduction of grain-boundary potential barrier height in polycrystalline silicon with hot H2O vapor annealing probed using point-contact devices. J. Vac. Sci. Technol., B 21 . pp. 1000-1003.

Kamiya, T., Durrani, Z. A. K., Ahmed, H., Sameshima, T., Furuta, Y., Mizuta, H. and Lloyd, N. (2003) Reduction of grain-boundary potential barrier height in polycrystalline silicon with hot H2O vapor annealing probed using point-contact devices. Journal of Vacuum Science and Technology B, 21 . pp. 1000-1003.

Kamiya, T., Furuta, Y., Tan, Y. T., Durrani, Z. A. K., Mizuta, H. and Ahmed, H. (2003) Effects of oxidation and annealing temperature on grain boundary properties in polycrystalline silicon probed using nanometer-scale point-contact devices. Solid State Phenomena, 93 . pp. 351-354.

Kaneko, O. and Rapisarda, P. (2003) Recursive exact H-infinity identification from impulse-response measurements. Systems and Control Letters, 49 . pp. 323-334.

Kavokin, A., Lagoudakis, P. G., Malpuech, G. and Baumberg, J. J. (2003) Polarization rotation in parametric scattering of polaritons in semiconductor microcavities. Phys Rev .

Kavokin, A., Malpuech, G., Lagoudakis, P. G., Baumberg, J. J. and Kavokin, K. (2003) Polarisation rotation in resonant emission of semiconductor microcavities. Phys Stat Sol . pp. 579-586.

Khalafalla, M. A. H., Durrani, Z. A. K. and Mizuta, H. (2003) Switching of Single-Electron Oscillations in Dual-Gated Nanocrystalline Silicon Point-Contact Transistors. IEEE Trans Nanotechnology, 2 (4). pp. 271-276.

Khalafallah, M., Durrani, Z. A. K. and Mizuta, H. (2003) Double-gate control of electronic transport in nanoscale point-contact in neo-silicon. IEEE Transactions on Nanotechnology, 2 . pp. 271-276.

Khoja, S. and Memon, Q. (2003) Objoect-Database Approach for a Hypervideo Platform. Malaysian Journal of Computer Science, 16 (2). pp. 73-80. ISSN 0127-9084

Kim, D. H., Park, I. H., Shin, M. C. and Sykulski, J. K. (2003) Generalized Continuum Sensitivity Formula for Optimum Design of Electrode and Dielectric Contours. IEEE Transactions on Magnetics, 39 (3). pp. 1281-1284. ISSN 0018-9464

Kim, S., Chong, H., De La Rue, R. M., Marsh, J. H. and Bryce, A. C. (2003) Electron-beam writing of photonic crystal patterns using a large beam-spot diameter. Nanotechnology, 12 . pp. 1004-1008.

Koukharenko, E., Frety, N., Shepelevich, V. G. and Tedenac, J. C. (2003) Electrical and microstructural properties of Bi2-xSbxTe and Bix-xSbxTe2 thin foils obtained by the ultrarapid quenching process Journal of Materials science: Materials and Electronics 14 pp. 383-388. Journal of Materials science: Materials and Electronics , 14 . pp. 383-388.

Kuan, E. L. and Hanzo, L. (2003) Burst-by-Burst Adaptive Multiuser Detection CDMA: A Framework for Existing and Future Wireless Standards. Proceedings of the IEEE, 91 (2). pp. 278-302. ISSN 0018-9219

Kukharenka, A., Farooqui, M., Grigore, L., Kraft, M. and Hollinshead, N. (2003) Electroplating moulds using dry film thick negative photoresist. Micromech Microeng, 13 . S67-S74.

Kukharenka, A. and Kraft, M. (2003) Realisation of electroplating moulds with thick positive SPR 220-7 photoresist. Journal of materials Science: Materials in Electronics, 14 . pp. 319-322.

Kukharenka, E. and Kraft, M. (2003) Realisation of electroplating moulds with thick positive
SPR220-7 photoresist, Journal of Materials science: Materials in Electronics 14 (2003), pp. 319-322.
Journal of Materials science: Materials in Electronics, 14 . pp. 319-322.

Kukharenka, E., Moktadir, Z., Kraft, M., Bagnall, D., Vale, C., Jones, M. and Hinds, E. (2003) Microfabrication of gold wires for atom guies. Proceedings Eurosensors XVII Conference . pp. 414-415.

Kukush, A., Markovsky, I. and Van Huffel, S. (2003) Consistent estimation in the bilinear multivariate errors-in-variables model. Metrika, 57 (3). pp. 253-285. (Unpublished)

Kunz, V. D., de Groot, C. H., Hall, S. and Ashburn, P. (2003) Polycrystalline Silicon - Germanium Emitters for Gain Control, With Application to SiGe HBTs. IEEE Transactions on Electron Devices, 50 (6). pp. 1480-1486.

Kunz, V. D., Uchino, T., de Groot, C. H. K., Ashburn, P., Donaghy, D. C., Hall, S., Wang, Y. and Hemment, P. L. F. (2003) Reduction of Parasitic Capacitance in Vertical MOSFETs by Spacer Local Oxidation. IEEE Transactions on Electron Devices, 50 (6). pp. 1487-1493.

Kyberd, P. J., Chappell, P. H. and Gow, D. (2003) Advances in the control of prosthetic arms. Tech & Disability, 15 (2). pp. 57-61.

Lagoudakis, P. G., Martin, M. D., Baumberg, J. J., Qarry, A., Cohen, E. and Pfeiffer, L. N. (2003) Electron-polariton scattering in semiconductor microcavities. Phys Rev Lett .

Lawley, R., Luck, M., Decker, K., Payne, T. R. and Moreau, L. (2003) Automated Negotiation Between Publishers and Consumers of Grid Notifications. Parallel Processing Letters, 13 (4). pp. 537-548. ISSN 0129-6264

Lewin, P. L. (2003) Iterative Learning Control. New Food: The quarterly business review of new technology for European food and drink manufacturers., 6 (2). pp. 57-59. ISSN 1461-4642

Li, J. Y., Li, S. T., Liu, F. Y., Alim, M. A. and Chen, G. (2003) The origin of varistor property of SrTiO3-based ceramics. J. Materials Science: Materials in Electronics, 14 . pp. 483-486. ISSN 0957-4522

Li, J., Li, S., Alim, M. A. and Chen, G. (2003) The degradation of epoxy resin-coated ZnO varistors at elevated temperatures and ambient humidity conditions. Active and Passive Electronic Components, Vol. 2 (No. 4). pp. 235-243. ISSN 0882-7516

Liu, W., Weiss, S. and Hanzo, L. (2003) A Novel Method for Partially Adaptive Broadband Beamforming. Journal of VLSI Signal Processing, 33 (3). pp. 337-344. ISSN 0922-5773

Liu, X. Z., Vaughan, A. S. and Chem, G. (2003) The Raman spectroscopy analysis of electrically aged polyethylene. Proc. JICABLE '03 . pp. 732-737.

Lomuscio, A. R., Wooldridge, M. and Jennings, N. R. (2003) "A classification scheme for negotiation in electronic commerce". International Journal of Group Decision and Negotiation, 12 (1). pp. 31-56.

Luck, M. and d'Inverno, M. (2003) Unifying Agent Systems. Annals of Mathematics and Artificial Intelligence, 37 (1-2). pp. 131-167.

Luo, X., Jennings, N. R., Shadbolt, N., Leung, H. and Lee, J. H. (2003) "A fuzzy constraint based model for bilateral multi-issue negotiations in semi-competitive environments". Artificial Intelligence Journal, 148 (1-2). pp. 53-102.

Luo, X., Lee, J. H., Leung, H. and Jennings, N. R. (2003) Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Int Journal of Fuzzy Sets and Systems, 136 (2). pp. 155-188.

Lynce, I. and Marques-Silva, J. P. (2003) An Overview of Backtrack Search Satisfiability Algorithms. Annals of Mathematics and Artificial Intelligence, 37 (3). pp. 307-326.

Macdonald, A. M., Vaughan, A. S. and Wyeth, P. (2003) On confocal Raman spectroscopy of semi-crystalline polymers: the effect of optical scattering. Appl. Spectrosc., 57 (12). pp. 1475-1481.

Mallik, K., Falster, R. J. and Wilshaw, P. R. (2003) 'Semi-insulating' silicon using deep level impurity doping: problems and potential. Semiconductor Science and Technology, 18 (6). pp. 517-524.

Malzahn, D. and Opper, M. (2003) An Approximate Analytical Approach to Resampling
Averages.
Journal of Machine Learning Research, 4 . pp. 1151-1173.

Malzahn, D. and Opper, M. (2003) An Approximate Analytical Approach to Resampling
Averages.
Journal of Machine Learning Research, 4 . pp. 1151-1173.

Marcotte, I., Wegener, K. L., Lam, Y. H., Chia, B. C. S., de Planque, M. R. R., Bowie, J. H., Auger, M. and Separovic, F. (2003) Interaction of antimicrobial peptides from Australian amphibians with lipid membranes. Chemistry and Physics of Lipids, 122 (1-2). pp. 107-120.

Marques-Silva, J. P. and Silva, L. G. (2003) Solving Satisfiability in Combinational Circuits. IEEE Design and Test of Computers, 20 (4). pp. 16-21.

McCulloch, I., Zhang, W., Heeney, M., Bailey, C., Giles, M., Graham, D., Shkunov, M., Sparrowe, D. and Tierney, S. (2003) Polymerizable liquid crystalline organic semiconductors and their fabrication in organic field effect transistors. Journal of Materials Chemistry, 13 . pp. 2436-2444.

Miles, S., Papay, J., Dialani, V., Luck, M., Decker, K., Payne, T. and Moreau, L. (2003) Personalised Grid Service Discovery. IEE Proceedings Software: Special Issue on Performance Engineering, 150 (4). pp. 252-256. ISSN 1462-5970

Millard, D. (2003) Discussions at the Data Border : From Generalised Hypertext to Structural Computing. JNCA Special Issue on Structural Computing, 26 . pp. 95-114.

Mitchell, M. J., Ashburn, P., Bonar, J. M. and Hemment, P. L. F. (2003) Comparison of arsenic diffusion in Si1-xGex formed by epitaxy and Ge+ implantation. Journal of Applied Physics, 93 (9). pp. 4526-4528.

Mizuta, H., Furuta, Y., Kamiya, T., Tan, Y. T., Durrani, Z. A. K., Nakazato, K. and Ahmed, H. (2003) Single-electron charging phenomena in nano/polycrystalline silicon point-contact transistors. Solid State Phenomena, 93 . pp. 419-429.

Mokhtari, M. E. and Kraft, M. (2003) Advanced control systemns for MEMS capacitive sensing accelerometers. Proceedings Micromechanics Europe (MME) . pp. 232-234.

Moreau, L., Dickman, P. and Jones, R. (2003) Birrell's Distributed Reference Listing Revisited. Technical Report 8-03, University of Kent, Canterbury .

Morgan, H., Holmes, D. and Green, N. (2003) AC electrokinetic focussing in microchannels: micro- and nanoparticles. IoP Publishing . pp. 119-124.

Morgan, H., Holmes, D. and Green, N. G. (2003) 3D focusing of nanoparticles in microfluidic channels. IEE Proceedings Nanobiotechnology, 150 (2). pp. 76-81.

Morrissey, Q. R., Waltham, N. R., Turchetta, R., French, M. J., Bagnall, D. M. and Al Hashimi, B. M. (2003) Design of a 3um pixel linear CMOS sensor for earth observation. Nuclear Instruments and Methods in Physics Research, A (512). pp. 350-357.

Moshrefi-Torbati, M., Keane, A. J., Elliott, S. J., Brennan, M. J. and Rogers, E. (2003) Passive vibration control of a satellite boom structure by
geometric optimization using genetic algorithm.
Journal of Sound and Vibration, 267 . pp. 879-892.

Neal, B., Charlton, M., Parker, G., Finlayson, C. E., Netti, M. C. and Baumberg, J. J. (2003) Ultrabroadband transmission measurements on waveguides of silicon-rich silicon dioxide. Applied Physics Letters, 83 (22). p. 4598.

Neal, R. T., Finlayson, C. E., Netti, M. C., Charlton, M. D. C., Parker, G. J. and Baumberg, J. J. (2003) Ultra-broadband transmission measurements on waveguides of silicon-rich silicon dioxide. Appl Phys Lett .

Nelson, J. D. B. (2003) A multi-channel, multi-sampling rate theorem. Sampling Theory in Signal and Image Processing:, 2 (1). pp. 83-96.

Nelson, J. D. B. (2003) On the coefficient quantization of the Fourier basis. IEEE Transactions on Signal Processing, 51 (7). pp. 1838-1846.

Ng, S. X., Guo, F., Wang, J. and Hanzo, L. (2003) Joint source-Coding, Channel Coding and Modulation Schemes for AWGN and Rayleigh Fading Channels. IEE Electronic Letters, 39 (17). pp. 1259-1261.

Nixon, M. S., Carter, J. N., Grant, M. G., Gordon, L. G. and Hayfron-Acquah, J. B. (2003) Automatic recognition by gait: progress and prospects. Sensor Review, 23 (4). pp. 323-331.

Nogales, A., Mitchell, G. R. and Vaughan, A. S. (2003) Anisotropic crystallization in polypropylene induced by deformation of a nucleating agent network. Macromolecules, 36 (13). pp. 4989-4906.

Noyce, J. and Hughes, J. (2003) Bactericidal Effects of Negative and Positive Ions Generated in Nitrogen on Starved Pseudomonas Veronii. Journal of Electrostatics, 57 (1). pp. 49-58. (In Press)

Noyce, J. and Hughes, J. (2003) Bactericidal Effects of Negative and Positive Ions Generated in Nitrogen on Starved Pseudomonas Veronii. Journal of Electrostatics, 57 (1). pp. 49-58. (In Press)

Nunn, D., Demekhov, A., Trakhtengerts, V. and Rycroft, M. J. (2003) VLF emission triggering by a highly anisotropic energetic electron plasma. Annales Geophysicae, 21 (2). pp. 481-492. ISSN 0992-7689; online ISSN: 1432-0576

O'Hara, K. (2003) Why it's OK to be Bliar. New Statesman . pp. 22-23.

Olsen,, S. H., O’Neill,, A. G., Driscoll,, L. S., Kwa,, K. S. K., Chattopadhyay,, S., Waite,, A. M., Tang,, Y. T., Evans,, A. G. R., Norris,, D. J., Cullis,, A. G., Paul,, D. J. and Robbins, D. J. (2003) High-Performance nMOSFETs Using a Novel Strained Si/SiGe CMOS Architecture. IEEE Transactions on Electron Devices, 50 (9). pp. 1961-1969.

Osman, K., Lloyd, N. S., Bonar, J. M., Kemhadjian, H. A., Bagnall, D. M. and Hamel, J. S. (2003) Confined epitaxial growth by low-pressure chemical vapor deposition. Journal of Materials Science : Materials in Electronics, 14 . pp. 257-260.

Papakostas, A., Potts, A., Bagnall, D. M., Prosvirniin, S. L., Coles, H. J. and Zheludev, N. I. (2003) "Optical Manifestations of Planar Chirality". Physical Review Letters, 90 (10). pp. 107404-1.

Paszke, W., Galkowski, K., Rogers, E. and Owens, D. H. (2003) Linear Repetitive Process Control Theory Applied to a Physical Example. Applied Mathematics and Computer Science, 13 (1). pp. 87-99.

Paurobally, S., Turner, P. J. and Jennings, N. R. (2003) Automating negotiation for m-services. IEEE Trans on Systems, Man and Cybernetics (Part A), 33 (6). pp. 709-724.

Pemberton, R. J., Turnock, S. R. and Rogers, E. (2003) Identification of Bilge Vortices within CFD Simulations. International Journal of Maritime Engineering, 145 ((A1)). pp. 57-66.

Penn, A. S. (2003) Modelling Artificial Ecosystem Selection: a preliminary investigation. In Banzhaf, W et al eds. Advances in Artificial Life, 7th European Conference, ECAL 2003. Proceedings, vol 2801 of Lecture Notes in Computer Science . pp. 659-666.

Potts, A., Papakostas, A., Zheludev, N. I., Coles, H. J., Greef, R. and Bagnall, D. M. (2003) Planar chiral meta-materials for photonic devices. Journal of Materials Science: Materials in Electronics, 14 . pp. 393-395.

Price, J. H., Monro, T. M., Furusawa, K., Belardi, W., Baggett, J. C., Coyle, S. J., Netti, C., Baumberg, J. J., Paschotta, R. and Richardson, D. J. (2003) UV generation in a pure silica holey fiber. Applied Physics B-Lasers and Optics .

Rahwan, I., Ramchurn, S., Jennings, N. R., McBurney, P., Parsons, S. and Sonenberg, L. (2003) Argumentation-based negotiation. The Knowledge Engineering Review, 18 (4). pp. 343-375.

Ramos, A., Gonzalez, A., Castellanos, A., Green, N. G. and Morgan, H. (2003) Pumping of liquids with ac voltages applied to asymmetric pairs of microelectrodes. Physical Review E, 67 . 056302-1-056302-11.

Reed, P. A. S., Thomson, R. C., James, J. S., Putman, D. C., Lee, K. K. and Gunn, S. R. (2003) Modelling of Microstructural Effects in the Fatigue of Austempered Ductile Iron. Materials Science and Engineering, A436 . pp. 273-286.

Requejo-Isidoro, J., Mairaj, A. K., Pruneri, V., Hewak, D. W., Netti, M. C. and Baumberg, J. J. (2003) Self refractive non-linearities in chalcogenide based glasses. Journal of Non-Crystalline Solids . pp. 241-246.

Rocha, J. G., Schabmueller, C. G. J., Ramos, N. F., Lanceros-Mendez, S., Costa, M. F., Evans, A. G. R., Wolffenbuttel, R. F. and Correia, J. H. (2003) X-ray detector based on a bulk micromachined photodiode combined with a scintillating crystal. Journal of Micromechanics and Microengineering, 13 (4). ISSN 0960-1317

Rodrigues, M. R. and Rocha Costa, A. C. (2003) Using Qualitative Exchange Values to Improve the Modelling of Social Interactions. Multi-Agent-Based Simulation III, 2927 . pp. 57-72.

Rogers, A. (2003) Phase Transitions in Sexual Populations subject to Stabilising Selection. Physical Review Letters, 90 (15). p. 158103.

Rogers, M. A., Clarke, P., Noble, J., Munro, N. P., Paul, A., Selby, P. J. and Banks, R. E. (2003) Proteomic profiling of urinary proteins in renal cancer by surface enhanced laser desorption ionisation (SELDI) and neural-network analysis: Identification of key issues affecting potential clinical utility. Cancer Research, 63 . pp. 6971-6983.

Rosinger, P., Al-Hashimi, B. M. and Nicolici, N. (2003) Dual multiple-polynomial LFSR for low-pwoer mixed-mode BIST. IEE Proceedings: Computers and Digital Techniques, 150 (4). pp. 209-218. ISSN 1350-2387

Rowe, A. D., Leake, M. C., Morgan, H. and Berry, R. M. (2003) Rapid rotation of micron amd submicron dielectric particles measured using optical tweezers. Journal of modern optics, 50 (10). pp. 1539-1554. ISSN 1362-3044

Roy, A. A. and Haddow, M. (2003) Energy change in a hard binary due to distant encounters. Journal of Celestial Mechanics and Dynamical Astronomy, 87 (4). pp. 411-435. ISSN 0923-2958

Rutt, H. N. (2003) On the evaluation of modified Bessel functions of the second kind and fractional order for synchrotron radiation calculations. Nuclear Instruments and Methods in Physics Research A: Accelerators, Spectrometers, Detectors, and Associated Equipment, 511 . pp. 431-436.

Rutt, H. N. (2003) Letter on Keep Abreast. The Guardian .

Sam, Y. L., Lewin, P. L., Davies, A. E., Wilkinson, J. S., Sutton, S. J. and Swingler, S. G. (2003) Surface Discharge Measurements of Polymeric Materials. IEE Proceedings: Science, Measurement and Technology, 150 (2). pp. 43-52. ISSN 1350-2344

Sassone, V. (2003) Global Computing II. Terms of reference for the FP6-EU-FET call. Bulletin of the European Association for Theoretical Computer Science, 82 . pp. 319-324.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10 . pp. 163-183. ISSN 1236-6064

Savvidis, P. G. and Lagoudakis, P. G. (2003) Teaching polaritons new tricks. Semicond. Sci. & Tech. .

Saywell, M. and Reeve, J. (2003) JDOS: A Jini Based Distributed Operating System. Lecture Notes in Computer Science, 2659 . pp. 570-580. ISSN 03029743

Saywell, M. and Reeve, J. (2003) JDOS: A Jini Based Distributed Operating System. Lecture Notes in Computer Science, 2659 . pp. 570-580. ISSN 03029743

Schwanecke, A. S., Krasavin, A., Bagnall, D. M., Potts, A., Zayats, A. V. and Zheludev, N. I. (2003) Broken Time Reversal of Light Interaction with Planar Chiral Nanostructures. Physical Review Letters, 91 (24). pp. 27404-1.

Scmitz, M., Al-Hashimi, B. M. and Eles, P. (2003) Iterative Schedule Optimisation for Voltage Scalable Distributed Embedded Systems. ACM Transactions on Embedded Computing Systems .

Sheng, S. R., McKinnon, W. R., McAlister, S. P., Storey, C., Hamel, J. S. and Ashburn, P. (2003) Hot-Carrier Stressing of NPN Polysilicon Emitter Bipolar Transistors Incorporating Fluorine. IEEE Transactions on Electron Devices, 50 (4). pp. 1141-1144.

Shi, D., Damper, R. I. and Gunn, S. R. (2003) Off-line handwritten Chinese character recognition by radical decomposition. ACM Transactions on Asian Language Processing, 2 (1). pp. 27-48.

Shi, D., Gunn, S. R. and Damper, R. I. (2003) Handwritten Chinese radical recognition using nonlinear active shape models. IEEE Transactions on Pattern Analysis and Machine Intelligence, 25 (2). pp. 277-280.

Simpson, D. and Reeve, J. (2003) Deadlock Free Specification based on Local Process Properties. Lecture Notes in Computer Science, 2659 . pp. 350-359. ISSN 03029743

Sinclair, P. A. S., Martinez, K., Millard, D. E. and Weal, M. J. (2003) Augmented Reality as an Interface to Adaptive Hypermedia Systems. New Review of Hypermedia and Multimedia, Special Issue on Hypermedia beyond the Desktop, 9 . pp. 117-136. ISSN 1361-4568

Stefanou, S., Hamel, J., Bain, J. S., Armstrong, M., Gamble, B. M., Kraft, M. and Kemhadjian, H. (2003) Ultra Low silicon substrate noise crosstalk using metal Faraday cages in a silicon-on-insulator technology. IEEE Transactions on Electron Devices .

Stowe, D. J., Galloway, S. A., Senkader, S., Mallik, K., Falster, R. J. and Wilshaw, P. R. (2003) Near-band gap luminescence at room temperature from dislocations in silicon. Physica B : Condensed Matter, 340-34 . pp. 710-713.

Tailaert, D., Chong, H., Borel, P. I., Frandsen, L. H., De La Rue, R. M. and Baets, R. (2003) A compact two-dimenstional grating coupler used as a polarization splitter. IEEE Photonics Technology Letters, 15 (9). pp. 1249-1251. ISSN 1041 1135

Tan, H. A., Xin, Z. J. and Rutt, H. N. (2003) Cavity modelling in stacked quantum well slabs for optically pumped lasers. IEE Proc-Optoelectronics, 150 (2). pp. 171-175. ISSN 1350-2433

Tanaka, Y., Chen, G., Vaughan, A. S. and Takada, T. (2003) Space charge formation in quenched low density polyethylene. Proc. 7th International Congress on Properties and Applications of Dielectric Materials . pp. 970-973.

Tanaka, Y., Chen, G., Zhao, Y., Davies, A. E., Vaughan, A. S. and Takada, T. (2003) Effect of Additives on Morphology and Space Charge Accumulation in Low Density Polyethylene. IEEE Trans. Diel. Electr. Insul., 10 (1). pp. 148-154. ISSN 1070-9878

Tao, F., Chen, L., Shadbolt, N., Pound, G. and Cox, S. (2003) Towards the Semantic Grid: Putting Knowledge to Work in Design Optimisation. J.UCS, 9 (6). pp. 551-562.

Tatem, A. J., Lewis, H. G., Nixon, M. S. and Atkinson, P. (2003) Increasing the spatial resolution of agricultural land cover maps using a Hopfield neural network. Int Journal of Geographic Information Sciences, 17 (7). pp. 647-672.

Tian, Y., Lewin, P. L., Davies, A. E., Sutton, S. J. and Swingler, S. G. (2003) Partial Discharge Detection in Cables Using VHF Capacitive Couplers. IEEE Transactions on Dielectrics and Electrical Insulation, 10 (2). pp. 343-353. ISSN 1070-9878

Trakhtengerts, V. Y., Rycroft, M. J., Nunn, D. and Demekhov, A. G. (2003) Cyclotron acceleration of radiation belt electrons by whistlers. Journal of Geophysical Research, 108 (A3). SMP 25-1-SMP-25-7.

Tsuchiya, Y., Endoh, M., Kurosawa, M., Tung, R. T., Hattori, T. and Oda, S. (2003) Pulsed-Source MOCVD of High-k Dielectric Thin Films with in situ Monitoring by Spectroscopic Ellipsometry. Japanese Journal of Applied Physics, 42 . pp. 1957-1961.

Turkheimer, F. E., Hinz, R., Gunn, R. N., Aston, J. A. D., Gunn, S. R. and Cunningham, V. J. (2003) Rank-Shaping Regularization of Exponential Spectral Analysis for Application to Functional Parametric Mapping. Physics in Medicine and Biology, 48 (23). pp. 3819-3841.

Uno, S., Nakazato, K., Yamaguchi, S., Koshida, N. and Mizuta, H. (2003) New insights in high-energy electron emission and underlying transport physics of nanocrystalline Si. Nanotechnology, 2 . pp. 301-307.

Vaughan, A. S., Zhao, Y., Barre, L. L., Sutton, S. J. and Swingler, S. G. (2003) On Additives, Morphological Evolution and Dielectric Breakdown in Low Density Polyethylene. Eur. Polym. J., 39 (2). pp. 355-365. ISSN 0014-3057

Veres, S. M., Baramov, L., Tutty, O. R. and Rogers, E. (2003) Iterative design for active control of fluid flow. International Journal of Control, 76 (14). pp. 1375-1386.

Weal, M. J., Michaelides, D. T., Thompson, M. K. and De Roure, D. C. (2003) Hypermedia in the Ambient Wood. New Review of Hypermedia and Multimedia, Special Issue on Hypermedia beyond the Desktop, 9 . pp. 137-156. ISSN 1361-4568

Wehn, N. and Al-Hashimi, B. M. (2003) IEE Proceedings: Computers and Digital Techniques
Special issue on "Design and Test Conference in Europe", DATE 03.
IEE Proceedings: Computers and Digital Techniques, 150 (4). pp. 253-355. ISSN 1350-2387

Wilson, P. R., Ross, N. and Brown, A. D. (2003) Microscope Laboratory for undergraduate courses in Integrated Circuit design and fabrication. Proceedings of the Royal Microscopy Society, 38 (4).

Wu, D., Al-Hashimi, B. M. and Eles, P. (2003) Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems. IEE Proceedings Computers and Digital Techniques, 150 (5). pp. 262-273.

Wu, J., Chen, S., Li, G. and Chu, J. (2003) Constructing sparse realizations of finite-precision digital controllers based on a closed-loop stability related measure. IEE Proceedings - Control Theory and Applications, 150 (1). pp. 61-68. ISSN 1350-2379

Wu, J., Chen, S., Whidborne, J. F. and Chu, J. (2003) A unified closed-loop stability measure for finite-precision digital controller realizations implemented in different representation schemes. IEEE Transactions on Automatic Control, 48 (5). pp. 816-822. ISSN 0018-9286

Xu, S., Lam, J., Lin, Z., Galkowski, K., Paszke, W., Sulikowski, B., Rogers, E. and Owens, D. H. (2003) Positive real control of two-dimensional systems: Roesser models and linear repetitive processes. International Journal of Control, 76 (11). pp. 1047-1058.

Yadav, D., Yadav, V. and Sarswat, R. (2003) Maintaining legal requirements of digital signature through public key cryptographic system. IETE Journal of Education, 44 (3). pp. 131-142. ISSN 0970-1664

Yan, T., Jones, B. E., Rakowski, R. T., Beeby, S. P., Tudor, M. J. and White, N. M. (2003) Thick-film PZT-metallic triple beam resonator. Electronics Letters, 39 (13). pp. 982-983. ISSN 0013-5194

Yang, L. L. and Hanzo, L. (2003) Multicarrier DS-CDMA: A Multiple Access Scheme for Ubiquitous Broadband Wireless Communications. IEEE Communications Magazine . pp. 116-124.

Yang, L. L. and Hanzo, L. (2003) Performance of Generalized Multicarrier DS-CDMA Using Various Chip Waveforms. IEEE Transacations on Communications, 51 (5). pp. 748-752.

Yeap, B. L., Wong, C. H. and Hanzo, L. (2003) Reduced Complexity In-Phase/Quadrature-Phase M-QAM Turbo Equalization Using Iterative Channel Estimation. IEEE Transactions on Wireless Communications, 2 (1). pp. 2-10.

Yee, M. S., Yeap, B. L. and Hanzo, L. (2003) Radial Basis Function Assisted Turbo Equalization. IEEE Transactions on Communications, 51 (4). pp. 664-675.

Yen, K. and Hanzo, L. (2003) Antenna-Diversity-Assisted Genetic-Algorithm-Based Multiuser Detection Schemes for Synchronous CDMA Systems. IEEE Transactions on Communications, 51 (3). pp. 366-370.

Zambonelli, F., Jennings, N. R. and Wooldridge, M. (2003) Developing multiagent systems: the Gaia Methodology. ACM Trans on Software Engineering and Methodology, 12 (3). pp. 317-370.

Zheng, Y., Allen, R. and Nixon, M. S. (2003) Lumbar spine visualisation based on kinematic analysis from videofluoroscopic imaging. Medical Engineering & Physics, 25 (3). pp. 171-179.

Zhu, M., Usher, A., Matthews, A. J., Potts, A., Elliott, M., Herrenden-Harker, W. G., Ritchie, D. A. and Simmons, M. Y. (2003) Magnetization measurements of high-mobility two-dimensional electron gases. Physical Review B, 67 . p. 155329. ISSN 1098-0121

Zwolinski, M. and Gaur, M. S. (2003) Integrating testability with design space exploration. Microelectronics Reliability, 43 (5). pp. 685-694. ISSN 0026-2714

Conference or Workshop Item

(2003) Analytical Synthesis of High-Order Voltage-Mode OTA-C All-Pass filters. In: ISCAS(2003), 26-28 May 2003, Bangkok, Thailand. (Unpublished)

(2003) Classification of Painting Cracks for Content-based Retrieval. In: IS&T/SPIE's 15th Annual Symposium Electronic Imaging 2003 : Machine Vision Applications in Industrial Inspection XI, 20-24 January, Santa Clara, California, USA.

(2003) Grouping of crack patterns using proximity and characteristic rules. In: Proceedings of the Third IASTED International Conference on Visualization, Imaging and Image Processing, Sept. 8-10, Spain.

(2003) Inference Fusion: a hybrid approach to taxonomic reasoning. In: 16th International FLAIRS Conference, 12 May 2003, Florida.

(2003) Optimisation, design and fabrication of a novel accelerometer. In: Conference on Solid State Sensors, Actuators and Microsystems (Transducers'03), Boston, USA.

(2003) Towards the Semantic Grid: Putting Knowledge to Work
in Design Optimisation.
In: The 3rd International Conference on Knowledge Management (I-KNOW '03), July 2-4, Graz, Austria.

(2003) Versatile High-level Synthesis of Self-checking Datapaths Using an On-line Testability Metric. In: Design Automation and Test in Europe Conference and Exhibition, 3-7 March 2003, Munich, Germany.

Abdullah, N. A. and Davis, H. C. (2003) Is Simple Sequencing Simple Adaptive Hypermedia? In: Fouteenth ACM Conference on Hypertext and Hypermedia, Hypertext 2003, July 2003, Nottingham. pp. 172-173.

Addis, M., Ferris, J., Greenwood, M., Li, P., Marvin, D., Oinn, T. and Wipat, A. (2003) Experiences with e-Science workflow specification and enactment in bioinformatics. In: e-Science All Hands Meeting 2003, 2-4 September 2003, East Midlands Conference Centre, Nottingham. pp. 459-466.

Addis, M., Giorgini, F., Lewis, P. and Martinez, K. (2003) Content and concept-based retrieval and navigation tools in Sculpteur. In: EVA London 2003, 24 - 25 July 2003, University College, London.

Addis, M. J., Boniface, M. J., Goodall, S., Grimwood, P., Kim, S., Lewis, P., Martinez, K. and Stevenson, A. (2003) Integrated image content and metadata search and retrieval across multiple databases. In: Second International Conference on Image and Video Retrieval 2003, July,2003, Urbana-Champaign, Illinois, USA. pp. 91-100.

Addis, M. J. (2003) Distributed stochastic analysis using remote service providers. In: 2nd ESA Space Systems Design, Verification & AIT Workshop, 15-16 April 2003, ESTEC, Noordwijk, The Netherlands.

Addis, M., Boniface, M., Goodall, S., Grimwood, P., Kim, S., Lewis, P., Martinez, K. and Stevenson, A. (2003) SCULPTEUR: Towards a New Paradigm for Multimedia Museum Information Handling. In: Semantic Web ISWC, September. 582 -596.

Akhtman, J., Bobrowski, B. Z. and Hanzo, L. (2003) Peak-to-average power ratio reduction for OFDM modems. In: VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 1188-1192.

Al-Mazeed, A. H., Nixon, M. S. and Gunn, S. R. (2003) Fusing Complementary Operators to Enhance Foreground/Background Segmentation. In: British Machine Vision Conference 2003, 2003, Norwich. pp. 501-510.

Al-Mosawi, M., Xu, B., Beduz, C., Goddard, K., Sykulski, J. K., Yang, Y., Stephen, N. G. and Stoll, R. (2003) Recent progress of 100kVA High Temperature Superconducting Generator. In: 6th European Conference on Applied Superconductivity EUCAS 2003, 14-18 September 2003, Sorrento, Italy.

Alani, H. (2003) TGVizTab: An Ontology Visualisation Extension for Protégé. In: Knowledge Capture (K-Cap'03), Workshop on Visualization Information in Knowledge Engineering, October 26, Sanibel Island, Florida, USA.

Alani, H., Kim, S., Millard, D. E., Weal, M. J., Hall, W., Lewis, P. H. and Shadbolt, N. (2003) Web based Knowledge Extraction and Consolidation for Automatic Ontology Instantiation. In: Knowledge Capture (K-Cap'03), Workshop on Knowledge Markup and Semantic Annotation, October 26, Sanibel Island, Florida, USA.

Alani, H., Kim, S., Millard, D. E., Weal, M. J., Lewis, P. H., Hall, W. and Shadbolt, N. R. (2003) Automatic Extraction of Knowledge from Web Documents. In: 2nd International Semantic Web Conference - Workshop on Human Language Technology for the Semantic Web abd Web Services, October 20-23, Sanibel Island, Florida, USA.

Alias, M. Y., Guo, F., Liew, T. H. and Hanzo, L. (2003) LDPC and Turbo Coding Assisted Space-Time Block Coded OFDM. In: of VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 2309-2314.

Alias, M. Y., Samingan, A. K., Chen, S. and Hanzo, L. (2003) Minimum Bit Error Rate Multiuser Detection in Multiple Antenna Aided OFDM. In: 8th International OFDM-Workshop, 24-25 September 2003, Hamburg, Germany. pp. 16-20.

Alvi, F., Khoja, S. and Jabeen, Z. (2003) Developing a Framework to Implement Public Key Infrastructure Enabled Security in XML Documents. In: 7th International Multi topic Conference (INMIC) 2003, 8-9 December 2003, GIKI, Pakistan. pp. 440-445.

Alvi, F., Khoja, S. and Jabeen, Z. (2003) Design Considerations for Implementing Security in Web Services. In: 2nd International workshop on Grid and Cooperative Computing (GCC 2003), December 2003, Shahgai, China.

Amakawa, S., Nakazato, K. and Mizuta, H. (2003) A surface-potential-based cylindrical surrounding-gate MOSFET model. In: 2003 International Conference on Solid State Devices and Materials, 16-18 September 2003, Tokyo.

Andrei, A., Schmitz, M., Eles, P., Peng, Z. and Al-Hashimi, B. M. (2003) Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems. In: Design, Automation and Test in Europe, DATE 04,, Feb. 2004, Paris.

Ang, M., Reed, G., Ensell, G., Evans, A., Foote, P., Pritchard, A. and Barber, D. (2003) Bragg gratings interrogating system using MEMS and optical circuits. In: SPIE, 25th-31st January 2003, San Jose, CA, USA. pp. 232-241.

Ang, M. T. W., Reed, G. T., Ensell, G. J. E., Evans, A. G. R., Foote, P., Pritchard, A. P. and Barber, D. (2003) Bragg Gratings Interrogation System using MEMS and optical circuits. In: Photonics West Conference 2003, February 2003, San Jose, California.

Anthony, P. and Jennings, N. R. (2003) A heuristic bidding strategy for multiple heterogeneous auctions. In: 5th International Conference on Electronic Commerce, 2003, Pittsburgh, USA. pp. 9-16.

Antonacopoulos, A., Gatos, B. and Karatzas, D. (2003) ICDAR2003 Page Segmentation Competition. In: 7th International Conference on Document Analysis and Recognition (ICDAR2003), August 2003, Edinburgh. pp. 688-692.

Ashri, R., Luck, M. and d'Inverno, M. (2003) On Identifying and Managing Relationships in Multi-Agent Systems. In: Eighteenth International Joint Conference on Artificial Intelligence, August 2003, Acapulco, Mexico. pp. 743-748.

Ashri, R., Luck, M. and d'Inverno, M. (2003) On Identifying and Managing Relationships in Multi-Agent
Systems.
In: Eighteenth International Joint Conference on Artificial Intelligence, Acapulco.

Atta, R. H. M., Ensell, G., Evans, A. G. R., Png, C. E. and Reed, G. T. (2003) Fabrication of a highly efficient optical modulator based on SOI. In: SPIE, 19th-23rd May 2003, Maspalomas, Gran Canaria, Canary Islands, Spain. pp. 495-501.

Audemard, G., Berre, D. L., Roussel, O., Lynce, I. and Marques-Silva, J. P. (2003) OpenSAT: An Open Source SAT Software Project. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2003, Portofino, Italy. pp. 502-509.

Augusto, J., Howard, Y., Gravell, A., Ferreira, C., Gruner, S. and Leuschel, M. (2003) Model-Based Approaches for Validating Business Critical Systems. In: System Testing and Validation Workshop, September, 2003, The Netherlands. pp. 225-233.

Augusto, J., Butler, M., Ferreira, C. and Craig, S. (2003) Using SPIN and STeP to Verify StAC Specifications. In: 5th International A.P.Ershov Conference on Perspectives of System Informatics, July 2003, Novosibirsk, Russia. (In Press)

Augusto, J. C., Ferreira, C., Gravell, A. M., Leuschel, M. and NG, K. M. Y. (2003) The Benefits of Rapid Modelling for E-Business System Development. In: 4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), October 13-16, 2003., Chicago, Illinois, USA. pp. 17-28.

Augusto, J. C., Leuschel, M., Butler, M. and Ferreira, C. (2003) Using the Extensible Model Checker XTL to Verify StAC Business Specifications. In: 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), April 2-3, Southampton. pp. 253-266.

Bachler, M. S., Buckingham Shum, S. J., De Roure, D. C., Michaelides, D. T. and Page, K. R. (2003) Ontological Mediation of Meeting Structure: Argumentation, Annotation, and Navigation. In: 1st International Workshop on Hypermedia and the Semantic Web (HTSW2003), August 2003, Nottingham, UK.

Bagnall, D. M., Papakostas, A., Potts, A., Prosvirnin, S. L., Takahashi, S., Zayats, A. V. and Zheludev, N. I. (2003) Planar chiral meta-materials control the polarization state of light in the far-field and near- field. In: Conference on Lasers and Electro – Optics, Munich, Germany.

Bantock, G. and Gilbert, L. (2003) Some notes on bulb inclination and on using a general VPP for modelling its effects. In: The Modern Yacht, 17-18 September 2003, Southampton. pp. 59-66.

Baramov, L., Tutty, O. R. and Rogers, E. (2003) Robust control of channel flow. In: International Workshop on Infinite Dimensional Systems.

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In: Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03.. pp. 205-223.

Beckett, D. H., Hiett, B., Thomas, K. S. and Cox, S. J. (2003) Applied Grid Computing: Optimisation of Photonic Devices. In: Euro-Par 2003, August 2003, Klagenfurt.

Beckett, D. H., Hiett, B., Thomas, K. S. and Cox, S. J. (2003) Applied Grid Computing: Optimisation of Photonic Devices. In: Euro-Par 2003, August 2003, Klagenfurt.

Benkner, S., Englebrecht, G., Backfrieder, G. W., Berti, G., Fingberg, J., Kohring, G., Schmidt, J. G., Middleton, S. E., Jones, D. and Fenner, J. (2003) Numerical Simulation for eHealth: Grid-enabled Medical Simulation Services. In: PARCO2003, September, Dresden, Germany.

Benson, J., D'Halleweyn, N. V., Mistry, K. and Redman-White, W. (2003) A Physical Compact MOSFET Mobility Model Including Accurate Calculation of Saturation Surface Potential. In: Nanotechnology Conference and Trade Show, 23-27 February 2003, San Francisco, USA.

Benson, J., D'Hallwewyn, N. V., Mistry, K. and Redman-White, W. (2003) A Physical Compact MOSFET Mobility Model Including Accuracte Calculation of Saturation Surface Potential. In: Nanotechnology Conference and Trade Show, 23-27 February 2003, San Francisco, USA.

Berti, G., Benker, S., Fenner, J. W., Fingberg, J., Lonsdale, G., Middleton, S. E. and Surridge, M. (2003) Medical Simulation Services via the Grid. In: HealthGrid Workshop 2003, April 2003, Lyon, France.

Bertino, E., Mella, G., Correndo, G. and Ferrari, E. (2003) An infrastructure for managing secure update operations on XML data. In: SACMAT. pp. 110-122.

Bhalla, A., Lynce, I., Sousa, J. and Marques-Silva, J. (2003) Heuristic Backtracking Algorithms for SAT. In: International Workshop on Microprocessor Test and Verification, May 2003, Austin, Texas, USA. pp. 69-74.

Bhalla, A., Lynce, I., Sousa, J. and Marques-Silva, J. P. (2003) Heuristic-Based Backtracking for Propositional Satisfiability. In: Proceedings of the Portuguese Conference on Artificial Intelligence, December 2003, Beja, Portugal.

Bian, W. and French, M. (2003) Coprime Factorisation and Gap
Metric for Nonlinear Systems.
In: 42nd IEEE Conference on Decision and Control, December 9--12, 2003, Hawaii. pp. 4038-4043.

Bian, W. and French, M. (2003) Gap Metric Robustness of Adaptive Controllers for a Class of
Nonlinear Systems.
In: 42nd IEEE Conference on Decision and Control, 2003, Hawaii. pp. 2698-2704.

Borzabadi, E., Vaughan, A. S. and Bailey, A. G. (2003) Electrostatic surface potential decay on cellulose acetate. In: 2003 Annual Report Conference on Electrical Insulation and Dielectric Phenomena, 19-22 October 2003, Albuquerque, NM, USA. pp. 193-196.

Bristow, P., Jarvis, C., Mitchell, B. and Thomson, R. (2003) Phase Semantics of MSC Traces. In: UK Software Testing Workshop, September, 2003, University of York, UK.

Brody, T. (2003) Citebase Search: Autonomous Citation Database for e-Print Archives. In: Third international technical workshop and conference of the project SINN, 17 - 19 September 2003, Oldenburg, Germany. (Unpublished)

Brody, T., Kampa, S., Harnad, S., Carr, L. and Hitchcock, S. (2003) Digitometric Services for Open Archives Environments. In: European Conference on Digital Libraries 2003, August 2003, Trondheim, Norway. pp. 207-220.

Brown, A. D. and Zwolinski, M. (2003) The continuous-discrete interface - What does this really mean? - Modelling and simulation issues. In: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, MAY 25-28, 2003, Bangkok, Thailand. pp. 894-897.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In: 8th Italian Conference on Theoretical Computer Science, ICTCS 2003.. pp. 256-270.

Bu, M., Husband, B., Melvin, T., Ensell, G. J., Pham, N. P., Sarro, P. M., Wilkinson, J. S. and Evans, A. G. R. (2003) Fabrication of a microfluidic chip for PCR applications. In: 14th MicroMechanics Europe Workshop 2003, 2-4th November 2003, Delft, The Netherlands. pp. 119-122.

Bu, M., Melvin, T., Ensell, G., Wilkinson, J. S. and Evans, A. G. R. (2003) New Deep Glass Etching Technology. In: Eurosensors, 22nd-24th September 2003, Guimaraes, Portugal.

Bu, M., Melvin, T., Evans, A., Wilkinson, J. and Ensell, G. (2003) Fabrication of a micro peristaltic pump. In: PREP 2003, 14-16th April 2003, University of Exeter.

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In: 30th International Colloquium on Automata, Languages and Programming, ICALP 2003.. pp. 969-983.

Butler, M. and Ferreira, C. (2003) Using B Refinement to Analyse Compensating Business Processes. In: ZB 2003: Third International Conference of B and Z Users, June, Turku.

Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In: Int. Conference on Software Engineering and Formal Methods, SEFM 2003.. pp. 54-61.

Carr, L., Wills, G., Miles-Board, T., Power, G., Bailey, C., Hall, W. and Grange, S. (2003) The Dynamic Review Journal: Support for Creating and Using the Literature. In: 1st International Workshop on Scholarly Hypertext, Sat 30th August, Nottingham, UK.

Carter, J. N., Lappas, P. and Damper, R. I. (2003) Evidence-based object tracking via global energy maximization. In: IEEE International Conference on Multimedia and Expo (ICME 2003), Baltimore, MD. pp. 185-188.

Cartlidge, J. and Bullock, S. (2003) Caring versus sharing: How to maintain engagement and diversity in coevolving populations. In: the Seventh European Conference on Artificial Life. pp. 299-308.

Chan, S. P., Passaro, V. M. N., Lim, S. T., Png, C. E., Headley, W., Masanovich, G., Reed, G. T., Atta, R. M. H., Ensell, G. and Evans, A. G. R. (2003) Characterisation of Integrated Bragg Gratings on SOI rib waveguides. In: SPIE ITCom, 7th-11th September 2003, Orlando, Florida, USA.

Chang, V. (2003) The Role and Effectiveness of e-Learning. In: IEEE Engineering Management Conference, Albany, NY, USA, November 2003, 16-18 November 2003, Albany, NY, USA.

Chang, V. (2003) The role and effectiveness of e-learning: key issues in an industrial context. In: The First International Conference in the United Nations Information Society, 8-10 December 2003, 8 December - 10 Decmber 2003, Geneva, Switzerland.

Chen, G. (2003) Space Charge Effect on the Impulse Breakdown of Low Desnity Polyethylene. In: The 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, October 27-30, 2003, Chongqing, China. pp. 133-136.

Chen, G., Fu, M. and Liu, X. Z. (2003) Influence of ac ageing on space charge dynamics in LDPE. In: 13th International Symposium on High Voltage Engineering, August 25 - 29, 2003, Delft, Netherlands. CD-ROM.

Chen, G., Fu, M. and Yuan, Z. P. (2003) FEASIBILITY STUDY OF ON-LINE MONITOR OF CABLE OVERSHEATH. In: The 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, October 27-30, 2003, Chongqing, China. pp. 470-473.

Chen, G., Tanaka, Y., Vaughan, A. S. and Chong, Y. L. (2003) Effect of Morphology on Space Charge Dynamics In Polyethylene Insulation (invited plenary lecture). In: The 9th Chinese National Conference on Engineering Dielectrics, October 24-26, Xian, China. pp. 30-36.

Chen, G., Vaughan, A. S. and Liu, X. Z. (2003) The Raman spectroscopy analysis of electrically aged polyethylene. In: 6th International Conference on Insulated Power Cables (Jicable03), pages 732-737, 22-26 June, 2003, Versailles-Paris, France. pp. 732-737.

Chen, L., Shadbolt, N., Goble, C., Tao, F., Cox, S., Puleston, C. and Smart, P. R. (2003) Towards a Knowledge-Based Approach to Semantic Service Composition. In: 2nd International Semantic Web Conference (ISWC2003), 20th - 23rd October, 2003, Sanibel Island, Florida, USA. pp. 319-334.

Chen, L., Shadbolt, N., Tao, F., Puleston, C., Goble, C. and Cox, S. (2003) Exploiting Semantics for e-Science on the Semantic Grid. In: Web Intelligence (WI2003) workshop on Knowledge Grid and Grid Intelligence, 13-16 October 2003, Halifax, Canada. pp. 122-132.

Chen, S., Hanzo, L. and Ahmad, N. N. (2003) Adaptive Minimum Bit Error Rate Beamforming Assisted Receiver for Wireless Communications. In: IEEE ICASSP'03, 6-10 April 2003, Hong Kong, China. pp. 640-643.

Chen, S. and Hong, X. (2003) Orthogonal Forward Regression based on Directly Maximizing Model Generalization Capability. In: 9th Annual Conference of Chinese Automation and Computing Society in UK, 20th September 2003, University of Luton, Luton, UK. pp. 251-256.

Chng, E. S., Chen, S. and Rajan, D. (2003) Optimal delay order selection for linear equalization problems. In: 2003 Int. Symp. Intelligent Signal Processing and Communication Systems, December 7-10, Awaji Island, Japan. pp. 850-853.

Chong, Y. L., Ho, Y. F. F. and Chen, G. (2003) AUTOMATION OF SPACE CHARGE MEASUREMENT BY USING LIPP TECHNIQUE. In: The 2nd International Conference on Insulation Condition Mornitoring of Electrical Plant, October 27-30, 2003, Chongqing. pp. 168-171.

Chong, Y. L., Ho, Y. F. F. and Chen, G. (2003) AUTOMATION OF SPACE CHARGE MEASUREMENT BY USING LIPP TECHNIQUE. In: The 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, October 27-30, 2003, Chongqing, China. pp. 168-171.

Chung, J. Y., Alias, M. Y., Guo, F. and Hanzo, L. (2003) LDPC and Turbo Coding Assted Space-Time Block Coded OFDM for H.26L. In: of PIMRC'2003, 7-10 September 2003, Beijing, China. pp. 2702-2706.

Chung, J. Y., Guo, F., Ng, S. X. and Hanzo, L. (2003) Burst-by-burst Adaptive Joint-Detection CDMA/H.26L Based Wireless Video Telephony using TTCM and LDPC Codes. In: of VTC'2003 (Fall), 6-9 October 2003, Orlando, Florida, USA.

Cirstea, C. (2003) On expressivity and compositionality in logics for coalgebras. In: 6th International Workshop on Coalgebraic Methods in Computer Science, 5-6 April 2003, Warsaw, Poland.

Coddington, A. and Luck, M. (2003) Towards Motivation-based Plan Evaluation. In: Sixteenth International FLAIRS Conference, 2003, Florida, USA. pp. 298-302.

Conole, G., Wills, G., Carr, L., Hall, W. and Grange, S. (2003) Making pedagogy explicit - a Virtual University for Orthopaedics. In: ALT-C, 8-10 September 2003, Sheffield, UK.

Conole, G., Wills, G., Carr, L., Vadcard, L., Hall, W. and Grange, S. (2003) Building a Virtual University for Orthopaedics. In: ED-Media: World Conference on Educational Multimedia, Hypermedia and Telecommunications., 23-28 June 2003, Hawaii.

Conole, G., Wills, G. and Grange, S. (2003) A Virtual Learning Environment to enable CPD for Orthopaedic Surgeons across Europe. In: Computer Assisted Learning, April 2003, Belfast.

Console, L., Correndo, G. and Picardi, C. (2003) Deriving Qualitative Deviations from MatlabTM Models. In: 14th International Workshop on Principles of Diagnoses (DX 2003), 11-14 June 2003, Washington D.C..

Console, L., Correndo, G., Picardi, C., Segnan, M., Bray, R., Buffo, A., Cascio, F. and Marchesini, P. (2003) Tools for integrating diagnosis in the design process an application to the Common Rail air and fuel delivery systemsC. In: 4th International Conference on Control and Diagnostics in Automotive Applications, 18-20 June 2003, Sestri Levante, Italy.

Costanza, E. and Robinson, J. (2003) A Region Adjacency Tree Approach to the Detection and Design of Fiducials. In: VVG. pp. 63-69.

Costanza, E., Shelley, S. B. and Robinson, J. (2003) D-touch: A Consumer-Grade Tangible Interface Module and Musical Applications. In: Proceedings of Conference on Human-Computer Interaction (HCI03).

Costanza, E., Shelley, S. B. and Robinson, J. (2003) Introducing Audio d-touch: A Tangible User Interface for Music Composition and Performance. In: Proc. of the 2003 International Conference on Digital Audio EffectsDAFx03.

Craig, S. and Leuschel, M. (2003) A Compiler Generator for Constraint Logic Programs. In: Perspectives of System Informatics, Andrei Ershov Fifth International Conference, 9th July 2003, Novosibirsk, Akademgorodok, Russia. (In Press)

Cranny, A., Chappell, P. H., Beeby, S. P. and White, N. M. (2003) Improving the functionality of a prosthetic hand through the use of thick film force sensors. In: EuroSensors 17, 21 - 24 September 2003, University of Minho, Guimarães, Portugal. pp. 795-798.

Crowder, R., Bracewell, R., Hughes, G., Kerr, M., Knott, D., Moss, M., Clegg, C., Hall, W., Wallace, K. and Waterson, P. (2003) A Future Vision For The Engineering Design Environment: A Future Sociotechnical Scenario. In: 14th International Conference on Engineering Design, 19-21 August 2003, Stockholm. pp. 249-250.

Crowder, R., Hughes, G. and Hall, W. (2003) An Agent Based Approach To Finding Expertise In The Engineering Design Environment. In: 14th International Conference on Engineering Design, 19-21 August, Stockholm.

Daanen, A., Aggarwal, S., Locher, M., Redman-White, W., Charlton, O., Landesman, A., Judson, M., Bracey, M., Duperray, D., Razzell, C., Akylas, V., Brunel, D. and Comte, R. (2003) A Silicon BiCMOS Direct Up-Conversion Transmitter IC for CDMA2000 with Linear-in-dB Power Optimised RF Level Control. In: Proceedings of the International Solid State Circuits Conference, February 2003, San Francisco, USA.

Damper, R. I. and French, R. L. B. (2003) Evolving spiking neuron controllers for phototaxis and phonotaxis. In: Applications of Evolutionary Computation, EvoWorkshops 2003, Colchester, UK. pp. 616-625.

Dang, V. D. and Jennings, N. R. (2003) Optimal clearing algorithms for multi-unit single item and multi-unit combinatorial auctions with demand/supply function bidding. In: 5th International Conference on Electronic Commerce, 2003, Pittsburgh, USA. pp. 25-30.

Darbari, A. (2003) Formalization and Execution of STE in HOL. In: 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLS), 8-12 Sep 2003, Rome, Italy.

Davy, S., Djemame, K. and Noble, J. (2003) The application of bioinspired engineering principles to Grid resource allocation. In: Proceedings of the Nineteenth Annual UK Performance Engineering Workshop.

De Roure, D. and Surridge, M. (2003) Interoperability Challenges in Grid for Industrial Applications. In: GGF9 Semantic Grid Workshop, 5 October 2003, Sheraton Chicago Hotel & Towers, Chicago IL, USA.

Denney, E. and Fischer, B. (2003) Correctness of Source-Level Safety Policies. In: FME 2003: Formal Methods, September 8-14, 2003, Pisa, Italy. pp. 894-913.

Dickman, j. and Garratt, p. (2003) Simulating Rodent Populations using Neural Networks. In: MT'2003 Conferencia Internacional de Gerencia y Tecnologia, april2003, Havana, Cuba.

Dietl, H. and Weiss, S. (2003) Categorisation of Panic Disorder by Time-Frequency Methods. In: 37th Asilomar Conference on Signals, Systems, and Computers, November 9-12, Pacific Grove, CA. pp. 399-403. (In Press)

Dietl, H., Weiss, S. and Pauli, P. (2003) Time-Frequency Transform Based Panic Order Classification. In: IEEE EMBSS UKRI Postgraduate Conference on Biomedical Engineering and Medical Physics, 15-17 July, Birmingham, UK. pp. 17-18.

Dietl, H., Weiss, S. and Pauli, P. (2003) Time-Frequency Transform Based Panic Disorder Classification. In: IEEE EMBSS Postgraduate Conference.

Dilliway, G. D. M., Cowern, N. E. B., Jeynes, C., O'Reilly, L., McNally, P. J. and Bagnall, D. M. (2003) Structural and Compositional Evolution of Self-Assembled Germanium Islands on Silicon (001) During High Growth Rate LPCVD. In: Mat Res Soc Symp Proc, December 2003. 25.1-25.6.

Dominguez-Lopez, J. A., Damper, R. I., Crowder, R. M. and Harris, C. J. (2003) Hybrid neurofuzzy online learning for optimal grasping. In: IEEE International Conference on Machine Learning and Cybernetics, Xi'an, China. pp. 803-808.

Dominguez-Lopez, J. A., Damper, R. I., Crowder, R. M. and Harris, C. J. (2003) Optimal object grasping using fuzzy logic. In: International Conference on Robotics, Vision, Information and Signal Processing (ROVISP'2004), Penang, Malaysia. pp. 367-372.

Dutta, P. S., Moreau, L. and Jennings, N. R. (2003) Finding interaction partners using cognition-based decision strategies. In: The IJCAI-2003 workshop on Cognitive Modeling of Agents and Multi-Agent Interactions, August 2003, Acapulco, Mexico. pp. 46-55.

Dyakowski, T., Harris, N., White, N., Hale, J. and Jaworski, A. (2003) A Sensor System for Oil-Water Separators: Materials Considerations. In: Sensors and their Applications XII, 2-4 Sept 2003, Limerick. pp. 71-76.

Dyakowski, T., Hale, J., Jaworski, A., White, N. M., Harris, N. and Nowakowski, A. (2003) Characterisation of heterogeneous mixtures by using thick-film ultrasonic transducers. In: 3rd World Congress in Industrial Process Tomography, 2-5 September 2003, Alberta, Canada. (In Press)

Dymkou, S., Rogers, E., Dymkov, M., Galkowski, K. and Owens, D. H. (2003) Controllability and optimisation for differential linear repetitive processes. In: 43rd IEEE Conference on Decision and Control. pp. 604-609.

Dymkou, S., Rogers, E., Dymkov, M., Galkowski, K. and Owens, D. H. (2003) Delay systems approach to linear differential repetitive processes. In: IFAC Workshop on Time-DelaySystems, CD Rom.

Elphick, D., Leuschel, M. and Cox, S. (2003) Partial Evaluation of MATLAB. In: Generative Programming and Component Engineering, September 2003, Erfurt. pp. 344-363.

England, R., Wang, C., Hanson, S. and Miles, R. (2003) Visitor Classification and XML. In: International Conference on Internet Computing, IC '03, June 23-26, 2003, Las Vegas, Nevada, USA. pp. 125-130.

Fatima, S., Wooldridge, M. and Jennings, N. R. (2003) Comparing equilibria for game theoretic and evolutionary bargaining models. In: 5th International Workshop on Agent-Mediated E-Commerce, 2003, Melbourne, Australia. pp. 70-77.

Fatima, S., Wooldridge, M. and Jennings, N. R. (2003) Optimal agendas for multi-issue negotiation. In: 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2003, Melbourne, Australia. pp. 129-136.

Fauzi, M. F. A. and Lewis, P. H. (2003) A Fully Unsupervised Texture Segmentation Algorithm. In: British Machine Vision Conference 2003, 9 - 11 September 2003, Norwich, UK. pp. 519-528.

Fauzi, M. F. A. and Lewis, P. H. (2003) Texture-based Image Retrieval Using Multiscale Sub-image Matching. In: IS&T/SPIE's 15th Annual Symposium Electronic Imaging: Image and Video Communications and Processing 2003 (SPIE vol. 5022), 20-24 January, Santa Clara, California. pp. 407-416.

Frey, J. G., De Roure, D., schraefel, m. c., Mills, H., Fu, H., Peppe, S., Hughes, G., Smith, G. and Payne, T. R. (2003) Context Slicing the Chemical Aether. In: First International Workshop on Hypermedia and the Semantic Web, August 30, Nottingham, UK.

Fu, M. and Chen, G. (2003) The effect of voltage reversal and elevated temperature on space charge behaviour in XLPE cable. In: 6th International Conference on Insulated Power Cables (Jicable03), pages 491-495, 22-26 June, 2003, Versailles-Paris, France. pp. 491-495.

Fu, M. and Chen, G. (2003) Space charge formation under dc conditions and its influence on electric stress profile after voltage reversal in XLPE cable. In: The 2nd International Conference on Insulation Condition Mornitoring of Electrical Plant, October 27-30, Chongqing, China. pp. 156-159.

Fu, M. and Chen, G. (2003) Space Charge Measurements in XLPE Cable with a Temperature Gradient. In: IEEE Conference on Electrical Insulation and Dielectric Phenomena, October 19-22, Albuquerque, USA. pp. 217-220.

Fu, M., Chen, G. and Wang, S. (2003) Practical application of on-line partial discharge monitoring technique on 500kV shunt reactor. In: 13th International Symposium on High Voltage Engineering, August 25 - 29, 2003, Delft, Netherlands. CD-ROM.

Fu, M., Chen, G., Xue, C., Ling, M. and Wang, N. (2003) Furfural analysis for assessing overheating in 500kV shunt reactors. In: The 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, October 27-30, 2003, Chongqing, China. pp. 72-75.

Furlong, M., Hearne, G., Veres, S. M. and Rogers, E. (2003) Nonlinear system identification tools applied to the modeling of submarine dynamics. In: 1st IFAC Workshop on Guidance and Control of Underwater Vehicles (GCUV 2003). pp. 53-58.

Galkowski, K., Sulikowski, B., Rogers, E. and Owens, D. H. (2003) Successive stabilization of high dimensional repetitive processes. In: 5th International Conference and Exhibition on Digital Signal Processing and its Application s. pp. 152-154.

Gaunt, L. F. and Hughes, J. F. (2003) Electrostatic charging of trigger actuated spray devices. In: Institute of Physics Electrostatics 2003, 23-27 March 2003, Edinburgh. pp. 59-64.

Gaur, M. S., Zwolinski, M. and Al-Hashimi, B. (2003) Concurrent Optimisation of Self-testable Designs from Behavioural Descriptions by Controller based Estimation Technique. In: IEEE European Test Workshop, 25 - 28 May, 2003, Mastricht, The Netherlands. (In Press)

Geard, N., Wiles, J. and Mattick, J. (2003) Modelling the role of small RNAs in gene regulation. In: Intelligent Systems for Molecular Biology (ISMB2003), Brisbane, Australia.

Gibbins, N., Harris, S. and schraefel, m. (2003) Applying mSpace Interfaces to the Semantic Web. In: World Wide Web Conference 2004. (Unpublished)

Gibbins, N., Harris, S. and Shadbolt, N. (2003) Agent-based Semantic Web Services. In: Twelfth International World Wide Web Conference (WWW2003). (In Press)

Gibbins, N. M., Harris, S. W., Michaelides, D. T., Millard, D. E. and Weal, M. J. (2003) Exploring the Relationship Between FOHM and RDF. In: 1st International Workshop on Hypermedia and the Semantic Web, 2003, Nottingham, UK.

Gili, E., Kunz, V. D., de Groot, C. H., Uchino, T., Donaghy, D., Hall, S. and Ashburn, P. (2003) Electrical Characteristics of Single, Double and Surround Gate Vertical MOSFETs with Reduced Overlap Capacitance. In: 33rd European Solid-State Device Research Conference, 16-18th September 2003, Estoril, Portugal. pp. 171-174.

Gili, E., Kunz, V. D., Uchino, T., De Groot, C. H. and Ashburn, P. (2003) Realization and characterization of vertical MOSFETs with reduced parasitic capacitance. In: PREP, 14-16 April, Exeter (UK). pp. 81-82.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2003) Test Data Compression: The System Integrator’s Perspective. In: Design Automation and Test in Europe, 3-7 March, 2003, Munich, Germany. pp. 726-731.

Grabham, N., Beeby, S. and White, N. (2003) Evaluation of Glass Frit Binder Materials for use in Thick-Film Magnetostrictive Actuators. In: Sensors and their Applications XII, September 2003, Limerick, Ireland. pp. 63-69.

Grabham, N., Beeby, S. and White, N. (2003) Micromachined Diaphragms with Integrated Actuation Coils. In: EUROSENSORS XVII, September 2003, Portugal. pp. 698-699.

Gramacki, A., Gramacki, J., Galkowski, K., Rogers, E. and Owens, D. H. (2003) Matlab-based toolbox for analysing differential repetitive
processes.
In: 11th Mediterranean Conference on Control and Automation (MED'03), CD Rom.

Grange, S., Wills, G., Humphrey, N., Burrill, J., Bunker, T. and De Roure, D. (2003) Integrating Surgical Training Video Simulation Into The Virtual Orthopaedic University. In: 3rd Annual Meeting of the International Society for Computer Assisted Surgery (CAOS International), June 18-21, Marbella, Spain. pp. 124-125.

Grange, S., Wills, G., Power, G., Miles-Board, T., Carr, L. and Hall, W. (2003) Building a Dynamic Review Journal (DRJ): Extending the Role of the Virtual Orthopaedic University. In: 3rd Annual Meeting of the International Society for Computer Assisted Surgery (CAOS International), June 18-21, Marbella, Spain. pp. 122-123.

Gravell, A. M., Howard, Y., Augusto, J. C., Ferreira, C. and Gruner, S. (2003) Concurrent Development of Model and Implementation. In: 16th International Conference on Software & Systems Engineering and their Applications, 2/12/2003, CNAM, Paris.

Gray, A. G., Fischer, B., Schumann, J. and Buntine, W. (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In: Neural Information Processing Systems 15, 09/12/2002 - 14/12/2002, Vancouver, BC. pp. 689-696.

Greenwood, M., Goble, C. A., Stevens, R. D., Zhao, J., Addis, M., Marvin, D., Moreau, L. and Oinn, T. (2003) Provenance of e-Science Experiments - experience from Bioinformatics. In: UK e-Science All Hands Meeting 2003, 2-4 September 2003, East Midlands Conference Centre, Nottingham. pp. 223-226.

Greenwood, M., Goble, C., Stevens, R., Zhao, J., Addis, M., Marvin, D., Moreau, L. and Oinn, T. (2003) Provenance of e-Science Experiments - experience from Bioinformatics. In: The UK OST e-Science second All Hands Meeting 2003 (AHM'03), September, Nottingham, UK. pp. 223-226.

Griffiths, N. and Luck, M. (2003) Coalition formation through motivation and trust. In: The Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2003, Melbourne, Australia. pp. 17-24.

Griffiths, N. and Luck, M. (2003) Coalition formation through motivation and trust. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems.

Grigore, L., Ensell, G. and Stavarache, D. (2003) Passivation of electronic devices by electrophoresis. In: Eurosensors, 22nd-24th September 2003, Guimaraes, Portugal.

Guo, F., Ng, S. X. and Hanzo, L. (2003) LDPC Assisted Block Coded Modulation for Transmission over Rayleigh Fading Channels. In: of VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 1867-1871.

Haas, C. and Kraft, M. (2003) Modelling And Analysis Of A MEMS Approach To DC Voltage Step Up Conversion. In: 14th Micromechanics Europe Workshop, 2-4 November 2003, Delft, The Netherlands. pp. 235-238.

Hall, S., Buiu, O., Lamb, A. C., El Mubarek, H. A. W. and Ashburn, P. (2003) Current crowding effects in SOI-SiGe HBTs with low doped emitters. In: 33rd European Solid State Device Research Conference, 16-18 September 2003, Estoril Portugal. pp. 303-306.

Hall, S., Donaghy, D., Buiu, O., Gili, E., Uchino, T., Kunz, V. D., de Groot, C. H. and Ashburn, P. (2003) Recent developments in deca-nanometer vertical MOSFETs. In: Insulating Films on Semiconductors Conference, 18-20 June 2003, Barcelona.

Hallac, A., Georghiou, G. E. and Metaxas, A. C. (2003) Numerical model for photo-ionisation in three-dimensional
calculations.
In: ICPIG XXVI, International Conference on Phenomena in Ionized Gases, 15-20 July 2003, Greifswald, Germany. pp. 75-76.

Hallac, A., Georghiou, G. E. and Metaxas, A. C. (2003) Plasma production and control at atmospheric pressure using dielectric
material.
In: 16th International Symposium on Plasma Chemistry, 22-27 June 2003, Taormina, Italy. pp. 810-814.

Hamaguchi, K. and Hanzo, L. (2003) Multi-Stage Multi-User Detection Assisted Asynchronous Fast-FH/MFSK. In: of VTC'2003 (Fall), 6-9 October 2003, Orlando, Florida, USA.

Hamaguchi, K. and Hanzo, L. (2003) Time-Frequency Spread OFDM/FHMA. In: of VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 1248-1252.

Hamaguchi, K., Yang, L. L. and Hanzo, L. (2003) On the performance of Multi-Stage Multi-User Detection Assisted Fast-FH/MFSK. In: of VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 2798-2802.

Han, B., Lewin, P. L., Tian, Y., Jarman, P. and Swingler, S. G. (2003) Distinguishing between Corona and Surface Discharges within Transformer Bushings. In: 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, 27-30 October, Chongqing, China. pp. 301-304.

Han, B., Lewin, P. L., Tian, Y., Jarman, P. and Swingler, S. G. (2003) PD on-line measurement of oil-filled power transformers. In: 13th International Symposium on High Voltage Engineering, 25-29th August 2003, Delft, Netherlands. CD-ROM.

Han, B., Lewin, P. L., Tian, Y., Jarman, P. and Swingler, S. G. (2003) Propagation Characteristics of High Frequency Discharge Signals Within Transformer Bushings. In: 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, 27-30 October, Chongqing, China. pp. 179-182.

Hanzo, L. (2003) Joint Physical and Network Layer Optimisation of Next-Generation Wireless Systems: Smart Antennas, Turbo Coding, Adaptive Transceivers and 'all that' for Improved QoS. In: IEEE VTC'03 Spring, 22-25 April 2003, Jeju Island, Korea.

Hanzo, L. (2003) Adaptive Modulation, Channel Coding and Diversity Techniques for Next-Generation Wireless Systems. In: SPWC'2003, 19-20 May 2003, King's College, London, UK.

HANZO, L. (2003) Adaptive Modulation, Channel Coding and Diversity Techniques for Next-Generation Wireless Systems. In: Opening of the Wireless Centre of Excellence, 13 November 2003, University of Stonybrook, Long Island, USA.

Hanzo, L. (2003) Cross-Layer Optimisation of Next-Generation Wireless Systems. In: IEEE VTC'03 Fall, 6-9 October 2003, Orlando, Florida, USA.

Hanzo, L. (2003) Genetic Algorithm Assisted Minimum Bit Error Rate Multiuser Detection in Multiple Antenna Aided OFDM. In: APCC'2003, 22 September 2003, City Bayview Hotel, Penang, Malaysia.

Hanzo, L. and Yang, L. L. (2003) Cross-Layer Optimisation of Wireless Systems. In: PIMRC'03, 7-10 September 2003, Beijing, China.

Hanzo, L. (2003) Adaptive Modulation, Coding, Transmit Diversity and Networking for Next Generation Wireless Systems. In: IEEE APCC'03, 21-24 September 2003, City Bayview Hotel, Penang, Malaysia.

Hanzo, L. (2003) Smart Antennas, Turbo Coding, Space-Time Coding, Adaptive Transceivers, Intelligent Networking and 'all that' for Improved QoS. In: IEEE WCNC'03, 16-20 March 2007, New Orleans, Louisanna, USA.

Hardoon, D. R. and Shawe-Taylor, J. (2003) KCCA for different level precision in content-based image retrieval. In: Third International Workshop on Content-Based Multimedia Indexing, 22 - 24 September 2004, IRISA, Rennes, France.

Hardoon, D. R. and Shawe-Taylor, J. (2003) Signal Extraction for Brain-Computer Interface. In: NIPS 2003 Workshop on 'Machine Learning Meets the User Interface', 2003, NIPS, Vancouver, Canada.

Hare, J. S. and Lewis, P. H. (2003) Scale Saliency: Applications in Visual Matching, Tracking and View-Based
Object Recognition.
In: Distributed Multimedia Systems 2003 / Visual Information Systems 2003, 24-26/09/2003, Florida International University, Miami, Florida, USA. pp. 436-440.

Harnad, S. (2003) There is no Concrete (or: Living Within One's Means). In: Access to the Abstract., 30-31 May 2003, University of Southern Denmark, Odense. (In Press)

Harris, N., White, N., Beeby, S., Shen, Y. and Hill, M. (2003) A Dual Frequency, ultrasonic, microengineered particle manipulator. In: Ultrasonics International, 30 June – 3 July 2003, Granada, Spain.

Harris, N., White, N., Townsend, R. and Hill, M. (2003) Modelling of Particle Paths passing through an Ultrasonic standing wave. In: Ultrasonics International 30 June – 3 July 2003 Granada, Spain, 30 June -3 July 2003, Granada, Spain.

Harris, S. and Gibbins, N. (2003) 3store: Efficient Bulk RDF Storage. In: 1st International Workshop on Practical and Scalable Semantic Systems (PSSS'03), 2003-10-20, Sanibel Island, Florida. pp. 1-15.

Hatonen, J. J., Harte, T. J., Owens, D. H., Ratcliffe, J. D., Lewin, P. L. and Rogers, E. (2003) A new robust Iterative Learning Control algorithm for application on a gantry robot. In: 9th IEEE International Conference on Emerging Technologies and Factory Automation, 16-19.09.03, Lisbon, Portugal. pp. 305-312.

Henderson, P., Crouch, S., Walters, R. and Ni, Q. (2003) Effects of Introducing Survival Behaviours into Automated Negotiators. In: The 27th Annual International Computer Software Applications Conference, 3rd - 6th November, Dallas, Texas. pp. 506-512.

Henderson, P., Walters, R. J., Crouch, S. and Ni, Q. (2003) DataWarp: Building Applications which Make Progress in an Inconsistent World. In: 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, 17-21 November 2003, Paris. pp. 167-178.

Hettrick, S. J., Wang, J., Li, C., Wilkinson, J. S. and Shepherd, D. P. (2003) An experimental comparison of linear and parabolic tapered waveguide lasers. In: ECIO 2003, 2-4 April, Prague 2003.

Hill, M., Harris, N., White, N., Beeby, S. and Townsend, R. (2003) Separation of particles from a fluid using a microfabricated, ultrasonic device. In: 5th World Congress on Ultrasound, Sept 7-10 2003, Paris.

Hill, M., Harris, N. R., Townsend, R. J., White, N. M. and Beeby, S. B. (2003) A Microfabricated Ultrasonic Particle Manipulator with Frequency selectable nodal planes. In: World Congress on Ultrasound, Paris.

Hladowski, L., Galkowski, K. and Rogers, E. (2003) Discrete (Max+)(Min+) repetitive processes. In: 4th National Conference on Methods and Computer Systems (MSK), CD Rom.

Hladowski, L., Galkowski, K., Rogers, E. and Owens, D. H. (2003) Generalised pass controllability of discrete linear repetitive processes. In: 4th International PhD Workshop on Information Technologies and Control.

Ho, Y. F. F., Chong, Y. L. and Chen, G. (2003) Effect of the length of degassing period on the space charge dynamic in XLPE insulation under DC stressing condition. In: The 2nd International Conference on Insulation Condition Mornitoring of Electrical Plant, October 27-30, 2003, Chongqing, China. pp. 160-163.

Ho, Y. F. F., Chong, Y. L. and Chen, G. (2003) Optimization of the aluminium target thickness on the space charge measurement using LIPP technique. In: IEEE Conference on Electrical Insulation and Dielectric Phenomena, October 19-22, Albuquerque, USA. pp. 237-240.

Ho, Y. F. F., Chong, Y. L. and Chen, G. (2003) Temperature effect on the space charge characteristics in as-received and degassed XLPE insulation under DC stressing condition. In: IEEE Conference on Electrical Insulation and Dielectric Phenomena, October 19-22, Albuquerque, USA. pp. 241-244.

Hong, X., Brown, M., Chen, S. and Harris, C. J. (2003) An Orthogonal Forward Regression Algorithm Combined with Basis Pursuit and D-Optimality. In: 2nd IEEE SMC UK & RI Chapter Conference: Cybernetics Intelligence - Challenges and Advances, 17 September 2003, University of Reading, U.K.. pp. 57-62.

Hong, X., Harris, C. J., Chen, S. and Sharkey, P. M. (2003) Robust identification for linear-in-the-parameters models. In: IFAC Int. Conf. Intelligent Control Systems and Signal Processing, April 8-11, 2003, Faro, Portugal. pp. 298-303.

Houlihan, R., Koukharenko, E., Sehr, H. and Kraft, M. (2003) Optimisation, Design and Fabrication of a Novel Accelerometer. In: IEEE International Conference on Solid-State Sensors, Actuators and Microsystems (Transducers'03), 8-12 June, 2003, Boston, MA, USA. pp. 1403-1406.

Howard, Y., Gruner, S., Gravell, A. M., Ferreira, C. and Augusto, J. C. (2003) Model-Based Trace-Checking. In: UK Software Testing Research II, 4/9/2003, University of York.

Hu, B., Dasmahapatra, S., Lewis, P. and Shadbolt, N. (2003) Ontology-based Medical Image Annotation with Description Logics. In: The 15th IEEE International Conference on Tools with Artificial Intelligence, 3-5, November 2003, Sacramento, CA, USA. pp. 77-82.

Hu, B., Dasmahapatra, S. and Shadbolt, N. (2003) From Lexicon To Mammographic Ontology: Experiences and Lessons. In: International Workshop of Description Logics-DL'03, 5-7, September, Rome. pp. 229-233.

Hu, B. and Shadbolt, N. (2003) Visualising a DL Knowledge Base with DeLogViz. In: International Workshop of Description Logics-DL'03, 5-7, September, Rome. pp. 224-228.

Hua, W., Ng, S. X. and Hanzo, L. (2003) Coded Modulation Assisted Iterative Parallel Interference Cancellation Aided CDMA. In: of VTC'2003 (Fall), 6-9 October 2003, Orlando, Florida, USA.

Hughes, G. and Crowder, R. (2003) Experiences in designing highly adaptable expertise finder systems. In: Design Engineering Technical Conferences and Computers and Information in Emgineering, 2-6 September, Chicago.

Husband, B., Bu, M., Apostolopoulos, V., Melvin, T. and Evans, A. G. R. (2003) Investigation for the operation of an integrated peristaltic micropump. In: 14th MicroMechanics Europe Workshop, 2-4th November 2003, Delft, The Netherlands. pp. 115-118.

Jafaripanah, M., Al-Hashimi, B. and White, N. M. (2003) Load Cell Response Correction Using Analog Adaptive Techniques. In: 2003 IEEE International Symposium on Circuits and Systems (ISCAS2003), 25-28 May 2003, Bangkok, Thailand. IV-752-IV-755.

Jesus, L. M. T. and Shadle, C. H. (2003) Temporal and Devoicing Analysis of European Portuguese Fricatives. In: 15th International Congress of PHonetic Sciences, 3-9 August 2003, Barcelona, Spain. 779 -782.

Jewell, M. O., Nixon, M. and Prugel-Bennett, A. (2003) CBS: A Concept-Based Sequencer for Soundtrack Composition. In: 3rd International Conference on Web Delivering of Music, September 2003, Leeds. pp. 105-108.

Juby, B. and De Roure, D. (2003) Real-Time Speaker Identification and Participant Tracking in The Access Grid. In: 4th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PG Net 2003), 16th-17th June 2003, Liverpool, UK. pp. 313-319.

Kalfoglou, Y. and Schorlemmer, M. (2003) On Semantic Interoperability and the Flow of Information. In: ISWC'03 Workshop on Semantic Integration, October 2003, Sanibel Island, FL, USA. pp. 80-86.

Kanjanachuchai, S., Tsuchiya, Y., Usami, K. and Oda, S. (2003) Nanocrystalline silicon dots displacement using tapping-mode atomic force microscopy. In: Micro and Nano Engineering 2003, 22-25 September, Cambridge, UK.

Karatzas, D. and Antonacopoulos, A. (2003) Two Approaches for Text Segmentation in Web Images. In: 7th International Conference on Document Analysis and Recognition (ICDAR2003), August 2003, Edinburgh. pp. 131-136.

Kazmierski, T. J. and Yang, X. Q. (2003) A Secure Web-based framework for Electronic Design (Invited Paper). In: Proc. ETRAN 2003, 9-13 June 2003, Herceg-Novi, 9-13 June 2003, Herceg Novi.

Kazmierski, T. J. and Aljunaid, H. J. (2003) Synchronization of Analogue and Digital Solvers in Mixed-Signal Simulation on a SystemC Platform. In: Forum on Specification and Design Languages, 23-26 September, Frankfurt, Germany.

Keshtgar, A. S., Sanei, A. and Ward, H. C. (2003) Manometry Data Analysis for Windows in Clinical Practice. In: 15th International Symposium of Paediatric Surgical Research, Oct. 3-4, Oct., Marseille.

Khalafalla, M., Mizuta, H. and Durrani, Z. A. K. (2003) Dual gate control of Coulomb blockade oscillations in a double Si grain structure. In: 12th MEL-ARI/NID Workshop, June 2003, Cork.

Khalafalla, M., Mizuta, H. and Durrani, Z. A. K. (2003) Switching of single-electron oscillations in dual-gated nanocrystalline silicon point-contact transistors. In: 2003 Silicon Nanoelectronics Workshop, June 2003, Kyoto. pp 96-97.

Kim, D. H., Ship, K. S. and Sykulski, J. K. (2003) Applying Continuum Design Sensitivity Analysis combined with standard EM software to shape optimisation in magnetostatic problems. In: COMPUMAG, 13-17/07/2003, Saratoga Springs, NY, USA. pp. 112-113.

Klin, B. and Sobocinski, P. (2003) Syntactic formats for free: an abstract approach to process equivalence. In: Concur '03, September 3-5, 2003, Marseille, France. pp. 72-86.

Koganov, G. A., Shuker, R., Gordov, E. P., Makogon, M. M. and Rutt, H. (2003) Autodyne lidar for environmental DIAL applications. In: International conference on computational information technologies for environmental sciences, 8-11 September 2003, Tomsk, Russia.

Krishna, A., Tan, V., Lawley, R., Miles, S. and Moreau, L. (2003) The myGrid Notification Service. In: The UK OST e-Science second All Hands Meeting 2003 (AHM'03), September, Nottingham, UK. pp. 475-482.

Krishna, A., Tan, V., Lawley, R., Miles, S. and Moreau, L. (2003) The myGrid Notification Service. In: UK OST e-Science Second All Hands Meeting 2003 (AHM'2003), September, Nottingham, UK. pp. 475-482.

Krstic, M., Troya, A., Maharatna, K. and Grass, E. (2003) Optimized low-power synchronizer design for the IEEE 802.11(a) standard. In: IEEE International Conference on Acoustic, Speech and Signal Processing (ICASSP) 2003, Hong Kong. pp. 333-336.

Krstic, M., Troya, A., Maharatna, K., Grass, E. and Jagdhold, U. (2003) Implementation of an IEEE 802.11a compliant low-power baseband processor. In: IEEE International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service (TELSIKS) 2003. pp. 97-100.

Kuang, Y. C., Chen, G., Heywood, R. and Jarman, P. (2003) Recovery Voltage Measurement on Kraft Paper Pressboard. In: The 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, October 27-30, Chongqing, China. pp. 495-498.

Kukharenka, E., Moktadir, Z., Bagnall, D. B., Kraft, M., Vale, C., Jones, M. and Hinds, E. A. (2003) Microfabrication of gold wires for atom guies. In: Proceedings Eurosensors XVII, September 21 - 24, Guimarães, Portugal. p. 414.

Lampropoulos, M., Al-Hashimi, B. and Rosinger, P. (2003) Minimization of Crosstalk Noise, Delay and Power Using a Modified Bus Invert Technique. In: Design, Automation and Test in Europe.

Langford, J. and Shawe-Taylor, J. (2003) PAC Bayes and Margins. In: Neural Information Processing Systems 2002 (NIPS 2002), 9 - 14 December 2002, Vancouver (tutorials and conference) and Whistler (workshops).

Lappas, P., Damper, R. I. and Carter, J. N. (2003) Feature tracking in an energy maximization framework. In: IEEE International Conference on Machine Learning and Cybernetics, Xi'an, China. pp. 3109-3114.

Lau, W. S. and Chen, G. (2003) The influence of temperature on electrical conduction and space charge in LDPE. In: JICABLE, 22 - 26 June 2003, Paris-Versailles, France. pp. 485-490.

Lau, W. S. and Chen, G. (2003) Simultaneous Space Charge and Current Density Assessment in Additive-free LDPE under HVDC Condition. In: The 2nd International Conference on Insulation Condition Mornitoring of Electrical Plant, October 27-30, Chongqing, China. pp. 144-147.

Lawley, R., Decker, K., Luck, M., Payne, T. and Moreau, L. (2003) Automated Negotiation for Grid Notification Services. In: Ninth International Europar Conference (EURO-PAR'03), August, Klagenfurt, Austria. pp. 384-393.

Lehmann, H. and Leuschel, M. (2003) Inductive Theorem Proving by Program Specialisation:
Generating proofs for Isabelle using Ecce (Invited talk).
In: Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, August 2003, Uppsala, Sweden.

Leskovec, J. and Shawe-Taylor, J. (2003) Linear Programming Boosting for Uneven Datasets. In: 20th International Conference on Machine Learning (ICML'03), 21 - 24 August 2003, Washington DC, USA. pp. 456-463.

Leuschel, M. and Butler, M. (2003) ProB: A Model Checker for B. In: Formal Methods Europe 2003, September 2003, Pisa, Italy. pp. 855-874.

Lewis, M., Sycara, K. and Payne, T. R. (2003) Agent Roles in Human Teams. In: AAMAS-03 Workshop on Humans and Multi-Agent Systems.

Li, J., Li, S., Alim, M. A. and Chen, G. (2003) The Degradation of ZnO Varistors Packed with Epoxy Insulation Layers. In: The 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, October 27-30, 2003, Chongqing, China. pp. 137-140.

Li, J., Li, S. and Chen, G. (2003) The Effect of Strong Reducing Atmosphere on the Electrical Property and Microstructure of SrTiO3 Varistor Ceramics. In: The 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, October 27-30, 2003, Chongqing, China. pp. 507-510.

Liew, T. H. and Hanzo, L. (2003) Switching Threshold and Coding-Rate Optimisation for Turbo Convolutional and Turbo BCH Coded Adaptive Modulation. In: VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 2167-2171.

Litovski, V. B., Andrejevic, M. V. and Damper, R. I. (2003) Modeling the D/A interface for mixed-mode behavioral simulation. In: International Conference on the Computer as a Tool, IEEE Region 8 EUROCON 2003, September 2003, Ljubljana, Slovenia. pp. 130-133.

Liu, W., Weiss, S. and Hanzo, L. (2003) A Subband-Selective Transform-Domain GSC with Low Computational Complexity. In: 2003 Postgraduate Research Conference in Electronics, Photonics, Communications and Software, April 14-16, 2003, Exeter, UK.

Liu, X. S., Vaughan, A. S. and Chen, G. (2003) A Raman spectroscopic study of bulk and surface ageing phenomena in polyethylene. In: 2003 Annual Report Conference on Electrical Insulation and Dielectric Phenomena, 19-22 October 2003, Albuquerque, NM, USA. pp. 145-148.

Lopez y Lopez, F. and Luck, M. (2003) Modelling Norms for Autonomous Agents. In: Fourth Mexican International Conference on Computer Science. pp. 238-245.

Lord, P., Wroe, C., Stevens, R., Goble, C., Miles, S., Moreau, L., Decker, K., Payne, T. and Papay, J. (2003) Semantic and Personalised Service Discovery. In: UK OST e-Science Second All Hands Meeting 2003 (AHM'2003), September, Nottingham, UK. pp. 787-794.

Lord, P., Wroe, C., Stevens, R., Goble, C., Miles, S., Moreau, L., Decker, K., Payne, T. and Papay, J. (2003) Semantic and Personalised Service Discovery. In: Workshop on Knowledge Grid and Grid Intelligence (KGGI'03), in conjunction with 2003 IEEE/WIC International Conference on Web Intelligence/Intelligent Agent Technology, 13th October, Halifax, Canada. pp. 100-107.

Luo, X., Jennings, N. R. and Shadbolt, N. (2003) "Acquiring tradeoff preferences for automated negotiations: A case study". In: 5th International Workshop on Agent-Mediated E-Commerce, 2003, Melbourne, Australia. pp. 41-48.

Luo, X., Jennings, N. R. and Shadbolt, N. (2003) Knowledge-based acquisition of tradeoff preferences of negotiating agents. In: 5th International Conference on Electronic Commerce, 2003, Pittsburgh, USA. pp. 138-144.

Lynce, I. and Marques-Silva, J. P. (2003) On Implementing More Efficient SAT Data Structures. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2003, Portofino, Italy. pp. 510-516.

Lynce, I. and Marques-Silva, J. P. (2003) Probing-Based Preprocessing Techniques for Propositional Satisfiability. In: Proceedings of the International Conference on Tools with Artificial Intelligence, November 2003, Sacramento, California, U.S.A..

Maharatna, K., Grass, E. and Jagdhold, U. (2003) A novel 64-point FFT/IFFT processor for IEEE 802.11(a) standard. In: IEEE International Conference in Acoustic, Speech and Signal Processing (ICASSP) 2003, Hong Kong. pp. 321-324.

Martin, C. P., Vaughan, A. S. and Sutton, S. J. (2003) On morphology, molecular composition and breakdown behaviour in semi-crystalline polymers. In: 2003 Annual Report Conference on Electrical Insulation and Dielectric Phenomena, 19-22 October 2003, Albuquerque, NM, USA. pp. 309-312.

Martin, C. P., Vaughan, A. S. and Sutton, S. J. (2003) The thermomechanical behaviour of crosslinked polyethylene cable insulation material. In: 2003 Annual Report Conference on Electrical Insulation and Dielectric Phenomena, 19-22 October 2003, Albuquerque, NM, USA. pp. 88-91.

Masanovich, G., Png, C. E., Passaro, V. M. N., Reed, G. T., Atta, R. M. H., Ensell, G. and Evans, A. G. R. (2003) Coupling from Optical Fibres to fast Silicon Modulators. In: SPIE, 25th-31st January 2003, San Jose, CA, USA. pp. 65-75.

Matsumaru, N., Ziagos, S., Centler, F., Zauner, K. P., Wolfl, S. and Dittrich, P. (2003) Autonomous Exploration of Dynamic Biological Systems by Scouting. In: German Conference on Bioinformatics, October 12-14, 2003, Neuherberg/Garching. p. 210.

Memon, Q. and Khoja, S. (2003) Development of Hypervideo Platform Using Object Databases. In: Proceeding of International Symposium on Telecommunications (IST2003), 16 - 18 August 2003, Isfahan, Iran.

Meuers, T., Veres, S. M., Aglietti, G. S. and Rogers, E. (2003) Frequency selective microvibration control for a single plate. In: 10th International Conference on Sound and Vibration, CD Rom.

Middleton, S. E., Shadbolt, N. R. and De Roure, D. C. (2003) Capturing Interest Through Inference and Visualization: Ontological User Profiling in Recommender Systems. In: K-CAP2003, October, Sundial Beach Resort, Sanibel Island, Florida, USA.

Miles, S., Joy, M. and Luck, M. (2003) Towards a Methodology for Coordination Mechanism Selection in Open Systems. In: Engineering Societies in the Agents World III, 2003. pp. 241-256.

Miles, S., Papay, J., Dialani, V., Luck, M., Decker, K., Payne, T. and Moreau, L. (2003) Personalised Grid Service Discovery. In: The Nineteenth Annual UK Performance Engineering Workshop (UKPEW'03), July 2003, University of Warwick, Coventry, England. pp. 131-140.

Miles-Board, T., Carr, L., Kampa, S. and Hall, W. (2003) Supporting Management Reporting: A Writable Web Case Study. In: The Twelfth International World Wide Web Conference (WWW2003), 20-24 May 2003, Budapest, Hungary. pp. 234-243.

Miles-Board, T., Deveril, , Lansdale, J., Carr, L. and Hall, W. (2003) Decentering the Dancing Text: From Dance Intertext to Hypertext. In: Fourteenth conference on Hypertext and Hypermedia, Hypertext'03, August 26-30, Nottingham, UK. pp. 108-119.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In: International Workshop on Object Oriented Developments, WOODS 2003.. 3 pp..

Millard, D. E., Alani, H., Kim, S., Weal, M. J., Lewis, P., Hall, W., De Roure, D. and Shadbolt, N. (2003) Generating Adaptive Hypertext Content from the Semantic Web. In: 1st International Workshop on Hypermedia and the Semantic Web, August 30, 2003, Nottingham, UK.

Millard, D. E., Davis, H. C., Weal, M. J., Aben, K. and De Bra, P. (2003) AHA! meets Auld Linky : Integrating Designed and Freeform Hypertext Systems. In: ACM Hypertext '03, August 26-30, 2003, Nottingham, UK. pp. 161-169.

Mistry, K., Redman-White, W., Benson, J. and D'Halleweyn, N. V. (2003) A high speed dual modulus divider in SOI CMOS with stacked current steering phase selection architecture. In: Proceedings of RF Integrated Circuit Symposium, 2003, Philadelphia, USA. pp. 471-474.

Mitchell, B., King, D., Bristow, P., Baker, P. and Jervis, C. (2003) Automatic Generation of Conformance Tests from Message Sequence Charts. In: Telecommunications and beyond: The BroaderApplicability of SDL and MSC: Third International Workshop, SAM 2002, Revised Papers, June 24-26, 2002, Aberystwyth, UK. pp. 170-198.

Mizuta, H., Furuta, Y., Kamiya, T., Tan, Y. T., Durrani, Z. A. K., Nakazato, K. and Ahmed, H. (2003) Nanosilicon for single-electron devices. In: International Conference on Advanced Materials and Nanotechnologies, February 2003, Wellington. p Tu3-1.

Mokhtari, M. and Kraft, M. (2003) Advanced control systems for MEMS capacitive sensing accelerometers. In: 14th MicroMechanics Europe Workshop, 2-4th November 2003, Delft, The Netherlands. pp. 231-234.

Moktadir, Z., Koukharenko, E., Kraft, M., Bagnall, D. M., Jones, M., Powell, H. and Hinds, E. (2003) Etching Techniques for the realisation optical micro-cavities on silicon for atom traps. In: 14th MicroMechanics Europe Workshop, 2-4th November 2003, Delft, The Netherlands. pp. 139-142.

Moreau, L., Miles, S., Goble, C., Greenwood, M., Dialani, V., Addis, M., Alpdemir, N., Cawley, R., De Roure, D., Ferris, J., Gaizauskas, R., Glover, K., Greenhalgh, C., Li, P., Liu, X., Lord, P., Luck, M., Marvin, D., Oinn, T., Paton, N., Pettifer, S., Radenkovic, M. V., Roberts, A., Robinson, A., Rodden, T., Senger, M., Sharman, N., Stevens, R., Warboys, B., Wipat, A. and Wroe, C. (2003) On the Use of Agents in a BioInformatics Grid. In: Proceedings of the Third IEEE/ACM CCGRID'2003 Workshop on Agent Based Cluster and Grid Computing, May 2003, Tokyo, Japan. pp. 653-661.

Moreau, L., Miles, S., Goble, C., Greenwood, M., Dialani, V., Addis, M., Alpdemir, N., Cawley, R., De Roure, D., Ferris, J., Gaizauskas, R., Glover, K., Greenhalgh, C., Li, P., Liu, X., Lord, P., Luck, M., Marvin, D., Oinn, T., Paton, N., Pettifer, S., Radenkovic, M. V., Roberts, A., Robinson, A., Rodden, T., Senger, M., Sharman, N., Stevens, R., Warboys, B., Wipat, A. and Wroe, C. (2003) On the Use of Agents in a BioInformatics Grid. In: The Third IEEE/ACM CCGRID'2003 Workshop on Agent Based Cluster and Grid Computing, May, Tokyo, Japan. pp. 653-661.

Moreau, L., Miles, S., Papay, J., Decker, K. and Payne, T. R. (2003) Publishing Semantic Descriptions of Services. In: GGF9 Semantic Grid Workshop.

Mowbray, S. D. and Nixon, M. S. (2003) Automatic Gait Recognition via Fourier Descriptors of Deformable Objects. In: Audio Visual Biometric Person Authentication, 2003, Guildford. pp. 566-573.

Munroe, S., Luck, M. and d'Inverno, M. (2003) Towards Motivation-Based Decisions for Worth Goals. In: Multi-Agent Systems and Applications III, Proceedings of the 3rd International Central and European Conference on Multi-Agent Systems, 2003, Prague. pp. 17-28.

Munroe, S., Luck, M. and d'Inverno, M. (2003) Towards a Motivation-Based Approach for Evaluating Goals. In: The Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2003, Melbourne, Australia. pp. 1074-1075.

Münster, M. and Hanzo, L. (2003) RLS-Adaptive Parallel Interference Cancellation Assisted Decision-directed Channel Estimation for OFDM. In: of WCNC'2003, 17-19 March 2003, New Orleans, Louisiana, USA. pp. 50-54.

Myerscough, P. J., Nixon, M. S. and Carter, J. N. (2003) Guiding Optical Flow Estimation. In: British Machine Vision Conference, 2003, Norwich. pp. 681-690.

Neal, R. T., Charlton, M., Finlayson, C. E., Netti, M. C., Josey, M. and Parker, G. (2003) High Intensity Photoluminescence in Waveguies of Silicon-Rich Silicon Dioxide. In: Symposium J, MRS Spring Meeting, 2003, San Francisco.

Neal, R. T., Charlton, M., Parker, G., Finlayson, C. E., Baumberg, J., Netti, M. C. and Zoorob, M. E. (2003) Photonic Crystal Photoluminescence modification in Silicon-Rich Silicon Dioxide Waveguides. In: Symposium J, MRS Spring Meeting, 2003, San Francisco.

Ng, G. S., Shi, D., Gunn, S. R. and Damper, R. I. (2003) Nonlinear active handwriting models and their applications to handwritten Chinese radical recognition. In: Seventh International Conference on Document Analysis and Recognition (ICDAR'03), Edinburgh, UK..

Ng, M. Y. and Butler, M. (2003) Towards formalizing UML State Diagrams in CSP. In: 1st IEEE International Conference on Software Engineering and Formal Methods, 25-26 September 2003, Brisbane, Australia. pp. 138-147.

Ng, S. X., Yee, M. S. and Hanzo, L. (2003) Radial Basis Function Aided Turbo Equalisation of TCM, TTCM, BICM and BICM-ID Assisted Wireless Transceivers. In: International Symposium on Turbo Codes, 1-5 September 2003, Brest, France. pp. 67-74.

Ng, S. X. and Hanzo, L. (2003) Space-Time Block Cloded IQ-Interleaved Joint Coding and Modulation for AWGN and Rayleigh Fading Channels. In: of VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 1367-1371.

Ng, S. X., Liew, T. H. and Hanzo, L. (2003) Space-Time Block Coded and IQ-interleaved TCM, TTCM, BICM and BICM-ID Assisted OFDM. In: of VTC'2003 (Fall), 6-9 October 2003, Orlando, Florida, USA.

Ng, S. X., Yen, K. and Hanzo, L. (2003) M-ary Coded Mouldation Assisted Genetic Algorithm Based Multiuser Detection for CDMA Systems. In: of WCNC'2003, 17-19 March 2003, New Orleans, Louisiana, USA. pp. 779-783.

Ng, Y. H. P., Carmo, B. S., Prugel-Bennett, A. and Yang, G. Z. (2003) A First-Order Lagrangian-based variational approach for 3D flow vector field restoration. In: CARS 2003: COMPUTER ASSISTED RADIOLOGY AND SURGERY, June 25-28, 2003, London. pp. 1185-1190.

Nguyen, T. D. and Jennings, N. R. (2003) Concurrent bi-lateral negotiation in agent systems. In: 4th DEXA Workshop on e-Negotiations, 1st - 5th September 2003, Prague, Czech Republic. pp. 839-844.

Nguyen, T. D. and Jennings, N. R. (2003) A heuristic model of concurrent bi-lateral negotiations in incomplete information settings. In: International Joint Conferences on Artificial Intelligence, August 9-15, Mexico. pp. 1467-1469.

Ni, S., Blogh, J. S. and Hanzo, L. (2003) On the Network Perfomance of UTRA-like TDD/CDMA Systems. In: of VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 606-610.

Ni, S., Hua, W., Blogh, J. S. and Hanzo, L. (2003) Network Performance of Asynchronous UTRA-like FDD/CDMA Systems using Loosely Synchronised Spreading Codes. In: of VTC'2003 (Fall), 6-9 October 2003, Orlando, Florida, USA.

Nicole, D., Ellis, S. and Hancock, S. (2003) occam for reliable embedded systems: lightweight runtimes and model checking. In: 26th WoTUG Technical Meeting, 7-10 September 2003, University of Twente, The Netherlands. pp. 167-172.

Norman, T. J., Preece, A., Chalmers, S., Jennings, N. R., Luck, M., Dang, V. D., Nguyen, T. D., Deora, V., Shao, J., Gray, A. and Fiddian, N. (2003) CONOISE: Agent-based formation of virtual organisations. In: 23rd SGAI International Conference on Innovative Techniques and Applications of AI, 2003, Cambridge, UK. pp. 353-366.

Ohene-Djan, J., Gorle, M., Bailey, C. P., Wills, G. B. and Davis, H. C. (2003) Understanding Adaptive Hypermedia: An Architecture for Personalisation and Adaptivity. In: Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems AH2003, August 26-30, 2003, Nottingham, UK.

Oikonomakos, P., Zwolinski, M. and Al-Hashimi, B. M. (2003) Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric. In: Design Automation and Test in Europe (DATE), March 3-7, Munich. pp. 596-601.

Oikonomakos, P. and Zwolinski, M. (2003) Controller Self-checking in a Controller / Datapath Architecture. In: 3rd SIGDA UK Workshop on Electronic Design Automation, 11-12/09/2003, Southampton, UK.

Oikonomakos, P. and Zwolinski, M. (2003) Foundation of Combined Datapath and Controller Self-checking Design. In: 9th IEEE International On-Line Testing Symposium, 7-9 July 2003, Kos Island, Greece. pp. 30-34.

Omitola, T. and Greaves, D. J. (2003) Agile Programming For Mobile Adaptive Systems. In: ANWIRE Workshop 2003 at the 6th IFIP WG 6.1 International Conference on Formal Methods for Object-based Distributed Systems (FMOODS), Paris.

Omitola, T. and Greaves, D. J. (2003) Computer Aided Proof of Desirable Properties of Home Area Networks Using Automated Reasoning Tools. In: Programming Language De- sign and Implementation 2003 (PLDI’03).

Omitola, T. and Greaves, D. J. (2003) Towards Autonomous Dependable Systems. In: Cabernet Workshop, Nov 2003, Porto Santo, Portugal.

Osman, M., Chen, G. and Pilling, N. (2003) Effect of high resistive barrier on earthing system. In: 13th International Symposium on High Voltage Engineering, August 25 - 29, 2003, Delft, Netherlands. CD ROM.

Papadakis, A., Georghiou, G. E. and Metaxas, A. C. (2003) The incorporation of heating effects in atmospheric pressure gas discharges. In: ICPIG XXVI, International Conference on Phenomena in Ionized Gases, 15-20 July 2003, Greifswald, Germany. pp. 65-66.

Papadakis, A., Georghiou, G. E. and Metaxas, A. C. (2003) Simulating the developent of the spark discharge. In: 9th International Conference on Microwave and High Frequency Heating, 2-5 September 2003, University of Loughborough. pp. 193-196.

Parker, G. J. (2003) Photonic Crystals. In: ESSDERC 2003, 15-18th September 2003, Estorial, Portugal. p. 7.

Paszke, W., Galkowski, K., Lam, J., Xu, S., Rogers, E. and Owens, D. H. (2003) Stability and stabilization of 2D discrete linear systems with multiple delays. In: IEEE International Symposium on Circuits and Systems (ISCAS 03), CD Rom.

Paszke, W., Galkowski, K., Rogers, E. and Owens, D. H. (2003) H_infty control of differential linear repetitive processes. In: 43rd IEEE Conference on Decision and Control. pp. 628-633.

Paszke, W., Galkowski, K., Rogers, E. and Owens, D. H. (2003) Robust stabilization of discrete linear repetitive processes with application to a physical example. In: 11th Mediterranean Conference on Control and Automation (MED'03) CD Rom, 11th Mediterranean Conference on Control and Automation (Med'03), CD Rom.

Paszke, W., Lam, J., Galkowski, K. and Rogers, E. (2003) H_infty control of 2D linear state-delayed systems. In: IFAC Workshop on Time-Delay Systems, CD Rom.

Paulussen, T. O., Jennings, N. R., Decker, K. S. and Heinzl, A. (2003) Distributed patient scheduling in hospitals. In: 18th International Joint Conference on Artificial Intelligence, 2003, Acapulco, Mexico. pp. 1224-1229.

Paurobally, S., Cunningham, J. and Jennings, N. R. (2003) Developing agent interaction protocols graphically and logically. In: !st International Workshop on Programming Multi-Agent Systems, 2003, Melbourne, Australia. pp. 45-54.

Paurobally, S., Cunningham, J. and Jennings, N. R. (2003) Ensuring consistency on the joint beliefs of interacting agents. In: 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2003, Melbourne, Australia. pp. 662-669.

Paurobally, S., Turner, P. J. and Jennings, N. R. (2003) Towards automating negotiation for m-services. In: 5th International Workshop on Agent-Mediated E-Commerce, 2003, Melbourne, Australia. pp. 124-131.

Petropoulos, P., Monro, T. M., Ebendorff-Heidepriem, H., Frampton, K. F., Moore, R. C., Rutt, H. N. and Richardson, D. J. (2003) Soliton-self-frequency-shift effects and pulse compression in an anomalously dispersive high nonlinearity lead silicate holey fiber. In: OFC 2003, 23-28 March 2003, Atlanta.

Pissadakis, S., Ikiades, A., Tai, C. Y., Sessions, N. P. and Wilkinson, J. S. (2003) Sub-micron period grating structures in Ta2O5 thin oxide films patterned using UV laser post-exposure chemically assisted selective etching. In: European Materials Research Society Spring Meeting (E-MRS 2003), 10-13 Jun 2003, Strasbourg, France.

Pissadakis, S., Reekie, L., Zervas, M. N. and Wilkinson, J. S. (2003) High reflectivity Bragg gratings fabricated by 248nm excimer laser holographic ablation in thin Ta2O5 films overlaid on glass waveguides. In: COLA '03, 5-10 Oct 2003, Crete.

Png, C. E., Reed, G., Headley, W., Homewood, K., Liu, A., Paniccia, M., Atta, R., Ensell, G., Evans, A., Hak, D. and Cohen, O. (2003) Design and experimental results of small silicon-based optical modulators. In: SPIE, 24th-29th January 2004, San Jose, CA, USA. pp. 44-55.

Png, C. E., Reed, G. T., Atta, R. M. H., Ensell, G. and Evans, A. G. R. (2003) Development of Small Silicon Modulators in SOI. In: SPIE, 25th-31st January 2003, San Jose, CA, USA. pp. 190-197.

Poppleton, M. and Groves, L. (2003) Software Evolution with Refinement and Retrenchment. In: RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, June, 2003, Turku, Finland.

Poppleton, M. R. and Banach, R. N. (2003) Structuring Retrenchments in B by Decomposition. In: FME2003: International Symposium of Formal Methods Europe, September, Pisa, Italy. pp. 814-833.

Prismall, S. P., Nixon, M. S. and Carter, J. N. (2003) ACCURATE OBJECT RECONSTRUCTION BY STATISTICAL MOMENTS. In: VIE 2003, 2003, Guildford UK. pp. 1-5.

Prismall, S. P., Nixon, M. S. and Carter, J. N. (2003) Novel Temporal Views of Moving Objects for Gait Biometrics. In: Audio Visual Biometric Person Authentication, 2003, Guildford. pp. 725-733.

Prügel-Bennett, A. (2003) Modelling Finite Populations. In: Foundations of Genetic Algorithms 7, September 2002, Spain. pp. 99-114.

Rabinovich, Z., Goldman, C. V. and Rosenschein, J. S. (2003) The Complexity of Multiagent Systems: The Price of Silence. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems. pp. 1102-1103.

Ramchurn, S. D., Jennings, N. R. and Sierra, C. (2003) Persuasive negotiation for autonomous agents: A rhetorical approach. In: IJCAI Workshop on Computational Models of Natural Argument, Acapulco, Mexico. pp. 9-17.

Ramchurn, S., Sierra, C., Godo, L. and Jennings, N. R. (2003) A computational trust model for multi-agent interactions based on confidence and reputation. In: 6th International Workshop of Deception, Fraud and Trust in Agent Societies, 2003, Melbourne, Australia. pp. 69-75.

Redman-White, W. (2003) Analog IP - Stairway to SoC Heaven? In: International Solid State Circuits Conference, February 2003, San Francisco, USA.

Rezazadeh, A. and Butler, M. (2003) Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. In: Refinement of Critical Systems (RCS'03), June.

Rodrigues, M. R., Rocha Costa, A. C. and Bordini, R. H. (2003) A System of Exchange Values to Support Social Interactions in Artificial Societies. In: Second International Joint Conference on Autonomous Agents and Multiagent, July, Melbourne. pp. 81-88.

Sadrzadeh, M. (2003) Modal Linear Logic in Higher Order Logic, an experiment in Coq. In: Theorem Proving in Higher Order Logics, September 2003, Rome, Italy. pp. 75-93.

Salleh, S., Dalimin, M. N., Chil, A. and Rutt, H. N. (2003) New method to fabricate ZnS optical waveguides using thermoelectric devices. In: 20th Regional Conference on Solid State Science & Technology, 12-14 December 2003, Malaysia.

Samingan, A. K., Chen, S. and Hanzo, L. (2003) Adaptive Minimum Symbol-Error-Rate CDMA Linear Multiuser Detector for Pulse-Amplitude Modulation. In: VTC'03 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 2812-2816.

Sanei, A. and French, M. (2003) Projections or Dead-Zones: A Non-singular Performance Comparison in Robust Adaptive Control. In: European Control Conference, Sep. 2003, Cambrige, U.K, CD-ROM.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In: Foundations of Software Science and Computation Structures, FOSSACS 2003.. pp. 409-424.

Saunders, C., Shawe-Taylor, J. and Vinokourov, A. (2003) String Kernels, Fisher Kernels and Finite State Automata. In: Neural Information Processing Systems 15.

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2003) A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities. In: Design, Automation and Test Europe Conference (DATE2003), March 2003, Munich, Germany. pp. 960-965.

Schorlemmer, M. and Kalfoglou, Y. (2003) Using Information Flow Theory to Enable Semantic Interoperability. In: 6th Catalan Conference on Artificial Intelligence (CCIA '03), October 2003, Palma de Majorca, Spain. pp. 421-432.

schraefel, m. c., Karam, M. and Zhao, S. (2003) Audio Preview Cues: Interaction Aides for Exploration of Online Music and Beyond. In: HCI International 2003, June 22-27, Crete, Greece.

schraefel, m. c., Karam, M. and Zhao, S. (2003) Listen to the Music: Audio Preview Cues for Exploration of Online Music. In: Interact 2003 - Bringing the Bits Together, Sept 1-5, Zurich, Switzerland.

schraefel, m. c., Karam, M. and Zhao, S. (2003) mSpace: interaction design for user-determined, adaptable
domain exploration in hypermedia.
In: AH 2003: Workshop on Adaptive Hypermedia and Adaptive Web Based Systems, August 26, Nottingham, UK. pp. 217-235.

Shadle, C. H. and Ramsay, G. (2003) Modelling the acoustics of fricative consonants using distributed noise sources with spatial and temporal correlation. In: 6th International Seminar on Speech Production, 7-10 December 2003, Manly, Sydney, Australia. CD-6.

Shadle, C. H. and Ramsay, G. (2003) Multitaper analysis of fundamental frequency variations during voiced fricatives. In: 6th International Seminar on Speech Production, 7-10 December 2003, Manly, Sydney, Australia. CD-6.

Sheridan, A. K., Gawith, C. B. E., Emmerson, G. D., Smith, P. G. R. and Wilkinson, J. S. (2003) UV-written channel waveguides in ion-exchanged Pyrex. In: ECIO 2003: European Conference on Integrated Optics, 2-4 April 2003, Prague, Czech Republic.

Sheridan, A. K., Ngamukot, P., Evans, S. A. G., Wilkinson, J. S. and Bartlett, P. N. (2003) Simultaneous surface plasmon resonance and electrochemical investigations of alkane thiol monolayers on a gold electrode. In: Electrochem 2003, 14-17 Sep 2003, Southampton.

Ship, K. S., Goddard, K. F. and Sykulski, J. K. (2003) Two dimensional finite-element simulation of a high temperature superconducting synchronous generator during three-phase short-circuit fault condition using full transient non-linear rotating machine model. In: ISEF 2003 XI International Symposium on Electromagnetic Fields in Electrical Engineering, 18-20, Maribor, Slovenia. pp. 285-288.

Ship, K. S., Sykulski, J. K. and Goddard, K. F. (2003) Design and Performance Evaluations of a Synchronous Generator with High Temperature Superconducting Field Winding wnd Magnetic Core Using Finite Element Modelling. In: EMF 2003 Sixth International Symposium on Electric and Magnetic Fields, 6-9 October 2003, Aachen, Germany. pp. 183-186.

Ship, K. S., Sykulski, J. K. and Goddard, K. F. (2003) Load characteristics analysis of a 100kVA synchronous generator with high temperature superconducting field winding using finite element modelling. In: International Conference on Scientific & Engineering Computation (IC-SEC) 2002, 3-5 December 2002, Raffles City Convention Centre, Singapore. pp. 295-298.

Snook, C. and Sandstrom, K. (2003) Using UML-B and U2B for formal refinement of digital components. In: Forum on specification & design languages, September 23 - 26, 2003, Frankfurt.

Stevenson, A., Addis, M. J., Boniface, M. J., Goodall, S., Grimwood, P., Kim, S., Lewis, P. and Martinez, K. (2003) Semantic Web technologies for multimedia museum information handling. In: CIDOC/ADIT 2003, 1-5 September 2003, State Russian Museum, St Petersburg, Russia.

Sule, V. R. and Rogers, E. (2003) A behavioural approach to control related analysis of discrete linear repetitive processes. In: European Control Conference (ECC'03) CD Rom.

Sulikowski, B., Galkowski, K., Rogers, E. and Owens, D. H. (2003) Control of discrete linear repetitive processes with application to a material rolling process. In: European Control Conference (ECC'03) CD Rom.

Sulikowski, B., Galkowski, K., Rogers, E. and Owens, D. H. (2003) Feedforward/feedback control of discrete linear repetitive
processes with application to a metal rolling example.
In: IEEE Conference on Control Applications (CCA'03), CD Rom.

Swaffield, D. J., Lewin, P. L., Chen, G. and Swingler, S. G. (2003) The influence of bubble dynamics in liquid nitrogen with applied electric fields on superconducting apparatus. In: 13th International Symposium on High Voltage Engineering, 25-29th August 2003, Delft, Netherlands. CD-ROM.

Sykulski, J. K. (2003) Applications of High Temperature Superconductivity in Electrical Power Devices: the Southampton perspective. In: Superconductivity UK, 23 October 2003, IEE Savoy Place, London.

Sykulski, J. K. (2003) Computational Electromagnetics: a tool, an art or black magic? In: ISEF 2003 XI International Symposium on Electromagnetic Fields in Electrical Engineering, 18-20 September 2003, Maribor, Slovenia. pp. 1-8.

Sykulski, J. K. (2003) From the Editor. In: International Compumag Society Newsletter. p. 1.

Szomszor, M. and Moreau, L. (2003) Recording and Reasoning over Data Provenance in Web and Grid Services. In: International Conference on Ontologies, Databases and Applications of SEmantics (ODBASE'03), November, Catania, Sicily, Italy. pp. 603-620.

Tai, C. Y., Unal, B., Wilkinson, J. S., Ghanem, M. A. and Bartlett, P. N. (2003) Self-assembled microsphere gratings on rib waveguides. In: ECIO 2003: European Conference on Integrated Optics, 2-4 Apr 2003, Prague, Czech Republic.

Tai, C. Y., Wilkinson, J. S., Perney, N. M. B., Netti, M. C. and Baumberg, J. J. (2003) Self-phase modulation induced spectral broadening of ultrashort laser pulses in tantalum pentoxide (Ta2O5) rib waveguide. In: CLEO/Pacific Rim 2003: The 5th Pacific Rim Conference on Lasers and Electro-Optics, 15-19 Dec 2003, Taipei, Taiwan.

Tan, A. C. H., Meauers, T., Veres, S. M., Aglietti, G. S. and Rogers, E. (2003) Satellite vibration control using frequency selective feedback. In: 43rd IEEE Conference on Decision and Control. pp. 1693-1698.

Tanaka, T., Chen, G., Vaughan, A. S. and Takada, T. (2003) Space charge formation in quenched low density polyethylene. In: 7th International Conference on Properties and Applications of Dielectric Materials, 1-5 June, 2003, Nagoya, Japan. pp. 970-973.

Tao, F., Chen, L., Shadbolt, N. R., Pound, G. and Cox, S. J. (2003) Towards the Semantic Grid: Putting Knowledge to Work in Design Optimisation. In: The 3rd International Conference on Knowledge Management (I-KNOW '03), July, 2003, Graz, Austria.

Tao, F., Chen, L., Cox, S., Shadbolt, N., Puleston, C. and Goble, C. (2003) Semantic Support for Grid-Enabled Design Search in Engineering. In: the First GGF Semantic Grid Workshop, the Ninth Global Grid Forum (GGF9), Sunday 5 October, 2003, Chicago IL, USA.

Tao, F., Cox, S., Chen, L., Shadbolt, N., Xu, F., Puleston, C., Goble, C. and Song, W. (2003) Towards the Semantic Grid: Enriching Content for Management and Reuse. In: Delivering e-Science, UK e-Science All-hand Conference 2003, 2-4 September, 2003, Nottingham, UK.

Tao, F., Murtagh, F. and Farid, M. (2003) Weighted Association Rule Mining using Weighted Support and Significance Framework. In: The Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (ACM SIGKDD 2003), August 24 - 27, Washington DC, USA. pp. 661-666.

Thomas, K. (2003) Teaching Databases at Southampton University. In: Teaching, Learning and Assessment of Databases, 14/7/2003, Coventry Technocentre. pp. 123-126.

Tian, Y., Lewin, P. L., Sutton, S. J. and Swingler, S. G. (2003) PD Detection in Solid Dielectrics using Acoustic Emission Measurement and Conventional Electrical Detection. In: 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, 27-30 October, Chongqing, China. pp. 183-186.

Tian, Y., Lewin, P. L., Webb, M., Sutton, S. J. and Swingler, S. G. (2003) Continuous monitoring of Partial Discharges in power cables using capacitive couplers and trend analysis. In: 13th International Symposium on High Voltage Engineering, 25-29th August 2003, Delft, Netherlands. CD-ROM.

Tibenderana, C., Dodgson, T. E., Weiss, S. and Babb, D. (2003) Towards Software Defined Radio (SDR) Bluetooth and IEEE802.11b Modem Integration. In: 9th Wireless World Research Forum (WWRF) Meeting, 1-2 July 2003, Zurich, CH.

Tibenderana, C. and Weiss, S. (2003) A Low-Complexity High-Performance Bluetooth Receiver. In: IEE Colloquium on DSP enabled Radio, 22-23 September 2003, Livingston, Scotland. pp. 426-435.

Tiropanis, T. (2003) Business roles and negotiation models for Web service based provision. In: Web2003 - The Second Workshop on E-Business.

Torah, R. N., Beeby, S. P. and White, N. M. (2003) A study of powder size combinations for improving piezoelectric properties of PZT thick-film devices. In: The 17th European Conference on Solid State Transducers (Eurosensors XVII), 21-24th September 2003, Guimaraes, Portugal. pp. 610-613.

Torre, S. L., Napoli, M., Parente, M. and Parlato, G. (2003) Hierarchical and Recursive State Machines with Context-Dependent Properties. In: ICALP, June 30 - July 4, 2003, June 30 - July 4, 2003. pp. 776-789.

Troya, A., Krstic, M. and Maharatna, K. (2003) Simplified residual phase correction mechanism for the IEEE 802.11a standard. In: IEEE Vehicular Technology Conference (Fall) 2003.

Tsandilas, T. and schraefel, m. c. (2003) Adaptive Presentation Supporting Focus and Context. In: AH 2003: Workshop on Adaptive Hypermedia and Adaptive Web Based Systems, August 26, Nottingham, UK. pp. 193-200.

Tsandilas, T. and schraefel, m. c. (2003) User-Controlled Link Adaptation. In: Fourteenth ACM conference on Hypertext and hypermedia, August 2003, Nottingham, UK. pp. 152-160.

Tsuchiya, Y., Endoh, M. and Oda, S. (2003) Pulsed-source MOCVD HfO2 ultrathin film growth optimized by in situ ellipsometry monitoring. In: 2003 International Conference on Solid State Devices and Materials (SSDM2003), 16-18 September, Tokyo, Japan.

Unal, B., Netti, M. C., Perney, N. M. B., Hassan, M., Shepherd, D. P., Baumberg, J. J. and Wilkinson, J. S. (2003) Optical Spectroscopy of neodymium-doped tantalum pentoxide slab waveguides. In: CLEO/Pacific Rim 2003, 15-19th December 2003, Pacific Rim. p. 271.

Uno, S., Durrani, Z. A. K., Khalafalla, M., Nakazato, K. and Mizuta, H. (2003) New insights into electron emission from silicon nanocrystallites. In: 2003 Silicon Nanoelectronics Workshop, June 2003, Kyoto. pp 116-117.

Upstill, C. and Surridge, M. (2003) Grid Security: Lessons for Peer-to-Peer Systems. In: 3rd IEEE Conference on P2P Computing, 1-3 September 2003, Linkoping, Sweden.

Varea, M., Leuschel, M. and Al-Hashimi, B. (2003) Improving Compositional Verification of State-based Models by Reducing Modular Unbalance. In: 2nd International Workshop on Refinement of Critical Systems, 3rd June, 2003, Turku, Finland.

Vaughan, A. S., Dodd, S. J. and Sutton, S. J. (2003) Electrical treeing in polyethylene: analysis by confocal Raman microprobe spectroscopy. In: 2003 Annual Report Conference on Electrical Insulation and Dielectric Phenomena, 19-22 October 2003, Albuquerque, NM, USA. pp. 534-537.

Veres, G. V., Tutty, O. R., Rogers, E. and Nelson, P. A. (2003) Constrained parallel global optimisation for boundary layer
transition control.
In: 43rd IEEE Conference on Decision and Control. pp. 2792-2797.

Veres, G. V., Tutty, O. R., Rogers, E. and Nelson, P. A. (2003) On design optimisation based control methods for distributed suction for boundary layer transition control. In: American Control Conference. pp. 2187-2192.

Veres, G. V., Tutty, O. R., Rogers, E. and Nelson, P. A. (2003) Parallel global optimisation based control of boundary layer transition. In: European Control Conference (ECC'03) CD Rom.

Vinokourov, A., Hardoon, D. R. and Shawe-Taylor, J. (2003) Learning the semantics of multimedia content with application to web image retrieval and classification. In: Fourth International Symposium on Independent Component Analysis and Blind Source Separation, 2003, Nara, Japan.

Vivek, S. and De Roure, D. (2003) Implementing Link Services via Semantic Web Services Composition. In: 1st International Workshop on Hypermedia and the Semantic Web, Aug 2003, Nottingham, UK. (In Press)

Vivek, S., Tso, K. and De Roure, D. (2003) Mobile Link Services with MQSeries Everyplace. In: IEEE Annual Conference on Pervasive Computing and Communications (PerCom),2003, Fort Worth, Texas.

Wagg, D. K. and Nixon, M. S. (2003) Model-Based Gait Enrolment in Real-World Imagery. In: Workshop on Multimodal User Authentication, December 11-12 2003, Santa Barbara, CA, USA. pp. 189-195.

Waite, A. M., Lloyd, N. S., Ashburn, P., Evans, A. G. R., Ernst, T., Achard, S., Deleonibus, S., Wang, Y. and Hemment, P. L. F. (2003) Raised source/drain for 50nm MOSFETs: effect of epitaxy layer thickness on short channel effects. In: 33rd European Solid State Device Research Conference, 16-18 September 2003, Estoril, Portugal. pp. 223-226.

Wakemen, I., Ellis, D., Owen, T., Rathke, J. and Watson, D. (2003) Risky business: motivations for markets in programmable networks. In: International Workshop on Active Networks, IWAN, Kyoto.

Walia, V., Byde, A. and Cliff, D. (2003) Evolving Market Design in Zero-Intelligence Trader Markets. In: IEEE International Conference on E-Commerce (IEEE-CEC03), June 24-27, Newport Beach, CA, USA.. pp. 157-164.

Walker, P. M., Furuta, Y. and Mizuta, H. (2003) Grain boundary effects on subthreshold behaviour in single grain boundary nano-TFTs. In: 2003 International Conference on Simulation of Semiconductor Processes and Devices, September 2003, Boston.

Walker, P. M., Mizuta, H., Uno, S. and Furuta, Y. (2003) Improved device characteristics for deca-nanometre scale TFTs with a single GB in the channel. In: 12th MEL-ARI/NID Workshop, June 2003, Cork.

Walters, R. J. (2003) Automating Checking of Models Built Using a Graphically Based Formal Modelling Language. In: The Twenty-Seventh Annual International Computer Software and Applications Conference, 3-6 November 2003, Dallas, Texas. pp. 98-104.

Wang, P., Lewin, P. L., Tian, Y., Sutton, S. J. and Swingler, S. G. (2003) Modelling of Capacitive Couplers through Frequency Response Analysis for PD On-line Detection in HV Cables. In: 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, 27-30 October 2003, Chongqing, China. pp. 84-87.

Wang, Y., Waite, A., Cerrina, C., Hemment, P. L. F., Ashburn, P. and Evans, A. G. R. (2003) TEM study of solid phase epitaxial growth behaviour of normal and angled Si implanted gate stack structure. In: Microscopy of Semiconducting Materials Conference, 31 March - 3 April, Cambridge.

Watson, J., Geard, N. and Wiles, J. (2003) Towards more biological mutation operators in gene regulation studies. In: Information Processing in Cells and Tissues (IPCAT2003), Lausanne, Switzerland.

Weal, M. J., Michaelides, D. T., Thompson, M. K. and De Roure, D. C. (2003) The Ambient Wood Journals - Replaying the Experience. In: HT'03 The fourteenth conference on Hypertext and Hypermedia, August 26--30, Nottingham, United Kingdom. pp. 20-27.

Wei, Y. Z., Moreau, L. A. V. and Jennings, N. R. (2003) Market-based recommenders: Design, Simulation and Evaluation. In: 5th International Workshop on Agent-Oriented Information Systems, Melbourne, Australia. pp. 22-29.

Wei, Y. Z., Moreau, L. and Jennings, N. R. (2003) Recommender Systems: A Market Based Design. In: The Second International Joint Conference on Automonous Agents and Multi-Agent Systems (AAMAS'03), July 2003, Melbourne, Australia. pp. 600-607.

Weiss, S., Hadef, M., Konrad, M. and Rupp, M. (2003) Blind Chip-Rate Equalisation for DS-CDMA Downlink Receiver. In: 37th Asilomar Conference on Signals, Systems and Computers, November 9-12, Pacific Grove, CA. pp. 1283-1287. (In Press)

Weiss, S. and Hadef, M. (2003) Blind Chip-Rate Multiuser Equalisation. In: IEE Colloquium on DSP enable Radio, 22-23 September 2003, Livingston, Scotland. pp. 436-443.

Weiss, S., Sligersky, A., Abendroth, S., Reeve, J. S., Moreau, L. A. V., Dodgson, T. E. and Babb, D. (2003) A Software Defined Radio Testbed Implementation. In: IEE Colloquium on DSP Enable Radio, 22-23 September 2003, Livingston, Scotland. pp. 268-274.

Weiss, S., Shligersky, A., Abendroth, S., Reeve, J., Moreau, L., Dodgson, T. E. and Babb, D. (2003) A Software Defined Radio Testbed Implementation. In: IEE Colloquium on DSP Enabled Radios, September, Livingston, Scotland, UK. pp. 268-274.

Wilcock, R. and Al-Hashimi, B. M. (2003) A CAD Methodology for Switched Current IP Cores. In: 9th IEEE International Conference on Emerging Technologies and Factory Automation, 16-19 September 2003, Lisbon, Portugal. pp. 434-437.

Williams, G. M., Lewin, P. L., Ho, Y. F. F., Tian, Y., Sutton, S. J. and Swingler, S. G. (2003) Directional Coupler Design for Partial Discharge Detection in XLPE Cable. In: 2nd International Conference on Insulation Condition Monitoring of Electrical Plant, 27-30 October 2003, Chongqing, China. pp. 88-91.

Wills, G., Woukeu, A., Carr, L. and Hall, W. (2003) The Need for Deeper Design in a Semantic Web. In: HTSW2003 - First International ACM Workshop on Hypermedia and the Semantic Web, at HT03, 26 - 30 August 2003, Nottingham, UK.

Wilson, P., Mantooth, A. and Brown, A. (2003) Standard VHDL 1076.1.1 Packages for Multiple Energy Domain Support. In: IEEE Behavioural Modeling and Simulation, October 2003, San Jose, USA.

Wong, K. I., Lewin, P. L. and Dodd, S. J. (2003) Electroluminescence phenomena of low density polyethelene film under ac applied voltage. In: 2003 IEEE Conference on Electrical Insulation and Dielectric Phenomena, 19-22 October, Albuquerque, New Mexico, USA. pp. 245-248.

Wood, J. and Rogers, E. (2003) Towards the definition of a gap metric in the behavioural setting. In: International Workshop on Operator Theory and Applications (IWOTA 2003).

Woukeu, A., Wills, G., Conole, G., Carr, L., Kampa, S. and Hall, W. (2003) Ontological Hypermedia in Education: A framework for building web-based educational portals. In: ED-MEDIA 2003-World Conference on Educational Multimedia, Hypermedia & Telecommunications, June 23-28, Honolulu, Hawaii, USA. pp. 349-357.

Wright, P. J., Virk, G. S., Gharooni, S. C., Tylor, R. I., Bradshaw, S., Tokhi, M. O., Jamil, F., Swain, I. D., Chappell, P. H. and Allen, R. (2003) An Engineering Specification for a Bio-Robotic Walking Orthosis. In: Proc 6th Int Conf on Climbing and Walking Robots CLAWAR, 17-19 Sept, Catania, Italy. pp. 69-76.

Wright, P. J., Virk, G. S., Gharooni, S. C., Tylor, R. I., Bradshaw, S., Tokhi, M. O., Jamil, F., Swain, I. D., Chappell, P. H. and Allen, R. (2003) An engineering specification for a bio-robotic walking orthosis. In: Proceedings 6th International Conference on Climbing and Walking Robots CLAWAR, 17-19 September, Catania Italy. pp. 69-76.

Wu, D., Al-Hashimi, B. M. and Eles, P. (2003) Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems. In: Design, Automation and Test in Europe, 3-7 March 2003, Munich, Germany. pp. 90-95.

Wu, J., Chen, S. and Chu, J. (2003) Comparative Study on Finite-Precision Controller Realizations in Different Representation Schemes. In: 9th Annual Conference of Chinese Automation and Computing Society in UK, 20th September 2003, University of Luton, Luton, UK. pp. 257-261.

Xie, C. and French, M. (2003) Gap metric robustness of a backstepping control design. In: Proceedings of 42nd IEEE Conference on Decision and Control, 2003, Dec. 9-12, 2003. 5180 -5184.

Xie, C. and French, M. (2003) A Performance Comparison Between Backstepping and High-gain
Observer Control Designs.
In: European Control Conference 2003, 1-4 Sept.,2003, Cambridge.

Yadav, D., Agrawal, R. and Saraswat, R. (2003) Analysis of cooperation semantics for transaction processing with full and partial aborts in active database. In: Information, Communications and Signal Processing(ICICS 2003), Singapore, 15-18 December, 2003, Singapore. pp. 1670-1674.

Yadav, D., Sarswat, R., Chandra, G. and Agrawal, R. (2003) An approach to reduce resource contention while scheduling time constrained long duration activity in active DBMS. In: 5th International Workshop on Computer Science and Information technologies(CSIT-2003), 16-18 September 2003, Ufa, Russia. pp. 162-166.

Yan, T., Jones, B., Rakowski, R., Tudor, M., Beeby, S. and White, N. (2003) Applications of metallic digital strain gauges for load and torque measurement. In: Institute of Materials Conference on line measurement for quality in the metals industries, Oct, London.

Yan, T., Jones, B., Rakowski, R., Tudor, M., Beeby, S. and White, N. (2003) Metallic Triple Beam Resonator with Thick-film Printed Drive and Pickup. In: Eurosensors, 2003, Portugal.

Yan, T., Jones, B. E., Rakowski, R. T., Tudor, M. J., Beeby, S. P. and White, N. M. (2003) Metallic Triple Beam Resonator with Thick-film Printed Drive and Pickup. In: The 17th European Conference on Solid State Transducers (Eurosensors XVII), 21-24th September, Guimaraes, Portugal. pp. 10-13.

Yan, T., Jones, B. E., Rakowski, R. T., Tudor, M. J., Beeby, S. P. and White, N. M. (2003) Metallic Triple-beam Resonant Force Sensor with Thick-film Printed Piezoelectric Vibration Excitation and Detection Mechanisms. In: Sensors and their Applications, 2nd-4th September 2003, Limerick, Ireland. pp. 77-82.

Yang, L. L. and Hanzo, L. (2003) Acquisition of $m$-Sequences Using Recursive Soft Sequential Estimation. In: of WCNC'2003, 17-19 March 2003, New Orleans. Louisiana, USA. pp. 683-687.

Yang, L. L. and Hanzo, L. (2003) Fractionally Spread Multicarrier CDMA: A Multiple-Access Scheme for Various Wireless Channels. In: of PIMRC'2003, 7-10 September 2003, Beijing, China. pp. 270-274.

Yang, L. L. and Hanzo, L. (2003) Generalized Multicarrier DS-CDMA Using Various Chip Waveforms. In: of WCNC'2003, 17-19 March 2003, New Orleans, Louisiana, USA. pp. 790-794.

Yang, L. L. and Hanzo, L. (2003) Iterative Soft Sequential Estimation Aided Differntial Acquisition of $m$-Sequences. In: of VTC'2003 (Spring), 22-25 April 2003, Jeju Island, Korea. pp. 1629-1633.

Yang, L. L., Hua, W. and Hanzo, L. (2003) A Multicarrier DS-CDMA System Using Both Time-Domain and Frequency-Domain Spreading. In: of VTC'2003 (Fall), 6-9 October 2003, Orlando, Florida, USA.

Yang, L. L., Hua, W. and Hanzo, L. (2003) Multiuser Detection in Multicarrier CDMA Systems Employing Both Time-Domain and Frequency-Domain Spreading. In: of PIMRC'2003, 7-10 September 2003, Beijing, China. pp. 1840-1844.

Yee, M. S., Ng, S. X. and Hanzo, L. (2003) Radial Basis Function Assisted Reduced Complexity Inphase/Quadrature-Phase Turbo Equalisation of Coded Modulation Schmes. In: of VTC'2003 (Spring), 22-25 April 2003, Jeju Island. Korea. pp. 2367-2371.

Yin, H. B., Brown, T., Mailis, S., Wilkinson, J. S. and Melvin, T. (2003) Micro/submicro-patterning of DNA on Si(100) surface. In: Roy. Soc. of Chem. Frontiers in chemical biology: Biomolecular dynamics and force generation, 4-6 Sep 2003, Manchester.

Yoo, J. H. and Nixon, M. S. (2003) Markerless Human Gait Analysis via Image Sequences. In: International Society of Biomechanics XIXth Congress, July 2003, Dunedin, New Zealand. CD-ROM.

Yoo, J. H. and Nixon, M. S. (2003) On Laboratory Gait Analysis via Computer Vision. In: AISB ’03 Symposium on Biologically-Inspired Machine Vision, Theory and Application, April 7-11, 2003, University of Wales, Aberystwyth, UK. pp. 109-113.

Zhou, J., Dialani, V., De Roure, D. and Hall, W. (2003) A Distance-based Semantic Search Algorithm for Peer-to-Peer Open Hypermedia Systems. In: The Fourth International Conference on Parallel and Distributed Computing, Applications and Technologies, August 27-29, 2003, Chengdu, China. pp. 7-11.

Zhou, J., Dialani, V., De Roure, D. and Hall, W. (2003) A Semantic Search Algorithm for Peer-to-Peer Open Hypermedia Systems. In: The First Workshop on Semantics in Peer-to-Peer and Grid Computing, 20 May, 2003, Budapest, Hungary. pp. 43-54.

Book

De Bra, P., Davis, H. C., Kay, J. and schraefel, m., eds. (2003) AH2003: Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems. Eindhoven University.

Kittler, J. and Nixon, M. S., eds. (2003) Audio- and Video-Based Biometric Person Authentication. Lecture Notes in Computer Science (2688) Springer-Verlag.

Sassone, V., ed. (2003) Bulletin of the European Association for Theoretical Computer Science. EATCS. ISBN ISSN 0252-9742

Berman, F., Fox, G. C. and Hey, A. J. G., eds. (2003) Grid Computing - Making the Global Infrastructure a Reality. Wiley and Sons. ISBN 0470853190

Rogers, E., ed. (2003) International Journal of Control. Taylor and Francis.

, ed. (2003) Multidimensional Systems and Signal Processing. Kluwer.

Isaias, P., Sedes, F., Augusto, J. C. and Ultes-Nitsche, U., eds. (2003) Proceedings of 1st Workshop on Verification and Validation of Enterprise Information Systems. UNSPECIFIED. ISBN ISBN: 972-98816-2-6

Leuschel, M., ed. (2003) Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'03). ACM Press. ISBN 1-58113-667-6

Sassone, V., ed. (2003) Proceedings of the 2nd EATCS International Workshop on Foundations of Global Computing, FGC, ENTCS vol. 85(1). Elsevier.

Ashburn, P. (2003) SiGe Heterojunction Bipolar Transistors. John Wiley & Sons. ISBN 0-470-84838-3

French, M., Szepesvari, C. and Rogers, E. (2003) Performance of Nonlinear Approximate Adaptive Controllers. Wiley, 396pp. ISBN 0-471-49809-2

Gonzalez, A., Ramos, A., Castellanos, A., Morgan, H. and Green, N. (2003) Electrothermal liquid motion in microsystems subjected to alternating and rotating electric fields. Proceedings of IMECE2003.

Green, N., Holmes, D. and Morgan, H. (2003) Dielectrophoretic Focussing and Separation of Nanoparticles: Experimental Measurement and Numerical Simulation. Kluwer Academic Publishers .

Hanzo, L., Münster, M., Choi, B. J. and Keller, T. (2003) OFDM and MC-CDMA for Broadband Multi-user Communications, WLANs and Broadcasting. John Wiley & Sons. ISBN 0-470-85879-6

Hanzo, L., Yang, L. L., Kuan, E. L. and Yen, K. (2003) Single- and Multi-Carrier DS-CDMA: Multi-USer Detection, Space-Time Spreading, Synchronisation, Standards and Networking. John Wiley & Sons. ISBN 0-470-86309-9

Hennessy, M., Merro, M. and Rathke, J. (2003) Towards a behavioural theory of access and mobility control in distributed systems. Lecture Notes in Computer Science, 2620 Springer-Verlag.

Hey, T. and Walters, P. (2003) The New Quantum Universe. Cambridge University Press. ISBN 0521564182

Holmes, D. and Morgan, H. (2003) Impedance based single cell detection using resonance frequency interrogation. Kluwer Academic Publishers .

Jeffrey, A. and Rathke, J. (2003) Contextual equivalence for higher-order pi-calculus revisited. Lecture Notes in Computer Science, Proc. Elsevier.

Luck, M., McBurney, P. and Preist, C. (2003) Agent Technology: Enabling Next Generation Computing (A Roadmap for Agent Based Computing). AgentLink. ISBN 0854 327886

Nicolici, N. and Al-Hashimi, B. M. (2003) Power-Constrained Testing of VLSI Circuits. Frontiers in Electronic Testing Kluwer Academic Publishers. ISBN 1-4020-7235-X

Terenziani, P., Montani, S., Bottrighi, A., Torchio, M., Molino, G., Anselma, L. and Correndo, G. (2003) Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach. Lecture Notes in Computer Science, 2829 pp. 536-547, Springer. ISBN 978-3-540-20119-9

Book Section

Ambroladze, A. and Shawe-Taylor, J. (2003) When is small beautiful? In: Proceedings of 16th Annual Conference on Learning Theory (COLT). Lecture Notes in Artificial Intelligence Vol. 2777, pp. 729-730, Springer Verlag. ISBN 3-540-40720-0

Antonacopoulos, A. and Karatzas, D. (2003) A Fuzzy Approach to Text Segmentation in Web Images Based on Human Colour Perception. In: Web Document Analysis: Challenges and Opportunities, pp. 203-221, World Scientific Publishing Company.

Ashri, R., Rahwan, I. and Luck, M. (2003) Architectures for Negotiating Agents. In: Multi-Agent Systems and Applications III, pp. 136-146, Springer.

Baramov, L., Tutty, O. R. and Rogers, E. (2003) Robust control of a nonlinear fluidics problem. In: Nonlinear and Adaptive Control, pp. 21-31, Springer Verlag.

Bassett, D. C., Olley, R. H. and Vaughan, A. S. (2003) Specimen Preparation for TEM of Polymers. In: Techniques in Polymer Organisation and Morphology Characterisation, pp. 73-110, Wiley. ISBN 0471490709

Bassett, D. C. and Vaughan, A. S. (2003) Electron microscopy of polymer blends. In: Polymer Characterisation Techniques and their Applications to Polymer Blends, pp. 436-460, American Chemical Society.

Berman, F., Fox, G. C. and Hey, A. J. G. (2003) The Grid: past, present, future. In: Grid Computing - Making the Global Infrastructure a Reality, pp. 9-50, Wiley and Sons. ISBN 0470853190

Centler, F., Dittrich, P., Ku, L., Matsumaru, N., Pfaffmann, J. and Zauner, K. P. (2003) Artificial Life as an Aid to Astrobiology: Testing Life Seeking Techniques. In: Advances in Artificial Life---Proceedings of the 7th European Conference on Artificial Life (ECAL), pp. 31-40, Springer, Berlin.

Chen, S. (2003) Least Bit Error Rate Adaptive Multiuser Detection. In: Soft Computing in Communications, pp. 389-408, Springer Verlag. ISBN 3-540-40575-5

Cliff, D. (2003) Neuroethology, Computational. In: The Handbook of Brain Theory and Neural Networks, 2nd Edition, pp. 737-741, MIT Press.

Conrad, M. and Zauner, K. P. (2003) Conformation-based computing: a rational and a recipe. In: Molecular Computing, pp. 1-31, MIT Press, Cambridge, MA.

de Roure, D., Baker, M., Jennings, N. R. and Shadbolt, N. (2003) The evolution of the Grid. In: Grid Computing - Making the Global Infrastructure a Reality, pp. 65-100, John Wiley and Sons Ltd. ISBN 0470853190

de Roure, D., Jennings, N. R. and Shadbolt, N. (2003) The Semantic Grid: A future e-Science infrastructure. In: Grid Computing - Making the Global Infrastructure a Reality, pp. 437-470, John Wiley and Sons Ltd. ISBN 0470853190

Frey, J. G., Bradley, M., Essex, J. W., Hursthouse, M. B., Lewis, S. M., Luck, M. M., Moreau, L., De Roure, D. C., Surridge, M. and Welsh, A. (2003) Combinatorial Chemistry and the Grid. In: Grid Computing --- Making the Global Infrastructure a Reality, pp. 945-962, John Wiley and Sons. ISBN 0-470-85319-0

Frey, J. G., Bradley, M., Essex, J. W., Hursthouse, M. B., Lewis, S. M., Luck, M. M., Moreau, L., De Roure, D. C., Surridge, M. and Welsh, A. (2003) Combinatorial chemistry and the Grid. In: Grid Computing --- Making the Global Infrastructure a Reality, pp. 945-962, John Wiley and Sons. ISBN 0-470-85319-0

GAUNT, L. F. and HUGHES, J. F. (2003) Electrostatic charging of trigger actuated spray devices. In: Electrostatics 2003, pp. 59-64, Institute of Physics Publishing. ISBN 0 7503 0949 0

Geard, N. L. and Wiles, J. (2003) A gene regulatory network for cell differentiation in Caenorhabditis elegans. In: Proceedings of the First Australian Conference on Artificial Life, pp. 86-100, University of New South Wales.

Geard, N. L. and Wiles, J. (2003) Structure and dynamics of a gene network model incorporating small RNAs. In: Proceedings of the 2003 Congress on Evolutionary Computation, CEC 2003, Volume 1, pp. 199-206, IEEE Press. ISBN 0-7803-7804-0

Griffiths, N., Luck, M. and d'Inverno, M. (2003) Annotating Cooperative Plans with Trusted Agents. In: Trust, Reputation, and Security: Theories and Practice, pp. 87-107, Springer.

Harnad, S. (2003) Categorical Perception. In: Encyclopedia of Cognitive Science, Nature Publishing Group: Macmillan. (In Press)

Harnad, S. (2003) Cielographie et cielolexie: Anomalie pos-gutenbergienne et comment la resoudre. In: Le texte a l'heure de l'Internet, pp. 77-103, Bibliotheque Centre Pompidou.

Harnad, S. (2003) Eprints: Electronic Preprints and Postprints. In: Encyclopedia of Library and Information Science, Marcel Dekker. (In Press)

Harnad, S. (2003) For Whom the Gate Tolls? In: Digital Libraries: Policy Planning and Practice, Ashgate.

Harnad, S. (2003) Online Archives for Peer-Reviewed Journal Publications. In: International Encyclopedia of Library and Information Science, UNSPECIFIED. (In Press)

Harnad, S. (2003) Symbol Grounding Problem. In: Encyclopedia of Cognitive Science, Nature Publishing Group: Macmillan. (In Press)

Hey, A. J. G. and Trefethen, A. E. (2003) The Data Deluge: An e-Science Perspective. In: Grid Computing - Making the Global Infrastructure a Reality, pp. 809-824, Wiley and Sons. ISBN 0470853190

Jesus, L. M. T. and Shadle, C. H. (2003) Devoicing measures of European Portuguese fricatives. In: Computational Processing of the Portuguese Language, pp. 1-8, Springer. ISBN 3-540-40436-8

Kandola, J., Graepel, T. and Shawe-Taylor, J. (2003) Reducing kernel matrix diagonal dominance using semi-definite programming. In: Proceedings of 16th Annual Conference on Learning Theory (COLT). Lecture Notes in Artificial Intelligence Vol. 2777, pp. 288-302, Springer Verlag. ISBN 3-540-40720-0

Kandola, J., Hofmann, T., Poggio, T. and Taylor, J. S. (2003) Introduction to the Special Issue on Machine Learning Methods for Text and Images. In: Journal of Machine Learning Research, pp. 1023-1024, MIT Press.

Kandola, J. and Shawe-Taylor, J. (2003) Refining Kernels for Regression and Uneven Classification Problems. In: Proceedings of AISTATS'03, Springer-Verlag, Berlin Heidelberg. ISBN 3-540-01274-5

Luck, M., Munroe, S. and d'Inverno, M. (2003) Autonomy: Variable and Generative. In: Agent Autonomy, pp. 9-22, Kluwer.

Lynce, I. and Marques-Silva, J. P. (2003) The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. In: Recent Advances in Constraints, Lecture Notes in Artificial Intelligence, 2627 pp. 144-158, Springer Verlag.

Marchand, M., Shah, M., Shawe-Taylor, J. and Sokolova, M. (2003) The set covering machine with data-dependent half-spaces. In: Proceedings of Twentieth International Conference on Machine Learning (ICML-2003), pp. 520-527, AAAI Press. ISBN 0-1-57735-189-4

Marion, M. and Sadrzadeh, M. (2003) Reasoning about Knowledge in Linear Logic: Modalities and Complexity. In: Logic, Epistemology, and the Unity of Science, pp. 327-350, Kluwer Academic Publishers.

Marques-Silva, J. P. and Sakallah, K. (2003) GRASP - A New Search Algorithm for Satisfiability. In: The Best of ICCAD -- 20 Years of Excellence in Computer Aided Design, Collection of Best Papers, pp. 73-89, Kluwer Academic Publishers.

Middleton, S. E., Shadbolt, N. R. and De Roure, D. C. (2003) Ontology-based Recommender Systems. In: Handbook on Ontologies in Information Systems, Springer.

Moreau, L., Mohamad Zaini, N., Cruickshank, D. and De Roure, D. (2003) Intelligent Agent Software Engineering. In: Idea Group Publishing, pp. 49-67, Idea Group Publishing. ISBN 1-59140-046-5

Moreau, L., Zaini, N., Cruickshank, D. and De Roure, D. (2003) SoFAR: An Agent Framework for Distributed Information Management. In: Intelligent Agent Software Engineering, pp. 49-67, Idea Group Publishing. ISBN 1-59140-046-5

Moreua, L., Mohamad Zaini, N., Cruickshank, D. and De Roure, D. (2003) Intelligent Agent Software Engineering. In: Intelligent Agent Software Engineering, pp. 49-67, Idea Group Publishing. ISBN 1-59140-046-5

Ross, J. N. (2003) System electronics. In: Practical Handbook of Photovoltaics, Fundementals and Applications, pp. 565-585, Elsevier. ISBN 1856173909

Shadbolt, N. and O'Hara, K. (2003) AKTuality: An Overview of the Aims, Ambitions and Assumptions of the Advanced Knowledge Technologies Interdisciplinary Research Collaboration. In: AKT Selected Papers, pp. 1-11, School of Electronics and Computer Science, University of Southampton. ISBN 0854327932

Shawe-Taylor, J. and Cristianini, N. (2003) Estimating the moments of a random vector with applications. In: Proceedings of GRETSI 2003 Conference, pp. 47-52, UNSPECIFIED. (In Press)

Sokolova, M., Marchand, M., Japkowicz, N. and Shawe-Taylor, J. (2003) The Decision List Machine. In: Proceedings of NIPS'02, MIT Press. ISBN 1-800-356-0343

Tsipas, S. A., Golosnoy, I. O. and Clyne, T. W. (2003) The Effect of a High Thermal Gradient on Sintering and Stiffening in the Top Coat of a Thermal Barrier Coating (TBC) System. In: Thermal Spray 2003. Advancing the Science and Applying the Technology, pp. 1547-1552, ASM International. ISBN 978-0-87170-785-7

Vinokourov, A., Shawe-Taylor, J. and Cristianini, N. (2003) Inferring a Semantic Representation of Text via Cross-Language Correlation Analysis. In: Advances of Neural Information Processing Systems 15, MIT Press. ISBN 0-262-02550-7

Vinokourov, A., Hardoon, D. R. and Shawe-Taylor, J. (2003) Learning the semantics of multimedia content with application to web image retrieval and classification. In: Proceedings of the Fourth International Symposium on Independent Component Analysis and Blind Signal Separation, pp. 697-702, UNSPECIFIED. ISBN 4-9901531-1-1

Yan, T., Jones, B., Rakowski, R., Tudor, M., Beeby, S. and White, N. (2003) Metallic triple-beam resonant force sensor with thick-film printed piezoelectric vibration excitation and detection mechanisms. In: Bristol: Institute of Physics Publishing.

Technical Report

Abdi, A. R. and Taylor, S. (2003) SmartCities: Best practice for smart city card information analysis report. Technical Report , ECS, IT Innovation.

Addis, M. J. (2003) DISTAL Take-Up: Transfer to other markets. Technical Report , ECS, IT Innovation Centre.

Couchard, A., Selezneff, A. J., Glowacz, C., Dattani, I. and Parker, T. (2003) OmniPurse Final Report. Technical Report , ECS, IT Innovation Centre.

Darbari, A. (2003) Formalization and Execution of STE in HOL (Extended Version). Technical Report RR-03-17, Computing Lab, Oxford University.

Farwer, B. and Leuschel, M. (2003) Model Checking of Object Petri Nets in Prolog. Technical Report DSSE-TR-2003-4, ECS, University of Southampton. (Unpublished)

Hardoon, D. R., Szedmak, S. and Shawe-Taylor, J. (2003) Canonical correlation analysis; An overview with application to learning methods. Technical Report CSD-TR-03-02, Computer Science Department, Royal Holloway, University of London. (Unpublished)

Harnad, S. (2003) On the Incommensurability of Feeling and Doing: The Illusion of Free Will. (Review of: Wegner, Daniel (2003) The Illusion of Conscious Will. MIT Press.). Technical Report , ECS, University of Southampton. (Unpublished)

Hennessy, M., Rathke, J. and Yoshida, N. (2003) SafeDpi: a language for controlling mobile code. Technical Report Computer Science Report 02-2003, Informatics, University of Sussex.

Hitchcock, S., Woukeu, A., Brody, T., Carr, L., Hall, W. and Harnad, S. (2003) Evaluating Citebase, an open access Web-based citation-ranked search and impact discovery service. Technical Report ECSTR-IAM03-005, Electronics and Computer Science, University of Southampton. (Unpublished)

Leuschel, M., Gruner, S. and Lo Presti, S. (2003) Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03). Technical Report DSSE-TR-2003-2, ECS, University of Southampton.

Mai, M., Addis, M., Klein, M. and Kusumo Adi, A. K. (2003) Public Final Report of EUTIST-AMI Cluster Take-up Project DISTAL Take-Up. Technical Report , ECS, IT Innovation Centre.

McKewan, C., Gair, R. and Upstill, C. (2003) SmartCities Public Final Report. Technical Report , ECS, IT Innovation.

Miles-Board, T. (2003) Experience Report: Serving Hypermedia and the Web Online with HA3L. Technical Report ECSTR-IAM03-003, Electronics and Computer Science, University of Southampton. (Unpublished)

Millard, D. E., Bailey, C. P., Brody, T. D., Dupplaw, D. P., Hall, W., Harris, S. W., Page, K. R., Power, G. and Weal, M. J. (2003) Hyperdoc: An Adaptive Narrative System for Dynamic Multimedia Presentations. Technical Report ECSTR-IAM02-006, Electronics and Computer Science, University of Southampton.

Millard, I. C., Hughes, G. V., Michaelides, D. T., Millard, D. E., schraefel, m. c., Thompson, M. K. and Weal, M. J. (2003) 'Forget About It': Signage at Preview Day 2003. Technical Report ECSTR-IAM03-007, Electroincs and Computer Science, University of Southampton.

Pick, R., Schmidt, P., Dattani, I., Arana, C. and Recio, I. (2003) IMAGINE Final Report. Technical Report , ECS, IT Innovation Centre.

schraefel, m. c., Karam, M. and Zhao, S. (2003) Audio Preview Cues: Support for Exploration of Music Information Spaces. Technical Report ECSTR-IAM03-004, Electronics and Computer Science, University of Southampton. (Unpublished)

Thompson, M. K., Weal, M. J., Michaelides, D. T., Cruickshank, D. G. and De Roure, D. C. (2003) MUD Slinging: Virtual Orchestration of Physical Interactions. Technical Report ECSTR-IAM03-001, ECS, University of Southampton. (Unpublished)

Woukeu, A., Carr, L., Wills, G. and Hall, W. (2003) Rethinking Web Design Models: Requirements for Addressing the Content. Technical Report ECSTR-IAM03 -002, Department of Electronics and Comnputer Science, University of Southampton. (In Press)

Thesis

Anthony, P. (2003) Bidding Agents for Multiple Heterogeneous Online Auctions. PhD thesis, University of Southampton.

Excelente-Toledo, C. B. (2003) The Dynamic Selection of Coordination Mechanisms in Multiagent Systems. PhD thesis, University of Southampton.

Gonciari, P. T. (2003) Low-Cost Test for Core-Based System-on-a-Chip. PhD thesis, University of Southampton.

Karatzas, D. (2003) Text Segmentation in Web Images Using Colour Perception and Topological Features. PhD thesis, University of Liverpool.

Middleton, S. E. (2003) Capturing knowledge of user preferences with recommender systems. PhD thesis, University of Southampton.

Mohamad, H. (2003) Subband Adaptive Equalisation for Communications Transceivers. PhD thesis, University of Southampton.

Plattner, L. (2003) A study in biomimetics: nanometer-scale, high-efficiency, dielectric diffractive structures on the wings of butterflies and in the silicon chip factory. PhD thesis, University of Southampton.

Varea, M. (2003) Modelling and Verification of Embedded Systems based on Petri Net oriented Representations. PhD thesis, University of Southampton.

White, S. (2003) An examination of the impact of organisational constraints
on change in UK Higher Education brought about by the introduction and use of learning technologies.
Other thesis, University of Southampton.

Other

Butler, M., Leuschel, M., Lo Presti, S., Allsopp, D., Beautement, P., Booth, C., Cusack, M. and Kirton, M. (2003) Towards a Trust Analysis Framework for Pervasive Computing Scenarios. (Unpublished)

Domingue, J., O'Hara, K., Brewster, C., Levine, J. and Preece, A. (2003) Re: AKT.

Glynne-Jones, P., Tudor, M., Beeby, S., Harris, N. and White, N. (2003) An electromagnetic device for converting mechanical vibrational energy into electrical energy (Patent).

Harnad, S. (2003) Spielberg's AI: Another Cuddly No-Brainer. (Unpublished)

Harris, S. and Gibbins, N. (2003) 3store: Efficient Bulk RDF Storage.

Hughes, J. F. (2003) Japanese Patent Number 3504272

Process for the Preparation of Electrostatically Charged Particles.

Hughes, J. F. (2003) PATENT:

Brazilian Patent No.P19508159-3
Pre-Charged Polymer Powders.

Hughes, J. F. (2003) PATENT: A Method of Reducing the Inhalation of Airborne Respirable Particles and Droplets.

Hughes, J. F. and Gaunt, L. F. (2003) AUSTRALIAN PATENT No.AU757296:

Aerosol Spraying.

Hughes, J. F. and Gaunt, L. F. (2003) Australian Patent. Treatment of Airborne Micro-organisms.
Patent number 756692.

Hughes, J. F. and Gaunt, L. F. (2003) CHINESE PATENT No.ZL98806888.5
Improved Targeting of Flying Insects with Insecicide and Spraying Apparatus Thereof.

Hughes, J. F. and Gaunt, L. F. (2003) PATENT:

Spraying Device
UK Patent No GB 2377191.

Hughes, J. F. and Gaunt, L. F. (2003) PATENT: Charge Enhancement in Trigger Packs.

International Publication Number WO 03/004170 A1.

Hughes, J. F., Gaynor, P. T., Swingler, J. and McKechnie, M. T. (2003) EUROPEAN PATENT

Method for controlling and removing dust and other particles from a material.
European Patent No. EP 0 942 680 B1.

Hughes, J. F., Gaynor, P. T., Swingler, J. and McKechnie, M. T. (2003) Mexican Patent No MX215737: Dust Cotrol.

Hughes, J. F. and Whitmore, L. F. (2003) PATENT

US PATENT No. US 6,592,813 B1
Malodour Counteracting Treatment.

Hughes, J. F., Whitmore, L. F., Fox, R. T., Harrison, M. N. and Harper, D. R. (2003) PATENT

European Patent No EP 1 091 767 B1

TREATMENT OF AIRBORNE ALLERGENS.

Hughes, J. F., Whitmore, L. F., Fox, R. T., Harrison, M. N. and Harper, D. R. (2003) PATENT: European Patent No. EP 1 091 766 B1
International Publication Number: WO 00/001421

MALODOUR COUNTERACTING TREATMENT.

Hughes, J. F., Whitmore, L. F., Fox, R. T., Harrison, N. and Harper, D. R. (2003) PATENT: US Patent No.6,612,510 B1

Aerosol Spraying.

Hughes, J. F. (2003) Patent: Aerosol Spraying: China Patent Number ZL99810249.0.

Hughes, J. F. (2003) Patent: Denaturing of Der p1: UK Patent Number GB 2363074.

Hughes, J. F. (2003) Patent: Treating Airborne Allergens: Australian Patent Number AU 4386/99.

Hughes, J. F., Fox, R. T., Harrison, N. M., Whitmore, L. F., Harpet, D. R., Jerrim, K. L. and Knapp, J. J. (2003) EUROPEAN PATENT Number EP 1091768 B1: Treatment of Airborne Microorganisms.

Jones, B., White, N., Tudor, M. and Beeby, S. (2003) Resonant Sensor Assembly (Patent).

Mitchell, B., Thomson, R., Jervis, C. and Bristow, P. (2003) Cutting and Pasting with Requirements Specifications Scenarios. (Unpublished)

Sassone, V. (2003) A 2-Categorical Approach to Bisimulation Congruences (talk). (Unpublished)

Sassone, V. (2003) Building the Case for Global Computing. (Unpublished)

Sassone, V. (2003) Calculi and Types for Global Computing (talk). (Unpublished)

Sassone, V. (2003) A Calculus of Bounded Capacities (talk). (Unpublished)

Sassone, V. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories (talk). (Unpublished)

Sassone, V. (2003) A Role for Theory in UbiNet (talk). (Unpublished)

Sassone, V. (2003) Subtyping for Access Control (talk). (Unpublished)

Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation (talk). (Unpublished)

schraefel, m. m. c., Millard, I., Millard, D., Hughes, G. V., Weal, M. J., Michaelides, D. T., Harris, S. and Gibbins, N. (2003) Connecting Physical+Temporal Events to Digital Contexts. (Unpublished)

Sykulski, J. K. (2003) Editor of International Compumag Society Newsletter.

Sykulski, J. K. (2003) Editor of the International Journal for Computation and Mathematics in Electrical and Electronic Engineering.

This list was generated on Thu Oct 23 00:52:04 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