1. 2007
  2. Published

    Amnesic distributed storage

    Chockler, G., Guerraoui, R. & Keidar, I., 1 Jan 2007, Proceedings of the 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Vol. 4731 LNCS. p. 139-151 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Automatic indexing from a thesaurus using Bayesian networks: Application to the classification of parliamentary initiatives

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4724 LNAI. p. 865-877 13 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  4. Published

    Constructing scalable overlays for pub-sub with many topics

    Chockler, G., Melamed, R., Tock, Y. & Vitenberg, R., 1 Jan 2007, Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing: PODC 2007. p. 109-118 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Published

    Designing for software's social complexity

    Fiadeiro, J. L., 1 Jan 2007, In: IEEE Computer. 40, 1, p. 34-39 6 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    DiffusionRank: A possible penicillin for web spamming

    Yang, H., King, I. & Lyu, M. R., 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 431-438 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  7. Published

    Influence diagrams and structured retrieval: garnata implementing the SID and CID models at INEX'06

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4518 LNCS. p. 165-177 13 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  8. Published

    Learning Deterministic Context Free Grammars: the Omphalos Competition

    Clark, A., 1 Jan 2007, In: Machine Learning. 66, 1, p. 93-110 18 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Proceedings – Workshop on Algebraic Development Techniques, WADT'06

    Fiadeiro, J. & Schobbens, P-Y., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  10. Published

    Specifying and composing interaction protocols for service-oriented system modelling

    Abreu, J., Bocchi, L., Fiadeiro, J. L., Lopes, A. & Fiadeiro, J. L., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4574 LNCS. p. 358-373 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  11. Published

    Structured Co-spans: An algebra of interaction protocols

    Fiadeiro, J. L. & Schmitt, V., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4624 LNCS. p. 194-208 15 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  12. Published

    A data-gathering broker as a future-orientated approach to supporting EPR users

    Rigby, M., Budgen, D., Turner, M., Kotsiopoulos, I., Brereton, P., Keane, J., Bennett, K., Russell, M., Layzell, P. & Zhu, F., 2007, In: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS. 76, 2-3, p. 137-144 8 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    A Data-Gathering Broker As a Future-Oriented Approach to Supporting EPR Users

    Rigby, M., Budgen, D., Turner, M., Kotsiopoulos, I., Brereton, P., Keane, J., Bennett, K., Russell, M., Layzell, P. & Zhu, F., 2007, In: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS. 76, 2-3, p. 137-144 8 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    A flexible object-oriented system for teaching and learning structured IR

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2007, Proceedings of the First International Workshop on Teaching and Learning of Information Retrieval. London (UK), 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Published

    A high quality draft consensus sequence of the genome of a heterozygous grapevine variety

    Velasco, R., Zharkikh, A., Troggio, M., Cartwright, D. A., Cestaro, A., Pruss, D., Pindo, M., Fitzgerald, L. M., Vezzulli, S., Reid, J., Malacarne, G., Iliev, D., Coppola, G., Wardell, B., Micheletti, D., Macalma, T., Facci, M., Mitchell, J. T., Perazzolli, M., Eldredge, G. & 37 others, Gatto, P., Oyzerski, R., Moretto, M., Gutin, N., Stefanini, M., Chen, Y., Segala, C., Davenport, C., Demattè, L., Mraz, A., Battilana, J., Stormo, K., Costa, F., Tao, Q., Si-Ammour, A., Harkins, T., Lackey, A., Perbost, C., Taillon, B., Stella, A., Solovyev, V., Fawcett, J. A., Sterck, L., Vandepoele, K., Grando, S. M., Toppo, S., Moser, C., Lanchbury, J., Bogden, R., Skolnick, M., Sgaramella, V., Bhatnagar, S. K., Fontana, P., Gutin, A., Van de Peer, Y., Salamini, F. & Viola, R., 2007, In: PLoS ONE. 2, 12, p. e1326

    Research output: Contribution to journalArticlepeer-review

  16. Published

    A new upper bound on the total domination number of a graph

    Henning, M. & Yeo, A., 2007, In: The Electronic Journal of Combinatorics. 14, 1

    Research output: Contribution to journalArticlepeer-review

  17. Published

    A transition from total domination in graphs to transversals in hypergraphs

    Henning, M. & Yeo, A., 2007, In: Quaestiones Mathematicae. 30, p. 1-20 20 p.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    A type-theoretic framework for formal reasoning with different logical foundations

    Luo, Z., 2007, Advances in Computer Science, Proc of the 11th Annual Asian Computing Science Conference. LNCS 4435. Springer

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Published

    An algorithm for finding connected convex subgraphs of an acyclic digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., 2007, p. 69-82. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  20. Published

    Architecture Migration driven by Code Categorization

    Correia, R., Matos, C., Heckel, R. & El-Ramly, M., 2007, Proceedings of the European Conference on Software Architecture (ECSA). Oquendo, F. (ed.). Springer-Verlag, Vol. 4758. p. 115-122 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Published

    Competence checking for the global e-service society using games

    Stathis, K., Lekeas, G. & Kloukinas, C., 2007, Engineering societies in the agents world VII. Vol. 4457. p. 384-400 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Published

    Competing with stationary prediction strategies

    Vovk, V., 2007, Proceedings of the Twentieth Annual Conference on Learning Theory . Bshouty, N. & Gentile, C. (eds.). p. 439-453 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Published

    Complexity of Propositional Proofs under a Promise

    Dershowitz, N. & Tzameret, I., 2007. 30 p.

    Research output: Contribution to conferencePaperpeer-review

  24. Published

    Conformal prediction with Neural Networks

    Papadopoulos, H., Vovk, V. & Gammerman, A., 2007, Proceedings of the Nineteenth IEEE International Conference on Tools with Artificial Intelligence. Vol. 2. p. 388-395 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Published

    Deconvolution and blind deconvolution in astronomy

    Murtagh, F., Pantin, E. & Starck, J-L., 2007, Blind Image Deconvolution: Theory and Applications. Campisi, P. & Egiazarian, K. (eds.). Taylor and Francis, p. 277-316

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Published

    Discussion on Hedging Predictions in Machine Learning by A. Gammerman and V. Vovk

    Luo, Z. & Bellotti, T., 2007, In: The Computer Journal. 50, 2

    Research output: Contribution to journalArticlepeer-review

  27. Published

    First-class protocols for agent-based coordination of scientific instruments

    Miller, T., McBurney, P., McGinnis, J. & Stathis, K., 2007, WET ICE 2007: 16TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 41-46 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Published

    Gene selection using Wilcoxon rank sum test and Support Vector Machine for cancer classification

    Liao, C., Li, S. & Luo, Z., 2007, Lecture Notes in Computer Science. Springer, Vol. 4456. p. 57-66

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Published

    Generalised entropy and asymptotic complexities of languages

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2007, Proceedings of the Twentieth Annual Conference on Learning Theory. Bshouty, N. & Gentily, C. (eds.). Berlin: Springer, Vol. 4539. p. 293-307 15 p. (Lecture Notes in Artificial Intelligence; vol. 4539).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Published

    On-line network resource consumption prediction with confidence

    Luo, Z., 2007, Second International Conference on Communications and Networking in China, 2007. CHINACOM '07. . p. 104-108

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Published

    On-line Regression Competitive with Changing Predictors

    Busuttil, S. & Kalnishkan, Y., 2007, Algorithmic Learning Theory, 18th International Conference, ALT 2007, Proceedings: 4754 of Lecture Notes in Computer Science. Springer, p. 181-195 (Lecture Notes in Computer Science,; vol. 4754).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Published

    Paths and cycles containing given arcs, in close to regularmultipartite tournaments

    Yeo, A., 2007, In: Journal of Combinatorial Theory, Series B. 97, 6, p. 949-963 15 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Preanalytic Influence of Sample Handling on SELDI-TOF Serum Protein Profiles

    Timms, J. F., Arslan-Low, E., Gentry-Maharaj, A., Luo, Z., T'Jampens, D., Podust, V. N., Ford, J., Fung, E. T., Gammerman, A., Jacobs, I. & Menon, U., 2007, In: Clinical Chemistry. 53, p. 645-656

    Research output: Contribution to journalArticlepeer-review

  34. Published

    Relationships between total domination, order, size and maximum degree of graphs

    Yeo, A., 2007, In: Journal of Graph Theory. 55, 4, p. 325-337 13 p.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    Secure implementations for typed session abstractions

    Corin, R., Denielou, P-M., Fournet, C., Bhargavan, K. & Leifer, J., 2007, 20th IEEE Computer Security Foundations Symposium (CSFS20), Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 170-186 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Published

    Software transformations to improve malware detection

    Christodorescu, M., Jha, S., Kinder, J., Katzenbeisser, S. & Veith, H., 2007, In: Journal in Computer Virology. 3, 4, p. 253-265

    Research output: Contribution to journalArticlepeer-review

  37. Published

    SpiderCast: A scalable interest-aware overlay for topic-based pub/sub communication

    Chockler, G., Melamed, R., Tock, Y. & Vitenberg, R., 2007, Proceedings of the Inaugural International Conference on Distributed Event-Based Systems (DEBS’07). ACM, p. 14-25 12 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  38. Published

    Statistical analysis of the genomic distribution and correlation of regulatory elements in the ENCODE regions

    Zhang, Z. D., Paccanaro, A., Fu, Y., Weissman, S., Weng, Z., Chang, J., Snyder, M. & Gerstein, M. B., 2007, In: Genome Research. 17, 6, p. 787-97 11 p.

    Research output: Contribution to journalArticlepeer-review

  39. Published

    Statistical approaches in Eukaryotic gene prediction

    Solovyev, V., 2007, Handbook of Statistical genetics. Balding, D., Canning, C. & Bishop, M. (eds.). 3rd ed. Wiley-Interscience

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. Published

    Subsets More Representative Than Random Ones

    Nouretdinov, I., 2007, 7th Industrial Conference on Data Mining 2007 Proceedings. p. 15-20 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Published

    Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems

    Hague, M. & Ong, C-H. L., 2007, FoSSaCS: Foundations of Software Science and Computation Structures.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Published

    The Expressive Power of Valued Constraints: Hierarchies and Collapses

    Cohen, D., Jeavons, P. & ŽZivný, S., 2007, Principles and Practice of Constraint Programming – CP 2007. Bessière, C. (ed.). Berlin and Heidelberg: Springer, p. 798-805 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. Published

    The Greedy Algorithm for the Symmetric TSP

    Gutin, G. & Yeo, A., 2007, In: Algorithmic Operations Research. 2, 1, p. 33-36 4 p.

    Research output: Contribution to journalArticlepeer-review

  44. Published

    The Linear Arrangement Problem Parameterized Above Guaranteed Value

    Gutin, G., Rafiey, A., Szeider, S. & Yeo, A., 2007, In: Theory of Computing Systems. 41, 3, p. 521-538

    Research output: Contribution to journalArticlepeer-review

  45. Published

    The minimum feedback arc set problem is NP-hard for tournaments

    Charbit, P., Thomasse, S. & Yeo, A., 2007, In: Combinatorics, Probability and Computing. 16, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Tight lower bounds on the size of a matching in a regular graph

    Henning, M. & Yeo, A., 2007, In: Graphs and Combinatorics. 23, 6, p. 647-657 11 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    Total domination of graphs and small transversals of hypergraphs

    Thomasse, S. & Yeo, A., 2007, In: Combinatorica. 27, 4, p. 473-487 15 p.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    Validation of a Seven Serum Biomarker Panel in Ovarian Cancer

    Timms, J. F., Arslan-Low, E., Cubizolles, M., Lomas, L., Yip, C., Meng, X-Y., Hogdall, E., Gentry-Maharaj, A., Ford, J., Burford, B., Nouretdinov, I., Vovk, V., Luo, Z., Menon, U., Gammerman, A., Fung, E. T. & Jacobs, I., 2007, Proceedings of the 15th International Meeting of the European Society of Gynaecological Oncology.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Published

    Weighted Kernel Regression for Predicting Changing Dependencies

    Busuttil, S. & Kalnishkan, Y., 2007, Machine Learning: ECML 2007, 18th European Conference on Machine Learning: volume 4701 of Lecture Notes in Computer Science. Springer, p. 535-542 (Lecture Notes in Computer Science; vol. 4701).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Published

    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

    Adams, R. & Luo, Z., 2007, Types for Proofs and Programs. Altenkirch, T. & McBride, C. (eds.). Springer, Vol. 4502. p. 1-17 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. 2006
  52. Published
  53. Published

    Special issue dedicated to CALCO'05

    Fiadeiro, J. & Rutten, J., 16 Nov 2006, In: Theoretical Computer Science. 366, 1-2

    Research output: Contribution to journalSpecial issuepeer-review

  54. Published

    The genome of the sea urchin Strongylocentrotus purpuratus

    Sodergren, E., Weinstock, G. M., Davidson, E. H., Cameron, R. A., Gibbs, R. A., Angerer, R. C., Angerer, L. M., Arnone, M. I., Burgess, D. R., Burke, R. D., Coffman, J. A., Dean, M., Elphick, M. R., Ettensohn, C. A., Foltz, K. R., Hamdoun, A., Hynes, R. O., Klein, W. H., Marzluff, W., McClay, D. R. & 31 others, Morris, R. L., Mushegian, A., Rast, J. P., Smith, L. C., Thorndyke, M. C., Vacquier, V. D., Wessel, G. M., Wray, G., Zhang, L., Elsik, C. G., Ermolaeva, O., Hlavina, W., Hofmann, G., Kitts, P., Landrum, M. J., Mackey, A. J., Maglott, D., Panopoulou, G., Poustka, A. J., Pruitt, K., Sapojnikov, V., Song, X., Souvorov, A., Solovyev, V., Wei, Z., Whittaker, C. A., Worley, K., Durbin, K. J., Shen, Y., Fedrigo, O. & Sea Urchin Genome Sequencing Consortium, 10 Nov 2006, In: Science. 314, 5801, p. 941-52 12 p.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    Criterion of calibration for transductive confidence machine with limited feedback

    Nouretdinov, I. & Vovk, V., 2 Nov 2006, In: Theoretical Computer Science. 364, 1, p. 39 7 p.

    Research output: Contribution to journalArticlepeer-review

  56. Published

    Hedging predictions in machine learning

    Gammerman, A. & Vovk, V., 2 Nov 2006.

    Research output: Working paper

  57. Published

    Well-calibrated predictions from on-line compression models

    Vovk, V., 2 Nov 2006, In: Theoretical Computer Science. 364, 1, p. 10-26 17 p.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Vers une architecture modulaire d'agent argumentatif pour la composition de services

    Morge, M., McGinnis, J., Bromuri, S., Toni, F. C., Mancarella, P. & Stathis, K., 1 Nov 2006, Proc. of the of 15th Journees Francophones sur les Systemes M ulti-Agents (JFSMA).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Published

    Exploring the limits of single-iteration clarification dialogs

    Lin, J., Wu, P., Demner-Fushman, D. & Abels, E., 31 Oct 2006, Proceedings of the Twenty-Ninth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Vol. 2006. p. 469-476 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  60. Published

    Insights into social insects from the genome of the honeybee Apis mellifera

    Solovyev, V. & Honeybee Genome Sequencing Consortium, 26 Oct 2006, In: Nature. 443, 7114, p. 931-49 19 p.

    Research output: Contribution to journalArticlepeer-review

  61. Published

    Metric entropy in competitive on-line prediction

    Vovk, V., 9 Sep 2006.

    Research output: Working paper

  62. Published

    Building next generation Service-Oriented Architectures using Argumentation Agents

    Curcin, V., Ghanem, M., Guo, Y., Stathis, K. & Toni, F., 1 Sep 2006, 3rd International Conference on Grid Services Engineering and Management (GSEM 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Published

    Evaluating GLR parsing algorithms

    Johnstone, A., Scott, E. & Economopoulos, G., Aug 2006, In: Science of Computer Programming. 61, 3, p. 228-244 17 p.

    Research output: Contribution to journalArticlepeer-review

  64. Published

    Competing with Markov prediction strategies

    Vovk, V., 28 Jul 2006, 11 p.

    Research output: Working paper

  65. Published

    Leading strategies in competitive on-line prediction

    Vovk, V., 27 Jul 2006.

    Research output: Working paper

  66. Published

    Competing with stationary prediction strategies

    Vovk, V., 13 Jul 2006.

    Research output: Working paper

  67. Published

    Adding mobility to software architectures

    Lopes, A. & Fiadeiro, J. L., 1 Jul 2006, In: Science of Computer Programming. 61, 2, p. 114-135 22 p.

    Research output: Contribution to journalArticlepeer-review

  68. Published

    Right nulled GLR parsers

    Scott, E. & Johnstone, A., 1 Jul 2006, In: ACM Transactions on Programming Languages and Systems. 28, 4, p. 577-618 42 p.

    Research output: Contribution to journalArticlepeer-review

  69. Published

    Predictions as statements and decisions

    Vovk, V., 22 Jun 2006.

    Research output: Working paper

  70. Published

    The Sources of Kolmogorov's Grundbegriffe

    Shafer, G. & Vovk, V., 21 Jun 2006.

    Research output: Working paper

  71. Published

    Extending UML with coordination contracts

    Lano, K. & Fiadeiro, J. L., 1 Jun 2006, In: Software and Systems Modeling. 5, 2, p. 110-120 11 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Rule Value Reinforcement Learning for Cognitive Agents

    Child, C. & Stathis, K., 1 May 2006, Proc. of 5th International Conference on Autonomous Agents an d Multi-agent Systems (AAMAS06). p. 792-794 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  73. Published

    Classification of acute leukaemia from gene expression data using confidence machines

    Bellotti, T., Luo, Z. & Gammerman, A., May 2006, IEEE International Conference on Granular Computing . p. 148-153

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. Published

    Byzantine disk paxos: Optimal resilience with byzantine shared memory

    Abraham, I., Chockler, G., Keidar, I. & Malkhi, D., 1 Apr 2006, In: Distributed Computing. 18, 5, p. 387-408 22 p.

    Research output: Contribution to journalArticlepeer-review

  75. Published

    Light-weight leases for storage-centric coordination

    Chockler, G. & Malkhi, D., 1 Apr 2006, In: International Journal of Parallel Programming. 34, 2, p. 143-170 28 p.

    Research output: Contribution to journalArticlepeer-review

  76. Published

    The sources of Kolmogorov's Grundbegriffe

    Shafer, G. & Vovk, V., Feb 2006, In: Statistical Science. 21, 1, p. 70-98 29 p.

    Research output: Contribution to journalArticlepeer-review

  77. Published

    A formal approach to event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3922 LNCS. p. 18-32 15 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  78. Published

    A formal approach to service component architecture

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4184 LNCS. p. 193-213 21 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  79. Published

    A point-distribution index and its application to sensor-grouping in wireless sensor networks

    Zhou, Y., Yang, H., Lyu, M. R. & Ngai, EC-H., 1 Jan 2006, IWCMC 2006 - Proceedings of the 2006 International Wireless Communications and Mobile Computing Conference. Vol. 2006. p. 1171-1176 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  80. Published

    Abstraction preservation and subtyping in distributed languages

    Deniélou, P-M. & Leifer, J. J., 1 Jan 2006, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Reppy, J. H. & Lawall, J. L. (eds.). ACM, Vol. 2006. p. 286-297 12 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  81. Published

    Physiological vs. Social complexity in software design

    Fiadeiro, J. L., 1 Jan 2006, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 3 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. Published

    Predictive random graph ranking on the web

    King, I., Lyu, M. R. & Yang, H., 1 Jan 2006, IEEE International Conference on Neural Networks - Conference Proceedings. p. 1825-1832 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  83. Published

    Proceedings – 4th International Conference on Business Process Management, BPM'06

    Dustdar, S., Fiadeiro, J. & Sheth, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4102 LNCS.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  84. Published

    Separating distribution from coordination and computation as architectural dimensions

    Fiadeiro, J. L., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4037 LNCS. p. 17 1 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  85. Published

    Ambient Intelligence: Agents and Interaction in Connected Communities

    Stathis, K., Spence, R., de Bruijn, O. & Purcell, P., 2006, Networked Neighbourhoods: The Connected Community in Context. Purcell, P. (ed.). London: Springer, p. 279-304

    Research output: Chapter in Book/Report/Conference proceedingChapter

  86. Published

    An algebraic characterisation of complexity for valued constraints

    Cohen, D., Cooper, M. & Jeavons, P., 2006, p. 107-121.

    Research output: Contribution to conferencePaper

  87. Published

    An Analysis of Methodological and Quantitative Aspects in the Evaluation of Thematic Segmentation Algorithms

    Georgescul, M., Clark, A. & Armstrong, S., 2006.

    Research output: Contribution to conferencePaper

  88. Published

    Architectural Handling of Management Concerns in Service-Driven Business Processes

    Al-Ghamdi, A. & Fiadeiro, J. L., 2006, MSVVEIS. INSTICC Press, p. 111-120 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  89. Published

    Astronomical Image and Data Analysis

    Murtagh, F. & Starck, J-L., 2006, Second ed. Springer. 335 p.

    Research output: Book/ReportBook

  90. Published

    Automatic annotation of eukaryotic genes, pseudogenes and promoters

    Solovyev, V., Kosarev, P., Seledsov, I. & Vorobyev, D., 2006, In: Genome Biology. 7 Suppl 1, p. S10.1-12

    Research output: Contribution to journalArticlepeer-review

  91. Published

    Clustering of Pseudomonas aeruginosa transcriptomes from planktonic cultures, developing and mature biofilms reveals distinct expression profiles

    Waite, R. D., Paccanaro, A., Papakonstantinopoulou, A., Hurst, J. M., Saqi, M., Littler, E. & Curtis, M. A., 2006, In: BMC Genomics. 7, p. 162

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Communication-efficient probabilistic quorum systems for sensor networks

    Chockler, G., Gilbert, S. & Patt-Shamir, B., 2006, Proceedings of the 1st Annual IEEE International Workshop on "Foundation and Algorithms for Wireless Networking" (FAWN'2006). p. 111-115 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  93. Published

    Competing with wild prediction rules

    Vovk, V., 2006, Proceedings of the Nineteenth Annual Conference on Learning Theory. Lugosi, G. & Simon, H. (eds.). Berlin: Springer, p. 559-573 15 p. (Lecture Notes in Articial Intelligence; vol. 4005).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  94. Published

    Crafting the Mind of PROSOCS Agents

    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W. & Stathis, K., 2006, In: Applied Artificial Intelligence. 20, 4-5, p. 105-131

    Research output: Contribution to journalArticlepeer-review

  95. Published

    Dagsthul Seminar on Foundations of Global Computing

    Fiadeiro, J. L., Montanari, U. & Wirsing, M., 2006, Foundations of Global Computing. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Vol. 05081. (Dagstuhl Seminar Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  96. Published

    Decision Making with a KGP Agent System

    Forth, J., Stathis, K. & Toni, F., 2006, In: Journal of Decision Systems. 15, 2-3, p. 241-266 26 p.

    Research output: Contribution to journalArticlepeer-review

  97. Published

    Distribution concerns in service-oriented modelling

    Aoumeur, N., Fiadeiro, J. L. & Oliveira, C., 2006, In: IJIPT. 1, 3, p. 144-158 15 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Domination analysis for minimum multiprocessor scheduling

    Gutin, G., Jensen, T. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, p. 2613-2619 7 p.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Domination in convex bipartite and round graphs

    Bang-Jensen, J., Huang, J., MacGillivray, G. & Yeo, A., 2006, In: International Journal of Mathematical Sciences. 5, 2

    Research output: Contribution to journalArticlepeer-review

  100. Published

    Dynamic Data Integration: A Service-Based Broker Approach

    Zhu, F., Turner, M., Kotsiopoulos, I., Bennett, K., Russell, M., Budgen, D., Brereton, P., Keane, J., Layzell, P., Rigby, M. & Xu, J., 2006, In: International Journal of Business Process Integration and Management. 1, 3, p. 175-191 17 p.

    Research output: Contribution to journalArticlepeer-review

  101. Published

    Finding cheapest cycles in vertex-weighted quasi-transitive digraphs and extended semicomplete digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2006, In: Discrete Optimization. 3, 1, p. 86-94 9 p.

    Research output: Contribution to journalArticlepeer-review

  102. Published

    Formalized Metatheory with Terms Represented by an Indexed Family of Types

    Adams, R., 2006, Types for Proofs and Programs. Filliatre, J-C., Paulin-Mohring, C. & Werner, B. (eds.). Springer, Vol. 3839. p. 1-16 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  103. Published

    Garnata: An Information Retrieval System for Structured Documents based on Probabilistic Graphical Models

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2006, Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006). Paris (France), p. 1024-1031 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  104. Published

    Geometry and Information Retrieval

    Romero, A. E., 2006.

    Research output: Contribution to conferencePosterpeer-review

  105. Published

    Hamilton Cycles in Digraphs of Unitary Matrices

    Gutin, G., Rafiey, A., Severini, S. & Yeo, A., 2006, In: Discrete Mathematics. 306, p. 3315-3320 6 p.

    Research output: Contribution to journalArticlepeer-review

  106. Published

    Integration of curated databases to identify genotype-phenotype associations

    Goh, C-S., Gianoulis, T. A., Liu, Y., Li, J., Paccanaro, A., Lussier, Y. A. & Gerstein, M., 2006, In: BMC Genomics. 7, p. 257

    Research output: Contribution to journalArticlepeer-review

  107. Published

    Languages as Hyperplanes: grammatical inference with string kernels

    Clark, A., Costa Florêncio, C. & Watkins, C., 2006, Proceedings of ECML. p. 90-101

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  108. Published

    Large scale inference of deterministic transductions: Tenjinno problem 1

    Clark, A., 2006, p. 227-239.

    Research output: Contribution to conferencePaperpeer-review

  109. Published

    Leading strategies in competitive on-line prediction

    Vovk, V., 2006, Proceedings of the Seventeenth International Conference on Algorithmic Learning Theory. Balcazar, J., Long, P. M. & Stephan, F. (eds.). p. 214-228 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  110. Published

    Learning Auxiliary Fronting with Grammatical Inference

    Clark, A. & Eyraud, R., 2006, p. 125-132.

    Research output: Contribution to conferencePaper

  111. Published

    Learning Auxiliary Fronting with Grammatical Inference

    Clark, A. & Eyraud, R., 2006.

    Research output: Contribution to conferencePaperpeer-review

  112. Published

    Level of repair analysis and minimum cost homomorphisms of graphs

    Gutin, G., Rafiey, A., Tso, M. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, 6, p. 881-889

    Research output: Contribution to journalArticlepeer-review

  113. Published

    Longest path-partitions in generalizations of tournaments

    Bang-Jensen, J., Nielsen, M. H. & Yeo, A., 2006, In: Discrete Mathematics. 306, p. 1830-1839 10 p.

    Research output: Contribution to journalArticlepeer-review

  114. Published

    Minimum Cost and List Homomorphisms to Semicomplete Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, 6, p. 890-897

    Research output: Contribution to journalArticlepeer-review

  115. Published

    Multipartite tournaments with small number of cycles

    Gutin, G. & Rafiey, A., 2006, In: Australasian Journal of Combinatorics. 34, 1, p. 17-21

    Research output: Contribution to journalArticlepeer-review

  116. Published

    Normative KGP agents

    Sadri, F., Stathis, K. & Toni, F., 2006, In: Computational Mathematical Organization Theory. 12, 2-3, p. 101-126

    Research output: Contribution to journalArticlepeer-review

  117. Published

    Note on Upper Bounds for TSP Domination Number

    Gutin, G., Koller, A. & Yeo, A., 2006, In: Algorithmic Operations Research. 1, 1, p. 52-54 3 p.

    Research output: Contribution to journalArticlepeer-review

  118. Published

    On n-partite tournaments with unique n-cycle

    Gutin, G., Rafiey, A. & Yeo, A., 2006, In: Graphs and Combinatorics. 22, 2, p. 241-249

    Research output: Contribution to journalArticlepeer-review

  119. Published

    On-line regression competitive with reproducing kernel Hilbert spaces

    Vovk, V., 2006, Theory and Applications of Models of Computation. Proceedings of the Third Annual Conference on Computation and Logic. Cai, J-Y., Cooper, S. & Li, A. (eds.). Berlin: Springer, Vol. 3959. p. 452-463 12 p. (Lecture Notes in Computer Science; vol. 3959).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  120. Published

    Optimal on-line bin packing with two item sizes

    Gutin, G., Jensen, T. & Yeo, A., 2006, In: Algorithmic Operations Research. 1, 2, p. 72-78 7 p.

    Research output: Contribution to journalArticlepeer-review

  121. Published

    PAC-learning unambiguous NTS languages

    Clark, A., 2006, p. 59-71.

    Research output: Contribution to conferencePaperpeer-review

  122. Published

    Performance assessment of promoter predictions on ENCODE regions in the EGASP experiment

    Bajic, V. B., Brent, M. R., Brown, R. H., Frankish, A., Harrow, J., Ohler, U., Solovyev, V. V. & Tan, S. L., 2006, In: Genome Biology. 7, Suppl. 1, p. 3.1-3.13 13 p.

    Research output: Contribution to journalLiterature reviewpeer-review

  123. Published

    Planar Languages and Learnability

    Clark, A., Costa Florêncio, C., Watkins, C. & Serayet, M., 2006, p. 148-160.

    Research output: Contribution to conferencePaper

  124. Published

    Predicting essential genes in fungal genomes

    Seringhaus, M., Paccanaro, A., Borneman, A., Snyder, M. & Gerstein, M., 2006, In: Genome Research. 16, 9, p. 1126-35 10 p.

    Research output: Contribution to journalArticlepeer-review

  125. Published

    Predicting interactions in protein networks by completing defective cliques

    Yu, H., Paccanaro, A., Trifonov, V. & Gerstein, M., 2006, In: Bioinformatics. 22, 7, p. 823-9 7 p.

    Research output: Contribution to journalArticlepeer-review

  126. Published

    Predictions as statements and decisions

    Vovk, V., 2006, p. 44. 1 p.

    Research output: Contribution to conferenceAbstract

  127. Published

    Pure Type Systems with Judgemental Equality

    Adams, R., 2006, In: Journal of Functional Programming. 16, 2, p. 219-246 28 p.

    Research output: Contribution to journalArticlepeer-review

  128. Published

    Reliable Classification of Acute Leukaemia from Gene Expression Data using Confidence Machines

    Bellotti, T., Luo, Z. & Gammerman, A., 2006, IEEE International Conference on Granular Computing. IEEE, p. 148-153

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  129. Published

    Spectral clustering of protein sequences

    Paccanaro, A., Casbon, J. A. & Saqi, M. A. S., 2006, In: Nucleic Acids Research. 34, 5, p. 1571-80 10 p.

    Research output: Contribution to journalArticlepeer-review

  130. Published

    Spectral clustering of protein sequences using sequence-profile scores

    Sasidharan, R., Gerstein, M. B. & Paccanaro, A., 2006, Proceedings of ICNPSC – 3rd International Conference on Neural Parallel and Scientific Computations.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  131. Published

    Strangeness minimisation feature selection with confidence machines

    Bellotti, T., Luo, Z. & Gammerman, A., 2006, Lecture Notes in Computer Science. Vol. 4224. p. 978-985

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  132. Published

    Symmetry definitions for constraint satisfaction problems

    Cohen, D., Jeavons, P., Jefferson, C., Petrie, K. & Smith, B., 2006, In: Constraints. 11, p. 115-137 23 p.

    Research output: Contribution to journalArticlepeer-review

  133. Published

    The complexity of constraint languages

    Cohen, D. & Jeavons, P., 2006, Handbook of Constraint Programming. Rossi, F., van Beek, P. & Walsh, T. (eds.). Elsevier

    Research output: Chapter in Book/Report/Conference proceedingChapter

  134. Published

    The complexity of soft constraint satisfaction

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2006, In: Artificial Intelligence. 170, p. 983-1016 34 p.

    Research output: Contribution to journalArticlepeer-review

  135. Published

    The Effect of Constraint Representation on Structural Tractability

    Houghton, C., Cohen, D. & Green, M. J., 2006, p. 726-730.

    Research output: Contribution to conferencePaper

  136. Published

    Total domination and matching numbers in claw-free graphs

    Henning, M. & Yeo, A., 2006, In: The Electronic Journal of Combinatorics. 13, 1

    Research output: Contribution to journalArticlepeer-review

  137. Published

    Trust Strategies for ART Testbed

    Kafali, O. & Yolum, P., 2006, Ninth International Workshop on Trust in Agent Societies, AAMAS. p. 43-49 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  138. Published

    Typed Guarded Decompositions for Constraint Satisfaction

    Cohen, D. A. & Green, M. J., 2006, p. 122-136.

    Research output: Contribution to conferencePaper

  139. Published

    Word Distributions for Thematic Segmentation in a Support Vector Machine Approach

    Georgescul, M., Clark, A. & Armstrong, S., 2006, p. 101-108.

    Research output: Contribution to conferencePaper

  140. 2005
  141. Published

    Competing with wild prediction rules

    Vovk, V., 14 Dec 2005.

    Research output: Working paper

  142. Published

    Recursion Engineering for Reduction Incorporated Parsers

    Johnstone, A. & Scott, E., 12 Dec 2005, In: Electronic Notes in Theoretical Computer Science. 141, 4, p. 143-160 18 p.

    Research output: Contribution to journalArticlepeer-review

  143. Published

    Modelling the GSM handover protocol in commUnity

    Oliveira, C., Fiadeiro, J. L., Wermelinger, M. & Lopes, A., 1 Dec 2005, In: Electronic Notes in Theoretical Computer Science. 141, 3, p. 3-25 23 p.

    Research output: Contribution to journalArticlepeer-review

  144. Published

    Normative KGP Agents: A Preliminary Report

    Sadri, F., Toni, F. & Stathis, K., 1 Dec 2005, Symposium on Normative Multi-Agent Systems, NORMAS 2005, part of the SSAISB 2005 Convention, University of Hertfordshire, Hatfield, UK. p. 85-96 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  145. Published

    On-line predictive linear regression

    Vovk, V., Nouretdinov, I. & Gammerman, A., 21 Nov 2005.

    Research output: Working paper

  146. Published
  147. Published

    The number of pancyclic arcs in a k-strong tournament

    Yeo, A., Nov 2005, In: Journal of Graph Theory. 50, 3, p. 212-219

    Research output: Contribution to journalArticlepeer-review

  148. Published

    The origins and legacy of Kolmogorov's Grundbegriffe

    Vovk, V. & Shafer, G., Oct 2005, 109 p. (Game-Theoretic Probability and Finance project).

    Research output: Working paper

  149. Published

    HTHquery: a method for detecting DNA-binding proteins with a helix-turn-helix structural motif

    Ferrer-Costa, C., Shanahan, H. P., Jones, S. & Thornton, J. M., 15 Sep 2005, In: Bioinformatics. 21, 18, p. 3679-3680 2 p.

    Research output: Contribution to journalArticlepeer-review

  150. Published

    A Middleware Framework for Robust Applications in Wireless Ad Hoc Networks

    Chockler, G., Demirbas, M., Gilbert, S. & Newport, C., Sep 2005, Proceeding of the 43rd Allerton Conference on Communication, Control, and Computing. Curran Associates

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  151. Published

    How many strings are easy to predict?

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 25 Aug 2005, In: Information and Computation. 201, 1, p. 55-71 17 p.

    Research output: Contribution to journalArticlepeer-review

  152. Published

    Amino acid architecture and the distribution of polar atoms on the surfaces of proteins

    Shanahan, H. P. & Thornton, J. M., 15 Aug 2005, In: BIOPOLYMERS. 78, 6, p. 318-328 11 p.

    Research output: Contribution to journalArticlepeer-review

  153. Published

    Prospective gene expression analysis accurately subtypes acute leukaemia in children and establishes a commonality between hyperdiploidy and t(12;21) in acute lymphoblastic leukaemia

    van Delft, F. W., Bellotti, T., Luo, Z., Jones, L. K., Patel, N., Yiannikouris, O., Hill, A. S., Hubank, M., Kempski, H., Fletcher, D., Chaplin, T., Foot, N., Young, B. D., Hann, I. M., Gammerman, A. & Saha, V., Aug 2005, In: British Journal of Haematology. 130, 1, p. 26-35

    Research output: Contribution to journalArticlepeer-review

  154. Published

    Active disk Paxos with infinitely many processes

    Chockler, G. & Malkhi, D., 1 Jul 2005, In: Distributed Computing. 18, 1, p. 73-84 12 p.

    Research output: Contribution to journalArticlepeer-review

  155. Published

    Competitive on-line learning with a convex loss function

    Vovk, V., 11 Jun 2005.

    Research output: Working paper

  156. Published

    Defensive forecasting for linear protocols

    Vovk, V., Nouretdinov, I., Takemura, A. & Shafer, G., 2 Jun 2005.

    Research output: Working paper

  157. Published

    A verification logic for rewriting logic

    Martí-Oliet, N., Pita, I., Fiadeiro, J. L., Meseguer, J. & Maibaum, T., 1 Jun 2005, In: Journal of Logic and Computation. 15, 3, p. 317-352 36 p.

    Research output: Contribution to journalArticlepeer-review

  158. Published

    Non-asymptotic calibration and resolution

    Vovk, V., 1 Jun 2005.

    Research output: Working paper

  159. Published

    Proceedings of the Workshop on Psychocomputational Models of Human Language Acquisition

    Sakas, W. G. (ed.), Clark, A. (ed.), Cussens, J. (ed.) & Xanthos, A. (ed.), 1 Jun 2005, Ann Arbor, Michigan: Association for Computational Linguistics.

    Research output: Book/ReportAnthology

  160. Published

    Defensive forecasting

    Vovk, V., Takemura, A. & Shafer, G., 30 May 2005.

    Research output: Working paper

  161. Published

    Algebraic semantics of design abstractions for context-awareness

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2005, In: Lecture Notes in Computer Science. 3423, p. 79-93 15 p.

    Research output: Contribution to journalArticlepeer-review

  162. Published

    Consensus and collision deteotors in wireless ad hoc networks

    Chockler, G., Demirbas, M., Gilbert, S., Newport, C. & Nolte, T., 1 Jan 2005, Proceedings of the 24th annual ACM symposium on Principles of distributed computing (PODC '05). p. 197-206 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  163. Published

    Context-awareness in software architectures

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2005, In: Lecture Notes in Computer Science. 3527, p. 146-161 16 p.

    Research output: Contribution to journalArticlepeer-review

  164. Published

    Generalized Bottom Up Parsers With Reduced Stack Activity

    Scott, E. & Johnstone, A., 1 Jan 2005, In: The Computer Journal. 48, 5, p. 565-587 23 p.

    Research output: Contribution to journalArticlepeer-review

  165. Published

    Predictive ranking: A novel page ranking approach by estimating the web structure

    Yang, H., King, I. & Lyu, M. R., 1 Jan 2005, 14th International World Wide Web Conference, WWW2005. p. 944-945 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  166. Published

    Preface

    Fiadeiro, J., Mosses, P. & Orejas, F., 1 Jan 2005, In: Lecture Notes in Computer Science. 3423, p. v-vi 2 p.

    Research output: Contribution to journalSpecial issuepeer-review

  167. Published

    Software services: Scientific challenge or industrial hype?

    Fiadeiro, J. L., 1 Jan 2005, In: Lecture Notes in Computer Science. 3407, p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  168. Published

    A machine vision approach to the grading of crushed aggregate

    Murtagh, F., Qiao, X., Crookes, D., Walsh, P., Basheer, P. A. M., Long, A. & Starck, J. L., 2005, In: Machine Vision and Applications. 16, 4, p. 229-235

    Research output: Contribution to journalArticle

  169. Published

    A negotiation description language

    Elfatatry, A. & Layzell, P., 2005, In: SOFTWARE-PRACTICE. 35, 4, p. 323-343 21 p.

    Research output: Contribution to journalArticlepeer-review

  170. Published

    A problem of finding an acceptable variant in some generalized project networks

    Blokh, D., Gutin, G., Yeo, A. & Yeo, A., 2005, In: Journal of Applied Mathematics and Decision Science. 2, p. 75-81 7 p.

    Research output: Contribution to journalArticlepeer-review

  171. Published

    A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.

    Cohen, D. A., Jeavons, P. & Gyssens, M., 2005, p. 72-77.

    Research output: Contribution to conferencePaper

  172. Published

    Algorithmic Learning in a Random World

    Vovk, V., Gammerman, A. & Shafer, G., 2005, Springer.

    Research output: Book/ReportBook

  173. Published

    An Algorithm for the SAT Problem for Formulae of Linear Length

    Wahlström, M., 2005, ESA. p. 107-118 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  174. Published

    Assessing the limits of genomic data integration for predicting protein networks

    Lu, L. J., Xia, Y., Paccanaro, A., Yu, H. & Gerstein, M., 2005, In: Genome Research. 15, 7, p. 945-53 9 p.

    Research output: Contribution to journalArticlepeer-review

  175. Published

    Batched bin packing

    Gutin, G., Jensen, T. & Yeo, A., 2005, In: Discrete Optimization. 2, 1, p. 71-82

    Research output: Contribution to journalArticlepeer-review

  176. Published

    Bayesian inference for multiband image segmentation via model-based clustering trees

    Murtagh, F., Raftery, A. E. & Starck, J. L., 2005, In: Image and Vision Computing. 23, 6, p. 587-596

    Research output: Contribution to journalArticle

  177. Published

    Categories for Software Engineering

    Fiadeiro, J. L., 2005, Springer. 250 p.

    Research output: Book/ReportOther report

  178. Published

    Correspondence Analysis and Data Coding with R and Java

    Murtagh, F., 2005, Chapman and Hall/CRC Press. 256 p.

    Research output: Book/ReportBook

  179. Published

    Counting models for 2SAT and 3SAT formulae

    Dahllöf, V., Jonsson, P. & Wahlström, M., 2005, In: Theoretical Computer Science. 332, 1-3, p. 265-291 27 p.

    Research output: Contribution to journalArticlepeer-review

  180. Published

    Defensive forecasting

    Vovk, V., Takemura, A. & Shafer, G., 2005, Proceedings of the Tenth International Workshop on Articial Intelligence and Statistics. Cowell, R. & Ghahramani, Z. (eds.). p. 365-372 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  181. Published

    Defensive forecasting for linear protocols

    Vovk, V., Nouretdinov, I., Takemura, A. & Shafer, G., 2005, Proceedings of the Sixteenth International Conference on Algorithmic Learning Theory. Jain, S., Simon, H. & Tomita, E. (eds.). Berlin: Springer, Vol. 3734. p. 459-473 15 p. (Lecture Notes in Computer Science; vol. 3734).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  182. Published

    Defensive prediction with expert advice

    Vovk, V., 2005, Proceedings of the Sixteenth International Conference on Algorithmic Learning Theory. Jain, S., Simon, H. & Tomita, E. (eds.). Berlin: Springer, p. 444-458 15 p. (Lecture Notes in Computer Science; vol. 3734).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  183. Published

    Detecting Malicious Code by Model Checking

    Kinder, J., Katzenbeisser, S., Schallhart, C. & Veith, H., 2005, Detection of Intrusions and Malware, and Vulnerability Assessment. Springer, p. 174-187

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  184. Published

    Domination Analysis of Combinatorial Optimization Algorithms and Problems

    Gutin, G. & Yeo, A., 2005, In: Graph Theory, Combinatorics and Algorithms. 34, p. 145-171 27 p.

    Research output: Contribution to journalArticlepeer-review

  185. Published

    Evaluation of the contract-or-patch heuristic for the Asymmetric TSP

    Gutin, G. & Zverovitch, A., 2005, In: INFOR: Information Systems and Operational Research. 43, 1, p. 23-31

    Research output: Contribution to journalArticle

  186. Published

    Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable

    Wahlström, M., 2005, SAT. p. 309-323 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  187. Published

    Fault-Tolerance in Storage-Centric Systems

    Chockler, G., 2005

    Research output: ThesisDoctoral Thesis

  188. Published

    From Separation Logic to First‐Order Logic

    Calcagno, C., Gardner, P. & Hague, M., 2005, FoSSaCS: Foundations of Software Science and Computation Structures.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  189. Published

    Good randomized sequential probability forecasting is always possible

    Vovk, V. & Shafer, G., 2005, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 67, 5, p. 747-763

    Research output: Contribution to journalArticlepeer-review

  190. Published

    Identification in the Limit of Substitutable Context Free Languages

    Clark, A. & Eyraud, R., 2005, Proceedings of The 16th International Conference on Algorithmic Learning Theory. Jain, S., Simon, H. U. & Tomita, E. (eds.). p. 283-296

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  191. Published

    Inferring protein-protein interactions using interaction network topologies

    Paccanaro, A., Trifonov, V., Yu, H. & Gerstein, M. B., 2005, Proceedings of the International Joint Conference on Neural Networks. p. 161 166 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  192. Published

    Kernels in planar digraphs

    Gutin, G., Kloks, T., Lee, C. M. & Yeo, A., 2005, In: Journal of Computer and System Sciences. 71, 2, p. 174-184

    Research output: Contribution to journalArticlepeer-review

  193. Published

    LFTOP: an LF-based approach to domain-specific reasoning

    Pang, J., Callaghan, P. & Luo, Z., 2005, In: Journal of Computer Science and Technology. 20, 4, p. 526-535

    Research output: Contribution to journalArticlepeer-review

  194. Published

    Managing Healthcare Information: The Role of the Broker

    Budgen, D., Turner, M., Kotsiopoulos, I., Zhu, F., Russell, M., Rigby, M., Bennett, K., Brereton, P., Keane, J. & Layzell, P., 2005, From Grid To Healthcare - Proceedings of Healthgrid 2005. IOS Press, p. 3-16 14 p. (Studies in Health Technology and Informatics; vol. 112).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  195. Published

    Mediated digraphs and quantum nonlocality

    Gutin, G., Jones, N., Rafiey, A., Severini, S. & Yeo, A., 2005, In: Discrete Applied Mathematics. 150, 1-3, p. 41-50

    Research output: Contribution to journalArticlepeer-review

  196. Published

    Non-asymptotic calibration and resolution

    Vovk, V., 2005, Proceedings of the Sixteenth International Conference on Algorithmic Learning Theory. Jain, S., Simon, H. & Tomita, E. (eds.). Berlin: Springer, Vol. 3734. p. 429-443 15 p. (Lecture Notes in Computer Science; vol. 3734).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  197. Published

    On modelling multi-agent systems declaratively

    Bracciali, A., Mancarella, P., Stathis, K. & Toni, F., 2005, Declarative agent languages and technologies II. Springer-Verlag, Vol. 3476. p. 53-68 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  198. Published

    Plant promoter prediction with confidence estimation

    Shahmuradov, I. A., Solovyev, V. V. & Gammerman, A. J., 2005, In: Nucleic Acids Research. 33, 3, p. 1069-1076 8 p.

    Research output: Contribution to journalArticlepeer-review

  199. Published

    Proceedings – Conference on Algebra and Coalgebra in Computer Science, CALCO'05

    Fiadeiro, J. L. (ed.), Harman, N. (ed.), Roggenbach, M. (ed.) & Rutten, J. J. M. M. (ed.), 2005, Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Springer, Vol. 3629.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  200. Published

    Proving atomicity: An assertional approach

    Chockler, G., Lynch, N., Mitra, S. & Tauber, J., 2005, Proceedings of the 19th International Conference on Distributed Computing (DISC '05). p. 152-168 17 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  201. Published

    Proving the concept of a data broker as an emergent alternative to supra-enterprise EPR systems

    Rigby, M., Budgen, D., Brereton, P., Bennett, K., Layzell, P., Keane, J., Russell, M., Kotsiopoulos, I., Turner, M. & Zhu, F., 2005, In: MEDICAL INFORMATICS AND THE INTERNET IN MEDICINE. 30, 2, p. 99-106 8 p.

    Research output: Contribution to journalArticlepeer-review

  202. Published

    Qualified Predictions for Microarray and Proteomics Pattern Diagnostics with Confidence Machines

    Bellotti, T., Luo, Z., Gammerman, A., Van Delft, F. & Saha, V., 2005, In: International Journal of Neural Systems. 15, 4, p. 247-258

    Research output: Contribution to journalArticlepeer-review

  203. Published

    Qualified probabilistic predictions using graphical models

    Luo, Z. & Gammerman, A., 2005, Lecture Notes in Artificial Intelligence. Vol. 3571. p. 111-122

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  204. Published

    Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast

    Chockler, G., Demirbas, M., Gilbert, S., Lynch, N. A., Newport, C. C. & Nolte, T., 2005, Proceedings of the 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN '05): ICDCS Workshops. p. 42-48 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  205. Published

    Reconfigurable Distributed Storage for Dynamic Networks

    Chockler, G., Gilbert, S., Gramoli, V., Musial, P. & Shvartsman, A., 2005, Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS '05). Springer-Verlag, p. 351-365 15 p. (Lecture Notes in Computer Science; vol. 3974).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  206. Published

    SMART (Stochastic Model Acquisition with ReinforcemenT) learning agents: A preliminary report

    Child, C. & Stathis, K., 2005, Adaptive agents and multi-agent systems II. Springer-Verlag, Vol. 3394. p. 73-87 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  207. Published
  208. Published

    Spatial Complexity Metrics: An Investigation of Utility

    Gold, N., Mohan, A. & Layzell, P., 2005, In: Software Engineering, IEEE Transactions on. 31, 3, p. 203-212 10 p.

    Research output: Contribution to journalArticlepeer-review

  209. Published

    Spectral clustering of protein sequences

    Paccanaro, A., Trifonov, V., Yu, H. & Gerstein, M. B., 2005, International Joint Conference on Neural Networks. p. 161-166

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  210. Published

    Stable multi-agent systems

    Bracciali, A., Mancarella, P., Stathis, K. & Toni, F., 2005, Engineering Societies in the Agents World V. Springer-Verlang, Vol. 3451. p. 322-334 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  211. Published

    Supermodular functions and the complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2005, In: Discrete Applied Mathematics. 149, p. 53-72 20 p.

    Research output: Contribution to journalArticlepeer-review

  212. Published

    Systems Integration: Lessons from Two Practical Experiences

    Layzell, P. J., 2005, IEEE Conference on Software Maintenance and Re-engineering 2005, Keynote address, March 2005.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  213. Published

    The Data-Gathering Broker - A User-Based Approach to Viable EPR Systems

    Rigby, M., Budgen, D., Brereton, P., Bennett, K., Russell, M., Turner, M., Kotsiopoulos, I., Layzell, P., Keane, J. & Zhu, F., 2005, In: Studies in health technology and informatics. 116, p. 905-910 6 p.

    Research output: Contribution to journalArticlepeer-review

  214. Published

    The KGP model of agency for global computing: Computational model and prototype implementation

    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G. & Toni, F., 2005, Global computing. Springer-Verlag, Vol. 3267. p. 340-367 28 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  215. Published

    Transitivity in coercive subtyping

    Luo, Z. & Luo, Y., 2005, In: Infor. and Computation. 197, 1-2, p. 122-144 23 p.

    Research output: Contribution to journalArticlepeer-review

  216. Published

    Wavelet-based combined signal filtering and prediction

    Murtagh, F., Renaud, O. & Starck, J-L., 2005, In: IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 35, 6, p. 1241-1251

    Research output: Contribution to journalArticle

  217. 2004
  218. Published

    The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms

    Johnstone, A., Scott, E. & Economopoulos, G., 31 Dec 2004, p. 97-113. 17 p.

    Research output: Contribution to conferencePaper

  219. Published

    The GTB and PAT tools

    Johnstone, A., Scott, E. & Economopoulos, G., 31 Dec 2004, p. 173-175. 3 p.

    Research output: Contribution to conferencePaper

  220. Published

    Ambient intelligence using KGP agents

    Stathis, K. & Toni, F., 1 Nov 2004, p. 351--362.

    Research output: Contribution to conferencePaper

  221. Published

    An Agent Development Framework based on Social Positions

    Lekeas, G. K. & Stathis, K., 1 Oct 2004, IEEE Interantional Conference on Systems, Man and Cybernetics. Thiessen, W. & Wieringa, P. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  222. Published

    An examination of the conservation of surface patch polarity for proteins

    Shanahan, H. P. & Thornton, J. M., 22 Sep 2004, In: Bioinformatics. 20, 14, p. 2197-2204 8 p.

    Research output: Contribution to journalArticlepeer-review

  223. Published

    Experiments with the K29 algorithm

    Vovk, V., 1 Sep 2004.

    Research output: Working paper

  224. Published

    Defensive forecasting

    Vovk, V., Takemura, A. & Shafer, G., Sep 2004.

    Research output: Working paper

  225. Published

    Grammatical Inference and First Language Acquisition

    Clark, A., 1 Aug 2004.

    Research output: Contribution to conferencePaperpeer-review

  226. Published

    Spanning k-arc-strong subdigraphs with few arcs in k-arc-strong tournaments

    Bang-Jensen, J., Huang, J. & Yeo, A., Aug 2004, In: Journal of Graph Theory. 46, 4, p. 265-284

    Research output: Contribution to journalArticlepeer-review

  227. Published

    Adding mobility to software architectures

    Lopes, A. & Fiadeiro, J. L., 22 Jul 2004, In: Electronic Notes in Theoretical Computer Science. 97, p. 241-258 18 p.

    Research output: Contribution to journalArticlepeer-review

  228. Published

    Data classication apparatus and method thereof

    Gammerman, A. & Vovk, V., Jul 2004, Patent No. 1129428

    Research output: Patent

  229. Published

    Decomposing k-arc-strong tournaments into strong spanning subdigraphs

    Bang-Jensen, J. & Yeo, A., Jul 2004, In: Combinatorica. 24, 3, p. 331-349

    Research output: Contribution to journalArticlepeer-review

  230. Published

    A universal well-calibrated algorithm for on-line classification

    Vovk, V., Jun 2004, In: Journal of Machine Learning Research. 5, p. 575-604 30 p.

    Research output: Contribution to journalArticlepeer-review

  231. Published

    PAC-learnability of Probabilistic Deterministic Finite State Automata

    Clark, A. & Thollard, F., 1 May 2004, In: Journal of Machine Learning Research. 5, p. 473-497 25 p.

    Research output: Contribution to journalArticlepeer-review

  232. Published

    Reducing non-determinism in right nulled GLR parsers

    Scott, E. & Johnstone, A., May 2004, In: Acta Informatica. 40, 6-7, p. 459-489 31 p.

    Research output: Contribution to journalArticlepeer-review

  233. Published

    Hamiltonian paths, containing a given path or collection of arcs, in close to regular multipartite tournaments

    Volkmann, L. & Yeo., A., 28 Apr 2004, In: Discrete Mathematics. 281, 1-3, p. 267-276

    Research output: Contribution to journalArticlepeer-review

  234. Published

    Automated whole-genome multiple alignment of rat, mouse, and human

    Brudno, M., Poliakov, A., Salamov, A., Cooper, G. M., Sidow, A., Rubin, E. M., Solovyev, V., Batzoglou, S. & Dubchak, I., 1 Apr 2004, In: Genome Research. 14, 4, p. 685-92 8 p.

    Research output: Contribution to journalArticlepeer-review

  235. Published

    PROSOCS: a platform for programming software agents in computational logic

    Stathis, K., Kakas, A. C., Lu, W., emetriou, N. D., Endriss, U. & Bracciali, A., 1 Apr 2004, Proceedings of the Fourth International Symposium ``From Agent Th eory to Agent Implementation'' (AT2AI-4 -- EMCSR'2004 Session M). Müller, J. & Petta, P. (eds.). p. 523-528 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  236. Published

    Superposition: Composition vs refinement of non-deterministic, action-based systems

    Lopes, A. & Fiadeiro, J. L., 1 Apr 2004, In: Formal Aspects of Computing. 16, 1, p. 5-18 14 p.

    Research output: Contribution to journalArticlepeer-review

  237. Published

    The DNA sequence and biology of human chromosome 19

    Grimwood, J., Gordon, L. A., Olsen, A., Terry, A., Schmutz, J., Lamerdin, J., Hellsten, U., Goodstein, D., Couronne, O., Tran-Gyamfi, M., Aerts, A., Altherr, M., Ashworth, L., Bajorek, E., Black, S., Branscomb, E., Caenepeel, S., Carrano, A., Caoile, C., Chan, Y. M. & 78 others, Christensen, M., Cleland, C. A., Copeland, A., Dalin, E., Dehal, P., Denys, M., Detter, J. C., Escobar, J., Flowers, D., Fotopulos, D., Garcia, C., Georgescu, A. M., Glavina, T., Gomez, M., Gonzales, E., Groza, M., Hammon, N., Hawkins, T., Haydu, L., Ho, I., Huang, W., Israni, S., Jett, J., Kadner, K., Kimball, H., Kobayashi, A., Larionov, V., Leem, S-H., Lopez, F., Lou, Y., Lowry, S., Malfatti, S., Martinez, D., McCready, P., Medina, C., Morgan, J., Nelson, K., Nolan, M., Ovcharenko, I., Pitluck, S., Pollard, M., Popkie, A. P., Predki, P., Quan, G., Ramirez, L., Rash, S., Retterer, J., Rodriguez, A., Rogers, S., Salamov, A., Salazar, A., She, X., Smith, D., Slezak, T., Solovyev, V., Thayer, N., Tice, H., Tsai, M., Ustaszewska, A., Vo, N., Wagner, M., Wheeler, J., Wu, K., Xie, G., Yang, J., Dubchak, I., Furey, T. S., DeJong, P., Dickson, M., Gordon, D., Eichler, E. E., Pennacchio, L. A., Richardson, P., Stubbs, L., Rokhsar, D. S., Myers, R. M., Rubin, E. M. & Lucas, S. M., 1 Apr 2004, In: Nature. 428, 6982, p. 529-35 7 p.

    Research output: Contribution to journalArticlepeer-review

  238. Published

    Community structure and metabolism through reconstruction of microbial genomes from the environment

    Tyson, G. W., Chapman, J., Hugenholtz, P., Allen, E. E., Ram, R. J., Richardson, P. M., Solovyev, V. V., Rubin, E. M., Rokhsar, D. S. & Banfield, J. F., 4 Mar 2004, In: Nature. 428, 6978, p. 37-43 7 p.

    Research output: Contribution to journalArticlepeer-review

  239. Published

    Loss functions, complexities, and the Legendre transformation

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 17 Feb 2004, In: Theoretical Computer Science. 313, 2, p. 195-207 13 p.

    Research output: Contribution to journalArticlepeer-review

  240. Published

    Making a tournament k-arc-strong by reversing or deorienting arcs

    Bang-Jensen, J. & Yeo, A., 15 Feb 2004, In: Discrete Applied Mathematics. 136, 2-3, p. 161-171

    Research output: Contribution to journalArticlepeer-review

  241. Published

    An architectural approach to mobility - The handover case study

    Oliveira, C., Wermelinger, M., Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). p. 305-308 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  242. Published

    Community on the move: Architectures for distribution and mobility

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, In: Lecture Notes in Computer Science. 3188, p. 177-196 20 p.

    Research output: Contribution to journalArticlepeer-review

  243. Published

    Composition contracts for service interaction

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2004, In: Journal of Universal Computer Science. 10, 4, p. 375-390 16 p.

    Research output: Contribution to journalArticlepeer-review

  244. Published

    Enhancing dependability through flexible adaptation to changing requirements

    Wermelinger, M., Koutsoukos, G., Lourenço, H., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2004, In: Lecture Notes in Computer Science. 3069, p. 3-24 22 p.

    Research output: Contribution to journalArticlepeer-review

  245. Published

    Problem frames: A case for coordination

    Barroca, L., Jackson, M., Laney, R., Nuseibeh, B. & Fiadeiro, J. L., 1 Jan 2004, In: Lecture Notes in Computer Science. 2949, p. 5-19 15 p.

    Research output: Contribution to journalArticlepeer-review

  246. Published

    Supermodular Functions and the Complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 1 Jan 2004.

    Research output: Working paper

  247. Published

    Towards an architectural approach to location-aware business processes

    Aoumeur, N., Fiadeiro, J. & Oliveira, C., 1 Jan 2004, 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), Infrastructure for Collaborative Enterprises. Vol. 13. p. 147-152 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  248. Published

    A complete characterization of complexity for Boolean constraint optimization problems

    Cohen, D., Cooper, M. & Jeavons, P., 2004, p. 212-226.

    Research output: Contribution to conferencePaper

  249. Published

    A criterion for the existence of predictive complexity for binary games

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2004, Proceedings of the Fifteenth International Conference on Algorithmic Learning Theory. Ben-David, S., Case, J. & Maruoka, A. (eds.). Heidelberg: Springer, Vol. 3244. p. 249-263 15 p. (Lecture Notes in Artificial Intelligence; vol. 3244).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  250. Published

    A dialectic architecture for computational autonomy

    Witkowski, M. & Stathis, K., 2004, Agents and computational autonomy: potential, risks, and solutions. Springer-Verlag, Vol. 2969. p. 261-273 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  251. Published

    A maximal tractable class of soft constraints

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2004, In: Journal of Artificial Intelligence Research. 22, p. 1-22

    Research output: Contribution to journalArticlepeer-review

  252. Unpublished

    A Modular Hierarchy of Logical Frameworks

    Adams, R., 2004, (Unpublished) 254 p.

    Research output: ThesisDoctoral Thesis

  253. Published

    A Modular Hierarchy of Logical Frameworks

    Adams, R., 2004, Types for Proofs and Programs. Berardi, S., Coppo, M. & Damiani, F. (eds.). Springer, Vol. 3085. p. 1-16 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  254. Published

    Algorithms with large domination ratio

    Alon, N., Gutin, G. & Krivelevich, M., 2004, In: Journal of Algorithms. 50, 1, p. 118-131

    Research output: Contribution to journalArticle

  255. Published

    An agent development framework based on social positions

    Lekeas, G. & Stathis, K., 2004, p. 5461-5466. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  256. Published

    Byzantine disk Paxos: Optimal resilience with byzantine shared memory

    Abraham, I., Chockler, G. V., Keidar, I. & Malkhi, D., 2004, Proceedings of the 23rd Annual ACM SIGACT-SIGOPS Symposium on. Principles of Distributed Computing (PODC 2004). ACM, p. 226-235 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  257. Published

    Coercions in Hindley-Milner systems

    Kießling, R. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  258. Published

    Combining incoherent coercions for Sigma-types

    Luo, Y. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  259. Published

    Declarative agent control

    Kakas, A., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., 2004, Computational Logic in Multi-agent Systems (CLIMA 2004). Springer-Verlag, Vol. 3487. p. 96-110 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  260. Published

    Dynamic data integration using web services

    Zhu, F., Turner, M., Kotsiopoulos, I., Bennett, K., Russell, M., Budgen, D., Brereton, P., Keane, J., Layzell, P., Rigby, M. & Xu, J., 2004, IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 262-269 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  261. Published

    Dynamic Data Integration Using Web Services

    Zhu, F., Turner, M., Kotsiopoulos, I., Bennett, K., Russell, M., Budgen, D., Brereton, P., Keane, J., Layzell, P., Rigby, M. & Xu, J., 2004, ICWS 2004, San Diego, July 2004. IEEE Computer Society Press, p. 262-269 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  262. Published

    Event dissemination in mobile wireless sensor networks

    Taherian, S., O'Keeffe, D. & Bacon, J., 2004, 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, Fort Lauderdale, FL, USA, October 25-27, 2004. p. 573-575 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  263. Published

    Exact algorithms for finding minimum transversals in rank-3 hypergraphs

    Wahlström, M., 2004, In: Journal of Algorithms. 51, 2, p. 107-121 15 p.

    Research output: Contribution to journalArticlepeer-review

  264. Published

    Generalised Parsing: Some Costs

    Johnstone, A., Scott, E. & Economopoulos, G., 2004, In: Lecture Notes in Computer Science. 2985, p. 89-103 15 p.

    Research output: Contribution to journalArticlepeer-review

  265. Published

    Identifying DNA-binding proteins using structural motifs and the electrostatic potential

    Shanahan, H. P., Garcia, M. A., Jones, S. & Thornton, J. M., 2004, In: Nucleic Acids Research. 32, 16, p. 4732-4741 10 p.

    Research output: Contribution to journalArticlepeer-review

  266. Published

    Information spcaes

    Murtagh, F., 2004, Encyclopedia of Human-Computer Interaction. Berkshire, p. 371-376

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  267. Published

    Multiband segmentation based on a hierarchical Markov model

    Murtagh, F. & Collet, C., 2004, In: Pattern Recognition. 37, 12, p. 2337-2347

    Research output: Contribution to journalArticle

  268. Published

    Negotiation in Service Oriented Environments

    Elfatatry, A. & Layzell, P., 2004, In: Communications of the ACM. 47, 8, p. 103-108 6 p.

    Research output: Contribution to journalArticlepeer-review

  269. Published

    New Insights on Architectural Connectors

    Bruni, R., Fiadeiro, J. L., Lanese, I., Lopes, A. & Montanari, U., 2004, IFIP TCS. Kluwer, p. 367-380 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  270. Published

    On the number of quasi-kernels in digraphs

    Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2004, In: Journal of Graph Theory. 46, 1, p. 48-56

    Research output: Contribution to journalArticlepeer-review

  271. Published

    On-line Prediction with Kernels and the Complexity Approximation Principle

    Gammerman, A., Kalnishkan, Y. & Vovk, V., 2004, Uncertainty in Artificial Intelligence, Proceedings of the Twentieth Conference. Chickering, M. & Halpern, J. (eds.). AUAI Press, p. 170-176

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  272. Published

    Partially Distribution-Free Learning of Regular Languages from Positive Samples

    Clark, A. & Thollard, F., 2004, Proceedings of COLING. p. 85-91

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  273. Published

    Qualified predictions for proteomics pattern diagnostics with confidence machines

    Luo, Z., Bellotti, T. & Gammerman, A., 2004, Lecture Notes in Computer Science . Vol. 3177. p. 46-51

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  274. Published

    Quantifying ultrametricity

    Murtagh, F. & Antoch, J. (ed.), 2004, Compstat 2004: Proceedings in Computational Statistics. Berlin: Springer-Verlag, p. 1561-1568

    Research output: Chapter in Book/Report/Conference proceedingChapter

  275. Published

    Self-calibrating probability forecasting

    Vovk, V., Shafer, G. & Nouretdinov, I., 2004, Advances in Neural Information Processing Systems. Thrun, S., Saul, L. & Schoelkopf, B. (eds.). Cambridge, MA: MIT Press, Vol. 16. p. 1133-1140 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  276. Published

    Static Checkers for Tree Structures and Heaps

    Hague, M., 2004

    Research output: ThesisMaster's Thesis

  277. Published

    Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis

    Johnstone, A. & Scott, E., 2004, In: Lecture Notes in Computer Science. 3199, p. 92-106 15 p.

    Research output: Contribution to journalArticlepeer-review

  278. Published

    The Apriori Stochastic Dependency Detection (ASDD) algorithm for learning Stochastic logic rules

    Child, C. & Stathis, K., 2004, Computational logic in multi-agent systems (CLIMA 2004). Springer-Verlag, Vol. 3259. p. 234-249 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  279. Published

    The KGP model of Agency

    Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., 2004, p. 33--37.

    Research output: Contribution to conferencePaperpeer-review

  280. Published

    Thinking ultrametrically

    Murtagh, F., Banks, D. (ed.), House, L. (ed.), McMorris, F. R. (ed.), Arabie, P. (ed.) & Gaul, W. (ed.), 2004, Classification, Clustering, and Data Mining Applications. Berlin: Springer-Verlag, p. 3-14 (Studies in Classification, Data Analysis & Knowledge Organization).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  281. Published

    Tractable Decision for a Constraint Language Implies Tractable Search

    Cohen, D. A., 2004, In: Constraints. 9, 3, p. 219-229 11 p.

    Research output: Contribution to journalArticlepeer-review

  282. Published

    Unraveling the complexities of interdisciplinary software engineering

    Mehandjiev, N., Layzell, P. & Brereton, P., 2004, ELEVENTH ANNUAL INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 214-221 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  283. Published

    Using web service technologies to create an information broker: An experience report

    Turner, M., Zhu, F. J., Kotsiopoulos, I., Russell, M., Budgen, D., Bennett, K., Brereton, P., Keane, J., Layzell, P. & Rigby, M., 2004, In: ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. p. 552-561 10 p.

    Research output: Contribution to journalArticlepeer-review

  284. Published

    Using Web Service Technologies to Create and Information Broker

    Turner, M., Zhu, F., Kotsiopoulos, I., Russell, M., Bennett, K., Brereton, P., Keane, J., Layzell, P. & Rigby, M., 2004, IEEE/ACM International Conference on Software Engineering ICSE 2004, Edinburgh, May 2004. p. 552-562 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  285. Published

    When n-cycles in n-partite tournaments are longest cycles.

    Gutin, G. & Rafiey, A., 2004, In: Discrete Mathematics. 289, 1-3, p. 163-168

    Research output: Contribution to journalArticlepeer-review

  286. Published

    When the greedy algorithm fails

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2004, In: Discrete Optimization. 1, 2, p. 121-127

    Research output: Contribution to journalArticlepeer-review

  287. 2003
  288. Published

    Using electrostatic potentials to predict DNA-binding sites on DNA-binding proteins

    Jones, S., Shanahan, H. P., Berman, H. M. & Thornton, J. M., 15 Dec 2003, In: Nucleic Acids Research. 31, 24, p. 7189-7198 10 p.

    Research output: Contribution to journalArticlepeer-review

  289. Published

    Decision Boundaries Using Bayes Factors: The Case of Cloud Masks

    Murtagh, F., Barreto, D. & Marcello, J., Dec 2003, In: IEEE Transactions on Geoscience and Remote Sensing. 41, 12, p. 2952-2958 6 p.

    Research output: Contribution to journalArticle

  290. Published

    Information Processing Letters: Foreword

    Fiadeiro, J. L., Madey, J. & Tarlecki, A., 17 Oct 2003, In: Information Processing Letters. 88, 1-2, p. 1-2 2 p.

    Research output: Contribution to journalEditorialpeer-review

  291. Published

    Sequence alignment kernel for recognition of promoter regions

    Gordon, L., Chervonenkis, A. Y., Gammerman, A. J., Shahmuradov, I. A. & Solovyev, V. V., 12 Oct 2003, In: Bioinformatics. 19, 15, p. 1964-1971 8 p.

    Research output: Contribution to journalArticlepeer-review

  292. Published
  293. Published

    PromH: promoters identification using orthologous genomic sequences

    Solovyev, V. V. & Shahmuradov, I. A., 1 Jul 2003, In: Nucleic Acids Research. 31, 13, p. 3540-3545 6 p.

    Research output: Contribution to journalArticlepeer-review

  294. Published

    Abundance of plastid DNA insertions in nuclear genomes of rice and Arabidopsis

    Shahmuradov, I. A., Akbarova, Y. Y., Solovyev, V. V. & Aliyev, J. A., Jul 2003, In: Plant Molecular Biology. 52, 5, p. 923-934 12 p.

    Research output: Contribution to journalArticlepeer-review

  295. Published

    Socio-Cognitive Grids: The Net as a Universal Human Resource

    Bruijn, O. D. & Stathis, K., 1 Jun 2003, Proceedings of the Conference of ``Tales of the Disappearing Computer".

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  296. Published

    Good randomized sequential probability forecasting is always possible

    Vovk, V. & Shafer, G., Jun 2003, (The Game-Theoretic Probability and Finance project).

    Research output: Working paper

  297. Published

    Gray and color image contrast enhancement by the curvelet transform

    Murtagh, F., Starck, J. L., Candes, E. J. & Donoho, D. L., Jun 2003, In: IEEE Transactions on Image Processing. 12, 6, p. 706-717

    Research output: Contribution to journalArticle

  298. Published

    Probability forecasting in on-line compression models

    Vovk, V., Jun 2003.

    Research output: Working paper

  299. Published

    On the composability of consistency conditions

    Friedman, R., Vitenberg, R. & Chockler, G., 31 May 2003, In: Information Processing Letters. 86, 4, p. 169-176 8 p.

    Research output: Contribution to journalArticlepeer-review

  300. Published

    Bayes factors for edge detection from wavelet product spaces

    Murtagh, F. & Starck, J. L., May 2003, In: Optical Engineering. 42, p. 1375-1382

    Research output: Contribution to journalArticle

  301. Published

    Well-calibrated predictions from on-line compression models

    Vovk, V., 1 Apr 2003, (On-line Compression Modelling project, http://vovk.net/kp).

    Research output: Working paper

  302. Published

    Criterion of calibration for Transductive Confidence Machine with limited feedback

    Nouretdinov, I. & Vovk, V., Apr 2003, (On-line Compression Modelling project, http://vovk.net/kp).

    Research output: Working paper

  303. Published

    Light hadron spectroscopy with two flavors of dynamical quarks on the lattice (vol 65, art no 054505, 2002)

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Mar 2003, In: Physical Review D . 67, 5, p. - 6 p.

    Research output: Contribution to journalArticlepeer-review

  304. Published

    Mondrian Condence Machine

    Vovk, V., Lindsay, D., Nouretdinov, I. & Gammerman, A., Mar 2003, (On-line Compression Modelling project).

    Research output: Working paper

  305. Published

    Mondrian Confidence Machine

    Vovk, V., Lindsay, D., Nouretdinov, I. & Gammerman, A., Mar 2003, (On-line Compression Modelling project).

    Research output: Working paper

  306. Published

    Online region prediction with real teachers

    Ryabko, D., Vovk, V. & Gammerman, A., Mar 2003, (On-line Compression Modelling project).

    Research output: Working paper

  307. Published

    Generalised Regular Parsers

    Johnstone, A. & Scott, E., 28 Feb 2003, In: Lecture Notes in Computer Science. 2622, p. 232-246 15 p.

    Research output: Contribution to journalArticlepeer-review

  308. Published

    Light hadron spectrum and quark masses from quenched lattice QCD

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Feb 2003, In: Physical Review D . 67, 3, p. - 46 p.

    Research output: Contribution to journalArticlepeer-review

  309. Published

    Testing Exchangeability On-line

    Vovk, V., Nouretdinov, I. & Gammerman, A., Feb 2003, (On-line Compression Modelling project).

    Research output: Working paper

  310. Published

    Erratum: Dynamical quark effects on light quark masses (vol 85, pg 4674, 2000)

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 17 Jan 2003, In: Physical Review Letters. 90, 2, p. - 2 p.

    Research output: Contribution to journalArticlepeer-review

  311. Published

    A data-centric approach for scalable state machine replication

    Chockler, G., Malkhi, D. & Dolev, D., 1 Jan 2003, In: Lecture Notes in Computer Science. 2584, p. 159-163 5 p.

    Research output: Contribution to journalArticlepeer-review

  312. Published

    A Mathematical Semantics for Architectural Connectors

    Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 1 Jan 2003, In: Lecture Notes in Computer Science. 2793, p. 178-221 44 p.

    Research output: Contribution to journalArticlepeer-review

  313. Published

    AGILE: Software Architecture for Mobility

    Andrade, L., Baldan, P., Baumeister, H., Corradini, A., De Nicola, R., Fiadeiro, J. L., Gadducci, F., Gnesi, S., Hoffman, P., P., K., Kosiuczenko, H., Lapadula, P., Latella, F., Lopes, M., Loreti, N., Massink, A., Mazzanti, M., Montanari, F., Oliveira, F., Pugliese, R. & 5 others, Tarlecki, M., Wermelinger, U., Wirsing, R., Zawlocki, M. & Bruni, A., 1 Jan 2003, In: Lecture Notes in Computer Science. 2755, p. 1-33 33 p.

    Research output: Contribution to journalArticlepeer-review

  314. Published

    Aquarius: A data-centric approach to CORBA fault-tolerance

    Chockler, G., Malkhi, D., Merimovich, B. & Rabinowitz, D., 1 Jan 2003, In: Lecture Notes in Computer Science. 2889, p. 885-898 14 p.

    Research output: Contribution to journalArticlepeer-review

  315. Published

    Architecture based evolution of software systems

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2804, p. 148-181 34 p.

    Research output: Contribution to journalArticlepeer-review

  316. Published

    Coordination technologies for just-in-time integration

    Fiadeiro, J. L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2757, p. 308-321 14 p.

    Research output: Contribution to journalArticlepeer-review

  317. Published

    Evolving requirements through coordination contracts

    Moreira, A., Fiadeiro, J. L. & Andrade, L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2681, p. 633-646 14 p.

    Research output: Contribution to journalArticlepeer-review

  318. Published

    Higher-order architectural connectors

    Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 1 Jan 2003, In: ACM Transactions on Software Engineering and Methodology. 12, 1, p. 64-104 41 p.

    Research output: Contribution to journalArticlepeer-review

  319. Published

    On how distribution and mobility interfere with coordination

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2755, p. 343-358 16 p.

    Research output: Contribution to journalArticlepeer-review

  320. Published

    PlantProm: a database of plant promoter sequences

    Shahmuradov, I. A., Gammerman, A. J., Hancock, J. M., Bramley, P. M. & Solovyev, V. V., 1 Jan 2003, In: Nucleic Acids Research. 31, 1, p. 114-117 4 p.

    Research output: Contribution to journalArticlepeer-review

  321. Published

    A game-theoretic explanation of the $dt$ effect

    Vovk, V. & Shafer, G., Jan 2003, (The Game-Theoretic Probability and Finance project, http://probabilityandfinance.com).

    Research output: Working paper

  322. Published

    Intelligence and interaction in community-based systems (Part 2)

    Stathis, K. & Purcell, P., Jan 2003, In: Interacting with Computers. 15, 1, p. 13 3 p.

    Research output: Contribution to journalEditorialpeer-review

  323. Published

    A Broker Architecture for Integrating data Using a Web Services Environment

    Bennett, K. H., Gold, N. E., Layzell, P. J., Zhu, F., Brereton, O. P., Budgen, D., Keane, J., Kotsiopoulos, I., Turner, M., Xu, J., Almilaji, O., Chen, J. C. & Owrak, A., 2003, 1st International Conference on Service-Oriented Computing, 15-18 December 2003, Trento, Italy. Orlowska, M. E., Weerawarana, S., Papazolglou, M. P. & Yang, J. (eds.). Berlin: Springer-Verlag, p. 409-422 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  324. Published

    A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure

    Cohen, D. A., 2003, p. 807-811.

    Research output: Contribution to conferencePaper

  325. Published

    Access-as-you-need: A computational logic framework for accessing resources in artificial societies

    Toni, F. & Stathis, K., 2003, p. 126-140. 15 p.

    Research output: Contribution to conferencePaperpeer-review

  326. Published

    An integrated gene annotation and transcriptional profiling approach towards the full gene content of the Drosophila genome

    Hild, M., Beckmann, B., Haas, S. A., Koch, B., Solovyev, V., Busold, C., Fellenberg, K., Boutros, M., Vingron, M., Sauer, F., Hoheisel, J. D. & Paro, R., 2003, In: Genome Biology. 5, 1, p. R3

    Research output: Contribution to journalArticlepeer-review

  327. Published

    Analysis of the biosynthetic gene cluster for the polyether antibiotic monensin in Streptomyces cinnamonensis and evidence for the role of monB and monC genes in oxidative cyclization

    Oliynyk, M., Stark, C. B., Bhatt, A., Jones, MA., Hughes-Thomas, Z. A., Wilkinson, C., Oliynyk, Z., Demydchuk, Y., Staunton, J. & Leadlay, P. F., 2003, In: Mol Microbiol. 49, 5, p. 1179-90 12 p.

    Research output: Contribution to journalArticlepeer-review

  328. Published

    Assignment problem based algorithms are impractical for the generalized TSP

    Gutin, G. & Yeo, A., 2003, In: Australasian Journal of Combinatorics. 27, p. 149-154

    Research output: Contribution to journalArticlepeer-review

  329. Published

    Combining Distributional and Morphological Information for Part of Speech Induction

    Clark, A., 2003, Proceedings of the tenth Annual Meeting of the {European Association for Computational Linguistics: EACL-03. p. 59--66

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  330. Published

    Competent agents and customising protocols

    Endriss, U., Lu, W. J., Maudet, N. & Stathis, K., 2003, Engineering societies in the agents world IV. Springer-Verlag, Vol. 3071. p. 168-181 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  331. Published

    Coordination for Distributed Business Systems

    Andrade, L. F., Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 2003, CAiSE Workshops. CEUR-WS.org, Vol. 75. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  332. Published

    Criterion of calibration for transductive confidence machine with limited feedback

    Nouretdinov, I. & Vovk, V., 2003, Lecture Notes in Articial Intelligence. Vol. 2842. p. 259-267 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  333. Published

    Domination Analysis of Combinatorial Optimization Problems

    Gutin, G., Vainshtein, A. & Yeo, A., 2003, In: Discrete Applied Mathematics. 129, p. 513-520 8 p.

    Research output: Contribution to journalArticlepeer-review

  334. Published

    Facilitating program comprehension by mining association rules from source code

    Tjortjis, C., Sinos, L. & Layzell, P., 2003, 11th IEEE International Workshop on Program Comprehension, Portland, USA, May 2003. p. 125-132 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  335. Published

    How many strings are easy to predict?

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2003, In: ALGORITHMIC NUMBER THEORY, PRCEEDINGS. 2777, p. 522-536 15 p.

    Research output: Contribution to journalArticlepeer-review

  336. Published

    Hypergraphical on-line compression models

    Vovk, V., 2003.

    Research output: Working paper

  337. Published

    IBHIS: Integration Broker for Heterogeneous Information Sources

    Kotsiopoulos, I., Keane, J., Turner, M., Layzell, P. & Zhu, F., 2003, Proc. IEEE COMPSAC 2003, November 2003. p. 378-384 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  338. Published

    Independence and Cliques

    Gutin, G., 2003, Handbook of Graph Theory. Gross, J. & Yellen, J. (eds.). 25 ed. (Discrete Mathematics and Its Applications; no. 25).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  339. Published

    Interactive visual user interfaces: a survey

    Murtagh, F., Taskaya, T., Contreras, P. & Mothe, J., 2003, In: Artificial Intelligence Review. 19, 4, p. 263-283

    Research output: Contribution to journalArticle

  340. Published

    Kolmogorov's contributions to the foundations of probability

    Vovk, V. & Shafer, G., 2003, In: Problems of Information Transmission. 39, p. 21-31 11 p.

    Research output: Contribution to journalArticlepeer-review

  341. Published

    Markov analysis of protein sequence similarities

    Chennubhotla, C. & Paccanaro, A., 2003, Lecture Notes in Computer Science. Springer, Vol. 2859. p. 278-286

    Research output: Chapter in Book/Report/Conference proceedingChapter

  342. Published

    Natural Language Queries on Natural Language Data: a Database of Meeting Dialogues

    Armstrong, S., Clark, A., Coray, G., Georgescul, M., Pallotta, V., Popescu-Belis, A., Portabella, D., Rajman, M. & Starlander, M., 2003.

    Research output: Contribution to conferencePaperpeer-review

  343. Published

    New Tractable Classes From Old

    Cohen, D., Jeavons, P. & Gault, R., 2003, p. 263-282.

    Research output: Contribution to conferencePaper

  344. Published

    Packing paths in digraphs

    Brewster, R. C., Hell, P., Pantel, S. H., Rizzi, R. & Yeo, A., 2003, In: Journal of Graph Theory. 44, 2, p. 81-158 78 p.

    Research output: Contribution to journalArticlepeer-review

  345. Published

    PAL+: a lambda-free logical framework

    Luo, Z., 2003, In: Journal of Functional Programming. 13, 2, p. 317-338 22 p.

    Research output: Contribution to journalArticlepeer-review

  346. Published

    Pre-processing very noisy text

    Clark, A., 2003.

    Research output: Contribution to conferencePaper

  347. Published

    Process Planning for Rotational Parts and the Generalized Travelling Salesman Problem

    Ben-Arieh, D., Gutin, G., Penn, M., Yeo, A. & Zverovich, A., 2003, In: International Journal of Production Research. 41, p. 2581-2596 16 p.

    Research output: Contribution to journalArticlepeer-review

  348. Published

    Quantization from Bayes factors with application to multilevel thresholding

    Murtagh, F. & Starck, J. L., 2003, In: Pattern Recognition Letters. 24, 12, p. 2001-2007

    Research output: Contribution to journalArticle

  349. Published

    Small degree out-branching

    Bang-Jensen, J., Thomasse, S. & Yeo, A., 2003, In: Journal of Graph Theory. 42, 4, p. 297-307 11 p.

    Research output: Contribution to journalArticlepeer-review

  350. Published

    Soft constraints: complexity and multimorphsims

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2003, p. 244-258.

    Research output: Contribution to conferencePaper

  351. Published

    Steiner type problems for digraphs that are locally semicomplete or extended semicomplete

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2003, In: Journal of Graph Theory. 44, 3, p. 191-207 17 p.

    Research output: Contribution to journalArticlepeer-review

  352. Published

    Strongly Connected Spanning Subgraphs with the Minimum Number of Arcs in Quasi-transitive Digraphs

    Bang-Jensen, J., Huang, J. & Yeo, A., 2003, In: SIAM Journal on Discrete Mathematics. 16, 2, p. 335-343 9 p.

    Research output: Contribution to journalArticlepeer-review

  353. Published

    Testing exchangeability on-line

    Vovk, V., Nouretdinov, I. & Gammerman, A., 2003, Proceedings of the Twentieth International Conference on Machine Learning. Fawcett, T. & Mishra, N. (eds.). Menlo Park, CA: AAAI Press, p. 768-775

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  354. Published

    The sources of Kolmogorov's Grundbegriffe

    Shafer, G. & Vovk, V., 2003, p. 553-554. 2 p.

    Research output: Contribution to conferenceAbstractpeer-review

  355. Published

    Tractability by Approximating Constraint Languages

    Green, M. J. & Cohen, D. A., 2003.

    Research output: Contribution to conferencePaper

  356. Published

    Transductive Confidence Machine is universal

    Nouretdinov, I., Vyugin, V. & Gammerman, A., 2003, Lecture Notes in Artificial Intelligence. Springer, Vol. 2842. p. 283-297 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  357. Published

    Transformations of generalized ATSP into ATSP

    Gutin, G., Ben-Arieh, D., Penn, M., Yeo, A. & Zverovitch, A., 2003, In: Operations Research Letters. 31, 5, p. 357-365

    Research output: Contribution to journalArticlepeer-review

  358. Published

    Universal well-calibrated algorithm for on-line classification

    Vovk, V., 2003, Proceedings of the Sixteenth Annual Conference on Learning Theory and Seventh Kernel Workshop. Scholkopf, B. & Warmuth, M. K. (eds.). p. 358-372 15 p. (Lecture Notes in Artificial Intelligence; vol. 2777).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  359. Published

    Unraveling the Complexities of Interdisciplinary Software Engineering

    Mehandjiev, N., Layzell, P. & Brereton, P., 2003, Proc. IEEE/IWCASE STEP 2003, Amsterdam, September 2003. IEEE Computer Society Press, p. 214-219 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  360. Published

    Upper bounds on ATSP neighborhood size.

    Gutin, G. & Yeo, A., 2003, In: Discrete Applied Mathematics. 129, 2-3, p. 533-538

    Research output: Contribution to journalArticlepeer-review

  361. Published

    Weak Transitivity in Coercive Subtyping

    Luo, Y., Luo, Z. & Soloviev, S., 2003, Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. p. 220--239

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  362. Published

    Well-calibrated predictions from online compression models

    Vovk, V., 2003, Proceedings of the Fourteenth International Conference on Algorithmic Learning Theory. Gavalda, R., Jantke, K. & Takimoto, E. (eds.). Berlin: Springer, p. 268-282 15 p. (Lecture Notes in Artificial Intelligence; vol. 2842).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  363. 2002
  364. Published

    Reinforcement Learning

    Watkins, C. & Dayan, P., 1 Dec 2002, Encyclopaedia of Cognitive Science. Nadel, L. (ed.). Wiley-Blackwell

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  365. Published

    Intelligence and interaction in community-based systems

    Stathis, K. & Purcell, P., Dec 2002, In: Interacting with Computers. 14, 6, p. 639-642 4 p.

    Research output: Contribution to journalEditorialpeer-review

  366. Published

    Superposition: Composition vs refinement of non-deterministic, action-based systems

    Lopes, A. & Fiadeiro, J. L., 1 Nov 2002, In: Electronic Notes in Theoretical Computer Science. 70, 3, p. 352-366 15 p.

    Research output: Contribution to journalArticlepeer-review

  367. Published

    Architectural primitives for distribution and mobility

    Lopes, A., Fiadeiro, J. L. & Wermelinger, M., Nov 2002, In: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering . 27, 6, p. 41-50 10 p.

    Research output: Contribution to journalArticlepeer-review

  368. Published
  369. Published

    Prediction algorithms and confidence measures based on algorithmic randomness theory

    Gammerman, A. & Vovk, V., 25 Sep 2002, In: Theoretical Computer Science. 287, 1, p. 209-217 9 p.

    Research output: Contribution to journalArticlepeer-review

  370. Published

    Theoretical Computer Science: Preface

    Fiadeiro, J. L., 17 Sep 2002, In: Theoretical Computer Science. 286, 2, p. 151 1 p.

    Research output: Contribution to journalEditorialpeer-review

  371. Published

    Agility through coordination

    Andrade, L. F. & Fiadeiro, J. L., 1 Sep 2002, In: Information Systems Management. 27, 6, p. 411-424 14 p.

    Research output: Contribution to journalArticlepeer-review

  372. Published

    Separating computation, coordination and configuration

    Andrade, L., Fiadeiro, J. L., Gouveia, J. & Koutsoukos, G., 1 Sep 2002, In: Journal of Software Maintenance and Evolution. 14, 5, p. 353-369 17 p.

    Research output: Contribution to journalArticlepeer-review

  373. Published

    A graph transformation approach to software architecture reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1 Jul 2002, In: Science of Computer Programming. 44, 2, p. 133-155 23 p.

    Research output: Contribution to journalArticlepeer-review

  374. Published

    On local modularity and interpolation in entailment systems

    Veloso, P. A. S., Fiadeiro, J. L. & Veloso, S. R. M., 31 May 2002, In: Information Processing Letters. 82, 4, p. 203-211 9 p.

    Research output: Contribution to journalArticlepeer-review

  375. Published

    Two Operators on the Lattice of Completely Regular Semigroup Varieties

    Yang, H., 1 May 2002, In: Semigroup Forum. 64, 3, p. 397-424 28 p.

    Research output: Contribution to journalArticlepeer-review

  376. Published

    Asymptotic optimality of Transductive Confidence Machine

    Vovk, V., May 2002, (On-line Compression Modelling project).

    Research output: Working paper

  377. Published

    On-line Confidence Machines are well-calibrated

    Vovk, V., Apr 2002.

    Research output: Working paper

  378. Published

    Light hadron spectroscopy with two flavors of dynamical quarks on the lattice

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Mar 2002, In: Physical Review D . 65, 5, p. - 50 p.

    Research output: Contribution to journalArticlepeer-review

  379. Published

    Generalised reduction modified LR parsing for domain specific language prototyping

    Johnstone, A. & Scott, E., 7 Jan 2002, p. 3666-3675 . 1 p.

    Research output: Contribution to conferencePaper

  380. Published

    THE PEDANT HUMAN GENOME DATABASE — FUNCTIONAL ANNOTATION OF THE HUMAN GENOME

    Schüller, C. M. E., Geier, B., Fritz, A., Salamov, A., Seledsov, I., Solovyev, V. & Frishman, D., 2 Jan 2002, In: TheScientificWorldJOURNAL. 2, p. 82-83 2 p.

    Research output: Contribution to journalArticlepeer-review

  381. Published

    Active Disk Paxos with infinitely many processes

    Chockler, G. & Malkhi, D., 1 Jan 2002, Proceedings of the 21st Annual ACM Symposium on Principles of Distributed Computing (PODC 2002). p. 78-87 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  382. Published

    An Architectural Support for Self-Adaptive Software for Treating Faults

    De Lemos, R. & Fiadeiro, J. L., 1 Jan 2002, Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). p. 39-42 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  383. Published

    Coordination contracts for Java applications

    Gouveia, J., Koutsoukos, G., Wermelinger, M., Andrade, L. & Fiadeiro, J. L., 1 Jan 2002, In: ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. p. 714 1 p.

    Research output: Contribution to journalArticlepeer-review

  384. Published

    Evolving and Using Coordinated Systems

    Wermelinger, M., Fiadeiro, J. L., Andrade, L., Koutsoukos, G. & Gouveia, J., 1 Jan 2002, p. 43-47. 5 p.

    Research output: Contribution to conferencePaperpeer-review

  385. Published

    A Model for Selecting CSCW Technologies for Distributed Software Maintenance Teams in Virtual Organisations

    Tjortjis, C., Dafoulas, G., Layzell, P. J. & Macaulay, L. A., 2002, Proc. Twenty-Sixth Annual International Computer Software and Applications Conference (COMPSAC 02). IEEE Computer Society Press, p. 1104-1108 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  386. Published

    Adaptive wavelet eye-gaze based video compression

    Murtagh, F., Farid, M. & Kurugollu, F., 2002, In: Proceedings of the SPIE. 4877, p. 255-263

    Research output: Contribution to journalArticle

  387. Published

    Almost all almost regular c-partite tournaments with $c geq 5$ are vertex pancyclic

    Tewes, M., Volkmann, L. & Yeo, A., 2002, In: Discrete Mathematics. 242, 1-3, p. 201-228 28 p.

    Research output: Contribution to journalArticlepeer-review

  388. Published

    Almost minimum diameter orientations of semicomplete multipartitite and extended digraphs

    Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2002, In: Graphs and Combinatorics. 18, 3, p. 499-506 8 p.

    Research output: Contribution to journalArticlepeer-review

  389. Published

    Anti-matroids

    Gutin, G. & Yeo, A., 2002, In: Operations Research Letters. 30, 2, p. 97-99

    Research output: Contribution to journalArticlepeer-review

  390. Published

    Asymptotic optimality of transductive confidence machine

    Vovk, V., 2002, Lecture Notes in Articial Intelligence. Vol. 2533. p. 336-350 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  391. Published

    Bayesian model selection for spatial clustering in 3D surveys

    Murtagh, F., Donalek, C., Longo, G. & Tagliaferri, R., 2002, In: Proceedings of the SPIE. 4847, p. 391-401

    Research output: Contribution to journalArticle

  392. Published

    Bayesian segmentation and clustering for determining cloud mask images

    Murtagh, F., Barreto, D. & Marcello, J., 2002, In: Proceedings of the SPIE. 4877, p. 144-155

    Research output: Contribution to journalArticle

  393. Published

    Benchmarking segmentation results using a Markov model and a Bayes information criterion

    Murtagh, F., Qiao, X., Crookes, D., Walsh, P., Basheer, P. A. M. & Long, A., 2002, In: Proceedings of the SPIE. 4877, p. 248-254

    Research output: Contribution to journalArticle

  394. Published

    Clustering in massive data sets

    Murtagh, F., Abello, J. (ed.), Pardalos, P. M. (ed.) & Resende, M. G. C. (ed.), 2002, Handbook of Massive Data Sets. Norwell, MA, USA: Kluwer, p. 401-545

    Research output: Chapter in Book/Report/Conference proceedingChapter

  395. Published

    Coercion completion and conservativity in coercive subtyping

    Soloviev, S. & Luo, Z., 2002, In: Annals of Pure and Applied Logic. 113, 1-3, p. 297-322 26 p.

    Research output: Contribution to journalArticlepeer-review

  396. Published

    Computer display control and interaction using eye-gaze

    Murtagh, F., Farid, M. & Starck, J. L., 2002, In: Journal of the Society for Information Display. 10, 3, p. 289-293

    Research output: Contribution to journalArticle

  397. Published

    Conceptual Model for Generating Meaningful Test data Based on Permutation Methods

    Hameed, S., Derman, A., Hamdan, A. R. & Layzell, P. J., 2002, In: Asian Journal of Information Technology. 1, 1-4, p. 22-23 2 p.

    Research output: Contribution to journalArticlepeer-review

  398. Published

    Counting Satisfying Assignments in 2-SAT and 3-SAT

    Dahllöf, V., Jonsson, P. & Wahlström, M., 2002, COCOON. p. 535-543 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  399. Published

    Deconvolution in astronomy: a review

    Murtagh, F., Starck, J. L. & Pantin, E., 2002, In: Publications of the astronomical society of the pacific. 114, p. 1051-1069

    Research output: Contribution to journalArticle

  400. Published

    Distributed visual information management in astronomy

    Murtagh, F., Starck, J. L. & Louys, M., 2002, In: Computing in Science and Engineering. 4, 6, p. 14-23

    Research output: Contribution to journalArticle

  401. Published

    Experimental Analysis of Heuristics for the ATSP

    Gutin, G., Johnson, D. S., McGeoch, L., Yeo, A., Zhang, Q. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  402. Published

    Exponential Neighborhoods and Domination Analysis for the TSP

    Gutin, G., Yeo, A. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  403. Published

    Eye-movements and voice as interface modalities to computer systems

    Murtagh, F. & Farid, M., 2002, In: Proceedings of the SPIE. 4877, p. 115-125

    Research output: Contribution to journalArticle

  404. Published

    Finding genes by computer: probabilistic and discriminative approaches

    Solovyev, V., 2002, Current Topics in Computational Biology. Jiang, T., Smith, T., Xu, Y. & Zhang, M. (eds.). MIT Press, p. 365-401

    Research output: Chapter in Book/Report/Conference proceedingChapter

  405. Published

    From System Comprehension to Program Comprehension

    Tjortjis, C., Gold, N. E., Layzell, P. J. & Bennett, K. H., 2002, COMPSAC 2002, Oxford, UK, 2002.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  406. Published

    General linear relations among different types of predictive complexity

    Kalnishkan, Y., 2002, In: Theoretical Computer Science. 271, 1-2, p. 181-200

    Research output: Contribution to journalArticlepeer-review

  407. Published

    High-quality still images from video frame sequences

    Murtagh, F., Geradts, Z. & Rudin, L. I., 2002, In: Proceedings of the SPIE. 4709, p. 49-59

    Research output: Contribution to journalArticle

  408. Published

    Inductive Confidence Machine for pattern recognition

    Surkov, D., Gammerman, A. & Vovk, V., 2002, Proceedings of the ICDM 2002 Workshop on the Foundation of Data Mining and Knowledge Discovery. Lin, T. & Ohsuga, S. (eds.). Shimane Medical University, p. 249-255 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  409. Published

    Inductive confidence machines for regression

    Papadopoulos, H., Proedrou, K., Vovk, V. & Gammerman, A., 2002, Proceedings of the Thirteenth European Conference on Machine Learning. Elomaa, T., Mannila, H. & Toivonen, H. (eds.). London: Springer, p. 345-356 12 p. (Lecture Notes in Computer Science; vol. 2430).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  410. Published

    Living Memory: Agent-based Information Management for Connected Local Communities

    Stathis, K., de Bruijn, O. & Macedo, S., 2002, In: Interacting with Computers. 14, 6, p. 663-688

    Research output: Contribution to journalArticlepeer-review

  411. Published

    Memory-Based Learning of Morphology with Stochastic Transducers

    Clark, A., 2002, Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics (ACL). p. 513--520

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  412. Published

    Mixability and the Existence of Weak Complexities

    Kalnishkan, Y. & Vyugin, M., 2002, Computational Learning Theory, 15th Annual Conference on Computational Learning Theory, COLT 2002, Proceedings: volume 2375 of Lecture Notes in Artificial Intelligence. Springer, p. 105-120 (Lecture Notes in Artificial Intelligence; vol. 2375).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  413. Published

    Multiresolution filtering and segmentation of multispectral images

    Murtagh, F., Collet, C., Louys, M. & Starck, J. L., 2002, In: Proceedings of the SPIE. 4847, p. 354-361

    Research output: Contribution to journalArticle

  414. Published

    On the Absence of Predictive Complexity for Some Games

    Kalnishkan, Y. & Vyugin, M. V., 2002, Algorithmic Learning Theory 13th International Conference, ALT 2002, Proceedings: volume 2533 of Lecture Notes in Artificial Intelligence. Springer, (Lecture Notes in Artificial Intelligence; vol. 2533).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  415. Published

    On-line confidence machines are well-calibrated

    Vovk, V., 2002, Proceedings of the Forty Third Annual Symposium on Foundations of Computer Science. Los Alamitos, CA: IEEE Computer Society, p. 187-196 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  416. Published

    Orientations of digraphs almost preserving diameter

    Gutin, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 121, p. 129-138

    Research output: Contribution to journalArticlepeer-review

  417. Published

    Polynomial approximation algorithms for the TSP and QAP with a factorial domination number

    Gutin, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 119, 1-2, p. 107-116

    Research output: Contribution to journalArticlepeer-review

  418. Published

    Properties and Prediction of Protein Secondary Structure

    Solovyev, V. & Shindyalov, I. N., 2002, Current Topics in Computational Biology. Jiang, T., Smith, T., Xu, Y. & Zhang, M. (eds.). MIT Press, p. 201–248

    Research output: Chapter in Book/Report/Conference proceedingChapter

  419. Published

    Pushing Vertices in Digraphs Without Long Induced Cycles

    Huang, J., MacGillivray, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 121, 1-3, p. 181-192 12 p.

    Research output: Contribution to journalArticlepeer-review

  420. Published

    Qualified predictions for large data sets in the case of pattern recognition

    Papadopoulos, H., Vovk, V. & Gammerman, A., 2002, Proceedings of the International Conference on Machine Learning and Applications. Wani, M., Arabnia, H., Cios, K., Hafeez, K. & Kendall, G. (eds.). CSREA Press, p. 159-163 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  421. Published

    Semantic description of signal and image databases

    Murtagh, F., Contreras, P., Kokuer, M. & Louys, M., 2002, In: Proceedings of the SPIE. 4877, p. 230-237

    Research output: Contribution to journalArticle

  422. Published

    Software As A Service: A Negotiation Perspective

    Elfatatry, A. & Layzell, P. J., 2002, COMPSAC 2002, Oxford, UK, 2002.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  423. Published

    Structure, Properties and Computer Identification of Eukaryotic genes

    Solovyev, V., 2002, Bioinformatics from Genomes to Drugs. V.1. Basic Technologies. Lengauer, T. (ed.). p. 59-111

    Research output: Chapter in Book/Report/Conference proceedingChapter

  424. Published

    Text classification using string kernels

    Lodhi, H., Saunders, C., Shawe-Taylor, J., Cristianini, N. & Watkins, C., 2002, In: Journal of Machine Learning Research. 2, p. 444 1 p.

    Research output: Contribution to journalArticlepeer-review

  425. Published

    The Channel Capacity of Evolution: Ultimate Limits on the Amount of Information Maintainable in the Genome

    Watkins, C., 2002, Proceedings of the Third International Conference on Bioinformatics of Genome Regulation and Structure. Novisibirsk, Russia, Vol. 2. p. 58--60 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  426. Published

    Thirteen Knights and the Seven-headed Dragon: an Interdisciplinary Software Engineering Framework

    Mehandjiev, N., Layzell, P., Brereton, P., Mannion, M., Coallier, F. & Lewis, G., 2002, Proc. IEEE/IWCASE STEP 2002, Montreal, October 2002. IEEE Computer Society Press, p. 46-54 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  427. Published

    Transductive confidence machines for pattern recognition

    Proedrou, K., Nouretdinov, I., Vovk, V. & Gammerman, A., 2002, Proceedings of the Thirteenth European Conference on Machine Learning. Elomaa, T., Mannila, H. & Toivonen, H. (eds.). London: Springer, p. 381-390 10 p. (Lecture Notes in Computer Science; vol. 2430).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  428. Published

    Traveling salesman should not be greedy: domination analysis of greedy-type heuristics for the TSP

    Gutin, G., Yeo, A. & Zverovitch, A., 2002, In: Discrete Applied Mathematics. 117, 1-3, p. 81-86

    Research output: Contribution to journalArticlepeer-review

  429. Published

    Types for Proofs and Programs. Proc. of Inter. Conf. TYPES'2000, Durham, UK. LNCS 2277

    Callaghan, P. (ed.), Luo, Z. (ed.), McKinna, J. (ed.) & Pollack, R. (ed.), 2002, Springer.

    Research output: Book/ReportBook

  430. 2001
  431. Published
  432. Published

    Kaon B parameter from quenched domain-wall QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Dec 2001, In: Physical Review D . 6411, 11, p. - 21 p.

    Research output: Contribution to journalArticlepeer-review

  433. Published

    Topological susceptibility in lattice QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Dec 2001, In: Physical Review D . 6411, 11, p. - 10 p.

    Research output: Contribution to journalArticlepeer-review

  434. Published

    Group communication specifications: A comprehensive study

    Chockler, G. V., Keidar, I. & Vitenberg, R., Dec 2001, In: ACM Computing Surveys. 33, 4, p. 427-469 43 p.

    Research output: Contribution to journalArticlepeer-review

  435. Published

    Hybrid quarkonia with dynamical sea quarks

    Manke, T., Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Nov 2001, In: Physical Review D . 6409, 9, p. - 4 p.

    Research output: Contribution to journalArticlepeer-review

  436. Published

    The Game-Theoretic Capital Asset Pricing Model

    Vovk, V. & Shafer, G., 1 Nov 2001.

    Research output: Working paper

  437. Published

    Equation of state in finite-temperature QCD with two flavors of improved Wilson quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K. I., Okamoto, M., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & Yoshie, T., 1 Oct 2001, In: Physical Review D . 6407, 7, p. art. no.-074510 17 p.

    Research output: Contribution to journalArticlepeer-review

  438. Published

    B meson decay constants from two-flavor lattice QCD with nonrelativistic heavy quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Sep 2001, In: Physical Review D . 6405, 5, p. - 24 p.

    Research output: Contribution to journalArticlepeer-review

  439. Published

    Decay constants of B and D mesons from improved relativistic lattice QCD with two flavors of sea quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Aug 2001, In: Physical Review D . 6403, 3, p. - 17 p.

    Research output: Contribution to journalArticlepeer-review

  440. Published

    Competitive on-line statistics

    Vovk, V., Aug 2001, In: INTERNATIONAL STATISTICAL REVIEW. 69, 2, p. 213-248 36 p.

    Research output: Contribution to journalArticlepeer-review

  441. Published

    Learning Morphology with Pair Hidden Markov Models

    Clark, A., 1 Jul 2001, Proceedings of the Association for Computational Linguistics: Student Session. p. 55-60

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  442. Published

    Unsupervised Induction of Stochastic Context Free Grammars with Distributional Clustering

    Clark, A., 1 Jul 2001, Proc. of Conference on Computational Natural Language Learning. p. 105-112

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  443. Published

    Predicting nearly as well as the best pruning of a decision tree through dynamic programming scheme

    Takimoto, E., Maruoka, A. & Vovk, V., 17 Jun 2001, In: Theoretical Computer Science. 261, 1, p. 179-209 31 p.

    Research output: Contribution to journalArticlepeer-review

  444. Published

    Probability theory for the Brier game

    Vovk, V., 17 Jun 2001, In: Theoretical Computer Science. 261, 1, p. 57-79 23 p.

    Research output: Contribution to journalArticlepeer-review

  445. Published

    Chiral properties of domain-wall quarks in quenched QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & 2 others, Yoshie, T. & CP-PACS Collaboration, 1 Jun 2001, In: Physical Review D . 6311, 11, p. - 19 p.

    Research output: Contribution to journalArticlepeer-review

  446. Published

    Calculation of K -> pi matrix elements in quenched domain-wall QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 283-286 4 p.

    Research output: Contribution to journalArticlepeer-review

  447. Published

    Eigenvalues of the hermitian Wilson-Dirac operator and chiral properties of the domain-wall fermion

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kanebo, T., Kuramashi, Y., Manke, T., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & Yoshie, T., Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 725-728 4 p.

    Research output: Contribution to journalArticlepeer-review

  448. Published

    Full QCD light hadron spectrum and quark masses: Final results from CP-PACS

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K. I., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 229-232 4 p.

    Research output: Contribution to journalArticlepeer-review

  449. Published

    Kaon B-parameter from quenched domain-wall QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fikugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 287-290 4 p.

    Research output: Contribution to journalArticlepeer-review

  450. Published

    Quenched charmonium spectrum on anisotropic lattices

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Okamoto, M., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 325-328 4 p.

    Research output: Contribution to journalArticlepeer-review

  451. Published

    A graph based architectural (re)configuration language

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., 1 Jan 2001, 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001. p. 21-32 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  452. Published

    Backoff protocols for distributed mutual exclusion and ordering

    Chockler, G., Malkhi, D. & Reiter, M. K., 1 Jan 2001, Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS '01). p. 11-20 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  453. Published

    Coordination: The evolutionary dimension

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2001, 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing. p. 136-147 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  454. Published

    Interconnecting objects via contracts

    Fiadeiro, J. L. & Andrade, L. F., 1 Jan 2001, 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing. p. 182 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  455. Published

    SpliceDB: database of canonical and non-canonical mammalian splice sites

    Burset, M., Seledtsov, I. A. & Solovyev, V. V., 1 Jan 2001, In: Nucleic Acids Research. 29, 1, p. 255-259 5 p.

    Research output: Contribution to journalArticlepeer-review

  456. Published

    A Compositional Approach to Connector Construction

    Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 2001, WADT. Springer, Vol. 2267. p. 201-220 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  457. Published

    An Implementation of LF with Coercive Subtyping and Universes.

    Callaghan, P. & Luo, Z., 2001, In: Journal of Automated Reasoning. 27, 1, p. 3-27 25 p.

    Research output: Contribution to journalArticlepeer-review

  458. Published

    Coherence and transitivity in coercive subtyping

    Luo, Y. & Luo, Z., 2001, Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  459. Published

    Comparing the Bayes and typicalness frameworks

    Melluish, T., Saunders, C., Nouretdinov, I. & Vovk, V., 2001, Lecture Notes in Articial Intelligence. Vol. 2167. p. 360-371

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  460. Published

    Construction heuristics for the asymmetric TSP

    Glover, F., Gutin, G., Yeo, A. & Zverovitch, A., 2001, In: European Journal of Operational Research. 129, 3, p. 555-568

    Research output: Contribution to journalArticlepeer-review

  461. Published

    Coordination Technologies for Managing Information System Evolution

    Andrade, L. F. & Fiadeiro, J. L., 2001, CAiSE. Springer, Vol. 2068. p. 374-387 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  462. Published

    Enforcing Business Policies Through Automated Reconfiguration

    Andrade, L. F., Fiadeiro, J. L. & Wermelinger, M., 2001, ASE. IEEE Computer Society Press, p. 426-

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  463. Published

    Feature Modeling and Composition with Coordination Contracts

    Andrade, L. F. & Fiadeiro, J. L., 2001, FICS. University of Karlsruhe, Institut für Programmstrukturen und Datenorganisation, Vol. 2001-14. p. 49-54 6 p. (Technical Report).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  464. Published

    FPGA-based discrete wavelet transforms system

    Murtagh, F., Nibouche, M., Bouridane, A., Brebner, G. (ed.) & Woods, R. (ed.), 2001, Field-Programmable Logic and Applications. 2147 ed. Berlin: Springer-Verlag, p. 607-612 (Lecture Notes in Computer Science; no. 2147).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  465. Published

    Implications of a Service-Oriented View of Software

    Layzell, P. J., 2001, IFIP WG8.2 Working Conference, Boise, Idaho, July 2001.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  466. Published

    Kolmogorov's complexity conception of probability

    Vovk, V., 2001, Probability Theory: Philosophy, Recent History and Relations to Science. Dordrecht: Kluwer, p. 51-69 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  467. Published

    Loss functions, complexities, and the Legendre transformation

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2001, Proceedings of the Twelfth International Conference on Algorithmic Learning Theory. Abe, N., Khardon, R. & Zeugmann, T. (eds.). London: Springer, p. 181-189 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  468. Published

    Managing Evolution in Telecommunication Systems

    Koutsoukos, G., Gouveia, J., Andrade, L. F. & Fiadeiro, J. L., 2001, DAIS. Kluwer, Vol. 198. p. 133-140 8 p. (IFIP Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  469. Published

    Object languages in a type-theoretic meta-framework

    Callaghan, P. C., Luo, Z. & Pang, J., 2001, Proof Transformation and Presentation and Proof Complexities.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  470. Published

    Obstacles in Achieving a World-Wide Software Engineering Profession

    Layzell, P. J., 2001, Proceedings of 14th International Conference on Software Engineering Education and Training, February 2001.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  471. Published

    Pattern recognition and density estimation under the general i.i.d assumption

    Nouretdinov, I., Vovk, V., Vyugin, M. & Gammerman, A., 2001, Proceedings of the Fourteenth Annual Conference on Computational Learning Theory and Fifth European Conference on Computational Learning Theory. Helmbold, D. & Williamson, B. (eds.). London: Springer, p. 337-353 17 p. (Lecture Notes in Artificial Intelligence; vol. 2111).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  472. Published

    Probability and Finance: It's Only a Game!

    Shafer, G. & Vovk, V., 2001, New York: Wiley-Interscience.

    Research output: Book/ReportBook

  473. Published

    Remarks on hamiltonian digraphs

    Gutin, G. & Yeo, A., 2001, In: Australasian Journal of Combinatorics. 23, p. 115-118

    Research output: Contribution to journalArticlepeer-review

  474. Published

    Ridge Regression Confidence Machine

    Nouretdinov, I., Melluish, T. & Vovk, V., 2001, Proceedings of the Eighteenth International Conference on Machine Learning. p. 385-392

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  475. Published

    Solution of a conjecture of Volkmann on the number of vertices in longest paths and cycles of strong semicomplete multipartite digraphs

    Gutin, G. & Yeo, A., 2001, In: Graphs and Combinatorics. 17, 3, p. 473-477

    Research output: Contribution to journalArticle

  476. Published

    Strategic Change stemming from E-Commerce: Implications of Multi-Agent Systems in the Supply Chain

    Cohen, M., Stathis, K. & Beaver, G. (ed.), 2001, In: Strategic Change. 10, p. 139-149 11 p.

    Research output: Contribution to journalArticlepeer-review

  477. Published

    The minimum spanning strong subdigraph problem for extended semicomplete digraphs and semicomplete bipartite digraphs

    Bang-Jensen, J. & Yeo, A., 2001, In: Journal of Algorithms. 41, p. 1-19 19 p.

    Research output: Contribution to journalArticlepeer-review

  478. Published

    Tool Support for Coordination-Based Software Evolution

    Gouveia, J., Koutsoukos, G., Andrade, L. F. & Fiadeiro, J. L., 2001, TOOLS (38). IEEE Computer Society Press, p. 184-196 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  479. Published

    TSP tour domination and Hamilton cycle decompositions of regular digraphs.

    Gutin, G. & Yeo, A., 2001, In: Operations Research Letters. 28, 3, p. 107-111

    Research output: Contribution to journalArticlepeer-review

  480. Unpublished

    Unsupervised Language Acquisition: Theory and Practice

    Clark, A., 2001, (Unpublished)

    Research output: ThesisDoctoral Thesis

  481. 2000
  482. Published

    Sea quark effects on quarkonia

    Manke, T., Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Dec 2000, In: Physical Review D . 6211, 11, p. - 13 p.

    Research output: Contribution to journalArticlepeer-review

  483. Published

    Dynamical quark effects on light quark masses

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 27 Nov 2000, In: Physical Review Letters. 85, 22, p. 4674-4677 4 p.

    Research output: Contribution to journalArticlepeer-review

  484. Published

    Analysis of canonical and non-canonical splice sites in mammalian genomes

    Burset, M., Seledtsov, I. A. & Solovyev, V. V., 1 Nov 2000, In: Nucleic Acids Research. 28, 21, p. 4364-4375 12 p.

    Research output: Contribution to journalArticlepeer-review

  485. Published

    Quenched QCD with O(a) improvement: The spectrum of light hadrons

    Bowler, K. C., Boyle, P., Garden, J., Kenway, R. D., Richards, D. G., Rowland, P. A., Ryan, S. M., Simma, H., Michael, C., Shanahan, H. P. & Wittig, H., 1 Sep 2000, In: Physical Review D . 6205, 5, p. - 19 p.

    Research output: Contribution to journalArticlepeer-review

  486. Published

    Black-Scholes formula without stochastic assumptions

    Vovk, V., May 2000, Models for Credit Risk. London: UNICOM Seminars, p. 149-154 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  487. Published

    Spin effects in heavy hybrid mesons on an anisotropic lattice

    Drummond, I. T., Goodman, N. A., Horgan, R. R., Shanahan, H. P. & Storoni, L. C., 6 Apr 2000, In: Physics Letters B. 478, 1-3, p. 151-160 10 p.

    Research output: Contribution to journalArticlepeer-review

  488. Published

    Ab initio gene finding in Drosophila genomic DNA

    Salamov, A. A. & Solovyev, V. V., Apr 2000, In: Genome Research. 10, 4, p. 516-522 7 p.

    Research output: Contribution to journalArticlepeer-review

  489. Published

    Equation of state in finite-temperature QCD with improved Wilson quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okamoto, M., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 360-362 3 p.

    Research output: Contribution to journalArticlepeer-review

  490. Published

    Eta meson mass and topology in QCD with two light flavors

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 162-164 3 p.

    Research output: Contribution to journalArticlepeer-review

  491. Published

    Heavy quarkonia from anisotropic and isotropic lattices

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 319-321 3 p.

    Research output: Contribution to journalArticlepeer-review

  492. Published

    Heavy-light decay constants from clover heavy quark action in QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 331-333 3 p.

    Research output: Contribution to journalArticlepeer-review

  493. Published

    Heavy-light spectrum and decay constant from NRQCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 265-267 3 p.

    Research output: Contribution to journalArticlepeer-review

  494. Published

    Light hadron spectrum and quark masses in QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 176-178 3 p.

    Research output: Contribution to journalArticlepeer-review

  495. Published

    Quenched QCD with domain-wall fermions on coarse lattices

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 591-593 3 p.

    Research output: Contribution to journalArticlepeer-review

  496. Published

    A novel type of RNase III family proteins in eukaryotes

    Filippov, V., Solovyev, V., Filippova, M. & Gill, S. S., 7 Mar 2000, In: Gene. 245, 1, p. 213-21 9 p.

    Research output: Contribution to journalArticlepeer-review

  497. Published

    What assembly programmers get up to: control flow challenges in reverse compilation

    Johnstone, A., Scott, E. & Womack, T., 3 Mar 2000, p. 83-92. 10 p.

    Research output: Contribution to conferencePaper

  498. Published

    A Game-based Architecture for developing Interactive Components in Computational Logic

    Stathis, K., Brogi, A. (ed.) & Hill, P. (ed.), 1 Mar 2000, In: Functional and Logic Programming, Special Issue on Logical Formalisms for Program Composition. 2000, 5

    Research output: Contribution to journalArticlepeer-review

  499. Published

    Black-Scholes formula without stochastic assumptions

    Vovk, V., Mar 2000.

    Research output: Working paper

  500. Published

    The existence of predictive complexity and the Legendre transformation

    Kalnichkan, Y. & Vovk, V., Mar 2000.

    Research output: Working paper

  501. Published

    Quenched light hadron spectrum

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 10 Jan 2000, In: Physical Review Letters. 84, 2, p. 238-241 4 p.

    Research output: Contribution to journalArticlepeer-review

  502. Published

    Reverse compilation for digital signal processors: a working example

    Johnstone, A., Scott, E. & Womack, T., 7 Jan 2000, p. 1-10. 10 p.

    Research output: Contribution to conferencePaper

  503. Published

    Building tractable disjunctive constraints

    Cohen, D. A., Jeavons, P. G., Jonsson, P. & Koubarakis, M., 2000, In: Journal of the ACM. 47, p. 826-853 28 p.

    Research output: Contribution to journalArticlepeer-review

  504. Published

    Complementary cycles containing prescribed vertices in tournaments

    Bang-Jensen, J., Guo, Y. & Yeo, A., 2000, In: Discrete Mathematics. 214, 1-3, p. 77-87 11 p.

    Research output: Contribution to journalArticlepeer-review

  505. Published

    Complexity Approximation Principle and Rissanen's Approach to Real-Valued Parameters

    Kalnishkan, Y., 2000, Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Proceedings: volume 1810 of Lecture Notes in Artificial Intelligence. Springer, p. 203-210 (Lecture Notes in Artificial Intelligence; vol. 1810).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  506. Published

    Computationally efficient transductive machines

    Saunders, C., Gammerman, A. & Vovk, V., 2000, Proceedings of the Eleventh International Conference on Algorithmic Learning Theory. Arimura, H., Jain, S. & Sharma, A. (eds.). Berlin: Springer, p. 325-333 9 p. (Lecture Notes in Artificial Intelligence; vol. 1968).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  507. Published

    Consistency Conditions for a CORBA Caching Service

    Chockler, G., Friedman, R. & Vitenberg, R., 2000, Proceedings of the 14th International Conference on Distributed Computing (DISC '00). Springer-Verlag, p. 374-388 15 p. (Lecture Notes In Computer Science; no. 1914).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  508. Published

    Convex-round and concave-round graphs

    Bang-Jensen, J., Huang, J. & Yeo, A., 2000, In: SIAM Journal on Discrete Mathematics. 13, 2, p. 170-193 24 p.

    Research output: Contribution to journalArticlepeer-review