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

Article

Calkin, N. and Merino, C. and Noble, Steven and Noy, M. (2003) Improved bounds for the number of forests and acyclic orientations in the square lattice. The Electronic Journal of Combinatorics 10 , ISSN 1077-8926.

Chen, Hubie and Pucella, R. (2003) A coalgebraic approach to Kleene algebra with tests. Electronic Notes in Theoretical Computer Science 82 (1), pp. 94-109. ISSN 1571-0661.

Chen, Taolue and Han, Tingting and Lu, J. (2003) Intensionality of modal logic for robust ambient calculus. Electronic Notes in Theoretical Computer Science 85 (1), pp. 25-38. ISSN 1571-0661.

Foschi, P. and Belsley, D.A. and Kontoghiorghes, Erricos (2003) A comparative study of algorithms for solving seemingly unrelated regressions models. Computational Statistics & Data Analysis 44 (1-2), pp. 3-35. ISSN 0167-9473.

Gatu, C. and Kontoghiorghes, Erricos (2003) Parallel algorithms for computing all possible subset regression models using the QR decomposition. Parallel Computing 29 (4), pp. 505-521. ISSN 0167-8191.

Kourouthanassis, P. and Roussos, George (2003) Developing consumer-friendly pervasive retail systems. IEEE Pervasive Computing 2 (2), pp. 32-39. ISSN 1536-1268.

Kutz, O. and Wolter, F. and Sturm, H. and Suzuki, N.-Y. and Zakharyaschev, Michael (2003) Logics of metric spaces. ACM Transactions on Computational Logic 4 (2), pp. 260-294. ISSN 1529-3785.

Levene, Mark and Loizou, George (2003) Computing the entropy of user navigation in the web. International Journal of Information Technology and Decision Making 2 (3), pp. 459-476. ISSN 0219-6220.

Levene, Mark and Loizou, George (2003) Why is the snowflake schema a good data warehouse design? Information Systems 28 (3), pp. 225-240. ISSN 0306-4379.

Magoulas, George and Papanikolaou, K.A. and Grigoriadou, M. (2003) Adaptive web-based learning: accommodating individual differences through system's adaptation. British Journal of Educational Technology 34 (4), pp. 511-527. ISSN 0007-1013.

O'Neill, P. and Magoulas, George D. and Liu, X. (2003) Improved processing of microarray data using image reconstruction techniques. IEEE Transactions on Nanobioscience 2 (4), pp. 176-183. ISSN 1536-1241.

Papanikolaou, K.A. and Grigoriadou, M. and Kornilakis, H. and Magoulas, George (2003) Personalizing the interaction in a web-based educational hypermedia system: the case of INSPIRE. User Modeling and User-Adapted Interaction - Special Issue on Impact of Learner Modeling 13 (3), pp. 213-267. ISSN 0924-1868.

Pearl, F.M.G. and Bennett, C.F. and Bray, J.E. and Harrison, A.P. and Martin, Nigel and Shepherd, Adrian J. and Sillitoe, I. and Thornton, Janet M. and Orengo, C.A. (2003) The CATH database: an extended protein family resource for structural and functional genomics. Nucleic Acids Research 31 (1), pp. 452-455. ISSN 0305-1048.

Peterson, Don and Levene, Mark (2003) Trail records and navigational learning. London Review of Education 1 (3), pp. 207-216. ISSN 1474-8460.

Roussos, George (2003) Appliance design for pervasive computing. Pervasive Computing 2 (4), pp. 75-77. ISSN 1536-1268.

Roussos, George and Kourouthanassis, P. and Moussouri, T. (2003) Designing appliances for mobile commerce and retailtainment. Personal and Ubiquitous Computing 7 (3-4), pp. 203-209. ISSN 1617-4909.

Roussos, George and Peterson, D. and Patel, U. (2003) Mobile identity management: an enacted view. International Journal of Electronic Commerce 8 (1), pp. 81-100. ISSN 1086-4415.

de Freitas, Sara and Levene, Mark (2003) Evaluating the development of wearable devices, personal data assistants and the use of other mobile devices in further and higher education institutions. JISC Technology and Standards Watch Report (TSW030), pp. 1-21.

Editorial/Introduction

Baral, C. and Provetti, Alessandro and Son, T.C. (2003) Introduction to the special issue on programming with answer sets. [Editorial/Introduction]

Belsley, D.A. and Kontoghiorghes, Erricos (2003) Editorial. [Editorial/Introduction]

Brown, Paul (2003) Generative computation and the arts. [Editorial/Introduction]

De Vos, M. and Provetti, Alessandro (2003) Preface. [Editorial/Introduction]

Niland, J.C. and Afifi, A.A. and Kontoghiorghes, Erricos (2003) Special issue in honour of Stan Azen: a birthday celebration. [Editorial/Introduction]

