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

A

Artale, A. and Franconi, E. and Mosurovic, M. and Wolter, F. and Zakharyaschev, Michael (2001) The DLRUS temporal description logic. In: Goble, C.A. and McGuinness, D.L. and Moller, R. and Patel-Schneider, P.F. (eds.) DL-2001: Working Notes of the 2001 International Description Logics Workshop. CEUR Workshop Proceedings 49. CEUR-WS.org.

Artale, A. and Franconi, E. and Mosurovic, M. and Wolter, F. and Zakharyaschev, Michael (2001) Reasoning over conceptual schemas and queries in temporal databases. In: Celentano, A. and Tanca, L. and Tiberio, P. (eds.) SEBD 2001: Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati. SEBD 2001, pp. 201-214.

B

Bailey, J. and Mikulas, Szabolcs (2001) Expressiveness issues and decision problems for active database event queries. In: Van den Bussche, J. and Vianu, V. (eds.) Database Theory: ICDT 2001. Lecture Notes in Computer Science 1973. Springer, pp. 68-82. ISBN 9783540414568.

Bertoni, A. and Grossi, G. and Provetti, Alessandro and Kreinovich, V. and Tari, L. (2001) Papers from the AAAI Spring Symposium. AAAI Press. ISBN 9781577351290.

Bertoni, A. and Grossi, G. and Provetti, Alessandro and Kreinovich, V. and Tari, L. (2001) The prospect for answer sets computation by a genetic model. In: Provetti, Alessandro and Cao Son, T. (eds.) Papers from the AAAI Spring Symposium. AAAI Press. ISBN 9781577351290.

Brown, Paul (2001) Distributed component database management systems. In: Dittrich, K.R. and Geppert, A. (eds.) Component Database Systems. Morgan Kaufmann series in data management systems. Elsevier, pp. 29-70. ISBN 9781558606425.

Brown, Paul and Herbach, M. and Chaudhri, A.B. (2001) Requirements for XML functionality in relational database management systems: an informix perspective. In: Tjoa, A.M. and Wagner, R.R. (eds.) DEXA 2001: 12th International Workshop on Database and Expert Systems Applications. IEEE Computer Society, pp. 55-57. ISBN 0769512305.

C

Calì, Andrea and Calvanese, D. (2001) Optimizing query planning with limited source capabilities in the presence of inclusion and functional dependencies. In: Celentano, A. and Tanca, L. and Tiberio, P. (eds.) SEBD: Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati. SEBD, pp. 33-44.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. (2001) Accessing data integration systems through conceptual schemas. In: S. Kunii, H. and Jajodia, S. and Sølvberg, A. (eds.) ER 2001: Conceptual Modeling. Lecture Notes in Computer Science 2224. Springer. ISBN 9783540428664.

Chen, Hubie (2001) Arithmetic versions of constant depth circuit complexity classes. Electronic Colloquium on Computational Complexity (095), ISSN 1433-8092.

Chen, Hubie (2001) Polynomial programs and the Razborov-Smolensky method. Electronic Colloquium on Computational Complexity 8 (067), ISSN 1433-8092.

Chen, Hubie and Gomes, C.P. and Selman, B. (2001) Formal models of heavy-tailed behavior in combinatorial search. In: Walsh, T. (ed.) 7th International Conference: Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 2239. Springer, pp. 408-421. ISBN 9783540428633.

Christodoulou, Chris and Bugmann, G. (2001) Coefficient of variation vs. mean interspike interval curves: what do they tell us about the brain? Neurocomputing 38 (40), pp. 1141-1149. ISSN 0925-2312.

D

Duntsch, I. and Mikulas, Szabolcs (2001) Cylindric structures and dependencies in relational databases. Theoretical Computer Science 269 (1/2), pp. 451-468. ISSN 0304-3975.

F

