1. 2012
  2. 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

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

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

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

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

  7. Published

    On the Instantiation of Parameterised Specifications

    Tutu, I., 2012

    Research output: Contribution to conferenceAbstract

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

  9. Published

    Open Objects for Ambient Intelligence

    Goncalves, P. & Stathis, K., 2012

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

  18. Published
  19. 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

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

  21. Published
  22. 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

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

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

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

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

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

  28. 2011
  29. 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

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

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

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

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

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

  35. Published

    A simplified Capital Asset Pricing Model

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

    Research output: Working paper

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

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

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

  39. Published

    Adaptive Hedge

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

    Research output: Working paper

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

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

  42. Published
  43. Published
  44. Published

    Losing money with a high Sharpe ratio

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

    Research output: Working paper

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

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

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

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

  49. Published

    Ito calculus without probability in idealized financial markets

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

    Research output: Working paper

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

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

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

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

  54. Published

    Conformal prediction and testing exchangeability assumption

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

    Research output: Contribution to conferenceAbstract

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

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

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

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

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

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

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

  62. Published

    Fast redshift clustering with the Baire (ultra) metric

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

    Research output: Contribution to conferencePaper

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

  64. Unpublished

    MAGE: Multi-Agent Game Environment

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

    Research output: ThesisDoctoral Thesis

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

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

  67. Published

    Characterisation of cyclic neuroprotective PDZ binding ligands

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

    Research output: Contribution to conferencePoster

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

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

  70. Published

    Automatically generating stories from sensor data

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

  82. Published

    Algebraic Proofs over Noncommutative Formulas

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  90. Unpublished

    Confidence and Venn Machines and Their Applications to Proteomics

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

    Research output: ThesisDoctoral Thesis

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

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

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

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

  95. Published
  96. 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

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

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

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

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

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

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

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