1. 2012
  2. Forthcoming

    Hypercontractive inequality for pseudo-boolean functions of bounded Fourier width

    Gutin, G. & Yeo, A., 2012, (Accepted/In press) In: Discrete Applied Mathematics. 6 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Igor V. Volovich

    Murtagh, F. & Accardi, L., 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications. 4, 1, p. 1-4

    Research output: Contribution to journalComment/debatepeer-review

  4. Published

    Improving GO semantic similarity measures by exploring the ontology beneath the terms and modelling uncertainty

    Yang, H., Nepusz, T. & Paccanaro, A., 2012, In: Bioinformatics. 28, 10, p. 1383-1389 7 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Improving Self-organized Resource Allocation with Effective Communication

    Kafali, O. & Yolum, P., 2012, Agents and Peer-to-Peer Computing. Beneventano, D., Despotovic, Z., Guerra, F., Joseph, S., Moro, G. & Pinninck, A. (eds.). Springer Berlin / Heidelberg, Vol. 6573. p. 35-46 12 p. (Lecture Notes in Computer Science).

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

  6. Published

    Internet Traffic Classification using Machine Learning with Performance Guarantees

    Luo, Z., 2012, Advances in Communications and Media Research. Vol. 8. p. 231-250

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    Levy's zero-one law in game-theoretic probability

    Shafer, G., Vovk, V. & Takemura, A., 2012, In: Journal of Theoretical Probability. 25, 1, p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

  8. Forthcoming

    Linear Time Baire Hierarchical Clustering for Enterprise Information Retrieval

    Murtagh, F. & Contreras Albornoz, P., 2012, (Accepted/In press) In: International Journal of Software and Informatics . 6, 3

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

    Artikis, A. (ed.), Craven, R. (ed.), Cicekli, N. K. (ed.), Sadighi, B. (ed.) & Stathis, K. (ed.), 2012, SPRINGER-VERLAG BERLIN.

    Research output: Book/ReportScholarly edition

  10. In preparation

    modCDF - modifying CDF's for microarrays using sequence similarity

    Shanahan, H., Harrison, A., Upton, G. & Memon, F., 2012, (In preparation) In: Bioinformatics. 2 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Multiparty Session Types Meet Communicating Automata

    Deniélou, P-M. & Yoshida, N., 2012, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings. Seidl, H. (ed.). Springer, p. 194-213 20 p. (Lecture Notes in Computer Science; vol. 7211).

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

  12. Published

    Multiprobabilistic Venn Predictors with Logistic Regression

    Nouretdinov, I., Devetyarov, D., Burford, B., Camuzeaux, S., Gentry-Maharaj, A., Tiss, A., Smith, C., Luo, Z., Chervonenkis, A., Hallett, R., Vovk, V., Waterfield, M., Cramer, R., Timms, J. F., Jacobs, I., Menon, U. & Gammerman, A., 2012, Artificial Intelligence Applications and Innovations - AIAI 2012 International Workshops: AIAB, AIeIA, CISE, COPA, IIVC, ISQL, MHDW, and WADTMB, Halkidiki, Greece, September 27-30, 2012, Proceedings, Part II. Iliadis, L., Maglogiannis, I., Papadopoulos, H., Karatzas, K. & Sioutas, S. (eds.). Springer, Vol. 382. (IFIP Advances in Information and Communication Technology).

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

  13. Published

    On Problems as Hard as CNF-SAT

    Cygan, M., Dell, H., Lokshtanov, D., Marx, D., Nederlof, J., Okamoto, Y., Paturi, R., Saurabh, S. & Wahlström, M., 2012, IEEE Conference on Computational Complexity. p. 74-84 11 p.

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

  14. Published

    On the Instantiation of Parameterised Specifications

    Tutu, I., 2012.

    Research output: Contribution to conferenceAbstractpeer-review

  15. Published

    On the parameterized complexity of the workflow satisfiability problem

    Crampton, J., Gutin, G. & Yeo, A., 2012, CCS '12 Proceedings of the 2012 ACM conference on Computer and communications security. New York: ACM, p. 857-868

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

  16. Published

    Open Objects for Ambient Intelligence

    Goncalves, P. & Stathis, K., 2012.

    Research output: Contribution to conferencePaperpeer-review

  17. Published

    OsWRKY22, a monocot WRKY gene, plays a role in the resistance response to blast

    Abbruscato, P., Nepusz, T., Mizzi, L., Del Corvo, M., Morandini, P., Fumasoni, I., Michel, C., Paccanaro, A., Guiderdoni, E., Schaffrath, U., Morel, J-B., Piffanelli, P. & Faivre-Rampant, O., 2012, In: Molecular Plant Pathology.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    Parameterized Complexity of MaxSat Above Average

    Crowston, R., Gutin, G., Jones, M., Raman, V. & Saurabh, S., 2012, LATIN 2012: Lect. Notes Comput. Sci.. Springer-Verlag, Vol. 7256. p. 184--194

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

  19. Published

    Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming

    Gutin, G., Kim, E. J., Soleimanfallah, A., Szeider, S. & Yeo, A., 2012, In: Algorithmica. doi: 10.1007/s00453-011-9548-8

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Parameterized eulerian strong component arc deletion problem on tournaments

    Crowston, R., Gutin, G., Jones, M. & Yeo, A., 2012, In: Information Processing Letters. 112, p. 249--251

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Parameterized Study of the Test Cover Problem

    Crowston, R., Gutin, G., Jones, M., Saurabh, S. & Yeo, A., 2012, MFCS 2012: Lecture Notes in Computer Science . Vol. 7464. p. 283-295

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

  22. Published

    Plug-in martingales for testing exchangeability on-line

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., 2012, Proceedings of the 29th International Conference on Machine Learning (ICML-12). Langford, J. & Pineau, J. (eds.). Omnipress, p. 1639-1646 8 p.

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

  23. Published

    PROTOSS: A run time tool for detecting PRivacy viOlaTions in Online Social networkS (Short Paper)

    Kafali, O., Gunay, A. & Yolum, P., 2012, IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining.

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

  24. Published

    Reconfigurable state machine replication from non-reconfigurable building blocks

    Bortnikov, V., Chockler, G., Roytman, A., Shachor, S., Shnayderman, I. & Perelman, D., 2012, Proceedings of the 31st Annual ACM Symposium on Principles of Distributed Computing. ACM, p. 93-94 2 p.

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

  25. Published
  26. Published

    Representative sets and irrelevant vertices: New tools for kernelization

    Kratsch, S. & Wahlström, M., 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 450-459 10 p.

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

  27. Published

    Statistical Methodology (Elsevier): Special issue - Astrostatistics

    Murtagh, F., 2012, Elsevier.

    Research output: Other contribution

  28. Forthcoming

    Structural Pattern Discovery in Protein-Protein Interaction Networks

    Nepusz, T. & Paccanaro, A., 2012, (Accepted/In press) Handbook of Bio- and Neuroinformatics. Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Published

    Subexponential Parameterized Odd Cycle Transversal on Planar Graphs

    Lokshtanov, D., Saurabh, S. & Wahlström, M., 2012, FSTTCS.

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

  30. Published

    Synchronisation‐ and Reversal‐Bounded Analysis of Multithreaded Programs with Counters

    Hague, M. & Lin, A., 2012, CAV: Computer Aided Verification.

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

  31. Published

    Synthesising choreographies from local session types

    Lange, J. & Tuosto, E., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 225-239 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

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

  32. Published

    Testing the Gauss linear assumption for on-line predictions

    Fedorova, V., Nouretdinov, I. & Gammerman, A., 2012, In: Progress in Artificial Intelligence. 1, 3, p. 205-213 9 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    The many faces of complexity in software design

    Fiadeiro, J. L., 2012, Conquering Complexity. Springer

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

  34. Published

    Three algorithms and a methodology for amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 2012, In: Scientific Annals of Computer Science. 22, 1, p. 61-104 44 p.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    Towards robust and efficient computation in dynamic peer-to-peer networks

    Augustine, J., Pandurangan, G., Robinson, P. & Upfal, E., 2012, Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, January 17-19, 2012. p. 551-569 19 p.

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

  36. 2011
  37. Published

    A formal model of agent-oriented virtual organisations and their formation

    McGinnis, J., Stathis, K. & Toni, F., 29 Dec 2011, In: Multiagent and Grid Systems. 7, 6, p. 291-310

    Research output: Contribution to journalArticlepeer-review

  38. Published

    Adaptive Hedge

    Erven, T. V., Rooij, S. D., Koolen, W. M. & Grünwald, P., 1 Dec 2011, Proceedings of the 25th Annual Conference on Neural Information Processing Systems (NIPS 2011).

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

  39. Published

    Learning Eigenvectors for Free

    Koolen, W. M., Kotlowski, W. & Warmuth, M. K., 1 Dec 2011, Proceedings of the 25th Annual Conference on Neural Information Processing Systems (NIPS 2011).

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

  40. Published

    Ward's Hierarchical Clustering Method: Clustering Criterion and Agglomerative Algorithm

    Murtagh, F. & Legendre, P., 27 Nov 2011, In: Preprint.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Producing Enactable Protocols in Artificial Agent Societies

    Lekeas, G., Kloukinas, C. & Stathis, K., 18 Nov 2011, Agents in Principle, Agents in Practice (PRIMA'11). p. 311-322 (Lecture Notes in Computer Science; vol. 7047/2011).

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

  42. Published

    A Lightweight Service Registry for Unstable Ad-hoc Networks

    Goncalves, P., Stathis, K. & Peach, N., 16 Nov 2011, Proceedings of the International Joint Conference on Ambient Intelligence (AmI 2011). p. 136-140 (Lecture Notes in Computer Science; vol. 7040/2011).

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

  43. Published

    A simplified Capital Asset Pricing Model

    Vovk, V., 11 Nov 2011, 6 p.

    Research output: Working paper

  44. Published

    Analysis of update delays in signature-based network intrusion detection systems

    Gascon, H., Orfila, A. & Blasco, J., 1 Nov 2011, In: Computers and Security. 30, 8, p. 613-624 12 p.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    Solving MAX-r-SAT Above a Tight Lower Bound

    Alon, N., Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., 1 Nov 2011, In: Algorithmica. 61, 3, p. 638-655

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Design and implementation of caching services in the cloud

    Chockler, G., Laden, G. & Vigfusson, Y., Nov 2011, In: IBM Journal of Research and Development. 55, 6, p. 9:1-9:11 11 p., 9.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    Early detection of ovarian cancer in samples pre-diagnosis using CA125 and MALDI-MS peaks

    Timms, J. F., Menon, U., Devetyarov, D., Tiss, A., Camuzeaux, S., McCurrie, K., Nouretdinov, I., Burford, B., Smith, C., Gentry-Maharaj, A., Hallett, R., Ford, J., Luo, Z., Vovk, V., Gammerman, A., Cramer, R. & Jacobs, I., Nov 2011, In: Cancer Genomics and Proteomics. 8, 6, p. 289-305

    Research output: Contribution to journalArticlepeer-review

  48. Published

    Adaptive Hedge

    van Erven, T., Grünwald, P., M. Koolen, W. & de Rooij, S., 28 Oct 2011.

    Research output: Working paper

  49. Published

    Secure Execution of Distributed Session Programs

    Alves, N., Hu, R., Yoshida, N. & Deniélou, P-M., 19 Oct 2011, In: Electronic Proceedings in Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    Combining Initial Segments of Lists

    Warmuth, M., Koolen, W. M. & Helmbold, D. P., 1 Oct 2011, Proceedings of the 22nd International Conference on Algorithmic Learning Theory (ALT 2011).

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

  51. Published
  52. Published
  53. Published

    Losing money with a high Sharpe ratio

    Vovk, V., 4 Sep 2011, 6 p.

    Research output: Working paper

  54. Published

    A case study on the usability of NXT-G programming language

    Nguyen, K. A., Sep 2011, 23rd Annual Conference in Psychology of Programming (PPIG). York, England, 12 p.

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

  55. Published

    Monitoring Gestational Diabetes Mellitus with Cognitive Agents and Agent Environments

    Bromuri, S., Schumacher, M., Stathis, K. & Ruiz, J., 23 Aug 2011, p. 409-414. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  56. Published

    Probability-free pricing of adjusted American lookbacks

    Philip Dawid, A., de Rooij, S., Grunwald, P., M. Koolen, W., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 20 Aug 2011, 28 p.

    Research output: Working paper

  57. Forthcoming

    Conformal predictions for reliable machine learning: Theory and applications

    Balasubramanian, V., Ho, S-S., Panchanathan, S. & Vovk, V., 8 Aug 2011, (Accepted/In press).

    Research output: Contribution to conferenceOtherpeer-review

  58. Published

    Ito calculus without probability in idealized financial markets

    Vovk, V., 3 Aug 2011, 25 p.

    Research output: Working paper

  59. Published

    Amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 31 Jul 2011, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 59, p. 111-129 19 p.

    Research output: Contribution to journalConference articlepeer-review

  60. Published

    A Pluralist Approach to the Formalisation of Mathematics

    Adams, R. & Luo, Z., 2 Jul 2011, In: Mathematical Structures in Computer Science. 21, 4, p. 913-942 29 p.

    Research output: Contribution to journalArticlepeer-review

  61. Published

    An abstract model of service discovery and binding

    Fiadeiro, J. L., Lopes, A. & Bocchi, L., 1 Jul 2011, In: Formal Aspects of Computing. 23, 4, p. 433-463 31 p.

    Research output: Contribution to journalArticlepeer-review

  62. Published

    Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation

    Severi, P., Fiadeiro, J. & Ekserdjian, D., 1 Jul 2011, In: Journal of Web Semantics. 9, 2, p. 83-98 16 p.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    Trap Hunting: Finding Personal Data Management Issues in Next Generation AAC Devices

    Reddington, J. & Coles-Kemp, L., 1 Jul 2011, Proceedings of the Second Workshop on Speech and Language Processing for Assistive Technologies. Edinburgh, Scotland, UK: Association for Computational Linguistics, p. 32-42 11 p.

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

  64. Published

    Conformal prediction and testing exchangeability assumption

    Fedorova, V., Nouretdinov, I. & Gammerman, A., Jul 2011, p. 35. 1 p.

    Research output: Contribution to conferenceAbstract

  65. Published

    Non-conformity measures in multi-class prediction

    Nouretdinov, I., Santos, M. & Gammerman, A., Jul 2011, p. 57. 1 p.

    Research output: Contribution to conferenceAbstract

  66. Published

    Valid prediction with confidence estimation in air pollution problem

    Ivina, O., Nouretdinov, I. & Gammerman, A., Jul 2011, p. 45. 1 p.

    Research output: Contribution to conferenceAbstract

  67. Published

    Special issue on cloud computing

    Chockler, G., Dekel, E., Jaja, J. & Lin, J., 1 Jun 2011, In: Journal of Parallel and Distributed Computing. 71, 6, p. 731 1 p.

    Research output: Contribution to journalSpecial issuepeer-review

  68. Published

    Time series prediction with performance guarantee

    Dashevskiy, M. & Luo, Z., 20 May 2011, In: IET Communications. 5, 8, p. 1044–1051

    Research output: Contribution to journalArticlepeer-review

  69. Published

    Machine learning classification with confidence: Application of transductive conformal predictors to MRI-based diagnostic and prognostic markers in depression

    Nouretdinov, I., Costafreda, S. G., Gammerman, A., Chervonenkis, A., Vovk, V., Vapnik, V. & Fu, C. H. Y., 15 May 2011, In: NeuroImage. 56, 2, p. 809-813 5 p.

    Research output: Contribution to journalArticlepeer-review

  70. Published

    A saturation method for the modal μ-calculus over pushdown systems

    Hague, M. & Ong, C-HL., May 2011, In: Information and Computation. 209, 5, p. 799–821

    Research output: Contribution to journalArticlepeer-review

  71. Published

    Collaboration Language for Social Information Engineering

    Englmeier, K., Mothe, J., Murtagh, F., Pereira, J. & Rosenberg, D., May 2011, InfoSys 2011: ICAS 2011. IARIA, p. 179 - 183 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  72. Published

    Fast redshift clustering with the Baire (ultra) metric

    Murtagh, F. & Contreras, P., 20 Apr 2011.

    Research output: Contribution to conferencePaperpeer-review

  73. Published

    Regression conformal prediction with nearest neighbours

    Papadopoulos, H., Vovk, V. & Gammerman, A., Apr 2011, In: Journal of Artificial Intelligence Research. 40, p. 815-840 26 p.

    Research output: Contribution to journalArticlepeer-review

  74. Published

    LDT: a language definition technique

    Johnstone, A., Scott, E. & van den Brand, M., 26 Mar 2011, LDTA '11 Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications. ACM, p. 1-8 8 p. 9

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

  75. Unpublished

    MAGE: Multi-Agent Game Environment

    Urovi, V., 23 Mar 2011, (Unpublished) 256 p.

    Research output: ThesisDoctoral Thesis

  76. Published

    Languages as hyperplanes: grammatical inference with string kernels

    Clark, A., Costa Florêncio, C. & Watkins, C., 1 Mar 2011, In: Machine Learning. 82, 3, p. 351-373

    Research output: Contribution to journalArticlepeer-review

  77. Published

    A probabilistic approach to problems parameterized above or below tight bounds

    Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., Mar 2011, In: Journal of Computer and System Sciences. 77, 2, p. 422-429

    Research output: Contribution to journalArticlepeer-review

  78. Published

    Characterisation of cyclic neuroprotective PDZ binding ligands

    AlNasir, J. & Austen, B., 8 Feb 2011.

    Research output: Contribution to conferencePosterpeer-review

  79. Published

    Evolving critical systems

    Hinchey, M., Nuseibeh, B., Coyle, L. & Fiadeiro, J. L., 1 Feb 2011, Dagsthul seminar. Vol. 34. p. 105-107 3 p.

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

  80. Published

    An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2011, Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Giannakopoulou, D. & Orejas, F. (eds.). p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 6603).

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

  81. Published

    Automatically generating stories from sensor data

    Reddington, J. & Tintarev, N., 1 Jan 2011, p. 407-410. 4 p.

    Research output: Contribution to conferencePaper

  82. Published

    Early model-analysis of logistics systems

    Azmat, F., Bocchi, L. & Fiadeiro, J. L., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6568 LNCS. p. 225-236 12 p.

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

  83. Published

    The SENSORIA reference modelling language

    Fiadeiro, J., Bocchi, L., Lopes, A. & Abreu, J., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6582. p. 61-114 54 p.

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

  84. Published

    Insuring against loss of evidence in game-theoretic probability

    Dawid, A. P., de Rooij, S., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., Jan 2011, In: Statistics and Probability Letters. 81, 1, p. 157-162 6 p.

    Research output: Contribution to journalArticlepeer-review

  85. Published

    “Hands Busy, Eyes Busy”: Generating Stories from Sensor Data for Automotive applications

    Tintarev, N., Reddington, J., Reiter, E., Black, R. & Waller, A., 2011.

    Research output: Contribution to conferencePaperpeer-review

  86. Published

    A characterization of horizontal visibility graphs and combinatorics on words

    Gutin, G., Mansour, T. & Severini, S., 2011, In: Physica A: Statistical Mechanics and its Applications . 390, p. 2421-2428

    Research output: Contribution to journalArticlepeer-review

  87. Published

    A Comparison of Venn Machine with Platt's Method in Probabilistic Outputs

    Zhou, C., Nouretdinov, I., Luo, Z., Adamskiy, M., Coldham, N. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15-18, 2011, Proceedings , Part II. . p. 483-

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

  88. Published

    A Distributed Treatment of Exceptions in Multiagent Contracts (Preliminary Report)

    Kafali, O. & Yolum, P., 2011, Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT).

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

  89. Published

    A mobile phone based personal narrative system

    Black, R., Waller, A., Tintarev, N., Reiter, E. & Reddington, J., 2011, The proceedings of the 13th international ACM SIGACCESS conference on Computers and accessibility. p. 171-178 8 p.

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

  90. Forthcoming

    A New Approach to Population Sizing for Memetic Algorithms: A Case Study for the Multidimensional Assignment Problem

    Karapetyan, D. & Gutin, G., 2011, (Accepted/In press) In: Evolutionary Computation. in press

    Research output: Contribution to journalArticlepeer-review

  91. Published

    A new bound on the domination number of graphs with minimum degree two

    Henning, M., Schiermeyer, I. & Yeo, A., 2011, In: The Electronic Journal of Combinatorics. 18, 1

    Research output: Contribution to journalArticlepeer-review

  92. Published

    A novel high-throughput in vivo molecular screen for shade avoidance mutants identifies a novel phyA mutation

    Wang, X., Roig-Villanova, I., Khan, S., Shanahan, H., Quail, P. H., Martinez-Garcia, J. F. & Devlin, P. F., 2011, In: Journal of Experimental Botany. 62, 8, p. 2973-2987 15 p.

    Research output: Contribution to journalArticlepeer-review

  93. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2011, In: Information and Computation. 209, 10, p. 1269-1292 24 p.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    Algorithms for hierarchical clustering: An Overview

    Murtagh, F. & Contreras Albornoz, P., 2011, Data Mining and Knowledge Discovery, Wiley Interdisciplinary Reviews (WIRES). John Wiley & Sons, 12 p. (Wiley Interdisciplinary Reviews).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  95. Forthcoming

    All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Vertices

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2011, (Accepted/In press) In: Journal of Computer and System Sciences. in press

    Research output: Contribution to journalArticlepeer-review

  96. Published

    An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection

    Cohen, D. A., Creed, P., Jeavons, P. G. & Živný, S., 2011, Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011: Proceedings. Springer, p. 231-242 (Lecture Notes in Computer Science; vol. 6907).

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

  97. Published

    An intuitive graphical visualization technique for the interrogation of transcriptome data

    Bushati, N., Smith, J., Briscoe, J. & Watkins, C., 2011, In: Nucleic Acids Research. 39, 17, p. 7380-7389

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Applying Conformal Prediction to the Bovine TB Diagnosing

    Adamskiy, M., Nouretdinov, I., Mitchell, A., Coldham, N. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15--18, 2011, Proceedings , Part II. . p. 449-

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

  99. Published

    Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract)

    Kafali, O., Toni, F. & Torroni, P., 2011, AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems. p. 1167-1168 2 p.

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

  100. Published

    Complexity of Computing Convex Subgraphs in Custom Instruction Synthesis

    Reddington, J. & Atasu, K., 2011, In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. p. 1-5

    Research output: Contribution to journalArticlepeer-review

  101. Unpublished

    Confidence and Venn Machines and Their Applications to Proteomics

    Devetyarov, D., 2011, (Unpublished) 219 p.

    Research output: ThesisDoctoral Thesis

  102. Forthcoming

    Conformal prediction in semi-supervised case

    Adamskiy, M., Nouretdinov, I. & Gammerman, A., 2011, (Accepted/In press) Post-Symposium book 'Statistical learning and Data Science'. Paris: Chapman and Hall

    Research output: Chapter in Book/Report/Conference proceedingChapter

  103. Forthcoming

    Conformal predictions for electronic nose system: an application to tea classification

    Nouretdinov, I., Li, G., Gammerman, A. & Luo, Z., 2011, (Accepted/In press) In: International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications. 10 p.

    Research output: Contribution to journalArticlepeer-review

  104. Forthcoming

    Conformal predictions for reliable machine learning: Theory and applications

    Balasubramanian, V., Ho, S-S., Panchanathan, S. & Vovk, V., 2011, (Accepted/In press).

    Research output: Contribution to conferenceOtherpeer-review

  105. Published

    Contextual analysis of word meanings in type-theoretical semantics

    Luo, Z., 2011, Logical Aspects of Computational Linguistics:6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011: Proceedings. Pogodalla, S. & Prost, J-P. (eds.). Springer, p. 159-174 16 p. (Lecture Notes in Computer Science; vol. 6736).

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

  106. Published
  107. Published

    Dependent Randomized Rounding: The Bipartite Case

    Doerr, B., Künnemann, M. & Wahlström, M., 2011, 2011 Proceedings of the Thirteenth Workshop on Algorithm Engineering and Experiments (ALENEX). Müller-Hannemann, M. & Werneck, R. (eds.). San Francisco, California, USA: SIAM, p. 96-106 11 p.

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

  108. Published

    Design and implementation of caching services in the cloud

    Chockler, G., Laden, G. & Vigfusson, Y., 2011, In: IBM Journal of Research and Development. 55, 6, 11 p., 9.

    Research output: Contribution to journalArticlepeer-review

  109. Published

    Diagnosing Commitments: Delegation Revisited (Extended Abstract)

    Kafali, O. & Torroni, P., 2011, AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems. p. 1175-1176 2 p.

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

  110. Published

    Dynamic Multirole Session Types

    Denielou, P-M. & Yoshida, N., 2011, POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. NEW YORK: ACM, p. 435-446 12 p.

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

  111. Published

    Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems

    Biely, M., Robinson, P. & Schmid, U., 2011, Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. p. 299-312 14 p.

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

  112. Published

    Efficient model checking of fault-tolerant distributed protocols

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 2011, Proc. 41st Int Conf. Dependable Systems and Networks (DSN-DCCS 2011). IEEE, p. 73-84

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

  113. Published

    Feature Selection by Conformal Predictor

    Yang, M., Nouretdinov, I., Luo, Z. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15-18, 2011, Proceedings, Part II. . p. 449-

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

  114. Unpublished

    Hierarchies of Inefficient Kernelizability

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., 2011, (Unpublished) In: ArXiv.org. CoRR:abs/1110.0976

    Research output: Contribution to journalArticlepeer-review

  115. Published

    Image zooming based on sampling theorems

    Romero, A. E., 2011, In: Materials Matemàtics. 2011, 11, p. 1 22 p., 1.

    Research output: Contribution to journalArticlepeer-review

  116. Published

    Kernels for Below-Upper-Bound Parameterizations of the Hitting Set and Directed Dominating Set Problems

    Gutin, G., Jones, M. & Yeo, A., 2011, In: Theoretical Computer Science. 412, p. 5744--5751

    Research output: Contribution to journalArticlepeer-review

  117. Forthcoming

    Lambda-Free Logical Frameworks

    Adams, R., 2011, (Accepted/In press) In: Annals of Pure and Applied Logic.

    Research output: Contribution to journalArticlepeer-review

  118. Published

    Legacy transformations for extracting service components

    Matos, C. & Heckel, R., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hölz, M. (eds.). Springer-Verlag, p. 604-621 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  119. Published

    Linguistic Nativism and the Poverty of the Stimulus

    Clark, A. & Lappin, S., 2011, Wiley-Blackwell.

    Research output: Book/ReportBook

  120. Published

    Lin-Kernighan Heuristic Adaptations for the Generalized Traveling Salesman Problem

    Gutin, G. & Karapetyan, D., 2011, In: European Journal of Operational Research. 208, p. 221-232

    Research output: Contribution to journalArticlepeer-review

  121. Forthcoming

    Local Search Heuristics for the Multidimensional Assignment Problem

    Gutin, G. & Karapetyan, D., 2011, (Accepted/In press) In: Journal of Heuristics. 17, 3

    Research output: Contribution to journalArticlepeer-review

  122. Published

    Looking at clouds from both sides: The advantages and disadvantages of placing personal narratives in the cloud

    Coles-Kemp, L., Reddington, J. & Williams, P. A. H., 2011, In: Information Security Technical Report. 16, 3-4, p. 115-122

    Research output: Contribution to journalArticlepeer-review

  123. Published

    Malware Detection

    Katzenbeisser, S., Kinder, J. & Veith, H., 2011, Encyclopedia of Cryptography and Security, 2nd Ed.. van Tilborg, H. & Jajodia, S. (eds.). Springer, p. 752-755

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

  124. Published

    Methods of Hierarchical Clustering

    Murtagh, F. & Contreras, P., 2011, Data Mining and Knowledge Discovery. Wiley-Interscience

    Research output: Chapter in Book/Report/Conference proceedingChapter

  125. Published

    Model Checking Recursive Programs with Numeric Data Types

    Hague, M. & Lin, A., 2011, CAV: Computer Aided Verification.

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

  126. Published

    Modelling GLL Parser Implementations

    Johnstone, A. & Scott, E., 2011, Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers. Malloy, B., Staab, S. & van den Brand, M. (eds.). Springer, p. 42-61 20 p. (Lecture Notes in Computer Science; vol. 6563).

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

  127. Published

    New Methods of Analysis of Narrative and Semantics in Support of Interactivity

    Murtagh, F., Ganz, A. & Reddington, J., 2011, In: Entertainment Computing. 2, p. 115-121

    Research output: Contribution to journalArticlepeer-review

  128. Published

    New Plain-Exponential Time Classes for Graph Homomorphism

    Wahlström, M., 2011, In: Theory of Computing Systems. 49, 2, p. 273-282 10 p.

    Research output: Contribution to journalArticlepeer-review

  129. Published

    On guaranteeing polynomially-bounded search tree size

    Cohen, D., Cooper, M., Green, M. J. & Marx, D., 2011.

    Research output: Contribution to conferencePaperpeer-review

  130. Published

    On the algebra of structured specifications

    Diaconescu, R. & Tutu, I., 2011, In: Theoretical Computer Science. 412, p. 3145-3174 28.

    Research output: Contribution to journalArticlepeer-review

  131. Published

    Optimal regional consecutive leader election in mobile ad-hoc networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2011, FOMC'11, The Seventh ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing (part of FCRC 2011), San Jose, CA, USA, June 9, 2011, Proceedings. p. 52-61 10 p.

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

  132. Published

    Parameterised Pushdown Systems with Non‐Atomic Writes

    Hague, M., 2011, FSTTCS: Foundations of Software Technology and Theoretical Computer Science.

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

  133. Published

    Parameterized Two-Player Nash Equilibrium

    Hermelin, D., Huang, C-C., Kratsch, S. & Wahlström, M., 2011, Graph-Theoretic Concepts in Computer Science : 37th International Workshop, WG 2011. Kolman, P. & Kratochvíl, J. (eds.). Teplá Monastery, Czech Republic: Springer, Vol. 6986. p. 215-226 12 p. (Lecture Notes in Computer Science).

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

  134. Published

    Pervasive Healthcare Using Self-Healing Agent Environments

    Bromuri, S., Ignaz Schumacher, M. & Stathis, K., 2011, HIGHLIGHTS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS. Perez, JB., Corchado, JM., Moreno, MN., Julian, V., Mathieu, P., CanadaBago, J., Ortega, A. & Caballero, AF. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 159-166 8 p.

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

  135. Published

    Reasoning About Exceptions to Contracts

    Kafali, O., Toni, F. & Torroni, P., 2011, Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814. p. 225-242 18 p. (LNCS).

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

  136. Unpublished

    Robot-based Evaluation of Bluetooth Fingerprinting: M.Phil (Cantab)

    Nguyen, K., 2011, (Unpublished)

    Research output: ThesisMaster's Thesis

  137. Published

    Rough paths in idealized financial markets

    Vovk, V., 2011, In: Lithuanian Mathematical Journal. 51, 2, p. 274 - 285 12 p.

    Research output: Contribution to journalArticlepeer-review

  138. Published

    Semantics from narrative: state of the art and future perspectives

    Murtagh, F., Ganz, A. & Reddington, J., 2011, Statistical Learning and Data Science. Summa, M. G., Bottou, L., Goldfarb, B., Murtagh, F., Pardoux, C. & Touati, M. (eds.). Taylor and Francis, (Computer Science and Data Analysis).

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

  139. Published

    Simultaneously Satisfying Linear Equations Over F_2: MaxLin2 and Max-r-Lin2 Parameterized Above Average

    Crowston, R., Fellows, M., Gutin, G., Jones, M., Rosamond, F., Thomasse, S. & Yeo, A., 2011, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. p. 229--240 (LIPICS - Leibniz International Proceedings in Informatics; vol. 13).

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

  140. Published

    Social Commitment Delegation and Monitoring

    Kafali, O. & Torroni, P., 2011, Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814. p. 171-189 19 p. (LNCS).

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

  141. Published

    Solving k-Set Agreement with Stable Skeleton Graphs

    Biely, M., Robinson, P. & Schmid, U., 2011, 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. p. 1488-1495 8 p.

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

  142. Published

    Starlet Transform in Astronomical Data Processing: Application to Source Detection and Image Deconvolution

    Murtagh, F., Starck, J-L. & Bertero, M., 2011, Handbook of Mathematical Methods in Imaging. Scherzer, O. (ed.). Springer, p. 1489-1531 43 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  143. Forthcoming

    Statistical Learning and Data Science

    Murtagh, F., Summa, M. (ed.), Bottou, L. (ed.), Goldfarb, B. (ed.), Pardoux, C. (ed.) & Touati, M. (ed.), 2011, (Accepted/In press) Bocca Raton: Chapman and Hall/CRC Press. (Computer Science and Data Analysis)

    Research output: Book/ReportBook

  144. Published

    Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 2011, Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011). p. 113-122

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

  145. Published

    Synthesis of flowerlike nano-SnO2 and the study on the gas sensing response

    Fan, G., Wang, Y., Hu, M., Luo, Z. & Li, G., 2011, In: Measurement Science and Technology. 22, 4

    Research output: Contribution to journalArticlepeer-review

  146. Published

    Test martingales, Bayes factors, and p-values

    Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 2011, In: Statistical Science. 26, p. 84 - 101 17 p.

    Research output: Contribution to journalArticlepeer-review

  147. Published

    The Asynchronous Bounded-Cycle model

    Robinson, P. & Schmid, U., 2011, In: Theoretical Computer Science. 412, 40, p. 5580-5601 22 p.

    Research output: Contribution to journalArticlepeer-review

  148. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 2011, In: Annals of the Institute of Statistical Mathematics. 63, 5, p. 873 - 885 13 p.

    Research output: Contribution to journalArticlepeer-review

  149. Unpublished

    Theory and Applications of Competitive Prediction

    Zhdanov, F., 2011, (Unpublished) 225 p.

    Research output: ThesisDoctoral Thesis

  150. Published

    Translator Generation Using ART

    Johnstone, A. & Scott, E., 2011, In: Lecture Notes in Computer Science. 6563, p. 306-315 10 p.

    Research output: Contribution to journalArticlepeer-review

  151. Published

    Typed Operational Semantics for Dependent Record Types

    Feng, Y. & Luo, Z., 2011, Proceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53.

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

  152. Published

    Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis

    Murtagh, F., 2011, Horizons in Computer Science Research. Clary, T. (ed.). Vol. 2.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  153. Published

    Ultrametric Wavelet Regression of Multivariate Time Series: Application to Colombian Conflict Analysis

    Murtagh, F., Spagat, M. & A. Restrepo, J., 2011, In: IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 41, 2, p. 254-263 10 p.

    Research output: Contribution to journalArticlepeer-review

  154. Published

    Vertex Cover Problem Parameterized Above and Below Tight Bounds

    Gutin, G., Kim, E. J., Lampis, M. & Mitsou, V., 2011, In: Theory of Computing Systems. 48, p. 402-410

    Research output: Contribution to journalArticlepeer-review

  155. 2010
  156. Published

    Betweenness parameterized above tight lower bound

    Gutin, G., Kim, E. J., Mnich, M. & Yeo, A., Dec 2010, In: Journal of Computer and System Sciences. 76, 8, p. 872-878

    Research output: Contribution to journalArticlepeer-review

  157. Published

    Weak aggregating algorithm for the distribution-free perishable inventory problem

    Levina, T., Levin, Y., McGill, J., Nediak, M. & Vovk, V., Nov 2010, In: Operations Research Letters. 38, 6, p. 516-521 6 p.

    Research output: Contribution to journalArticlepeer-review

  158. Published

    Switching Investments

    Koolen, W. M. & Rooij, S. D., 1 Oct 2010, Proceedings of the 21st International Conference on Algorithmic Learning Theory (ALT 2010). Hutter, M., Stephan, F., Vovk, V. & Zeugman, T. (eds.). Springer Berlin / Heidelberg, p. 239-254 16 p. (LNAI 6331).

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

  159. Published

    Towards General Algorithms for Grammatical Inference

    Clark, A., 1 Oct 2010, Algorithmic Learning Theory, 21st International Conference. Hutter, M., Stephan, F., Vovk, V. & Zeugmann, T. (eds.). Springer, p. 11-30

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

  160. Published

    Using Contextual Representations to Efficiently Learn Context-Free Languages

    Clark, A., Eyraud, R. & Habrard, A., 1 Oct 2010, In: Journal of Machine Learning Research. 11, p. 2707-2744 38 p.

    Research output: Contribution to journalArticlepeer-review

  161. Published

    Proactive Detection of Computer Worms Using Model Checking

    Kinder, J., Katzenbeisser, S., Schallhart, C. & Veith, H., Oct 2010, In: IEEE Transactions on Dependable and Secure Computing. 7, 4, p. 424-438

    Research output: Contribution to journalArticlepeer-review

  162. Published

    GLL Parsing

    Scott, E. & Johnstone, A., 17 Sep 2010, In: Electronic Notes in Theoretical Computer Science. 253, 7, p. 177-189 13 p.

    Research output: Contribution to journalArticlepeer-review

  163. Published

    The identification of Transcription Factor Binding Sites using string kernels

    Shanahan, H., 10 Sep 2010.

    Research output: Contribution to conferenceOther

  164. Published

    Distributional Learning of some Context-free Languages with a Minimally Adequate Teacher

    Clark, A., 1 Sep 2010, Grammatical Inference: Theoretical Results and Applications. p. 24-37

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

  165. Published

    Learning Context Free Grammars with the Syntactic Concept Lattice

    Clark, A., 1 Sep 2010, Grammatical Inference: Theoretical Results and Applications. Sempere, J. & Garcia, P. (eds.). Springer-Verlag, Vol. 6339. p. 38-51 (Lecture Notes in Computer Science; vol. 6339).

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

  166. Unpublished

    Freezing and Sleeping: Tracking Experts that Learn by Evolving Past Posteriors

    M. Koolen, W. & van Erven, T., 27 Aug 2010, (Unpublished).

    Research output: Working paper

  167. Published

    Switching between Hidden Markov Models using Fixed Share

    M. Koolen, W. & van Erven, T., 26 Aug 2010.

    Research output: Working paper

  168. Published

    Classical Predicative Logic-Enriched Type Theories

    Adams, R. & Luo, Z., Aug 2010, In: Annals of Pure and Applied Logic. 161, 11, p. 1315-1345 31 p.

    Research output: Contribution to journalArticlepeer-review

  169. Published

    Open Access, Intellectual Property, and How Biotechnology Becomes a New Software Science

    Murtagh, F., Aug 2010, In: UPGRADE: The European journal for the informatics professional. XI , 4, p. 50-64

    Research output: Contribution to journalArticlepeer-review

  170. Published

    Zeus desktop molecular visualisation software: Molecular viewer for WIndows

    Alnasir, J., 1 Jul 2010

    Research output: Non-textual formSoftware

  171. Published

    Magnet: Practical Subscription Clustering for Internet-Scale Publish/Subscribe

    Girdzijauskas, S., Chockler, G., Vigfusson, Y., Melamed, R. & Tock, Y., Jul 2010, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS '10). Cambridge, UK: ACM, p. 172-183 12 p.

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

  172. Published

    Prequential randomness and probability

    Vovk, V. & Shen, A., 17 Jun 2010, In: Theoretical Computer Science. 411, 29-30, p. 2632-2646 15 p.

    Research output: Contribution to journalArticlepeer-review

  173. Published

    Supermartingales in prediction with expert advice

    Chernov, A., Kalnishkan, Y., Zhdanov, F. & Vovk, V., 17 Jun 2010, In: Theoretical Computer Science. 411, 29-30, p. 2647-2669 23 p.

    Research output: Contribution to journalArticlepeer-review

  174. Published
  175. Published

    Hedging Structured Concepts

    Koolen, W. M., Warmuth, M. K. & Kivinen, J., 1 Jun 2010, Proceedings of the 23rd Annual Conference on Learning Theory (COLT 2010). p. 93-105 13 p.

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

  176. Published

    Note on Max Lin-2 above Average

    Crowston, R., Gutin, G. & Jones, M., 16 May 2010, In: Information Processing Letters. 110, 11, p. 451-454 4 p.

    Research output: Contribution to journalArticlepeer-review

  177. Published

    Insuring against loss of evidence in game-theoretic probability

    Philip Dawid, A., de Rooij, S., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 11 May 2010.

    Research output: Working paper

  178. Published

    Rough paths in idealized financial markets

    Vovk, V., 3 May 2010.

    Research output: Working paper

  179. Published

    Special issue dedicated to FASE'08

    Fiadeiro, J. L., Inverardi, P. & Maibaum, T., 1 May 2010, In: Formal Aspects of Computing. 22, 3-4

    Research output: Contribution to journalSpecial issuepeer-review

  180. Published

    Evolving critical systems

    Coyle, L., Hinchey, M., Nuseibeh, B. & Fiadeiro, J. L., May 2010, In: IEEE Computer. 43, 5

    Research output: Contribution to journalSpecial issuepeer-review

  181. Published

    Bulletin Board: A scalable and robust eventually consistent shared memory over a peer-to-peer overlay

    Bortnikov, V., Chockler, G., Roytman, A. & Spreitzer, M., 14 Apr 2010, In: Operating Systems Review. 44, 2, p. 64-70 7 p.

    Research output: Contribution to journalArticlepeer-review

  182. Published

    Document Classification Models Based On Bayesian Networks

    Romero, A. E., Apr 2010, Granada: Editorial Universidad de Granada.

    Research output: ThesisDoctoral Thesis

  183. Published

    Dr. Multicast: Rx for Data Center Communication Scalability

    Vigfusson, Y., Abu-Libdeh, H., Balakrishnan, M., Birman, K., Burgess, R., Chockler, G., Li, H. & Tock, Y., Apr 2010, EuroSys '10 Proceedings of the 5th European conference on Computer systems. Paris, France: ACM, p. 349-362 14 p.

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

  184. Published

    Tear-Insert-Fold grammars

    Johnstone, A. & Scott, E., 28 Mar 2010, LDTA '10 Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications. ACM, p. 1-8 8 p. 6

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

  185. Published
  186. Published

    An agile approach to language modelling and development

    Johnstone, A., Mosses, P. D. & Scott, E., Mar 2010, In: Innovations in Systems and Software Engineering. 6, 1-2, p. 145-153 9 p.

    Research output: Contribution to journalArticlepeer-review

  187. Published

    Clouds at the crossroads: research perspectives

    Vigfusson, Y. & Chockler, G., Mar 2010, In: Crossroads. 16, 3, p. 10-13 4 p.

    Research output: Contribution to journalArticlepeer-review

  188. Published

    FPT Algorithms and Kernels for the Directed k-Leaf Problem

    Daligault, J., Gutin, G., Kim, E. J. & Yeo, A., Mar 2010, In: Journal of Computer and System Sciences. 76, 2, p. 144-152 9 p.

    Research output: Contribution to journalArticlepeer-review

  189. Published

    How to base probability theory on perfect-information games

    Shafer, G., Vovk, V. & Chychyla, R., Feb 2010, In: Bulletin of the European Association for Theoretical Computer Science. 100, p. 115-148 34 p.

    Research output: Contribution to journalArticle

  190. Published

    A Formal Framework of Virtual Organisations as Agent Societies

    McGinnis, J., Stathis, K. & Toni, F., 25 Jan 2010, p. 1-14. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  191. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J., Rajper, N. & Reiff-Marganiec, S., 25 Jan 2010, In: Electronic Proceedings in Theoretical Computer Science. 16

    Research output: Contribution to journalArticlepeer-review

  192. Published

    Functional and evolutionary insights from the genomes of three parasitoid Nasonia species

    Werren, J. H., Richards, S., Desjardins, C. A., Niehuis, O., Gadau, J., Colbourne, J. K., Werren, J. H., Richards, S., Desjardins, C. A., Niehuis, O., Gadau, J., Colbourne, J. K., Beukeboom, L. W., Desplan, C., Elsik, C. G., Grimmelikhuijzen, C. J. P., Kitts, P., Lynch, J. A., Murphy, T., Oliveira, D. C. S. G. & 31 others, Smith, C. D., van de Zande, L., Worley, K. C., Zdobnov, E. M., Aerts, M., Albert, S., Anaya, V. H., Anzola, J. M., Barchuk, A. R., Behura, S. K., Bera, A. N., Berenbaum, M. R., Bertossa, R. C., Bitondi, M. M. G., Bordenstein, S. R., Bork, P., Bornberg-Bauer, E., Brunain, M., Cazzamali, G., Chaboub, L., Chacko, J., Chavez, D., Childers, C. P., Choi, J-H., Clark, M. E., Claudianos, C., Clinton, R. A., Cree, A. G., Cristino, A. S., Solovyev, V. & Nasonia Genome Working Group, 15 Jan 2010, In: Science. 327, 5963, p. 343-8 6 p.

    Research output: Contribution to journalArticlepeer-review

  193. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6285 LNCS. p. 70-85 16 p.

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

  194. Published

    Link-based text classification using Bayesian networks

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Masegosa, A. R. & Romero, A. E., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6203 LNCS. p. 397-406 10 p.

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

  195. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

    Schettini, A. M., Fiadeiro, J. L. & Gnesi, S., 1 Jan 2010

    Research output: Other contribution

  196. Published

    Recognition is not parsing — SPPF-style parsing from cubic recognisers

    Scott, E. & Johnstone, A., 1 Jan 2010, In: Science of Computer Programming. 75, 1-2, p. 55-70 16 p.

    Research output: Contribution to journalArticlepeer-review

  197. Published

    Special Issue on ETAPS 2006 and 2007 Workshops on Language Descriptions, Tools, and Applications (LDTA'06 and '07) Preface

    Johnstone, A., Sloane, A. & Boyland, J. T., 1 Jan 2010, In: Science of Computer Programming. 75, 1-2, p. 1-2 2 p.

    Research output: Contribution to journalEditorialpeer-review

  198. Published

    Weyl's predicative classical mathematics as a logic-enriched type theory

    Adams, R. & Luo, Z., Jan 2010, In: ACM Transactions on Computational Logic. 11, 2, 31 p., 11.

    Research output: Contribution to journalArticlepeer-review

  199. Published

    A contract-based event driven model for collaborative security in financial information systems

    Baldoni, R., Lodi, G., Chockler, G., Dekel, E., Mulcahy, B. P. & Martufi, G., 2010, ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems. p. 147-153 7 p.

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

  200. Published

    A Memetic Algorithm for the Generalized Traveling Salesman Problem

    Gutin, G. & Karapetyan, D., 2010, In: Natural Computing. 9, p. 47--60

    Research output: Contribution to journalArticlepeer-review

  201. Published

    A Service Oriented Approach for Ubiquitous Agents in AMI Systems Using EVATAR

    Dipsis, N. & Stathis, K., 2010, p. 213. 220 p.

    Research output: Contribution to conferencePaperpeer-review

  202. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2010, 7th Annual Conference on Theory and Applications of Models of Computation. Berlin, Vol. 6108. p. 60 71 p. (Lecture Notes in Computer Science (LNCS)).

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

  203. Published

    Algorithm for Finding k-Vertex Out-trees and its Application to k-Internal Out-branching Problem.

    Cohen, N., Fomin, F., Gutin, G., Kim, E. J., Saurabh, S. & Yeo, A., 2010, In: Journal of Computer and System Sciences. 76, p. 650-662

    Research output: Contribution to journalArticlepeer-review

  204. Published

    Algorithmic construction of low-discrepancy point sets via dependent randomized rounding

    Doerr, B., Gnewuch, M. & Wahlström, M., 2010, In: Journal of Complexity. 26, 5, p. 490-507 18 p.

    Research output: Contribution to journalArticlepeer-review

  205. Published

    An Identity for Kernel Ridge Regression

    Zhdanov, F. & Kalnishkan, Y., 2010, Learning Theory 21st International Conference, ALT 2010, Proceedings: volume 6331 of Lecture Notes in Computer Science. Springer, p. 405-419 (Lecture Notes in Computer Science; vol. 6331).

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

  206. Published

    Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)

    Hague, M. & Ong, C-H. L., 2010, SPIN.

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

  207. Published

    Application of conformal predictors to tea classification based on electronic nose

    Nouretdinov, I., Li, G., Gammerman, A. & Luo, Z., 2010, Artificial Intelligence Applications and Innovations. Springer, p. 303-310

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

  208. Published

    BOOM: Taking boolean program model checking one step further

    Basler, G., Hague, M., Kroening, D., Ong, C-H. L., Wahl, T. & Zhao, H., 2010, TACAS: Tools and Algorithms for the Construction and Analysis of Systems.

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

  209. Published

    Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2010, Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. p. 89-91 3 p.

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

  210. Published

    Buffered Communication Analysis in Distributed Multiparty Sessions

    Denielou, P-M. & Yoshida, N., 2010, CONCUR 2010 - CONCURRENCY THEORY. Gastin, P. & Laroussinie, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 343-357 15 p.

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

  211. Published

    Clustering and Semantics Preservation in Cultural Heritage Information Spaces

    Murtagh, F., Pereira, J., Schmidt, F., Contreras Albornoz, P. & Astudillo, H., 2010, RIAO'2010 : Recherche d'Information Assistée par Ordinateur / Adaptivity, Personalization and Fusion of Heterogeneous Information. p. 100 105 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  212. Published

    Community-wide assessment of GPCR structure modelling and ligand docking

    Michino, M. & Solovyev, V., 2010, In: Nature Reviews. Drug Discovery. 8, p. 455-463

    Research output: Contribution to journalArticlepeer-review

  213. Published

    Competitive online generalized linear regression under square loss

    Zhdanov, F. & Vovk, V., 2010, Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2010. Balcazar, J., Bonchi, F., Gionis, A. & Sebag, M. (eds.). Springer, p. 531-546 16 p.

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

  214. Published

    Complexity of Propositional Proofs Under a Promise

    Dershowitz, N. & Tzameret, I., 2010, In: ACM Transactions on Computational Logic. 11, 3, p. 1-30 30 p.

    Research output: Contribution to journalArticlepeer-review

  215. Published

    Data caching as a cloud service

    Chockler, G., Laden, G. & Vigfusson, Y., 2010, Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS '10). ACM, p. 18-21 4 p.

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

  216. Published

    Detecting Exceptions in Commitment Protocols: Discovering Hidden States

    Kafali, O. & Yolum, P., 2010, Languages, Methodologies and Development Tools for Multi-Agent Systems. Vol. 6039. p. 112-127 16 p. (LNCS).

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

  217. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2010, 2nd ed. London: Springer-Verlag.

    Research output: Book/ReportBook

  218. Published

    Disposable blood potassium sensors based on screen-printed thick film electrodes

    Xu, H., Yang, X., Wang, Y., Zheng, J., Luo, Z. & Li, G., 2010, In: Measurement Science and Technology. 21, 5

    Research output: Contribution to journalArticlepeer-review

  219. Published

    Editors' introduction

    Hutter, M., Stephan, F., Vovk, V. & Zeugmann, T., 2010, Proceedings of the Twentieth International Conference on Algorithmic Learning Theory. Berlin: Springer, Vol. 6331. p. 1-10 10 p. (Lecture Notes in Articial Intelligence).

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

  220. Published

    Efficient, correct, unsupervised learning of context-sensitive languages

    Clark, A., 2010, Proceedings of the Fourteenth Conference on Computational Natural Language Learning. p. 28-37

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

  221. Published

    Electroantennogram obtained from honeybee antennae for odor detection

    Wang, Y., Zheng, Y., Luo, Z. & Li, G., 2010, Lecture Notes in Computer Science. Springer, Vol. 6063. p. 63-66

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

  222. Published

    EVATAR - A Prototyping Middleware Embodying Virtual Agents to Autonomous Robots

    Dipsis, N. & Stathis, K., 2010, p. 167-175. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  223. Published

    Extended Computation Tree Logic (Extended Abstract)

    Alexsson, R., Hague, M., Kreutzer, S., Lange, M. & Latte, M., 2010, LPAR International Conference on Logic for Programming Artificial Intelligence and Reasoning.

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

  224. Published

    Genome sequence of the pea aphid Acyrthosiphon pisum

    Solovyev, V. & International Aphid Genomics Consortium, 2010, In: PLoS Biology. 8, 2, p. e1000313

    Research output: Contribution to journalArticlepeer-review

  225. Published

    Guiding Reification in OWL through Aggregation

    Severi, P., Fiadeiro, J. L. & Ekserdjian, D., 2010, Description Logics. CEUR-WS.org, Vol. 573. (CEUR Workshop Proceedings).

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

  226. Published

    Highly accurate detection of ovarian cancer using CA125 but limited improvement with serum MALDI-TOF MS profiling

    Tiss, A., Timms, J. F., Smith, C., Devetyarov, D., Gentry-Maharaj, A., Camuzeaux, S., Burford, B., Nouretdinov, I., Ford, J., Luo, Z., Jacobs, I., Menon, U., Gammerman, A. & Cramer, R., 2010, In: International Journal of Gynecological Cancer. 20, 9, p. 1518-1524

    Research output: Contribution to journalArticlepeer-review

  227. Published

    iCampus: A Connected Campus in the Ambient Event Calculus

    Bromuri, S., Urovi, V. & Stathis, K., 2010, In: International Journal of Ambient Computing and Intelligence. 2, 1, p. 59-65

    Research output: Contribution to journalArticlepeer-review

  228. Published

    Linear Probability Forecasting

    Zhdanov, F. & Kalnishkan, Y., 2010, Artificial Intelligence Applications and Innovations, AIAI 2010, Proceedings: vol 339 of IFIP Advances in Information and Communication Technology. Springer, p. 4-11 (IFIP Advances in Information and Communication Technology; vol. 339).

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

  229. Published

    Note on Maximal Bisection above Tight Lower Bound

    Gutin, G. & Yeo, A., 2010, In: Information Processing Letters. 110, 21, p. 966-969 4 p.

    Research output: Contribution to journalArticlepeer-review

  230. Published

    On Ultrametric Algorithmic Information

    Murtagh, F., 2010, In: The Computer Journal. 53, 4, p. 405-416

    Research output: Contribution to journalArticlepeer-review

  231. Published

    Parameterised Multiparty Session Types

    Yoshida, N., Denielou, P-M., Bejleri, A. & Hu, R., 2010, FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS. Ong, L. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 128-145 18 p.

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

  232. Unpublished

    Parameterized Algorithms On Digraph and Constraint Satisfaction Problems

    Kim, E. J., 2010, (Unpublished) 140 p.

    Research output: ThesisDoctoral Thesis

  233. Published

    Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems

    Kratsch, S., Marx, D. & Wahlström, M., 2010, Mathematical Foundations of Computer Science 2010 : 35th International Symposium, MFCS 2010. Hlinený, P. & Kucera, A. (eds.). Brno, Czech Republic: Springer, Vol. 6281. p. 489-500 12 p. (Lecture Notes in Computer Science).

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

  234. Published

    Parameterized Complexity Results for General Factors in Bipartite Graphs

    Gutin, G., Kim, E. J., Szeider, S., Soleimanfallah, A. & Yeo, A., 2010.

    Research output: Contribution to conferencePaper

  235. Published

    Peptides generated ex vivo from serum proteins by tumour-specific exopeptidases are not useful biomarkers in ovarian cancer

    Timms, J. F., Cramer, R., Camuzeaux, S., Tiss, A., Smith, C., Burford, B., Nouretdinov, I., Devetyarov, D., Gentry-Maharaj, A., Ford, J., Luo, Z., Gammerman, A., Menon, U. & Jacobs, I., 2010, In: Clinical Chemistry. 56, p. 262-271

    Research output: Contribution to journalArticlepeer-review

  236. Published

    Playing with Agent Coordination Patterns in MAGE

    Urovi, V. & Stathis, K., 2010, Lecture Notes in Computer Science. Springer, Vol. 6069. p. 86-101 16 p.

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

  237. Published

    Polynomial Time Learning of Some Multiple Context-Free Languages with a Minimally Adequate Teacher

    Yoshinaka, R. & Clark, A., 2010, Proceedings of Formal Grammar.

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

  238. Published

    Precise static analysis of untrusted driver binaries

    Kinder, J. & Veith, H., 2010, Proc. 10th Int. Conf. Formal Methods in Computer Aided Design (FMCAD 2010). p. 43-50

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

  239. Published

    Prediction with advice of unknown number of experts

    Chernov, A. & Vovk, V., 2010, Proceedings of the Twenty Sixth Conference on Uncertainty in Articial Intelligence. Grunwald, P. & Spirtes, P. (eds.). Arlington, VA: AUAI Press, p. 117-125 9 p.

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

  240. Published

    Prediction with Confidence Based on a Random Forest Classifier

    Devetyarov, D. & Nouretdinov, I., 2010, Aritificial Intelligence and Innovations: Proceedings od 6th IFIP WG 12.5 International Conference. p. 37-44 8 p.

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

  241. Published

    Predictions controlees en apprentissage automatique

    Gammerman, A. & Vovk, V., 2010, In: La Revue Modulad. 42, p. 16-33 18 p.

    Research output: Contribution to journalArticle

  242. Published

    Preprocessing of Min Ones Problems: A Dichotomy

    Kratsch, S. & Wahlström, M., 2010, Automata, Languages and Programming : 37th International Colloquium, ICALP 2010. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Bordeaux, France: Springer, Vol. 6198. p. 653-665 13 p. (Lecture Notes in Computer Science).

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

  243. Published

    Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2010: Foreword

    Aguilera, M. K., Shapiro, M., Vigfusson, Y. & Chockler, G., 2010, Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2010.

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

  244. Published

    Proving memory safety of floating-point computations by combining static and dynamic program analysis

    Godefroid, P. & Kinder, J., 2010, Proc. 19th Int. Symp. Software Testing and Analysis (ISSTA 2010). ACM, p. 1-12

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

  245. Published

    Randomized Rounding for Routing and Covering Problems: Experiments and Improvements

    Doerr, B., Künnemann, M. & Wahlström, M., 2010, Experimental Algorithms : 9th International Symposium, SEA 2010. Festa, P. (ed.). Naples, Italy: Springer, Vol. 6049. p. 190-201 12 p. (Lecture Notes in Computer Science).

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

  246. Published

    Regional consecutive leader election in mobile ad-hoc networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2010, Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, Cambridge, Massachusetts, USA, September 16, 2010. p. 81-90 10 p.

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

  247. Published

    Reliable complex event detection for pervasive computing

    O'Keeffe, D. & Bacon, J., 2010, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, Cambridge, United Kingdom, July 12-15, 2010. p. 73-84 12 p.

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

  248. Published

    SCPS: a fast implementation of a spectral method for detecting protein families on a genome-wide scale

    Nepusz, T., Sasidharan, R. & Paccanaro, A., 2010, In: BMC Bioinformatics. 11, p. 120

    Research output: Contribution to journalArticlepeer-review

  249. Published

    Solving MAX-r-SAT Above a Tight Lower Bound

    Alon, N., Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., 2010, p. 158--169.

    Research output: Contribution to conferencePaperpeer-review

  250. Published

    Some mathematical refinements concerning error minimization in the genetic code

    Buhrman, H., Gulik, P. T. S. V. D., Kelk, S. M., Koolen, W. M. & Stougie, L., 2010, In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB).

    Research output: Contribution to journalArticlepeer-review

  251. Published

    Sparse Image and Signal Processing: Wavelets, Curvelets, Morphological Diversity

    Murtagh, F., Starck, J-L. & Fadili, J., 2010, Cambridge: Cambridge University Press. 336 p.

    Research output: Book/ReportBook

  252. Published

    Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction

    Sadri, F. & Stathis, K., 2010, In: The Computer Journal. 53, 8, p. 1136-1137 2 p.

    Research output: Contribution to journalEditorialpeer-review

  253. Published

    Strong Transversals in Hypergraphs and Double Total Domination in Graphs

    Henning, M. A. & Yeo, A., 2010, In: SIAM Journal on Discrete Mathematics. 24, 4, p. 1336-1355

    Research output: Contribution to journalArticlepeer-review

  254. Published

    Study of a QCM Dimethyl Methylphosphonate sensor based on a ZnO-Modified nanowire-structured manganese dioxide film

    Pei, Z., Ma, X., Ding, P., Zhang, W., Luo, Z. & Li, G., 2010, In: Sensors. 10, 9, p. 8275-8290

    Research output: Contribution to journalArticlepeer-review

  255. Published

    Systems of Linear Equations over F-2 and Problems Parameterized above Average

    Crowston, R., Gutin, G., Jones, M., Kim, E. J. & Ruzsa, I. Z., 2010, In: ALGORITHM THEORY - SWAT 2010, PROCEEDINGS. 6139, p. 164-175 12 p.

    Research output: Contribution to journalArticlepeer-review

  256. Published

    Tag Clouds for Displaying Semantics: The Case of Filmscripts

    Murtagh, F., Ganz, A. & Reddington, J., 2010, In: Information Visualization . 9, 4, p. 253-262 10 p.

    Research output: Contribution to journalArticlepeer-review

  257. Published

    The Complexity of Model Checking (Collapsible) Higher‐Order Pushdown Systems

    Hague, M. & Lin, A., 2010, FSTTCS: Foundations of Software Technology and Theoretical Computer Science.

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

  258. Published

    The Correspondence Analysis Platform for Uncovering Deep Structure in Data and Information

    Murtagh, F., 2010, In: The Computer Journal. 53, 3, p. 304-315 11 p.

    Research output: Contribution to journalArticlepeer-review

  259. Published

    The Handbook of Computational Linguistics and Natural Language Processing

    Clark, A. (ed.), Fox, C. (ed.) & Lappin, S. (ed.), 2010, Wiley-Blackwell.

    Research output: Book/ReportBook

  260. Published

    Three learnable models for the description of language

    Clark, A. & Adrian-Horia Dediu Henning Fernau, C. M-V. (ed.), 2010, Language and Automata Theory and Applications. p. 16--31

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

  261. Published

    Towards Distributed Agent Environments for Pervasive Healthcare

    Bromuri, S., Schumacher, M. & Stathis, K., 2010, p. 125-137. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  262. Published

    Towards Runtime Support for Norm-Governed Multi-Agent Systems

    Urovi, V., Bromuri, S., Stathis, K. & Artikis, A., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. Lin, F., Sattler, U. & Truszczynski, M. (eds.). AAAI Press

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

  263. Published

    Towards Self-Managing Systems Inspired by Economic Organizations

    Arnautovic, E., Vallee, M., Rehm, S-V., Muethel, M., Mulvenna, M., Baumgarten, M., Karyotis, V., Papavassiliou, S., Hadjiantonis, A. M. & Stathis, K., 2010, p. -. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  264. Published

    Type-Theoretical Semantics with Coercive Subtyping

    Luo, Z., 2010, Semantics and Linguistic Theory. Vol. 20. p. 38-56 19 p.

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

  265. Published

    Unsupervised Learning and Grammar Induction

    Clark, A. & Lappin, S., 2010, The Handbook of Computational Linguistics and Natural Language Processing. Clark, A., Fox, C. & Lappin, S. (eds.). Wiley-Blackwell, p. 197-220 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  266. Published

    Using NLG and sensors to support personal narrative for children with complex communication needs

    Black, R., Reddington, J., Reiter, E., Tintarev, N. & Waller, A., 2010, Proceedings of the NAACL HLT 2010 Workshop on Speech and Language Processing for Assistive Technologies. p. 1-9 9 p.

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

  267. Published

    What happened to my commitment? Exception diagnosis among misalignment and misbehavior

    Kafali, O., Chesani, F. & Torroni, P., 2010, Computational Logic in Multi-Agent Systems (CLIMA XI). Vol. 6245. p. 82-98 17 p. (LNCS).

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

  268. 2009
  269. Published

    Jeffreys's law for general games of prediction: in search of a theory

    P. Dawid, A. & G. Vovk, V., 22 Dec 2009.

    Research output: Working paper

  270. Published

    Test martingales, Bayes factors, and p-values

    Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 21 Dec 2009.

    Research output: Working paper

  271. Published

    Algorithms for generating convex sets in acyclic digraphs

    Balister, P., Gerke, S., Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., Dec 2009, In: Journal of Discrete Algorithms. 7, 4, p. 509–518 10 p.

    Research output: Contribution to journalArticlepeer-review

  272. Published

    Merging of opinions in game-theoretic probability

    Vovk, V., Dec 2009, In: Annals of the Institute of Statistical Mathematics. 61, 4, p. 969-993 25 p.

    Research output: Contribution to journalArticlepeer-review

  273. Published

    Prediction With Expert Advice For The Brier Game

    Vovk, V. & Zhdanov, F., Nov 2009, In: Journal of Machine Learning Research. 10, p. 2445-2471 27 p.

    Research output: Contribution to journalArticlepeer-review

  274. Published

    Competing with Gaussian linear experts

    Zhdanov, F. & Vovk, V., 24 Oct 2009.

    Research output: Working paper

  275. Published

    From Architectural to Behavioural Specification of Services

    Bocchi, L., Fiadeiro, J. L., Lapadula, A., Pugliese, R. & Tiezzi, F., 6 Oct 2009, In: Electronic Notes in Theoretical Computer Science. 253, 1, p. 3-21 19 p.

    Research output: Contribution to journalArticlepeer-review

  276. Published

    Game-based e-retailing in GOLEM agent environments

    Bromuri, S., Urovi, V. & Stathis, K., Oct 2009, In: Pervasive and Mobile Computing. 5, 5, p. 623-638

    Research output: Contribution to journalArticlepeer-review

  277. Published

    Special Issue: Reinforcement Learning Preface

    Stathis, K., Garcez, A. DA. & Givan, R., Oct 2009, In: Journal of Algorithms. 64, 4, p. 125-126 2 p.

    Research output: Contribution to journalEditorialpeer-review

  278. Published

    Some mathematical refinements concerning error minimization in the genetic code

    Buhrman, H., T. S. van der Gulik, P., M. Kelk, S., M. Koolen, W. & Stougie, L., 8 Sep 2009.

    Research output: Working paper

  279. Published

    Two Edge Modification Problems without Polynomial Kernels

    Kratsch, S. & Wahlström, M., 1 Sep 2009, Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009. Chen, J. & Fomin, F. V. (eds.). Denmark, Copenhagen: Springer, Vol. 5917. p. 264-275 12 p. (Lecture Notes in Computer Science).

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

  280. Unpublished

    Improvements to instruction identification for custom instruction set design

    Reddington, J., 31 Aug 2009, (Unpublished) 225 p.

    Research output: ThesisDoctoral Thesis

  281. Published

    Time-bounded incompressibility of compressible strings and sequences

    Daylight, E. G., Koolen, W. M. & Vitányi, P. M. B., 1 Aug 2009, In: Information Processing Letters. 109, 18, p. 1055 - 1059

    Research output: Contribution to journalArticlepeer-review

  282. Published

    Implementation of a component-by-component algorithm to generate small low-discrepancy samples

    Doerr, B., Gnewuch, M. & Wahlström, M., 1 Jul 2009, Monte Carlo and Quasi-Monte Carlo Methods 2008. L'Ecuyer, P. & Owen, A. B. (eds.). Montreal, Canada: Springer, p. 323-338 16 p.

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

  283. Published

    Bayesian network models for hierarchical text classification from a thesaurus

    de Campos, L. M. & Romero, A. E., Jul 2009, In: International Journal of Approximate Reasoning. 50, 7, p. 932-944 13 p.

    Research output: Contribution to journalArticlepeer-review

  284. Published

    Toward a cloud computing research agenda

    Birman, K., Chockler, G. & van Renesse, R., 1 Jun 2009, In: SIGACT News. 40, 2, p. 68-80 13 p.

    Research output: Contribution to journalArticlepeer-review

  285. Published

    On-line predictive linear regression

    Vovk, V., Nouretdinov, I. & Gammerman, A., Jun 2009, In: The Annals of Statistics. 37, 3, p. 1566-1590 25 p.

    Research output: Contribution to journalArticlepeer-review

  286. Published

    Regulatory processes underscoring the light control of shoot meristem activity and leaf initiation

    Lopez Juez, E., Dillon, E., Magyar, Z., Khan, S., Hazeldine, S., Murray, J. A., Beemster, G. T., Bogre, L. & Shanahan, H., Jun 2009, p. S205-S205. 1 p.

    Research output: Contribution to conferenceAbstractpeer-review

  287. Published
  288. Published
  289. Published

    Levy's zero-one law in game-theoretic probability

    Shafer, G., Vovk, V. & Takemura, A., 3 May 2009.

    Research output: Working paper

  290. Published

    Serum Proteomic Abnormality Predating Screen Detection of Ovarian Cancer

    Gammerman, A., Vovk, V., Burford, B., Nouretdinov, I., Luo, Z., Chervonenkis, A., Waterfield, M., Cramer, R., Tempst, P., Villanueva, J., Kabir, M., Camuzeaux, S., Timms, J., Menon, U. & Jacobs, I., May 2009, In: The Computer Journal. 52, 3, p. 326-333 8 p.

    Research output: Contribution to journalArticlepeer-review

  291. Published

    Continuous-time trading and the emergence of probability

    Vovk, V., 28 Apr 2009.

    Research output: Working paper

  292. Published

    The genome sequence of taurine cattle: a window to ruminant biology and evolution

    Elsik, C. G., Tellam, R. L., Worley, K. C., Gibbs, R. A., Muzny, D. M., Weinstock, G. M., Adelson, D. L., Eichler, E. E., Elnitski, L., Guigó, R., Hamernik, D. L., Kappes, S. M., Lewin, H. A., Lynn, D. J., Nicholas, F. W., Reymond, A., Rijnkels, M., Skow, L. C., Zdobnov, E. M., Schook, L. & 31 others, Womack, J., Alioto, T., Antonarakis, S. E., Astashyn, A., Chapple, C. E., Chen, H-C., Chrast, J., Câmara, F., Ermolaeva, O., Henrichsen, C. N., Hlavina, W., Kapustin, Y., Kiryutin, B., Kitts, P., Kokocinski, F., Landrum, M., Maglott, D., Pruitt, K., Sapojnikov, V., Searle, S. M., Solovyev, V., Souvorov, A., Ucla, C., Wyss, C., Anzola, J. M., Gerlach, D., Elhaik, E., Graur, D., Reese, J. T., Edgar, R. C. & Bovine Genome Sequencing and Analysis Consortium, 24 Apr 2009, In: Science. 324, 5926, p. 522-8 7 p.

    Research output: Contribution to journalArticlepeer-review

  293. Published

    The spread of awareness and its impact on epidemic outbreaks

    Funk, S., Gilad, E., Watkins, C. & Jansen, V. A. A., 21 Apr 2009, In: Proceedings of the National Academy of Sciences of the United States of America. 106, 16, p. 6872–6877 6 p.

    Research output: Contribution to journalArticlepeer-review

  294. Published
  295. Published

    Another look at indirect negative evidence

    Clark, A. & Lappin, S., 1 Mar 2009.

    Research output: Contribution to conferencePaperpeer-review

  296. Published

    Convex Sets in Acyclic Digraphs

    Balister, P., Gerke, S. & Gutin, G., Mar 2009, In: Order: a Journal on the Theory of Ordered Sets and its Applications. 26, 1, p. 95-100 6 p.

    Research output: Contribution to journalArticlepeer-review

  297. Published

    Prediction with expert evaluators' advice

    Chernov, A. & Vovk, V., 24 Feb 2009.

    Research output: Working paper

  298. Published

    Quantifying environmental adaptation of metabolic pathways in metagenomics

    Gianoulis, T. A., Raes, J., Patel, P. V., Bjornson, R., Korbel, J. O., Letunic, I., Yamada, T., Paccanaro, A., Jensen, L. J., Snyder, M., Bork, P. & Gerstein, M. B., 3 Feb 2009, In: Proceedings of the National Academy of Sciences of the United States of America. 106, 5, p. 1374–1379 6 p.

    Research output: Contribution to journalArticlepeer-review

  299. Published

    Superefficiency from the Vantage Point of Computability

    Vovk, V., Feb 2009, In: Statistical Science. 24, 1, p. 73-86 14 p.

    Research output: Contribution to journalArticlepeer-review

  300. Published

    The Structure of Narrative: the Case of Film Scripts

    Murtagh, F., Ganz, A. & McKie, S., Feb 2009, In: Pattern Recognition. 42, 2, p. 302-312 11 p.

    Research output: Contribution to journalArticlepeer-review

  301. Published

    A model-checking approach for service component architectures

    Abreu, J., Fiadeiro, J. L., Mazzanti, F. & Gnesi, S., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5522 LNCS. p. 219-224 6 p.

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

  302. Published

    A note about norbert wiener and his contribution to harmonic analysis and tauberian theorems

    Almira, J. M. & Romero, A. E., 1 Jan 2009, AIP Conference Proceedings. Vol. 1124. p. 19-28 10 p.

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

  303. Published

    A volume-based heat-diffusion classifier

    Yang, H., Lyu, M. R. & King, I., 1 Jan 2009, In: IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 39, 2, p. 417-430 14 p.

    Research output: Contribution to journalArticlepeer-review

  304. Published

    New utility models for the garnata information retrieval system at INEX'08

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Martín-Dancausa, C. & Romero, A. E., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5631 LNCS. p. 39-45 7 p.

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

  305. Published

    Probabilistic methods for link-based classification at INEX 2008

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5631 LNCS. p. 453-459 7 p.

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

  306. Published

    Reliable distributed storage

    Chockler, G., Guerraoui, R., Keidar, I. & Vukolić, M., 1 Jan 2009, In: IEEE Computer. 42, 4, p. 60-67 8 p.

    Research output: Contribution to journalArticlepeer-review

  307. Published

    Semi-nonnegative matrix factorization with global statistical consistency for collaborative filtering

    Ma, H., King, I., Lyu, M. R. & Yang, H., 1 Jan 2009, International Conference on Information and Knowledge Management, Proceedings. p. 767-775 9 p.

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

  308. Published

    Reconfigurable distributed storage for dynamic networks

    Chockler, G., Gilbert, S., Gramoli, V., Musial, P. M. & Shvartsman, A. A., Jan 2009, In: Journal of Parallel and Distributed Computing. 69, 1, p. 100-116 17 p.

    Research output: Contribution to journalArticlepeer-review

  309. Published

    A Faster Fixed-Parameter Approach to Drawing Binary Tanglegrams

    Böcker, S., Hüffner, F., Truss, A. & Wahlström, M., 2009, Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009. Chen, J. & Fomin, F. V. (eds.). Copenhagen, Denmark: Springer, Vol. 5917. p. 38-49 12 p. (Lecture Notes in Computer Science).

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

  310. Published

    A learnable representation for syntax using residuated lattices

    Clark, A., 2009, Proceedings of the Conference on Formal Grammar.

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

  311. Published

    A note on Contextual Binary Feature Grammars

    Clark, A., Eyraud, R. & Habrard, A., 2009.

    Research output: Contribution to conferencePaperpeer-review

  312. Published

    A polynomial kernel for Multicut In Trees

    Bousquet, N., Daligault, J., Thomasse, S. & Yeo, A., 2009, p. 183--194.

    Research output: Contribution to conferencePaper

  313. Published

    ACM International Conference Proceeding Series: Foreword

    Allalouf, M., Ben-Yehuda, M., Factor, M., Feitelson, D. & Chockler, G., 2009, Proceedings of SYSTOR '09: ACM International Conference Proceeding Series.

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

  314. Published

    Adapting Reinforcement Learning For Trust: Effective Modeling in Dynamic Environments (Short Paper)

    Kafali, O. & Yolum, P., 2009, IEEE / WIC / ACM International Conference on Web Intelligence. p. 383-386 4 p.

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

  315. Published

    An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

    Kinder, J., Zuleger, F. & Veith, H., 2009, Proc. 10th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2009). Springer, p. 214-228

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

  316. Published

    Analysis of Data Reduction: Transformations give evidence for non-existence of polynomial kernels

    Bodlaender, H. L., Thomasse, S. & Yeo, A., 2009, p. 635--646.

    Research output: Contribution to conferencePaper

  317. Published

    Application of Inductive Confidence Machine to ICMLA competition data

    Nouretdinov, I., Burford, B. & Gammerman, A., 2009, Proceedings of The Eighth International Conference on Machine Learning and Applications. p. 435-438 4 p.

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

  318. Published

    Arguing over Motivations within the V3A-Architecture for Self-Adaptation

    Morge, M., Stathis, K. & Vercouter, L., 2009, ICAART 2009: Proceedings of the International Conference on Agents and Artificial Intelligence. SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL, p. 214-219 6 p.

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

  319. Published

    BBOB: Nelder-Mead with resize and halfruns

    Doerr, B., Fouz, M., Schmidt, M. & Wahlström, M., 2009, Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference (GECCO 2009). Rothlauf, F. (ed.). Montreal, Québec, Canada: ACM, p. 2239-2246 8 p.

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

  320. Published

    Better Than Optimal: Fast Identification of Custom Instruction Candidates

    Reddington, J., Gutin, G., Johnstone, A., Scott, E. & Yeo, A., 2009, CSE '09: International Conference on Computational Science and Engineering, 2009. Vol. 2. p. 17-24 8 p.

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

  321. Published

    Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement

    Biely, M., Robinson, P. & Schmid, U., 2009, Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer Berlin / Heidelberg, p. 360-361 2 p.

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

  322. Published

    Can we improve on the identification of transcription factor binding sites?

    Shanahan, H. P., 2009, p. 39-40. 2 p.

    Research output: Contribution to conferenceOther

  323. Published

    Coercive Subtyping in Lambda-Free Logical Frameworks

    Adams, R., 2009, Proceedings of the Fourth international Workshop on Logical Frameworks and Meta-Languages. Cheney, J. & Felty, A. (eds.). New York: ACM, p. 30-39 10 p.

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

  324. Published

    Conditional prediction intervals for linear regression

    McCullagh, P., Vovk, V., Nouretdinov, I., Devetyarov, D. & Gammerman, A., 2009, Proceedings of the International Conference on Machine Learning and Applications. p. 131-138 8 p.

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

  325. Published

    Confidence Machine and its application to medical diagnosis

    Devetyarov, D., Nouretdinov, I. & Gammerman, A., 2009, International Conference on Bioinformatics and Computational Biology. p. 448-454 7 p.

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

  326. Published

    Confidence Predictions for the Diagnosis of Acute Abdominal Pain

    Papadopoulos, H., Gammerman, A. & Vovk, V., 2009, Artificial Intelligence Applications & Innovations III. Iliadis, L., Vlahavas, I. & Bramer, M. (eds.). Springer, Vol. 296. p. 175-184 10 p. (IFIP International Federation for Information Processing; vol. 296).

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

  327. Published

    Continuous-time trading and the emergence of randomness

    Vovk, V., 2009, In: Stochastics: an international journal of probablitiy and stochastic processes. 81, 5, p. 455-466 12 p.

    Research output: Contribution to journalArticlepeer-review

  328. Published

    Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

    Bhargavan, K., Corin, R., Denielou, P-M., Fournet, C. & Leifer, J. J., 2009, PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM. LOS ALAMITOS: IEEE COMPUTER SOC, p. 124-140 17 p.

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

  329. Published

    Defending financial infrastructures through early warning systems: The intelligent cloud approach

    Lodi, G., Querzoni, L., Baldoni, R., Marchetti, M., Colajanni, M., Bortnikov, V., Chockler, G., Dekel, E., Laventman, G. & Roytman, A., 2009, Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (CSIIRW '09).

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

  330. Published

    Dependent record types revisited

    Luo, Z., 2009, Modules and Libraries for Proof Assistants (MLPA'09), ACM Inter. Conf. Proceeding Series. Vol. 429.

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

  331. Published

    Distributed agent environments in the Ambient Event Calculus

    Bromuri, S., Stathis, K., Gokhale, A. S. (ed.) & Schmidt, D. C. (ed.), 2009.

    Research output: Contribution to conferencePaperpeer-review

  332. Published

    From Data to the p-Adic or Ultrametric Model

    Murtagh, F., 2009, In: p-Adic Numbers, Ultrametric Analysis and Applications. 1, p. 58-68

    Research output: Contribution to journalArticlepeer-review

  333. Published

    Global functional atlas of Escherichia coli encompassing previously uncharacterized proteins

    Hu, P., Janga, S. C., Babu, M., Díaz-Mejía, J. J., Butland, G., Yang, W., Pogoutse, O., Guo, X., Phanse, S., Wong, P., Chandran, S., Christopoulos, C., Nazarians-Armavil, A., Nasseri, N. K., Musso, G., Ali, M., Nazemof, N., Eroukova, V., Golshani, A., Paccanaro, A. & 3 others, Greenblatt, J. F., Moreno-Hagelsieb, G. & Emili, A., 2009, In: PLoS Biology. 7, 4, p. e96

    Research output: Contribution to journalArticlepeer-review

  334. Published

    How many extant pinniped species remain to be descibed ?

    Shanahan, H., Woodley, M. & M., N., 2009, In: Historical Biology. 20, 4, p. 225-235

    Research output: Contribution to journalArticlepeer-review

  335. Published

    Manifest fields and module mechanisms in intensional type theory

    Luo, Z., 2009, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'08. LNCS 5497. p. 237-255 18 p.

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

  336. Published

    Migrating Legacy Systems to Service-Oriented Architectures

    Matos, C. & Heckel, R., 2009, In: Electronic Communications of the EASST. 16, p. 1-16 16 p.

    Research output: Contribution to journalArticlepeer-review

  337. Published

    Minimum Cost Homomorphism Dichotomy for Oriented Cycles

    Gutin, G., Rafiey, A. & Yeo, A., 2009, In: Graphs and Combinatorics. 25, 4, p. 521-531 11 p.

    Research output: Contribution to journalArticlepeer-review

  338. Published

    Minimum Leaf Out-branching and Related Problems

    Gutin, G., Razgon, I. & Kim, E. J., 2009, In: Theoretical Computer Science. 410, p. 4571-4579

    Research output: Contribution to journalArticlepeer-review

  339. Published

    New Plain-Exponential Time Classes for Graph Homomorphism

    Wahlström, M., 2009, Computer Science - Theory and Applications : 4th International Computer Science Symposium in Russia, CSR 2009. Frid, A., Morozov, A., Rybalchenko, A. & Wagner, K. W. (eds.). Novosibirsk, Russia: Springer, Vol. 5675. p. 346-355 10 p. (Lecture Notes in Computer Science).

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

  340. Published

    On complexity of Minimum Leaf Out-Branching problem

    Dankelmann, P., Gutin, G. & Kim, E. J., 2009, In: Discrete Applied Mathematics. 157, p. 3000-3004

    Research output: Contribution to journalArticlepeer-review

  341. Published

    On the number of connected convex subgraphs of a connected acyclic graph

    Gutin, G. & Yeo, A., 2009, In: Discrete Applied Mathematics. 157, p. 1660-1662 3 p.

    Research output: Contribution to journalArticlepeer-review

  342. Published

    Online Prediction of Ovarian Cancer

    Zhdanov, F., Vovk, V., Burford, B., Devetyarov, D., Nouretdinov, I. & Gammerman, A., 2009, Proceedings of the 12th Conference on Artificial Intelligence in Medicine. p. 375-379 5 p.

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

  343. Published

    Prediction of long-range dependent time series data with performance guarantee

    Dashevskiy, M. & Luo, Z., 2009, Stochastic Algorithms: Foundations and Applications, Lecture Notes in Computer Science. Vol. 5792. p. 31-45

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

  344. Published

    Prediction with Expert Evaluators' Advice

    Chernov, A. & Vovk, V., 2009, Proceedings of the Twentieth International Conference on Algorithmic Learning Theory. Gavalda, R., Lugosi, G., Zeugmann, T. & Zilles, S. (eds.). Springer, p. 8-22 15 p. (Lecture Notes in Artificial Intelligence; vol. 5809).

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

  345. Published

    Predictions with confidence in applications,

    Dashevskiy, M. & Luo, Z., 2009, Lecture Notes in Computer Science. Vol. 5632. p. 775-786

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

  346. Published

    Prequential probability: game-theoretic = measure-theoretic

    Vovk, V., 2009, Proceedings of the 2009 Joint Statistical Meetings: Section on Risk Analysis, Session on Predictive and Prequential Statistics. Alexandria, VA: American Statistical Association, p. 3859-3872 14 p.

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

  347. Published

    Proximity-1 simulating the CCSDS Proximity-1 protocol for ExoMars

    Blommestijn, R., Lange, J., Taylor, C. & Winton, A., 2009, Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace. (European Space Agency, (Special Publication) ESA SP; vol. 669 SP).

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

  348. Published

    Randomized Rounding in the Presence of a Cardinality Constraint

    Doerr, B. & Wahlström, M., 2009, 2009 Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments (ALENEX). Finocchi, I. & Hershberger, J. (eds.). New York, USA: SIAM, p. 162-174 13 p.

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

  349. Published

    Reliable diagnosis of acute abdominal pain with conformal prediction

    Papadopoulos, H., Gammerman, A. & Vovk, V., 2009, In: International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications. 17, 2-3, p. 127-137 11 p.

    Research output: Contribution to journalArticlepeer-review

  350. Published

    Reliable Probabilistic Classification of Internet Traffic

    Dashevskiy, M. & Luo, Z., 2009, In: International Journal of Information Acquisition. 6, 2, p. 133-146 14 p.

    Research output: Contribution to journalArticlepeer-review

  351. Published

    Saturation Methods for Global Model‐Checking Pushdown Systems

    Hague, M., 2009

    Research output: ThesisDoctoral Thesis

  352. Published

    Scale-Based Gaussian Coverings: Combining Intra and Inter Mixture Models in Image Segmentation

    Murtagh, F., Contreras, P. & Starck, J-L., 2009, In: Entropy. 11, 3, p. 513-528 13 p.

    Research output: Contribution to journalArticlepeer-review

  353. Published

    SedLog: A shareware program for drawing graphic logs and log data manipulation

    Zervas, D., Nichols, G. J., Hall, R., Smyth, H. R., Lüthje, C. & Murtagh, F., 2009, In: Computers & Geosciences. 35, 10, p. 2151-2159

    Research output: Contribution to journalArticlepeer-review

  354. Published

    Solving SAT for CNF formulas with a one-sided variable occurrence restriction

    Johannsen, D., Razgon, I. & Wahlström, M., 2009, Theory and Applications of Satisfiability Testing, SAT 2009 : 12th International Conference, SAT 2009. Kullmann, O. (ed.). Swansea, Wales, United Kingdom: Springer, Vol. 5584. p. 80-85 6 p. (Lecture Notes in Computer Science).

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

  355. Published

    Some complexity problems on single input double output controllers

    Hangos, K. M., Tuza, Z. & Yeo, A., 2009, In: Discrete Applied Mathematics. 157, p. 1146-1158 13 p.

    Research output: Contribution to journalArticlepeer-review

  356. Published

    Spanning directed trees with many leaves

    Alon, N., Fomin, F., Gutin, G., Krivelevich, M. & Saurabh, S., 2009, In: SIAM Journal on Discrete Mathematics. 23, p. 466–-476

    Research output: Contribution to journalArticlepeer-review

  357. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J. L., Rajper, N. & Reiff-Marganiec, S., 2009, FAVO. Vol. 16. p. 26-40 15 p. (EPTCS).

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

  358. Published

    Swarm intelligence based dynamic routing and wavelength assignment for wavelength constrained all-optical networks

    Hassan, A., Luo, Z. & Phillips, C., 2009, Proceedings of the 9th international conference on Communications and information technologies . IEEE, p. 987-992

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

  359. Published

    Symmetry in Data Mining and Analysis: A Unifying View based on Hierarchy

    Murtagh, F., 2009, In: Proceedings of the Steklov Institute of Mathematics. 265, p. 177-198 22 p.

    Research output: Contribution to journalArticlepeer-review

  360. Published

    The expressive power of binary submodular functions

    Zivný, S., Cohen, D. A. & Jeavons, P. G., 2009, In: Discrete Applied Mathematics. 157, 15, p. 3347-3358 12 p.

    Research output: Contribution to journalArticlepeer-review

  361. Published

    The Expressive Power of Binary Submodular Functions

    Zivný, S., Cohen, D. A. & Jeavons, P. G., 2009, MFCS 2009. p. 744-757

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

  362. Published

    The Proof Complexity of Polynomial Identities

    Hrubes, P. & Tzameret, I., 2009, Proceedings of the 24th IEEE Conference on Computational Complexity (CCC). IEEE Computer Society Press, p. 41-51 11 p.

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

  363. Published

    The Remarkable Simplicity of Very High Dimensional Data: Application of Model-Based Clustering

    Murtagh, F., 2009, In: Journal of Classification. 26, 3, p. 249-277 28 p.

    Research output: Contribution to journalArticlepeer-review

  364. Published

    Thesaurus Based Automatic Indexing: Chapter XX

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2009, Handbook of Research on Text and Web Mining Technologies. Min, S. & Yi-fang, B. W. (eds.). IGI Global, Vol. 1. p. 331-345 15 p. (Information Science Reference).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  365. Published

    Total domination in 2-connected graphs and in graphs with no induced 6-cycles

    Henning, M. & Yeo, A., 2009, In: Journal of Graph Theory. 60, p. 55-79 25 p.

    Research output: Contribution to journalArticlepeer-review

  366. Published

    Total domination in partitioned graphs

    Frendrup, A., Vestergaard, P. D. & Yeo, A., 2009, In: Graphs and Combinatorics. 25, 2, p. 181-196 16 p.

    Research output: Contribution to journalArticlepeer-review

  367. Published

    Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement

    Biely, M., Robinson, P. & Schmid, U., 2009, Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. p. 285-299 15 p.

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

  368. Published

    Winning Regions of Pushdown Parity Games: A Saturation Method

    Hague, M. & Ong, C-H. L., 2009, Concur: Concurrency Theory.

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

  369. 2008
  370. Published

    The expressive power of valued constraints: Hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Živný, S., 6 Dec 2008, In: Theoretical Computer Science. 409, 1, p. 137-153 17 p.

    Research output: Contribution to journalArticlepeer-review

  371. Published

    Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

    Hague, M. & Ong, C-H. L., 5 Dec 2008, In: Logical Methods in Computer Science. 4, 4, p. 1-45 45 p., 14.

    Research output: Contribution to journalArticlepeer-review

  372. Published

    Kolmogorov Complexity Theory over the Reals

    Ziegler, M. & Koolen, W. M., 1 Dec 2008, In: Electronic Notes in Theoretical Computer Science. 221, p. 153-169 17 p.

    Research output: Contribution to journalArticlepeer-review

  373. Published

    Computational Logic Foundations of KGP Agents

    Kakas, A., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., Nov 2008, In: Journal of Artificial Intelligence Research. 33, p. 285-348

    Research output: Contribution to journalArticlepeer-review

  374. Published

    Leading strategies in competitive on-line prediction

    Vovk, V., 17 Oct 2008, In: Theoretical Computer Science. 405, 3, p. 285-296 12 p.

    Research output: Contribution to journalArticlepeer-review

  375. Published

    Between the Information Economy and Student Recruitment: Present Conjuncture and Future Prospects

    Murtagh, F., Oct 2008, In: UPGRADE: The European journal for the informatics professional. IX, 5, p. 56-64

    Research output: Contribution to journalArticlepeer-review

  376. Published

    Predicting clinical outcome in patients diagnosed with synchronous ovarian and endometrial cancer

    Ramus, S. J., Elmasry, K., Luo, Z., Gammerman, A., Lu, K., Ayhan, A., Singh, N., McCluggage, G., Jacobs, I. J., Whittaker, J. C. & Gayther, S. A., 15 Sep 2008, In: Clinical Cancer Research. 14, 18, p. 5840-5848

    Research output: Contribution to journalArticlepeer-review

  377. Published

    A Polynomial Algorithm for the Inference of Context Free Languages

    Clark, A., Eyraud, R. & Habrard, A., 1 Sep 2008, p. 29--42.

    Research output: Contribution to conferencePaperpeer-review

  378. Published

    The game-theoretic capital asset pricing model

    Vovk, V. & Shafer, G., Sep 2008, In: International Journal of Approximate Reasoning. 49, 1, p. 175-197 23 p.

    Research output: Contribution to journalArticlepeer-review

  379. Published

    Superefficiency from the Vantage Point of Computability

    Vovk, V., 16 Aug 2008.

    Research output: Working paper

  380. Published

    A unified theory of structural tractability for constraint satisfaction problems

    Cohen, D., Jeavons, P. & Gyssens, M., Aug 2008, In: Journal of Computer and System Sciences. 74, 5, p. 721-743 23 p.

    Research output: Contribution to journalArticlepeer-review

  381. Published

    Coercions in a polymorphic type system

    Luo, Z., Aug 2008, In: Mathematical Structures in Computer Science. 18, 4, p. 729-751 23 p.

    Research output: Contribution to journalArticlepeer-review

  382. Published

    Virtual infrastructure for collision-prone wireless networks

    Chockler, G., Gilbert, S. & Lynch, N., Aug 2008, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. Toronto, ON, Canada: ACM, p. 233-242 10 p.

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

  383. Published

    Wavelet and curvelet moments for image classification: application to aggregate mixture grading

    Murtagh, F. & Starck, J-L., 15 Jul 2008, In: Pattern Recognition Letters. 29, 10, p. 1557-1564

    Research output: Contribution to journalArticlepeer-review

  384. Published

    Clinical mass spectrometry proteomic diagnosis by conformal predictors

    Gammerman, A., Nouretdinov, I., Burford, B., Chervonenkis, A., Vovk, V. & Luo, Z., Jul 2008, In: Statistical Applications in Genetics and Molecular Biology. 7, 2, 13.

    Research output: Contribution to journalArticlepeer-review

  385. Published

    Continuous-time trading and the emergence of volatility

    Vovk, V., 17 Jun 2008, In: Electronic Communications in Probability. 13, p. 319-324 6 p.

    Research output: Contribution to journalArticlepeer-review

  386. Published

    Combining Expert Advice Efficiently

    Koolen, W. M. & Rooij, S. D., 1 Jun 2008, Proceedings of the 21st Annual Conference on Learning Theory (COLT 2008). Servedio, R. & Zang, T. (eds.). p. 275-286 12 p.

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

  387. Published

    Consensus and collision detectors in radio networks

    Chockler, G., Demirbas, M., Gilbert, S., Lynch, N., Newport, C. & Nolte, T., Jun 2008, In: Distributed Computing. 21, 1, p. 55-84 30 p.

    Research output: Contribution to journalArticlepeer-review

  388. Published

    Geometric Data Analysis, From Correspondence Analysis to Structured Data Analysis (book review)

    Murtagh, F., Jun 2008, In: Journal of Classification. 25, 1

    Research output: Contribution to journalBook/Film/Article review

  389. Published

    R package PredictiveRegression

    Vovk, V. & Nouretdinov, I., Jun 2008

    Research output: Non-textual formSoftware

  390. Published

    Recognition of hypoxia with a preset confidence level based on EEG analysis

    Zhang, J., Li, G., Meng, H., Li, J. & Luo, Z., Jun 2008, IEEE International Joint Conference on Neural Networks, 2008. p. 3005-3008

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

  391. Published

    A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances

    Wahlström, M., 1 May 2008, 3rd International Workshop on Parameterized and Exact Computation (IWPEC 2008). Grohe, M. & Niedermeier, R. (eds.). Victoria (BC), Canada: Springer, Vol. 5018. p. 202-213 12 p. (Lecture Notes in Computer Science).

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

  392. Published

    A Dichotomy for Minimum Cost Graph Homomorphisms

    Gutin, G., Hell, P., Rafiey, A. & Yeo, A., May 2008, In: European Journal of Combinatorics. 29, 4, p. 900-911 12 p.

    Research output: Contribution to journalArticlepeer-review

  393. Published

    Domain permutation reduction for constraint satisfaction problems

    Green, M. J. & Cohen, D. A., May 2008, In: Artificial Intelligence. 172, 8-9, p. 1094-1118 25 p.

    Research output: Contribution to journalArticlepeer-review

  394. Published

    Distinct light-initiated gene expression and cell cycle programs in the shoot apex and cotyledons of Arabidopsis

    López-Juez, E., Dillon, E., Magyar, Z., Khan, S., Hazeldine, S., de Jager, S. M., Murray, J. A., Beemster, G. T., Bögre, L. & Shanahan, H., Apr 2008, In: Plant Cell. 20, 4, p. 947-968 22 p.

    Research output: Contribution to journalArticlepeer-review

  395. Published

    SPPF-Style Parsing From Earley Recognisers

    Scott, E., Apr 2008, In: Electronic Notes in Theoretical Computer Science. 203, 2, p. 53-67

    Research output: Contribution to journalArticlepeer-review

  396. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 26 Mar 2008.

    Research output: Working paper

  397. Published

    An Argumentative Model for Service-oriented Agents

    Morge, M., McGinnis, J., Bromuri, S., Mancarella, P. & Stathis, K., 1 Mar 2008, Proc. of the International Symposium on Architectures for Intelligent Theory-Based Agents. Balduccini, M. & Baral, C. (eds.). p. 6 1 p.

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

  398. Published

    A tutorial on conformal prediction

    Shafer, G. & Vovk, V., Mar 2008, In: Journal of Machine Learning Research. 9, p. 371-421 51 p.

    Research output: Contribution to journalArticlepeer-review

  399. Published

    Combining Expert Advice Efficiently

    Koolen, W. & de Rooij, S., 14 Feb 2008.

    Research output: Working paper

  400. Unpublished

    Kolmogorov Complexity Theory over the Reals

    Ziegler, M. & M. Koolen, W., 14 Feb 2008, (Unpublished).

    Research output: Working paper

  401. Published

    Game-theoretic Brownian motion

    Vovk, V., 8 Jan 2008, 17 p.

    Research output: Working paper

  402. Published

    A coordination model for service-oriented interactions

    Abreu, J. & Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5052 LNCS. p. 1-16 16 p.

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

  403. Published

    A secure compiler for session abstractions

    Corin, R., Deniélou, P-M., Fournet, C., Bhargavan, K. & Leifer, J., 1 Jan 2008, In: Journal of Computer Security. 16, 5, p. 573-636 64 p.

    Research output: Contribution to journalArticlepeer-review

  404. Published

    A use-case driven approach to formal service-oriented modelling

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Communications in Computer and Information Science. Vol. 17 CCIS. p. 155-169 15 p.

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

  405. Published

    Business process management

    Dustdar, S., Fiadeiro, J. L. & Sheth, A., 1 Jan 2008, In: Data and Knowledge Engineering. 64, 1

    Research output: Contribution to journalSpecial issuepeer-review

  406. Published

    From BPEL to SRML: A formal transformational approach

    Bocchi, L., Hong, Y., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS. p. 92-107 16 p.

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

  407. Published

    Learning latent semantic relations from clickthrough data for query suggestion

    Ma, H., Yang, H., King, I. & Lyu, M. R., 1 Jan 2008, International Conference on Information and Knowledge Management, Proceedings. p. 709-718 10 p.

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

  408. Published

    Managing socio-technical interactions in healthcare systems

    El-Hassan, O., Fiadeiro, J. L. & Heckel, R., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4928 LNCS. p. 347-358 12 p.

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

  409. Published

    Mining social networks using heat diffusion processes for marketing candidates selection

    Ma, H., Yang, H., Lyu, M. R. & King, I., 1 Jan 2008, International Conference on Information and Knowledge Management, Proceedings. p. 233-242 10 p.

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

  410. Published

    On the challenge of engineering socio-technical systems

    Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5380 LNCS. p. 80-91 12 p.

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

  411. Published

    Probabilistic methods for structured document classification at INEX07

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4862 LNCS. p. 195-206 12 p.

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

  412. Published

    Proceedings – Fundamental Aspects of Software Engineering, FASE'08

    Fiadeiro, J. & Inverardi, P., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4961 LNCS.

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

  413. Published

    RBSLA based implementation for architectural management laws

    Alghamdi, A., Fiadeiro, J. L. & Paschke, A., 1 Jan 2008, Innovations'07: 4th International Conference on Innovations in Information Technology, IIT. p. 556-560 5 p.

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

  414. Published

    Service-oriented modelling of automotive systems

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Proceedings - International Computer Software and Applications Conference. p. 1059-1064 6 p.

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

  415. Published

    SoRec: Social recommendation using probabilistic matrix factorization

    Ma, H., Yang, H., Lyu, M. R. & King, I., 1 Jan 2008, International Conference on Information and Knowledge Management, Proceedings. p. 931-940 10 p.

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

  416. Published

    The Garnata information retrieval system at INEX07

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Martín-Dancausa, C. & Romero, A. E., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4862 LNCS. p. 57-69 13 p.

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

  417. Published

    What do semantics matter when the meat is overcooked?

    Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5065 LNCS. p. 563-580 18 p.

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

  418. Published
  419. Published

    A protocol compiler for secure sessions in ML

    Corin, R. & Denielou, P-M., 2008, TRUSTWORTHY GLOBAL COMPUTING. Barthe, G. & Fournet, C. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 276-293 18 p.

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

  420. Published

    Action-Based Environment Modeling for Maintaining Trust

    Kafali, O. & Yolum, P., 2008, Trust in Agent Societies. Vol. 5396. p. 81-98 18 p. (LNCS).

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

  421. Published

    Ambient Intelligence

    Sadri, F. & Stathis, K., 2008, Encyclopedia of Artificial Intelligence. Idea Group Inc, p. 85-91

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

  422. Published

    An Algorithm for Finding Input-Output Constrained Convex Sets in an Acyclic Digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E., Yeo, A., Broersma, H. (ed.), Erlebach, T. (ed.), Friedeizky, T. (ed.) & Paulusma, D. (ed.), 2008, In: Lecture Notes in Computer Science. 5344, p. 206-217 12 p.

    Research output: Contribution to journalArticlepeer-review

  423. Published

    An Information Retrieval System for Parliamentary XML Documents based on Probabilistic Graphical Models

    Romero, A. E., 2008, Bayesian Belief Networks A Practical Guide to Applications. Pourret, O., Naïm, P. & Marcot, B. (eds.). John Wiley & Sons, p. 203-224 22 p. (Statistics in Practice).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  424. Published

    Architectural Transformations: From Legacy to Three-tier and Services

    Heckel, R., Correia, R., Matos, C., El-Ramly, M., Koutsoukos, G. & Andrade, L., 2008, Software Evolution. Mens, T. & Demeyer, S. (eds.). Springer-Verlag, p. 139-170 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  425. Published

    Argumentation sur les motivations propres dans l'architecture V3A pour des agents auto-adaptatifs

    Morge, M., Stathis, K. & Vercouter, L., 2008, Actes des 16ème Journées Francophones sur les Systèmes Multi-Agen ts (JFSMA). France: Cepudes

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

  426. Published

    Automating Workflows using Dialetical Argumentation

    Urovi, V., Bromuri, S., Mcginnis, J., Stathis, K. & Omicini, A., 2008, In: International Journal on Computer Science and Information Systems. 3, 2, p. 110-125 16 p.

    Research output: Contribution to journalArticlepeer-review

  427. Published

    Collapsible Pushdown Automata and Recursion Schemes

    Hague, M., Murawski, A. S., Ong, C-H. L. & Serre, O., 2008, LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, p. 452-461

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

  428. Published

    Discussion of: Treelets - An adaptive multi-Scale basis for sparse unordered data

    Murtagh, F., 2008, In: Annals of Applied Statistics. 2, p. 472-473

    Research output: Contribution to journalComment/debatepeer-review

  429. Published

    Fixed-Parameter Complexity of Minimum Profile Problems

    Gutin, G., Szeider, S. & Yeo, A., 2008, In: Algorithmica. 52, 2, p. 133-152 20 p.

    Research output: Contribution to journalArticlepeer-review

  430. Published

    Generalising submodularity and Horn clauses: tractable optimization problems defined by tournament pair multimorphisms

    Cohen, D., Cooper, M. & Jeavons, P., 2008, In: Theoretical Computer Science. 401, 1-3, p. 36-51 16 p.

    Research output: Contribution to journalArticlepeer-review

  431. Published

    Grammatical Inference: Algorithms and Applications: 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings

    Clark, A. (ed.), Coste, F. (ed.) & Miclet, L. (ed.), 2008, Springer. (Lecture Notes in Computer Science; vol. 5278)

    Research output: Book/ReportBook

  432. Published

    Guaranteed network traffic demand prediction using FARIMA models

    Dashevskiy, M. & Luo, Z., 2008, Lecture Notes in Computer Sc. Vol. 5326. p. 274-281

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

  433. Published

    Hierarchical clustering of massive, high dimensional data sets by exploiting ultrametric embedding

    Murtagh, F., Contreras Albornoz, P. & Downs, G., 2008, In: SIAM Journal on Scientific Computing. 30, p. 707-730 24 p.

    Research output: Contribution to journalArticlepeer-review

  434. Published

    Hoang-Reed conjecture holds for tournaments

    Havet, F., Thomasse, S. & Yeo, A., 2008, In: Discrete Mathematics. 308, 15, p. 3412-3415 4 p.

    Research output: Contribution to journalArticlepeer-review

  435. Published

    How distant is the ideal filter of being a causal one?

    Almira, J. M. & Romero, A. E., 2008, In: Atlantic Electronic Journal of Mathematics. 3, p. 45 56 p.

    Research output: Contribution to journalArticlepeer-review

  436. Published

    Hypergraphs with large transversal number and with edge sizes at least three

    Henning, M. & Yeo, A., 2008, In: Journal of Graph Theory. 59, p. 326-348 23 p.

    Research output: Contribution to journalArticlepeer-review

  437. Published

    Jakstab: A Static Analysis Platform for Binaries

    Kinder, J. & Veith, H., 2008, Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008). Springer, p. 423-427

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

  438. Published

    Learning with Consistency between Inductive Functions and Kernels: Proceedings of the Twenty-Second Annual Conference on Neural Information Processing Systems

    Yang, H., King, I. & Lyu, M. R., 2008, p. 1849-1856. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  439. Published

    Minimum Cost Homomorphisms to Semicomplete Bipartite Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2008, In: SIAM Journal on Discrete Mathematics. 22, 4, p. 1624-1639 16 p.

    Research output: Contribution to journalArticlepeer-review

  440. Published

    Minimum Cost Homomorphisms to Semicomplete Multipartite Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2008, In: Discrete Applied Mathematics. 156, 12, p. 2429-2435 7 p.

    Research output: Contribution to journalArticlepeer-review

  441. Published

    Network traffic demand prediction with confidence

    Dashevskiy, M. & Luo, Z., 2008, IEEE GLOBECOM 2008. p. 1-5 5 p.

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

  442. Published

    nGASP the nematode genome annotation assessment project

    Coghlan, A., Fiedler, T. J., McKay, S. J., Flicek, P., Harris, T. W., Blasiar, D., Stein, L. D. & Solovyev, V., 2008, In: BMC Bioinformatics. 9, p. 549-549 1 p.

    Research output: Contribution to journalArticlepeer-review

  443. Published

    Normalized nonconformity measures for regression conformal prediction

    Papadopoulos, H., Gammerman, A. & Vovk, V., 2008, Proceedings of the IASTED International Conference on Articial Intelligence and Applications. p. 64-69 6 p.

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

  444. Published

    Off-line Nearest Neighbour Transductive Confidence Machine

    Nouretdinov, I., 2008, 8th Industrial Conference on Data Mining 2008 Poster and Workshop Proceedings. p. 16-24 9 p.

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

  445. Published

    On matching and total domination in graphs

    Henning, M., Kang, L., Shan, E. & Yeo, A., 2008, In: Discrete Mathematics. 308, 11, p. 2313-2318 6 p.

    Research output: Contribution to journalArticlepeer-review

  446. Published

    On-Line Probability, Complexity and Randomness

    Chernov, A., Shen, A., Vereshchagin, N. & Vovk, V., 2008, Proceedings of the Nineteenth International Conference on Algorithmic Learning Theory. Freund, Y., Gyorfi, L., Turan, G. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 5254. p. 138-153 16 p. (Lecture Notes in Artificial Intelligence; vol. 5254).

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

  447. Published

    Or gate Bayesian networks for text classification: A discriminative alternative approach to multinomial naive Bayes

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2008, Actas del XIV Congreso Español sobre Tecnologías y Lógica Fuzzy. p. 385-390 6 p.

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

  448. Published

    Origins of Modern Data Analysis Linked to the Beginnings and Early Development of Computer Science and Information Engineering

    Murtagh, F., 2008, In: Electronic Journal for History of Probability and Statisics. 4, 2

    Research output: Contribution to journalArticlepeer-review

  449. Published

    Prediction with expert advice for the Brier game

    Vovk, V. & Zhdanov, F., 2008, Proceedings of the Twenty Fifth International Conference on Machine Learning. McCallum, A. & Roweis, S. (eds.). New York: ACM Press, p. 1104-1111 8 p.

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

  450. Published

    Prequential Randomness

    Vovk, V. & Shen, A., 2008, In: ALGORITHMIC LEARNING THEORY, PROCEEDINGS. 5254, p. 154-168 15 p.

    Research output: Contribution to journalArticlepeer-review

  451. Published

    Reliable probabilistic classification and its application to Internet traffic

    Dashevskiy, M. & Luo, Z., 2008, Lecture Notes in Computer Science. Vol. 5226. p. 380-388

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

  452. Published

    Resolution over Linear Equations and Multilinear Proofs

    Raz, R. & Tzameret, I., 2008, In: Annals of Pure and Applied Logic. 155, 3, p. 194-224 31 p.

    Research output: Contribution to journalArticlepeer-review

  453. Published

    Secure P2P programming on top of tuple spaces

    Benigni, F., Brogi, A., Buchholz, J. L., Jacquet, J. M., Lange, J. & Popescu, R., 2008, In: Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE. p. 54-59 6 p., 4806891.

    Research output: Contribution to journalConference articlepeer-review

  454. Published

    Selective Breeding Analysed as a Communication Channel: Channel Capacity as a Fundamental Limit on Adaptive Complexity

    Watkins, C., 2008, Symbolic and Numeric Algorithms for Scientific Computing : Proceedings of SYNASC'08. IEEE, p. 514--518 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  455. Published

    Service Extraction from Legacy Systems

    Matos, C., 2008, Proceedings of the International Conference on Graph Transformation (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Springer-Verlag, Vol. 4758. p. 505-507 3 p. (Lecture Notes in Computer Science).

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

  456. Published

    Signal transduction networks during stress responses in Arabidopsis: high-throughput analysis and modelling

    Devoto, A. & Paccanaro, A., 2008, Plant Growth Signalling. Springer, p. 331-350 20 p. (Plant Cell Monogr).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  457. Published

    Situating cognitive agents in GOLEM

    Bromuri, S. & Stathis, K., 2008, Engineering Environment-Mediated Multi-Agent Systems (EEMAS'07). Springer, Vol. 5049. p. 115-134 20 p.

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

  458. Published

    Some Alternatives to Parikh Matrices Using String Kernels

    Clark, A. & Watkins, C., 2008, In: Fundamenta Informaticae. 84, 3-4, p. 291-303 13 p.

    Research output: Contribution to journalArticlepeer-review

  459. Published

    Some Parameterized Problems on Digraphs

    Gutin, G. & Yeo, A., 2008, In: The Computer Journal. 51, 3, p. 363-371 9 p.

    Research output: Contribution to journalArticlepeer-review

  460. Published

    Structural subtyping for inductive types with functorial equality rules

    Luo, Z. & Adams, R., 2008, In: Mathematical Structures in Computer Science. 18, 5, p. 931-972 42 p.

    Research output: Contribution to journalArticlepeer-review

  461. Published

    Studies in Algebraic and Propositional Proof Complexity

    Tzameret, I., 2008, Tel Aviv. 214 p.

    Research output: ThesisDoctoral Thesis

  462. Published

    Supermartingales in Prediction with Expert Advice

    Chernov, A., Kalnishkan, Y., Zhdanov, F. & Vovk, V., 2008, Lecture Notes in Articial Intelligence. Springer, Vol. 5254. p. 199-213 15 p.

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

  463. Published

    The ArguGRID platform: An overview

    Toni, F., Grammatikou, M., Kafetzoglou, S., Lymberopou, L., Papavassileiou, S., Gaertner, D., Morge, M., Bromuri, S., McGinnis, J., Stathis, K., Curcin, V., Ghanem, M. & Guo, L., 2008, p. 217-225. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  464. Published

    The Asynchronous Bounded-Cycle Model

    Robinson, P. & Schmid, U., 2008, Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings. p. 246-262 17 p.

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

  465. Published

    The genome of the model beetle and pest Tribolium castaneum

    Richards, S., Gibbs, R. A., Weinstock, G. M., Brown, S. J., Denell, R., Beeman, R. W., Gibbs, R., Beeman, R. W., Brown, S. J., Bucher, G., Friedrich, M., Grimmelikhuijzen, C. J. P., Klingler, M., Lorenzen, M., Richards, S., Roth, S., Schröder, R., Tautz, D., Zdobnov, E. M., Muzny, D. & 31 others, Gibbs, R. A., Weinstock, G. M., Attaway, T., Bell, S., Buhay, C. J., Chandrabose, M. N., Chavez, D., Clerk-Blankenburg, K. P., Cree, A., Dao, M., Davis, C., Chacko, J., Dinh, H., Dugan-Rocha, S., Fowler, G., Garner, T. T., Garnes, J., Gnirke, A., Hawes, A., Hernandez, J., Hines, S., Holder, M., Hume, J., Jhangiani, S. N., Joshi, V., Khan, Z. M., Jackson, L., Kovar, C., Kowis, A., Solovyev, V. & Tribolium Genome Sequencing Consortium, 2008, In: Nature. 452, 7190, p. 949-55 7 p.

    Research output: Contribution to journalArticlepeer-review

  466. Published

    The minimum spanning strong subdigraph problem is fixed parameter tractable

    Bang-Jensen, J. & Yeo, A., 2008, In: Discrete Applied Mathematics. 156, 15, p. 2924-2929 6 p.

    Research output: Contribution to journalArticlepeer-review

  467. Published

    The Strength of Multilinear Proofs

    Raz, R. & Tzameret, I., 2008, In: Computational Complexity. 17, 3, 51 p.

    Research output: Contribution to journalArticlepeer-review

  468. Published

    The weak aggregating algorithm and weak mixability

    Kalnishkan, Y. & Vyugin, M. V., 2008, In: Journal of Computer and System Sciences. 74, 8, p. 1228-1244

    Research output: Contribution to journalArticlepeer-review

  469. Published

    Total domination in graphs with given girth

    Henning, M. & Yeo, A., 2008, In: Graphs and Combinatorics. 24, 4, p. 333-348 16 p.

    Research output: Contribution to journalArticlepeer-review

  470. Published

    Ultrametric embedding: application to data fingerprinting and to fast data clustering

    Murtagh, F., 2008, Data Mining and Mathematical Programming: CRM Proceedings & Lecture Notes Vol. 45. Pardalos, P. & Hansen, P. (eds.). American Mathematical Society, p. 199-209 (CRM Proceedings & Lecture Notes).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  471. Published

    Winning Regions of Higher‐Order Pushdown Games

    Carayol, A., Hague, M., Meyer, A., Ong, C-H. L. & Serre, O., 2008, LICS: Logic in Computer Science.

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

  472. 2007
  473. Published

    Continuous-time trading and emergence of volatility

    Vovk, V., 10 Dec 2007.

    Research output: Working paper

  474. Published

    Continuous-time trading and emergence of randomness

    Vovk, V., 8 Dec 2007.

    Research output: Working paper

  475. Published

    Community response grids for older adults: Motivations, usability, and sociability

    Wu, P. F., Preece, J., Shneiderman, B., Jaeger, P. T. & Qu, Y., 1 Dec 2007, Association for Information Systems - 13th Americas Conference on Information Systems, AMCIS 2007: Reaching New Heights. Vol. 5. p. 3022-3031 10 p.

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

  476. Published

    Proofs and pedagogy; science and systems: The grammar tool box

    Johnstone, A. & Scott, E., 1 Dec 2007, In: Science of Computer Programming. 69, 1-3, p. 76-85 10 p.

    Research output: Contribution to journalArticlepeer-review

  477. Published

    The generalized dependency degree between attributes

    Yang, H., King, I. & Lyu, M. R., 1 Dec 2007, In: Journal of the American Society for Information Science and Technology. 58, 14, p. 2280-2294 15 p.

    Research output: Contribution to journalArticlepeer-review

  478. Published

    Competing with wild prediction rules

    Vovk, V., Dec 2007, In: Machine Learning. 69, 2-3, p. 193-212 20 p.

    Research output: Contribution to journalArticlepeer-review

  479. Published

    Non-asymptotic calibration and resolution

    Vovk, V., 6 Nov 2007, In: Theoretical Computer Science. 387, 1, p. 77-89 13 p.

    Research output: Contribution to journalArticlepeer-review

  480. Published

    Community response grids: E-government, social networks, and effective emergency management

    Jaeger, P. T., Shneiderman, B., Fleischmann, K. R., Preece, J., Qu, Y., Fei Wu, P. & Wu, P., 1 Nov 2007, In: Telecommunications Policy. 31, 10-11, p. 592-604 13 p.

    Research output: Contribution to journalArticlepeer-review

  481. Published

    Prediction with expert advice for the Brier game

    Vovk, V. & Zhdanov, F., 2 Oct 2007.

    Research output: Working paper

  482. Published

    An algebraic semantics of event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Oct 2007, In: Mathematical Structures in Computer Science. 17, 5, p. 1029-1073 45 p.

    Research output: Contribution to journalArticlepeer-review

  483. Published

    BRNGLR: a cubic Tomita-style GLR parsing algorithm

    Scott, E., Johnstone, A. & Economopoulos, R., Oct 2007, In: Acta Informatica. 44, 6, p. 427-461 35 p.

    Research output: Contribution to journalArticlepeer-review

  484. Published

    Automatic recursion engineering of reduction incorporated parsers

    Johnstone, A. & Scott, E., 1 Sep 2007, In: Science of Computer Programming. 68, 2, p. 95-110 16 p.

    Research output: Contribution to journalArticlepeer-review

  485. Published

    Hoeffding's inequality in game-theoretic probability

    Vovk, V., 18 Aug 2007, 5 p.

    Research output: Working paper

  486. Published
  487. Published
  488. Published

    Polynomial Identification in the Limit of Substitutable Context-free Languages

    Clark, A. & Eyraud, R., 1 Aug 2007, In: Journal of Machine Learning Research. 8, p. 1725-1745 21 p.

    Research output: Contribution to journalArticlepeer-review

  489. Published

    Strong confidence intervals for autoregression

    Vovk, V., 4 Jul 2007.

    Research output: Working paper

  490. Published

    Experiences in Automated Workflow using Dialectical Argumentation

    Urovi, V., Bromuri, S., McGinnis, J., Stathis, K. & Omicini, A., 1 Jul 2007, Proceedings of Intelligent Systems and Agents International Conference (IADIS07).

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

  491. Published

    Role-based Architectural Modelling of Socio-Technical Systems

    El-Hassan, O. & Fiadeiro, J. L., 27 Jun 2007, In: Electronic Notes in Theoretical Computer Science. 181, 1, p. 5-17 13 p.

    Research output: Contribution to journalArticlepeer-review

  492. Published

    A tutorial on conformal prediction

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

    Research output: Working paper

  493. Published

    Sensor Network Grids: Agent Environment combined with QoS in Wireless Sensor Networks

    Stathis, K., Kafetzoglou, S. & Bromuri, S. P. A. N. S., 1 Jun 2007, Proceedings of the 3rd International Conference on Autonomic and Autonomous Systems (ICAS'07).

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

  494. Published

    The Haar Wavelet Transform of a Dendrogram

    Murtagh, F., Jun 2007, In: Journal of Classification. 24, 1

    Research output: Contribution to journalArticlepeer-review

  495. Published

    Merging of opinions in game-theoretic probability

    Vovk, V., 2 May 2007.

    Research output: Working paper

  496. Published

    Automated Workflows using Dialectical Argumentation

    McGinnis, J., Bromuri, S., Urovi, V. & Stathis, K., 1 May 2007, German e-Science Conference.

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

  497. Published

    The expressive power of valued constraints: hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Zivný, S., 1 Apr 2007.

    Research output: Working paper

  498. Published

    Hedging predictions in machine learning - The second Computer Journal Lecture

    Gammerman, A. & Vovk, V., Mar 2007, In: The Computer Journal. 50, 2, p. 151-163 13 p.

    Research output: Contribution to journalArticlepeer-review

  499. Published

    Rejoinder - Hedging predictions in machine learning

    Gammerman, A. & Vovk, V., Mar 2007, In: The Computer Journal. 50, 2, p. 173-177 5 p.

    Research output: Contribution to journalEditorialpeer-review

  500. Published

    The Haar Wavelet Transform of a Dendrogram: Additional Notes

    Murtagh, F., 10 Feb 2007.

    Research output: Working paperDiscussion paper

  501. Published
  502. Published

    Using Verification Technology to Specify and Detect Malware

    Holzer, A., Kinder, J. & Veith, H., Feb 2007, 11th Int. Conf. Computer Aided Systems Theory (Eurocast 2007), Revised Selected Papers. Springer, p. 497-504

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

  503. Published

    Wait-free regular storage from Byzantine components

    Abraham, I., Chockler, G., Keidar, I. & Malkhi, D., 31 Jan 2007, In: Information Processing Letters. 101, 2, p. 60-65 6 p.

    Research output: Contribution to journalArticlepeer-review

  504. Published

    A Note on Local Ultrametricity in Text

    Murtagh, F., 27 Jan 2007.

    Research output: Working paper

  505. Published

    Ontology from Local Hierarchical Structure in Text

    Murtagh, F., Mothe, J. & Englmeier, K., 27 Jan 2007.

    Research output: Working paper

  506. Published

    Algebraic semantics of service component modules

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS. p. 37-55 19 p.

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