Fesq, L.M. and Atkins, E.M. and Khatib, L. and Pecheur, C. and Cohen, P.R. and Stein, L.A. and van Lent, M. and Laird, J.E. and Provetti, Alessandro and Cao Son, T. (2001) AAAI 2001 Spring Symposium series reports. AI Magazine 22 (3), pp. 117-122. ISSN 0738-4602.

G

Geman, Hélyette (2001) Time changes for lévy processes. Mathematical Finance 11 (1), pp. 79-96. ISSN 0960-1627.

Ghinea, G. and Magoulas, George (2001) Perceptual considerations for quality of service management: an integrated architecture. In: Bauer, M. and Gmytrasiewicz, P.J. and Vassileva, J. (eds.) User Modeling 2001: 8th International Conference. Lecture Notes in Computer Science 2109. Springer, pp. 234-236. ISBN 9783540423256.

Ghinea, G. and Magoulas, George (2001) Quality of service for perceptual considerations: an integrated perspective. In: UNSPECIFIED (ed.) Proceedings of the 2001 IEEE International Conference on Multimedia and Expo. IEEE Computational Intelligence Society. ISBN 0769511988.

Ghinea, G. and Magoulas, George and Siamitros, C. (2001) Perceptual, considerations in a QoS framework: a fuzzy logic formulation. In: Dugelay, J.-L. and Rose, K. (eds.) Fourth IEEE Workshop on Multimedia Signal Processing: MMSP 2001. IEEE Computational Intelligence Society, pp. 353-358. ISBN 0780370252.

H

Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2001) Monodic fragments of first-order temporal logics: 2000-2001 A.D. In: Nieuwenhuis, R. and Voronkov, A. (eds.) LPAR 2001: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 2250. Springer, pp. 1-23. ISBN 9783540429579.

Hubbert, Simon and Baxter, Brad J.C. (2001) Radial basis functions for the sphere. In: Haussmann, W. and Jetter, K. and Reimer, M. (eds.) Recent Progress in Multivariate Approximation. 4th International Conference, September 2000, Witten-Bommerholz. International Series of Numerical Mathematics 137. Basel: Birkhauser, pp. 33-47. ISBN 3764365056.

K

Karkanis, S.A. and Magoulas, George and Iakovidis, D.K. and Maroulis, D.E. and Karras, D.A. (2001) Evaluation of textural feature extraction schemes for neural network-based interpretation of regions in medical images. In: UNSPECIFIED (ed.) Proceedings of the 2001 International Conference on Image Processing: ICIP 2001. IEEE Computational Intelligence Society, pp. 281-284. ISBN 9780780367251.

Kutz, O. and Wolter, F. and Zakharyaschev, Michael (2001) A note on concepts and distances. In: Goble, C.A. and McGuinness, D.L. and Moller, R. and Patel-Schneider, P.F. (eds.) DL-2001: Working Notes of the 2001 International Description Logics Workshop. CEUR Workshop Proceedings 49. CEUR-WS.org.

L

Lachish, Oded and Raz, R. (2001) Explicit lower bound of 4.5n - o(n) for boolena circuits. In: Vitter, J.S. and Spirakis, P. and Yannakakis, M. (eds.) STOC '01: Proceedings of the thirty-third annual ACM symposium on Theory of computing. Association for Computing Machinery, pp. 399-408. ISBN 9781581133493.

Lawder, J.K. and King, Peter J.H. (2001) Querying multi-dimensional data indexed using the Hilbert space-filling curve. SIGMOD Record 30 (1), pp. 19-24. ISSN 0163-5808.

Lawder, J.K. and King, Peter J.H. (2001) Using state diagrams for Hilbert curve mappings. International Journal of Computer Mathematics 78 (3), pp. 327-342. ISSN 0020-7160.

Levene, Mark and Borges, J. and Loizou, George (2001) Zipf's Law for web surfers. Knowledge and Information Systems 3 (1), pp. 120-129. ISSN 0219-1377.

