Filter
Conference contribution

Search results

  • 1998

    Some Timestamping Protocol Failures

    Just, M., 1998, Proceedings of the Network and Distributed System Security Symposium, NDSS 1998, San Diego, California, USA. Reston (Virginia): The Internet Society, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Transmissive ZnSe diffractive optical elements for high power CO2 material processing applications

    Blair, P., Jones, D. R., Villareal, F., Waddie, A. J., Ross, N., Taghizadeh, M. R. T., Baker, H. J., Hall, D. R., Shannon, G., Johnston, E. & Steen, W., 1998, Proceedings of the 1998 International Symposium on Information Theory. p. 318

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 1997

    Cache modelling in a performance evaluator for parallel database systems

    Zhou, S., Tomov, N., Williams, H., Burger, A. & Taylor, H., 1997, IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings: Proceedings of the 1997 5th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS'97; Haifa, Isr; 12 January 1997 through 15 January 1997. p. 46-50 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • Compact waveguide carbon dioxide array lasers and beam reformatting techniques for laser surface treatment applications

    Villarreal, F., Abram, R., Blair, P., Jones, D. R., Taghizadeh, M. R., Baker, H. J. & Hall, D. R., 1997, Laser Institute of America, Proceedings: Proceedings of the 1997 Laser Materials Processing Conference, ICALEO'97. Part 1 (of 2); San Diego, CA, USA; ; 17 November 1997 through 20 November 1997. Vol. 83. p. F148-F155

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Constrained image restoration with a multinomial prior

    Calder, B. R., Linnett, L. M. & Carmichael, D. R., 1997, Proceedings of the International Conference on Image Processing, 1997. Vol. 1. p. 259-262 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Feasibility of an artificial implantable kidney

    Waugh, H. V. & Addlesee, A. J., 1997, Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. Vol. 6. p. 2568-2571 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • ROCK & ROLL: A deductive object-oriented database with active and spatial extensions

    Dinn, A., Williams, H. & Paton, N., 1997, Proceedings of the 13th International Conference on Data Engineering, 1997. p. 582-

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Spatial stochastic models for seabed object detection

    Calder, B. R., Linnett, L. M. & Carmichael, D. R., 1997, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 3079. p. 172-182 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • Uniform Parallelisms of PG(3,3)

    Prince, A. R., 1997, Geometry, Combinatorial Designs and Related Structures : proceedings of the first Pythagorean conference. p. 193-200 8 p. ( London Mathematical Society lecture note series; no. 245).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1996

    Decision support for management of parallel database systems

    Williams, H., Zhou, S., Taylor, H. & Tomov, N., 1996, Proceedings of High Performance Computing and Networking. Springer, Vol. LNCS 1067. p. 164-169 6 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
    1 Citation (Scopus)
    38 Downloads (Pure)
  • Semantical foundations of spatial logics

    Lemon, O., 1996, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning. Aiello, L. C., Doyle, J. & Shapiro, S. C. (eds.). p. 212-219 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Sonar image interpretation and modelling

    Russell, G. T., Bell, J. M., Holt, P. O. B. & Clarke, S. J., 1996, Proceedings of the IEEE Symposium on Autonomous Underwater Vehicle Technology. p. 317-324 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Spatial stability in the constrained elastic cylinder

    Knops, R., 1996, The proceedings of the VIII International Conference on Waves and Stability in Continuous Media. Greco, A. M. & Rionero, S. (eds.). Vol. 45. p. 333-346 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1995

    Dynamic collision detection in virtual worlds using HV Partition

    Fang, J. J., Clark, D. E. R. & Simmons, J. E. L., 1995, Proceedings of the 1995 Database Symposium. p. 905-910 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Viewer-centred feature recognition

    Sommerville, M. G. L., Clark, D. E. R. & Corney, J. R., 1995, Symposium on Solid Modeling and Applications - Proceedings. p. 125-129 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1994

    Checking algorithms for Pure Type Systems

    Benthem Jutting, L. S., McKinna, J. & Pollack, R., 1994, Types for Proofs and Programs. TYPES 1993. Springer, p. 19-61 43 p. (Lecture Notes in Computer Science; vol. 806).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Identification of general protrusion and depression features

    Clark, D. E. R. & Corney, J., 1994, Computers in Engineering, Proceedings of the International Conference and Exhibit: Proceedings of the 1994 ASME International Computers in Engineering Conference and Exhibition. Part 1 (of 2); Minneapolis, MN, USA; ; 11 September 1994 through 14 September 1994. p. 55-66 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Motion resulting from diffusion within an interface

    Cahn, J. W., Fife, P. C. & Penrose, O., 1994, Curvature Flows and Related Topics: Proceedings of the international conference held in Levico, June 27-July 2nd, 1994. p. 37-46 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Qualitativeness does not imply fuzziness

    Leitch, R. R. & Shen, Q., 1994, IEEE International Conference on Fuzzy Systems: Proceedings of the 1996 5th IEEE International Conference on Fuzzy Systems. Part 3 (of 3); New Orleans, LA, USA; ; 8 September 1996 through 11 September 1996. Vol. 2. p. 1257-1262 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The Bosonization of Uq(su(2)k): Vertex Operators and Matrix Elements

    Weston, R. A. & Bougourzi, H., 1994, Proceedings of the WALIFEST-MRST15, Univ. of Syracuse. World Scientific Publishing

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Women and men in computer cartoons from punch: 1946 to 1982

    Michaelson, G., 1994, Proceedings of the IFIP TC9/WG9.1 Fifth International Conference on Woman, Work and Computerization: Breaking Old Boundaries - Building New Forms. Elsevier, p. 171-184 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1993

    Deliverables: A Categorial Approach to Program Development in Type Theory

    McKinna, J. & Burstall, R. M., 1993, Mathematical Foundations of Computer Science 1993. MFCS 1993. Springer, p. 32-67 36 p. (Lecture Notes in Computer Science; vol. 711).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Efficient face-based feature recognition

    Corney, J. & Clark, D. E. R., 1993, Proc 2 Symp Solid Model Appl. p. 313-322 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Pure Type Systems Formalized

    McKinna, J. & Pollack, R., 1993, Typed Lambda Calculi and Applications. TLCA 1993. Springer, p. 289-305 17 p. (Lecture Notes in Computer Science; vol. 664).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Qualitative model based diagnosis of a continuous process

    Leitch, R., Shen, Q., Coghill, G., Chantler, M. & Slater, A., 1993, Applications and Techniques. Vol. 2. p. 291-309 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Quantum Solitions in the DNLS and Hubbard Models

    Gilhøj, H., Eilbeck, C. & Scott, A. C., 1993, Future Directions of Nonlinear Dynamics in Physical and Biological Systems . Christiansen, PL., Eilbeck, JC. & Parmentier, RK. (eds.). New York: Plenum Publishing Corporation , p. 227-230 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1992

    Automatic classification of 2 1/2 D components

    Corney, J., Clark, D. E. R., Murray, J. L. & Yue, Y., 1992, Concurrent Engineering - 1992. Vol. 59. p. 85-99 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Combining Experts' Opinions: An Application to Target Idenitification

    Hansen, J. C. & Kim, K., 1992, First IEEE Conference on Control Applications . p. 415-419

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KAM-theory for partial differential equations

    Kuksin, S., Jul 1992, Proceedings of the First European Congress of Mathematics. Vol. 2. p. 123-157 35 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • New approach to the determination of boiling heat transfer coefficients outside tube bundles

    Cornwell, K., Dewar, R. G. & Ritchie, J. M., 1992, Institution of Chemical Engineers Symposium Series. 129 ed. Vol. 1. p. 51-63 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Sliding bubble heat transfer on a tube under heating and cooling conditions

    Cornwell, K., Houston, S. D. & Addlesee, A. J., 1992, Proc Eng Found Conf Pool External Flow Boiling. p. 49-53 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1990

    Introduction to the discrete self-trapping equation

    EILBECK, J. C., 1990, Davydov's Soliton Revisited. CHRISTIANSEN, PL. & SCOTT, AC. (eds.). New York: Plenum Publishing Corporation , p. 473-483 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Texture segmentation using directional operators

    Linnett, L. M. & Richardson, A. J., 1990, 1990 International Conference on Acoustics, Speech, and Signal Processing: Speech Processing 2, VLSI, Audio and Electroacoustics Part 2 (of 5). Vol. 4. p. 2309-2312 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Understanding steady-state bifurcation diagrams for a model reaction-diffusion system

    Eilbeck, J. C. & Furter, J. E., 1990, Continuation and Bifurcations: Numerical Techniques and Applications . Roose, D., Dedier, B. & Spence, A. (eds.). Dordrecht: Kluwer Academic Publishers, p. 25-41 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1989

    Integration of ultrasonic and vision sensors for 3-D underwater scene analysis

    Chantler, M. J. & Reid, C. S. J., 1989, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. Vol. 2. p. 582-583 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Knowledge based sensor interpretation for autonomous underwater systems

    Lane, D. M., Chantler, M. J., McFadzean, A. G., Reid, C. S., Richardson, A. J., Roberston, E. W. & Stoner, J. P., 1989, Proceedings of the Sixth International Symposium on Unmanned Untethered Submersible Technology: y; Ellicott City, MD, USA; ; 12 June 1989 through 14 June 1989. p. 401-416 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Methodological approach to visual reasoning

    Liu, X., Zhang, G. & Luo, Z., 1989, Proceedings of the International Workshop on Industrial Applications of Machine Intelligence and Vision. p. 50-55 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Responsive and time-constrained reasoning in autonomous vehicles

    Chantler, M. J., Lane, D. M. & McFadzean, A. G., 1989, Proceedings of the 1989 IEEE International Conference on Systems, Man, and Cybernetics. Part 1 (of 3). Vol. 2. p. 566-567 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1988

    IMPROVING PERFORMANCE PREDICTION BY MORE ACCURATE HETEROGENEITY ASSESSMENT.

    Jensen, J. L. & Currie, I. D., 1988, Proceedings - SPE/DOE Sixth Symposium on Enhanced Oil Recovery. p. 467-477 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • RESCU club: practical experience building a real-time expert system

    Leitch, R. & Kraft, R., 1988, Proc 1988 Int Conf Syst Man Cybern. p. 1166-1169 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1986

    STUDIES ON BOILING IN TUBE BUNDLES.

    Cornwell, K., Einarsson, J. G. & Andrews, P. R., 1986, Heat Transfer, Proceedings of the International Heat Transfer Conference. Vol. 5. p. 2137-2141 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1985

    INTELLIGENT KNOWLEDGE-BASED PROCESS CONTROL.

    Francis, J. C. & Leitch, R. R., 1985, IEE Conference Publication. 252 ed. p. 483-488 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1984

    DRYOUT ON THE SHELL-SIDE OF TUBE BUNDLES.

    Schuller, R. B. & Cornwell, K., 1984, Institution of Chemical Engineers Symposium Series. 86 ed. p. 795-804 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MINIMIZERS AND THE EULER-LAGRANGE EQUATIONS.

    Ball, J. M., 1984, Lecture Notes in Physics. 195 ed. p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • PERFORMANCE COMPARISON OF LOCAL AREA NETWORK ARCHITECTURES.

    King, P. J. B., 1984, NATO ASI Series, Series F: Computer and Systems Sciences. Vol. 6. p. 125-135 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1982

    Safety and Industrial Robot Systems - How CAD Can Help

    Yong, Y. F., Bonney, M. C. & Taylor, N. K., 1982, IEE Conference Publication. 212 ed. Institution of Electrical Engineers (IEE), p. 246-249 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution