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

Article

(2000) Realistic three dimensional model of the central airways using healthy volunteer CT images. World Congress in Medical Physics and Bioengineering CD-ROM Proceedings, WE-B305-01.

Addis, M J, Allen, P J and Surridge, M, Stanford-Smith, Brian and Kidd, Paul T (eds.) (2000) Simulation on Demand. E-business: Key Issues, Applications, Technologies, 906-912.

Allen, P.J., Vaccaro, R. and Presutti, G. (2000) ARTISTE: An Integrated Art Analysis and Navigation Environment. Cultivate Interactive, (1)

Antoniou, Ioannis, Reeve, Mike and Stenning, Vic (2000) The Information Society as a Complex System. Journal of Universal Computer Science, 6, (3), 272-288.

Aylett, R., Dautenhahn, K., Doran, J., Luck, M., Moss, S. and Tennenholtz, M. (2000) Can models of agents be transferred between areas? Knowledge Engineering Review, 15, (2), 197-203.

Aylett, R. and Luck, M. (2000) Applying Artificial Intelligence to Virtual Reality: Intelligent Virtual Environments. Applied Artificial Intelligence, 14, (1), 3-32.

B H Blott, B H, Cox, S J, Daniell, G J, Caton, M J and Nicole, D A (2000) High fidelity imaging and high performance computing in nonlinear EIT. Physiological Measurement, 21, (1), 7-13.

Baramov, L. (2000) Solutions to a class of nonstandard nonlinear $H_\infty$ control problems. International Journal of Control, 73, (4), 276--291.

Baramov, L. and Kimura, H. (2000) Nonstandard H-inf control based on (J,J^0)-dissipative factorization. Int. Journal of Robust and Nonlinear Control

Baumberg, J.J., Savvidis, P.G., Stevenson, R.M., Tartakovskii, A.I., Skolnick, M.S., Roberts, J.S. and Whittaker, D.M. (2000) Parametric oscillation in a vertical microcavity: A polariton condensate or micro-optical parametric oscillation. PHYSICAL REVIEW B, 62, (24), R16 247-R16 250.

Bian, W (2000) Solvability of an implicit evolution inclusion with pseudo-monotone mappings. Topol. Methods Nonlinear Anal., 15, 101-112.

Brien, S. M. and Martin, A. P. (2000) A Calculus for Schemas in Z. J. Symbolic Computation, to app

Brittin, M., Mitchell, G. R. and Vaughan, A. S. (2000) Observation of the internal network structure of a polymer-stabilised liquid crystal via transmission electron microscopy. Liquid Crystals, 27, (5), 693-6.

Brown, M. A., Chen, G., Davies, A. E., Dissado, L. A. and Norman, P. A. (2000) Space charge characterization in aged LDPE amalgamated insulation regions from underwater telecommunication systems. IEEE Trans. Dielectrics & Electrical Insulation, 7, (3), 346-352.

CP, Doncaster, GE, Pound and SJ, Cox (2000) The ecological cost of sex. Nature, 404, (6775), 281-285.

Cecil-Wright, Margaret (2000) Joint Effort [mobile robot developments]. IEE Review, 46, 40-41.

Chen, G. and Davies, A. E. (2000) The influence of defects on the short-term breakdown characteristics and long-term dc performance of LDPE insulation. IEEE Trans. Dielectrics and Electrical Insulation, 7, (3), 401-407.

Chen, Y F, Yao, T F and Bagnall, D M (2000) ZnO as a novel material for the UV region. Materials Science and Engineering B., 75, (2-3), 190-198.

Chown, Tim, DeRoure, Dave and Read, Jon (2000) The Use of Firewalls in an Academic Environment. , (Report)

D, Nunn and J, Strangeways H (2000) Trimpi perturbations from large LIE patches. J. Atmospheric and Terrestrial Physics, 62, (3), 933-938.

Diehl, S., Hartel, P. H. and Sestoft, P. (2000) Abstract Machines for Programming Language Implementation. Future Generation Computer Systems, 16, (7), 739-51.

Diehl, S., Hartel, P. H. and Sestoft, P. (2000) Special issue: Principles of Abstract Machines. Future Generation Computer Systems, 16, (7), v-vi.

Fu, M., Chen, G., Davies, A. E., Sutton, S. J. and Patel, D. (2000) Use of fluorimetry in determination of DDB contamination in soils from underground oil-filled power cable leaks. IEE Proceedings- Science, Measurement and Technology, 147, (6), 1-5.

Hall, W (2000) As We May Learn: the Application of Hypermedia in Education. Computing & Control Engineering Journal, 11, (4), 173-178.

Hall, Wendy (2000) The button strikes back. The New Review of Hypermedia and Multimedia, 6, (1), 5-17.

Hey, A.J.G. and Lancaster, D.J., Dongarra, Jack and Bjorstad, Pettee E. (eds.) (2000) The Development of Parkbench and Performance Prediction. The International Journal of High Performance Computing Applications, 14, (3), 205-15.

Hey, T and Lancaster, D (2000) Parallel Performance Analysis and the Future of Parkbench. International Journal of High-Performance Computing, 14, (3), 205-215.

Hosier, I. L., Bassett, D. C. and Vaughan, A. S. (2000) Spherulitic growth and cellulation in dilute blends of monodisperse long n-alkanes. Macromolecules, 33, (23), 8781-8790.

