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

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

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

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

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

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

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

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

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

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

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

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

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

  16. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

  26. Published

    A Malleable Map Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

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

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

  29. Published

    A Saturation Method for Collapsible Pushdown Systems

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

  36. Published

    Code/Space Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

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

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

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

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

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

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

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

  44. Forthcoming
  45. Published

    Cree Ethnogeography

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  74. Published

    Korea: A Cartographic History Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

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

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

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

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

  79. Published

    Maphead Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

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

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

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

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

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

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

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

  88. Published

    On the Instantiation of Parameterised Specifications

    Tutu, I. 2012

    Research output: Contribution to conferenceAbstract

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

  90. Published

    Open Objects for Ambient Intelligence

    Goncalves, P. & Stathis, K. 2012

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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