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

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

Luck, M., Marik, V., Stepankova, O. and Trappl, R. (eds.) (2001) Multi-Agent Systems and Applications, Springer (Lecture Notes in Artificial Intelligence).

Gałkowski, K. and Wood, J. (eds.) (2001) Multidimensional Signals, Circuits and Systems, Taylor & Francis (Systems and Control Book Series).

Adhianto, Laksono and Leuschel, Michael (2001) Strategy for Improving Memory Locality Reuse and Exploiting Hidden Parallelism At Proceeding of ISSM 2001, Manchester, 25-26 August 2001..

Alam, M. and Sandham, N.D. (2001) DNS of transition near the leading edge of an aerofoil In, Geurts, Bernard J., Friedrich, Rainer and Métais, Olivier (eds.) Direct and Large-Eddy Simulation IV. Dordrecht, NL, Springer pp. 285-292. (ERCOFTAC Series, 8). (doi:10.1007/978-94-017-1263-7_35).

Ankolenkar, Anupriya, Burstein, Mark, Hobbs, Jerry, Lassila, Ora, Martin, David, McIlraith, Sheila, Narayanan, Srini, Paolucci, Massimo, Payne, Terry R., Sycara, Katia and Zeng, Honglei (2001) DAML-S: A Semantic Markup Language For Web Services At Semantic Web Working Symposium (SWWS).

Antonacopoulos, Apostolos and Karatzas, Dimosthenis (2001) Text Extraction from Web Images Based on Human Perception and Fuzzy Inference At First International Workshop on Web Document Analysis (WDA2001), United States. , pp. 35-38.

Antonacopoulos, Apostolos, Karatzas, Dimosthenis and Ortiz Lopez, J (2001) Accessing Textual Information Embedded in Internet Images At SPIE, Internet Imaging II, United States. , pp. 198-205.

Ashri, R. and Luck, M. (2001) Towards a layered approach for agent infrastructure: the right tools for the right job At Proceedings of the Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS.

Bailey, A G (2001) The charging of insulator surfaces Journal of Electrostatics, 51-52, pp. 82-90.

Bailey, Christopher, El-Beltagy, Samhaa R. and Hall, Wendy, (2001) Link Augmentation: A Context-Based Approach to Support Adaptive Hypermedia Reich, S., Tzagarakis, M.M. and De Bra, P.M.E. (eds.) At Hypermedia: Openness, Structural Awareness, and Adaptivity, Denmark. 14 - 18 Aug 2001. , pp. 239-251.

Bailey, Christopher P. (2001) Using Contextual Information with Dynamic Linkbases to Provide Adaptive Hypermedia

Baptista, L., Lynce, I. and Marques-Silva, J. P. (2001) Complete Search Restart Strategies for Satisfiability At IJCAI Workshop on Stochastic Search Algorithms. , pp. 1-5.

Barney, Anna M. and Shadle, Christine H. (2001) Aerodynamic and aeroacoustic aspects of vowel production Comments on Theoretical Biology, 6, (1), pp. 29-54.

Bauderon, M., Gruner, S., Metivier, Y., Mosbah, M. and Sellami, A., (2001) Visualisation of Distributed Algorithms based on Graph Relabelling Systems Baresi, L., Pezze, M., Taentzer, G. and Zaroliagis, C. (eds.) At 2nd Internat. Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of ICALP 2001). , pp. 229-239.

Beales, Richard, Cruickshank, Don, De Roure, David, Gibbins, Nick, Juby, Ben, Michaelides, Danius T. and Page, Kevin R. (2001) The Pipeline of Enrichment: Supporting Link Creation for Continuous Media In, Openness, Structural Awareness, and Adaptivity: International Workshops. Hypermedia: Openness, Structural Awareness, and Adaptivity (International Workshops OHS-7, SC-3 and AH-3) Springer-Verlag pp. 47-58. (Lecture Notes in Computer Science (LNCS), 2266).

Brittin, M., Mitchell, G.R. and Vaughan, A. S. (2001) A Transmission Electron Microscopy Study of Polymer-Stabilised Liquid Crystal Structure Journal of Materials Science, 36, (20), pp. 4911-20.

Bryson, K., Luck, M., Joy, M. and Jones, D. (2001) Agent Interaction for Bioinformatics Data Management Applied Artificial Intelligence, 15, (10), pp. 917-947.

Bullock, Seth, (2001) Smooth operator? Understanding and visualising mutation bias Kelemen, J. and Sosik, P. (eds.) At the Sixth European Conference on Artificial Life. , pp. 602-612.

Burge, P. and Shawe-Taylor, J. (2001) An Unsupervised Neural Network Approach to Profiling the Behaviour of Mobile Phone Users for Use in Fraud Detection Journal of Parallel and Distributed Computing, 61, (7), pp. 915-925.