Book Section

Anastasiadis, A.D. and Magoulas, George and Liu, X. (2003) Classification of protein localisation patterns via supervised neural network learning. In: Berthold, M.R. and Lenz, H.-J. and Bradley, E. and Kruse, R. and Borgelt, C. (eds.) Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis. Lecture Notes in Computer Science 2810. Springer, pp. 430-439. ISBN 9783540452317.

Bertino, E. and Mileo, A. and Provetti, Alessandro (2003) PDL with maximum consistency monitors. In: Zhong, N. and Ras, Z.W. and Tsumoto, S. and Suzuki, E. (eds.) Foundations of Intelligent Systems, 14th International Symposium: ISMIS 2003. Lecture Notes in Computer Science 2871. Springer, pp. 65-74. ISBN 9783540202561.

Bertino, E. and Mileo, A. and Provetti, Alessandro (2003) User preferences vs minimality in PPDL. In: Buccafurri, F. (ed.) 2003 Joint Conference on Declarative Programming: AGP-2003. AGP, pp. 110-122.

Bertino, E. and Provetti, Alessandro and Salvetti, F. (2003) Local closed-world assumptions for reasoning about semantic web data. In: Buccafurri, F. (ed.) 2003 Joint Conference on Declarative Programming: AGP-2003. AGP, pp. 314-323.

Calì, Andrea (2003) Reasoning in data integration systems: why LAV and GAV are siblings. In: Zhong, N. and Ras, Z.W. and Tsumoto, S. and Suzuki, E. (eds.) Foundations of Intelligent Systems: 14th International Symposium. Lecture Notes in Computer Science 2871. Springer, pp. 562-571. ISBN 9783540202561.

Calì, Andrea and Calvanese, D. and De Giacomo, G. and Lenzerini, M. and Naggar, P. and Vernacotola, F. (2003) IBIS semantic data integration at work. In: Eder, J. and Missikoff, M. (eds.) Advanced Information Systems Engineering: 15th International Conference. Lecture Notes in Computer Science 2681. Springer, pp. 79-94. ISBN 9783540404422.

Calì, Andrea and De Nigris, S. and Lembo, D. and Messineo, G. and Rosati, R. and Ruzzi, M. (2003) DIS@DIS: a system for semantic data integration under integrity constraints. In: UNSPECIFIED (ed.) 4th International Conference on Web Information Systems Engineering. IEEE Computer Society, pp. 335-338. ISBN 9780769519999.

Calì, Andrea and De Nigris, S. and Lembo, D. and Messineo, G. and Rosati, R. and Ruzzi, M. (2003) DIS@DIS: un sistema per l'Integrazione semantica dei dati in presenza di vincoli di integrita. In: Flesca, S. and Greco, S. and Sacca, D. and Zumpano, E. (eds.) Proceedings of the 11th Italian Symposium on Advanced Database Systems. Rubettino Editore, pp. 537-544.

Calì, Andrea and Lembo, D. and Lenzerini, M. and Rosati, R. (2003) Source integration for data warehousing. In: Rafanelli, M. (ed.) Multidimensional Databases: Problems and Solutions. Idea Group, pp. 361-392. ISBN 9781591400530.

Calì, Andrea and Lembo, D. and Rosati, R. (2003) Intensional query processing in data integration systems under integrity constraints. In: Flesca, S. and Greco, S. and Sacca, D. and Zumpano, E. (eds.) Proceedings of the Eleventh Italian Symposium on Advanced Database Systems. Rubettino Editore, pp. 475-482.

Calì, Andrea and Lembo, D. and Rosati, R. (2003) On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Neven, F. and Beeri, C. and Milo, T. (eds.) Proceedings of the 22nd Symposium on Principles of Database Systems. ACM, pp. 260-271.

Calì, Andrea and Lembo, D. and Rosati, R. (2003) Query rewriting and answering under constraints in data integration systems. In: Gottlob, G. and Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, pp. 16-21.

Chen, Hubie (2003) Arithmetic constant-depth circuit complexity classes. In: Rovan, B. and Vojtas, P. (eds.) 28th International Symposium: Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 2724. Springer, pp. 328-337. ISBN 9783540406716.

Chen, Hubie (2003) Inverse NP problems. In: Rovan, B. and Vojtas, P. (eds.) 28th International Symposium: Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 2747. Springer, pp. 338-347. ISBN 9783540406716.

Chen, Hubie (2003) Inverse circumscription. In: Gottlob, G. and Walsh, T. (eds.) IJCAI-03: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, pp. 449-454.

Chen, Hubie (2003) Periodic constraint satisfaction problems: polynomial-time algorithms. In: Rossi, F. (ed.) 9th International Conference: Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 2833. Springer, pp. 199-213. ISBN 9783540202028.

