1. 2012
  2. Published

    A New Randomized Algorithm to Approximate the Star Discrepancy Based on Threshold Accepting

    Gnewuch, M., Wahlström, M. & Winzen, C., 2012, In : SIAM Journal on Numerical Analysis. 50, 2, p. 781-807 27 p.

    Research output: Contribution to journalArticle

  3. Published

    A Saturation Method for Collapsible Pushdown Systems

    Broadbent, C., Carayol, A., Hague, M. & Serre, O., 2012, ICALP: International Colloquium on Automata, Languages and Programming.

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

  4. Published

    Agreement in Directed Dynamic Networks

    Biely, M., Robinson, P. & Schmid, U., 2012, Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers. p. 73-84 12 p.

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

  5. Published

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

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2012, In : Journal of Computer and System Sciences. 78, p. 151--163

    Research output: Contribution to journalArticle

  6. Published

    Antimicrobial resistance, infection control and planning for pandemics: : the importance of knowledge transfer in healthcare resilience and emergency planning

    Cole, J., 2012, In : Journal of Business Continuity and Emergency Planning. 6, 2, p. 122 135 p.

    Research output: Contribution to journalArticle

  7. Forthcoming

    Buy low, sell high

    Koolen, W. & Vovk, V., 2012, (Accepted/In press) Proceedings of the Twenty Third International Conference on Algorithmic Learning Theory. Bshouty, N., Stoltz, G., Vayatis, N. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 7568. p. 335 - 349 15 p. (Lecture Notes in Artificial Intelligence).

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

  8. Published

    Clique Cover and Graph Separation: New Incompressibility Results

    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2012, ICALP (1). p. 254-265 12 p.

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

  9. Published

    CoMiFin Architecture and Semantic Rooms: Collaborative Financial Infrastructure Protection

    Baldoni, R., Bortnikov, V., Chockler, G., Dekel, E., Laventman, G., Lodi, G. & Montanari, L., 2012, Collaborative Financial Infrastructure Protection. Baldoni, R. & Chockler, G. (eds.). Springer Berlin / Heidelberg, p. 85-98 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    Compression via matroids: a randomized polynomial kernel for odd cycle transversal

    Kratsch, S. & Wahlström, M., 2012, SODA. p. 94-103 10 p.

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

  11. Published

    Conformal predictors in early diagnostics of ovarian and breast cancers

    Devetyarov, D., Nouretdinov, I., 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., Sinclair, J., Menon, U., Jacobs, I. & Gammerman, A., 2012, In : Progress in Artificial Intelligence. 1, p. 245 - 257 13 p.

    Research output: Contribution to journalArticle

  12. Forthcoming

    Constraint satisfaction problems parameterized above or below tight bounds: a survey

    Gutin, G. & Yeo, A., 2012, (Accepted/In press) Fellows Festschrift. (Lecture Notes in Computer Science).

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

  13. Published

    Continuous-time trading and the emergence of probability

    Vovk, V., 2012, In : Finance and Stochastics. 16, 4, p. 561 - 609

    Research output: Contribution to journalArticle

  14. Forthcoming
  15. Published

    Detecting overlapping protein complexes in protein-protein interaction networks

    Nepusz, T., Yu, H. & Paccanaro, A., 2012, In : Nature Methods. 9, 5, p. 471–472 2 p.

    Research output: Contribution to journalArticle

  16. Forthcoming

    Determining Confidence of Predicted Interactions Between HIV-1 and Human Proteins Using Conformal Method

    Nouretdinov, I., Gammerman, A., Qi, Y. & Klein-Seetharaman, J., 2012, (Accepted/In press) Pacific Symposium on Biocomputing. Vol. 17. p. 311-322 12 p.

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

  17. Published

    Directed Acyclic Subgraph Problem Parameterized above Poljak-Turzik Bound

    Crowston, R., Gutin, G. & Jones, M., 2012, FSTTCS 2012: LIPICS . Vol. 18. p. 400-411

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

  18. Published

    Distributed Attack Detection Using Agilis: Collaborative Financial Infrastructure Protection

    Aniello, L., Baldoni, R., Chockler, G., Laventman, G., Lodi, G. & Vigfusson, Y., 2012, Collaborative Financial Infrastructure Protection. Baldoni, R. & Chockler, G. (eds.). Springer Berlin / Heidelberg, p. 157-174 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Published

    Efficient local search algorithms for known and new neighborhoods for the generalized traveling salesman problem

    Karapetyan, D. & Gutin, G., 2012, In : European Journal of Operational Research. 219, p. 234--251

    Research output: Contribution to journalArticle

  20. Published

    Exception Diagnosis in Multiagent Contract Executions

    Kafali, O. & Torroni, P., 2012, In : Annals of Mathematics and Artificial Intelligence. 64, 1, p. 73-107 35 p.

    Research output: Contribution to journalArticle

  21. Published

    Exploring the evolutionary path of plant MAPK networks

    Dóczi, R., Okrész, L., Romero, A. E., Paccanaro, A. & Bogre, L., 2012, In : Trends in Plant Science.

    Research output: Contribution to journalArticle

  22. Published

    Fast, Linear Time Hierarchical Clustering using the Baire Metric

    Contreras, P. & Murtagh, F., 2012, In : Journal of Classification. 29, p. 118-143 26 p.

    Research output: Contribution to journalArticle

  23. Published

    Fast, Linear Time, m-Adic Hierarchical Clustering for Search and Retrieval using the Baire Metric, with linkages to Generalized Ultrametrics, Hashing, Formal Concept Analysis, and Precision of Data Measurement

    Murtagh, F. & Contreras, P., 2012, In : p-Adic Numbers, Ultrametric Analysis and Applications. 4, 1, p. 45-56

    Research output: Contribution to journalArticle

  24. Published

    Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2012, ICALP (1). p. 581-593 13 p.

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

  25. Forthcoming

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A., 2012, (Accepted/In press) SAT 2012. (Lecture Notes in Computer Science).

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

  26. Published

    GFam: a platform for automatic annotation of gene families

    Sasidharan, R., Nepusz, T., Swarbreck, D., Huala, E. & Paccanaro, A., 2012, In : Nucleic Acids Research. 40, 19, 15 p., e152.

    Research output: Contribution to journalArticle

  27. Published

    Hardness of discrepancy computation and epsilon-net verification in high dimension

    Giannopoulos, P., Knauer, C., Wahlström, M. & Werner, D., 2012, In : Journal of Complexity. 28, 2, p. 162-176 15 p.

    Research output: Contribution to journalArticle

  28. 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 journalArticle

  29. 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/debate

  30. 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 journalArticle

  31. 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

  32. 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

  33. 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 journalArticle

  34. 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 journalArticle

  35. 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

  36. 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 journalArticle

  37. 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

  38. 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

  39. 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

  40. Published

    On the Instantiation of Parameterised Specifications

    Tutu, I., 2012.

    Research output: Contribution to conferenceAbstract

  41. 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

  42. Published

    Open Objects for Ambient Intelligence

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

    Research output: Contribution to conferencePaper

  43. 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 journalArticle

  44. 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

  45. 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 journalArticle

  46. 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 journalArticle

  47. 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

  48. 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

  49. 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

  50. 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

  51. Published
  52. 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

  53. Published

    Secure sector based bi-path clustering and routing protocol for WSNs

    Zang, Y., Thomas, J. P., Ghinea, G., Thomas, M. & Darwish, S., 2012, Proc. of the 11th IEEE Int. Conference on Trust, Security and Privacy in Computing and Communications, TrustCom-2012 - 11th IEEE Int. Conference on Ubiquitous Computing and Communications, IUCC-2012. p. 777-784 8 p. 6296048

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

  54. Published

    Statistical Methodology (Elsevier): Special issue - Astrostatistics

    Murtagh, F., 2012, Elsevier.

    Research output: Other contribution

  55. 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

  56. 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

  57. 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

  58. 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 journalArticle

  59. 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

  60. 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

  61. 2011
  62. 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 journalArticle

  63. 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

  64. 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

  65. Published

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

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

    Research output: Contribution to journalArticle

  66. 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

  67. 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

  68. Published

    A simplified Capital Asset Pricing Model

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

    Research output: Working paper

  69. 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 journalArticle

  70. 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 journalArticle

  71. 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 journalArticle

  72. Published

    Adaptive Hedge

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

    Research output: Working paper

  73. 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 journalArticle

  74. 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

  75. Published
  76. Published
  77. Published

    Losing money with a high Sharpe ratio

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

    Research output: Working paper

  78. 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

  79. 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 conferencePaper

  80. 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

  81. 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 conferenceOther

  82. Published

    Ito calculus without probability in idealized financial markets

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

    Research output: Working paper

  83. 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 journalArticle

  84. 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 journalArticle

  85. 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 journalArticle

  86. 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

  87. Published

    Conformal prediction and testing exchangeability assumption

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

    Research output: Contribution to conferenceAbstract

  88. 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

  89. 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

  90. 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 issue

  91. 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 journalArticle

  92. 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 journalArticle

  93. 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 journalArticle

  94. 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)

  95. Published

    Fast redshift clustering with the Baire (ultra) metric

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

    Research output: Contribution to conferencePaper

  96. 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 journalArticle

  97. Unpublished

    MAGE: Multi-Agent Game Environment

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

    Research output: ThesisDoctoral Thesis

  98. 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 journalArticle

  99. 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 journalArticle

  100. Published

    Characterisation of cyclic neuroprotective PDZ binding ligands

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

    Research output: Contribution to conferencePoster

  101. 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

  102. 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

Previous 1...3 4 5 6 7 8 9 10 ...21 Next