Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

Article

Baral, C. and Gelfond, M. and Provetti, Alessandro (1997) Representing actions: laws, observations and hypotheses. The Journal of Logic Programming 31 (1/3), pp. 201-243. ISSN 0743-1066.

Bugmann, G. and Christodoulou, Chris and Taylor, J.G. (1997) Role of temporal integration and fluctuation detection in the highly irregular firing of a leaky integrator neuron model with partial reset. Neural Computing and Applications 9 (5), pp. 985-1000. ISSN 0941-0643.

Levene, Mark (1997) Computer chess: a unifying theme. International Computer Games Association Journal 20 (1), pp. 64-65. ISSN 1389-6911.

Levene, Mark and Loizou, G. (1997) Null inclusion dependencies in relational databases. Information and Computation 136 (2), pp. 67-108. ISSN 0890-5401.

Levene, Mark and Loizou, G. (1997) The additivity problem for functional dependencies in incomplete relations. Acta Informatica 34 (2), pp. 135-149. ISSN 0001-5903.

Magoulas, George and Vrahatis, M.N. and Androulakis, G. (1997) Effective backpropagation training with variable stepsize. Neural Networks 10 (1), pp. 69-82. ISSN 0893-6080.

Rodgers, P.J. and Rodgers, Peter J.H. (1997) A graph-rewriting visual language for database programming. Journal of Visual Languages and Computing 8 (5/6), pp. 641-674. ISSN 1045-926X.

Zakharyaschev, Michael (1997) Canonical formulas for K4. part III: the finite model property. The journal of Symbolic Logic 62 (3), pp. 950-975. ISSN 0022-4812.

Zakharyaschev, Michael (1997) The greatest extension of S4 into which intuitionistic logic is embeddable. Studia Logica 59 (3), pp. 345-358. ISSN 0039-3215.

Book Section

Blasius, K.-H. and Grawemeyer, Beate and John, I. and Kuhn, N. (1997) Knowledge-based document analysis. In: UNSPECIFIED (ed.) 4th International Conference: Document Analysis and Recognition. IEEE Computer Society, pp. 728-731. ISBN 0818678984.

Carey, M.J. and DeWitt, D.J. and Naughton, J.F. and Asgarian, M. and Brown, Paul and Gehrke, J. and Shah, D. (1997) The BUCKY object-relational benchmark. In: Peckham, J. (ed.) SIGMOD 1997: Proceedings ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, pp. 135-146.

Chavda, M. and Wood, Peter (1997) Combining constraints and data-flow in a visual query language. In: UNSPECIFIED (ed.) Proceedings of the 1997 IEEE Symposium on Visual Languages. IEEE Computer Society, pp. 125-126. ISBN 9780818681446.

Chavda, M. and Wood, Peter (1997) Towards an ODMG-compliant visual object query language. In: Jarke, M. and Carey, M.J. and Dittrich, K.R. and Lochovsky, F.H. and Loucopoulos, P. and Jeusfeld, M.A. (eds.) VLDB 97: Proceedings of 23rd International Conference on Very Large Data Bases. Morgan Kaufmann, pp. 456-465. ISBN 9781558604707.

Ng, W. and Levene, Mark (1997) OSQL: an extension to SQL to manipulate ordered relational databases. In: Silberschatz, A. and Shoval, P. (eds.) Next Generation Information Technologies and Systems. Springer.

Ng, W. and Levene, Mark (1997) The development of ordered SQL packages for modelling advanced applications. In: Hameurlain, A. and Min Tjoa, A. (eds.) Database and Expert Systems Applications: 8th International Conference. Lecture Notes in Computer Science 1308. Springer, pp. 529-538. ISBN 9783540634782.

Ng, W. and Levene, Mark (1997) An extension of SQL to support ordered domains in relational databases. In: UNSPECIFIED (ed.) Proceedings of the International Database Engineering and Applications Symposium. IEEE Computer Society, pp. 358-367. ISBN 0818681144.

Provetti, Alessandro and Rossi, G. (1997) Action specifications in log. In: Falaschi, M. and Navarro, M. and Policriti, A. (eds.) 1997 Joint Conference on Declarative Programming: APPIA-GULP-PRODE '97. APPIA-GULP-PRODE, pp. 381-392.

Conference or Workshop Item

Mikulas, Szabolcs (1997) A note on expressing infinity in cylindrlc-relativised set algebras. In: Third International Seminar on the Use of Relational Methods in Computer Science, 1997, Hammamet, Tunisia. (Unpublished)

Book

Small, C. and Douglas, P. and Johnson, R.G. and King, Peter J.H. and Martin, G.N., eds. (1997) Advances in databases, 15th British national conference on databases: BNCOD 15. Lecture Notes in Computer Science 1271. Springer.

Small, C. and Douglas, P. and Johnson, Roger and King, P.J.H. and Martin, G.N., eds. (1997) Advances in databases: 15th British national conference on databases. Lecture Notes in Computer Science 1271. Springer. ISBN 9783540632638.

Chagrov, A.V. and Zakharyaschev, Michael (1997) Modal logic. Oxford logic guides 35. Oxford, UK: Oxford University Press. ISBN 9780198537793.