Levene, Mark and Fenner, Trevor (2001) The effect of mobility on minimaxing of game trees with random leaf values. Artificial Intelligence 130 (1), pp. 1-26. ISSN 0004-3702.

Levene, Mark and Loizou, G. (2001) A generalisation of entity and referential integrity in relational databases. RAIRO: Theoretical Informatics and Applications 35 (12), pp. 113-127. ISSN 0988-3754.

Levene, Mark and Loizou, George (2001) Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies. Theoretical Computer Science 254 (1-2), pp. 683-690. ISSN 0304-3975.

Levene, Mark and Poulovassilis, Alex (2001) Web dynamics. [Book Review]

Levene, Mark and Wheeldon, R. and Bitmead, J. (2001) A web site navigation engine. CEUR Workshop Proceedings 701 , pp. 4-5. ISSN 1613-0073.

Lutz, C. and Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2001) Tableaux for temporal description logic with constant domains. In: Gore, R. and Leitsch, A. and Nipkow, T. (eds.) IJCAR: Automated Reasoning, First International Joint Conference. Lecture Notes in Computer Science 2083. Springer, pp. 121-136. ISBN 9783540422549.

M

Magoulas, George (2001) Model-based design and evaluation of interactive applications. [Book Review]

Magoulas, George and Prentza, A. (2001) Machine learning in medical applications. In: Paliouras, G. and Karkaletsis, V. and Spyropoulos, C.D. (eds.) Machine Learning and Its Applications, Advanced Lectures. Lecture Notes in Computer Science 2049. Springer, pp. 300-307. ISBN 9783540424901.

Marx, M. and Mikulas, Szabolcs (2001) Products, or how to create modal logics of high complexity. Logic Journal of the IGPL 9 (1), pp. 71-82. ISSN 1367-0751.

Mat-Hassan, Mazlita and Levene, Mark (2001) Can navigational assistance improve search experience? A user study. First Monday 6 (9), ISSN 1396-0466.

Mikulas, Szabolcs (2001) Axiomatizability of algebras of binary relations. In: Lowe, B. and Piwinger, B. and Rasch, T. (eds.) Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III". Trends in Logic 23. Springer, pp. 187-205. ISBN 9789048167180.

N

Ng, W. and Levene, Mark (2001) The development of ordered SQL packages to support data warehousing. Journal of Database Management 12 (4), pp. 26-39. ISSN 1063-8016.

P

Papanikolaou, K.A. and Grigoriadou, M. and Kornilakis, H. and Magoulas, George (2001) INSPIRE: an intelligent system for personalized instruction in a remote environment. In: Reich, S. and Tzagarakis, M. and De Bra, P. (eds.) Hypermedia: Openness, Structural Awareness, and Adaptivity. Lecture Notes in Computer Science 2266. Springer, pp. 215-225. ISBN 9783540432937.

R

Reynolds, M. and Zakharyaschev, Michael (2001) On the products of linear modal logics. Journal of Logic and Computation 11 (6), pp. 909-931. ISSN 0955-792X.

Roussos, George and Baxter, B.J.C. (2001) Biharmonic many body calculations for fast evaluation of radial basis function interpolants in cluster environments. In: Cotronis, Y. and Dongarra, J.J. (eds.) 8th European PVM/MPI Users' Group Meeting: Recent Advances in Parallel Virtual Machine and Message Passing Interface. Lecture Notes in Computer Science 2131. Springer, pp. 288-295. ISBN 9783540454175.

W

Wolter, F. and Zakharyaschev, Michael (2001) Decidable fragments of first-order modal logics. The journal of Symbolic Logic 66 (3), pp. 1415-1438. ISSN 0022-4812.

Wood, Peter (2001) Minimising simple XPath expressions. In: Mecca, G. and Simeon, J. (eds.) WebDB 2001: Proceedings of the Fourth International Workshop on the Web and Databases. WebDB, pp. 13-18.