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: Authors/Creators | Item Type | No Grouping
Number of items: 169.

Article

(2001) Characterisation of electrostatic discharges from insulating surfaces. Journal of Electrostatics, 51 & 5

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

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

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

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

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), 915-925.

C, Teh P, P, Petropoulos, M, Ibsen and Richardson, D.J. (2001) Generation recognition and recoding of 64-chip bipolar optical code sequences using superstructured fibre Bragg gratings. Electronics Letters, 37, (3), 190-1.

Champion, J V and Dodd, S J (2001) Simulation of partial discharges in conducting and non-conducting electrical tree structures. Journal of Physics D: Applied Physics, 34, 1235-1242.

Champion, J. V. and Dodd, S. J. (2001) Simulation of Partial Discharges in Conducting and Non-conducting Electrical Tree Structures. Journal of Physics D: Applied Physics, 34, 1235-1242.

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 Trans. Diel. Electr. Insul., 8, (2), 284-92.

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 and ELectrical Insulation, 8, (6), 867-873.

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), 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, 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

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

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

Dowden, RL, Rodger, CJ and Nunn, D (2001) Minimum Sprite Plasma Density as Determined by VLF Scattering. IEEE Antennas and Propagation Magazine, 43, (2), 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), 12-24.

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

Elliott, T. (2001) D'Arcy Wentworth Thompson, interindividual variation and postnatal neuronal growth. Behavioural Brain Sciences, 24, 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), 064505.

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, 064501.

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), 629-644.

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

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), 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), 64-67.

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), 154-164.

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 Trans. Diel. Electr. Insul., 8, (4), 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), 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 ), 39-51.

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), 713-726.

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

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

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

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

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

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

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

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

Rocha, P. and Wood, J. (2001) Trajectory control and interconnection of 1D and nD systems. SIAM J. Contr. Opt., 40, (1), 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, 53-74.

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), 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), 1443-1471.

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), 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 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., 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

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

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), 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, 432-6.

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

Wu, Leejay, Faloutsos, Christos, Sycara, Katia and Payne, Terry (2001) Multimedia Queries by Example and Relevance Feedback. IEEE Data Engineering Bulletin, 24, (3), 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 and Electrical Insulation, 8, (4), 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 and ELectrical Insulation, 8, (4), 725-730.

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), 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), 6587-97.

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

Book

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).

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

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

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

Book Section

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, 47-58. (Lecture Notes in Computer Science (LNCS), 2266).

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

Hettrick, S.J., Li, C., Mackenzie, J.I., Wilkinson, J.S. and Shepherd, D.P. (2001) Nd:Glass tapered planar waveguide laser. In, Proceedings of the 14th Annual Meeting of the IEEE Lasers and Electro-Optics Society (LEOS 2001.). 14th Annual Meeting of the IEEE Lasers and Electro-Optics Society (LEOS) New York, US, Institute of Electrical and Electronics Engineers, 125-126. (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, 354-368.

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, 250-257.

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

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

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, 309-341.

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, 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, 563-569.

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

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

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

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

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, 276-279.

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

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.

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, 133-147.

Conference or Workshop Item

(2001) the Organisation of Social Mental Shopping: A Manifesto for a New Science of Multi-Agent Systems. Proc 10th European Workshop on Multi-Agent Systems (MAAMAW-01)

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

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. In, Semantic Web Working Symposium (SWWS)

Antonacopoulos, Apostolos and Karatzas, Dimosthenis (2001) Text Extraction from Web Images Based on Human Perception and Fuzzy Inference. In, First International Workshop on Web Document Analysis (WDA2001), Seattle, USA, PRImA Press, 35-38.

Antonacopoulos, Apostolos, Karatzas, Dimosthenis and Ortiz Lopez, J (2001) Accessing Textual Information Embedded in Internet Images. In, SPIE, Internet Imaging II, San Jose, USA, SPIE, 198-205.

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

Bailey, Christopher, El-Beltagy, Samhaa R. and Hall, Wendy (2001) Link Augmentation: A Context-Based Approach to Support Adaptive Hypermedia. Hypermedia: Openness, Structural Awareness, and Adaptivity, Århus, Denmark, 14 - 18 Aug 2001. Springer-Verlag, 239-251.

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

Bauderon, M., Gruner, S., Metivier, Y., Mosbah, M. and Sellami, A. (2001) Visualisation of Distributed Algorithms based on Graph Relabelling Systems. 2nd Internat. Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of ICALP 2001) Elsevier, 229-239.

