BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | Item Type
    Jump to: A | B | C | D | F | G | H | J | K | M | N | R | S | Y | Z
    Number of items: 49.

    A

    Altinel, M. and Brown, Paul and Cline, S. and Kartha, R. and Louie, E. and Markl, V. and Mau, L. and Ng, Y.-H. and Simmen, D.E. and Singh, A. and Srivastava, D. (2007) DAMIA: a data mashup fabric for intranet applications. In: Koch, C. and Gehrke, J. and Garofalakis, M.N. and Aberer, K. and Deshpande, A. and Florescu, D. and Yong Chan, C. and Ganti, V. and Kanne, C.-C. and Klas, W. and Neuhold, E.J. (eds.) ACM 2007: Proceedings of the 33rd International Conference on Very Large Data Bases. Association for Computing Machinery, pp. 1370-1373. ISBN 9781595936493.

    B

    Bar-Ilan, J. and Levene, Mark and Lin, A. (2007) Some measures for comparing citation databases. Journal of Informetrics 1 (1), 26 - 34. ISSN 1751-1577.

    Belsley, D.A. and Kontoghiorghes, Erricos J. and Magnus, J.R. (2007) The third special issue on computational econometrics. Computational Statistics & Data Analysis 51 (7), 3258 - 3258. ISSN 0167-9473.

    Bodirsky, M. and Chen, Hubie (2007) Qualitative temporal and spatial reasoning revisited. In: Duparc, J. and Henzinger, T.A. (eds.) Computer Science Logic: 21st International Workshop. Lecture Notes in Computer Science 4646. Springer, pp. 194-207. ISBN 9783540749141.

    Bodirsky, M. and Chen, Hubie (2007) Quantified equality constraints. In: UNSPECIFIED (ed.) LICS 2007: 22nd IEEE Symposium on Logic in Computer Science. IEEE Computer Society, pp. 203-212. ISBN 0769529089.

    Bodirsky, M. and Chen, Hubie and Kara, J. and von Oertzen, T. (2007) Maximal infinite-valued constraint languages. In: Arge, L. and Cachin, C. and Jurdzinski, T. and Tarlecki, A. (eds.) ICALP 2007: Automata, Languages and Programming, 34th International Colloquium. Lecture Notes in Computer Science 4596. Springer, pp. 546-557. ISBN 9783540734192.

    Bulatov, A.A. and Chen, Hubie and Dalmau, V. (2007) Learning intersection-closed classes with signatures. Theoretical Computer Science 382 (3), pp. 209-220. ISSN 0304-3975.

    C

    Calì, Andrea (2007) Querying incomplete data with logic programs: ER strikes back. In: Parent, C. and Schewe, K.D. and Storey, V.C. and Thalheim, B. (eds.) Conceptual Modeling: ER 2007. Lecture Notes in Computer Science 4801. Springer, pp. 245-260. ISBN 9783540755623.

    Calì, Andrea and Calvanese, D. and Martinenghi, D. (2007) Optimization of query plans in the presence of access limitations. In: 1st Workshop on Emerging Research Opportunities for Web Data Management, 2007, Barcelona, Spain.

    Calì, Andrea and Kifer, M. (2007) Containment of conjunctive object meta-queries. In: Ceci, M. and Malerba, D. and Tanca, L. (eds.) Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems. Dipartimento di Informatica: Università degli Studi. ISBN 9788890298103.

    Calì, Andrea and Lukasiewicz, T. (2007) Tightly integrated probabilistic description logic programs for the semantic web. In: Dahl, V. and Niemelä, I. (eds.) Logic Programming: ICLP 2007. Lecture Notes in Computer Science 4670. Springer, pp. 428-429. ISBN 9783540746089.

    Calì, Andrea and Lukasiewicz, T. and Predoiu, L. and Stuckenschmidt, H. (2007) A framework for representing ontology mappings under probabilities and inconsistency. In: Bobillo, F. and da Costa, P.C.G. and d'Amato, C. and Fanizzi, N. and Fung, F. and Lukasiewicz, T. and Martin, T. and Nickles, M. and Peng, Y. and Pool, M. and Smrz, P. and Vojt, P. (eds.) Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web. CEUR.

    Calì, Andrea and Martinenghi, D. and Carbotta, D. (2007) Query optimisation for web data sources: minimisation of the number of accesses. In: Ceci, M. and Malerba, D. and Tanca, L. (eds.) Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems. Dipartimento di Informatica: Università degli Studi, pp. 316-323.

    Chen, Hubie and Gimenez, O. (2007) Act local, think global: width notions for tractable planning. In: Boddy, M.S. and Fox, M. and Thiebaux, S. (eds.) ICAPS 2007: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling. AAAI, pp. 73-80.

    Chen, Taolue and Han, Tingting and Lu, J. (2007) On behavioral metric for probabilistic systems: definition and approximation algorithm. In: Lei, J. (ed.) FSKD 2007: Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 21-25. ISBN 9780769528748.

    Chen, Taolue and Lu, J. (2007) Probabilistic alternating-time temporal logic and model checking algorithm. In: Lei, J. (ed.) Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 35-39. ISBN 9780769528748.

    Chen, Taolue and Ploeger, B. and van de Pol, J. and Willemse, Tim A.C. (2007) Equivalence checking for infinite systems using parameterized boolean equation systems. In: Caires, L. and Vasconcelos, V.T. (eds.) CONCUR 2007: Concurrency Theory. Lecture Notes in Computer Science 4703. Springer, pp. 120-135. ISBN 9783540744061.

    Cloth, L. and Crouzen, P. and Fruth, M. and Han, Tingting and Jansen, D.N. and Kattenbelt, M. and Smit, G.J.M. and Zhang, L. (2007) Performance measures other than time. In: Haverkort, B.R. and Katoen, J.-P. and Thiele, L. (eds.) Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings 07101. Internationales Begegnungs- und Forschungszentrum fuer Informatik.

    D

    De Freitas, Sara (2007) Post-16 e-learning content production: a synthesis of the literature. British Journal of Educational Technology 38 (2), pp. 349-364. ISSN 0007-1013.

    De Freitas, Sara and Griffiths, M. (2007) Online gaming as an educational tool in learning and training. British Journal of Educational Technology 38 (3), pp. 535-537. ISSN 0007-1013.

    De Freitas, Sara and Jarvis, S. (2007) Serious games - engaging training solutions: a research and development project for supporting training needs. British Journal of Educational Technology 38 (3), pp. 523-525. ISSN 0007-1013.

    F

    Fenner, Trevor and Levene, Mark and Loizou, George (2007) A model for collaboration networks giving rise to a power law distribution with exponential cutoff. Social Networks 29 (1), pp. 70-80. ISSN 0378-8733.

    Fenner, Trevor and Levene, Mark and Loizou, George and Roussos, George (2007) A stochastic evolutionary growth model for social networks. Computer Networks 51 (16), 4586 - 4595. ISSN 1389-1286.

    Fletcher, George H.L. and Van Gucht, D. and Wu, Y. and Gyssens, M. and Brenes, S. and Paredaens, J. (2007) A methodology for coupling fragments of XPath with structural indexes for XML documents. In: Arenas, M. and Schwartzbach, M.I. (eds.) Database Programming Languages (DBPL): 11th International Symposium. Lecture Notes in Computer Science 4797. Springer, pp. 48-65. ISBN 9783540759867.

    Fletcher, George H.L. and Van Gucht, D. and Wu, Y. and Gyssens, M. and Paredaens, J. (2007) Coupling fragments of XPath with XML indexing and query decomposition. In: Arenas, M. and Hidders, J. (eds.) Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management: EROW 2007. CEUR Workshop Proceedings 229. CEUR-WS.org.

    Fuhs, Carsten and Giesl, J. and Middeldorp, A. and Schneider-Kamp, P. and Thiemann, R. and Zankl, H. (2007) SAT solving for termination analysis with polynomial interpretations. In: Marques-Silva, J. and Sakallah, K.A. (eds.) Theory and Applications of Satisfiability Testing: SAT 2007, 10th International Conference. Lecture Notes in Computer Science 4501. Springer, pp. 340-354. ISBN 9783540727873.

    G

    Galitsky, Boris A. and Kuznetsov, S.O. and Vinogradov, D.V. (2007) Applying hybrid reasoning to mine for associative features in biological data. Journal of Biomedical Informatics 40 (3), 203 - 220. ISSN 1532-0464.

    Gannon, Brian (2007) Offshore is organisations as MNES: the relevance of international business theory to offshoring multinationals. In: UK Academy of Information Systems Conference 2007, May 2007, Manchester, UK.

    Gannon, Brian and Wilson, David W. (2007) IS offshoring: a proposed maturity model of offshore IS suppliers. In: Sterle, H. and Schelp, J. and Winter, R. (eds.) Proceedings of the Fifteenth European Conference on Information Systems. ECIS.

    Gatu, C. and Yanev, P.I. and Kontoghiorghes, Erricos J. (2007) A graph approach to generate all possible regression submodels. Computational Statistics & Data Analysis 52 (2), 799 - 815. ISSN 0167-9473.

    Gutierrez, Sergio and Valigiani, G. and Collet, P. and Delgado Kloos, C. (2007) Adaptation of the ACO heuristic for sequencing learning activities. In: Wolpers, M. and Klamma, R. and Duval, E. (eds.) Proceedings of the EC-TEL 2007. CEUR Workshop Proceedings 280. CEUR-WS.org.

    Gutierrez, Sergio and Valigiani, G. and Jamont, Y. and Collet, P. and Delgado Kloos, C. (2007) A swarm approach for automatic auditing of pedagogical planning. In: Spector, J.M. and Sampson, D.G. and Okamoto, T. and Kinshuk and Cerri, S.A. and Ueno, M. and Kashihara, A. (eds.) Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies. IEEE Computer Society, pp. 136-138. ISBN 076952916X.

    H

    Han, Tingting and Katoen, J.-P. (2007) Counterexamples in probabilistic model checking. In: Grumberg, O. and Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference. Lecture Notes in Computer Science 4424. Springer, pp. 72-86. ISBN 9783540712084.

    Han, Tingting and Katoen, J.-P. (2007) Providing evidence of likely being on time: counterexample generation for CTMC model checking. In: Namjoshi, K.S. and Yoneda, T. and Higashino, T. and Okamura, Y. (eds.) Automated Technology for Verification and Analysis: 5th International Symposium. Lecture Notes in Computer Science 4762. Springer, pp. 331-346. ISBN 9783540755951.

    Hidders, Jan and Kwasnikowska, N. and Sroka, J. and Tyszkiewicz, J. and Van den Bussche, J. (2007) A formal model of dataflow repositories. In: Cohen Boulakia, S. and Tannen, V. (eds.) Data Integration in the Life Sciences: 4th International Workshop. Lecture Notes in Computer Science 4544. Springer, pp. 105-121. ISBN 9783540732549.

    Hidders, Jan and Michiels, P. and Simeon, J. and Vercammen, R. (2007) How to recognise different kinds of tree patterns from quite a long way away. In: UNSPECIFIED (ed.) PLAN-X: 2007, Programming Language Technologies for XML. Association for Computing Machinery, pp. 14-24.

    Hofmann, M. and Gatu, C. and Kontoghiorghes, Erricos J. (2007) Efficient algorithms for computing the best subset regression models for large-scale problems. Computational Statistics & Data Analysis 52 (1), 16 - 29. ISSN 0167-9473.

    J

    Jefferies, J. and Brown, Paul (2007) Computational and spatially-organised narrativity. [Editorial/Introduction]

    K

    King, S. and Brown, Paul (2007) Fix my street or else: using the internet to voice local public service concerns. In: Janowski, T. and Pardo, T. (eds.) Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance. ACM International Conference Proceeding Series 232. Association for Computing Machinery, pp. 72-80. ISBN 9781595938220.

    Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2007) Spatial logic + temporal logic = ? In: Aiello, M. and Pratt-Hartmann, I. and Van Benthem, J. (eds.) Handbook of Spatial Logics. Berlin, Germany: Springer, pp. 497-564. ISBN 9781402055867.

    M

    Magoulas, George D. and Ghinea, G. (2007) Intelligence-based adaptation for ubiquitous multimedia communications. Journal of Network and Computer Applications 30 (3), 955 - 957. ISSN 1084-8045.

    Maybank, Stephen J. (2007) Application of the Fisher-Rao metric to ellipse detection. International Journal of Computer Vision 72 (3), pp. 287-307. ISSN 0920-5691.

    Mitton, Roger and Hardcastle, David and Pedler, Jennifer (2007) BNC! Handle with care! Spelling and tagging errors in the BNC. In: Fourth Corpus Linguistics Conference, 27-30 July 2007, Birmingham, U.K..

    Mitton, Roger and Okada, T. (2007) The adaptation of an English spellchecker for Japanese writers. In: Symposium on Second Language Writing, 15-17 Sept 2007, Nagoya, Japan.

    N

    Neocleous, C. and Christodoulou, Chris and Demosthenous, D. and Cleanthous, A. (2007) Neural networks for the identification of gas cylinder fault. In: Devedzic, V. (ed.) IASTED: International Conference on Artificial Intelligence and Applications. IASTED/ACTA Press, pp. 38-43.

    R

    Roussos, George and Papadogkonas, D. and Taylor, J. and Airantzis, Dimitrios and Levene, Mark and Zoumboulakis, M. (2007) Shared memories: a trail-based coordination server for robot teams. In: Winfield, A.F.T. and Redi, J. (eds.) ROBOCOMM 2007: Proceedings of the 1st International Conference on Robot Communication and Coordination. ACM International Conference Proceeding Series 318. ICST/ACM.

    S

    Schneider-Kamp, P. and Fuhs, Carsten and Thiemann, R. and Giesl, J. and Annov, E. and Codish, M. and Middeldorp, A. and Zankl, H. (2007) Implementing RPO and POLO using SAT. In: Baader, F. and Cook, B. and Giesl, J. and Nieuwenhuis, R. (eds.) Deduction and Decision Procedures. Dagstuhl Seminar Proceedings 07401. Internationales Begegnungs- und Forschungszentrum fuer Informatik.

    Y

    Yanev, P.I. and Kontoghiorghes, Erricos J. (2007) Computationally efficient methods for estimating the updated-observations SUR models. Applied Numerical Mathematics 57 (11-12), 1245 - 1258. ISSN 0168-9274.

    Z

    Zamboulis, Lucas and Martin, Nigel and Poulovassilis, Alexandra (2007) Bioinformatics service reconciliation by heterogeneous schema transformation. In: Cohen Boulakia, S. and Tannen, V. (eds.) Data Integration in the Life Sciences. Lecture Notes in Computer Science 4544. Berlin, Germany: Springer, pp. 89-104. ISBN 9783540732549.

    This list was generated on Fri Apr 16 01:59:51 2021 BST.