On the relationship between incidence calculus and ATMS

Application of multivector calculus

Udugama, H.
Sajeewa, G.S.
Lasenby, J.
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:9106.170(CUED/F-INFENG/TR 382) / BLDS...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

Interaction of periodic bursty traffic flows in ATM networks

Carvalho, P.M.M. de

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN009770 / BLDSC - British Library D...

A rational reconstruction of incidence calculus

Correa da Silva, F.S
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--517) / BLDSC - B...

Constructing probabilistic ATMS using extended incidence calculus

Liu, W.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1996

ATMSs - assumption truth maintenance systemsAvailable from British Library Document Supply Centre-DS...

Assignment methods for incidence calculus

McLean, R.
Bundy, A.
Liu, W
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--649) / BLDSC - B...

Incidence calculus A mechanism for probabilistic reasoning

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1984

Available from British Library Lending Division - LD:3511.638(DAI-RP--216) / BLDSC - British Library...

Relative frequency in a synchronous calculus

Tofts, C
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--90-108) / BLDSC ...

A probalistic duration calculus

Liu, Z.
Ravn, A.P.
Soerensen, E.V.
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7769.09285(WU-DCS-RR--218) / BLDSC -...

Duration dependance and the diffusion of new technology The case of ATMs

Gourlay, A.R.
Loughborough Univ. (United Kingdom). Dept. of Economics

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3654.479(98/2) / BLDSC - British Libr...

Strong normalisation for the linear term calculus

Benton, P.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1993

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(305) / BLDSC - British Libra...

Invetigations into the fractional calculus

Maccone, C

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D33930/81 / BLDSC - British Library ...

Recovering incidence functions

Liu, W.
Bundy, A.
Robertson, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

Available from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--648) / BLDSC - Britis...

Correctness criteria of some algorithms for uncertain reasoning using incidence calculus

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--259) / BLDSC - Brit...

Arithmetic dynamics

Sidorov, N.
Manchester Centre for Pure Mathematics (United Kingdom)

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:6609.268(no 2002/3) / BLDSC - British...

Application of multivector calculus

Udugama, H.
Sajeewa, G.S.
Lasenby, J.
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:9106.170(CUED/F-INFENG/TR 382) / BLDS...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

Interaction of periodic bursty traffic flows in ATM networks

Carvalho, P.M.M. de

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN009770 / BLDSC - British Library D...

A rational reconstruction of incidence calculus

Correa da Silva, F.S
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--517) / BLDSC - B...

Constructing probabilistic ATMS using extended incidence calculus

Liu, W.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1996

ATMSs - assumption truth maintenance systemsAvailable from British Library Document Supply Centre-DS...

Assignment methods for incidence calculus

McLean, R.
Bundy, A.
Liu, W
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--649) / BLDSC - B...

Incidence calculus A mechanism for probabilistic reasoning

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1984

Available from British Library Lending Division - LD:3511.638(DAI-RP--216) / BLDSC - British Library...

Relative frequency in a synchronous calculus

Tofts, C
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--90-108) / BLDSC ...

A probalistic duration calculus

Liu, Z.
Ravn, A.P.
Soerensen, E.V.
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7769.09285(WU-DCS-RR--218) / BLDSC -...

Duration dependance and the diffusion of new technology The case of ATMs

Gourlay, A.R.
Loughborough Univ. (United Kingdom). Dept. of Economics

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3654.479(98/2) / BLDSC - British Libr...

Strong normalisation for the linear term calculus

Benton, P.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1993

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(305) / BLDSC - British Libra...

Invetigations into the fractional calculus

Maccone, C

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D33930/81 / BLDSC - British Library ...

Recovering incidence functions

Liu, W.
Bundy, A.
Robertson, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

Available from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--648) / BLDSC - Britis...

Correctness criteria of some algorithms for uncertain reasoning using incidence calculus

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--259) / BLDSC - Brit...

Arithmetic dynamics

Sidorov, N.
Manchester Centre for Pure Mathematics (United Kingdom)

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:6609.268(no 2002/3) / BLDSC - British...

Application of multivector calculus

Udugama, H.
Sajeewa, G.S.
Lasenby, J.
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:9106.170(CUED/F-INFENG/TR 382) / BLDS...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

Interaction of periodic bursty traffic flows in ATM networks

Carvalho, P.M.M. de

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN009770 / BLDSC - British Library D...

On the relationship between incidence calculus and ATMS

Abstract

Extracted data

On the relationship between incidence calculus and ATMS

Abstract

Extracted data

Related items

Related items