Champion, J.V., Dodd, S.J., Zhao, Y., Vaughan, A. S., Brown, M.A., Davies, A.E., Sutton, S.J. and Swingler, S. G. (2001) Morphology and the Growth of Electrical Trees in a Propylene/ethylene copolymer IEEE Transactions on Dielectrics & Electrical Insulation, 8, (2), pp. 284-92.

Champion, J.V. and Dodd, Stephen J. (2001) Simulation of partial discharges in conducting and non-conducting electrical tree structures Journal of Physics D: Applied Physics, 34, (8), pp. 1235-1242. (doi:10.1088/0022-3727/34/8/314).

Chan, WC and Harris, CJ (2001) Support vector recurrent neurofuzzy networks in modelling nonlinear systems with correlated noise

Chen, G., Tay, T. Y. G., Davies, A. E., Tanaka, Y. and Takada, T. (2001) Electrodes and charge injection in low-density polyethylene using pulsed electroacoustic technique IEEE Transactions on Dielectrics & Electrical Insulation, 8, (6), pp. 867-873.

Cliff, Dave (2001) Patent: GB 2,378,626: Automated Compilation of Music

Cliff, Dave (2001) Patent: GB 2,378,873: Automated Compilation of Music

Cliff, Dave (2001) Patent: GB 2,379,076: Method and Apparatus for Composing a Song

Cliff, Dave (2001) Patent: US 6,344,607: Automatic Compilation of Songs

Cliff, Dave (2001) Patent: US 6,534,700: Automated Compilation of Music

Cliff, Dave and Wilkinson, Tim (2001) Patent: GB 2,380,262: Monitoring of Crowd Response to Performances

Cliff, Dave and Wilkinson, Tim (2001) Patent: GB 2,398,423: Monitoring of Crowd Response to Performances

Cliff, Dave and Wilkinson, Tim (2001) Patent: GB2,379,987: Monitoring of User Response to Performances

Cliff, Dave and Wilkinson, Tim (2001) Patent: US 6,885,304: Monitoring of Crowd Response to Performances

Cristianini, Nello, Shawe-Taylor, John and Williamson, Robert C. (2001) Introduction to the Special Issue on Kernel Methods (Kernel Machines Section) Journal of Machine Learning Research, 2, (2), pp. 95-96.

Davidson, J L, Williams, T J, Bailey, A G and Hearn, G L (2001) Characterisation of electrostatic discharges from insulating surfaces Journal of Electrostatics, 51-52, pp. 374-480.

Davidson, J. L., Williams, T. J., Bailey, A. G. and Hearn, G. L. (2001) Characterisation of electrostatic discharges from insulating surfaces Journal of Electrostatics, 51 & 5

Davidson, J.L., Williams, T.J., Bailey, A.G. and Hearn, G.L. (2001) Characterisation of electrostatic discharges from insulating surfaces Journal of Electrostatics, 51-52, pp. 374-380. (doi:10.1016/S0304-3886(01)00104-8).

Demiriz, A., Bennett, K.P. and Shawe-Taylor, J. (2001) Linear Programming Boosting via Column Generation Machine Learning, 46, (1), pp. 225-254.

Dodd, S. J., Champion, J. V. and Vaughan, A. S., (2001) Electrical Breakdown of Polymer Glasses Buschow, K. H. J., Cahn, R. W., Flemings, M. C., Ilschner, B., Kramer, E. J. and Mahajan, S. (eds.) In Encyclopedia of Materials: Science and Technology. Elsevier., pp. 7649-54.

Domingo-Ferrer, J. and Hartel, P. H. (2001) Current directions in smart cards Computer Networks, 36, (4), pp. 377-9.