Hosier, I. L., Vaughan, A. S. and Swingler, S. G. (2000) On the effects of morphology and molecular composition on the electrical strength of polyethylene blends. J. Polym. Sci. Part B: Polym. Phys., 38, (17), 2309-22.

Hosier, I.L. and Bassett, D.C. (2000) A study of the morphologies and growth kinetics of three monodisperse n-alkanes: C122H246, C162H326 and C246H494. Polymer, 41, (25), 8801-8812.

Hothi, J, Hall, W and Sly, T, Brusilovsky, P, Stock, O and Strapparava, C (eds.) (2000) A Study Comparing the Use of Shaded Text and Adaptive Navigational Support in Adaptive Hypermedia. Lecture Notes in Computer Science, 1892, 335-342.

Jackson, P.J.B. and Shadle, C.H. (2000) Frication noise modulated by voicing, as revealed by pitch-scaled decomposition. Journal of the Acoustical Society of America, 108, (4), 1421-1434.

Kalfoglou, Yannis, Menzies, Tim, Althoff, Klaus-Dieter and Motta, Enrico (2000) Meta-Knowledge in systems design: panacea ...or undelivered promise? The Knowledge Engineering Review, 15, (4), 381-404.

Kalfoglou, Yannis, Menzies, Tim, Althoff, Klaus-dieter and Motta, Enrico (2000) Meta-Knowledge in systems design: panacea ...or undelivered promise? Knowledge Engineering Review, 15, (4), 381-404.

Koukharenko, E and Shepelevich, VG (2000) Structure and electrical properties of Bi2-xSbxTe3 obtained by quick quenching. Inorganic Materials, 36. (2) pp. 185-187. Inorganic Materials, 36, (2), 185-187.

Light, P, Nesbitt, E, Light, V and White, S (2000) Variety is the spice of life: Student use of CMC in the context of campus based study. Computers and Education, 34, (3-4), 252-267.

Light, Paul, Crook, Charles and White, S.A. (2000) Learning Sites: Networked Resources and the Learning Community. The New Review of Information Networking, 6, 187-194.

Menzies, Tim, Althoff, Klaus-Dieter, Kalfoglou, Yannis and Motta, Enrico (2000) Issues with Meta-Knowledge. The International Journal of Software Engineering and Knowledge Engineering, 10, (4), 549-555.

Menzies, Tim, Althoff, Klaus-dieter, Kalfoglou, Yannis and Motta, Enrico (2000) Issues with Meta-Knowledge. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 10, (4), 549-555.

Nunn, D and Strangeways, HJ (2000) Trimpi Perturbations from Large Ionisation Enhancement Patches. Journal of Atmospheric and Solar Terrestrial Physics, 62, 189-206.

Oon, T B, Steele, R and Li, Y (2000) Performance of an Adaptive Successive Serial-Parallel CDMA Cancellation Scheme in Flat Rayleigh Fading Channels. IEEE Transactionsl on Vehicular Technology, 49, (1), 130-147.

Oon, TB, Steele, R and Li, Y (2000) Performance of an Adaptive Successive Serial-Parrallel CDMA Cancellation Scheme in Flat Rayleigh Fading Channels. IEEE Transactions on Vehicular Technology, 49, (1), 130-147.

Papakostas, Thomas, Beeby, Steve (ed.) (2000) Sensing opportunities for thick-film polymers. , (1), 1-2.

Pisanski, T. and Shawe-Taylor, J. (2000) Characterising graph drawing with eigenvectors. Journal of Chemical Information and Computer Sciences, 40, (3), 567-571.

Price, Andrew R., Fangohr, Hans, Cox, Simon J. and Groot, Peter A.J. de (2000) Monte Carlo Simulation of Layered High Temperature Superconductors. Physica C, 341-34, (1-4), 1303-1304.

Rana, O., Preist, C. and Luck, M. (2000) Progress in Multi-Agent Systems Research. Knowledge Engineering Review, 15, (3), 285-292.

Ross, JN, Markvart, T and He, W (2000) Modelling battery charge regulation for stand-alone photovoltaic systems. Solar Energy, 69, (3), 181-190.

Roure, D.C. De and Blackburn, S.G. (2000) Content-based navigation of music using melodic pitch contours. Multimedia Systems, 8, (3), 190-200.

Rutt, HN (2000) Letter on Is there are proof that homeopathic medicine works? The Guardian

Rutt, HN (2000) Letter on Why do sailors and air navigators use nautical miles? Aren't ordinary miles good enough? The Guardian

S, Haussermann, G, Bailey A, R, Bailey M, G, Etherington, A, Guilmette R and J, Yongman M (2000) Influence of anatomical factors on particle deposition in the nose. Journal of Aerosol Science, 31, (1), 134-5.

Sauret, V, Fleming, J S and Bailey, A G (2000) 3D computer asymmetric model of the airways. Nuclear Medicine Communications, 21, (2), 208.

Sauret, V, Fleming, J S, Bailey, A G, Halson, P and Goatman, K A (2000) Interpretation of SPECT data on aerosol deposition in relation to the airway tree. Nuclear Medicine Communications, 21, (4), 393.

Stewart, R W, Harteneck, M and Weiss, S (2000) Interactive Teaching of Adaptive Signal Processing. Engineering Science and Education Journal, 9, (4), 161-168.

Stewart, R.W. and Weiss, S., Stewart, R W and Weiss, S (eds.) (2000) Special Issue on Active Noise Control and Acoustic Echo Cancellation. International Journal of Adaptive Control and Signal Processing, 14, (6), 563-680.

Wang, X, Lewin, P L, Davies, A E and Sutton, S J (2000) Method to Determine the Activation Energy of a Polymeric Material from Thermally Stimulated Discharge Current Measurements. IEE Proceedings: Science, Measurement and Technology, 147, (1), 2-6.

Weiss, S. and Stewart, R.W. (2000) Fast Implementation of Oversampled Modulated Filter Banks. Electronics Letters, 36, (17), 1502-1503.

White, Su, Conole, Grainne and Oliver, Martin (eds.) (2000) Quality assurance and learning technologies:intersecting agendas in UK higher education. Quality Assurance in Education, 8, (1), 7-15.

Wood, J. (2000) Modules and behaviours in nD systems theory. Multidimensional Systems and Signal Processing, 11, 11-48.

Wu, D., Bennett, K.P., Cristianini, N. and Shawe-Taylor, J. (2000) Enlarging the Margins in Perceptron Decision Trees. Machine Learning, 41, (3), 295-313.

Book

Montanari, U. and Sassone, V. (eds.) (2000) Proceedings of the International Workshop on Concurrency and Coordination, ConCoord. ENTCS vol. 54, Elsevier

Cristianini, N. and Shawe-Taylor, J. (2000) An introduction to Support Vector Machines, Cambridge University Press

Henderson, Peter (2000) Systems Engineering for Business Process Change, Springer Verlag UK

de Watteville, Alastair and Gilbert, Lester (2000) Information and Communication Technology, Heinemann

Book Section

Bennett, Kristin P., Demiriz, Ayhan and Shawe-Taylor, John (2000) A Column Generation Algorithm for Boosting. In, Proceedings of ICML'2K. , Morgan Kaufmann, 65-72.

Cristianini, N., Shawe-Taylor, J. and Lodhi, H. (2000) Latent Semantic Kernels. In, International Conference on Machine Learning (ICML 2000). , Morgan Kaufmann, 66-73.

Di Paolo, Ezequiel A., Noble, Jason and Bullock, Seth (2000) Simulation models as opaque thought experiments. In, Bedau, Mark A., McCaskill, John S., Packard, Norman and Rasmussen, Steen (eds.) Seventh International Conference on Artificial Life. the Seventh International Conference on Artificial Life , MIT Press, Cambridge, MA, 497-506.

Graepel, Thore, Herbrich, Ralf and Shawe-Taylor, John (2000) Generalisation Error Bound for Sparse Linear Classifiers. In, Proceedings of Computational Learning Theory Conference, COLT'2K. , Morgan Kaufmann, 298-303.

Graepel, Thore, Herbrich, Ralf and Shawe-Taylor, John (2000) Sparsity vs. Large Margins for Linear Classifiers: A Small Sample Size Study. In, Proceedings of Computational Learning Theory Conference, COLT'2K. , Morgan Kaufmann, 304-308.

Karakoulas, Grigoris and Shawe-Taylor, John (2000) Towards a strategy for boosting regressors. In, Smola, Alexander J, Bartlett, Peter L, Schölkopf, Bernhard and Schuurmans, Dale (eds.) Advances in Large Margin Classifiers. , MIT Press, 247-258.

Lodhi, Huma, Karakoulas, Grigoris and Shawe-Taylor, John (2000) Boosting the Margin Distribution. In, Proceedings of Intelligent Data Engineering and Automated Learning -- IDEAL 2000, Lecture Notes in Computer Science, 1983. , Springer, 54-59.

Platt, John C., Cristianini, Nello and Shawe-Taylor, John (2000) Large Margin DAGs for Multiclass Classification. In, Proceedings of Neural Information Processing Systems, NIPS'99. , MIT Press, 547-553.

Rising, Barry, Shawe-Taylor, John and Zerovnik, Janez v (2000) Graph Colouring by Maximal Evidence Edge Adding. In, Proceedings of the 3rd international conference on the Practice And Theory of Automated Timetabling. , Springer-Verlag.

Rychetsky, Matthias, Shawe-Taylor, John and Glesner, Manfred (2000) Direct Bayes Point Machines. In, Proceedings of ICML'2K. , Morgan Kaufmann, 815-822.

Scholkopf, Bernhard, Williamson, Robert C., Smola, Alex and Shawe-Taylor, John (2000) SV Estimation of a Distribution's Support. In, Proceedings of Neural Information Processing Systems, NIPS'99. , MIT Press, 582-588.

Shawe-Taylor, John and Cristianini, Nello (2000) Margin Distribution and Soft Margin. In, Bartlett, Peter J, Schölkopf, Bernard, Schuurmans, Dale and Smola, Alex J (eds.) Advances in Large Margin Classifiers. , MIT Press, 349-358.

Smola, Alex J., Shawe-Taylor, John, Scholkopf, Bernhard and Williamson, Robert C. (2000) The Entropy Regularization Information Criterion. In, Proceedings of Neural Information Processing Systems, NIPS'99. , MIT Press, 342-48.