Chen, Hubie (2003) An algorithm for SAT above the threshold. In: Giunchiglia, E. and Tacchella, A. (eds.) 6th International Conference: Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science 2919. Springer, pp. 14-24. ISBN 9783540208518.

Chen, Hubie (2003) A theory of average-case compilability in knowledge representation. In: Gottlob, G. and Walsh, T. (eds.) IJCAI-03: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, pp. 455-460.

Counsell, Ellie and Hassoun, Y. and Johnson, R. and Mannock, Keith and Mendes, E. (2003) Trends in Java code changes: the key to identification of refactorings? In: Power, J.F. and Waldron, W. (eds.) Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java: PPPJ 2003. International Conference Proceeding Series 42. ACM, pp. 45-48. ISBN 9780954414511.

Dekeyser, S. and Hidders, Jan (2003) A commit scheduler for XML databases. In: Zhou, X. and Zhang, Y. and Orlowska, M.E. (eds.) Web Technologies and Applications: 5th Asian-Pacific Web Conference. Lecture Notes in Computer Science 2642. Springer, pp. 83-88. ISBN 9783540023548.

Dekeyser, S. and Hidders, Jan and Paredaens, J. (2003) Instance independent concurrency control for semistructured databases. In: Flesca, S. and Greco, S. and Saccaand, D. and Zumpano, E. (eds.) Proceedings of the Eleventh Italian Symposium on Advanced Database Systems: SEBD 2003. Rubettino Editore, pp. 323-324.

Flaxman, A. and Frieze, A.M. and Fenner, Trevor (2003) High degree vertices and eigenvalues in the preferential attachment graph. In: Arora, S. and Jansen, K. and Rolim, J.D.P. and Sahai, A. (eds.) Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques. Lecture Notes in Computer Science 2764. Springer, pp. 264-274. ISBN 9783540451983.

Gabelaia, D. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2003) On the computational complexity of spatio-temporal logics. In: Russell, I. and Haller, S.M. (eds.) Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press, pp. 460-464.

Ghinea, G. and Magoulas, George and Frank, A.O. (2003) Intelligent protocol adaptation for enhanced medical e-collaboration. In: Russell, I. and Haller, S.M. (eds.) Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press, pp. 276-280. ISBN 9781577351771.

Hidders, Jan (2003) Satisfiability of xpath expressions. In: Lausen, G. and Suciu, D. (eds.) Database Programming Languages: 9th International Workshop. Lecture Notes in Computer Science 2921. Springer, pp. 21-36. ISBN 9783540208969.

Hidders, Jan (2003) Typing graph-manipulation operations. In: Calvanese, D. and Lenzerini, M. and Motwani, R. (eds.) Database Theory: ICDT 2003. Lecture Notes in Computer Science 2572. Springer, pp. 391-406. ISBN 9783540003236.

Hidders, Jan and Michiels, P. (2003) Avoiding unnecessary ordering operations in xpath. In: Lausen, G. and Suciu, D. (eds.) Database Programming Languages: 9th International Workshop. Lecture Notes in Computer Science 2921. Springer, pp. 54-70. ISBN 9783540208969.

Hodkinson, I.M. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2003) On the computational complexity of decidable fragments of first-order linear temporal logics. In: UNSPECIFIED (ed.) 10th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 91-98. ISBN 0769519121.

Keenoy, K. and Levene, Mark (2003) Personalisation of web search. In: Mobasher, B. and Anand, S.S. (eds.) Intelligent Techniques for Web Personalization: IJCAI 2003. Lecture Notes in Computer Science 3169. Springer, pp. 201-228. ISBN 9783540298465.

Kutz, O. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) E-connections of description logics. In: Calvanese, D. and De Giacomo, G. and Franconi, E. (eds.) DL 2003: Proceedings of the 2003 International Workshop on Description Logics. CEUR Workshop Proceedings 81. CEUR-WS.org.

Lam, W.Y. and Ng, W. and Wood, P.T. and Levene, Mark (2003) XCQ: XML compression and querying system. In: King, I. and M'aray, T. (eds.) Proceedings of the Twelfth International World Wide Web Conference. UNSPECIFIED.

Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) Reasoning about concepts and similarity. In: Calvanese, D. and De Giacomo, G. and Franconi, E. (eds.) DL 2003: Proceedings of the 2003 International Workshop on Description Logics. CEUR Workshop Proceedings 81. CEUR-WS.org.

Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2003) A tableau algorithm for reasoning about concepts and similarity. In: Mayer, M.C. and Pirri, F. (eds.) Tableaux 2003: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science 2796. Springer, pp. 134-149. ISBN 9783540407874.

Mat-Hassan, M. and Levene, Mark (2003) Understanding web searching and navigation patterns. In: King, I. and M'aray, T. (eds.) Proceedings of the Twelfth International World Wide Web Conference. UNSPECIFIED.

