1. 2015
  2. Published

    Metabolite profiling in LC-DAD using multivariate curve resolution: the alsace package for R

    Wehrens, R., Carvalho, E. & Fraser, P. D. 1 Feb 2015 In : Metabolomics. 11, 1, p. 143-154 12 p.

    Research output: Contribution to journalArticle

  3. Published

    On the Complexity of Universal Leader Election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A. 1 Feb 2015 In : Journal of the ACM. 62, 1, p. 7:1-7:27 27 p.

    Research output: Contribution to journalArticle

  4. Forthcoming

    Parameterized complexity and kernelizability of Max Ones and Exact Ones problems

    Kratsch, S., Marx, D. & Wahlstrom, M. 1 Feb 2015 In : ACM Transactions on Computation Theory (TOCT). 8, 1, p. 1-28 28 p.

    Research output: Contribution to journalArticle

  5. Published

    Peptides naturally generated from ubiquitin-60S ribosomal protein as potential biomarkers of dry-cured ham processing time

    Mora, L., Gallego, M., Concepcion Aristoy, M., Fraser, P. D. & Toldra, F. 1 Feb 2015 In : Food control. 48, p. 102-107 6 p.

    Research output: Contribution to journalArticle

  6. Published

    ICT4D - Introduction to the Section

    Kleine, D. Feb 2015 The International Encyclopedia of Digital Communication and Society : ICA Series. Mansell, R., Ang, P. H., Steinfield, C., van der Graaf, S., Ballon, P., Kerr, A., Ivory, J., Braman, S., Kleine, D. & Grimshaw, D. (eds.). New York: Wiley-Blackwell

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  7. Published

    Maximizing the minimum load for random processing times

    Gerke, S., Panagiotou, K., Schwartz, J. & Steger, A. 13 Jan 2015 In : ACM Transactions on Algorithms (TALG). 11, 3, 19 p., 17

    Research output: Contribution to journalArticle

  8. Published

    Sublinear bounds for randomized leader election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A. 4 Jan 2015 In : Theoretical Computer Science. 561, p. 134-143 10 p.

    Research output: Contribution to journalArticle

  9. Published

    Annotation and functional assignment of the genes for the C-30 carotenoid pathways from the genomes of two bacteria: Bacillus indicus and Bacillus firmus

    Steiger, S., Perez-Fons, L., Cutting, S. M., Fraser, P. D. & Sandmann, G. 1 Jan 2015 In : Microbiology (Reading, England). 161, 1, p. 194-202 9 p.

    Research output: Contribution to journalArticle

  10. Published

    Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

    van Binsbergen, L. T. 1 Jan 2015 Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, Vol. 9035, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 9035)

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

  11. Published

    Principled software microengineering

    Johnstone, A. & Scott, E. 1 Jan 2015 In : Science of Computer Programming. 97, 1, p. 64–68 5 p.

    Research output: Contribution to journalArticle

  12. Published

    Provision of Mobile Banking Services from an Actor-Network Perspective: Implications for Convergence and Standardization

    Lee, H., Harindranath, G., Oh, S. & D-J, K. 1 Jan 2015 In : Technological Forecasting and Social Change. 90, p. 551–561 11 p.

    Research output: Contribution to journalArticle

  13. Published

    Binarisation via Dualisation for Valued Constraints

    Cohen, D., Cooper, M., Jeavons, P. & Živný, S. Jan 2015 p. 3731-3737 7 p.

    Research output: Contribution to conferencePaper

  14. Published

    On The Feasibility of Using Two Mobile Phones and WLAN Signal to Detect Co-Location of Two Users for Epidemic Prediction

    Nguyen, K., Luo, Z. & Watkins, C. Jan 2015 Lecture Notes in Cartography and Geoinformation. Germany: Springer, 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Published

    Promotion of Testa Rupture during Lepidium sativum Germination Involves Seed Compartment-Specific Expression and Activity of Pectin Methylesterases

    Scheler, C., Weitbrecht, K., Pearce, S., Hampstead, A., Büttner-Mainik, A., Lee, K. J. D., Voegele, A., Oracz, K., Dekkers, B. J. W., Wang, X., Wood, A., Bentsink, L., King, J. R., Knox, P., Holdsworth, M., Müller, K. & Leubner-Metzger, G. Jan 2015 In : Plant Physiology. 167, p. 200-215 16 p., PLANTPHYSIOL/2014/247429

    Research output: Contribution to journalArticle

  16. Published

    A Comparison of Three Implementations of Multi-Label Conformal Prediction

    Wang, H., Liu, X., Nouretdinov, I. & Luo, Z. 2015 Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Vol. 9047, p. 251--259 9 p.

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

  17. Published

    A Lambek Calculus with Dependent Types

    Luo, Z. 2015 Types for Proofs and Programs.

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

  18. Unpublished

    A Middleware for Ubiquitous Agents

    Dipsis, N. 2015 243 p.

    Research output: ThesisDoctoral Thesis

  19. Published

    Abstract Constraint Data Types

    Fiadeiro, J. L. & Orejas, F. 2015 Software, Systems and Services. de Nicola, R. & Hennicker, R. (eds.). Springer, (Lecture Notes in Computer Science)

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

  20. Published

    Access Control in Publicly Verifiable Outsourced Computation

    Alderman, J., Janson, C., Cid, C. & Crampton, J. 2015 Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2015. ACM, p. 657-662

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

  21. Published

    Alexey Chervonenkis's bibliography

    Gammerman, A. & Vovk, V. 2015 In : Journal of Machine Learning Research. 16, p. 2067-2080

    Research output: Contribution to journalEditorial

  22. Published

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

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A. 2015 Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Moses, Y. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 9363, p. 673-674 2 p. (Lecture Notes in Computer Science)

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

  23. Unpublished
  24. Published

    Comment: the two styles of VC bounds

    Vovk, V. 2015 Measures of Complexity: Festschrift for Alexey Chervonenkis. p. 161-164 4 p. Chapter 11

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Published

    Comparative Analysis of Online Crowdfunding Platforms in USA, Europe and Asia

    Kromidha, E. 2015 Proceedings of eChallenges e-2015 Conference, 25-26 November 2015. Vilnius, Lithuania, p. 1-6 6 p.

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

  26. Unpublished
  27. Published

    Conformal Anomaly Detection of Trajectories with a Multi-class Hierarchy

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A. 2015 Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Vol. 9047, p. 281-290 10 p.

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

  28. Published

    Controllability and matchings in random bipartite graphs

    Balister, P. & Gerke, S. 2015 Surveys in combinatorics 2015. Cambridge University Press, Vol. 424, p. 119-145 (London Math. Soc. Lecture Series)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Forthcoming

    Cryptographic Enforcement of Information Flow Policies without Public Information

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B. 2015 13th International Conference on Applied Cryptography and Network Security (ACNS 2015) . (Lecture Notes in Computer Science)

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

  30. Published

    Distributed Computation of Large-scale Graph Problems

    Klauck, H., Nanongkai, D., Pandurangan, G. & Robinson, P. 2015 Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. p. 391-410 20 p.

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

  31. Unpublished

    Features Handling by Conformal Predictors

    Yang, M. 2015 143 p.

    Research output: ThesisDoctoral Thesis

  32. Published

    Fixed-parameter tractability of multicut in directed acyclic graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M. 2015 In : SIAM Journal on Discrete Mathematics. 29, 1, p. 122-144 23 p.

    Research output: Contribution to journalArticle

  33. Published

    Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks

    Biely, M., Robinson, P., Schmid, U., Schwarz, M. & Winkler, K. 2015 Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers. Bouajjani, A. & Fauconnier, H. (eds.). Springer Berlin / Heidelberg, Vol. 9466, p. 109-124 16 p. (Lecture Notes in Computer Science; vol. 9466)

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

  34. Unpublished

    Håstad‘s Separation of Constant-Depth Circuits Using Sipser Functions

    Tzameret, I. 2015 Expository Note. 15 p.

    Research output: Book/ReportOther report

  35. Published

    High System-Code Security with Low Overhead

    Wagner, J., Kuznetsov, V., Candea, G. & Kinder, J. 2015 Proc. IEEE Symp. Security and Privacy (S&P 2015).

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

  36. Published

    Hues of Satisfaction: Many-valued Institutions for Constraint Specification

    Chirita, C-E., Fiadeiro, J. L. & Orejas, F. 2015 2 p.

    Research output: Contribution to conferenceAbstract

  37. Published

    Immune tolerance maintained by cooperative interactions between T cells and antigen presenting cells shapes a diverse TCR repertoire

    Best, K., Chain, B. & Watkins, C. 2015 In : Frontiers in Immunology. 6, 360, p. 1-14 14 p., doi: 10.3389/fimmu.2015.00360

    Research output: Contribution to journalArticle

  38. Forthcoming

    Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories

    Chatzikyriakidis, S. & Luo, Z. 2015 Mathematics in Language.

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

  39. Published

    Institutional approaches and strategies of control and collaboration

    Kromidha, E. 2015 Proceedings of IFIP 9.4: 13th Conference on Social Implications of Computers in Developing Countries, 20-22 May 2015. Negombo, Sri Lanka

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

  40. Unpublished

    Institution-Independent Logic Programming

    Tutu, I. 2015 144 p.

    Research output: ThesisDoctoral Thesis

  41. Published

    Large-scale probabilistic predictors with and without guarantees of validity

    Vovk, V., Petej, I. & Fedorova, V. 2015 Advances in Neural Information Processing Systems 28: Proceedings of NIPS 2015. Curran Associates, p. 892 - 900 9 p.

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

  42. Published

    Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection

    van Binsbergen, L. T. 2015 p. 49-60 12 p.

    Research output: Contribution to conferencePaper

  43. Published

    Maps and Memes: Redrawing Culture, Place, and Identity in Indigenous Communities

    Eades, G. 2015 McGill-Queen's University Press. 297 p. (Native and Northern Series)

    Research output: Book/ReportBook

  44. Published

    Note on Perfect Forests

    Gutin, G. 2015 In : Journal of Graph Theory. p. 1-3 3 p.

    Research output: Contribution to journalArticle

  45. Unpublished

    On discovery and exploitation of temporal structure in data sets

    Scarfe, T. 2015 175 p.

    Research output: ThesisDoctoral Thesis

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  77. Published

    HYDRA: a HYbrid Diagnosis and monitoRing Architecture for diabetes

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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