The School Computer

McDermid, J. A., 1971

Article in The Heatonian

A review of computer graphics publications

Benest, I. D., 1979

Article in Computers and Graphics

The sc \Clip4 Array Processor

Wood, A. M., 1980

Article in J. British Interplanetary Society

The Design and Use of COMFLEX: A Hardware Controlled Packet Switch

McDermid, J. A., Nov 1980

Article in IEE Proceedings, Part E

EVIDENCE CONCERNING INSULIN ACTIVITY FROM THE STRUCTURE OF A CROSS-LINKED DERIVATIVE

Cutfield, J., Cutfield, S., Dodson, E., Dodson, G., Hodgkin, D. & Reynolds, C., 1981

Article in Hoppe-Seylers zeitschrift fur physiologische chemie

FREE-RADICAL STUDIES BY RESONANCE RAMAN-SPECTROSCOPY - CHEMICALLY AND PHOTOCHEMICALLY GENERATED 1,4-DIAMINOBENZENE RADICAL CATION

Ernstbrunner, E. E., Girling, R. B., Grossman, W. E. L., Mayer, E., Williams, K. P. J. & Hester, R. E., 1981

Article in JOURNAL OF RAMAN SPECTROSCOPY

FREE-RADICAL STUDIES BY RESONANCE RAMAN-SPECTROSCOPY - PHENOTHIAZINE, 10-METHYLPHENOTHIAZINE, AND PHENOXAZINE RADICAL CATIONS

Hester, R. E. & Williams, K. P. J., 1981

Article in JOURNAL OF THE CHEMICAL SOCIETY-PERKIN TRANSACTIONS 2

FREE-RADICAL STUDIES BY RESONANCE RAMAN-SPECTROSCOPY - PHOTOCHEMICALLY GENERATED N-SUBSTITUTED BENZIDINE CATION RADICALS

Hester, R. E. & Williams, K. P. J., 1981

Article in JOURNAL OF THE CHEMICAL SOCIETY-FARADAY TRANSACTIONS II

FREE-RADICAL STUDIES BY RESONANCE RAMAN-SPECTROSCOPY - PHOTOCHEMICALLY GENERATED PARA-SUBSTITUTED ANILINE CATION RADICALS

Williams, K. P. J. & Hester, R. E., 1981

Article in JOURNAL OF RAMAN SPECTROSCOPY

MODULA AND A VISION LABORATORY

Runciman, C., 1981

Article in International journal of man-Machine studies

ON THE APPLICATION OF PHASE-RELATIONSHIPS TO COMPLEX STRUCTURES .29. MAGIC-INTEGER REPRESENTATION OF A LARGE SET OF PHASES - THE MAGEX PROCEDURE

Hull, S. E., Viterbo, D., Woolfson, M. M. & Zhang, S. H., 1981

Article in Acta Crystallographica Section A: Foundations of Crystallography

ONE-SIDED INEQUALITIES FOR TERNARY FORMS .1.

Jackson, T. H., 1981

Article in Journal of Number Theory

FREE-RADICAL STUDIES BY RESONANCE RAMAN-SPECTROSCOPY - THE 5,10-DIHYDROPHENAZINE AND 5-METHYL-10-HYDROPHENAZINE RADICAL CATIONS

Hester, R. E. & Williams, K. P. J., 1982

Article in JOURNAL OF RAMAN SPECTROSCOPY

LIFETIMES OF CHARMED PARTICLES PRODUCED IN A 20-GEV GAMMA-P EXPERIMENT

ABE, K., BACON, TC., BALLAM, J., BERNY, L., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRICK, D., BUGG, WM., BUTLER, J., CAMERON, W., CARROLL, JT., CAUTIS, CV., CHIMA, JS., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R., DORNAN, PJ. & 77 others, ERICKSON, R., FIEGUTH, T., FIELD, RC., FORTNEY, L., FRANEK, B., FUJIWARA, N., GEARHART, R., GOLDBERG, J., GOPAL, GP., GOSHAW, AT., HAFEN, ES., HAGOPIAN, V., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARIDAS, P., HASEGAWA, K., HAYASHINO, T., HUANG, DQ., HULSIZER, RI., ISAACSON, S., JOBES, M., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LANG, P., LANNUTTI, J., LEVY, A., LUCAS, PW., MANN, WA., MARUYAMA, T., MACDERMOTT, M., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., PALOUNEK, APT., PLESS, IA., RABIN, M., RANKIN, P., ROBERTSON, WJ., ROGERS, AH., RONAT, E., RUDNICKA, H., SATO, T., SCHNEPS, J., SHANK, J., SHAPIRO, AM., SINCLAIR, C., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WALD, HB., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., WU, Y., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YEKUTIELI, G., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1982

Article in Physical Review Letters

ON THE APPLICATION OF PHASE-RELATIONSHIPS TO COMPLEX STRUCTURES .21. AN EXTENSION TO THE MAGEX PROCEDURE

Zhang, S. H. & Woolfson, M. M., 1982

Article in Acta Crystallographica Section A: Foundations of Crystallography

RESONANCE RAMAN STUDIES OF PARA-SUBSTITUTED NN-DIMETHYLANILINE FREE-RADICAL CATIONS

Hester, R. E. & Williams, K. P. J., 1982

Article in JOURNAL OF THE CHEMICAL SOCIETY-PERKIN TRANSACTIONS 2

THE STRUCTURE OF DESPENTAPEPTIDE INSULIN

Ruchang, B., Brandenburg, D., Dodson, G., Dodson, E., Gattner, H. G., Gordiano, F., Tolley, S. & Zahn, H., 1982

Article in DIABETOLOGIA

CHARM PHOTOPRODUCTION CROSS-SECTION AT 20 GEV

ABE, K., BACON, TC., BALLAM, J., BERNY, L., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, J., CAMERON, W., CARROLL, JT., CAUTIS, CV., CHIMA, JS., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R. & 79 others, DORNAN, PJ., ERICKSON, R., FIEGUTH, T., FIELD, RC., FORTNEY, L., FRANEK, B., FUJIWARA, N., GEARHART, R., GLANZMAN, T., GOLDBERG, JJ., GOPAL, GP., GOSHAW, AT., HAFEN, ES., HAGOPIAN, V., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARIDAS, P., HASEGAWA, K., HAYASHINO, T., HUANG, DQ., HULSIZER, RI., ISAACSON, S., JOBES, M., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LANNUTTI, J., LEVY, A., LUCAS, PW., MACDERMOTT, M., MANN, WA., MARUYAMA, T., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., PALOUNEK, APT., PLESS, IA., RABIN, M., RANKIN, P., ROBERTSON, WJ., ROGERS, AH., RONAT, E., RUDNICKA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SINCLAIR, CK., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WALD, HB., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., WU, Y., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YEKUTIELI, G., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1983

Article in Physical Review Letters

INSULIN

Hodgkin, D. C., Dodson, E., Dodson, G. & Reynolds, C., 1983

Article in Biochemical Society transactions

ONE-SIDED INEQUALITIES FOR TERNARY FORMS .2.

Jackson, T. H., 1983

Article in Journal of Number Theory

ROLE OF CROSS-BRIDGE DISTORTION IN THE SMALL-SIGNAL MECHANICAL DYNAMICS OF INSECT AND RABBIT STRIATED-MUSCLE

Thorson, J. & White, D. C. S., 1983

Article in Journal of Physiology

STIFFNESS AND TENSION MEASUREMENTS IN INSECT MUSCLE IN ACTIVE AND RIGOR STATES

Poole, K. J. V. & White, D. C. S., 1983

Article in Journal of Physiology

THE ELASTICITY OF RELAXED INSECT FIBRILLAR FLIGHT-MUSCLE

White, D. C. S., 1983

Article in Journal of Physiology

THE ROLE OF MAGNESIUM ADENOSINE-TRIPHOSPHATE IN THE CONTRACTILE KINETICS OF INSECT FIBRILLAR FLIGHT-MUSCLE

Wilson, M. G. A. & White, D. C. S., 1983

Article in Journal of muscle research and cell motility

CHARM PHOTOPRODUCTION AT 20 GEV

ABE, K., BACON, TC., BALLAM, J., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., CARROLL, JT., CHIMA, JS., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R., DORNAN, PJ., ERICKSON, R. & 74 others, FIELD, RC., FRANEK, B., FUJIWARA, N., FURUNO, K., GEARHART, R., GERSHONI, D., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOPAL, GP., GOSHAW, AT., HAGOPIAN, V., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HAYASHINO, T., HIDETA, I., HULSIZER, RI., ISACSON, S., JOBES, M., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LANNUTTI, J., LEVY, A., LUCAS, PW., MANN, WA., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., OHTANI, Y., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., ROGERS, AH., RONAT, E., RUDNICKA, H., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YEKUTIELI, G., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1984

Article in Physical Review D

INCLUSIVE PHOTOPRODUCTION OF NEUTRAL STRANGE PARTICLES AT 20 GEV

ABE, K., BACON, TC., BALLAM, J., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, J., CAMERON, W., CARROLL, JT., CAUTIS, CV., CHIMA, JS., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R., ERICKSON, R. & 67 others, FIEGUTH, T., FIELD, RC., FRANEK, B., FUJIWARA, N., FURUNO, K., GEARHART, R., GERSHONI, D., GOLDBERG, JJ., GOPAL, GP., GOSHAW, AT., HAFEN, ES., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HARIDAS, P., HART, EL., HASEGAWA, K., HAYASHINO, T., HIDETA, I., HULSIZER, RI., JOBES, M., KALMUS, GE., KENT, J., KITAGAKI, T., LEVY, A., LUCAS, PW., MANN, WA., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., OHTANI, Y., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROGERS, AH., RONAT, E., RUDNICKA, H., SAGAWA, H., SATO, T., SCHNEPS, J., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP., YUTA, H. & KELSEY, DP., 1984

Article in Physical Review D

INSULINS STRUCTURE AS A MODIFIED AND MONOMERIC MOLECULE

Ru, C. B., Dauter, Z., Dodson, E., Dodson, G., Giordano, F. & Reynolds, C., 1984

Article in BIOPOLYMERS

Programming Support Environments

McDermid, J. A. & Jackson, K., 1984

Article in COMPUTER VISION SYSTEMS, PROCEEDINGS

SEARCH FOR A THRESHOLD ENHANCEMENT IN THE GAMMA-P-] CHARMED BARYON + CHARMED MESON CROSS-SECTION

ABE, K., BACON, TC., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., DADO, S., DINGUS, P., ERICKSON, R., FIELD, RC., FRANEK, B., GEARHART, R., GLANZMAN, T., GODFREY, IM., HALL, G. & 32 others, HANCOCK, ER., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KITAGAKI, T., LEVY, A., MERENYI, R., MURRAY, JJ., ODELL, V., PLESS, IA., RANKIN, P., RONAT, E., SAGAWA, H., SEWELL, SJ., SHANK, J., SHIMONY, J., TAMAI, K., TANAKA, S., WAIDE, DA., WIDGOFF, M., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YOST, GP. & YUTA, H., 1984

Article in Physical Review D

STUDY OF THE RHO' (1600) MASS REGION USING GAMMA-P-]PI+PI-P AT 20 GEV

ABE, K., BACON, TC., BALLAM, J., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., DADO, S., DIAMOND, R., DINGUS, P., ERICKSON, R., FIELD, RC., FRANEK, B., FUJIWARA, N. & 56 others, GEARHART, R., GLANZMAN, T., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HASEGAWA, K., HULSIZER, RI., JOBES, M., KALMUS, GE., KELSEY, DP., KITAGAKI, T., KOWALD, W., LEVY, A., LUCAS, PW., MANN, WA., MCCRORY, E., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, FJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1984

Article in Physical Review Letters

ASPECTS OF PORTABILITY OF THE UNIX SHELL

Keefe, D., Tomlinson, G. M., Wellings, A. J. & Wand, I. C., 1985

Article in Iee proceedings-E computers and digital techniques

INCLUSIVE PHOTOPRODUCTION OF STRANGE BARYONS AT 20-GEV

ABE, K., ARMENTEROS, R., BACON, TC., BALLAM, J., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., DADO, S., DIAMOND, R., DINGUS, P., ERICKSON, R., FIELD, RC., FRANEK, B., FUJIWARA, N. & 55 others, GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KITAGAKI, T., LEVY, A., LUCAS, PW., MANN, WA., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1985

