1. 2012
  2. Published

    Universal Algorithms for Probability Forecasting

    Zhdanov, F. & Kalnishkan, Y. Aug 2012 In : International Journal on Artificial Intelligence Tools. 21, 4, 1240015

    Research output: Contribution to journalArticle

  3. Published

    Characterisation of alleles of tomato light signalling genes generated by TILLING

    Jones, M. O., Piron-Prunier, F., Marcel, F., Piednoir-Barbeau, E., Alsadon, A. A., Wahb-Allah, M. A., Al-Doss, A. A., Bowler, C., Bramley, P. M., Fraser, P. D. & Bendahmane, A. Jul 2012 In : Phytochemistry. 79, p. 78-86 9 p.

    Research output: Contribution to journalArticle

  4. Published

    Valid predictions with confidence estimation in an air pollution problem.

    Ivina, O., Nouretdinov, I. & Gammerman, A. 17 Jun 2012 In : Progress in Artificial Intelligence. 1, p. 235-243 9 p.

    Research output: Contribution to journalArticle

  5. Published

    Efficient state merging in symbolic execution

    Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G. Jun 2012 Proc. 33rd Conf. Programming Language Design and Implementation (PLDI 2012). ACM, p. 193-204

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

  6. Published

    Short Propositional Refutations for Dense Random 3CNF Formulas

    Muller, S. & Tzameret, I. Jun 2012 Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 25-28 June 2012. p. 501-510 10 p.

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

  7. Published

    Short Proofs for the Determinant Identities

    Hrubes, P. & Tzameret, I. 19 May 2012 Proceedings of the 44th Annual ACM Symposium on the Theory of Computing (STOC). p. 193-212

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

  8. Published

    Urban land teleconnections and sustainability

    Seto, K., Reenberg, A., Boone, C., Fragkias, M., Haase, D., Langanke, T., Marcotullio, P., Munroe, D., Olah, B. & Simon, D. 15 May 2012 In : Proceedings of the National Academy of Sciences of the United States of America. 109, 20, p. 7687–7692 6 p.

    Research output: Contribution to journalArticle

  9. Published

    A formal model for service-oriented interactions

    Fiadeiro, J., Lopes, A. & Abreu, J. 1 May 2012 In : Science of Computer Programming. 77, 5, p. 577-608 32 p.

    Research output: Contribution to journalArticle

  10. Published

    An algorithm for finding input-output constrained convex sets in an acyclic digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E. & Yeo, A. May 2012 In : Journal of Discrete Algorithms. 13, p. 47-58

    Research output: Contribution to journalArticle

  11. Published

    Plug-in martingales for testing exchangeability on-line

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V. 15 Apr 2012 17 p.

    Research output: Working paper

  12. Published

    Normalized Affymetrix expression data are biased by G-quadruplex formation

    Shanahan, H. P., Memon, F. N., Upton, G. J. G. & Harrison, A. P. 1 Apr 2012 In : Nucleic Acids Research. 40, 8, p. 3307-3315 9 p.

    Research output: Contribution to journalArticle

  13. Published

    Carotenoid synthesis and phytoene synthase activity during mating of Blakeslea trispora

    Breitenbach, J., Fraser, P. D. & Sandmann, G. Apr 2012 In : Phytochemistry. 76, p. 40-45 6 p.

    Research output: Contribution to journalArticle

  14. Published

    Arabidopsis E2FA stimulates proliferation and endocycle separately through RBR-bound and RBR-free complexes

    Magyar, Z., Horvath, B., Khan, S., Mohammed, B., Henriques, R., De Veylder, L., Bako, L., Scheres, B. & Bogre, L. 21 Mar 2012 In : EMBO Journal . 31, 6, p. 1480-1493 14 p.

    Research output: Contribution to journalArticle

  15. Published

    Editorial

    Fiadeiro, J. L., Gnesi, S. & Maibaum, T. 1 Mar 2012 In : Formal Aspects of Computing. 24, 2, p. 161-162 2 p.

    Research output: Contribution to journalArticle

  16. Published

    Special issue dedicated to SEFM'10

    Fiadeiro, J. L., Gnesi, S. & Maibaum, T. Mar 2012 In : Formal Aspects of Computing. 24, 2

    Research output: Contribution to journalSpecial issue

  17. Published

    Isoprenoid, Lipid, and Protein Contents in Intact Plastids Isolated from Mesocarp Cells of Traditional and High-Pigment Tomato Cultivars at Different Ripening Stages

    Lenucci, M. S., Serrone, L., De Caroli, M., Fraser, P. D., Bramley, P. M., Piro, G. & Dalessandro, G. 22 Feb 2012 In : Journal of Agricultural and Food Chemistry. 60, 7, p. 1764-1775 12 p.

    Research output: Contribution to journalArticle

  18. In preparation

    The Future of Search and Discovery in Big Data Analytics Ultrametric Information Spaces: Ultrametric Information Spaces

    Murtagh, F. & Contreras, P. 15 Feb 2012 In : NA.

    Research output: Contribution to journalArticle

  19. Published

    An evolutionary mechanism for diversity in siderophore‐producing bacteria

    Lee, W., van Baalen, M. & Jansen, V. A. A. Feb 2012 In : Ecology Letters. 15, 2, p. 119 -125

    Research output: Contribution to journalArticle

  20. Published
  21. Published

    Vitamin Deficiencies in Humans: Can Plant Science Help?

    Fitzpatrick, T. B., Basset, G. J. C., Borel, P., Carrari, F., DellaPenna, D., Fraser, P. D., Hellmann, H., Osorio, S., Rothan, C., Valpuesta, V., Caris-Veyrat, C. & Fernie, A. R. Feb 2012 In : Plant Cell. 24, 2, p. 395-414 20 p.

    Research output: Contribution to journalScientific review

  22. Published

    Ultrametric Model of Mind, I Review

    Murtagh, F. 13 Jan 2012 In : p-Adic Numbers, Ultrametric Analysis and Applications.

    Research output: Contribution to journalArticle

  23. Published

    Ultrametric Model of Mind, II: Application to Text Content Analysis

    Murtagh, F. 13 Jan 2012 In : p-Adic Numbers, Ultrametric Analysis and Applications.

    Research output: Contribution to journalArticle

  24. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    Baldoni, R. & Chockler, G. 10 Jan 2012 Springer-Verlag. 224 p.

    Research output: Book/ReportBook

  25. Published

    A graph-based design framework for services

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

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

  26. Published

    Asynchronous distributed monitoring for multiparty session enforcement

    Chen, T-C., Honda, K., Bocchi, L., Deniélou, P-M. & Yoshida, N. 1 Jan 2012 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7173 LNCS, p. 25-45 21 p.

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

  27. Published

    Consistency of service composition

    Fiadeiro, J. L. & Lopes, A. 1 Jan 2012 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7212 LNCS, p. 63-77 15 p.

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

  28. Published

    Cross-entropy optimisation of importance sampling parameters for statistical model checking

    Jegourel, C., Legay, A. & Sedwards, S. 1 Jan 2012 Computer Aided Verification: Proceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012. Madhusudan, P. & Seshia, S. A. (eds.). Springer-Verlag, p. 327-342 16 p. (Lecture Notes in Computer Science; vol. 7358)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Published

    Parameterised multiparty session types

    Deniélou, P-M., Yoshida, N., Bejleri, A. & Hu, R. 1 Jan 2012 In : Logical Methods in Computer Science. 8, 4

    Research output: Contribution to journalArticle

  30. Published

    Variability and rigour in Service Computing engineering

    Ter Beek, M. H., Gnesi, S., Fantechi, A. & Fiadeiro, J. L. 1 Jan 2012 Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011. p. 122-127 6 p.

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

  31. Published

    Alternating Control Flow Reconstruction

    Kinder, J. & Kravchenko, D. Jan 2012 Proc. 13th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Springer, p. 267-282

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

  32. Published

    Template free synthesis of hollow ball-like nano-Fe2O3 and its application to the detection of dimethyl methylphosphonate at room temperature

    Fan, G., Wang, Y., Hu, M., Luo, Z., Zhang, K. & Li, G. Jan 2012 In : Sensors. 12, 4, p. 4594-4604

    Research output: Contribution to journalArticle

  33. Forthcoming

    A closer look at adaptive regret

    Adamskiy, M., Koolen, W., Chernov, A. & Vovk, V. 2012 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. 290 - 304 15 p. (Lecture Notes in Artificial Intelligence)

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

  34. Published

    A Malleable Map Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  35. Published

    A New Lower Bound on the Maximum Number of Satisfied clauses in Max-SAT and its algorithmic applications.

    Crowston, R., Gutin, G., Jones, M. & Yeo, A. 2012 In : Algorithmica. doi: 10.1007/s00453-011-9550-1

    Research output: Contribution to journalArticle

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

  37. Published

    A Saturation Method for Collapsible Pushdown Systems

    Broadbent, C., Carayol, A., Hague, M. & Serre, O. 2012

    Research output: Contribution to conferencePaper

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

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

  41. Published

    Beyond gibberellins and abscisic acid: how ethylene and jasmonates control seed germination

    Linkies, A. & Leubner-Metzger, G. 2012 In : Plant Cell Reports. 31, 2, p. 253-270 18 p.

    Research output: Contribution to journalArticle

  42. Forthcoming

    Buy low, sell high

    Koolen, W. & Vovk, V. 2012 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

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

  44. Published

    Code/Space Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

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

  46. Published

    Comment on: “Lévy walks evolve through interaction between movement and environmental complexity”

    Jansen, V. A. A., Mashanova, A. & Petrovskii, S. 2012 In : Science. 335, p. 918 2 p.

    Research output: Contribution to journalArticle

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

  48. Published

    Computational Modeling of the Regulatory Network Organizing the Wound Response in Arabidopsis thaliana

    Kim, J. T., Camargo, A., Devoto, A., Moulton, V. & Turner, J. 2012 In : Artificial life.

    Research output: Contribution to journalArticle

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

  50. Forthcoming

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

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

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

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

  52. Forthcoming
  53. Published

    Cree Ethnogeography

    Eades, G. 2012 In : Human Geography. 5, 3, p. 15-31

    Research output: Contribution to journalArticle

  54. Forthcoming

    Cyberactivism and Collective Agency: Cases from China

    Zheng, Y. 2012 ICT Critical Infrastructures and Society: IFIP Advance in Information and Communication Technologies (AICT). Hercheui, M., Whitehouse, D., Phahlamohlaka, J. & McIver Jnr., W. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  55. Published

    Designing and implementing online collaboration tools in West Africa

    Bentley, C. 2012 Cases on Web 2.0 in Developing Countries: Studies on Implementation, Application and Use. Azab, N. (ed.). IGI Global

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

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

  57. 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 Pacific Symposium on Biocomputing. Vol. 17, p. 311-322 12 p.

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

  58. Published

    Determining Environmental Determinism

    Eades, G. 2012 In : Progress in Human Geography. 36, 3, p. 423-427 5 p.

    Research output: Contribution to journalComment/debate

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

  60. Published

    Distinct cell wall architectures in seed endosperms in representatives of the Brassicaceae and Solanaceae

    Lee, K. J. D., Dekkers, B. J. W., Steinbrecher, T., Walsh, C. T., Bacic, A., Bentsink, L., Leubner-Metzger, G. & Paul Knox, J. 2012 In : Plant Physiology. 160, 3, p. 1551-1566 16 p.

    Research output: Contribution to journalArticle

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

  62. Published

    Dose- and tissue-specific interaction of monoterpenes with the gibberellin-mediated release of potato tuber bud dormancy, sprout growth and induction of alpha-amylases and beta-amylases

    Rentzsch, S., Podzimska, D., Voegele, A., Imbeck, M., Müller, K., Linkies, A. & Leubner-Metzger, G. 2012 In : Planta. 235, 1, p. 137-151 15 p.

    Research output: Contribution to journalArticle

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

  64. Published

    Embryo growth, testa permeability, and endosperm weakening are major targets for the environmentally regulated inhibition of Lepidium sativum seed germination by myrigalone A

    Voegele, A., Graeber, K., Oracz, K., Tarkowska, D., Jacquemoud, D., Tureckova, V., Urbanova, T., Strnad, M. & Leubner, G. 2012 In : Journal of Experimental Botany. 63, p. 5337-5350 14 p.

    Research output: Contribution to journalArticle

  65. Published

    Evaluating Emerging ICTs – A Critical capability approach of technology

    Zheng, Y. 2012 The Capability Approach, Technology and Design. Oosterlaken, I. & Van den Hoven , J. (eds.). Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

  71. Forthcoming

    Fixed-parameter tractability of satisfying beyond the number of variables

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

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

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

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

  74. Published

    Hazards, risks and global climate change

    Simon, D., Wisner, B., Kelman, I. & Gaillard, J-G. 2012 The Routledge Handbook of Hazards and Disaster Risk Reduction. Routledge, p. 207-219

    Research output: Chapter in Book/Report/Conference proceedingChapter

  75. Forthcoming

    Hypercontractive inequality for pseudo-boolean functions of bounded Fourier width

    Gutin, G. & Yeo, A. 2012 In : Discrete Applied Mathematics. 6 p.

    Research output: Contribution to journalArticle

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

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

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

  79. Published

    Information Technology and Resistance to Public Sector Reforms: A Case Study in Kenya

    Bernardi, R. 2012 Public Sector Reform Using Information Technologies: Transforming Policy into Practice. Papadopoulos , T. & Kanellis, P. (eds.). Hershey PA: IGI Global, p. 59-78

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

  80. Published

    Internal and contextual factors, knowledge processes and performance: From the Chinese provider's perspective

    Ai, S., Du, R., Abbott, P. & Zheng, Y. 2012 In : Expert Systems with Applications. 39, 4, p. 4464- 4472

    Research output: Contribution to journalArticle

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

  82. Published

    Korea: A Cartographic History Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  83. Published

    Layered Analysis of Security Ceremonies

    Bella, G. & Coles-Kemp, L. 2012 Information Security and Privacy Research: IFIP Advances in Information and Communication Technology. Boston: Springer, Vol. 376, p. 273-286 12 p.

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

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

  85. Forthcoming

    Linear Time Baire Hierarchical Clustering for Enterprise Information Retrieval

    Murtagh, F. & Contreras Albornoz, P. 2012 In : International Journal of Software and Informatics . 6, 3

    Research output: Contribution to journalArticle

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

  87. Published

    Maphead Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  88. In preparation

    modCDF - modifying CDF's for microarrays using sequence similarity

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

    Research output: Contribution to journalArticle

  89. Published

    Models in the management of animal diseases (Book review)

    Jansen, V. 2012 In : Journal of Helminthology. 86, p. 386 1 p.

    Research output: Contribution to journalBook/Film/Article review

  90. Published

    Molecular mechanisms of seed dormancy

    Graeber, K., Nakabayashi, K., Miatton, E., Leubner-Metzger, G. & Soppe, W. J. 2012 In : Plant, Cell and Environment. 35, p. 1769-1786 17 p.

    Research output: Contribution to journalArticle

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

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

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

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

  96. Published

    On the Instantiation of Parameterised Specifications

    Tutu, I. 2012

    Research output: Contribution to conferenceAbstract

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

  98. Published

    Open Objects for Ambient Intelligence

    Goncalves, P. & Stathis, K. 2012

    Research output: Contribution to conferencePaper

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

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

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

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