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

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: 201.

Addis, M J, Allen, P J, Cheng, Y, DeRoure, D, Hall, M and Hall, W (1999) Making WWW applications weather proof: adaptive use of Internet bandwidth. At 8th International World Wide Web Conference (WWW8), Toronto, Ontario, Canada, 11 - 14 May 1999. Elsevier Science, 164-165.

Addis, M J, Allen, P J, Cheng, Y, Hall, M, Stairmand, M, Hall, W and DeRoure, D (1999) Spending less time in Internet traffic jams. Fourth International Conference on the Practical Application of Intelligent Agents and Multi-Agents (PAAM99), London, UK, 19 - 21 Apr 1999. The Practical Application Company Ltd., 193-209.

Allen, P J (1999) Data Warehouse Design: The Impact of Data Mining. , IT Innovation

Allen, P J and Taylor, S J (1999) MARKET Final Demonstration System Documentation. , IT Innovation

Allsopp, N K, Cooper, T P, Ftakas, P and Macey, P C (1999) Porting Legacy Engineering Applications onto Distributed NT Systems. 3rd USENIX Windows NT Symposium, Seattle, Washington, 12 - 13 Jul 1999. Advanced Computing Systems Association, 41-48.

Allsopp, N K and Gordon, P L (1999) Public Final Report of ESPRIT HPCN PST Activity PERMAS-D, Parallel PERMAS Deployment. , IT Innovation

Allsopp, N K and Gordon, P L (1999) A survey of high performance computing applications in European telemedical projects. At Telemed 98, London, UK, 25 - 26 Nov 1998. Royal Society of Medicine, 276.

Argles, David (1999) Delivering Hardware Design over the Internet. In, CTI Conference on Computer-Supported Cooperative Learning, Durham University, UK,

Argles, David (1999) Using a Virtual Machine to Teach Hardware Design. In, CTI Conference on the Teaching of Computing, University of Ulster, Belfast, , 10-16.

Auriol, E, Crowder, R, McKendrick, R J, Rowe, R and Knudsen, T (1999) Integrating case-based reasoning and hypermedia documentation: an application for the diagnosis of a welding robot at Odense steel shipyard. Engineering Applications of Artificial Intelligence, 12, 691-703.