Article in Physical Review D

STATISTICAL-ANALYSIS OF FLUCTUATIONS IN RED GROUSE BAG DATA

Williams, J., 1985

Article in Oecologia

TEST OF S-CHANNEL HELICITY CONSERVATION IN INELASTIC PHO-O DIFFRACTION IN 20-GEV PHOTOPRODUCTION

ABE, K., BACON, TC., BALLAM, J., BEVAN, AV., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., CONDO, G., COLLEY, DC., DADO, S., DIAMOND, R., DINGUS, P., ERICKSON, R., FIELD, RC., FRANEK, B. & 58 others, FUJIWARA, N., GEARHART, R., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KALMUS, GE., KELSEY, DP., KITAGAKI, T., LEVY, A., LUCAS, PW., MANN, WA., MCCRORY, E., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SHIMONY, J., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1985

Article in Physical Review D

THE PULSE DISTRIBUTED FILE SYSTEM

Tomlinson, G. M., Keeffe, D., Wand, I. C. & Wellings, A. J., 1985

Article in Software-Practice & experience

The IEE and Software Engineers

McDermid, J. A., Apr 1985

Article in Software & Microsystems

ADAPTING COMBINATOR AND SECD MACHINES TO DISPLAY SNAPSHOTS OF FUNCTIONAL COMPUTATIONS

Toyn, I. & Runciman, C., 1986

Article in New Generation Computing

Formal Methods and Program Analysis

McDermid, J. A., 1986

Article in Bulletin of the IMA

Parsing with restricted quantification: an initial demonstration

Frisch, A. M., 1986

Article in Computational Intelligence

Safety and Software

McDermid, J. A., 1986

Article in Electronics and Power

Software Metrics and Integrated Project Support Environments

Kitchenham, B. A. & McDermid, J. A., 1986

Article in Software Engineering Journal

LIFETIMES, CROSS-SECTIONS, AND PRODUCTION MECHANISMS OF CHARMED PARTICLES PRODUCED BY 20-GEV PHOTONS

ABE, K., ARMENTEROS, R., BACON, TC., BALLAM, J., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., CONDO, GT., DINGUS, P., ERICKSON, R., FIELD, RC., FRANEK, B., GEARHART, R., GLANZMAN, T. & 36 others, GODFREY, IM., GOLDBERG, JJ., HALL, G., HANCOCK, ER., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KITAGAKI, T., MANN, WA., MERENYI, R., MILBURN, R., MOFFEIT, KC., MURRAY, JJ., NAPIER, A., ODELL, VR., RANKIN, P., SAGAWA, H., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SHIMONY, J., TAMAI, K., TANAKA, S., WAIDE, DA., WIDGOFF, M., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YOST, GP. & YUTA, H., 1 Jan 1986

Article in Physical Review D

PHOSPHATE-WATER OXYGEN-EXCHANGE PROBES OF INSECT FLIGHT-MUSCLE FIBERS FROM LECOTHERUS-INDICUS

Webb, M. R., Lund, J. & White, D., Feb 1986

Article in Biophysical Journal

AN INEXPENSIVE METHOD FOR CAPTURING, STORING AND ANALYZING DATA FROM CLASS NEUROPHYSIOLOGY EXPERIMENTS USING A BBC MICROCOMPUTER

Molloy, J. E., Newport, A. P. & White, D. C. S., Jul 1986

Article in Journal of Physiology

HOUSING BENEFIT - SOME DETERMINANTS OF ADMINISTRATIVE PERFORMANCE

Walker, R. & Williams, J., Jul 1986

Article in Policy and Politics

VIRUS-INFECTION OF GUINEA-PIG MONONUCLEAR-CELLS ALTERS THEIR NORMAL RESPONSE TO MITOGENS

Clark, B., Suckling, A. J. & Rumsby, M. G., Aug 1986

Article in Biochemical Society transactions

EQUAL-OPPORTUNITY INTERACTIVE SYSTEMS

Runciman, C. & Thimbleby, H., Oct 1986

Article in International journal of man-Machine studies

GENERALIZED SQUEEZING

BRAUNSTEIN, SL. & MCLACHLAN, R., 1 Dec 1986

Article in JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION

ADA FOR DISTRIBUTED SYSTEMS

Hutcheon, A. D. & Wellings, A. J., 1987

Article in Computer standards & interfaces

Formal Specification of an Access Control System

Stepney, S. & Lord, S. P., 1987

Article in Softw., Pract. Exper.

INTERACTION MODELS AND THE PRINCIPLED DESIGN OF INTERACTIVE SYSTEMS

Dix, A. J., Harrison, M. D., Runciman, C. & Thimbleby, H. W., 1987

Article in Lecture Notes in Computer Science

Implementation of a Model Lift Control System from a Formal Specification

Mocek, J. P. & McDermid, J. A., 1987

Article in Software Engineering Journal

PERFORMANCE POLYMORPHISM

Toyn, I., Dix, A. & Runciman, C., 1987

Article in Lecture Notes in Computer Science

The Role of Formal Methods in Software Development

McDermid, J. A., 1987

Article in Journal of Information Technology

Towards the formal specification of a simple programming support environment

Sufrin, B. & Woodcock, J., 1987

Article in Software Engineering Journal

KINETIC-ANALYSIS OF OSCILLATORY ACTIVATION OF INSECT FLIGHT-MUSCLE FROM LETHOCERUS USING PHOSPHATE WATER OXYGEN-EXCHANGE

Lund, J., Webb, M. R. & White, D. C. S., Feb 1987

Article in Biophysical Journal

GENERALIZED SQUEEZING

BRAUNSTEIN, SL. & MCLACHLAN, RI., 15 Feb 1987

Article in Physical Review A

CONTEXTUAL DECISION RULE FOR REGION ANALYSIS

KITTLER, J. & HANCOCK, ER., 1 May 1987

Article in Image and Vision Computing

CHANGES IN THE ATPASE ACTIVITY OF INSECT FIBRILLAR FLIGHT-MUSCLE DURING CALCIUM AND STRAIN ACTIVATION PROBED BY PHOSPHATE-WATER OXYGEN-EXCHANGE

Lund, J., Webb, M. R. & White, D. C. S., 25 Jun 1987

Article in Journal of Biological Chemistry

SOME SOFTWARE TOOLS USED IN THE DEVELOPMENT OF THE PROTOTYPE YORK ADA COMPILER

Runciman, C., Jul 1987

Article in Software Engineering Journal

FORWARD CHARGE ASYMMETRY IN 20-GEV GAMMA-P REACTIONS

ODELL, VR., RANKIN, P., YOST, GP., HARWIN, MJ., ABE, K., ARMENTEROS, R., BACON, TC., BALLAM, J., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R. & 60 others, DINGUS, P., DORNAN, PJ., ERICKSON, R., FIELD, RC., FRANEK, B., FUJIWARA, N., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KENT, JF., KALMUS, GE., KELSEY, DP., KITAGAKI, T., LEVY, A., LUCAS, PW., MANN, WA., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ONEALE, S., PALOUNEK, APT., PLESS, IA., ROBERTSON, WJ., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y. & YUTA, H., 1 Jul 1987

Article in Physical Review D

RHETORIC, HERMENEUTICS AND IDEOLOGY - THE PASSAGE THROUGH MODERNITY

Hodge, J., Oct 1987

Article in Paragraph (Special Issue: 'The Idea of the Literary')

DISTRIBUTED ASSOCIATIVE MEMORY FOR USE IN SCENE ANALYSIS

Austin, J. & Stonham, T. J., Nov 1987

Article in Image and Vision Computing

ANALYSIS OF THE ATPASE MECHANISM OF MYOSIN SUBFRAGMENT-1 FROM INSECT FIBRILLAR FLIGHT-MUSCLE IN THE PRESENCE AND ABSENCE OF ACTIN, USING PHOSPHATE-WATER OXYGEN-EXCHANGE MEASUREMENTS

White, D. C. S., Ricigliano, J. W. & Webb, M. R., Dec 1987

Article in Journal of muscle research and cell motility

Convergent deduction for probabilistic logic

Haddawy, P. & Frisch, A. M., 1988

Article in Int. J. Approx. Reasoning

GREY-SCALE N TUPLE PROCESSING

Austin, J., 1988

Article in Lecture Notes in Computer Science

LOW-LEVEL SYNCHRONIZATION PROBLEMS IN DIGITAL-SYSTEMS

McDermid, J. A. & Morgan, G., 1988

Article in Lecture Notes in Computer Science

Visual programming languages: the next generation

Edwards, A. D. N., 1988

Article in SIGPLAN Notices

RATE OF ATP RELEASE DURING ATP HYDROLYSIS BY GLYCERINATED FLIGHT-MUSCLE FIBERS OF THE GIANT WATER BUG, LETHOCERUS-COLLOSICUS

Webb, M. R., Lund, J., Hunter, J. L. & White, D. C. S., Feb 1988

Article in Biophysical Journal

RESONANCE RAMAN STUDIES OF GLYCERALDEHYDE-3-PHOSPHATE DEHYDROGENASE

Chittock, R. S., Wharton, C. W., Austin, J. C. & Hester, R. E., Feb 1988

Article in Biochemical Society transactions

PRODUCTION AND DECAY PROPERTIES OF THE OMEGA-PI-0-STATE AT 1250 MEV/C2 PRODUCED BY 20-GEV POLARIZED PHOTONS ON HYDROGEN

BRAU, JE., FRANEK, B., WESTER, W., ABE, K., BACON, TC., BALLAM, J., BINGHAM, HH., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., CARROLL, JT., CAUTIS, CV., COHN, HO., COLLEY, DC., CONDO, GT., DADO, S., DIAMOND, R., DINGUS, P. & 65 others, ERICKSON, R., FIEGUTH, T., FIELD, RC., FORTNEY, L., FRANEK, B., FUJIWARA, N., GEARHART, R., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HANDLER, T., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LEVY, A., MANN, WA., MERENYI, R., MILBURN, R., MILSTENE, C., MCCRORY, E., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ODELL, VR., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SHIMONY, J., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1 May 1988

Article in Physical Review D

ISSUES IN THE DESIGN AND IMPLEMENTATION OF A DISTRIBUTED OPERATING SYSTEM FOR A NETWORK OF TRANSPUTERS

Murray, K. A. & Wellings, A. J., Aug 1988

Article in Microprocessing and microprogramming

INFORMATION-THEORETIC BELL INEQUALITIES

BRAUNSTEIN, SL. & CAVES, CM., 8 Aug 1988

Article in Physical Review Letters

A MODULA-2 IMPLEMENTATION OF A REAL-TIME PROCESS ABSTRACTION

Burns, A., Davies, G. L. & Wellings, A. J., Oct 1988

Article in Sigplan notices

LIMITATIONS TO SQUEEZING IN A PARAMETRIC-AMPLIFIER DUE TO PUMP QUANTUM FLUCTUATIONS

CROUCH, DD. & BRAUNSTEIN, SL., 1 Nov 1988

Article in Physical Review A

Modelling Blind Users' Interactions with an Auditory Computer Interface

Edwards, A. D. N., 1989

Article in International journal of man-Machine studies

Structuring specifications in Z

Woodcock, J. C. P., 1989

Article in Software Engineering Journal

Switching mechanisms in cobalt-phosphorus thin films

Kelly, P. E., O'Grady, K., Mayo, P. L. & Chantrell, R. W., 1989

Article in IEEE Transactions on Magnetics

AN ULTRAVIOLET RESONANCE RAMAN-STUDY OF DEHYDROGENASE ENZYMES AND THEIR INTERACTIONS WITH COENZYMES AND SUBSTRATES

Austin, J. C., Wharton, C. W. & Hester, R. E., 21 Feb 1989

Article in Biochemistry

HIGH-RESOLUTION (1.5 A) CRYSTAL-STRUCTURE OF PHOSPHOLIPASE-C FROM BACILLUS-CEREUS

Hough, E., Hansen, L. K., Birknes, B., Jynge, K., Hansen, S., Hordvik, A., Little, C., Dodson, E. & Derewenda, Z., 23 Mar 1989

Article in Nature

SURFACE-ENHANCED RAMAN-SPECTROSCOPY OF NAD+ AND RELATED-COMPOUNDS