Smola, Alex J., Shawe-Taylor, John, Scholkopf, Bernhard and Williamson, Robert C. (2000) The Entropy Regularization Information Criterion. In, Proceedings of Neural Information Processing Systems, NIPS'99. , MIT Press, 342-348.

Conference or Workshop Item

(2000) Modified MAP Algorithm for Extended Turbo BCH Codes and Turbo Equalisers. 3G 2000 International Conference on Mobile Communication Technologies, Hilton Metropole Hotel, London, UK, 27 - 29 Mar 2000.

Addis, M J, Allen, P J and Surridge, M (2000) Negotiating for Software Services. Eleventh International Workshop on Database and Expert Systems Applications (DEXA 2000), London, UK, 04 - 08 Sep 2000. IEEE Computer Society, 1039-1043.

Addis, M J, Rana, O F, Bunford-Jones, D, Walker, D W, Harwick, K and Surridge, M (2000) Agent Based Resource Discovery for Dynamic Clusters. IEEE International Conference on Cluster Computing, Chemnitz, Germany,

Antonacopoulos, Apostolos and Karatzas, Dimosthenis (2000) An Anthropocentric Approach to Text Extraction from WWW Images. In, 4th IAPR International Workshop on Document Analysis Systems, Rio de Janeiro, Brazil, , 515-525.

Arai, Sachiyo, Sycara, Katia and Payne, Terry R. (2000) Experience-based Reinforcement Learning to Acquire Effective Behavior in a Multiagent Domain. In, The Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI 2000) , 125-135.

Arai, Sachiyo, Sycara, Katia and Payne, Terry R. (2000) Multi-Agent Reinforcement Learning for Planning and Scheduling Multiple Goals. At Fourth International Conference on Multi-Agent Systems (ICMAS-2000)

Arai, Sachiyo, Sycara, Katia and Payne, Terry R. (2000) Multi-agent Reinforcement learning for Planning and Scheduling Multiple Goals. In, The International Conference on Multi-Agent Systems (ICMAS2000) , 359-360.

Ashri, R. and Luck, M. (2000) Agent Implementation through Jini. Proceedings of the Eleventh International Workshop on Database and Expert Systems Applications IEEE Computer Society Press, 453-457.

Bailey, Christopher and Hall, Wendy (2000) An Agent-Based Approach to Adaptive Hypermedia Using a Link Service: VOL. 1892. Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, Germany Springer-Verlag, 260-263.

Baptista, L. and Marques-Silva, J. P. (2000) Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. In, Proceedings of the International Conference on Principles and Practice of Constraint Programming, Springer Verlag, 489-494.

Blackburn, S G and De Roure, D (2000) Musical Part Classification in Content Based Systems. In, Open Hypermedia Systems and Structural Computing: 6th International Workshop, San Antonio, Texas, USA, 30 May - 04 Jun 2000. Springer Berlin / Heidelberg.

Brignell, J.E., Cathie, J.P. and Sargeant, D. (2000) Towards an Intrinsically safe, optically powered sensor system. UNSPECIFIED

Bryson, K., Luck, M., Joy, M. and Jones, D.T. (2000) Applying Agents to Bioinformatics in GeneWeaver. Cooperative Information Agents IV, LNAI 1860 Springer-Verlag, 60-71.

Bullock, Seth (2000) What can we learn from the first evolutionary simulation model? In, the Seventh International Conference on Artificial Life MIT Press, Cambridge, MA, 477-486.

Cariou-Saintemarie, N, Davies, A E and Head, J G (2000) Electroluminescence measurement in polyethylene insulation. Proc. 8th International Conference on Dielectric Materials, Measurements and Applications , 430-3.

Champion, J. V., Dodd, S. J., Vaughan, A. S., Zhao, Y. and Sutton, S. J. (2000) The effect of voltage, temperature and morphology on electrical treeing in polyethylene blends. Proceedings of 8th International Conference on Dielectric Materials, Measurements and Applications , 35-40.

Chen, G., Davies, A. E. and Xi, B. (2000) Charge formation and decay in gamma-irradiated low density polyethylene. 6th International Conference on Properties and Applications of Dielectric Materials , 443-446.

Crowder, R M, McKendrick, R, Rowe, R, Auriol, E and Tellefsen, M (2000) Maintenance of Robotic Systems using Hypermedia and Case-Based Reasoning. IEEE International Conference on Robotics and Automation, San Francisco, USA, IEEE, 2422-2427.

Currie, Andrew, Leuschel, Michael and Massart, Thierry (2000) LTL Model Checking of CSP by Refinement: How to Make FDR Spin. Proceedings of VCL'2000 , 49-63.

Currie, Andrew J (2000) A Comparison of Three Model Checkers Applied to a Distributed Database Problem. Proc. 4th Irish Workshop on Formal Methods , 46-56.

El-Beltagy, Samhaa, DeRoure, David and Hall, Wendy (2000) The Evolution of a Practical Agent-based Recommender System. Workshop on Agent-based Recommender Systems, Autonomous Agents 2000 ACM.

El-Beltagy, Samhaa, DeRoure, David and Hall, Wendy (2000) Where Do I Go From Here: A Multiagent System To Support Collaborative Web Browsing. the Ninth International World Wide Web Conference(Poster Proceedings) , 40-41.

Forcer, Tim (2000) SoftPIC - the disembedded microcontroller. At EEUG Workshop on Embedded Systems & Hardware/Software Co-design, Sorby Hall, University of Sheffield, 06 - 07 Sep 2000.