Auriol, E, Crowder, R M, McKendrick, R J, Rowe, R and Knudsen, T (1999) Integrating Case-Based Reasoning and Hypermedia Documentation: An Application for the Diagnosis of a Welding Robot at Odense Steel Shipyard. International Conference on Case-Based Reasoning (ICCBR'99), Seeon Monastery, Munich, Germany, 27 - 30 Jul 1999. Springer-Verlag.

Backes, S., Cleaver, J.R.A., Baumberg, J.J. and Heberle, A.P. (1999) Reduced threshold in pierced semiconductor microdisk lasers. Applied Physics Letters, 74, 176-179.

Banford, H M and Chen, G (1999) Investigation of the distribution of space charge in gamma-irradiated low-density polyethylene. Radiation Physics and Chemistry, 54, 207-208.

Baramov, L. (1999) $(J,J^0)$-dissipative matrices and singular $H_\infty$ control. Proceedings of the 7th Mediterranean Conference on Control and Automation , 67-79.

Barney, Anna, Shadle, Christine H. and Davies, P.O.A.L. (1999) Fluid flow in a dynamic mechanical model of the vocal folds and tract. I. Measurements and theory. Journal of the Acoustical Society of America, 105, (1), 444-55.

Bian, W (1999) Constrained controllability of some nonlinear systems,. Applicable Analysis, 72, 57-73.

Bian, W (1999) Controllability of nonlinear systems with pre-assigned responses. Journal of Optimization theory and applications, 100, (2), 265-285.

Bian, W and Webb, J R L (1999) Constrained open mapping theorems and applications. J. London Math. Soc., 60, 897-911.

Bian, W and Webb, J R L (1999) Solutions of nonlinear evolution inclusions. Nonlinear Analysis TMA, 37, 915-932.

Blackburn, Steven G. (1999) Content Based Retrieval and Navigation of Music. : University of Southampton, Masters Thesis .

Bossley, K M, Brown, M and Harris, C J (1999) Neurofuzzy identification of an autonomous underwater vehicle. International Journal of Systems Science, 30, (9), 901-913.

Bossley, K M, McKendrick, R J, Harris, C J and Mercer, C (1999) Hybrid Computed Order Tracking. Mechanical Systems and Signal Processing, 13, (4), 627-641.

Bossley, K M, McKendrick, R J, Harris, C J and Mercer, C (1999) Wavelet Packet Analysis in the Condition Monitoring of Rotating Machinery. 7th IFAC Symposium: Artificial Intelligence in Real-Time Control, Grand Canyon, Arizona, USA, 05 - 08 Oct 1998. Elsevier Science.

Bryson, K., Joy, M., Luck, M. and Jones, D. (1999) Using Software Agents to Investigate Genomes. CCP11 Newsletter, (8)

Bullock, Seth (1999) The child in time: A book review of Denise Cummins and Colin Allen's "The Evolution of Mind". Trends in Cognitive Science, 3, (9), 361.

Bullock, Seth (1999) Jumping to bold conclusions: A book review of Amotz and Avishag Zahavi's "The Handicap Principle: A Missing Piece of Darwin's Puzzle". Adaptive Behavior, 7, (1), 129-134.

Bullock, Seth and Todd, Peter M. (1999) Made to measure: Ecological rationality in structured environments. Minds and Machines, 9, (4), 497-541.

Burge, Peter S., Daalen, Max R., Rising, Barry J. P. and Shawe-Taylor, John (1999) Stochastic Bit-stream Neural Networks. In, Maass, Wolfgang and Bishop, Christopher M. (eds.) Pulsed Neural Networks. , MIT Press, 337-352.

C, Bowler K and G, Hey A J (1999) Parallel Computing and Quantum Chromodynamics. Parallel Computing, (25), 2111-2134.

C, Price A, M, Rowland, L, Aarons, G, Bailey A, J, Williams T, S, Haussermann and C, Falcoz (1999) Computer lung modelling to predict inhaled particle deposition: a comparison of predicted and clinical data. UNSPECIFIED

C, Rodger and D, Nunn (1999) VLF Scattering from red srpite plasma: Application of Numerical Modelling. Radio Science, 4, (34), 933-38.

COX, S.J., STEELE, TJ and SLUCKIN, T.J. (1999) Group Size, Memory, and Interaction Rate in the Evolution of Cooperation. Current Anthropology, 40, (3), 369-376.

Chapman, B., Merlin, J., Pritchard, D., Sorevic, T., Bodin, F., Mevel, Y. and Hill, L. (1999) Tools for Development of Programs for a Cluster of Shared Memory Multiprocessors. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1999 (PDPTA 1999), CSREA Press, 1783-9.

Chatters, Brian, Henderson, Peter and Rostron, Chris (1999) An experiment to improve cost estimation and project tracking for software and systems integration projects. 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium IEEE Comp. Soc Press, 177-184.

Chen, G., Banford, H.M. and Davies, A.E. (1999) Influence of radiation environments on space charge formation in gamma-irradiated LDPE. IEEE Trans. Dielectrics and Electrical Insul., 6, (6), 882-6.

Chen, G., Davies, A.E., Banford, H.M., Adachi, N., Tanaka, Y. and Takada, T. (1999) The role of oxidation in the formation of space charge in gamma-irradiated low-density polyethylene. 11th International Symposium on High Voltage Engineering , 4.75-78.

Chen, G., Davies, A.E. and Vazquez, A. (1999) Space charge measurement in dispersive dielectrics. 5th Intel. Conf. Insulated Power Cables , 733-738.

Chown, Tim, Roure, David De, Field, Julian and Thompson, Mark , Read, Jon. (ed.) (1999) Working Paper on: Secure Internet issues for the HE Community. , JISC Technology Applications Programme

Clilverd, M, Yeo, R F, Nunn, D and J, Smith A (1999) Latitudinally dependent Trimpi effects - modelling and observations. J. Geophysical Research, 104, 19881-888.

Cole, M, Gardner, J W, Lim, A W Y, Scivier, P K and Brignell, J E (1999) Polymeric resistive bridge gas sensor array driven by a standard CMOS current drive chip. Sensors and Actuators, B58, 518-525.

Coombs, R and Steele, R (1999) Introducing Microcells into Macrocellular Networks: A Case Study. IEEE Transactions on Communications, 47, (4), 568-576.

Cooper, T P (1999) Case Studies of Four Industrial Meta-Applications. High-Performance Computing and Networking, Amsterdam, The , Netherlands, 12 - 14 Apr 1999. Springer-Verlag, 1077-1086.

Cooper, T P, Allsopp, N K, Wright, J R, Roberts, S and Macey, P (1999) Public Final Report of ESPRIT HPCN PST Activity PACAN-D, Parallel Acoustic Analysis Demonstrator. , IT Innovation

Cooper, T P, Delves, M and Howard, G (1999) HPF for Effective In-house Deployment in Industry. , IT Innovation

Cooper, T P, Gordon, P L, Irving, D and Newley, R (1999) Public Final Report of ESPRIT HPCN PST Activity PARACOMP, Parallel Analysis of Composites. , IT Innovation

Cox, S J, Reshetnyak, V and Sluckin, T J (1999) Effective Medium Theory of Light Scattering and PDLC films. UNSPECIFIED

Cox, S J, Reshetnyak, V and Sluckin, T J (1999) Theory of Dielectric and Optical Properties of PDLC films. Molecular Crystals and Liquid Crystals. UNSPECIFIED

Cox, S J, Sluckin, T J and Steele, T J (1999) Group Size, Memory and Interation Rate in the Evolution of Cooperation. Current Anthropology. UNSPECIFIED

Cremer, K., Gruner, S. and Nagl, M. (1999) Graph Transformation based Tools for Chemical Process Engineering. In, Rozenberg, G. and others, (eds.) UNSPECIFIED Handbook of Graph Grammars and Computing by Graph Transformation , World Scientific.

Cristianini, Nello, Campbell, Colin and Shawe-Taylor, John (1999) Dynamically adapting kernels in support vector machines. In, Proceedings of Neural Information Processing Workshop, NIPS'98. , , 204-210.

Cristianini, Nello, Campbell, Colin and Shawe-Taylor, John (1999) Multiplicative Updatings for Support Vector Learning. In, Proceedings of ESANN'99. , D-Facto Publications, 189-194.

Crowder, R M, McKendrick, R, Rowe, R, Auriol, E and Knudsen, T (1999) Maintenance of Robotic Systems using Hypermedia Documentation and Case-Based Reasoning. 2nd International Conference on Climbing and Walking Robots (CLAWAR'99), University of Portsmouth, Portsmouth, UK, 13 - 15 Sep 1999. , 877-887.

D, Nunn and R, Rodger C (1999) Modelling the Relaxation of Red Sprite Plasma. Geophysical Research Letters, 21, (26), 3293-6.

Davidson, J.L. and Bailey, A.G. (1999) Surface charge distribution mapping of insulating materials. Electrostatics '99, Cambridge Institute of Physics, 439-442.

Davies, A.E., Chen, G., Wu, X., Hampton, N., Sutton, S.J. and Swingler, S.G. (1999) Calculation of charge density and electric stress in XLPE compounds. 5th Intel. Conf. Insulated Power Cables , 728-732.

Davis, Jennifer N., Todd, Peter M. and Bullock, Seth (1999) Environmental quality predicts parental provisioning decisions. Proceedings of the Royal Society of London, Series B, 266, 1791-1797.

De Schreye, D., Glück, R., Jörgensen, J., Leuschel, M., Martens, B. and S{\o}rensen, M. H. (1999) Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. J. Logic Programming, 41, (2&3), 231-277.

DeRoure, David, El-Beltagy, Samhaa, Blackburn, Steven and Hall, Wendy (1999) A Multiagent System for Content Based Navigation of Music. ACM Multimedia '99 Proceedings Part 2 ACM Press, 63-6.

Decker, K., Fisher, M., Luck, M., Tennenholtz, M. and Contributors, UKMAS'98 (1999) Continuing Research in Multi-Agent Systems. Knowledge Engineering Review, 14, (3), 279-283.

Duzenli, Gursel, Kilic, Yavuz, Kuntman, Hakan and Ataman, Atilla (1999) On the design of low-frequency filters using CMOS OTAs operating in the subthreshold. Microelectronics Journal, 30, (1), 45-54.

El-Beltagy, Samhaa, DeRoure, David C. and Hall, Wendy (1999) A Multiagent system for Navigation Assistance and Information Finding. The Fourth International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology , 281--295.

El-Jabu, B and Steele, R (1999) Aerial Platforms: a Promising Means of 3G Communications. Proceedings of VTC'99

El-Jabu, B and Steele, R (1999) Efftect of Positional Instability of an Aerial Platform on its CDMA Performance. Proceedings of VTC'99 Fall

El-Jabu, B and Steele, R (1999) Soft Infrastructure using Aerial Networks. Proceedings of WPMC'99

Etalle, S., Hartel, P. H. and Vree, W. G. (1999) Declarative Solutions to Partitioned-grid Problems. Software---practice and experience, 29, (13), 1173-1200.

Floros, N, Hey, A J G, Meacham, K E, Papay, J and Surridge, M, Hertzberger, L O and Sloot, P M A (eds.) (1999) Predictive resource management for meta-applications. Future Generation Computer Systems, 15, 723-734.

Gan, Q., Saratchandran, P., Sundararajan, N. and Subramanian, K. R. (1999) A complex valued radial basis function network for equalization of fast time varying channels. IEEE Transactions on Neural Networks, 10, (4), 958-960.

Glück, R. and Leuschel, M. (1999) Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification. Proc. Third Int. Ershov Conf. on Perspectives of System Informatics, LNCS 1755 Springer-Verlag, Berlin, 93-100.

Goodie, Adam S., Ortmann, Andreas, Davis, Jennifer, Bullock, Seth and Werner, Gregory M. (1999) Demons versus heuristics in artificial intelligence, behavioral ecology, and economics. In, Gigerenzer, G. and Todd, P. M. (eds.) Simple Heuristics That Make Us Smart. , Oxford University Press, Oxford, 327-355.

Greenway, G. R., Vaughan, A. S. and Moody, S. M. (1999) Morphology and the electro-mechanical breakdown model in polyethylene. 1999 Annual Report of the Conference on Electrical Insulation and Dielectric Phenomena , 666-9.

Griffiths, N. and Luck, M. (1999) Cooperative Plan Selection Through Trust. Multi-Agent System Engineering: Proceedings of the Ninth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1647 Springer-Verlag, 162-174.

Guerra e Silva, Luis, Silveira, Miguel and Marques-Silva, Joao (1999) Algorithms for Solving Boolean Satisfiability in Combinational Circuits. In, Design, Automation and Test in Europe, Munich, Germany, IEEE Press, 526-530.

Guo, Ying, Bartlett, Peter L., Shawe-Taylor, John and Williamson, Robert C. (1999) Covering Numbers for Support Vector Machines. In, Proceedings of COLT'99. , ACM Press, 267-277.

Hartel, P. H. (1999) LETOS -- A Lightweight ExecutionTool for Operational Semantics. Software --- Practice and Experience, 29, (15), 1379-1416.

Hartel, P. H. (1999) Review of Cousineau G. and Mauny, M. The Functional Approach to Programming. J. Functional Programming, 9, (4), 479-481.

Hartel, P. H. (1999) Review of Okasaki, C. Purely Functional Data Structures. Science of Computer Programming, 34, 75-77.

Harteneck, M, Weiss, S and Stewart, R W (1999) Design of Near Perfect Reconstruction Oversampled Filter Banks for Subband Adaptive Filters. IEEE Transactions on Circuits and Systems Part II: Analog and Digital Signal Processing, 46, (8), 1081-1086.

Hathaway, G.M., Davies, A.E. and Swingler, S.G. (1999) Design of a High Temperature Superconducting Cable Termination.

Hathaway, G.M., Davies, A.E. and Swingler, S.G. (1999) Dielectric Considerations for a Superconducting Cable Termination.

Haussermann, S., Bailey, A.G., Guilmette, R.A., Youngman, M.J., Bailey, M.R. and Etherington, G. (1999) Influence of flow pattern on particle deposition in a nasal cast. Intn. Soc. for Aerosols in Med.

Henderson, Peter and Howard, Yvonne (1999) Simulating a Process Strategy for Large Scale Software Development. Proceedings of Workshop on Software Process Simulation Modelling, ProSim99 Portland State University, 10pp.

Hepworth, E. and Ultes-Nitsche, U. (1999) Security of a Java-Servlet-Based Web-Hosted E-Mail System. Proc. 7th IFIP Working Conf. on Information Security Management & Small Systems Security Kluwer Academic Press, 117-130.

Hong, X and Billings, S.A (1999) Parameter estimation based on stacked regression and evolutionary algorithms. IEE Proc D, Control Theory and Applications, 146, (4), 406-14.

Hong, X and Billings, S.A (1999) Time series multistep ahead predictability estimation and ranking. Journal of Forecasting, 18, 139-149.

Hosier, I.L. and Bassett, D.C. (1999) On changing patterns of morphological instability in linear-low-density polyethylenes with different methods of synthesis. Polymer Journal, 31, (9), 772-777.

Hughes, J F, Whitmore, L F, Fox, R T and Harrison, N (1999) Novel Applications of Natural Charge Exchange Phenomena in Domestic Aerosols. IEEE/IAS Conference Proceedings, 34th A, 3-7.

Hughes, J.F. (1999) The concept of pre-charging powder paints. Focus on Powder Coatings, 366-82.

Hughes, J.F. (1999) Pre-charging of powder paints - understanding the concept. Finishing, 23, (4), 16-8.

Hughes, J.F. and Howse, P.E. (1999) Ion Wind Insect Trap.

Hughes, J.F., Swingler, J, Mckecknie, M. and Gaynor, P.T. (1999) Dust Control.

Hughes, J.F. and Whitmore, L F (1999) Method of Dispersing Volatile Compositions.

Hughes, J.F., Whitmore, L., Fox, R.T. and Harrison, N (1999) Enhanced Targeting of Flying Insects.

Hughes, J.F., Whitmore, L., Fox, R.T., Harrison, N.M. and Harper, D. (1999) Malodour Treatment.

Hughes, J.F., Whitmore, L.F., Fox, R.T. and Harrison, N.M. (1999) Method of Precipitating Airborne Particles.

I, Duff, AJG, Hey, A, Colbrooke and HPC, Thole (1999) The Europort Experience - Porting Real Application to Parallel Systems. Int Journal of Supercomputer Applications and HPC

Jackson, P.J.B. and Shadle, C.H. (1999) Analysis of mixed-source speech sounds: aspiration, voiced fricatives and breathiness. 2nd Int. Conf. on Voice Phys. and Biomechanics , 30.

Jackson, P.J.B. and Shadle, C.H. (1999) Modelling vocal-tract acoustics validated by flow experiments. Forum Acusticum: 137th ASA and 2nd Conv. EAA , 1161.

Jesus, Luis M.T. and Shadle, Christine H. (1999) Acoustic analysis of a speech corpus of European Portuguese fricative consonants. Eurospeech '99 , 431-4.

Joy, M. and Luck, M. (1999) Plagiarism in Programming Assignments. IEEE Transactions on Education, 42, (1), 129-133.

Kalfoglou, Yannis (1999) The Role of Formal Ontologies. 11th International Conference on Software Engineering and Knowledge Engineering (SEKE99) , 401-405.

Kalfoglou, Yannis (1999) The Role of Formal Ontologies. In, 1th International Conference on Software Engineering and Knowledge Engineering, Kaiserslautern, Germany,

Kalfoglou, Yannis and Robertson, Dave (1999) A case study in applying Ontologies to augment and reason about the correctness of Specifications. In, 11th International Conference on Software Engineering and Knowledge Engineering (SEKE99), Kaiserslautern, Germany,

Kalfoglou, Yannis and Robertson, Dave (1999) Managing Ontological Constraints. In, IJCAI'99 Workshop on Ontologies and Problem Solving Methods, Stockholm, Sweden,

Kalfoglou, Yannis and Robertson, Dave (1999) Use of Formal Ontologies to Support Error Checking in Specifications. In, 11th European Workshop on Knowledge Acquisition, Modelling and Management (EKAW99), Dagstuhl, Germany,

Kalfoglou, Yannis, Robertson, Dave and Tate, Austin (1999) Using Meta-Knowledge at the application level.

Kalfoglou, Yannis and Robertson, David (1999) A case study in applying Ontologies to augment and reason about the correctness of Specifications. 11th International Conference on Software Engineering and Knowledge Engineering (SEKE99) , 64-71.

Kalfoglou, Yannis and Robertson, David (1999) Managing Ontological Constraints. IJCAI'99 Workshop on Ontologies and Problem-Solving Methods (KRR5)

Kalfoglou, Yannis and Robertson, David (1999) Use of Fomal Ontologies to Support Error Checking in Specifications. 11th European Workshop on Knowledge Acquisition, Modelling and Management (EKAW99) Springer Verlag, 207-220.

Kalfoglou, Yannis, Robertson, David and Tate, Austin (1999) Using Meta-Knowledge at the application level.

Karakoulas, Grigoris and Shawe-Taylor, John (1999) Optimizing classifiers for imbalanced training sets. In, Proceedings of Neural Information Processing Workshop, NIPS'98. , , 253-259.

Klein, D, Hofmann, J and McKendrick, R (1999) Rapier-Integrated Software Development for Embedded Controls. 32nd ISATA (International Symposium on Automotive Technology and Automation), Vienna, Austria, 14 - 18 Jun 1999. ISATA, 127-134.

Koukharenko, E and Shepelevich, VG (1999) Annealing of semimetallic foils of chalcogenides obtained by ultrarapid quenching process route. 7th conference on the Physics of Condensed Materials for young scientists 22-24 April 1999 Grodno. (Belarus), p.105. At 7th conference on the Physics of Condensed Materials for young scientists , Grodno () , Belarus, 22 - 24 Apr 1999. , 105.

Koukharenko, E and Shepelevich, VG (1999) Structural and Thermoelectric Properties of Rapidly Quenched Bi2-xSbxTe foils. Inorganic Materials. 35 (2) pp. 115-117. Inorganic Materials, 35, (2), 115-117.

Koukharenko, E, Tedenac, JC, Frety, N and Shepelevich, VG (1999) Structure of rapidly quenched foils of the Bi2Te3-Sb2Te3 system. Tchernogolovka. May 1999, p106. At V Conference for Former USSR Structural basis of modification of materials obtained by non-traditional technologies, Tchernogolovka (Russia),

Koukharenko, Elena, Vassilev, GP, Docheva, P, Nancheva, N, Tedenac, JC, Frety, N and Shepelevich, VG (1999) Defects in Sb2-xBixTe3 foils. Journal of Alloys and Compounds 287 pp.239-242. Journal of Alloys and Compounds , 287, 239-242.

L, Dowden R, R, Rodger C and D, Nunn (1999) Minimum aprite plasma density as determined by VLF scattering. Geophysical Research Letters, 21, (26), 3293-6.

Lenox, Terri L., Payne, Terry R., Hahn, Susan, Lewis, Michael and Sycara, Katia (1999) MokSAF: How should we support teamwork in human-agent teams?

Leuschel, M. (1999) Advanced Logic Program Specialisation. Partial Evaluation -- Practice and Theory Proc. of the 1998 DIKU Summerschool, LNCS 1706 Springer-Verlag, Berlin, 271-92.

Leuschel, M. (1999) Int. Workshop on Optimization and Implementation of Declarative Programs. Electronic Notes in Theoretical Computer Science, 30, (2), 94pp.

Leuschel, M. (1999) Logic Program Specialisation. Partial Evaluation -- Practice and Theory Proc. of the 1998 DIKU Summerschool, LNCS 1706 Springer-Verlag, Berlin, 155-188.

Leuschel, M. and Jörgensen, J., Leuschel, Michael (ed.) (1999) Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. Electronic Notes in Theoretical Computer Science, 30, (2), 6pp.

Leuschel, M. and Jørgensen, J. (1999) Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator. , University of Southampton

Leuschel, M., Linnenbr\"{u}gger, N. and Thoma, J. (1999) Analyzing Context-Free and Context-Sensitive Grammars by Abstract Interpretation. Proceedings of the Formal Grammar Conference FG'99 University of Utrecht, 93-101.

Leuschel, M. and Massart, T. (1999) Infinite State Model Checking by Abstract Interpretation and Program Specialisation. Logic-Based Program Synthesis and Transformation. Proceedings of LOPSTR'99, LNCS 1817 Springer-Verlag, Berlin, 63-82.

Lewin, P.L. (1999) Iterative learning control of repetitive processes. 2nd Intn. Conf. Climbing and Walking Robots (CLAWAR'99) , 295-303.

Lioncourt, S. de and Luck, M. (1999) Motivating Intelligent Agents for Virtual Environments. Proceedings of the Intelligent Virtual Agents Workshop

Lowe, David and Hall, Wendy (1999) Hypermedia and the Web: an Engineering Approach, Wiley

Luck, M. (1999) From definition to deployment: What next for agent-based systems? Knowledge Engineering Review, 14, (2), 119-124.

Luck, M. (1999) Review of Foundations of Distributed Artificial Intelligence by G. O'Hare and N. Jennings. KNowledge Engineering Review, 14, (1)

Luck, M. and Joy, M. (1999) A Secure On-Line Submission System. Software - Practice and Experience, 29, (8), 721-740.

Macey, P C, Allsopp, N K and Gill, A S (1999) Applications of High Performance Computing Network Techniques to Analysis of Submerged Structures. Undersea Defence Technology Europe (UDT99), Nice, France, 29 Jun - 01 Jul 1999.

Macey, P C, Allsopp, N K and Gill, A S (1999) Applications of High Performance Computing Network Techniques to Sonar Design. Sonar Transducers 99, University of Birmingham, 19 - 21 Apr 1999. Institute of Acoustics.

Macey, P C, Wright, J R and Allsopp, N K (1999) High Performance Computing Network Techniques for Vibroacoustic Analysis: Audio Applications. 106th Audio Engineering Society Convention Audio Engineering Society.

Mani, R and Ross, JN (1999) Morphometry and other measurements. In, Mani, R, Falanga, V, Shearman, CP and Sandeman, D (eds.) UNSPECIFIED Chronic Wound Healing: Clinical Measurement and Basic Science , WB Saunders, 81-98.

Marques-Silva, J. P. and Sakallah, K. A. (1999) GRASP-A Search Algorithm for Propositional Satisfiability. IEEE Transactions on Computers, 48, (5), 506-521.

Marques-Silva, Joao (1999) The Impact of Branching Heuristics in Propositional Satisfiability Algorithms. In, Portuguese Conference on Artificial Intelligence, Évora, Portugal, Springer, 62-74.

Marques-Silva, Joao and Glass, Thomas (1999) Combinational Equivalence Checking Using Satisfiability and Recursive Learning. In, Design, Automation and Test in Europe, Munich, Germany, IEEE Press, 145-149.

Martin, A. P. (1999) Relating Z and first-order logic. Proc. FM'99: World Congress on Formal Methods Springer-Verlag, Berlin, 1266-1280.

Martin, J. and Leuschel, M. (1999) Sonic Partial Deduction. Proc. Third Int. Ershov Conf. on Perspectives of System Informatics, LNCS 1755 Springer-Verlag, Berlin, 101-12.

Mendes, M.Emilia X and Hall, Wendy (1999) Hyper-Authoring for Education: an Empircal Study. Computers & Education, 32, 51-64.

Mendes, M.Emilia X., Hall, Wendy and Harrison, Rachel (1999) Applying measurement principles to improve hypermedia authoring. The New Review of Hypermedia and Multimedia, 5, 105-132.

Nunn, D, Manninen, J, Turunen, T, Trakhtengerts, V and Erokhin, N (1999) On the Nonlinear Triggering of VLF Emissions by Power Line Harmonic Radiation. UNSPECIFIED , 79-94.

Nunn, D, Manninen, J, Turunen, T, Trakhtengerts, VY and Erokhin, N (1999) ON THE NONLINEAR TRIGGERING OF VLF EMISSIONS BY POWER LINE HARMONIC RADIATION. Annales Geophysicae, 17, 79-94.

Nunn, D, Omura, Y, Matsumoto, H, Nagano, I and Yagatani, S (1999) The Numerical Simulation of VLF Chorus and Discrete Emissions Observed on the Geotail Satellite. UNSPECIFIED

Nunn, D and Rodger, CJ (1999) Modelling the relaxation of red sprite plasma. Geophysical Research Letters, 26, (21), 3293-3296.

Nunn, D and Smith, A J (1999) Numerical Simulation of Whistler-triggered VLFC emissions observed in Antartica. UNSPECIFIED

Olley, R.H., Hosier, I.L. and Bassett, D.C. (1999) On morphology of consolidated UHMWPE resin in hip cups. Biomaterials, 20, (21), 2037-2046.

Osipov, M A, Sluckin, T J and Cox, S J (1999) Influence of Permanent Molecular Dipoles on Surface Anchoring of Nematic Liquid Crystals. UNSPECIFIED

Payne, T.R. (1999) Dimensionality Reduction and Representation for Nearest Neighbour Learning. University of Aberdeen, Department of Computing Science, Doctoral Thesis .

Payne, Terry R. and Edwards, Peter (1999) Dimensionality Reduction through Correspondence Analysis.

Phongphanphanee, C, Mitchell, T and Steele, R (1999) DECT coverage of Indoor-Outdoor Environments. IEEE Communications Letters, 3, (6), 161-163.

Pople, J. A., Mitchell, G. R., Sutton, S. J. and Vaughan, A. S. (1999) The development of organized structures in polyethylene crystallized from a sheared melt, analyzed by WAXS and TEM. Polymer, 40, (10), 2769-77.

Price, A R, Fangohr, H, Cox, S J and Groot, P A J De (1999) Computational Modelling of High Temperature Superconductors. , poster.

Reeves, M.J., Bailey, A.G., Howard, A.G. and Broan, C.J. (1999) Factors influencing operational efficiency of an electrostatic solvent extraction system. Electrostatics '99, Cambridge Institute of Physics, 257-260.

Reshetnyak, Y, Sluckin, T J and Cox, S J (1999) Effective Medium Theory of Polymer Dispersed Liquid Crystal Droplet Systems 1: Spherical Droplets. UNSPECIFIED , 1-6.

Reshetnyak, Y, Sluckin, T J and Cox, S J (1999) Effective Medium Theory of Polymer Dispersed Liquid Crystal Droplet Systems II: Partially Oriented Bipolar Droplets. UNSPECIFIED

Revill, J. D. and Hartel, P. H. (1999) Modelling a Java Ring based implementation of an N-Count payment system. 2nd Workshop on Security in Communication Networks UNIV. of Salerno, Italy, 139-150.

Rutt, HN (1999) Letter on Mercury Rising. New Scientist, (161), 2169.

Saunders, C., Gammerman, A. and Vovk, V. (1999) Transduction with Confidence and Credibility. At Sixteenth International Joint Conference on Artificial Intelligence (IJCAI '99) , 722-726.

Sauret, V, Fleming, J S and Bailey, A G (1999) Three dimensional topology and morphology of airways using lung cast CT images. Journal of Aerosol Medicine, 12, (2), 126.

Sauret, V., Goatman, K.A., Fleming, J.S. and Bailey, A.G. (1999) 3D topology and morphology of branching networks using computed tomography (CT) - Application to the airway tree. Med Image Understanding and Analysis

Scott, C J, Al-Attar, A, Schneider, W, Nisbet, D, Barth, T and Schwarz, H (1999) CRITIKAL Consolidated Management Report. , IT Innovation

Shadle, Christine H. (1999) Models of frication: Advances and limitations. Journal of the Acoustical Society of America, 105, 2-2 , 1160.

Shadle, Christine H., Barney, Anna and Davies, P.O.A.L. (1999) Fluid flow in a dynamic mechanical model of the vocal folds and tract. II. Implications for speech production studies. Journal of the Acoustical Society of America, 105, (1), 456-66.

Sharkh, Suleiman Abu, Irenji, Neamat Taghizadeh and Harris, Martyn (1999) Effect of Power Factor on Rotor Loss in High-Speed PM Alternators. UNSPECIFIED IEE, 346-50.

Shawe-Taylor, J. and Cristianini, N. (1999) Margin Distribution Bounds on Generalization. In, Lecture Notes in Artificial Intelligence, 1572. Computational Learning Theory, 4th European Conference, EuroCOLT'99. , Springer-Verlag, 263-273.

Shawe-Taylor, J., Howker, K. and Burge, P. (1999) Detection of fraud in mobile telecommunications. Information Security Technical Report, 4, (1), 16-28.

Shawe-Taylor, J. and Williamson, Robert (1999) Generalization Performance of Classifiers in Terms of Observed Covering Numbers. In, Lecture Notes in Artificial Intelligence, 1572. Computational Learning Theory, 4th European Conference, EuroCOLT'99. , Springer-Verlag, 274-284.

Shawe-Taylor, John (1999) Introducing the Special Issue of Selected from Papers Presented at the 1997 Conference on Computational Learning Theory, COLT'97. In, Machine Learning. , Kluwer, 191-192.

Shawe-Taylor, John (1999) Theoretical analysis of real-valued function classes, Guest editorial. In, NeuroComputing. , Elsevier Science, 1-2.

Shawe-Taylor, John and Cristianini, Nello (1999) Further Results on the Margin Distribution. In, Proceedings of COLT'99. , ACM Press, 278-285.

Shawe-Taylor, John and Cristianini, Nello (1999) Further Results on the Margin Distribution. In, Proceedings of COLT'99. , ACM Press, 278-285.

Shi, D., Dong, C. and Yeung, D.S. (1999) Neocognitron's Parameter Tuning by Genetic Algorithms. International Journal of Neural Systems, 9, (6), 497-509.

Stewart, R W, Weiss, S, Garcia-Alis, D and Freeland, G C (1999) Subband Adaptive Equalization of Time-Varying Channels. 33rd Asilomar Conference on Signals, Systems, and Computers , 534-538.

Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Caton, M J, Nicole, D A, Cox, S J and Lancaster, D J (1999) Parallel Computing on Windows NT Clusters. At 3rd USENIX Windows NT Symposium, Seattle, Washington, 12 - 15 Jul 1999. Advanced Computing Systems Association.

Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Nicole, D A, Cox, S J and Lancaster, D J (1999) An Assessment of MPI Environments for Windows NT. In, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, Nevada, USA, 28 Jun - 01 Jul 1999. , 1898-1904.

Tian, Y., Lewin, P.L., Davies, A.E. and Richardson, Z. (1999) Acoustic emission detection of partial discharges in polymeric insulation. 11th Intn. Symp. High Voltage Engineering , 82-5.

Tian, Y., Lewin, P.L., Davies, A.E. and Richardson, Z. (1999) PD Pattern Identification Using Acoustic Emission Measurement and Neural Networks. 11th Intn. Symp. High Voltage Engineering , 41-4.

Ultes-Nitsche, U. (1999) A Persistent-Set Approach to Abstract State-Space Construction in Verification. Proc. 26th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM), LNCS 1725 Springer Verlag, Berlin, 463-70.

V, Sauret, S, Fleming J and G, Bailey A (1999) Semi-automatic tabulation of the 3D topology and morphology of branching networks using CT: application to the airway tree. Physics in Medicine and Biology, 44, (7), 1625-38.

Vaughan, A. S. (1999) Relationships between electrical properties and polymer morphology. Sen'i Gakkai Symposia , S11-16.

Vazquez, A., Chen, G., Davies, A.E. and Bosch, R. (1999) Space charge measurement using PEA technique and signal recovery. J. European Ceramic Society, 19, (6,7), 1219-1222.

Vonsovici, A, Reed, G T and Evans, A G R (1999) B-SiC on insulator structures for modulators and sensor systems.

Vonsovici, A, Reed, G T, Tang, C K and Namavar, F (1999) Loss Measurements for B-SiC on insulator waveguides for high speed silicon based photonic devices. , 125-134.

Vovk, V., Gammerman, A. and Saunders, C. (1999) Machine-Learning Applications of Algorithmic Randomness. At Sixteenth International Conference on Machine Learning (ICML-1999) , 444-453.

Wang, J.-S., Gan, Q., Wei, Y. and Xie, L. (1999) Cellular neural networks with opposite-sign templates for image thinning. International Journal of Circuit Theory and Applications, 27, (2), 229-240.

Wang, Y. and Bailey, A.G. (1999) Drop charging during liquid dispersion. Electrostatics '99, Cambridge Institute of Physics, 167-170.

Wayth, N.J., Williams, T.J., Bailey, A.G., Thew, M.T. and Urdahl, O. (1999) The influence of flow regime on electrostatic destabilisation of water-in-oil emulsions. Electrostatics '99, Cambridge Institute of Physics, 295-298.

Weiss, S, Garcia-Alis, D and Stewart, R W (1999) A Subband Adaptive Equalization Structure. IEE Colloquium on Novel DSP Algorithms and Architectures for Radio Systems , 411-417.

Weiss, S, Rice, G and Stewart, R W (1999) Multichannel Equalization in Subbands. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics , 203-206.

Weiss, S and Stewart, R W (1999) On the Optimality of Subband Adaptive Filtering. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics , 59-62.

Weiss, S, Stewart, R W, Harteneck, M and Stenger, A (1999) Polyphase Analysis of Subband Adaptive Filters. 33rd Asilomar Conference on Signals, Systems, and Computers , 903-907.

Weiss, S, Stewart, R W, Schabert, M, Proudler, I K and Hoffman, M W (1999) An Efficient Scheme for Broadband Adaptive Beamforming. 33rd Asilomar Conference on Signals, Systems, and Computers , 496-500.

Wood, J. (1999) The group representation network: a general approach to invariant pattern classification. In, Hawkes, P.W. (ed.) UNSPECIFIED , Academic Press, 309-408. (Advances in Imaging and Electron Physics).

Wood, J. (1999) The Group Representation Network: A General Approach to Invariant Pattern Classification. In, Hawkes, P.W. (ed.) UNSPECIFIED , Academic Press, 309--408. (Advances in Imaging and Electron Physics, 107).

Wood, J. and Zerz, E. (1999) Notes on the definition of behavioural controllability. Systems and Control Letters, 37, 31-7.

Wu, Donghui, Bennett, Kristin P., Cristianini, Nello and Shawe-Taylor, John (1999) Large Margin Decision Trees for Induction and Transduction. In, Proceedings of International Conference on Machine Learning, ICML'99. , Morgan Kaufmann Publishers Inc, 474-483.

Yeap, H and Ross, J N (1999) Extending the prediction of epileptic seizures using finite impulse response multilayer perceptrons.

Zhou, J., Gan, Q., Krzyzak, A. and Suen, C.Y. (1999) Recognition of handwritten numerals by quantum neural network with fuzzy features. International Journal of Document Analysis and Recognition, 2, (1), 30-36.

d'Inverno, M. and Luck, M. (1999) Agent Models and Plans. Agents Everywhere: Proceedings of the First Hungarian National Conference on Agent Based Computing Springer Hungarica, 44-58.

schraefel, m.c. (1999) Jacking In to the Virtual Self. In, Brodribb, S (ed.) Reclaiming the Future: Women's Strategies for the 21st Century. , gynergy press, 149-170.

This list was generated on Tue Oct 21 02:30:16 2014 BST.