Austin, J. C. & Hester, R. E., May 1989

Article in Journal of the chemical society-Faraday transactions i

MECHANICAL RESPONSES OF SKINNED FLIGHT-MUSCLE FIBERS FROM THE DRAGONFLY (AESHNA-JUNCEA)

Peckham, M. & White, D. C. S., Aug 1989

Article in Journal of Physiology

SYSTOLIC LOOP METHODS FOR MOLECULAR-DYNAMICS SIMULATION USING MULTIPLE TRANSPUTERS

Raine, A. R. C., Fincham, D. & Smith, W., Aug 1989

Article in Computer Physics Communications

HARMONIC-OSCILLATOR DRIVEN BY A QUANTUM CURRENT

SLOSSER, JJ., MEYSTRE, P. & BRAUNSTEIN, SL., 28 Aug 1989

Article in Physical Review Letters

CORRECTION

BRAUNSTEIN, SL., 23 Oct 1989

Article in Physical Review Letters

HIGH-PERFORMANCE LIQUID-CHROMATOGRAPHIC DETERMINATION OF LOW-LEVELS OF PRIMARY AND SECONDARY-AMINES IN AQUEOUS-MEDIA VIA DERIVATIZATION WITH 1,2-NAPHTHOQUINONE-4-SULPHONATE

Smith, J. R. L., Smart, A. U., Hancock, F. E. & Twigg, M. V., 8 Dec 1989

Article in Journal of chromatography

COMPUTER-ASSISTED-LEARNING USING DYNAMIC ELECTRONIC BOOKS

Benest, I. D., 1990

Article in Computers & education

DISCRETE RELAXATION

HANCOCK, ER. & KITTLER, J., 1990

Article in Pattern recognition

High Integrity Systems and Software Quality

Gimenes, I. M. S. & McDermid, J. A., 1990

Article in Revista Brasiliera de Computacao

The Notion of Priority in Real-Time Programming Languages

Burns, A. & Wellings, A. J., 1990

Article in Comput. Lang.

WISDOM - A DISTRIBUTED OPERATING SYSTEM FOR TRANSPUTERS

Murray, K. A. & Wellings, A. J., Jan 1990

Article in Computing systems

PHOSPHATE-WATER OXYGEN-EXCHANGE PROBES OF INSECT FLIGHT-MUSCLE FIBERS FROM VESPULA-VULGARIS

Peckham, M., Webb, M. R., Molloy, J. E. & White, D. C. S., Feb 1990

Article in Biophysical Journal

EDGE-LABELING USING DICTIONARY-BASED RELAXATION

HANCOCK, ER. & KITTLER, J., 1 Feb 1990

Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

Separability and the detection of hidden channels

Jacob, J., 1 Feb 1990

Article in Information Processing Letters

SPECIFYING RESTRICTIONS ON IMPERATIVE PROGRAMMING-LANGUAGES FOR USE IN A DISTRIBUTED EMBEDDED ENVIRONMENT

Hutcheon, A. D. & Wellings, A. J., Mar 1990

Article in Software Engineering Journal

A model of reconfiguration in communicating sequential processes

Jacob, J. L., 1 Jun 1990

Article in Information Processing Letters

CHARGE-EXCHANGE PHOTOPRODUCTION OF THE ALPHA-2-(1320) IN ASSOCIATION WITH DELTA++ AT 19.3 GEV/C

CONDO, GT., HANDLER, T., SHIMONY, J., ABE, K., AUSTERN, M., ARMENTEROS, R., BACON, TC., BALLAM, J., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., DADO, S., DIAMOND, R., DINGUS, P. & 64 others, ERICKSON, R., FALICOV, A., FIELD, RC., FORTNEY, LR., FRANEK, B., FUJIWARA, N., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LEVY, A., LUCAS, PW., MANN, WA., MCCRORY, ES., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ODELL, VR., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1 Jun 1990

Article in Physical Review D

MACROSCOPIC QUANTUM SUPERPOSITIONS BY MEANS OF SINGLE-ATOM DISPERSION

SAVAGE, CM., BRAUNSTEIN, SL. & WALLS, DF., 1 Jun 1990

Article in Optics Letters

RESONANCE RAMAN-SPECTROSCOPY OF EXCITED-STATE IRON(III) TETRAPHENYLPORPHYRIN

Austin, J. C., Bell, S. E. J. & Hester, R. E., 8 Jun 1990

Article in Chemical Physics Letters

HOMODYNE STATISTICS

BRAUNSTEIN, SL., 1 Jul 1990

Article in Physical Review A

A PERFORMANCE ANALYSIS OF TOROIDAL MESH NETWORKS

MacHaria, G. M. & Austin, J., Aug 1990

Article in Microprocessing and microprogramming

Wringing out better Bell inequalities

BRAUNSTEIN, SL. & CAVES, CM., 15 Aug 1990

Article in Annals of Physics

CURRENT TRENDS IN CAPILLARY ELECTROPHORESIS

Goodall, D. M., Lloyd, D. K. & Williams, S. J., Oct 1990

Article in LC GC-MAGAZINE OF SEPARATION SCIENCE

Phase and homodyne statistics of generalized squeezed states

BRAUNSTEIN, SL. & CAVES, CM., 1 Oct 1990

Article in Physical Review A

PION DOUBLE CHARGE-EXCHANGE ON T=2 NUCLEI IN THE DELTA-3/2,3/2 RESONANCE REGION

Seidl, P. A., Bryan, M. A., Burlein, M., Burleson, G. R., Dhuga, K. S., Fortune, H. T., Gilman, R., Greene, S. J., MacHuca, M. A., Moore, C. F., Mordechai, S., Morris, C. L., Oakley, D. S., Plum, M. A., Rai, G., Smithson, M. J., Wang, Z. F., Watson, D. L. & Zumbro, J. D., Nov 1990

Article in Physical Review C

A Bibliography on Hybrid Reasoning

Frisch, A. M. & Scherl, R. B., 1991

Article in AI Magazine

A Demonstrably Correct Compiler

Stepney, S., Whitely, D., Cooper, D. & Grant, C., 1991

Article in Formal Asp. Comput.

DISPERSAL OF WOOD MICE AND BANK VOLES IN AN AGRICULTURAL LANDSCAPE

Zhang, Z. B. & Usher, M. B., 1991

Article in Acta theriologica

Implementing Term Rewriting by Jungle Evaluation

Hoffmann, B. & Plump, D., 1991

Article in RAIRO Theoretical Informatics and Applications

Issues in Developing Software for Safety Critical Systems

McDermid, J. A., 1991

Article in Reliability Engineering and System Safety

Jungle Evaluation

Habel, A., Kreowski, H-J. & Plump, D., 1991

Article in Fundamenta Informaticae

LINEARITY AND LAZINESS

Wakeling, D. & Runciman, C., 1991

Article in Lecture Notes in Computer Science

STUDIES OF CYCLIC AND LINEAR POLY(DIMETHYLSILOXANES) .30. ADSORPTION STUDIES ON SILICA IN SOLUTION

Patel, A., Cosgrove, T. & Semlyen, J. A., 1991

Article in Polymer

THE ROLE OF TROPONIN-H, A SPECIFIC INSECT FLIGHT-MUSCLE REGULATORY PROTEIN, IN STRETCH ACTIVATION

Peckham, M., Bullard, B., Cripps, R. & White, D. C. S., 1991

Article in Journal of Physiology

The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning

Frisch, A. M., 1991

Article in Electron. Trans. Artif. Intell.

Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning

Frisch, A. M. & Cohn, A. G., 1991

Article in AI Magazine

NIETZSCHE, HEIDEGGER, AND THE CRITIQUE OF HUMANISM

Hodge, J., Jan 1991

Article in Journal of the british society for phenomenology

FUNDAMENTAL LIMITS TO OBSERVATIONS OF SQUEEZING VIA BALANCED HOMODYNE DETECTION

BRAUNSTEIN, SL. & CROUCH, DD., 1 Jan 1991

Article in Physical Review A

INTERPRETATION FOR A POSITIVE-P REPRESENTATION

BRAUNSTEIN, SL., CAVES, CM. & MILBURN, GJ., 1 Feb 1991

Article in Physical Review A

PRIORITY INHERITANCE AND MESSAGE PASSING COMMUNICATION - A FORMAL TREATMENT

Burns, A. & Wellings, A. J., Mar 1991

Article in Real-Time Systems

A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

Burns, A. & Lister, A. M., Apr 1991

Article in Computer journal

Magnetic measurement of interaction effects in CoNiCr and CoPtCr thin film media

Mayo, P. I., O'Grady, K., Chantrell, R. W., Cambridge, J. A., Sanders, I. L., Yogi, T. & Howard, J. K., 1 Apr 1991

Article in Journal of Magnetism and Magnetic Materials

PHOTOPRODUCTION OF AN ISOVECTOR RHO-PI STATE AT 1775 MEV

CONDO, G. T. & Hancock, E. R., 1 May 1991

Article in Physical Review D

KINETICS OF ATP RELEASE AND PI BINDING DURING THE ATPASE CYCLE OF LETHOCERUS FLIGHT-MUSCLE FIBERS, USING PHOSPHATE WATER OXYGEN-EXCHANGE

Webb, M. R., Lund, J., Hunter, J. L. & White, D. C. S., Jun 1991

Article in Journal of muscle research and cell motility

THE HCI COMPONENT OF DEPENDABLE REAL-TIME SYSTEMS

Burns, A., Jul 1991

Article in Software Engineering Journal

MECHANICAL-PROPERTIES OF DEMEMBRANATED FLIGHT-MUSCLE FIBERS FROM A DRAGONFLY

Peckham, M. & White, D. C. S., Sep 1991

Article in Journal of Experimental Biology

In Praise of Architects

McDermid, J. A., Oct 1991

Article in Information and Software Technology

QUANTITATIVE ASPECTS OF CAPILLARY ELECTROPHORESIS

Goodall, D. M., Williams, S. J. & Lloyd, D. K., Oct 1991

Article in TRAC-TRENDS IN ANALYTICAL CHEMISTRY

THE DESIGN OF AN OPERATING SYSTEM FOR A SCALABLE PARALLEL COMPUTING ENGINE

Austin, P., Murray, K. & Wellings, A., Oct 1991

Article in Software-Practice & experience

AN ALTERNATIVE APPROACH TO HYPERTEXT

Benest, I. D., Nov 1991

Article in Educational & training technology international

STM STUDIES OF THE RT PB-SI(111) INTERFACE STRUCTURE

Hadley, M. J., Tear, S. P. & Doust, T. N., Nov 1991

Article in Journal of physics : Condensed matter

Basic Theorems about Security

Jacob, J. L., 1992

Article in Journal of Computer Security

DESIGNING HARD REAL-TIME SYSTEMS

Burns, A. & Wellings, A. J., 1992

Article in Lecture Notes in Computer Science

Learning from IPSE's Mistakes

Brown, A. W. & McDermid, J. A., 1992

Article in IEEE Software

The Rudiments of Algorithm Refinement

Woodcock, J., 1992

Article in Int. J. Hum.-Comput. Stud.

Uniform tuple storage in ADAM

Bolt, G., Austin, J. & Morgan, G., 1992

Article in Pattern Recognition Letters

FILE SYSTEM CACHING IN LARGE POINT-TO-POINT NETWORKS

Austin, P. B., Murray, K. A. & Wellings, A. J., Jan 1992

Article in Software Engineering Journal

A model of reconfiguration in communicating sequential processes with a notion of transactions

Jacob, J. L., 1 Jan 1992

Article in Information Processing Letters

On the Meaning of Safety and Security

Burns, A., McDermid, J. & Dobson, J., Feb 1992

Article in Computer journal

GRAMICIDIN-S CHANNELS - A NEW MECHANISM OF THE ION TRANSMEMBRANE TRANSFER (BASED ON THE HIGH-RESOLUTION X-RAY STUDY OF THE ANTIBIOTIC)

Tishchenko, G. N., Andrianov, V. I., Vainshtein, B. K. & Dodson, E., Mar 1992

Article in Bioorganicheskaya khimiya

LEARNING FROM IPSES MISTAKES

Brown, A. W. & McDermid, J. A., Mar 1992

Article in IEEE Software

THE ROLE OF PREDICTIVE VISUAL TEMPORAL INFORMATION IN THE COORDINATION OF MUSCLE-ACTIVITY IN CATCHING

