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

Article

Chagrov, A.V. and Zakharyaschev, Michael (1995) On the independent axiomatizability of modal and intermediate logics. Journal of Logic and Computation 5 (3), pp. 287-302. ISSN 0955-792X.

Dyer, M. and Fenner, Trevor and Frieze, A.M. and Thomason, A. (1995) On key storage in secure networks. Journal of Cryptology 8 (4), pp. 189-200. ISSN 0933-2790.

Geman, Hélyette (1995) Changes of numéraire, changes of probability measure and option pricing. Journal of Applied Probablity 32 (2), pp. 443-458. ISSN 0021-9002.

Geman, Hélyette and Eydeland, A. (1995) Domino effect: inverting the laplace transform. Risk 8 , pp. 65-67.

Levene, Mark (1995) A lattice view of functional dependencies in incomplete relations. Acta Cybernetica 12 (2), pp. 181-207. ISSN 0324-721X.

Levene, Mark and Fenner, Trevor (1995) A partial analysis of minimaxing game trees with random leaf values. International Computer Games Association Journal 18 (1), pp. 20-33. ISSN 1389-6911.

Levene, Mark and Loizou, G. (1995) A correspondence between variable relations and three-valued propositional logic. International Journal of Computer Mathematics 55 (1-2), pp. 29-38. ISSN 0020-7160.

Levene, Mark and Loizou, G. (1995) A graph-based data model and its ramifications. IEEE Transactions on Knowledge and Data Engineering 7 (5), pp. 809-823. ISSN 1041-4347.

Marx, M. and Mikulas, Szabolcs and Nemeti, I. (1995) Taming logic. Journal of Logic, Language and Information 4 (3), pp. 207-226. ISSN 0925-8531.

Mendelzon, A.O. and Wood, Peter (1995) Finding regular simple paths in graph databases. SIAM Journal on Computing 24 (6), pp. 1235-1258. ISSN 0097-5397.

Papantonakis, A. and King, Peter J.H. (1995) Syntax and semantics of Gql, a graphical query language. Journal of Visual Languages and Computing 6 (1), pp. 3-25. ISSN 1045-926X.

Pesaran, M.H. and Smith, Ron P. (1995) Estimating long-run relationships from dynamic heterogeneous panels. Journal of Econometrics 68 (1), pp. 79-113. ISSN 0304-4076.

Sutton, D.R. and King, Peter J.H. (1995) Incomplete information and the functional data model. The Computer Journal 38 (1), pp. 31-42. ISSN 0010-4620.

Zakharyaschev, Michael and Alekseev, A. (1995) All finitely axiomatizable normal extensions of K4.3 are decidable. Mathematical Logic Quarterly 41 (1), pp. 15-23. ISSN 0942-5616.

Book Section

Brown, Paul and Stonebraker, M. (1995) BigSur: a system for the management of earth science data. In: Dayal, U. and Gray, P.M.D. and Nishio, S. (eds.) VLDB 1995: Proceedings of 21th International Conference on Very Large Data Bases. Morgan Kaufmann, pp. 720-728.

Christodoulou, Chris and Clarkson, T.G. (1995) A review on the stochastic firing behaviour of real neurons and how it can be modelled. In: Mira, J. and Hernandez, F.S. (eds.) International Workshop on Artificial Neural Networks 95: From Natural to Artificial Neural Computation. Lecture Notes in Computer Science 930. Springer, pp. 223-230. ISBN 9783540594970.

Consens, M.P. and Mendelzon, A.O. and Vista, D. and Wood, Peter (1995) Constant propagation versus join reordering in datalog. In: Sellis, T. (ed.) RIDS 95: Rules in Database Systems. Lecture Notes in Computer Science 985. Springer, pp. 245-259. ISBN 9783540603658.

Hidders, Jan (1995) Union-types in object-oriented schemes. In: Atzeni, P. and Tannen, V. (eds.) Database Programming Languages, DBPL-5: Proceedings of the Fifth International Workshop on Database Programming Languages. Electronic Workshops in Computing. Springer.

Levene, Mark and Loizou, G. (1995) The additivity problem for data dependencies in incomplete relational databases. In: Libkin, L. and Thalheim, B. (eds.) Semantics in Databases: Selected Papers from a Workshop. Lecture Notes in Computer Science 1358. Springer, pp. 136-169. ISBN 9783540641995.

Michos, S.E. and Magoulas, George and Fakotakis, N. (1995) A hybrid knowledge representation model in a natural language interface to MS-DOS. In: UNSPECIFIED (ed.) Seventh International Conference on Tools with Artificial Intelligence: ICTAI '95. IEEE Computer Society, pp. 480-483. ISBN 0818673125.

Wood, Peter (1995) Magic factoring of closure programs. In: Yannakakis, M. and Abiteboul, S. (eds.) Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery, pp. 174-183. ISBN 9780897917308.