Bullock, Seth (2001) Smooth operator? Understanding and visualising mutation bias. In, the Sixth European Conference on Artificial Life Springer, Heidelberg, 602-612.

Domingue, John, Motta, Enrico, Shum, Simon Buckingham, Vargas-Vera, Maria and Kalfoglou, Yannis (2001) Supporting ontology driven document enrichment within communities of practice. 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. In, 1st International Conference on Knowledge Capture (K-CAP'01), Victoria, Canada,

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

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? UNSPECIFIED , 105-8.

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

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

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

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

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

Leonard, Thomas and Glaser, Hugh (2001) Large scale acquisition and maintenance from the web without source access. Workshop 4, Knowledge Markup and Semantic Annotation, K-CAP 2001 , 97-101.

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

Leuschel, Michael, Massart, Thierry and Currie, Andrew (2001) How to make FDR Spin: LTL model checking of CSP using Refinement. Proceedings of Formal Methods Europe FME'2001 Springer-Verlag, 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. UNSPECIFIED , 109pp.

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

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

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

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

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

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

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

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

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

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

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) Springer-Verlag.

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

Middleton, Stuart Edward, Roure, David C. De and Shadbolt, Nigel R. (2001) Capturing knowledge of user preferences: ontologies in recommender systems. In, UNSPECIFIED

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

Molinari, M, Blott, BH, Cox, SJ and Daniell, GJ (2001) Non-linear Electrical Tomography Reconstruction of Simple Test Objects and a Simulated Head Slice. Proceedings of the 3rd EPSRC Engineering Network Meeting on Biomedical Applications of EIT University College London, Dr. David Holder, 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. In, Biomedizinische Technik / Biomedical Engineering 46 (E3) Fachverlag Schiele & Schoen, 130-1.

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

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

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

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

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

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. 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, USA, 23 - 27 Apr 2001. IEEE Computer Society, 82-82.

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

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

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. Proceedings of the 2001 ICPP Workshops IEEE Computer Society, 207-212.

Sousa, J., Marques-Silva, J. P. and Abramovici, M. (2001) A Configware/Software Approach to SAT Solving. In, 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. International Symposium on Electrical Insulating Materails , 505-508.

Tao, Feng, Contreras, Pedro, Pauer, B., Taskaya, Tugba and Murtagh, Fionn (2001) User interest correlation in log data. In, HCI 2001 International conference in human computer interface, New Orleans, La., USA,

Taskaya, Tugba, Contreras, Pedro, Tao, Feng and Murtagh, Fionn (2001) Data Visualization for large dataset. In, HCI 2001 International conference in human and computer interface, New Orleans, La., USA,

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

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

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. 2001 IEEE 7th International Conference on Solid Dielectrics , 477-80.

Ultes-Nitsche, Ulrich and James, Simon St (2001) Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2001) Kluwer, 369-376.

Vargas-Vera, Maria, Domingue, John, Kalfoglou, Yannis, Motta, Enrico and Shum, Simon Buckingham (2001) Template-driven information extraction for populating ontologies. 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. In, IJCAI'01 Workshop on Ontology Learning, Seattle, WA, USA,

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

Xi, B. and Chen, G. (2001) The influence of the polymer matrix on the PTC properties polyethylene/carbon black composite. UNSPECIFIED , 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. In, 3rd International Conference on Information, Communication and Signal processing, ICICS-2001, Singapore, 15 - 18 Oct 2001.

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. UNSPECIFIED , 412-5.

Monograph

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.

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

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

Thesis

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

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

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

Other

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

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

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.

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.

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

Mitchell, Bill (2001) Coordinating Distributed Requirements Conformance Tests.

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

Mitchell, Bill (2001) Thatched Partial Orders.

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

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

This list was generated on Sun Jul 27 18:08:36 2014 BST.