Savelsbergh, G. J. P., Whiting, H. T. A., Burden, A. M. & Bartlett, R. M., Apr 1992

Article in Experimental Brain Research

THE ENDS OF ADSORBED POLYMER-CHAINS - WHAT ARE THEY

Cosgrove, T., Patel, A. & Semlyen, T., 5 Apr 1992

Article in ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY

Damping of quantum superpositions

BRAUNSTEIN, SL., 1 May 1992

Article in Physical Review A

Maximal violation of Bell inequalities for mixed states

BRAUNSTEIN, SL., MANN, A. & REVZEN, M., 1 Jun 1992

Article in Physical Review Letters

How large a sample is needed for the maximum likelihood estimator to be approximately Gaussian?

BRAUNSTEIN, SL., 7 Jul 1992

Article in Journal of Physics A: Mathematical and General

INTEGRATING FORMAL NOTATIONS AND SYSTEMS-ANALYSIS - USING ENTITY RELATIONSHIP DIAGRAMS

Polack, F., Sep 1992

Article in Software Engineering Journal

Maximum-likelihood analysis of multiple quantum phase measurements

BRAUNSTEIN, SL., LANE, AS. & CAVES, CM., 12 Oct 1992

Article in Physical Review Letters

Formal Methods: Use and Relevance for the Development of Safety-Critical Systems

Barroca, L. M. & McDermid, J. A., Dec 1992

Article in Computer journal

Quantum limits on precision measurements of phase

BRAUNSTEIN, SL., 21 Dec 1992

Article in Physical Review Letters

An Integrated Toolset For Software Safety Analysis

Fenelon, P. & McDermid, J. A., 1993

Article in Journal of Systems and Software

An experimental study of the magnetic behaviour of particulate dispersions I: Chromium dioxide

Mayo, P. I., O'Grady, K., Sollis, P., Bissell, P. R., Gilson, R. G., Chantrell, R. W., Balkenende, A. R., Rekveldt, M. T., Kraan, W. & Por, P. T., 1993

Article in Journal of Magnetism and Magnetic Materials

CHANNELS IN CRYSTALLINE-STRUCTURE OF GRAMICIDIN-S WITH UREA AS PROTOTYPES OF MEMBRANE CHANNELS

Tishchenko, G. N., Andrianov, V. I., Vainshtein, B. K. & Dodson, E., 1993

Article in Kristallografiya

Data Consistency in Hard Real-Time Systems

Audsley, N. C., Burns, A., Richardson, M. F. & Wellings, A. J., 1993

Article in Informatica (Slovenia)

FORMALIZING AND VALIDATING COMPLEX SECURITY REQUIREMENTS

Morris, P. & McDermid, J., 1993

Article in Ifip transactions a-Computer science and technology

INCREMENTAL PROCESSING OF Z-SPECIFICATIONS

Devasconcelos, A. M. L. & McDermid, J. A., 1993

Article in Ifip transactions c-Communication systems

Magnetic Characterisation of Metal Particle Pigment Dispersions II

Mayo, P. I. & O'Grady, K., 1993

Article in IEEE Transactions on Magnetics

RELAXATION MATCHING OF ROAD NETWORKS IN AERIAL IMAGES USING TOPOLOGICAL CONSTRAINTS

WILSON, R. & HANCOCK, E. R., 1993

Article in SENSOR FUSION VI

Reptation effects in particulate systems. II. Experimental studies

Lewis, V. G., Mayo, P. I. & O'Grady, K., 1993

Article in Journal of Applied Physics

Safety Critical Software: A Vignette

McDermid, J. A., 1993

Article in Software Engineering Journal

Specifying Temporal Requirements for Distributed Real-Time Systems in Z

Coombes, A. & McDermid, J. A., 1993

Article in Software Engineering Journal

THE INCREDIBLE SOUND MACHINE

Edwards, A., 1993

Article in UNIVERSITY COMPUTING

The magnetic properties of single-domain particles with cubic anisotropy. I. Hysteresis loops

Walker, M., Mayo, P. I., O'Grady, K., Charles, S. W. & Chantrell, R. W., 1993

Article in Journal of Physics: Condensed Matter

The magnetic properties of single-domain particles with cubic anisotropy. II. Remanence curves

Walker, M., Mayo, P. I., O'Grady, K. O., Charles, S. W. & Chantrell, R. W., 1993

Article in Journal of Physics: Condensed Matter

Towards Operational Measures for Computer Security

Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S. & Wright, D., 1993

Article in Journal of Computer Security

Optimum structure for a radial basis functions based equalizer

Bors, A. G. & Gabbouj, M., Jan 1993

Article in Proc. of IEEE Workshop on Nonlinear Signal Processing

An incremental, exploratory and transformational environment for lazy functional programming

Runciman, C., Toyn, I. & Firth, M., 1 Jan 1993

Article in Journal of Functional Programming

Deadline monotonic scheduling theory and application

Audsley, N. C., Burns, A. & Wellings, A. J., 1 Jan 1993

Article in Control engineering practice

ON THE STRUCTURE OF SI(113)

Hadley, M. J., Tear, S. P., Rottger, B. & Neddermeyer, H., 10 Jan 1993

Article in Surface Science

ANALYSIS OF ANTHRAQUINONE SULFONATES - COMPARISON OF CAPILLARY ELECTROPHORESIS WITH HIGH-PERFORMANCE LIQUID-CHROMATOGRAPHY

Williams, S. J., Goodall, D. M. & Evans, K. P., 22 Jan 1993

Article in Journal of chromatography

DISTORTION-DEPENDENCE OF PHOSPHATE RELEASE MONITORED BY WATER-PHOSPHATE OXYGEN-EXCHANGE

White, D. C. S., Lund, J., Molloy, J. E. & Webb, M. R., Feb 1993

Article in Biophysical Journal

ELASTIC ENERGY-STORAGE IN THE FLIGHT MUSCLES OF A SMALL DIPTERAN

Molloy, J. E. & White, D. C. S., Feb 1993

Article in Biophysical Journal

VIBRATIONAL MOTIONS OF BASES OF NUCLEIC-ACIDS AS REVEALED BY NEUTRON INELASTIC-SCATTERING AND RESONANCE RAMAN-SPECTROSCOPY .1. ADENINE AND ITS DEUTERATED SPECIES

Dhaouadi, Z., Ghomi, M., Austin, J. C., Girling, R. B., Hester, R. E., Mojzes, P., Chinsky, L., Turpin, P. Y., Coulombeau, C., Jobic, H. & Tomkinson, J., 4 Feb 1993

Article in Journal of Physical Chemistry

Characterisation of the dispersion process using transverse susceptibility measurements

Sollis, P. M., Bissell, P. R., Mayo, P. I., Chantrell, R. W., Gilson, R. G. & O'Grady, K., 1 Mar 1993

Article in Journal of Magnetism and Magnetic Materials

Maximum-likelihood statistics of multiple quantum phase measurements

LANE, AS., BRAUNSTEIN, SL. & CAVES, CM., 1 Mar 1993

Article in Physical Review A

INCORPORATING UNBOUNDED ALGORITHMS INTO PREDICTABLE REAL-TIME SYSTEMS

Audsley, N. C., Burns, A., Richardson, M. F. & Wellings, A. J., Apr 1993

Article in Computing systems

PLASMA-FLOW BURSTS IN THE NIGHTSIDE AURORAL-ZONE IONOSPHERE AND THEIR RELATION TO GEOMAGNETIC-ACTIVITY

Morelli, J. P., Bunting, R. J., Cowley, S. W. H., Farrugia, C. J., Freeman, M. P., Friischristensen, E., Jones, G. O. L., Lester, M., Lewis, R. V., Luhr, H., Orr, D., Pinnock, M., Reeves, G. D., Williams, P. J. S. & Yeoman, T. K., Apr 1993

Article in ADVANCES IN SPACE RESEARCH

Noise in Mermin’s n-particle Bell inequality

BRAUNSTEIN, SL. & MANN, A., 1 Apr 1993

Article in Physical Review A

DIODE LASER-BASED INDIRECT ABSORBENCY DETECTOR FOR CAPILLARY ELECTROPHORESIS

Williams, S. J., Bergstrom, E. T., Goodall, D. M., Kawazumi, H. & Evans, K. P., 23 Apr 1993

Article in Journal of chromatography

CHROMOSOME LOCATION AND FEATURE-EXTRACTION USING NEURAL NETWORKS

Turner, M., Austin, J., Allinson, N. M. & Thompson, P., May 1993

Article in Image and Vision Computing

Effect of cell arrangement and interstitial volume fraction on the diffusivity of monoclonal antibodies in tissue.

ELKAREH, AW., BRAUNSTEIN, SL. & SECOMB, TW., 1 May 1993

Article in Biophysical Journal

An integrated tool set for software safety analysis

Fenelon, P. & McDermid, J. A., Jun 1993

Article in Journal of Systems and Software

Software Fault-Trees And Weakest Preconditions - A Comparison And Analysis

CLARKE, S. J. & MCDERMID, J. A., Jul 1993

Article in Software Engineering Journal

APPLYING NEW SCHEDULING THEORY TO STATIC PRIORITY PREEMPTIVE SCHEDULING

Audsley, N., Burns, A., Richardson, M., Tindell, K. & Wellings, A. J., Sep 1993

Article in Software Engineering Journal

Quadrature Modulated Signal Detection Based on Gaussian Neural Networks

Bors, A. G. & Gabbouj, M., Sep 1993

Article in Proc. of IEEE Workshop Visual Signal Processing and Communications

SPECIFYING TEMPORAL REQUIREMENTS FOR DISTRIBUTED REAL-TIME SYSTEMS IN Z

Coombes, A. & McDermid, J., Sep 1993

Article in Software Engineering Journal

PIPELINED PROCESSORS AND WORST-CASE EXECUTION TIMES

Zhang, N., Burns, A. & Nicholson, M., Oct 1993

Article in Real-Time Systems

A BAYESIAN FRAMEWORK FOR HIERARCHICAL RELAXATION

HANCOCK, E. R. & WILSON, R. C., 1994

Article in PROCEEDINGS OF THE 12TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL II - CONFERENCE B: PATTERN RECOGNITION AND NEURAL NETWORKS

A Schematic Entry Drawing Capability in a Linearised Hypermedia System

Benest, I. D., 1994

Article in Comput. Graph. Forum

An introduction to security in distributed systems

Clark, JA. & Moffett, J., 1994

Article in High Integrity Systems

Anytime Deduction for Probabilistic Logic

Frisch, A. M. & Haddawy, P., 1994

Article in Electron. Trans. Artif. Intell.

FIXED PRIORITY SCHEDULING OF HARD REAL-TIME MULTIMEDIA DISK TRAFFIC

Tindell, K. & Burns, A., 1994

Article in Computer journal

GRAPH MATCHING BY CONFIGURATIONAL RELAXATION

WILSON, R. C. & HANCOCK, E. R., 1994

Article in PROCEEDINGS OF THE 12TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL II - CONFERENCE B: PATTERN RECOGNITION AND NEURAL NETWORKS

GRAPH MATCHING BY DISCRETE RELAXATION

Wilson, R. C. & HANCOCK, E. R., 1994

Article in PATTERN RECOGNITION IN PRACTICE IV: MULTIPLE PARADIGMS, COMPARATIVE STUDIES AND HYBRID SYSTEMS

On Dependability, its Measurement and its Management

McDermid, J. A., 1994

Article in High Integrity Systems

ROBUST 3D FEATURE DETECTION USING DICTIONARY-BASED RELAXATION

SHARP, N. & HANCOCK, E., 1994

Article in VISUAL COMMUNICATIONS AND IMAGE PROCESSING '94, PTS 1-3

Real-Time, Safety-Critical Systems: Analysis and Synthesis

Burns, A. & McDermid, J. A., 1994

Article in Software Engineering Journal

Satisfaction of PLC timing constraints

Tindell, K. & Clark, J. A., 1994

Article in HIGH INTEGR SYST

Support for Safety Cases and Safety Arguments using SAM

McDermid, J. A., 1994

Article in Reliability Engineering and System Safety

Towards Integrated Safety Analysis and Design

Fenelon, P., McDermid, J. A., Nicholson, M. & Pumfrey, D. J., 1994

Article in ACM Computing Reviews

A parallel simulation model for load balancing in clustered distributed systems

Calinescu, R. & Evans, D. J., Jan 1994

Article in Parallel Computing

HRT-HOOD - A STRUCTURED DESIGN METHOD FOR HARD REAL-TIME SYSTEMS

Burns, A. & Wellings, A. J., Jan 1994

Article in Real-Time Systems

Some limits to precision phase measurement

BRAUNSTEIN, SL., 1 Jan 1994

Article in Physical Review A

Analysing high-integrity systems

Clark, J. A., McDermid, J. A. & Burns, A., 1 Feb 1994

Article in Computing & control engineering journal

AN EXTENDIBLE APPROACH FOR ANALYZING FIXED PRIORITY HARD REAL-TIME TASKS

Tindell, K. W., Burns, A. & Wellings, A. J., Mar 1994

Article in Real-Time Systems

HOLISTIC SCHEDULABILITY ANALYSIS FOR DISTRIBUTED HARD REAL-TIME SYSTEMS

Tindell, K. & Clark, J., Apr 1994

Article in Microprocessing and microprogramming

Statistical distance and the geometry of quantum states

BRAUNSTEIN, SL. & CAVES, CM., 30 May 1994

Article in Physical Review Letters

STRESS: a simulator for hard real-time systems

Audsley, N. C., Burns, A., Richardson, M. F. & Wellings, A. J., 1 Jun 1994

Article in Software-Practice & experience

Minimal Topology for a Radial Basis Functions Neural Network for Pattern Classification

Bors, A. G. & Gabbouj, M., Jul 1994

Article in Digital Signal Processing

ADSORPTION STUDIES OF DIFFERENT END-FUNCTIONALIZED LINEAR POLY(DIMETHYLSILOXANE)

Patel, A., Cosgrove, T., Semlyen, J. A., Webster, J. R. P. & Scheutjens, J. M. H. M., 28 Jul 1994

Article in Colloids and surfaces a-Physicochemical and engineering aspects

GLOBAL SYNCHRONIZATION IN LINDA

Butcher, P., Wood, A. M. & Atkins, M., Sep 1994

Article in Concurrency and Computation: Practice and Experience

Robust estimation for radial basis functions

Bors, A. G. & Pitas, I., Sep 1994

Article in Proc. of IEEE Workshop Neural Networks for Signal Processings

REAL-TIME SAFETY-CRITICAL SYSTEMS - ANALYSIS AND SYNTHESIS

Burns, A. & McDermid, J. A., Nov 1994

Article in Software Engineering Journal

A SCHEMATIC ENTRY DRAWING CAPABILITY IN A LINEARIZED HYPERMEDIA SYSTEM

Benest, I. D., Dec 1994

Article in Computer graphics forum

HLL Enhancement for Stack Based Processors

Crispin-Bailey, C. & Sotudeh, R., Dec 1994

Article in Microprocessing and microprogramming

A bound for the Symmetric Travelling Salesman Problem through matroid formulation

Cowling, P. & Maffioli, F., 1995

Article in European Journal of Operational Research

Annotated Z Bibliography

Bowen, J. P., Stepney, S. & Barden, R., 1995

Article in Information and Software Technology (Z special issue)

Event Refinement in State-Based Concurrent Systems

Sinclair, J. & Woodcock, J., 1995

Article in Formal Asp. Comput.

Exits in the Refinement Calculus

King, S. & Morgan, C., 1995

Article in Formal Asp. Comput.

Extending a functional programming system for embedded applications

Wallace, M. & Runciman, C., 1995

Article in Software: Practice and Experience

Integrated Analysis of Complex Safety Critical Systems

Wilson, S. P. & McDermid, J. A., 1995

Article in Computer journal

On Constraint-Based Lambek Calculi

Dörre, J. & Manandhar, S., 1995

Article in CoRR

Optimal rolling mill planning at Usines Gustave Boöl

Baccus, F., Cowling, P., Vaessen, N. & Van Nerom, L., 1995

Article in Steel Times

Optimization in steel hot rolling

Cowling, P., 1995

Article in Optimization in industry

Predicting Client/Server Availability

Wood, A., 1995

Article in IEEE Computer Society

Proving the Existence of Initial State in Z Specifications

Miao, H., McDermid, J. A. & Toyn, I., 1995

Article in Chinese Journal of Advanced Software Research

RIGOROUS SPECIFICATION USING STRUCTURED SYSTEMS-ANALYSIS AND Z

Mander, K. C. & Polack, F. A. C., 1995

Article in Information and Software Technology

Some thoughts on combinatorial optimisation

Bjorndal, MH., Caprara, A., Cowling, P. I., Della Croce, F., Lourenco, H., Malucelli, F., Orman, A. J., Pisinger, D., Rego, C. & Salazar, J. J., 1995

Article in European Journal of Operational Research

Strong total chromatic numbers of complete hypergraphs

Cowling, P., 1995

Article in Discrete applied mathematics

Structural Engineering and Software: Certainty, Uncertainty and Probability

McDermid, J. A., 1995

Article in Proceedings of the institution of mechanical engineers part g-Journal of aerospace engineering

Texture and Interaction Effects in Barium Ferrite Media

Morales, M. P., O'Grady, K. & Mayo, P. I., 1995

Article in IEEE Transactions on Magnetics

Total colouring of hypergraphs

Cowling, P., 1995

Article in JOURNAL OF COMBINATORIAL MATHEMATICS AND COMBINATORIAL COMPUTING

GENERATING FEASIBLE CYCLIC SCHEDULES

Burns, A., Hayes, N. & Richardson, M. F., Feb 1995

Article in Control engineering practice

CADiZ: An Architecture for Z Tools and its Implementation

Toyn, I. & McDermid, J. A., Mar 1995

Article in Software: Practice and Experience

Dynamics of statistical distance: Quantum limits for two-level clocks

BRAUNSTEIN, SL. & MILBURN, GJ., 1 Mar 1995

Article in Physical Review A

Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-emptive Systems

Davis, R. & Burns, A., 10 Mar 1995

Article in Information Processing Letters

WAVE-GUIDE RESONANCE RAMAN-SPECTROSCOPY OF DEGRADED PVC

Ellahi, S., Hester, R. E. & Williams, K. P. J., Apr 1995

Article in SPECTROCHIMICA ACTA PART A-MOLECULAR AND BIOMOLECULAR SPECTROSCOPY

Median Radial Basis Functions Network for Motion Field Processing

Bors, A. G. & Pitas, I., Jun 1995

Article in Proc. of IEEE Workshop on Nonlinear Signal and Image Processing

RELATIONAL MATCHING BY DISCRETE RELAXATION

Wilson, R. C., Evans, A. N. & Hancock, E. R., Jun 1995

Article in Image and Vision Computing

Destruction of photocount oscillations by thermal noise

MUSSLIMANI, ZH., BRAUNSTEIN, SL., MANN, A. & REVZEN, M., 1 Jun 1995

Article in Physical Review A

DEGENERATE PARAMETRIC-AMPLIFIERS WITH A SQUEEZED PUMP

COHEN, N. & BRAUNSTEIN, SL., 1 Jul 1995

Article in Physical Review A

CALCULATING CONTROLLER AREA NETWORK (CAN) MESSAGE RESPONSE-TIMES

Tindell, K., Burns, A. & Wellings, A. J., Aug 1995

Article in Control engineering practice

PARALLEL EARCONS - REDUCING THE LENGTH OF AUDIO MESSAGES

Brewster, S., Wright, P. C. & Edwards, A. D. N., Aug 1995

Article in International journal of human-Computer studies

Analysis of hard real-time communications

Tindell, K., Burns, A. & Wellings, A. J., 1 Sep 1995

Article in Real-Time Systems

Case Based Reasoning

Wood, A. M., 1 Sep 1995

Article in AXIS: Journal of Academic Computing and Information Systems

FEATURE TRACKING BY MULTIFRAME RELAXATION

Sharp, N. G. & Hancock, E. R., Oct 1995

Article in Image and Vision Computing

High integrity software development: Process and tool issues

Hutcheon, A. D., Jordan, D. T., McDermid, J. A., Pierce, R. H., Wand, I. C. & Jepson, B. J., Nov 1995

Article in Microprocessors and Microsystems

RADAR OBSERVATIONS OF AURORAL-ZONE FLOWS DURING A MULTIPLE-ONSET SUBSTORM

Morelli, J. P., Bunting, R. J., Cowley, S. W. H., Farrugia, C. J., Freeman, M. P., Friischristensen, E., Jones, G. O. L., Lester, M., Lewis, R. V., Lubr, H., Orr, D., Pinnock, M., Reeves, G. D., Williams, P. J. S. & Yeoman, T. K., Nov 1995

Article in Annales geophysicae-Atmospheres hydrospheres and space sciences

On the Security of Recent Protocols

Clark, J. A. & Jacob, J., 10 Nov 1995

Article in Information Processing Letters

A Model for Causal Logic for Requirements Engineering

Moffett, J. D., Hall, J. G., Coombes, A. & McDermid, J. A., 1996

Article in Symposium on Requirements Engineering ¿

A Model for a Causal Logic for Requirements Engineering

Moffett, J. D., Hall, J. G., Coombes, A. & McDermid, J. A., 1996

Article in Requir. Eng.

A Tactic Calculus-Abridged Version

Martin, A. P., Gardiner, P. H. B. & Woodcock, J., 1996

Article in Formal Asp. Comput.

Attacking authentication protocols

Clark, J. A. & Jacob, J. L., 1996

Article in High Integrity Systems

Effective Sample Size in a Dichotomous Process with Noise

Cussens, J., 1996

Article in Communications in Statistics: Theory and Methods

Gauging relational consistency and correcting structural errors

Wilson, R. C. & Hancock, E. R., 1996

Article in 1996 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS

ILPNET Repositories on WWW: Inductive Logic Programming Systems, Datasets and Bibliography

Lavrac, N., Weber, I., Zupanic, D., Kazakov, D., Stepánková, O. & Dzeroski, S., 1996

Article in AI Commun.

New dimensions in heap profiling

Runciman, C. & Röjemo, N., 1996

Article in Journal of Functional Programming

Non-interference through Determinism

Roscoe, A. W., Woodcock, J. & Wulf, L., 1996

Article in Journal of Computer Security

Programming replicated systems in Ada 95

Wellings, A. J. & Burns, A., 1996

Article in Computer journal

Software Engineering Research Directions

Woodcock, J., 1996

Article in ACM Comput. Surv.

Structuring Requirements Specifications for Reuse

Whittle, B. R., Vickers, A. J., McDermid, J. A., Rimmer, R., Essam, P. & Hill, J., 1996

Article in IJAST

Term Graph Narrowing

Habel, A. & Plump, D., 1996

Article in Mathematical Structures in Computer Science

The rise of the graphical user interface

Edwards, A. D. N., 1996

Article in Library hi tech

Two general constructive methods for amicable numbers

Yan, S. Y. & Jackson, T. H., 1996

Article in International Journal of Computer Mathematics

Dependability terminology: Similarities and differences

Prasad, D., McDermid, J. & Wand, I., Jan 1996

Article in IEEE Aerospace and Electronic Systems Magazine

Measurement of the Bell operator and quantum teleportation (vol 51, pg R1727, 1995)

Braunstein, SL. & Mann, A., 1 Jan 1996

Article in Physical Review A

Moving Object Recognition Based on Radial Basis Functions Networks

Bors, A. G. & Pitas, I., Mar 1996

Article in Image and Multidimensional Signal Processing Workshop

Quantum teleportation without irreversible detection

Braunstein, SL., 1 Mar 1996

Article in Physical Review A

A Bayesian compatibility model for graph matching

Wilson, R. C. & Hancock, E. R., 6 Mar 1996

Article in Pattern Recognition Letters

Synchronisation, concurrent object-oriented programming and the inheritance anomaly

Mitchell, S. E. & Wellings, A. J., Apr 1996

Article in Science of Computer Programming: Special Issue on Coordination Models and Languages

Towards over-the-shoulder guidance following a traditional learning metaphor

Hague, A. C. & Benest, I. D., Apr 1996

Article in Computers & education

Generalized uncertainty relations: Theory, examples, and Lorentz invariance

Braunstein, SL., Caves, CM. & Milburn, GJ., 10 Apr 1996

Article in Annals of Physics

Integrating optional software components into hard real-time systems

Audsley, N. C., Burns, A., Davis, R. I., Scholefield, D. J. & Wellings, A. J., May 1996

Article in Software Engineering Journal

Lag, drag, void and use - Heap profiling and space-efficient compilation revisited

Rojemo, N. & Runciman, C., Jun 1996

Article in Acm sigplan notices

Choosing task periods to minimise system utilisation in time triggered systems

Burns, A. & Davis, R., 10 Jun 1996

Article in Information Processing Letters

Deduction, Induction and Probabilistic Support

Cussens, J., 1 Jul 1996

Article in Synthese

A neutron depolarisation study of the magnetic correlations in a particulate dispersion during milling

Por, P. T., Kraan, W. H., Mayo, P. I., Rekveldt, M. T. & O'Grady, K., Sep 1996

Article in Journal of Magnetism and Magnetic Materials

Combining static worst-case timing analysis and program proof

Chapman, R., Burns, A. & Wellings, A., Sep 1996

Article in Real-Time Systems

Embedding Parametric Digital Signatures in Images

Bors, A. G. & Pitas, I., Sep 1996

Article in Proc. European Conference on Signal Processing

Image Watermarking Using DCT Domain Constraints

Bors, A. G. & Pitas, I., Sep 1996

Article in IEEE International Conference on Image Processing

Molecular screening of multifocal transitional cell carcinoma of the bladder using p53 mutations as biomarkers

Xu, X. H., Stower, M. J., Reid, I. N., Garner, R. C. & Burns, P. A., Oct 1996

Article in Clinical Cancer Research

A model-oriented approach to safety analysis using fault trees and a support system

Liu, S. Y. & McDermid, J. A., Nov 1996

Article in Journal of Systems and Software

Median Radial Basis Function Neural Network

Bors, A. G. & Pitas, I., Nov 1996

Article in IEEE Transactions on Neural Networks

Mosaicing of Paintings on Curved Surfaces

Puech, W., Chassery, J-M., Bors, A. G. & Pitas, I., Dec 1996

Article in IEEE Workshop on Applications of Computer Vision

The collisionality dependence of tokamak beta-limits

Wilson, H. R., Alexander, M., Connor, J. W., Edwards, A. M., Gates, D., Gruber, O., Hastie, R. J., Hegna, C. C., Hender, T. C., LaHaye, R. J., Lao, L. L., Morris, A. W., Roach, C. M., Strait, E. J., Taylor, T. S., Valovic, M. & Zohm, H., Dec 1996

Article in Plasma Physics and Controlled Fusion

A Formal Specification of Fault Trees for SAM

Liu, S. & McDermid, J. A., 1997

Article in IPS Transactions on Information Processing

A minimum-variance adaptive surface mesh

Wilson, R. C. & Hancock, E. R., 1997

Article in 1997 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS

Access to mathematics for visually disabled students through multimodal interaction

Stevens, R. D., Edwards, A. D. N. & Harling, P. A., 1997

Article in Human-Computer interaction

An expectation-maximisation approach to graph matching

Finch, A. M., Wilson, R. C. & Hancock, E. R., 1997

Article in ENERGY MINIMIZATION METHODS IN COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS

Confluent Rewriting of Bisimilar Term Graphs

Plump, D., Ariola, Z. M. & Klop, J. W., 1997

Article in Electronic Notes in Theoretical Computer Science

Contour organisation with the EM algorithm

Leite, J. A. F. & Hancock, E. R., 1997

Article in ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 9

Deterministic search strategies for relational graph matching

Williams, M. L., Wilson, R. C. & Hancock, E. R., 1997

Article in ENERGY MINIMIZATION METHODS IN COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS

Genetic algorithms for ambiguous labelling problems

Myers, R. & Hancock, E. R., 1997

Article in ENERGY MINIMIZATION METHODS IN COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS

Is Software Engineering Serving UK PLC Well?

McDermid, J. A., 1997

Article in Technology, Information and Society

Localising facial features with matched filters

Choi, K. N., Cross, A. D. J. & Hancock, E. R., 1997

Article in AUDIO- AND VIDEO-BASED BIOMETRIC PERSON AUTHENTICATION

Matching performance of binary correlation matrix memories

Turner, M. & Austin, J., 1997

Article in Neural Networks

Registering multiple cartographic models with the hierarchical mixture of experts algorithm

Moss, S. & Hancock, E. R., 1997

Article in 1997 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS

Robust and Adaptive Techniques in Self-Organising Neural Networks

Pitas, I., Kotropoulos, C., Nikolaidis, N. & Bors, A. G., 1997

Article in Proc. World Congress of Nonlinear Analysts

Scale-space vector fields for feature analysis

Cross, A. D. J. & Hancock, E. R., 1997

Article in 1997 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS

Softening discrete relaxation

Finch, A. M., Wilson, R. C. & Hancock, E. R., 1997

Article in ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 9

Ten Steps Towards Systematic Requirements Reuse

Lam, W., McDermid, J. A. & Vickers, A. J., 1997

Article in Symposium on Requirements Engineering ¿

The total graph of a hypergraph

Cowling, P., 1997

Article in Discrete applied mathematics

Transboundary initiatives for controlling sulfur, and possible lessons for CO2

Jackson, T. & Bailey, P., 1997

Article in International journal of environment and pollution

Matching Delaunay graphs

Finch, A. M., Wilson, R. C. & Hancock, E. R., Jan 1997

Article in Pattern recognition

Iterative curve organisation with the EM algorithm

Leite, J. A. F. & Hancock, E. R., Feb 1997

Article in Pattern Recognition Letters

Single molecule energy transduction.

Veigel, C., White, D. C. S. & Molloy, J. E., Feb 1997

Article in Biophysical Journal

Strain activation in insect fibrillar flight muscle

Regini, J. W. & White, D. C. S., Feb 1997

Article in Biophysical Journal

The specification and presentation of on-line lectures

Benest, I., Feb 1997

Article in Innovations in education and training international

Perfect quantum-error-correction coding in 24 laser pulses

Braunstein, SL. & Smolin, JA., 1 Feb 1997

Article in Physical Review A

Channels in the gramicidin S-with-urea structure and their possible relation to transmembrane ion transport

Tishchenko, G. N., Andrianov, V. I., Vainstein, B. K., Woolfson, M. M. & Dodson, E., 1 Mar 1997

Article in Acta crystallographica section d-Biological crystallography

Perspective Distortion Analysis for Mosaicing Images Painted on Cylindrical Surfaces

Bors, A. G., Puech, W., Pitas, I. & Chassery, J-M., Apr 1997

Article in Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing

Inexact graph matching using genetic search

Cross, ADJ., Wilson, RC. & Hancock, ER., Jun 1997

Article in Pattern recognition

Moving Scene Segmentation using Median Radial Basis Function Network

Bors, A. G. & Pitas, I., Jun 1997

Article in Proc. IEEE Symposium on Circuits and Signals

Timing analysis of the ARINC 629 databus for real-time applications

Audsley, N. C. & Grigg, A., Jul 1997

Article in Microprocessors and Microsystems

A hot spot for p53 mutation in transitional cell carcinoma of the bladder: Clues to the etiology of bladder cancer

Xu, X. H., Stower, M. J., Reid, I. N., Garner, R. C. & Burns, P. A., Aug 1997

Article in Cancer Epidemiology Biomarkers & Prevention

Registering incomplete radar images using the EM algorithm

Moss, S. & Hancock, E. R., Aug 1997

Article in Image and Vision Computing

Alpha-trimmed Mean Radial Basis Functions and their Application in Object Modeling

Bors, A. G. & Pitas, I., Sep 1997

Article in Proc of the IEEE/EURASIP Workshop on Nonlinear Signal and Image Processing

Mosaique de Peintures sur cylindres generalises uniformes a axe droit

Puech, W., Bors, A. G., Chassery, J-M. & Pitas, I., Sep 1997

Article in GRETSI Symposium on Signal and Image Processing

Genetic algorithm parameter sets for line labelling

Myers, R. & Hancock, E. R., Nov 1997

Article in Pattern Recognition Letters

Multiple graph matching with Bayesian inference

Williams, M. L., Wilson, R. C. & Hancock, E. R., Nov 1997

Article in Pattern Recognition Letters

Multiple line-template matching with the EM algorithm

Moss, S. & Hancock, E. R., Nov 1997

Article in Pattern Recognition Letters

Synchronous sessions and fixed priority scheduling

Burns, A. & Wellings, A. J., Nov 1997

Article in Journal of systems architecture

Quantum copying: A network

Buzek, V., Braunstein, SL., Hillery, M. & Bruss, D., 1 Nov 1997

Article in Physical Review A

A dependable distributed architecture for a safety critical hard real-time system

Bate, I. J. & Burns, A., 1 Dec 1997

Article in IEE Colloquium (Digest)

An Action-Based Formal Model for Concurrent Real-Time Systems

Fidge, C. J. & Wellings, A. J., 1 Dec 1997

Article in Formal Aspects of Computing

A Harmonised Model for Safety Assessment and Certification of Safety Critical Systems

Papadopoulos, Y. & McDermid, J. A., 1998

Article in RequirementsEngineering Journal

A Mössbauer investigation of advanced magnetic recording media

Walton, S. A., Dickson, D. P. E., O'Grady, K. & Mayo, P. I., 1998

Article in Hyperfine Interactions

A Practical Language and Toolset for High-Integrity Tools

Toyn, I., Cattrall, D. M., McDermid, J. A. & Jacob, J. L., 1998

Article in Journal of Systems and Software

A Weakest Precondition Semantics for Z

Cavalcanti, A. & Woodcock, J., 1998

Article in Int. J. Hum.-Comput. Stud.

A framework for modelling trojans and computer virus infection

Thimbleby, H., Anderson, S. & Cairns, P., 1998

Article in The Computer Journal

Appearance-based object recognition using shape-from-shading

Worthington, P. L., Huet, B. & Hancock, E. R., 1998

Article in FOURTEENTH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1 AND 2

Corner detection using vector potential

Luo, B., Cross, A. D. J. & Hancock, E. R., 1998

Article in FOURTEENTH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1 AND 2

Efficient relational matching with local edit distance

Myers, R., Wilson, R. C. & Hancock, E. R., 1998

Article in FOURTEENTH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1 AND 2

Fuzzy relational distance for large-scale object recognition

Huet, B. & Hancock, E. R., 1998

Article in 1998 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS

Graph matching by neural relaxation

Turner, M. & Austin, J., 1998

Article in Neural computing & applications

Graph matching with hierarchical discrete relaxation

Wilson, R. C. & Hancock, E. R., 1998

Article in ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 10

Heterogeneous Notations for Pure Formal Method Integration

Paige, R. F., 1998

Article in Formal Asp. Comput.

Learning criteria for training neural network classifiers

Zhou, P. & Austin, J., 1998

Article in Neural computing & applications

Learning feature characteristics

Hickinbotham, S. J., Hancock, E. R. & Austin, J., 1998

Article in FOURTEENTH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1 AND 2

Matching blood vessel patterns with the generalised EM algorithm

de Ves, E., Wilson, R. C. & Hancock, E. R., 1998

Article in FOURTEENTH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1 AND 2

On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods

Audsley, N. C. & Burns, A., 1998

Article in Inf. Process. Lett.

Optical flow estimation and moving object segmentation based on median radial basis function network

Bors, A. G. & Pitas, I., 1998

Article in IEEE Transactions on Image Processing

Procedures and Recursion in the Refinement Calculus

Cavalcanti, A., Sampaio, A. & Woodcock, J., 1998

Article in J. Braz. Comp. Soc.

Recovering perspective pose with a dual step EM algorithm

Cross, A. D. J. & Hancock, E. R., 1998

Article in ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 10

Reflections: surfing and driving don't mix

Edwards, A. D. N., 1998

Article in interactions

Robust and Adaptive Techniques in Self-Organizing Neural Networks

Kotropoulos, C., Nikolaidis, N., Bors, A. G. & Pitas, I., 1998

Article in International Journal of Computer Mathematics

Safety-Directed Monitoring Using Safety Cases

Papadopoulos, Y. & McDermid, J. A., 1998

Article in International Journal of Condition Monitoring and Diagnostic Engineering Management, COMADEM International-UK

Termination of Graph Rewriting is Undecidable

Plump, D., 1998

Article in Fundamenta Informaticae

Terrain reconstruction with an adaptive surface mesh

Wilson, R. C. & Hancock, E. R., 1998

Article in FOURTEENTH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1 AND 2

Towards a scheduling and timing analysis solution for integrated modular avionic systems

Grigg, A. & Audsley, N. C., 1998

Article in Aircraft engineering and aerospace technology

ZRC - A Refinement Calculus for Z

Cavalcanti, A. & Woodcock, J., 1998

Article in Formal Asp. Comput.

Whither magnetic recording

O'Grady, K., White, R. L. & Grundy, P. J., Jan 1998

Article in Journal of Magnetism and Magnetic Materials

Teleportation of continuous quantum variables

Braunstein, SL. & Kimble, HJ., 26 Jan 1998

Article in Physical Review Letters

Density propagation for surface tracking

Sharp, N. G. & Hancock, E. R., Feb 1998

Article in Pattern Recognition Letters

Power-stroke measured for a single myosin molecule.

Coluccio, L. M., Veigel, C., White, D. C. S. & Molloy, J. E., Feb 1998

Article in Biophysical Journal

A Bayesian interpretation for the exponential correlation associative memory

Hancock, E. R. & Pelillo, M., 1 Feb 1998

Article in Pattern Recognition Letters

Recognising building patterns using matched filters and genetic search

Cross, A. D. J. & Hancock, E. R., 1 Apr 1998

Article in ISPRS JOURNAL OF PHOTOGRAMMETRY AND REMOTE SENSING

Error correction for continuous quantum variables

Braunstein, SL., 4 May 1998

Article in Physical Review Letters

A practical language and toolkit for high-integrity tools

Toyn, I., Cattrall, D. M., McDermid, J. A. & Jacob, J. L., Jun 1998

Article in Journal of Systems and Software

The cost of COTS

Talbert, N. & McDermid, J., Jun 1998

Article in Computer

An experimentally-based predictive model for the separation of amylopectin subunits during starch gelatinization

Atkin, N. J., Abeysekera, R. M., Cheng, S. L. & Robards, A. W., Jul 1998

Article in CARBOHYDRATE POLYMERS

Object segmentation and modeling in volumetric images

Bors, A. G. & Pitas, I., Jul 1998

Article in Noblesse Workshop on Non-Linear Model Based Image Analysis

Solving the Linda multiple rd problem using the copy-collect primitive

Rowstron, A. I. T. & Wood, A., Jul 1998

Article in Science of Computer Programming

Solving the Multiple-tt rd Problem

Warner, A. R. & Wood, A., 1 Jul 1998

Article in Science of Computer Programming

Quantum error correction for communication with linear optics

Braunstein, SL., 2 Jul 1998

Article in Nature

Generalized phase-integrals for linear homogeneous ODEs

Braunstein, SL., 10 Jul 1998

Article in Journal of Physics A: Mathematical and General

Use of a phosphorylated spin trap to discriminate between the hydroxyl radical and other oxidising species

Clement, J. L., Gilbert, B. C., Ho, W. F., Jackson, N. D., Newton, M. S., Silvester, S., Timmins, G. S., Tordo, P. & Whitwood, A. C., Aug 1998

Article in JOURNAL OF THE CHEMICAL SOCIETY-PERKIN TRANSACTIONS 2

A posteriori teleportation

Braunstein, SI. & Kimble, HJ., 27 Aug 1998

Article in Nature

Decision Level Fusion by Clustering algorithms for Person Authentication

Chatzis, V., Bors, A. G. & Pitas, I., Sep 1998

Article in Proc. European Conference on Signal Processing

Object segmentation in 3-D images based on alpha-trimmed mean radial basis function network

Bors, A. G. & Pitas, I., Sep 1998

Article in Proc. European Conference on Signal Processing

Teleportation as a quantum computation

Brassard, G., Braunstein, SL. & Cleve, R., 1 Sep 1998

Article in Physics D: Nonlinear Phenomena

A system for capturing high resolution images

Voyatzis, G., Angelopoulos, G., Bors, A. G. & Pitas, I., Oct 1998

Article in Proc Conference on Technology and Automatics

Motion and Segmentation Prediction in Image Sequences Based on Moving Object Tracking

Bors, A. G. & Pitas, I., Oct 1998

Article in Proc. IEEE Int. Conference on Image Processing

Structural matching with active triangulations

Wilson, RC., Cross, ADJ. & Hancock, ER., Oct 1998

Article in Computer Vision and Image Understanding

An energy function and continuous edit process for graph matching

Finch, A. M., Wilson, R. C. & Hancock, E. R., 1 Oct 1998

Article in NEURAL COMPUTATION

Unconditional quantum teleportation

Furusawa, A., Sorensen, JL., Braunstein, SL., Fuchs, CA., Kimble, HJ. & Polzik, ES., 23 Oct 1998

Article in Science

Symbolic graph matching with the EM algorithm

Finch, A. M., Wilson, R. C. & Hancock, E. R., Nov 1998

Article in Pattern recognition

The role of validation in macromolecular crystallography

Dodson, E., 1 Nov 1998

Article in Acta crystallographica section d-Biological crystallography

Image watermarking using block site selection and DCT domain constraints

Bors, A. G. & Pitas, I., Dec 1998

Article in Optics Express

Distributed atomic actions in Ada 95

Mitchell, S. E., Wellings, A. J. & Romanovsky, A., 1 Dec 1998

Article in Computer journal

An Inconsistency in Procedures, Parameters and Substitution in the Refinement Calculus

Cavalcanti, A., Sampaio, A. & Woodcock, J., 1999

Article in Sci. Comput. Program.

CONVERSE: A change-oriented process for engine controllers

Buttle, D. L., Clark, J. A., McDermid, J. A., Stephenson, A. & Tracey, N. J., 1999

Article in IEE Proceedings - Software

Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming

Anthony, S. & Frisch, A. M., 1999

Article in New Generation Computing

Coordination in a Content-Addressable Web

Menezes, R., Merrick, I. & Wood, A. M., 1999

Article in Journal of Autonomous Agents and Multi-Agent Systems

Determination of switching field distribution and easy axis distribution in metal particle tape

Jackson, M., Prichard, L. S., O'Grady, K. & Mayo, P. I., 1999

Article in Journal of Magnetism and Magnetic Materials

Enumerated types in Java

Cairns, P. A., 1999

Article in Software: Practice and Experience

Extracting curvilinear features from millimetre radar data

Cross, A. & Hancock, E., 1999

Article in SEVENTH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING AND ITS APPLICATIONS

Feature matching with procrustes alignment and graph editing

Luo, B. & Hancock, E. R., 1999

Article in SEVENTH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING AND ITS APPLICATIONS

Graph Transformation for Specification and Programming

Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H-J., Kuske, S., Plump, D., Schürr, A. & Taentzer, G., 1999

Article in Science of Computer Programming

Graph matching for shape retrieval

Huet, B., Cross, A. D. J. & Hancock, E. R., 1999

Article in ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 11

Improved orientation estimation for texture planes using multiple vanishing points

Ribeiro, E. & Hancock, E., 1999

Article in COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS

Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems

Tracey, N., Mander, K., Clark, J. A. & McDermid, J. A., 1999

Article in Proceedings of 4th Australian Workshop on Safety Critical Systems and Software. Australian Computer Society.

Integrating Probabilistic and Logical Reasoning

Cussens, J., 1999

Article in Electron. Trans. Artif. Intell.

Integrating a Program Design Calculus and a Subset of UML

Paige, R. F., 1999

Article in Int. J. Hum.-Comput. Stud.

Modeling of a scanning laser range sensor for robotic applications

Pears, N. E., 1999

Article in Advanced Robotics

Modelling needle-map consistency with novel constraints

Worthington, P. L. & Hancock, E. R., 1999

Article in COMPUTER ANALYSIS OF IMAGES AND PATTERNS

Procrustes alignment with the EM algorithm

Luo, B. & Hancock, E. R., 1999

Article in COMPUTER ANALYSIS OF IMAGES AND PATTERNS

Software engineering research: A critical appraisal

McDermid, J. A. & Bennett, K. H., 1999

Article in IEE Proceedings on Software Engineering

Solving Constraint Satisfaction Problems with NB-Resolution

Frisch, A. M., 1999

Article in Electron. Trans. Artif. Intell.

Storage capacity of the exponential correlation associative memory

Wilson, R. C. & Hancock, E. R., 1999

Article in FOUNDATIONS AND TOOLS FOR NEURAL MODELING, PROCEEDINGS, VOL I

Structural constraints for pose clustering

Moss, S. & Hancock, E. R., 1999

Article in COMPUTER ANALYSIS OF IMAGES AND PATTERNS

The Potential for a Generic Approach to the Certification of Safety-Critical Systems in the Transportation Sector

Papadopoulos, Y. & McDermid, J. A., 1999

Article in Reliabiltiy Engineering and System Safety

When are methods complementary?

Paige, R. F., 1999

Article in Information and Software Technology

