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

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

  4. Published

    Myrigalone A inhibits Lepidium sativum seed germination by interference with gibberellin metabolism and apoplastic superoxide production required for embryo extension growth and endosperm rupture

    Oracz, K., Voegele, A., Tarkowska, D., Jacquemoud, D., Tureckova, V., Urbanova, T., Strnad, M., Sliwinska, E. & Leubner-Metzger, G. 2012 In : Plant and Cell Physiology. 53, p. 81-95 15 p.

    Research output: Contribution to journalArticle

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

  6. Published

    On the Instantiation of Parameterised Specifications

    Tutu, I. 2012

    Research output: Contribution to conferenceAbstract

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

  8. Published

    Open Objects for Ambient Intelligence

    Goncalves, P. & Stathis, K. 2012

    Research output: Contribution to conferencePaper

  9. Published

    Oral treatment of chickens with Lactobacillus reuteri LM1 reduces Brachyspira pilosicoli-induced pathology

    Mappley, L. J., Tchórzewska, M. A., Nunez, A., Woodward, M. J., Bramley, P. M. & La Ragione, R. M. 2012 In : Journal of medical microbiology.

    Research output: Contribution to journalArticle

  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

    Proteome changes in tomato lines transformed with phytoene synthase-1 in the sense and antisense orientations

    Robertson, F. P., Koistinen, P. K., Gerrish, C., Halket, J. M., Patel, R. K. P., Fraser, P. D. & Bramley, P. M. 2012 In : Journal of Experimental Botany. 63, 16, p. 6035-6043 9 p.

    Research output: Contribution to journalArticle

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

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

  19. In preparation
  20. 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

  21. Published

    Role of a respiratory burst oxidase of Lepidium sativum (cress) seedlings in root development and auxin signalling

    Müller, K., Linkies, A., Leubner-Metzger, G. & Kermode, A. R. 2012 In : Journal of Experimental Botany. 63, 18, p. 6325-6334 10 p.

    Research output: Contribution to journalArticle

  22. Published

    Signifiers of the life we value? - considering human development, technologies and Fair Trade from the perspective of the capabilities approach

    Kleine, D., Light, A. & Montero, M-J. 2012 In : Information Technology for Development. 18, 1, p. 42-60 19 p.

    Research output: Contribution to journalArticle

  23. Published
  24. Published

    Strategic e-government development and the role of benchmarking

    Kromidha, E. 2012 In : Government Information Quarterly. 29, 4, p. 573-581

    Research output: Contribution to journalArticle

  25. Forthcoming

    Structural Pattern Discovery in Protein-Protein Interaction Networks

    Nepusz, T. & Paccanaro, A. 2012 Handbook of Bio- and Neuroinformatics. Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Published

    Structure, attachment properties, and ecological importance of the attachment system of English ivy (Hedera helix)

    Melzer, B., Seidel, R., Steinbrecher, T. & Speck, T. 2012 In : Journal of Experimental Botany. 63, 1, p. 191-201 11 p.

    Research output: Contribution to journalArticle

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

  28. Published

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

    Hague, M. & Lin, A. 2012

    Research output: Contribution to conferencePaper

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

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

  32. Published

    To and through the UK: Holocaust refugee ethnographies of escape, education, internment and careers in development, Contemporary Social Science

    Simon, D. 2012 In : Contemporary Social Science: Journal of the Academy of Social Sciences. p. 21-38

    Research output: Contribution to journalArticle

  33. Published
  34. 2011
  35. 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

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

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

  38. Published

    A comparison of the effects of HIV-1 and HIV-2 infection on T-lymphocyte turnover and their relationship to immune activation

    Hegedus, A., Nyamweya, S., Govind, S., Aspinall, R., Jansen, V., Jaye, A., Macallan, D. & Flanagan, K. Dec 2011 In : Immunology. 135, p. 36-36 1 p.

    Research output: Contribution to journalMeeting abstract

  39. Published

    Em busca de uma vida melhor”: brasileiras e brasileiros em Londres.

    Evans, Y., Brightwell, G., Dias, G., Sheringham, O., Souza, A., Souza, C. & Tonhati, T. Dec 2011 In : Temas de Antropología y Migración. 2, p. 132 -151.

    Research output: Contribution to journalArticle

  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 journalArticle

  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

    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

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

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

  47. Published

    The line of authors and related addresses to be changed as follows (vol 61, pg 4373, 2010)

    Adams, E., Devoto, A. & Turner, J. G. Nov 2011 In : Journal of Experimental Botany. 62, 15, p. 5735-5736 2 p.

    Research output: Contribution to journalArticle

  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 journalArticle

  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

    Auxin-Dependent Cell Cycle Reactivation through Transcriptional Regulation of Arabidopsis E2Fa by Lateral Organ Boundary Proteins

    Berckmans, B., Vassileva, V., Schmid, S. P. C., Maes, S., Parizot, B., Naramoto, S., Magyar, Z., Kamei, C. L. A., Koncz, C., Bogre, L., Persiau, G., De Jaeger, G., Friml, J., Simon, R., Beeckman, T. & De Veylder, L. Oct 2011 In : Plant Cell. 23, 10, p. 3671-3683 13 p.

    Research output: Contribution to journalArticle

  52. Published

    Proteomic approach for the detection of chicken mechanically recovered meat

    Surowiec, I., Koistinen, K. M., Fraser, P. & Bramley, P. M. Oct 2011 In : Meat Science. 89, 2, p. 233-237 5 p.

    Research output: Contribution to journalArticle

  53. Published
  54. Published
  55. Published

    Losing money with a high Sharpe ratio

    Vovk, V. 4 Sep 2011 6 p.

    Research output: Working paper

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

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

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

  59. Forthcoming

    Conformal predictions for reliable machine learning: Theory and applications

    Balasubramanian, V., Ho, S-S., Panchanathan, S. & Vovk, V. 8 Aug 2011

    Research output: Contribution to conferenceOther

  60. Published
  61. Published

    Fuel from plant cell walls: recent developments in second generation bioethanol research

    Cook, C. & Devoto, A. Aug 2011 In : Journal of the Science of Food and Agriculture. 91, 10, p. 1729-1732 4 p.

    Research output: Contribution to journalArticle

  62. Published

    Solanesol: Added value from Solanaceous waste

    Taylor, M. A. & Fraser, P. D. Aug 2011 In : Phytochemistry. 72, 11-12, p. 1323-1327 5 p.

    Research output: Contribution to journalArticle

  63. Published

    Stability in flux: community structure in dynamic networks

    Bryden, J., Funk, S., Geard, N., Bullock, S. & Jansen, V. A. A. 6 Jul 2011 In : Journal of the Royal Society. Interface. 8, 60, p. 1031-1040 10 p.

    Research output: Contribution to journalArticle

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

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

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

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

  68. Published

    Conformal prediction and testing exchangeability assumption

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

    Research output: Contribution to conferenceAbstract

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

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

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

  72. Published

    A guideline to family-wide comparative state-of-the-art quantitative RT-PCR analysis exemplified with a Brassicaceae cross-species seed germination case study

    Graeber, K., Linkies, A., Wood, A. T. A. & Leubner-Metzger, G. Jun 2011 In : Plant Cell. 23, 6, p. 2045-2063 19 p.

    Research output: Contribution to journalArticle

  73. Published

    Variation in individual walking behavior creates the impression of a Levy flight

    Petrovskii, S., Mashanova, A. & Jansen, V. A. A. 24 May 2011 In : Proceedings of the National Academy of Sciences of the United States of America. 108, 21, p. 8704-8707 4 p.

    Research output: Contribution to journalArticle

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

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

  76. Published

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

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

    Research output: Contribution to journalArticle

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

  78. Published

    Fast redshift clustering with the Baire (ultra) metric

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

    Research output: Contribution to conferencePaper

  79. Published

    Metabolomic approach for the detection of mechanically recovered meat in food products

    Surowiec, I., Fraser, P. D., Patel, R., Halket, J. & Bramley, P. M. 14 Apr 2011 In : Food Chemistry. 125, 4, p. 1468-1475 8 p.

    Research output: Contribution to journalArticle

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

  81. Unpublished

    MAGE: Multi-Agent Game Environment

    Urovi, V. 23 Mar 2011 256 p.

    Research output: ThesisDoctoral Thesis

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

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

  84. Published

    Identification and the developmental formation of carotenoid pigments in the yellow/orange Bacillus spore-formers

    Perez-Fons, L., Steiger, S., Khaneja, R., Bramley, P. M., Cutting, S. M., Sandmann, G. & Fraser, P. D. Mar 2011 In : Biochimica et Biophysica Acta Molecular and Cell Biology of Lipids . 1811, 3, p. 177-185 9 p.

    Research output: Contribution to journalArticle

  85. Published

    Transcriptome and Metabolite Profiling Show That APETALA2a Is a Major Regulator of Tomato Fruit Ripening

    Karlova, R., Rosin, F. M., Busscher-Lange, J., Parapunova, V., Do, P. T., Fernie, A. R., Fraser, P. D., Baxter, C., Angenent, G. C. & de Maagd, R. A. Mar 2011 In : Plant Cell. 23, 3, p. 923-941 19 p.

    Research output: Contribution to journalArticle

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

  87. Published

    Report on the Conference, 4th International Conference on Information and Communication Technologies and Development

    Dell'Osa, P., Unwin, T. & Kleine, D. Feb 2011 UNESCO Chair in ICT4D, Royal Holloway, University of London. 39 p.

    Research output: Book/ReportCommissioned report

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

  89. Published

    Automatically generating stories from sensor data

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

    Research output: Contribution to conferencePaper

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

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

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

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

  94. Forthcoming

    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 . To appear

    Research output: Contribution to journalArticle

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

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

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

  98. Forthcoming

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

    Karapetyan, D. & Gutin, G. 2011 In : Evolutionary Computation. in press

    Research output: Contribution to journalArticle

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

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

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

  102. 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 In : Journal of Computer and System Sciences. in press

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...20 Next