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

Article

Bailey, J. and Poulovassilis, Alex and Wood, Peter (2002) Analysis and optimisation of event-condition-action rules on XML. Computer Networks 39 (3), pp. 239-259. ISSN 1389-1286.

Baxter, B.J.C.B. and Roussos, George (2002) A new error estimate of the fast gauss transform. SIAM Journal on Scientific Computing 24 (1), pp. 257-259. ISSN 1064-8275.

Bennett, B. and Cohn, A.G. and Wolter, F. and Zakharyaschev, Michael (2002) Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence 17 (3), pp. 239-251. ISSN 0924-669X.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) On the role of integrity constraints in data integration. IEEE Data Engineering Bulletin 25 (3), pp. 39-45.

Christodoulou, Chris (2002) On the firing variability of the integrate-and-fire neurons with partial reset in the presence of inhibition. Neurocomputing 44 (46), pp. 81-84. ISSN 0925-2312.

Christodoulou, Chris and Bugmann, G. and Clarkson, T.G. (2002) A spiking neuron model: applications and learning. Neural Networks 15 (7), pp. 891-908. ISSN 0893-6080.

Costantini, S. and D' Antona, O.M. and Provetti, Alessandro (2002) On the equivalence and range of applicability of graph-based representations of logic programs. Information Processing Letters 84 (5), pp. 241-249. ISSN 0020-0190.

Foschi, P. and Kontoghiorghes, Erricos (2002) Seemingly unrelated regression model with unequal size observations: computational aspects. Computational Statistics & Data Analysis 41 (1), pp. 211-229. ISSN 0167-9473.

Kutz, O. and Sturm, H. and Suzuki, N.Y. and Wolter, F. and Zakharyaschev, W. (2002) Axiomatizing distance logics. Journal of Applied Non-Classical Logics 12 (3-4), pp. 425-440. ISSN 1166-3081.

Levene, Mark and Fenner, Trevor and Loizou, George and Wheeldon, Richard (2002) A stochastic model for the evolution of the Web. Computer Networks 39 (3), pp. 277-287. ISSN 1389-1286.

Levene, Mark and Loizou, George (2002) Kemeny's constant and the random surfer. American Mathematical Monthly 109 , pp. 741-745. ISSN 0002-9890.

Levene, Mark and Poulovassilis, Alex (2002) Report on the web dynamics workshop at WWW 2002. SIGMOD Record 31 (3), pp. 72-76. ISSN 0163-5808.

Levene, Mark and Wood, P.T. (2002) XML structure compression. CEUR Workshop Proceedings 702 , pp. 56-69. ISSN 1613-0073.

Lutz, C. and Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2002) A tableau decision algorithm for modalized ALC with constant domains. Studia Logica 72 (2), pp. 199-232. ISSN 0039-3215.

Magoulas, George and Plagianakos, V.P. and Vrahatis, M.N. (2002) Globally convergent algorithms with local learning rates. IEEE Transactions on Neural Networks 13 (3), pp. 774-779. ISSN 1045-9227.

Marx, M. and Mikulás, Szabolcs (2002) An elementary construction for a non-elementary procedure. Studia Logica 72 (2), pp. 253-263. ISSN 0039-3215.

Papanikolaou, K.A. and Grigoriadou, M. and Magoulas, George and Kornilakis, H. (2002) Towards new forms of knowledge communication: the adaptive dimension of a web-based learning environment. Computers and Education 39 (4), pp. 333-360. ISSN 0360-1315.

Plagianakos, V.P. and Magoulas, George and Vrahatis, M.N. (2002) Deterministic nonmonotone strategies for effective training of multilayer perceptrons. IEEE Transactions on Neural Networks 13 (6), pp. 1268-1284. ISSN 1045-9227.

Shepherd, Adrian J. and Martin, Nigel and Johnson, Roger and Kellam, P. and Orengo, C.A. (2002) PFDB: a generic protein family database integrating the CATH domain structure database with sequence based protein family resources. Bioinformatics 18 (12), pp. 1666-1672. ISSN 1367-4803.

Wolter, F. and Zakharyaschev, Michael (2002) Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic 118 (1-2), pp. 133-145. ISSN 0168-0072.

Zhang, Dell and Dong, Y. (2002) A novel web usage mining approach for search engines. Computer Networks 39 (3), pp. 303-310. ISSN 1389-1286.

Editorial/Introduction

Kurucz, Agnes and Zakharyaschev, Michael and Wolter, F. (2002) Preface. [Editorial/Introduction]

Book Section

Artale, A. and Franconi, E. and Wolter, F. and Zakharyaschev, Michael (2002) A temporal description logic for reasoning over conceptual schemas and queries. In: Flesca, S. and Leone, N. and Ianni, G. (eds.) JELIA 2002: Logics in Artificial Intelligence. Lecture Notes in Computer Science 2424. Springer, pp. 98-110. ISBN 9783540441908.

Bailey, J. and Poulovassilis, Alex and Wood, Peter (2002) An event-condition-action language for XML. In: Lassner, D. and De Roure, D. and Iyengar, A. (eds.) WWW 2002: Proceedings of the Eleventh International World Wide Web Conference. Association for Computing Machinery, pp. 486-495. ISBN 9781581134490.

Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2002) Editorial preface. In: Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (eds.) Advances in Modal Logic. King's College Publications. ISBN 9780954300629.

Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2002) On non-local propositional and local one-variable quantified CTL*. In: UNSPECIFIED (ed.) TIME-2002: 9th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 2-9. ISBN 978076951474X.