`The Standard Logic for Z': A Clarification

King, S., 1999

Article in Formal Asp. Comput.

Adsorption and decomposition of Fe(CO)(5) on Cu(111)

Sun, L. & McCash, E. M., 22 Feb 1999

Article in Surface Science

Quantum computation over continuous variables

Lloyd, S. & Braunstein, SL., 22 Feb 1999

Article in Physical Review Letters

Towards a scheduling and timing analysis solution for integrated modular avionic systems

Grigg, A. & Audsley, N. C., 22 Feb 1999

Article in Microprocessors and Microsystems

JI/CDM crediting under the Kyoto Protocol: does 'interim period banking' help or hinder GHG emissions reduction?

Parkinson, S., Begg, K., Bailey, P. & Jackson, T., Mar 1999

Article in Energy policy

Scale space vector fields for symmetry detection

Cross, ADJ. & Hancock, ER., Apr 1999

Article in Image and Vision Computing

Vitamin B₁₂: insights into biosynthesis's mount improbable

Raux, E., Schubert, H. L., Roper, J. M., Wilson, K. S. & Warren, M. J., Apr 1999

Article in RUSSIAN JOURNAL OF BIOORGANIC CHEMISTRY

Localisation of amylose and amylopectin in starch granules using enzyme-gold labelling

Atkin, N. J., Cheng, S. L., Abeysekera, R. M. & Robards, A. W., May 1999

Article in Starch-Starke

Corner detection via topographic analysis of vector-potential

Luo, B., Cross, ADJ. & Hancock, ER., Jun 1999

Article in Pattern Recognition Letters

GUARDS: A generic upgradable architecture for real-time dependable systems

Powell, D., Arlat, J., Beus-Dukic, L., Bondavalli, A., Coppola, P., Fantechi, A., Jenn, E., Rabejac, C. & Wellings, A., Jun 1999

Article in Ieee transactions on parallel and distributed systems

Needle map recovery using robust regularizers

Worthington, P. L. & Hancock, E. R., Jun 1999

Article in Image and Vision Computing

Portable code: reducing the cost of obsolesence in embedded systems

Audsley, N., Bate, I. & Grigg, A., Jun 1999

Article in Computing & control engineering journal

Automated production of small-molecule dictionaries for use in crystallographic refinements

Greaves, R. B., Vagin, A. A. & Dodson, E. J., Jul 1999

Article in Acta crystallographica section d-Biological crystallography

Consistent topographic surface labelling

Wilson, R. C. & Hancock, E. R., Jul 1999

Article in Pattern recognition

Deterministic search for relational graph matching

Williams, M. L., Wilson, R. C. & Hancock, E. R., Jul 1999

Article in Pattern recognition

Behavioural management in nursing and residential homes: a randomised controlled trial

Proctor, R., Burns, A., Powell, H. S., Tarrier, N., Faragher, B., Richardson, G. & Davies, L., 3 Jul 1999

Article in Lancet

Supporting real-time distributed computer-controlled systems with multi-hop P-NET networks

Tovar, E., Vasques, F. & Burns, A., Aug 1999

Article in Control engineering practice

Quantum teleportation with squeezed vacuum states

Milburn, GJ. & Braunstein, SL., 1 Aug 1999

Article in Physical Review A

Separability of very noisy mixed states and implications for NMR Quantum computing

Braunstein, SL., Caves, CM., Jozsa, R., Linden, N., Popescu, S. & Schack, R., 2 Aug 1999

Article in Physical Review Letters

Haskell and XML: Generic combinators or type-based translation?

Wallace, M. & Runciman, C., Sep 1999

Article in Acm sigplan notices

Some comments on the crystallography and the evolution of the catalytic structure in some serine hydrolases

Dodson, E. & Dodson, G., Sep 1999

Article in Croatica chemica acta

Graph matching with hierarchical discrete relaxation

Wilson, RC. & Hancock, ER., 1 Oct 1999

Article in Pattern Recognition Letters

A class of asynchronous multisplitting two-stage iterations for large sparse block systems of weakly nonlinear equations

Bai, Z. Z., Evans, D. J. & Calinescu, R. C., 30 Oct 1999

Article in Journal of Computational and Applied Mathematics

Shape recognition from large image libraries by inexact graph matching

Huet, B. & Hancock, E. R., Nov 1999

Article in Pattern Recognition Letters

Undefined expressions and logic in Z and B

Stoddart, B., Dunne, S. & Galloway, A., Nov 1999

Article in Formal Methods in System Design

A mixture model for pose clustering

Moss, S., Wilson, R. C. & Hancock, E. R., 1 Nov 1999

Article in Pattern Recognition Letters

Line pattern retrieval using relational histograms

Huet, B. & Hancock, E. R., Dec 1999

Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

A Bayesian framework for radar shape-from-shading

Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000

Article in IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, VOL I

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

Cavalcanti, A. & Naumann, D. A., 2000

Article in IEEE Trans. Software Eng.

A behavioural intervention improved cognitive function and depression in elderly people in residential homes

Proctor, R., Stratton-Powell, H., Burns, A., Tarrier, N., Richardson, G., Davies, L., South, B. & Farragher, B., 2000

Article in Evidence Based Nursing

A scale adaptive method for focusing spectral peaks

Ribeiro, E. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 3, PROCEEDINGS

A value-based scheduling approach for real-time autonomous vehicle control

Prasad, D. & Burns, A., 2000

Article in Robotica

Abstract Testing, Proof and Automation: An Integrated Approach

Burton, S., Clark, J. & McDermid, J. A., 2000

Article in Citeseer

Adapting spectral scale for shape from texture

Ribeiro, E. & Hancock, E. R., 2000

Article in COMPUTER VISION - ECCV 2000, PT I, PROCEEDINGS

Alignment and correspondence using Markov Chain Monte Carlo

Moss, S. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1, PROCEEDINGS

Alignment and correspondence using singular value decomposition

Luo, B. & Hancock, E. R., 2000

Article in ADVANCES IN PATTERN RECOGNITION

An artificial immune system for data analysis

Timmis, J., Neal, M. & Hunt, J., 2000

Article in Biosystems

An eigendecomposition method for shape-from-texture

Ribeiro, E., Worthington, P. L. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1, PROCEEDINGS

An improved point proximity matrix for modal matching

Carcassoni, M. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 2, PROCEEDINGS

Bisimilarity in Term Graph Rewriting

Ariola, Z. M., Klop, J. W. & Plump, D., 2000

Article in Information and Computation

Building information systems based on neural networks

Lee, S-Y., Austin, J. & Kil, R. M., 2000

Article in Neurocomputing

Chronic insulin effects on insulin signalling and GLUT4 endocytosis are reversed by metformin

Pryor, P. R., Liu, S. C., Clark, A. E., Yang, J., Holman, G. D. & Tosh, D., 2000

Article in Biochemical journal

Curvature estimation using shape-from-texture

Ribeiro, E. & Hancock, E. R., 2000

Article in ADVANCES IN PATTERN RECOGNITION

Efficient alignment and correspondence using edit distance

Bergamini, P., Cinque, L., Cross, A. D. J., Hancock, E. R., Levialdi, S. & Myers, R., 2000

Article in ADVANCES IN PATTERN RECOGNITION

Entanglement swapping as event-ready entanglement preparation

Kok, P. & Braunstein, SL., 2000

Article in FORTSCHRITTE DER PHYSIK-PROGRESS OF PHYSICS

Experimental proposals for quantum computation - Foreword

Braunstein, S. & Lo, HK., 2000

Article in FORTSCHRITTE DER PHYSIK-PROGRESS OF PHYSICS

Feature extraction and tracking for scanning range sensors

Pears, N. E., 2000

Article in Robotics and Autonomous Systems

Histogram-based object recognition using shape-from-shading

Worthington, P. L. & Hancock, E. R., 2000

Article in IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, VOL I

Integration of continuous caster and hot strip mill planning for steel production

Cowling, P. & Rezig, W., 2000

Article in Journal of Scheduling

Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems

Wing, J. M. & Woodcock, J., 2000

Article in Formal Methods in System Design

Least committment graph matching by evolutionary optimisation

Myers, R. & Hancock, E. R., 2000

Article in COMPUTER VISION - ECCV 2000, PT I, PROCEEDINGS

Modelling Engineeering Design Processes with Role Activity Diagrams

Murdoch, J., McDermid, J. A., Astley, K. & Wilkinson, P., 2000

Article in Transactions of the SDPS: Journal of Integrated Design and Process Science

On The Total Chromatic Number of Steiner Systems

Cowling, P., 2000

Article in JOURNAL OF COMBINATORIAL MATHEMATICS AND COMBINATORIAL COMPUTING

Optimising pattern recovery in recurrent correlation associative memories

Wilson, R. C. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 2, PROCEEDINGS

Perspective pose from spectral voting

Ribeiro, E. & Hancock, E. R., 2000

Article in IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, VOL I

Point pattern matching with robust spectral correspondence

Carcassoni, M. & Hancock, E. R., 2000

Article in IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, VOL I

Population codes for orientation estimation

Ludtke, N., Wilson, R. C. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1, PROCEEDINGS

Principles for modeling language design

Paige, R. F., Ostroff, J. S. & Brooke, P. J., 2000

Article in Information and Software Technology

Region-based object recognition using shape-from-shading

Worthington, P. L. & Hancock, E. R., 2000

Article in COMPUTER VISION - ECCV 2000, PT I, PROCEEDINGS

Reports on the AAAI 1999 Workshop Program

Drabble, B., Chaudron, L., Tessier, C., Abu-Hakima, S., Willmott, S., Austin, J., Faltings, B., Freuder, E. C., Friedrich, G., Freitas, A. A., Cortés, U., Sànchez-Marrè, M., Aha, D. W., Becerra-Fernandez, I., Muñoz-Avila, H., Ghose, A., Menzies, T., Satoh, K., Califf, M. E., Cox, M. T. & 5 others, Sen, S., Brézillon, P., Pomerol, J-C., Turner, R. M. & Turner, E. H., 2000

Article in AI Magazine

Selection strategies for ambiguous graph matching by evolutionary optimisation

Myers, R. & Hancock, E. R., 2000

Article in ADVANCES IN PATTERN RECOGNITION

Spectral correspondence for deformed point-set matching

Carcassoni, M. & Hancock, E. R., 2000

Article in ARTICULATED MOTION AND DEFORMABLE OBJECTS, PROCEEDINGS

Storage capacity of the exponential correlation associative memory

Wilson, R. C. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 2, PROCEEDINGS

Structural object recognition using shape-from-shading

Worthington, P. L. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1, PROCEEDINGS

Symbolic graph matching using the EM algorithm and singular value decomposition

Luo, B. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 2, PROCEEDINGS

Tangent fields from population coding

Ludtke, N., Wilson, R. C. & Hancock, E. R., 2000

Article in BIOLOGICALLY MOTIVATED COMPUTER VISION, PROCEEDING

Terrain feature identification by modeling radar image statistics

Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000

Article in 2000 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL I, PROCEEDINGS

Terrain modeling in synthetic aperture radar images using shape-from-shading

Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1, PROCEEDINGS

Texture plane orientation from spectral accumulation

Ribeiro, E. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1, PROCEEDINGS

The First World Congress on Formal Methods in the Development of Computing Systems

Wing, J. M. & Woodcock, J., 2000

Article in Formal Asp. Comput.

View synthesis from needle-maps

Worthington, P. L. & Hancock, E. R., 2000

Article in 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 4, PROCEEDINGS

An incremental recovery cache supporting software fault tolerance mechanisms

Rogers, P. & Wellings, A. J., Jan 2000

Article in Computer systems science and engineering

Automated test-data generation for exception conditions

Tracey, N., Clark, J. A., Mander, K. & McDermid, J. A., Jan 2000

Article in Software-Practice & experience

Bias-variance analysis for controlling adaptive surface meshes

Wilson, R. C. & Hancock, E. R., Jan 2000

Article in Computer Vision and Image Understanding

Incremental recovery cache supporting software fault tolerance mechanisms

Rogers, P. & Wellings, A. J., 1 Jan 2000

Article in Computer systems science and engineering

Scheduling optional computations for adaptive real-time systems

McElhone, C. & Burns, A., 1 Jan 2000

Article in Journal of systems architecture

Unconditional teleportation of continuous-variable entanglement

van Loock, P. & Braunstein, SL., 1 Jan 2000

Article in Physical Review A

Techniques to increase the schedulable utilization of cache-based preemptive real-time systems

Busquets-Mataix, J. V., Gil, D., Gil, P. & Wellings, A., Feb 2000

Article in Journal of systems architecture

The meaning and role of value in scheduling flexible real-time systems

Burns, A., Prasad, D., Bondavalli, A., Di Giandomenico, F., Ramamritham, K., Stankovic, J. & Strigini, L., Feb 2000

Article in Journal of systems architecture

Criteria for continuous-variable quantum teleportation

Braunstein, SL., Fuchs, CA. & Kimble, HJ., 1 Feb 2000

Article in Journal of Modern Optics

Living on a high sugar diet: the fate of sucrose ingested by a phloem-feeding insect, the pea aphid Acyrthosiphon pisum

Ashford, D. A., Smith, W. A. & Douglas, A. E., Mar 2000

Article in Journal of insect physiology

Impossibility of deleting an unknown quantum state

Pati, AK. & Braunstein, SL., 9 Mar 2000

Article in Nature

State restoration in Ada 95: A portable approach to supporting software fault tolerance

Rogers, P. & Wellings, A. J., 15 Mar 2000

Article in Journal of Systems and Software

Genetic algorithms for ambiguous labelling problems

Myers, R. & Hancock, E. R., Apr 2000

Article in Pattern recognition

Dense coding for continuous variables

Braunstein, SL. & Kimble, HJ., 1 Apr 2000

Article in Physical Review A

Postselected versus nonpostselected quantum teleportation using parametric down-conversion

Kok, P. & Braunstein, SL., 1 Apr 2000

Article in Physical Review A

Multipartite entanglement for continuous variables: A quantum teleportation network

van Loock, P. & Braunstein, SL., 10 Apr 2000

Article in Physical Review Letters

Universal teleportation with a twist

Braunstein, SL., D'Ariano, GM., Milburn, GJ. & Sacchi, MF., 10 Apr 2000

Article in Physical Review Letters

A short proof that every prime p 3 (mod 8) is of the form x(2)+2y(2)

Jackson, T., May 2000

Article in American mathematical monthly

Compilation versus abstract machines for fast parsing of typed feature structure grammars

Brown, J. C. & Manandhar, S., May 2000

Article in Future generation computer systems

Integrating object-oriented programming and protected objects in Ada 95

Wellings, A. J., Johnson, B., Sanden, B., Kienzle, J., Wolf, T. & Michell, S., May 2000

Article in Acm transactions on programming languages and systems

Estimating the 3D orientation of texture planes using local spectral analysis

Ribeiro, E. & Hancock, E. R., 15 May 2000

Article in Image and Vision Computing

Modelling and experimental analysis of vacuum plasma spraying. Part I: prediction of initial plasma properties at plasma gun exit

Zhao, Y. Y., Grant, P. S. & Cantor, B., Jul 2000

Article in Modelling and simulation in materials science and engineering

Modelling and experimental analysis of vacuum plasma spraying. Part II: prediction of temperatures and velocities of plasma gases and Ti particles in a plasma jet

Zhao, Y. Y., Grant, P. S. & Cantor, B., Jul 2000

Article in Modelling and simulation in materials science and engineering

A quantum analog of Huffman coding

Braunstein, SL., Fuchs, CA., Gottesman, D. & Lo, HK., 1 Jul 2000

Article in IEEE TRANSACTIONS ON INFORMATION THEORY

Is proof more cost-effective than testing?

King, S., Hammond, J., Chapman, R. & Pryor, A., Aug 2000

Article in IEEE Transactions on Software Engineering

Broadband teleportation

van Loock, P., Braunstein, SL. & Kimble, HJ., 1 Aug 2000

Article in Physical Review A