Fu, M., Chen, G., Davies, A. E. and Head, J. (2000) A modified PEA system for space charge measurement of power cables. 8th International Conference on Dielectric Materials, Measurements and Applications , 74-79.

Fu, M., Chen, G., Davies, A. E., Tanaka, Y. and Takada, T. (2000) A new PEA space charge measuring system for power cables. 6th International Conference on Properties and Applications of Dielectric Materials , 104-107.

Generowicz, J.M., Hiett, B.P., Beckett, D.H., Cox, S.J., Molinari, M. and Parker, G. (2000) Modelling Photonic Crystals Using Finite Elements. UNSPECIFIED EPSRC.

Generowicz, J.M., Hiett, B.P., Cox, S.J. and Beckett, D.H. (2000) Modelling 3 Dimensional Crystals using Vector Finite Elements. Applied Optics and Opto-Electronics Conference The Institute of Physics, 4-5.

Gruner, S. (2000) A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling. Applications of Graph Transformations with Industrial Relevance Springer.

Gruner, S. and Kurt, M. (2000) Diagrammatic Control of Diagrammatic Structure Generation. Theory and Applications of Diagrams Springer, 422-436.

Gruner, S., Kurt, M. and Taentzer, G. (2000) A Visual Modeling Technique for Controlling Graph Transformations. 1st Internat. Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of ICALP 2000) Carleton Scientific.

H, Zhao, P, Castle G S, II, Inculet and G, Bailey A (2000) Bipolar charging of polydisperse powders in industrial processes. UNSPECIFIED IEEE.

Hartel, P. H. (2000) Formalising Java safety -- An overview. 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CAR DIS) Kluwer Academic Publishers, Boston, 115-134.

Henderson, Neil J. and Hartel, Pieter (2000) 'Pressure Sequence' - A Novel Method of Protecting Smartcards. 4th smart card reserach and advanced application conference , 241-256.

Hindriks, K., d'Inverno, M. and Luck, M. (2000) Architecture for Agent Programming Languages. Proceedings of the Fourteenth European Conference on Artificial Intelligence IOS Press, 363-367.

Ho, Y. F. F., Chen, G., Davies, A. E., Hampton, R. N., Hobdell, S., Suttun, S. J. and Swingler, S. G. (2000) Space charge measurements of XLPE under 50 Hz AC conditions. 8th International Conference on Dielectric Materials, Measurements and Applications , 68-73.

Hosier, I. L., Vaughan, A. S., Sutton, S. J., Patel, D. and Swingler, S. G. (2000) Too insulating or not too insulating? At Proceedings of 8th International Conference on Dielectric Materials, Measurements and Applications , 9-14.

Hughes, J.F. (2000) Electrostatic Targeting for Allergen Removal and Pest Control Applications. UNSPECIFIED Institute of Electrostatics, Japan/ Electrostatics Society of America, 67-77.

Huynh, R. L., Davis, F. J., Patel, D. and Vaughan, A. S. (2000) Degradation of dodecylbenzene under conditions of high electric field. Proceedings of 8th International Conference on Dielectric Materials, Measurements and Applications , 224-9.

Irenji, N Taghizadeh (2000) High-Speed PM Gas Turbine Generators. UNSPECIFIED The UK Magnetics Society.

Irenji, N Taghizadeh, Abu-Sharkh, S M and Harris, M R (2000) Effect of rotor sleeve conductivity on rotor eddy-current loss in high-speed PM machines. UNSPECIFIED ICEM 2000, 645-48.

Jackson, P.J.B. and Shadle, C.H. (2000) Aero-acoustic modelling of voiced and unvoiced fricatives based on MRI data. 5th Speech Production Seminar , 185-188.

Jackson, P.J.B. and Shadle, C.H. (2000) Performance of the pitch-scaled harmonic filter and applications in speech analysis. IEEE-ICASSP 2000 , 1311-1314.

Jesus, Luis M.T. and Shadle, Christine H. (2000) Parameterizing spectral characteristics of European Portuguese fricatives. 5th Speech Production Seminar , 301-4.

Joy, M., Chan, P.-S. and Luck, M. (2000) Networked Submission and Assessment. Proceedings of the 8th Annual Conference on the Teaching of Computing LTSN Center for Information and Computer Sciences, 41-45.

Kalfoglou, Yannis (2000) On the convergence of core technologies for knowledge management and organisational memories: ontologies and experience factories. ECAI'00 Workshop on Knowledge Management and Organizational Memories (KMOM'00) , 48-55.

Kalfoglou, Yannis (2000) On the convergence of core technologies for knowledge management and organisational memories: ontologies and experience factories. In, ECAI'00 Workshop on Knowledge Management and Organizational Memories, Berlin, Germany,

Kalfoglou, Yannis and Robertson, Dave (2000) Applying experienceware to support ontology deployment. In, 12th International Conference on Software Engineering and Knowledge Engineering, Chicago, IL, USA,

Kalfoglou, Yannis and Robertson, David (2000) Applying experienceware to support ontology deployment. 12th International Conference on Software Engineering and Knowledge Engineering (SEKE00) , 266-275.

Kim, J., Whittemore, J., Marques-Silva, J. P. and Sakallah, K. A. (2000) On Applying Boolean Satisfiability to Delay Fault Testing. In, Proceedings of the Design, Automation and Test in Europe Conference, Munich, Germany, , 380-384.

