1. 2013
  2. Published

    IT readiness in small firms

    Spinelli, R., Dyerson, R. & Harindranath, G. 2013 In : Journal of Small Business and Enterprise Development. 20, 4

    Research output: Contribution to journalArticle

  3. Published

    Kernel Ridge Regression

    Vovk, V. 2013 Empirical Inference: Festschrift in Honor of Vladimir N. Vapnik. Springer, p. 105-116 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Published

    Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

    Allender, E., Davie, G., Friedman, L., Hopkins, S. & Tzameret, I. 2013 In : Chicago Journal of Theoretical Computer Science. 5, p. 1-15 15 p.

    Research output: Contribution to journalArticle

  5. Forthcoming
  6. Published

    Logical Foundations of Services

    Tutu, I. 2013

    Research output: Contribution to conferencePaper

  7. Published

    Mapping Europe's Borderlands Review

    Eades, G. 2013 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  8. Published

    Mark My Words: Native Women on Mapping Our Nations Review

    Eades, G. 2013 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  9. Published

    Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

    Crowston, R., Gutin, G., Jones, M. & Muciaccia, G. 2013 In : Theoretical Computer Science. 513, p. 434-445

    Research output: Contribution to journalArticle

  10. Unpublished
  11. Published

    Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

    Denielou, P-M. & Yoshida, N. 2013 Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). 2013 ed. Springer, Vol. 7966, p. 174 186 p.

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

  12. Forthcoming

    Mysterious objects in the pleural biopsy of a patient with recurrent pleural empyema: Photo Quiz Answer: Tomato seeds in the pleural biopsy after emergency thoracotomy

    Held, J., Graeber, K., Leubner-Metzger, G., Kunkel, T., Theilacker, C., Kramme, S. & Schmitt-Graeff, A. 2013 In : Journal of Clinical Microbiology. in press

    Research output: Contribution to journalArticle

  13. Published

    ORC: an Ontology Reasoning Component for Diabetes

    Kafali, O., Sindlar, M., Weide, T. V. D. & Stathis, K. 2013 2nd International Workshop on Artificial Intelligence and Netmedicine (NetMed'13).

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

  14. Published

    Paradigms in Cartography Review

    Eades, G. 2013 In : Environment and Planning D: Society and Space.

    Research output: Contribution to journalBook/Film/Article review

  15. Forthcoming

    Parameterized Complexity of k-Chinese Postman Problem

    Gutin, G., Muciaccia, G. & Yeo, A. 2013 In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  16. Forthcoming

    Parameterized Complexity of MaxSat Above Average

    Crowston, R., Gutin, G., Jones, M., Raman, V. & Saurabh, S. 2013 In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  17. Published

    Parameterized Complexity of Satisfying Almost All Linear Equations over F_2

    Crowston, R., Gutin, G., Jones, M. & Yeo, A. 2013 In : Theory of Computing Systems. 52, p. 719-728

    Research output: Contribution to journalArticle

  18. Published

    Parameterized Two-Player Nash Equilibrium

    Hermelin, D., Huang, C-C., Kratsch, S. & Wahlström, M. 2013 In : Algorithmica. 65, 4, p. 802-816 15 p.

    Research output: Contribution to journalArticle

  19. Published

    Place Memes

    Eades, G. 2013

    Research output: Working paper

  20. Published

    PROTEOMIC IDENTIFICATION OF SMALL ANTIOXIDANT PEPTIDES IN DRY-CURED HAM

    Toldra, F., Mora, L., Escudero, E., Fraser, P. D. & Aristoy, M. C. 2013 In : Annals of nutrition and metabolism. 63, p. 1682-1682 1 p.

    Research output: Contribution to journalMeeting abstract

  21. Published

    Proving Random Formulas in Propositional Logic

    Tzameret, I. & Muller, S. 2013 Logic Across the University: Foundations and Application: Proceedings of the Tsinghua Logic Conference. van Benthem, J. & Liu, F. (eds.). London: College Publications London, Vol. 47, p. 201-208 8 p. (Studies in Logic)

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

  22. Published

    Robust synthesis for real-time systems

    Larsen, K. G., Legay, A., Traonouez, L-M. & Wąsowski, A. 2013 In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  23. Published

    Safe Specification of Operator Precedence Rules

    Johnstone, A., Scott, E., van den Brand, M., Vinju, J. & Afroozeh, A. 2013 Software Language Engineering Lecture Notes in Computer Science . Vol. 8225, p. 137 156 p.

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

  24. Published

    Sobre palavras e atos no consumo sustentável no Brasil: os “aparentes paradoxos” de uma pesquisa qualitativa

    Afonso, R., Bartholo, R., Kleine, D. & Brightwell, M. D. G. 2013 In : Sustentabilidade em Debate. 4, p. 185 208 p.

    Research output: Contribution to journalArticle

  25. Published

    Spatiotemporal seed development analysis provides insight into primary dormancy induction and evolution of the Lepidium DELAY OF GERMINATION1 genes

    Graeber, K., Voegele, A., Büttner-Mainik, A., Sperber, K., Mummenhoff, K. & Leubner-Metzger, G. 2013 In : Plant Physiology. 161, p. 1903-1917 15 p.

    Research output: Contribution to journalArticle

  26. Published
  27. Published

    Subtyping in Type Theory: Coercion Contexts and Local Coercions

    Luo, Z. & Part, F. 2013

    Research output: Contribution to conferenceAbstract

  28. Published

    Technologies of Choice?: ICTs, development, and the capabilities approach

    Kleine, D. 2013 Cambridge, MA: MIT Press. 267 p. (The Information Society Series)

    Research output: Book/ReportBook

  29. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

    Houghton, C. 2013 138 p.

    Research output: ThesisDoctoral Thesis

  30. Published

    The environmental determinants of human security in the context of climate change

    Simon, D. 2013 Handbook on Climate Change and Human Security. Redclift, M. & Grasso, M. (eds.). Cheltenham UK and Northampton, MA, USA: Edward Elgar, p. 113-136 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T. 2013

    Research output: ThesisDoctoral Thesis

  32. Published

    Threats to an ecosystem service: pressures on pollinators

    Brown, M. J. F. , Bryden, J. , Jansen, V. A. A. , Raine, N. E. & 35 others Vanbergen, A. J., Baude, M., Biesmeijer, J. C., Britton, N. F., Brown, M., Budge, G. E., Carvell, C., Challinor, A. J., Connolly, C. N., Evans, D. J., Feil, E. J., Garratt, M. P., Greco, M. K., Heard, M. S., Keeling, M. J., Kunin, W. E., Marris, G. C., Memmott, J., Murray, J. T., Nicolson, S. W., Osborne, J. L., Paxton, R. J., Pirk, C. W. W., Polce, C., Potts, S. G., Priest, N. K., Roberts, S., Ryabov, E. V., Shafir, S., Shirley, M. D. F., Simpson, S. J., Stevenson, P. C., Stone, G. N., Termansen, M. & Wright, G. A. 2013 In : Frontiers in Ecology and the Environment. 11, p. 251–259

    Research output: Contribution to journalScientific review

  33. Published

    Toponymic Constraints in Wemindji

    Eades, G. 2013 In : The Canadian Geographer. 58, 2

    Research output: Contribution to journalArticle

  34. Published

    Transcriptome-wide mapping of pea seed ageing reveals a pivotal role for genes related to oxidative stress and programmed cell death

    Chen, H., Osuna, D., Colville, L., Lorenzo, O., Graeber, K., Küster, H., Leubner-Metzger, G. & Kranner, I. 2013 In : PLoS One. 8, e78471

    Research output: Contribution to journalArticle

  35. Published

    Transductive conformal predictors

    Vovk, V. 2013 Proceedings of the Ninth Conference on Artificial Intelligence Applications and Innovations. Heidelberg: Springer, Vol. 412, p. 348-360 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Published

    Two Edge Modification Problems Without Polynomial Kernels

    Kratsch, S. & Wahlström, M. 2013 In : Discrete Optimization. 10, p. 193-199

    Research output: Contribution to journalArticle

  37. Published

    Variable Elimination in Binary CSP via Forbidden Patterns

    Cohen, D., Cooper, M. C., Escamocher, G. & Zivný, S. 2013

    Research output: Contribution to conferencePaper

  38. Forthcoming

    Ward's Hierarchical Agglomerative Clustering Method: Which Algorithms Implement Ward's Criterion?

    Murtagh, F. & Legendre, P. 2013 In : Journal of Classification.

    Research output: Contribution to journalArticle

  39. 2012
  40. Published

    Combining p-values via averaging

    Vovk, V. 20 Dec 2012 7 p.

    Research output: Working paper

  41. Published

    Informations- und Kommunikationstechnologien in der internationalen Entwicklungszusammenarbeit

    Kleine, D. Dec 2012 Informationsgerechtigkeit : Theorie und Praxis der gesellschaftlichen Informationsversorgung. Schüller-Zwierlein, A. & Zillien, N. (eds.). Berlin: de Gruyter, p. 194 215 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. Published

    Conditional validity of inductive conformal predictors

    Vovk, V. 17 Nov 2012 In : JMLR: Workshop and Conference Proceedings. 25, p. 475-490 16 p.

    Research output: Contribution to journalArticle

  43. Published

    Untangling the relationships between used-clothing imports and the decline of African clothing industries

    Brooks, A. & Simon, D. Nov 2012 In : Development and Change. 43, 6, p. 1265–1290

    Research output: Contribution to journalArticle

  44. Published

    Venn predictors and isotonic regression

    Vovk, V. 31 Oct 2012 4 p.

    Research output: Working paper

  45. Published

    Parameterised Multiparty Session Types

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

    Research output: Contribution to journalArticle

  46. Published

    Biosynthesis of a novel C-30 carotenoid in Bacillus firmus isolates

    Steiger, S., Perez-Fons, L., Fraser, P. D. & Sandmann, G. Oct 2012 In : Journal of applied microbiology. 113, 4, p. 888-895 8 p.

    Research output: Contribution to journalArticle

  47. Published

    Towards Static Analysis of Virtualization-Obfuscated Binaries

    Kinder, J. Oct 2012 Proc. 19th Working Conf. Reverse Engineering (WCRE 2012). IEEE, p. 61-70

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

  48. Published

    Inductive conformal predictors in the batch mode

    Vovk, V. 12 Sep 2012

    Research output: Working paper

  49. Unpublished

    A History of Cluster Analysis Using the Classification Society's Bibliography Over Four Decades

    Murtagh, F. & J. Kurtz, M. 1 Sep 2012 In : NA.

    Research output: Contribution to journalArticle

  50. Published

    Conformal Prediction for Indoor Localisation with Fingerprinting Method

    Nguyen, K. & Luo, Z. Sep 2012 Artificial Intelligence Applications and Innovations: First Conformal Prediction and Its Applications Workshop (COPA 2012). Halkidiki, Greece: Springer, p. 214-223 10 p.

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

  51. Published

    Generalized entropies and asymptotic complexities of languages

    Kalnishkan, Y., Vyugin, M. V. & Vovk, V. Sep 2012 Proceedings of the Fifth Workshop on Information-Theoretic Methods in Science and Engineering. de Rooij, S., Kotlowski, W., Rissanen, J., Millimaki, P., T. R. & Yamanishi, K. (eds.). Amsterdam: CWI, p. 44-47 4 p.

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

  52. Published

    Informational and computation efficiency of set predictors

    Vovk, V. Sep 2012 Proceedings of the Fifth Workshop on Information-Theoretic Methods in Science and Engineering. de Rooij, S., Kotlowski, W., Rissanen, J., Millimaki, P., T. R. & Yamanishi, K. (eds.). Amsterdam: CWI, p. 48-51 4 p.

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

  53. Published

    Predictors of T lymphocyte turnover in HIV-2 infection

    Hegedus, A., Nyamweya, S., Govind, S., Aspinall, R., Jaye, A., Mashanova, A., Jansen, V. A. A., Macallan, D. C. & Flanagan, K. L. Sep 2012 In : Immunology. 137, p. 113-113 1 p.

    Research output: Contribution to journalMeeting abstract

  54. Published

    Reliable Probability Estimates Based on Support Vector Machines for Large Multiclass Datasets

    Lambrou, A., Papadopoulos, H., Nouretdinov, I. & Gammerman, A. Sep 2012 Artificial Intelligence Applications and Innovations - AIAI 2012 International Workshops: AIAB, AIeIA, CISE, COPA, IIVC, ISQL, MHDW, and WADTMB, Proceedings.. Halkidiki, Greece, Vol. II, p. 182-191 10 p.

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

  55. Published

    The biosynthetic pathway to a novel derivative of 4,4 '-diapolycopene-4,4 '-oate in a red strain of Sporosarcina aquimarina

    Steiger, S., Perez-Fons, L., Fraser, P. D. & Sandmann, G. Sep 2012 In : Archives of microbiology. 194, 9, p. 779-784 6 p.

    Research output: Contribution to journalArticle

  56. Published

    The identification and rapid extraction of hydrocarbons from Nicotiana glauca: A potential advanced renewable biofuel source

    Mortimer, C. L., Bramley, P. M. & Fraser, P. D. Sep 2012 In : Phytochemistry letters. 5, 3, p. 455-458 4 p.

    Research output: Contribution to journalArticle

  57. Published

    The tractability of CSP classes defined by forbidden patterns

    Cohen, D. A., Cooper, M. C., Creed, P., Marx, D. & Salamon, A. Z. Sep 2012 In : Journal of Artificial Intelligence Research. 45, p. 47-78 3651

    Research output: Contribution to journalArticle

  58. Published

    Two methods for reliable classification of network traffic

    Dashevskiy, M. & Luo, Z. Sep 2012 In : Progress in Artificial Intelligence. 1, 3, p. 223-234 12 p.

    Research output: Contribution to journalArticle

  59. Published

    A Census of Human Soluble Protein Complexes

    Yang, H. , Paccanaro, A. & 22 others Havugimana, P. C., Hart, G. T., Nepusz, T., Turinsky, A. L., Li, Z., Wang, P. I., Boutz, D. R., Fong, V., Phanse, S., Babu, M., Craig, S. A., Hu, P., Wan, C., Vlasblom, J., Dar, V-N., Bezginov, A., Clark, G. W., Wu, G. C., Wodak, S. J., Tillier, E. R. M., Marcotte, E. M. & Emili, A. 31 Aug 2012 In : Cell. 150, 5, p. 1068–1081

    Research output: Contribution to journalArticle

  60. Published

    Computational selection of transcriptomics experiments improves Guilt-by-Association analyses

    Bhat, P., Yang, H., Bogre, L., Devoto, A. & Paccanaro, A. 7 Aug 2012 In : PLoS One. 7, 8, e39681

    Research output: Contribution to journalArticle

  61. Published

    Cross-conformal predictors

    Vovk, V. 3 Aug 2012

    Research output: Working paper

  62. Published

    Ubiquitous Agents for Ambient Ecologies

    Dipsis, N. & Stathis, K. Aug 2012 In : Pervasive and Mobile Computing. 8, 4, p. 562-574

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  85. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

  94. Published

    A Malleable Map Review

    Eades, G. 2012 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

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

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

  97. Published

    A Saturation Method for Collapsible Pushdown Systems

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

    Research output: Contribution to conferencePaper

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

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

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

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

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