Calì, Andrea and Calvanese, D. (2002) Optimized querying of integrated data over the web. In: Rolland, C. and Brinkkemper, S. and Saeki, M. (eds.) Engineering Information Systems in the Internet Context. IFIP Conference Proceedings 231. Kluwer, pp. 285-301.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) Accessing data integration systems through conceptual schema. In: Ciaccia, P. and Rabitti, F. and Soda, G. (eds.) SEBD: Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati. SEBD, pp. 161-168.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) Data integration under integrity constraints. In: Pidduck, A.B. and Ozsu, M.T. and Mylopoulos, J. and Woo, C.C. (eds.) CAiSE 2002: Advanced Information Systems Engineering. Lecture Notes in Computer Science 2348. Springer, pp. 262-279. ISBN 9783540437383.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) On the expressive power of data integration systems. In: Spaccapietra, S. and March, S.T. and Kambayashi, Y. (eds.) ER 2002: Conceptual Modeling. Lecture Notes in Computer Science 2503. Springer, pp. 338-350. ISBN 9783540442776.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2002) A formal framework for reasoning on UML class diagrams. In: Hacid, M.S. and Raś, Z.W. and Zighed, D.A. and Kodratoff, Y. (eds.) ISMIS 200: Foundations of Intelligent Systems. Lecture Notes in Computer Science 2366. Springer, pp. 503-513. ISBN 9783540437857.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. and Naggar, P. and Vernacotola, F. and Soda, G. (2002) IBIS: data integration at work. In: Ciaccia, P. and Rabitti, F. (eds.) SEBD: Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati. SEBD, pp. 291-298.

Costantini, S. and Otero, R.P. and Provetti, Alessandro and Cao Son, T. (2002) Disjunctive logic programs with inheritance revisited. In: Otero, R.P. and Hacid, M.-S. and Ras, Z.W. and Zighed, D.A. and Kodratoff, Y. (eds.) Foundations of Intelligent Systems, 13th International Symposium: ISMIS 2002. Lecture Notes in Computer Science 2366. Springer, 294-294--302. ISBN 9783540437857.

Dekeyser, S. and Hidders, Jan (2002) Path locks for XML document collaboration. In: Wang Ling, T. and Dayal, U. and Bertino, E. and Ng, W.K. and Goh, A. (eds.) 3rd International Conference on Web Information Systems Engineering: WISE 2002. IEEE Computer Society, pp. 105-114. ISBN 9780769517668.

Grigoriadou, M. and Kornilakis, H. and Papanikolaou, K.A. and Magoulas, George (2002) Fuzzy inference for student diagnosis in adaptive educational hypermedia. In: Vlahavas, I.P. and Spyropoulos, C.D. (eds.) Methods and Applications of Artificial Intelligence: Second Hellenic Conference on AI. Lecture Notes in Computer Science 2308. Springer, pp. 191-202. ISBN 9783540434726.

Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2002) Decidable and undecidable fragments of first-order branching temporal logics. In: UNSPECIFIED (ed.) LICS 2002: 17th IEEE Symposium on Logic in Computer Science. IEEE Computer Society, pp. 393-402. ISBN 9780769514839.

Kurucz, A. and Zakharyaschev, Michael (2002) A note on relativised products of modal logics. In: Balbiani, P. and Suzuki, N.Y. and Wolter, F. and Zakharyaschev, Michael (eds.) Advances in Modal Logic 4: papers from the fourth conference on Advances in Modal logic. King's College Publications, pp. 221-242.

Kutz, O. and Wolter, F. and Zakharyaschev, Michael (2002) Connecting abstract description systems. In: Fensel, D. and Giunchiglia, F. and McGuinness, D.L. and Williams, M.-A. (eds.) KR-02: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 215-226.

Magoulas, George and Eldabi, T. and Paul, R.J. (2002) General methodology 3: global search strategies for simulation optimisation. In: Snowdon, J.L. and Charnes, J.M. (eds.) Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers. IEEE Computational Intelligence Society, pp. 1978-1985. ISBN 0780376145.

Roussos, George and Tuominen, J. and Koukara, L. and Seppala, O. and Kourouthanasis, P. and Giaglis, G.M. and Frissaer, J. (2002) A case study in pervasive retail. In: Viveros, M.S. and Lei, H. and Wolfson, O. (eds.) Proceedings of the 2nd International Workshop on Mobile Commerce. Association for Computing Machinery, pp. 90-94. ISBN 9781581136005.

Smith, M.N, and King, Peter J.H. (2002) Incrementally visualising criminal networks. In: UNSPECIFIED (ed.) International Conference on Information Visualisation. IEEE Computer Society, pp. 76-81. ISBN 9780769516564.

Zhang, Dell and Lee, W.S. (2002) Web based pattern mining and matching approach to question answering. In: Voorhees, E.M. and Buckland, L.P. (eds.) TREC 2002: Proceedings of The Eleventh Text REtrieval Conference. NIST Special Publication 500. National Institute of Standards and Technology.

Monograph

Beckert, Walter (2002) Firms' strategic choices under demand uncertainty. Working Paper. Birkbeck, University of London, London, UK.

Book

Wolter, F. and Wansing, H. and de Rijke, M. and Zakharyaschev, Michael, eds. (2002) Advances in modal logic 3: papers from the third conference on advances in modal logic. World Scientific. ISBN 9789812381798.