1. 2015
  2. Unpublished

    On discovery and exploitation of temporal structure in data sets

    Scarfe, T. 2015 175 p.

    Research output: ThesisDoctoral Thesis

  3. Forthcoming

    On Missing Attributes in Access Control: Non-deterministic and Probabilistic Attribute Retrieval

    Crampton, J., Morisset, C. & Zannone, N. 2015 20th ACM Symposium on Access Control Models and Technologies. ACM

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

  4. Forthcoming

    On the Workflow Satisfiability Problem with Class-Independent Constraints

    Crampton, J., Gagarin, A., Gutin, G. & Jones, M. 2015 10th International Symposium on Parameterized and Exact Computation. Schloss Dagstuhl –Leibniz Center for Informatics, (LIPIcs)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Unpublished
  6. Forthcoming

    Optimal Constructions for Chain-based Cryptographic Enforcement of Information Flow Policies

    Crampton, J., Farley, N., Gutin, G. & Jones, M. 2015 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy: DBSec 2015. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Forthcoming

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B. 2015 10th International Symposium on Parameterized and Exact Computation. Schloss Dagstuhl –Leibniz Center for Informatics, (LIPIcs)

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

  8. Forthcoming

    Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints

    Karapetyan, D., Gagarin, A. & Gutin, G. 2015 FAW 2015, Lecture Notes in Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. In preparation

    PDB-Hadoop: Parallelising Legacy applications on the Protein Databank using Apache Hadoop

    AlNasir, J. & Shanahan, H. 2015 In : Bioinformatics.

    Research output: Contribution to journalArticle

  10. Published
  11. Published

    Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

    Gutin, G., Kratsch, S. & Wahlström, M. 2015 In : Algorithmica. p. 1-20 20 p.

    Research output: Contribution to journalArticle

  12. Published

    Predictive Complexity for Games with Finite Outcome Spaces

    Kalnishkan, Y. 2015 Measures of Complexity: Festschrift for Alexey Chervonenkis. Vovk, V., Papadopoulos, H. & Gammerman, A. (eds.). Springer-Verlag, p. 117-139 23 p. 8

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. Published

    Short Proofs for the Determinant Identities

    Hrubes, P. & Tzameret, I. 2015 In : SIAM Journal on Computing. 44, 2, p. 340–383 44 p.

    Research output: Contribution to journalArticle

  14. In preparation

    Signatures in Formal Semantics (tentative title)

    Chatzikyriakidis, S. & Luo, Z. 2015 Modern Perspectives in Type-Theoretical Semantics. Chatzikyriakidis , S. & Luo, Z. (eds.). Springer

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

  15. Published

    Social Media and Social Transformation Movements: The Role of Affordances and Platforms

    Harindranath, G., Bernroider, E. W. N. & Kamel, S. H. 2015 Proceedings of the Twenty-Third European Conference on Information Systems (ECIS), Münster, Germany, 2015. Munster, Germany: ECIS

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

  16. In preparation

    Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A. 2015

    Research output: Working paper

  17. Published

    Spatial Humanities: Promise and Peril

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

    Research output: Contribution to journalBook/Film/Article review

  18. Published

    Structural Parameterizations of the Mixed Chinese Postman Problem

    Gutin, G., Jones, M. & Wahlstrom, M. 2015 23rd Europ. Symp. Algorithms (ESA 2015). Springer-Verlag, Vol. 9294, p. 668-679 (Lect. Notes Comput. Sci.)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Published

    Temperature and oxygen dependent metabolite utilization by Salmonella enterica serovars Derby and Mbandaka

    Hayward, M., Abuoun, M., Woodward, M. J. & Jansen, V. A. A. 2015 In : PLoS One.

    Research output: Contribution to journalArticle

  20. Published

    The International Encyclopedia of Digital Communication and Society: ICA Series

    Mansell, R. (ed.), Ang, P. H. (ed.), Steinfield, C. (ed.), van der Graaf, S. (ed.), Ballon, P. (ed.), Kerr, A. (ed.), Ivory, J. (ed.), S, B. (ed.), Kleine, D. & Grimshaw, D. (ed.) 2015 New York: Wiley-Blackwell.

    Research output: Book/ReportBook

  21. Published

    Uncertain times, contested resources: discursive practices and lived realities in African urban environments

    Simon, D. 2015 In : City. 19, 2-3, p. 216-238 23 p.

    Research output: Contribution to journalArticle

  22. Published

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z. 2015 New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops in Japan (LENLS, JURISIN and GABA), Revised Selected Papers. LNCS 9067, 2015. .

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

  23. Published

    Valued Workflow Satisfiability Problem

    Crampton, J., Gutin, G. & Karapetyan, D. 2015 20th ACM SACMAT . p. 3-13

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. 2014
  25. Published

    Non-commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs

    Li, F., Tzameret, I. & Wang, Z. 30 Dec 2014 ArXiV. p. 1 32 p.

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

  26. Published

    Selective mixture of Gaussians clustering for location fingerprinting

    Nguyen, K. & Luo, Z. 5 Dec 2014 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (i-Locate, MOBIQUITOUS 2014). London, UK: ACM, 10 p.

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

  27. Published

    Activity Recognition for an Agent-oriented Personal Health System

    Kafali, O., Romero, A. E. & Stathis, K. Dec 2014 Principles and Practice of Multi-Agent Systems - 17th International Conference, PRIMA 2014. Khanh Dam, H., Pitt, J., Xu, Y., Governatori, G. & Ito, T. (eds.). Springer

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

  28. Published

    Natural Language Inference in Coq

    Chatzikyriakidis, S. & Luo, Z. Dec 2014 In : Journal of Logic, Language and Information. 23, 4

    Research output: Contribution to journalArticle

  29. Published

    Ebola: The power of behaviour change

    Funk, S., Knight, G. M. & Jansen, V. A. A. 27 Nov 2014 In : Nature. 515, 7528

    Research output: Contribution to journalArticle

  30. Published

    Conflict, Post-Conflict and Failed States: Challenges to Healthcare

    Cole, J. 4 Nov 2014 In : RUSI Journal. 159, 9, p. 14-18 5 p.

    Research output: Contribution to journalArticle

  31. Published
  32. Published

    The application of metabolite profiling to Mycobacterium spp.: Determination of metabolite changes associated with growth

    Drapal, M., Perez-Fons, L., Wheeler, P. R. & Fraser, P. D. Nov 2014 In : Journal of microbiological methods. 106, p. 23-32 10 p.

    Research output: Contribution to journalArticle

  33. Published

    Understanding the Impact of ICT Adoption and Use in South African Manufacturing and Logistics SMEs: A Firm, Market and Regulatory (FMR) Context Perspective

    Gono, S., Harindranath, G. & Özcan, G. B. Nov 2014 Proceedings of the 2014 ISBE Conference, Manchester, 5-6 Nov 2014. ISBE

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

  34. Published

    HYDRA: a HYbrid Diagnosis and monitoRing Architecture for diabetes

    Kafali, O., Schachtle, U. & Stathis, K. 15 Oct 2014

    Research output: Contribution to conferencePaper

  35. Published

    Progressive promoter element combinations classify conserved orthogonal plant circadian gene expression modules

    Smieszek, S. P., Yang, H., Paccanaro, A. & Devlin, P. F. 6 Oct 2014 In : Journal of the Royal Society. Interface. 11, 99, p. 1-11 11 p.

    Research output: Contribution to journalArticle

  36. Published

    Generalised Entropies and Asymptotic Complexities of Languages

    Kalnishkan, Y., Vyugin, M. V. & Vovk, V. Oct 2014 In : Information and Computation. 237, p. 101–141

    Research output: Contribution to journalArticle

  37. Published

    Methyl 5-glucosyl-5,6-dihydro-apo-4,4 '-lycopenoate, a novel antioxidative glyco-C-30-carotenoic acid produced by a marine bacterium Planococcus maritimus (vol 61, pg 729, 2008)

    Shindo, K., Endo, M., Miyake, Y., Wakasugi, K., Morritt, D., Bramley, P. M., Fraser, P. D., Kasai, H. & Misawa, N. Oct 2014 In : Journal of Antibiotics. 67, 10, p. 731-732 2 p.

    Research output: Contribution to journalArticle

  38. Published

    Anomaly Detection of Trajectories with Kernel Density Estimation by Conformal Prediction

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A. 19 Sep 2014 Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece: Springer, p. 271-280 10 p.

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

  39. Published

    Conformal Prediction under Probabilistic Input

    Nouretdinov, I. 19 Sep 2014 Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 291-300 10 p.

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

  40. Published

    Randomized Rounding in the Presence of a Cardinality Constraint

    Doerr, B. & Wahlström, M. 1 Sep 2014 In : ACM Journal of Experimental Algorithmics. 19, 2

    Research output: Contribution to journalArticle

  41. Published

    DELAY OF GERMINATION 1 mediates a conserved coat dormancy mechanism for the temperature- and gibberellin-dependent control of seed germination

    Graeber, K., Linkies, A., Steinbrecher, T., Mummenhoff, K., Tarkowska, D., Tureckova, V., Ignatz, M., Sperber, K., Voegele, A., de Jong, H., Urbanova, T., Strnad, M. & Leubner-Metzger, G. 11 Aug 2014 In : Proceedings of the National Academy of Sciences of the United States of America. p. E3571-E3580 10 p.

    Research output: Contribution to journalArticle

  42. Published

    GOssTo: a stand-alone application and a web tool for calculating semantic similarities on the Gene Ontology

    Caniza, H., Romero, A. E., Heron, S., Yang, H., Devoto, A., Frasca, M., Mesiti, M., Valentini, G. & Paccanaro, A. 1 Aug 2014 In : Bioinformatics. 30, 15, p. 2235-6 2 p.

    Research output: Contribution to journalArticle

  43. Published

    Bioinformatics on the cloud computing platform Azure

    Shanahan, H., Harrison, A. & Owen, A. M. 22 Jul 2014 In : PLoS One. 9, 7, p. e102642

    Research output: Contribution to journalArticle

  44. Published

    Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem: Extended Abstract

    Tzameret, I. 8 Jul 2014 Automata, Languages, and Programming - 41st International Colloquium, (ICALP) 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {I}: --. p. 1015-1026 12 p. (LNCS)

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

  45. Published

    Modular grammar specification

    Johnstone, A., Scott, E. & van den Brand, M. 1 Jul 2014 In : Science of Computer Programming. 87, p. 23-43

    Research output: Contribution to journalArticle

  46. Published

    Senescent Ground Tree Rewrite Systems

    Hague, M. Jul 2014 LICS: Logic in Computer Science. 10 p.

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

  47. Published

    Inductive Venn Prediction

    Lambrou, A., Nouretdinov, I. & Papadopoulos, H. 24 Jun 2014 In : Annals of Mathematics and Artificial Intelligence.

    Research output: Contribution to journalArticle

  48. Published

    An extensive analysis of disease-gene associations using network integration and fast kernel-based gene prioritization methods

    Valentini, G., Paccanaro, A., Caniza, H., Romero, A. E. & Re, M. Jun 2014 In : Artificial Intelligence in Medicine. 61, 2, p. 63-78 16 p.

    Research output: Contribution to journalArticle

  49. Published

    Balancing act: matching growth with environment by the TOR signalling pathway

    Henriques, R., Bogre, L., Horvath, B. & Magyar, Z. Jun 2014 In : Journal of Experimental Botany. 65, 10, p. 2691-2701 11 p.

    Research output: Contribution to journalLiterature review

  50. Published

    Conclusions - engaging critical perspectives in development policy and implementation: Symposium: Development Geography - can critical perspectives exist in policy and implementation?

    Carr, E. R. & Simon, D. May 2014 In : Third World Quarterly. 35, 3, p. 524-527 4 p., 10.1080/436597.2014.893739

    Research output: Contribution to journalArticle

  51. Published

    Introduction - engaging critically from theory to policy and implementation: Symposium: Development Geography - can critical perspectives exist in policy and implementation?

    Simon, D. & Carr, E. R. May 2014 In : Third World Quarterly. 35, 3, p. 505-506 2 p., 10.1080/1436597.2014.893490

    Research output: Contribution to journalArticle

  52. Published

    Saturation algorithms for model-checking pushdown systems

    Hague, M. & Carayol, A. May 2014 Proceedings of the 14th International Conference on Automata and Formal Languages . 24 p.

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

  53. Published

    Transcript and Metabolite Profiling for the Evaluation of Tobacco Tree and Poplar as Feedstock for the Bio-based Industry

    Mortimer, C. L. , Kozlo, A. , Fraser, P. D. & 20 others Ruprecht, C., Tohge, T., Fernie, A., Funke, N., Cesarino, I., Vanholme, R., Boerjan, W., Morreel, K., Burgert, I., Gierlinger, N., Bulone, V., Schneider, V., Stockero, A., Navarro, J. P., Pudel, F., Tambuyser, B., Hygate, J., Bumstead, J., Notley, L. & Persson, S. May 2014 In : Journal of Visualized Experiments. 87, 7 p., 51393

    Research output: Contribution to journalArticle

  54. Published

    Degradation of LIM domain-binding protein three during processing of Spanish dry-cured ham

    Gallego, M., Mora, L., Fraser, P. D., Aristoy, M-C. & Toldra, F. 15 Apr 2014 In : Food Chemistry. 149, p. 121-128 8 p.

    Research output: Contribution to journalArticle

  55. Published

    Understanding knowledge management software-organisation misalignments from an institutional perspective: A case study of a global IT management consultancy firm

    Le Nguyen, K., Harindranath, G. & Dyerson, R. 1 Apr 2014 In : International Journal of Information Management. 34, 2, p. 226-247

    Research output: Contribution to journalArticle

  56. Published

    Urban dynamics and the challenges of global environmental change in the South

    Simon, D. & Leck, H. Apr 2014 Routledge Handbook on Cities and the Global South. Parnell, S. & Oldfield, S. (eds.). Abingdon and New York: Routledge, p. 613-627 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Published

    Bridging the gaps between e-government practice and research: A meta-study for policy development

    Kromidha, E. & Córdoba-Pachón, J-R. 19 Mar 2014 In : International Journal of Public Sector Management. 27, 1, p. 66-84 19 p.

    Research output: Contribution to journalArticle

  58. Published

    Parameterized Complexity of the $k$-Arc Chinese Postman Problem

    Gutin, G., Jones, M. & Sheng, B. 6 Mar 2014 European Symposium on Algorithms 2014. Springer-Verlag, Vol. 8737, p. 530-541 (Lecture Notes in Computer Science; vol. 8737)

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

  59. Published

    Natural products - learning chemistry from plants

    Staniek, A., Bouwmeester, H., Fraser, P. D., Kayser, O., Martens, S., Tissier, A., van der Krol, S., Wessjohann, L. & Warzecha, H. Mar 2014 In : Plant biotechnology journal. 9, 3, p. 326-336 11 p.

    Research output: Contribution to journalLiterature review

  60. Published

    Postmodernism and Development

    Simon, D. Mar 2014 The Companion to Development Studies. Desai, V. & Potter, R. (eds.). 3rd ed. Abingdon and New York: Routledge, p. 142-146 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  61. Published

    Viewpoint: New evidence and thinking on urban environmental change challenges

    Simon, D. Mar 2014 In : International Development Planning Review. 36, 2, p. v-xi 7 p.

    Research output: Contribution to journalArticle

  62. Published

    Propagating changes in topic subscription status of processes in an overlay network

    Chockler, G., Bortnikov, V., Roytman, A. & Spreitzer, M. 25 Feb 2014 US 8661080 B2

    Research output: Patent

  63. Published

    Proteomic identification of antioxidant peptides from 400 to 2500 Da generated in Spanish dry-cured ham contained in a size-exclusion chromatography fraction

    Mora, L., Escudero, E., Fraser, P. D., Aristoy, M-C. & Toldra, F. Feb 2014 In : Food research international. 56, p. 68-76 9 p.

    Research output: Contribution to journalArticle

  64. Published

    The optimisation and application of a metabolite profiling procedure for the metabolic phenotyping of Bacillus species

    Perez-Fons, L., Bramley, P. M. & Fraser, P. D. Feb 2014 In : Metabolomics. 10, 1, p. 77-90 14 p.

    Research output: Contribution to journalArticle

  65. Published
  66. Published

    Urban and peri-urban agriculture and forestry: transcending poverty alleviation to climate change mitigation and adaptation: Special Issue on Urban Adaptation to Climate/Environmental Change

    Lwasa, S., Mugagga, F., Wahab, B., Simon, D., Connors, J. & Griffith, C. Feb 2014 In : Urban Climate. 7, p. 92-106 15 p.

    Research output: Contribution to journalArticle

  67. Published

    Upwash exploitation and downwash avoidance by flap phasing in ibis formation flight

    Portugal, S. J., Hubel, T. Y., Fritz, J., Heese, S., Trobe, D., Voelkl, B., Hailes, S., Wilson, A. M., Usherwood, J. R. & Portugal, S. 22 Jan 2014 In : Nature. 505, 7483, p. 399-402 4 p.

    Research output: Contribution to journalArticle

  68. Published

    Preface: Brazilian symposium on programming languages (SBLP 2011)

    Braga, C. & Fiadeiro, J. L. 11 Jan 2014 In : Science of Computer Programming. 93, PART A, p. 1-2 2 p.

    Research output: Contribution to journalEditorial

  69. Published

    Preface

    Fiadeiro, J. L., Liu, Z. & Xue, J. 1 Jan 2014 In : Lecture Notes in Computer Science. 8348, p. v 1 p.

    Research output: Contribution to journalEditorial

  70. Published

    A genome-wide metabolomic resource for tomato fruit from Solanum pennellii

    Perez-Fons, L., Wells, T., Corol, D. I., Ward, J. L., Gerrish, C., Beale, M. H., Seymour, G. B., Bramley, P. M. & Fraser, P. D. 2014 In : Scientific reports. 4, p. 3859

    Research output: Contribution to journalArticle

  71. Published

    An Agent Architecture for Concurrent Bilateral Negotiations

    Alrayes, B. & Stathis, K. 2014 Lecture Notes in Business Information Processing: Impact of Decision Support Systems for Global Environments. Springer, p. 79-89

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

  72. Published

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E. 2014

    Research output: ThesisMaster's Thesis

  73. Published

    Attribute-Based Encryption for Access Control Using Elementary Operations

    Crampton, J. & Pinto, A. 2014 27th Computer Security Foundations Symposium. IEEE, p. 125-139

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

  74. Published

    Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking

    Crampton, J., Huth, M. & Huan-Pu Kuo, J. 2014 In : International Journal on Software Tools for Technology Transfer. 16, 1, p. 31-48

    Research output: Contribution to journalArticle

  75. Published

    Battle to blur: counter-mapping and politics of ground truth

    Eades, G. 2014

    Research output: Contribution to conferencePaper

  76. Published

    Beyond the basic conformal prediction framework

    Vovk, V. 2014 Conformal Prediction for Reliable Machine Learning: Theory, Adaptations, and Applications. Elsevier, p. 21-46 26 p. 2

    Research output: Chapter in Book/Report/Conference proceedingChapter

  77. Published

    Biomedical Applications: Diagnostic and Prognostic

    Nouretdinov, I., Bellotti, T. & Gammerman, A. 2014 Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 217-230 14 p. 11

    Research output: Chapter in Book/Report/Conference proceedingChapter

  78. Published

    Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures

    Schwarz, M., Winkler, K., Schmid, U., Biely, M. & Robinson, P. 2014 Proceedings of the 2014 ACM symposium on Principles of distributed computing. p. 341-343 3 p.

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

  79. Published

    Buy low, sell high

    Koolen, W. & Vovk, V. 2014 In : Theoretical Computer Science. 558, p. 144-158 15 p.

    Research output: Contribution to journalArticle

  80. Published

    Caching and Auditing in the RPPM Model

    Crampton, J. & Sellwood, J. 2014 Security and Trust Management - 10th International Workshop. p. 49-64

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

  81. Published

    Calculation of Discrepancy Measures and Applications

    Doerr, C., Gnewuch, M. & Wahlström, M. 2014 A Panorama of Discrepancy Theory. Springer, (Lecture Notes in Mathematics; vol. 2107)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  82. Unpublished

    Children, childhood and youth: online and offline

    Kleine, D., Hollow, D. & Poveda Villalba, S. 2014 Children, childhood and youth: online and offline. Royal Geographical Society (with IBG)

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

  83. Published

    Children, ICTs and Development - Capturing the Potential, meeting the Challenges

    Kleine, D., Hollow, D. & Poveda Villalba, S. 2014 Florence: UNICEF Office of Research . 62 p.

    Research output: Book/ReportCommissioned report

  84. Forthcoming

    Clique cover and graph separation: New incompressibility results

    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M. 2014 In : ACM Transactions on Computation Theory (TOCT). 6, 2

    Research output: Contribution to journalArticle

  85. Forthcoming

    Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal

    Kratsch, S. & Wahlström, M. 2014 In : ACM Transactions on Algorithms (TALG). 10, 4, 20 p.

    Research output: Contribution to journalArticle

  86. Published

    CONAN: a heuristic strategy for COncurrent Negotiating AgeNts

    Alrayes, B., Kafali, O. & Stathis, K. 2014 Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. ACM, p. 1585-1586

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

  87. Unpublished

    Conformal Prediction and Testing under On-line Compression Models

    Fedorova, V. 2014 140 p.

    Research output: ThesisDoctoral Thesis

  88. Published

    Corporate Social Responsibility and Development

    Kleine, D. 2014 Companion to Development Studies. Third Edition. Desai, V. & Potter, R. (eds.). London: Hodder Arnold, p. 195-200

    Research output: Chapter in Book/Report/Conference proceedingChapter

  89. Published

    Criteria of efficiency for conformal prediction

    Vovk, V., Fedorova, V., Nouretdinov, I. & Gammerman, A. 2014 On-line Compression Modelling Project (New Series), 19 p.

    Research output: Working paper

  90. Published

    DEX: Self-Healing Expanders

    Pandurangan, G., Robinson, P. & Trehan, A. 2014 2014 IEEE 28th International Parallel and Distributed Processing Symposium, Phoenix, AZ, USA, May 19-23, 2014. p. 702-711 10 p.

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

  91. Published

    Distributed Symmetry Breaking in Hypergraphs

    Kutten, S., Nanongkai, D., Pandurangan, G. & Robinson, P. 2014 Distributed Computing - 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings. p. 469-483 15 p.

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

  92. Forthcoming

    Dynamic Performance Profiling of Cloud Caches

    Chockler, G., Vigfusson, Y., Saemundsson, T. & Bjornsson, H. 2014

    Research output: Contribution to conferencePaper

  93. Published

    Efficiency of conformalized ridge regression

    Burnaev, E. & Vovk, V. 2014 Proceedings of the Twenty Seventh Annual Conference on Learning Theory: JMLR: Workshop and Conference Proceedings. Vol. 35, p. 605-622 18 p.

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

  94. Published

    Efficient State Merging in Symbolic Execution (Extended Abstract)

    Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G. 2014 p. 45-46 2 p.

    Research output: Contribution to conferenceAbstract

  95. Published

    Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M. 2014 FAW 2014. (Lecture Notes in Computer Science; vol. 8497)

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

  96. Published

    Feature Selection

    Bellotti, T., Nouretdinov, I., Yang, M. & Gammerman, A. 2014 Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 115-130 16 p. 6

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Published

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A. 2014 In : Algorithmica. 68, p. 739-757

    Research output: Contribution to journalArticle

  98. Published

    Formal Semantics in Modern Type Theories: Is It Model-theoretic, Proof-theoretic, or Both? (Invited Talk)

    Luo, Z. 2014 Logical Aspects of Computational Linguistics. Asher, N. & Soloviev, S. (eds.). Springer-Verlag, p. 177-188 (Lecture Notes in Computer Science; vol. 8535)

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

  99. Published

    Foundations for structuring behavioural specifications

    Diaconescu, R. & Tutu, I. 2014 In : Journal of Logic and Algebraic Programming. 83, p. 319-338 3-4

    Research output: Contribution to journalArticle

  100. Published

    From conformal to probabilistic prediction

    Vovk, V., Petej, I. & Fedorova, V. 2014 COPA 2014 Proceedings.

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

  101. Published

    Game-theoretic probability

    Vovk, V. 2014 Introduction to Imprecise Probabilities. Wiley-Interscience, p. 114-134 21 p. 6

    Research output: Chapter in Book/Report/Conference proceedingChapter

  102. Published

    Generating Matrix Identities and Proof Complexity

    Li, F. & Tzameret, I. 2014 p. 1-46 46 p.

    Research output: Contribution to conferencePaper

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