Domingue, John, Motta, Enrico, Shum, Simon Buckingham, Vargas-Vera, Maria and Kalfoglou, Yannis (2001) Supporting ontology driven document enrichment within communities of practice At 1st International Conference on Knowledge Capture (K-Cap'01).

Dominque, John, Motta, Enrico, Buckingham-Shum, Simon, Vargas-Vera, Maria and Kalfoglou, Yannis (2001) Supporting ontology driven document enrichment within communities of practice At 1st International Conference on Knowledge Capture (K-Cap'01).

Dowden, RL, Rodger, CJ and Nunn, D (2001) Minimum Sprite Plasma Density as Determined by VLF Scattering IEEE Antennas and Propagation Magazine, 43, (2), pp. 12-24.

Dowden, RL, Rodger, CJ and Nunn, D (2001) Minimum Sprite plasma Density as Determined by VLF Scattering IEEE Antennas and Propagation Magazine, 43, (2), pp. 12-24.

Driesen, K., Basha, N., Eng, D., Holly, M., Jorgensen, J., Kanaan, G., Mahdavi, B. and Wang, Q. (2001) Visualizing hot spots in various domains At 23rd International Conference on Software Engineering, Software Visualization Workshop, Canada. 12 - 19 May 2001.

El-Jabu, B. and Steele, R. (2001) Cellular Communications Using Aerial Platforms IEEE Transactions on Vehicular Technology, 50, (3), pp. 686-700.

Elliott, T. (2001) D'Arcy Wentworth Thompson, interindividual variation and postnatal neuronal growth Behavioural Brain Sciences, 24, p. 284.

Eow, John S., Ghadiri, Mojtaba, Sharif, Adel O. and Williams, Trevor J. (2001) Electrostatic enhancement of coalescence of water droplets in oil: A review of the current understanding Chemical Engineering Journal, 84

Fangohr, Hans, Cox, Simon J. and Groot, Peter A.J. de (2001) Vortex dynamics in two-dimensional systems at high driving forces Physical Review B., 64, (6), p. 64505.

Fangohr, Hans, Groot, Peter A. J. de and Cox, Simon J. (2001) Critical Transverse Forces in Weakly Pinned Driven Vortex Systems Physical Review B, 63, p. 64501.

Fangohr, Hans, J.Dodgson, Matthew, Groot, Peter A.J. de and Cox, Simon J. (2001) Computer simulation studies of a layered pancake system using the substrate model.

Flores, P. F., Neto, H. C. and Marques-Silva, J. P. (2001) An Exact Solution to the Minimum-Size Test Pattern Problem ACM Transactions on Design Automation of Electronic Systems, 6, (4), pp. 629-644.

Fu, M., Chen, G., Davies, A. E. and Head, J. (2001) Space charge measurements in cables using the PEA method:--Singal data processing considerations At 7th Internationa Conference on Solid Dielectrics, Netherlands. 25 - 29 Jun 2001. , pp. 219-222.

Geard, N (2001) An Exploration of NK Landscapes with Neutrality The University of Queensland, School of Information Technology and Electrical Engineering, Doctoral Thesis .

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

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

Green, Nicolas G, Ramos, Antonio, Gonzalez, Antonio, Castellanos, Antonio and Morgan, Hywel (2001) Electrothermally induced fluid flow on microelectrodes Journal of Electrostatics, 53, (2), pp. 71-87. (doi:10.1016/S0304-3886(01)00132-2).

Hallerstede, Stefan (2001) Performance-Oriented Refinement University of Southampton, Electronics and Computer Science, Doctoral Thesis .

Hearn, G. L., Bridger, B(ed.) (2001) Electrostatic Ignition Hazards from Flexible Intermediate Bulk Containers (FIBCs) with Materials of Minimum Ignition Energy down to 0.12 milliJoules IEEE Transactions on Industry Applications, 37, (3), pp. 730-734.

Hearn, G. L., Thompson, J. and Green, R.(eds.) (2001) Investigation into the Role of Electrostatics in a Vapour Ignition Incident during Refuelling at a Service Station Journal of the Association for Petroleum and Explosives Administration, 39, (4), pp. 64-67.

Hettrick, S.J., Li, C., Mackenzie, Jacob, Wilkinson, J.S. and Shepherd, D.P. (2001) Nd:Glass tapered planar waveguide laser At 14th Annual Meeting of the IEEE Lasers and Electro-Optics Society (LEOS). 12 - 13 Nov 2001. (doi:10.1109/LEOS.2001.969205).

Hinchey, M, Hendler, J, Pecheur, C, Heitmeyer, C, Gordon, DF, Luck, M and Truszkowski, W (2001) Future Directions In, Rash, JL, Rouff, CA, Truszkowski, W, Gordon, D and Hinchey, MG (eds.) Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000. Springer pp. 354-368.

Ho, Y. F. F., Chen, G., Davies, A. E., Hampton, R. N., Swingler, S. G. and Sutton, S. J. (2001) Do semicons affect space charge? , pp. 105-8.

Hoppe, U, Weiss, S, Stewart, R W and Eysholdt, U (2001) An Automatic Sequential Recognition Method for Cortical Auditory Evoked Potentials IEEE Transactions on Biomedical Engineering, 48, (2), pp. 154-164.

Hoppe, U., Weiss, S., Schabert, M. and Eysholdt, U. (2001) Wavelet Analysis of Transient Evoked Otoacoustic Emissions for Differential Diagnosis of Cochlear Hearing Loss At 35th Asilomar Conference on Signals, Systems, and Computers.

Hosier, I. L., Vaughan, A. S., Patel, D., Sutton, S. J. and Swingler, S. G. (2001) Morphology and Electrical Conductivity in Polyaniline/polyolefin Blends IEEE Transactions on Dielectrics & Electrical Insulation, 8, (4), pp. 698-704.

Hosier, I.L and Bassett, D.C (2001) Morphology and crystallization kinetics of dilute binary blends of two monodisperse n-alkanes with a length ratio of two Journal of Polymer Science, Part B: Polymer Physics, 39, (22), pp. 2874-2887.

Hughes, J.F, Jerrim., K.L and McKechnie, M (2001) Electrostatic enhancement of dust and allergen removal from carpets Journal of Electrostatics, Vol.53, (Issue), pp. 39-51.

Hughes, John F (2001) Targeting of Insects: US Patent Number US 6,199,766 B1.

Hurley, D. J. (2001) Force Field Feature Extraction for Ear Biometrics University of Southampton, Electronics and Computer Science, Doctoral Thesis .

Jackson, P.J.B. and Shadle, C.H. (2001) Uses of the pitch-scaled harmonic filter in speech processing At Proceedings of the Institute of Acoustics, Workshop on Innovation in Speech Processing 2001. , pp. 309-321.

Jackson, Philip J.B. and Shadle, Christine H. (2001) Pitch-scaled estimation of simultaneous voiced and turbulence-noise components in speech IEEE Transactions on Speech and Audio Processing, 9, (7), pp. 713-726.

James, Simon St and Ultes-Nitsche, Ulrich (2001) Computing Property-Preserving Behaviour Abstractions from Trace Reductions At Proceedings of the 20th ACM Symposium on Principles of Distributed Computing (ACM PODC'2001). , pp. 238-245.

Jennings, N. and Panzarasa, P. (2001) The organisation of social mental shopping: a manifesto for a new science of multi-agent systems At Proceedings of 10th European Workshop on Multi-Agent Systems (MAAMAW-01), France.

Joachims, T., Cristianini, N. and Shawe-Taylor, J. (2001) Composite kernels for hypertext categorisation In Proceedings of the International Conference on Machine Learning, ICML'01. Morgan Kaufmann., pp. 250-257.

Kalfoglou, Yannis (2001) Exploring Ontologies In, Chang, S.K. (eds.) Handbook of Software Engineering and Knowledge Engineering. World Scientific Publishing pp. 863-887.

Kalfoglou, Yannis (2001) Exploring Ontologies In, Handbook of Software Engineering and Knowledge Engineering: vol. 1: Fundamentals. World Scientific Publishing pp. 863-887.

Kalfoglou, Yannis, Domingue, John, Motta, Enrico, Vargas-Vera, Maria and Buckingham-Shum, Simon (2001) MyPlanet: an ontology-driven Web-based personalised news service At IJCAI'01 Workshop on Ontologies and Information Sharing.

Kalfoglou, Yannis, Domingue, John, Motta, Enrico, Vargas-Vera, Maria and Shum, Simon Buckingham (2001) MyPlanet: an ontology-driven Web-based personalised news service At IJCAI'01 Workshop on Ontologies and Information Sharing.

Kalfoglou, Yannis, Dominque, John, Carr, Lesley, Motta, Enrico, Vargas-Vera, Maria and Buckingham-Shum, Simon (2001) On the integration of technologies for capturing and navigating knowledge with ontology-driven services s.n.

Kunz, W., Marques-Silva, J. P. and Malik, S. (2001) SAT and ATPG: Algorithms for Boolean Decision Problems In, Hassoun, S., Sasao, T. and Brayton, R. (eds.) Logic Synthesis and Verification. Kluwer Academic Publishers pp. 309-341.

Leonard, Thomas and Glaser, Hugh, (2001) Large scale acquisition and maintenance from the web without source access Handschuh, Siegfried, Dieng-Kuntz, Rose and Staab, Steffan (eds.) At Workshop 4, Knowledge Markup and Semantic Annotation, K-CAP 2001. , pp. 97-101.

Leuschel, Michael (2001) Design and Implementation of the High-Level Specification Language CSP(LP) At Proceedings of PADL'01, 3rd International Symposium on Practical Aspects of Declarative Languages. , pp. 14-28.

Leuschel, Michael, Massart, Thierry and Currie, Andrew, (2001) How to make FDR Spin: LTL model checking of CSP using Refinement Oliviera, J.N. and Zave, P. (eds.) At Proceedings of Formal Methods Europe FME'2001. , pp. 99-118.

Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (2001) Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001 , 109pp.

Leuschel, Michael, Wolton, Ivan, Massart, Thierry and Adhianto, Laksono, (2001) Temporal Logic Model Checking of CSP: Tools and Techniques Nowak, David (ed.) At Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01).

Lioncourt, S. W. de and Luck, M. (2001) Towards Requirements Analysis for Autonomous Agent Behaviour At Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems. , pp. 155-162.

Lodhi, Huma, Cristianini, Nello and Shawe-Taylor, John (2001) Latent Semantic Kernels In Proceedings of the International Conference on Machine Learning, ICML'01. Morgan Kaufmann., pp. 66-73.

Lodhi, Huma, Shawe-Taylor, John, Cristianini, Nello and Watkins, Chris (2001) Text Classification using String Kernels In Proceedings of Neural Information Processing Systems, NIPS'00. MIT Press., pp. 563-569.

Lopez, F. Lopez y, Luck, M. and d'Inverno, M. (2001) Constraining Autonomy through Norms At Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, Italy. , pp. 674-681.

Lopez, F. Lopez y, Luck, M. and d'Inverno, M. (2001) A Framework for Norm-based Inter-Agent Dependence At Proceedings of the Third Mexican International Conference on Computer Science.

Luck, M. and d'Inverno, M., (2001) Autonomy: A Nice Idea in Theory Castelfranchi, and Lesperance, (eds.) In Intelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages. Springer., pp. 351-353.

Luck, M. and d'Inverno, M. (2001) A Conceptual Framework for Agent Definition and Development Computer Journal, 44, (1), pp. 1-20.

Lynce, I., Baptista, L. and Marques-Silva, J. P. (2001) Stochastic Systematic Search Algorithms for Satisfiability At LICS Workshop on Theory and Applications of Satisfiability Testing, United States. , pp. 1-7.

Lynce, I., Baptista, L. and Marques-Silva, J. P., (2001) Towards Provably Complete Stochastic Search Algorithms for Satisfiability Brazdil, P. and Jorge, A. (eds.) At Proceedings of the Portuguese Conference on Artificial Intelligence, Portugal. , pp. 363-370.

Lynce, I., Baptista, L. and Marques-Silva, J. P. (2001) Unrestricted Backtracking Algorithms for Satisfiability At AAAI Fall Symposium on Using Uncertainty within Computation. , pp. 76-82.

Lynce, I. and Marques-Silva, J. P. (2001) The Interaction Between Simplification and Search in Propositional Satisfiability At CP Workshop on Modeling and Problem Formulation.

Lynce, I. and Marques-Silva, J. P. (2001) The Puzzling Role of Simplification in Propositional Satisfiability At EPIA Workshop on Constraint Satisfaction and Operational Research Techniques for Problem Solving, Portugal. , pp. 73-86.

Mahdavi, Babak and Driesen, Karel (2001) Heap hot spots visualization in Java McGill University 15pp. , Montreal, CA (CS Tech report, SOCS-01.8).

Manquinho, V. and Marques-Silva, J. P. (2001) Lower Bounding Techniques for SAT-Based Boolean Optimization At Third International Workshop on Integration of AI and OR Techniques. , pp. 375-388.

Marchand, Mario and Shawe-Taylor, John (2001) Learning with the Set Covering Machine In Proceedings of the International Conference on Machine Learning, ICML'01. , pp. 345-352.

Melluish, T., Saunders, C., Nouretdinov, I. and Vovk, V. (2001) Comparing the Bayes and Typicalness Frameworks s.n.

Melluish, T., Saunders, C., Nouretdinov, I. and Vovk, V. (2001) Comparing the Bayes and Typicalness Frameworks At 12th European Conference on Machine Learning (ECML-2001).

Metivier, Y., Wacrenier, P., Mosbah, M. and Gruner, S. (2001) A Distributed Algorithm for Computing a Spanning Tree in Anonymous T-Prime Graphs At OPODIS 2001: Proc of the 5th International Conference on Principles of Distributed Systems: Manzanillo (Mexico).

Middleton, Stuart Edward (2001) Interface agents: A review of the field University of Southampton

Middleton, Stuart Edward, Roure, David C. De and Shadbolt, Nigel R. (2001) Capturing knowledge of user preferences: ontologies in recommender systems At conference; 2001-10-01.

Miles, S., Joy, M. and Luck, M. (2001) Designing Agent-Oriented Systems by Analysing Agent Interactions At Agent-Oriented Software Engineering: Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering. , pp. 171-183.

Mitchell, Bill (2001) Characterising Concurrent Tests Based on Message Sequence Chart Requirements Simulation Series, Society for Computer Simulation, 33, (3), pp. 135-140.

Mitchell, Bill (2001) Coordinating Distributed Requirements Conformance Tests

Mitchell, Bill (2001) Finite State Automata for Topological Sorting

Mitchell, Bill (2001) Thatched Partial Orders

Molinari, M, Blott, BH, Cox, SJ and Daniell, GJ (2001) Non-linear Electrical Tomography Reconstruction of Simple Test Objects and a Simulated Head Slice At Proceedings of the 3rd EPSRC Engineering Network Meeting on Biomedical Applications of EIT. , p. 26.

Molinari, M, Cox, S J, Blott, B H and Daniell, G J, (2001) Efficient non-linear 3D electrical tomography and finite element optimizations for functional source imaging Fischer, Gerald and Roithinger, FX (eds.) At Biomedizinische Technik / Biomedical Engineering 46 (E3). , pp. 130-1.

Molinari, M, Cox, S J, Blott, B H and Daniell, G J, (2001) Efficient Non-Linear 3D Electrical Tomography Reconstruction Mann, R, Mewes, D and Ronson, P (eds.) At Proceedings of the 2nd World Congress on Industrial Process Tomography. , pp. 424-32.

Molinari, M, Cox, SJ, Blott, BH and Daniell, GJ (2001) Adaptive mesh refinement techniques for electrical impedance tomography Physiological Measurement, 22, (1), pp. 91-6.

Molinari, M, Cox, SJ, Blott, BH and Daniell, GJ (2001) Optimal Finite Element Modelling and Efficient Reconstruction in Non-Linear 3D Electrical Resistance Tomography At Proceedings of the 3rd EPSRC Engineering Network Meeting on Biomedical Applications of EIT. , pp. 41-5.

Molinari, M, Fangohr, H, Generowicz, J and Cox, S J, (2001) Finite Element Optimizations for Efficient Non-Linear Electrical Tomography Reconstruction Mann, R, Mewes, D and Ronson, P (eds.) At Proceedings of the 2nd World Congress on Industrial Process Tomography. , pp. 406-17.

Morgan, Hywel, Garcia-Izquierdo, Alberto, Bakewell, David J, Green, Nicolas G and Ramos, Antonio (2001) The dielectrophoretic and travelling wave forces for interdigitated electrode arrays: analytical solution using Fourier series Journal of Physics D: Applied Physics, 34, pp. 1553-1561. (doi:10.1088/0022-3727/34/10/316).

Morgan, Hywel, Garcia-Izquierdo, Alberto, Bakewell, David J, Green, Nicolas G and Ramos, Antonio (2001) Erratum: The dielectrophoretic and travelling wave forces for interdigitated electrode arrays: analytical solution using Fourier series Journal of Physics D: Applied Physics, 34, p. 2708. (doi:10.1088/0022-3727/34/17/501).

Oliveira, A. L. and Marques-Silva, J. P. (2001) Efficient Algorithms For The Inference Of Minimum Size DFAs Machine Learning, 44, (1/2), pp. 93-119.

Opper, Manfred and Urbanczik, Robert (2001) Universal learning curves of support vector machines Physical Review Letters, 86, (19), pp. 4410-4413.

Opper, Manfred and Urbanczik, Robert (2001) Universal learning curves of support vector machines Physical Review Letters, 86, pp. 4410-4413.

Opper, Manfred and Winther, Ole (2001) Tractable approximations for probabilistic models: The adaptive TAP mean field approach Physical Review Letters, 86, pp. 3695-3699.

Opper, Manfred and Winther, Ole (2001) Tractable approximations for probabilistic models: The adaptive TAP mean field approach Physical Review Letters, 86, pp. 3695-3699.

Page, Kevin, Juby, Ben, Beales, Richard and Roure, David De (2001) Continuous Metadata At Proceedings of the 2nd Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking & Broadcasting. , pp. 264-9.

Poylisher, A. and Luck, M. (2001) Modelling and Simulation of Aggregation Nets At Proceedings of the IEEE International Symposium on Cluster Computing and the Grid (CCGrid'2001).

Ramos, Antonio, Gonzalez, Antonio, Green, Nicolas G, Morgan, Hywel and Castellanos, Antonio (2001) Comment on Theoretical model of electrode polarisation and AC electroosmotic fluid flow in planar electrode arrays Journal of Colloid and Interface Science, 243, (1), pp. 265-266. (doi:10.1006/jcis.2001.7957).

Rana, Omer F., Bunford-Jones, Daniel, Hawick, K. A., Walker, David W., Addis, Matthew and Surridge, M (2001) Resource Discovery for Dynamic Clusters in Computational Grids At 15th International Parallel & Distributed Processing Symposium (IPDPS-01), United States. 23 - 27 Apr 2001. , p. 82.

Ridgway, Neil and Roure, David De (2001) FOHM+RTSP: Applying Open Hypermedia and Temporal Linking to Audio Streams In The Seventh International Workshop on Open Hypermedia Systems (OHS7). Springer Verlag..

Ridgway, Neil and Roure, David De (2001) RTSP+FOHM: Applying Open Hypermedia and Temporal Linking to Audio Streams: 1st At Proceedings of the 2nd Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking & Broadcasting. , pp. 107-112.

Risse, Thomas, Wombacher, Andreas, Surridge, Mike, Taylor, Steve and Aberer, Karl (2001) Online Scheduling in Distributed Message Converter Systems At Parallel and Distributed Computing Systems (PDCS 2001), United States. 21 - 24 Aug 2001. , pp. 177-184.

Rocha, P. and Wood, J. (2001) Trajectory control and interconnection of 1D and nD systems SIAM J. Contr. Opt., 40, (1), pp. 107-34.

Roure, D. De, Hall, W., Reich, S., Hill, G., Pikrakis, A. and Stairmand, M. (2001) MEMOIR - an open framework for enhanced navigation of distributed information Information Processing and Management, 37, pp. 53-74.

SJ, Cox, MJ, Fairman, G, Xue, JL, Wason and AJ, Keane, (2001) The GRID: Computational and Data Resource Sharing in Engineering Optimisation and Design Search: 1st Pinkston, Timothy Mark (ed.) At Proceedings of the 2001 ICPP Workshops. , pp. 207-212.

Sch"olkopf, B., Platt, J.C., Shawe-Taylor, J.S., Smola, A.J. and Williamson, R.C. (2001) Estimating the Support of a High-Dimensional Distribution Neural Computation, 13, (7), pp. 1443-1471.

Schölkopf, B., Platt, J.C., Shawe-Taylor, J.S., Smola, A.J. and Williamson, R.C. (2001) Estimating the Support of a High-Dimensional Distribution Neural Computation, 13, (7), pp. 1443-1471.

Shawe-Taylor, John (2001) Optimisation in Machine Learning: Some Recent Developments and Perspectives In Proceedings of 6th International Symposium on Operational Research in Slovenia. , pp. 25-35.

Shawe-Taylor, John (2001) Review of "Anthony, Martin; Bartlett, Peter L., Neural Network Learning: Theoretical Foundations, Cambridge: Cambridge University Press", Cambridge University Press

Shawe-Taylor, John and Zerovnik, Janez v (2001) Ants and graph coloring In Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, ICANNGA'01. Springer-Verlag., pp. 276-279.

Sousa, J., Marques-Silva, J. P. and Abramovici, M. (2001) A Configware/Software Approach to SAT Solving At Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines.

Tanaka, Y., Chen, G., Tay, T. Y. G. and Takada, T. (2001) Effect of interface on space charge in polyethylene At International Symposium on Electrical Insulating Materails. , pp. 505-508.

Tao, Feng, Contreras, Pedro, Pauer, B., Taskaya, Tugba and Murtagh, Fionn (2001) User interest correlation in log data At HCI 2001 International conference in human computer interface, United States.

Taskaya, Tugba, Contreras, Pedro, Tao, Feng and Murtagh, Fionn (2001) Data Visualization for large dataset At HCI 2001 International conference in human and computer interface, United States.

Tatem, AJ, Lewis, HG, Atkinson, P and Nixon, MS (2001) Super-resolution mapping of urban scenes from IKONOS imagery using a Hopfield neural network At IEEE 2001 International Geoscience and Remote Sensing Symposium, Australia. , pp. 3203-3205.

Thompson, Mark K. and Roure, David C. De (2001) Hypermedia by coincidence At Proceedings of the Twelfth ACM Conference on Hypertext and Hypermedia HT'01.

Tian, Y, Lewin, P L, Davies, A E, Hathaway, G M, Sutton, S J and Swingler, S G (2001) Acoustic Emission Measurement of Partial Discharges during Electrical Tree Growth in XLPE Cable Insulation At 2001 IEEE 7th International Conference on Solid Dielectrics. , pp. 477-80.

Trakhtengerts, VY, Demekhov, AG, Pasmanik, DL, Titova, EE, Kozelov, BV, Nunn, D and Rycroft, MJ (2001) Highly anisotropic distribution of energetic electrons and triggered VLF emissions Geophysical Research Letters, 28, (13), pp. 2577-2581.

Ultes-Nitsche, Ulrich (2001) Do We Need Liveness? Approximation of Liveness Properties by Safety Properties Submitted to Information Processing Letters (IPL)

Ultes-Nitsche, Ulrich (2001) Secure Server-Side Java Applications Informatik - Journal of the Swiss Chapter of the ACM, Specia

Ultes-Nitsche, Ulrich and James, Simon St, (2001) Testing Liveness Properties: Approximating Liveness Properties by Safety Properties Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon and Lee, Danhyung (eds.) At Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2001). , pp. 369-376.

Ultes-Nitsche, Ulrich and Teufel, Stephanie, (2001) Secure Internet-Access to Medical Data Grütter, Rolf (ed.) In Knowledge Media in Healthcare: Opportunities and Challenges.

Ultes-Nitsche, Ulrich and Teufel, Stephanie, Klein, Stefan(ed.) (2001) Secure Internet-Access to Medical Data Submitted to Informatik --- Journal of the Swiss Chapter of the ACM, Specia, 7 pages.

Ultes-Nitsche, Ulrich and Wolper, Pierre (2001) Checking Properties within Fairness and Behavior Abstraction Submitted to ACM Transactions on Computational Logic (TOCL), 22 pages.

Urdahl, O, Wayth, N J, Fordedal, H, Williams, T J and Bailey, A G, Sjoblom, J (ed.) (2001) Compact Electrostatic Coalescer Technology, Marcel Dekker Inc

Urdahl, O., Nordstad, K, Berry, P., Wayth, N., Williams, T., Bailey, A. and Thew, M. (2001) Development of a New, Compact Electrostatic Coalescer Concept Society of Petroleum Engineers Production & Facilities

Urdahl, O., Wayth, N. J., Førdedal, H., Williams, T. J. and Bailey, A. G., Sjöblom, Johan (eds.) (2001) Compact Electrostatic Coalescer Technology

Vargas-Vera, Maria, Domingue, John, Kalfoglou, Yannis, Motta, Enrico and Shum, Simon Buckingham (2001) Template-driven information extraction for populating ontologies At IJCAI'01 Workshop on Ontology Learning.

Vargas-Vera, Maria, Dominque, John, Kalfoglou, Yannis, Motta, Enrico and Buckingham-Schum, Simon (2001) Template-driven information extraction for populating ontologies At IJCAI'01 Workshop on Ontology Learning.

Vaughan, A. S. and Stevens, G. C. (2001) Irradiation and the glass transition in PEEK Polymer, 42, (21), pp. 8891-8895.

Veres, S.M., Gabriel, S.B., Rogers, E. and Mayne, D.Q. (2001) Analysis of formation flying control of a pair of nano-satellites At Proceedings of the 40th IEEE Conference on Design and Control, 2001, United States. 04 - 07 Dec 2001. , pp. 1095-1100. (doi:10.1109/.2001.981031).

Weiss, S, Stenger, A, Stewart, RW and Rabenstein, R (2001) Steady-State Performance Limitations of Subband Adaptive Filters IEEE Transactions on Signal Processing, 49, (9), pp. 1982-91.

Whitmore, L. F, Hughes, J. F, Harrison, N, Abela, M and O'Rourke, P (2001) Enhanced efficiency of electrostatically charged insecticide aerosols Pest Management Science, 57, pp. 432-6.

Wilkinson, Tim and Cliff, Dave (2001) Patent: US 6,888,457: Monitoring of user response to performances

Williams, T. J. and Jones, R. T. (2001) Modelling the Electrostatic Ignition Hazards associated with the Cleaning of Tanks Containing Flammable Atmospheres Journal of Loss Prevention in the Process Industries, 14

Wright, V and White, S (2001) Technology and Language Learning In, Arthur, L and Hurd, S (eds.) in Supporting Lifelong Language Learning; theoretical and practical approaches. CILT, London

Wu, Leejay, Faloutsos, Christos, Sycara, Katia and Payne, Terry (2001) Multimedia Queries by Example and Relevance Feedback IEEE Data Engineering Bulletin, 24, (3), pp. 14-21.

Wu, X, Chen, G, Davies, A E, Hampton, R N, Sutton, S J and Swingler, S G (2001) Space charge measurements in polymeric high voltage insulation using the LIPP method IEEE Transactions on Dielectrics & Electrical Insulation, 8, (4), pp. 725-730.

Wu, X., Chen, G., Davies, A. E., Hampton, R. N., Suttun, S. J. and Swingler, S. G. (2001) Space charge measurements in polymeric high voltage insulation materials using the LIPP method IEEE Transactions on Dielectrics & Electrical Insulation, 8, (4), pp. 725-730.

Xi, B. and Chen, G. (2001) The influence of the polymer matrix on the PTC properties polyethylene/carbon black composite , pp. 109-112.

Yadav, Divakar, Majumdar, A, Sarswat, R and Chauhan, D (2001) Towards a model of concurrency to achieve temporal consistency in long duration transaction processing in real time active database systems At 3rd International Conference on Information, Communication and Signal processing, ICICS-2001, Singapore, Singapore. 15 - 18 Oct 2001.

Zhao, Y., Vaughan, A. S., Sutton, S. J. and Swingler, S. G. (2001) On Nucleation and the Evolution of Morphology in a Propylene/ethylene Copolymer Polymer, 42, (15), pp. 6599-608.

Zhao, Y., Vaughan, A. S., Sutton, S. J. and Swingler, S. G. (2001) On the Crystallization, Morphology and Physical Properties of a Clarified Propylene/ethylene Copolymer Polymer, 42, (15), pp. 6587-97.

Zhong, L., Xu, Y., Chen, G., Davies, A. E., Richardson, Z. and Swingler, S. G. (2001) Use of capacitive couplers for partial discharge measurements in power cables and joints , pp. 412-5.

d'Inverno, M., Luck, M. and UKMAS 2001 Contributors, None (2001) Multi-agent systems research into the 21st century Knowledge Engineering Review, 16, (3), pp. 271-275.

d'Inverno, Mark and Luck, Michael (2001) Formal Agent Development: Framework to System In, Rash, JL, Rouff, CA, Truszkowski, W, Gordon, D and Hinchey, MG (eds.) Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000. Springer pp. 133-147.

This list was generated on Sun Apr 9 01:00:55 2017 BST.