Lehmann, Helko and Leuschel, Michael (2000) Decidability Results for the Propositional Fluent Calculus. Proceedings of the International Conference on Computational Logic (CL'2000) Springer-Verlag, 762-776.

Lenox, T.L., Hahn, S., Lewis, M., Payne, T.R. and Sycara, K. (2000) Task characteristics and Intelligent Aiding. 2000 IEEE International Conference on Systems, Man, and Cybernetics, Nashville, TN, USA, , 1123-1127.

Lenox, Terri L., Payne, Terry R., Hahn, Susan, Lewis, Michael and Sycara, Katia (2000) Agent-based aiding for individual and team planning tasks. In, IEA 2000/HFES 2000 Congress

Leuschel, Michael and Lehmann, Helko (2000) Coverability of Reset Petri Nets and other Well-Structured Transition Systems by Partial Deduction. Proceedings of the International Conference on Computational Logic (CL' 2000) Springer-Verlag, 101-115.

Leuschel, Michael and Lehmann, Helko (2000) Solving Coverability Problems of Petri Nets by Partial Deduction. Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP'2000) ACM Press, 268-279.

Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (2000) Proceedings of the Workshop on Verification and Computational Logic VCL'2000. UNSPECIFIED , 150pp.

Luck, M. and d'Inverno, M. (2000) Plan Analysis for Autonomous Sociological Agents. Proceedings of the 7th International Workshop on Agent Theories, Architectures and Languages , 172-186.

Manquinho, V. and Marques-Silva, J. P. (2000) On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. In, Proceedings of the Design, Automation and Test in Europe Conference, Munich, Germany, , 356-363.

Manquinho, V. and Marques-Silva, J. P. (2000) Search Pruning Conditions for Boolean Optimization. In, Proceedings of the European Conference on Artificial Intelligence, Berlin, Germany, , 130-107.

Marques-Silva, J. P. (2000) Algebraic Simplification Techniques for Propositional Satisfiability. In, Proceedings of the International Conference on Principles and Practice of Constraint Programming, Springer Verlag, 537-542.

Marques-Silva, J. P. and Sakallah, K. A. (2000) Boolean Satisfiability in Electronic Design Automation. In, Proceedings of the Design Automation Conference, Los Angeles, California, U.S.A., ACM Press, 675-680.

Mitchell, Bill (2000) Protecting Secret Keys in a Compromised Computational System. In, Third International Workshop, IH’99, Dresden, Germany, 29 Sep - 01 Oct 1999. pringer Berlin / Heidelberg , 448-462.

Molinari, M (2000) Poster: Efficient Electrical Impedance Tomography for Non-Invasive Medical Imaging. UNSPECIFIED

Molinari, M and Cox, SJ (2000) Poster: Fast Electrical Impedance Tomography for Non-Invasive Medical Imaging. UNSPECIFIED

Molinari, M, Cox, SJ, Blott, BH and Daniell, GJ (2000) Adaptive Mesh Refinement for Electrical Impedance Tomography. Proceedings of the 2nd EPSRC Engineering Network meeting on Biomedical Applications of EIT , 14-18.

Papakostas, T. and White, N. M. (2000) Thick-Film polymer sensors for physical variables. MTEC 2000 - Birmingham

Payne, Terry R. and Edwards, Peter (2000) Dimensionality Reduction through Sub-Space Mapping for Nearest Neighbour Algorithms. In, European Conference on Machine Learning , 331-343.

Payne, Terry R. and Edwards, Peter (2000) Dimensionality Reduction through Sub-Space Mapping for Nearest Neighbour Algorithms. In, The 10th European Conference on Machine Learning , 331-343.

Payne, Terry R., Lenox, Terri L., Hahn, Susan, Lewis, Michael and Sycara, Katia (2000) Agent-Based Team Aiding in a Time Critical Task. In, HICSS - Hawai'i International Conference on System Sciences

Payne, Terry R., Lenox, Terri L., Hahn, Susan, Sycara, Katia and Lewis, Michael (2000) Agent-Based Support for Human/Agent Teams. At CHI 2000 (Demonstrations)

Payne, Terry R., Sycara, Katia, Lewis, Michael, Lenox, Terri L. and Hahn, Susan (2000) Varying the User Interaction within Multi-Agent Systems. In, Autonomous Agents 2000 , 412-418.

Payne, Terry R., Sycara, Katia, Lewis, Michael, Lenox, Terri L. and Hahn, Susan (2000) Varying the User Interaction within Multi-Agent Systems. In, The Fourth International Conference on Autonomous Agents , 412-418.

Peng, H.-C. and Gan, Q. (2000) SOCR 1.03: A handwritten data form producing and reading system. International Workshop on Multimedia Data Storage, Retrieval, Integration and Applications, Hong Kong , 197-202.

Rice, G, Garcia-Alis, D, Stirling, I, Weiss, S and Stewart, R W (2000) An Adaptive MMSE RAKE Receiver. 34th Asilomar Conference on Signals, Systems, and Computers , 808-12.

Rocha, P. and Wood, J. (2000) Interconnection and control of multidimensional systems using latent variables. Proc. 14th International Symposium on the Mathematical Theory of Networks and Systems (MTNS 2000) , 8pp on CD-rom.

S, Haussermann, G, Bailey A, R, Bailey M, G, Etherington and M, Youngman (2000) Deposition of large particles in an artificial nasal cavity. UNSPECIFIED The Aerosol Society, 82-85.

Saunders, C., Gammerman, A., Brown, H. and Donald, G. (2000) Application of Support Vector Machines to Fault Diagnosis and Automated Repair. In, Eleventh International Workshop on Principles of Diagnosis (DX '00)

Saunders, C., Gammerman, A. and Vovk, V. (2000) Computationally Efficient Transductive Machines. At Eleventh International Conference on algorithmic Learning Theory 2000 (ALT '00) Springer-Verlag.

Shi, D. and Tan, C. L. (2000) GA-based Supervised Learning of Neocognitron. Proc. IJCNN 2000, IEEE-INNS-ENNS International Joint Conference on Neural Network 2000 Proc. IJCNN 2000, IEEE-INNS-ENNS International Joint Conference on Neural Network 2000.

Shu, W. and Shi, D. (2000) An Extension Matrix Approach to Chinese Character Recognition. Proc. IEEE SMC2000 Proc. IEEE SMC2000.

Stewart, R W, Weiss, S, Quayle, J D and Garcia-Alis, D (2000) Digital Signal Processing Education: Technology and Tradition. !st Signal Processing Education Workshop

Stirling, I, Garcia-Alis, D, Weiss, S, Rice, G W and Stewart, R W (2000) A Joint Adaptive MMSE Downlink Receiver. 34th Asilomar Conference on Signals, Systems, and Computers , 1436-40.

Takeda, A.L., Cox, S.J. and Payne, A.J. (2000) Parallel numerical modelling of ice flow in Antarctica. UNSPECIFIED CSREA Press, 335-41.

Tao, Feng and Murtagh, Fionn (2000) Information self-organization for knowledge discovery. In, MIW'2000 International Workshop on Management of Information on the Web - Methodologies and Applications, DEXA 2000, Greenwich, London, 06 - 08 Sep 2000.

Tao, Feng and Murtagh, Fionn (2000) Towards knowledge discovery from WWW log data. IEEE International Conference on Information Technology: Coding and Computing, Las Vegas, USA, 27 - 29 Mar 2000. , 302-307.

Tian, Y, Lewin, P L, Davies, A E and Hathaway, G (2000) Acoustic Emission Techniques for Partial Discharge Detection within Cable Insulation. 8th International Conference on Dielectric Materials, Measurements and Applications , 503-8.

Ultes-Nitsche, Ulrich (2000) Satisfaction up to Liveness � Automatic Verification based on Exhaustive Testing. Proceedings of the IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/ PSTV�2000) Kluwer, 237-248.

Ultes-Nitsche, Ulrich and James, Simon St (2000) Weakly Continuation-Closed Abstractions can be Defined on Trace Reductions. Proceedings of the International Workshop on Verification and Computational Logic (VCL�2000) University of Southampton, 11 pages.

Ultes-Nitsche, Ulrich and Teufel, Stephanie (2000) Secure Access to Medical Data over the Internet. Trends in Information and Communication Systems for the 21st Century --- Proceedings of the 8th European Conference on Information Systems Wirtschaftsuniversität Wien, 1331-1337.

V, Sauret, S, Fleming J and G, Bailey A (2000) 3D realistic anatomical model of the central airways to improve aerosol deposition predictions and medical imaging analysis. UNSPECIFIED , 527-529.

Wason, Jasmin L, Cox, Simon J and Keane, Andrew J (2000) Flexible Knowledge Repositories for Problem Solving Environments. Data Management 2000 - Proceedings of the International Workshop on Advanced Data Storage / Management for High Performance Computing Council for the Central Laboratory of the Research Councils, 199-205.

Weiss, S (2000) On the Analysis and Fast Implementation of Oversampled Modulated Filter Banks. 5th International Conference on Mathematics in Signal Processing

Weiss, S, Liu, W, Stewart, R W and Proudler, I K (2000) A Generalised Sidelobe Canceller Architecture Based on Oversampled Subband Decompositions. 5th International Conference on Mathematics in Signal Processing

Weiss, S and Stewart, RW (2000) Fast Implementation of Oversampled Modulated Filter Banks. 3rd European DSP Education and Research Conference

Wu, L., Faloutsos, C., Sycara, K. and Payne, T.R. (2000) FALCON: Feedback Adaptive Loop for Content-Based Retrieval. Very Large Databases

Wu, X., Chen, G., Davies, A. E., Tanaka, Y. and Sutton, S. J. (2000) Space charge measurement in polyethylene insulation under elecric stress from dc to ac. 8th International Conference on Dielectric Materials, Measurements and Applications , 57-62.

Xi, B. and Chen, G. (2000) The mechanisim of electrical conduction in polyethylene/carbon black composite. 6th International Conference on Properties and Applications of Dielectric Materials , 1015-1018.

Xi, B. and Chen, G. (2000) The mechanism of PTC effect in polyethylene/carbon black composite. 6th International Conference on Properties and Applications of Dielectric Materials , 995-998.

Xi, B., Chen, G. and Davies, A. E. (2000) Investigation into the positive temperature coefficient effect in polyethylene/carbon black composites. 8th International Conference on Dielectric Materials, Measurements and Applications , 480-484.

Xu, Y., Yu, M., Cao, X., Qiu, C. and Chen, G. (2000) Comparison between optical and electrical methods for partial discharge measurement. 6th International Conference on Properties and Applications of Dielectric Materials , 300-303.

Zhao, Y., Vaughan, A. S., Champion, J. V., Dodd, S. J. and Sutton, S. J. (2000) The structure of trees in semi-crystalline polymers. Proceedings of 8th International Conference on Dielectric Materials, Measurements and Applications , 314-9.

d'Inverno, M., Hindriks, K. and Luck, M. (2000) A Formal Architecture for the 3APL Agent Programming Language. ZB2000: Formal Specification and Development in Z and B - 1st International Conference of B and Z Users, LNCS 1878 Springer, 168-187.

d'Inverno, M. and Luck, M. (2000) Sociological Agents for Effective Social Action. Proceedings of the Fourth International Conference on Multi-Agent Systems IEEE Computer Society, 379-380.

Monograph

Allen, P J, Lilley, T and Warren, J (2000) Public Final Report of ESPRIT HPCN PST Activity MARKET. , IT Innovation

Auriol, E, Minguy, B, Scott, C J and Tellefsen, M (2000) HELPMATE Definition of Best Practice. , IT Innovation

Cecil-Wright, Margaret and Gordon, Paul (2000) Public Final Report of IST HPCN TTN ESCALATE - Exploiting Synergies and Co-operative Actions Leading to Accelerated Take-up and Effectiveness.

Darbari, Ashish (2000) Rule Extraction from Trained ANN: A Survey.

Hofmann, J, Hammond, J S, Carter, C, Saget, B, Saflund, M and Hall, G (2000) RAPIER Final Report. , IT Innovation

Knudsen, T, Auriol, E, Rowe, R, Scott, C J, McKendrick, R J and Crowder, R (2000) HELPMATE Final Project Report. , IT Innovation

Leuschel, Michael and Bruynooghe, Maurice (2000) Control Issues in Partial Deduction: The Ever Ending Story.

Papakostas, T. V. (2000) Sensing force/pressure/strain with polymer thick-films.

Wu, Leejay, Faloutsos, Christos, Sycara, Katia and Payne, Terry R. (2000) FALCON: Feedback Adaptive Loop for Content-Based Retrieval.

Thesis

Darbari, Ashish (2000) First Order Rule Learning through a Pulsed Neural Network. TU Dresden, Germany, Computer Science, Masters Thesis .

Dodd, Tony (2000) Prior Knowledge for Time Series Modelling. University of Southampton, : University of Southampton, Doctoral Thesis .

Jackson, P.J.B. (2000) Characterisation of plosive, fricative and aspiration components in speech production. Department of Electronics and Computer Science, : University of Southampton, Doctoral Thesis .

Nicolici, N. (2000) Power Minimisation Techniques for Testing Low Power VLSI Circuits (PhD Dissertation). : University of Southampton, Doctoral Thesis .

Saunders, C. (2000) Efficient Implementation and Experimental Testing of Transductive Algorithms for Predicting with Confidence. Royal Holloway, University of London, Department of Computer Science : Royal Holloway, University of London, Doctoral Thesis .

Tansley, Robert (2000) The Multimedia Thesaurus: Adding A Semantic Layer to Multimedia Information. : University of Southampton, Doctoral Thesis .

Zaris, P. (2000) A Behavioural Approach to the Zero Structure of Multidimensional Linear Systems. : University of Southampton, UK, Doctoral Thesis .

Other

Adhianto, L., Chapman, B., Lancaster, D. and Wolton, I., Bodin, F., Hascoet, L., Kneer, A. and Wirtz, M. (eds.) (2000) Tools for OpenMP Application Development: The POST Project. Concurrency: Practice and Experience, 12, 1177-1191.

Broan, C.J., Williams, T.J. and Bailey, A.G. (2000) Separation method and apparatus.

Cliff, Dave (2000) Patent: GB 2,367,181: Data Display.

Cliff, Dave (2000) Patent: US 6,897,868: Visual representation of audio content.

D, Fairley P and N, Rutt H (2000) Novel germanium infrared modulator. J. Phys. D: Appl. Phys., 33, 2837-2852.

El-Beltagy, Samhaa (2000) Context, Queries, and the Web. , (ECSTR-)

Fangohr, Hans, Cox, Simon, Price, Andrew, Daniell, Geoffrey J., Robinson, Alexa M. and Groot, Peter de (2000) Long-range forces and data compression in Vortex State simulations.

Fangohr, Hans, Cox, Simon J. and Groot, Peter A.J. de (2000) Molecular dynamics simulation studies of driven vortex systems in the presence of a transverse force.

Hughes, J.F., Whitmore, L.F., Fox, R.T., Harrison, N.M. and Harper, D. (2000) Compressed Gas Spraying.

Lehmann, Helko and Leuschel, Michael, Voronkov, Andrei (ed.) (2000) Solving Planning Problems by Partial Deduction. , to appear.

Molinari, M, Cox, SJ, Daniell, GJ and Blott, BH (2000) Efficient Non-Linear Electrical Impedance Tomography.

P, Berry J, J, Mulvey S, G, Bailey A, T, Thew M, J, Williams T, J, Wayth N and O, Urdahl (2000) Compact electrostatic coalescer.