McBrien, P. and Poulovassilis, Alexandra (2003) Data integration by bi-directional schema transformation rules. In: Dayal, U. and Ramamritham, K. and Vijayaraman, T.M. (eds.) Proceedings 19th International Conference on Data Engineering (Cat. No.03CH37405). Piscataway, U.S.: IEEE Computer Society, pp. 227-238. ISBN 078037665X.

Najjar, R. and Counsell, S. and Loizou, G. and Mannock, Keith (2003) The role of constructors in the context of refactoring object-oriented system. In: UNSPECIFIED (ed.) 7th European Conference on Software Maintenance and Reengineering: CSMR 2003. IEEE Computational Intelligence Society. ISBN 0769519024.

Ng, W. and Levene, Mark (2003) The Development of ordered SQL packages in peer-to-peer warehousing environment. In: Siau, K. (ed.) Advanced Topics in Database Research. IGI Global, pp. 72-103. ISBN 9781591409359.

O'Neill, P. and Magoulas, George and Liu, X. (2003) Obtaining quality microarray data via image reconstruction. In: Berthold, M.R. and Lenz, H.-J. and Bradley, E. and Kruse, R. and Borgelt, C. (eds.) Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis. Lecture Notes in Computer Science 2810. Springer, pp. 364-375. ISBN 9783540408130.

Papamarkos, G. and Poulovassilis, Alex and Wood, Peter (2003) Event-condition-action rule languages for the semantic web. In: Cruz, I.F. and Kashyap, V. and Decker, S. and Eckstein, R. (eds.) SWDB 03: The first International Workshop on Semantic Web and Databases. SWDB, pp. 309-327.

Razgon, Igor and Meisels, A. (2003) Maintaining dominance consistency. In: Rossi, F. (ed.) CP 2003: Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 2833. Springer, pp. 945-949. ISBN 9783540202028.

Roussos, George and Kourouthanasis, P. and Gryazin, E.A. and Pryzbliski, M. and Kalpogiannis, G. and Giaglis, G.M. (2003) Systems architecture for pervasive retail. In: Lamont, G.B. and Haddad, H. and Papadopoulos, G.A. and Panda, B. (eds.) SAC 2003: Proceedings of the ACM Symposium on Applied Computing. Association for Computing Machinery, pp. 631-636. ISBN 9781581136241.

Smith, M.N. and King, Peter J.H. (2003) Database support for exploring criminal networks. In: Chen, H. and Miranda, R. and Dajun Zeng, D. and Demchak, C.C. and Schroeder, J. and Madhusudan, T. (eds.) Intelligence and Security Informatics, First NSF/NIJ Symposium: ISI 2003. Lecture Notes in Computer Science 2665. Springer, p. 387. ISBN 9783540401896.

Stathacopoulou, R. and Grigoriadou, M. and Magoulas, George and Mitropoulos, D. (2003) A neuro-fuzzy approach in student modeling. In: Brusilovsky, P and Corbett, A. and de Rosis, F. (eds.) User Modeling 2003: 9th International Conference. Lecture Notes in Computer Science 2702. Springer, pp. 337-341. ISBN 9783540449638.

Wheeldon, R. and Levene, Mark (2003) The best trail algorithm for assisted navigation of web sites. In: UNSPECIFIED (ed.) 1st Latin American Web Congress, LA-WEB} 2003: Empowering Our Web. IEEE Computer Society, p. 166. ISBN 0769520588.

Wolter, F. and Zakharyaschev, M. (2003) Reasoning about distances. In: Gottlob, G. and Walsh, T. (eds.) IJCAI-03: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, pp. 1275-1282.

Wood, Peter (2003) Containment for XPath fragments under DTD constraints. In: Calvanese, D. and Lenzerini, M. and Motwani, R. (eds.) ICDT 2003: Database Theory. Lecture Notes in Computer Science 2572. Springer, pp. 297-311. ISBN 9783540003236.

Zhang, Dell and Lee, W.S. (2003) Question classification using support vector machines. In: Clarke, C.L.A. and Cormack, G.V. and Callan, J. and Hawking, D. and Smeaton, A.F. (eds.) SIGIR 2003: Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. ACM, pp. 26-32. ISBN 9781581136463.

Zhang, Dell and Lee, W.S. (2003) A language modeling approach to passage question answering. In: Voorhees, E.M. and Buckland, L.P. (eds.) TREC 2003: Proceedings of The Twelfth Text REtrieval Conference. National Institute of Standards and Technology, pp. 489-495.

Book

Balbiani, P. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael, eds. (2003) Advances in modal logic 4: papers from the fourth conference on advances in modal logic. King's College Publications. ISBN 9780954300629.