1. 2018
  2. In preparation

    Contrapuntal Cartographies: Dialectics of Counter-Mapping

    Eades, G. 2018 McGill-Queen's University Press.

    Research output: Book/ReportBook

  3. In preparation

    Mapping (Key Ideas)

    Kent, A. & Eades, G. 2018 Routledge / Taylor & Francis.

    Research output: Book/ReportBook

  4. 2017
  5. Forthcoming

    Attribute Expressions, Policy Tables and Attribute-Based Access Control

    Crampton, J. & Williams, C. 21 Jun 2017 SACMAT'17 : Proceedings of the 22nd ACM Symposium on Access Control Models and Technologies. ACM Press, p. 79-90 12 p.

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

  6. Published

    A Time- and Message-Optimal Distributed Algorithm for Minimum Spanning Trees

    Pandurangan, G., Robinson, P. & Scquizzato, M. 19 Jun 2017 STOC 2017: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. New York: Association for Computing Machinery (ACM), p. 743-756 14 p.

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

  7. Forthcoming

    Path-contractions, edge deletions and connectivity preservation

    Gutin, G., Ramanujan, M. S., Reidl, F. & Wahlstrom, M. 14 Jun 2017 The 25th Annual European Symposium on Algorithms (ESA 2017).

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

  8. E-pub ahead of print

    The role of measurability in game-theoretic probability

    Vovk, V. 7 Jun 2017 In : Finance and Stochastics.

    Research output: Contribution to journalArticle

  9. E-pub ahead of print

    A longitudinal perspective on sustainability and innovation governmentality: The case of the Olympic Games as a mega-event

    Kromidha, E., Spence, L., Anastasiadis, S-T. & Dore, D. 6 Jun 2017 In : Journal of Management Inquiry. p. 1-17 17 p.

    Research output: Contribution to journalArticle

  10. Forthcoming

    Conformal Prediction of Biological Activity of Chemical Compounds

    Toccaceli, P., Nouretdinov, I. & Gammerman, A. 6 Jun 2017 In : Annals of Mathematics and Artificial Intelligence.

    Research output: Contribution to journalArticle

  11. E-pub ahead of print

    Dynamic Networks of Heterogeneous Timed Machines

    Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A. 24 May 2017 In : Mathematical Structures in Computer Science. p. 1-56 56 p.

    Research output: Contribution to journalArticle

  12. Forthcoming

    Transcend: Detecting Concept Drift in Malware Classification Models

    Jordaney, R., Sharad, K., Dash, S., Wang, Z., Papini, D., Nouretdinov, I. & Cavallaro, L. 11 May 2017 USENIX Security Symposium. USENIX

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

  13. Forthcoming

    Valid Probabilistic Prediction of Life Status after Percutaneous Coronary Intervention procedure

    Volkhonskiy, D., Nouretdinov, I., Gammerman, A. & Lim, P. 11 May 2017 6th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2017).

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

  14. Forthcoming

    Inductive Conformal Martingales for Change-Point Detection

    Volkhonskiy, D., Burnaev, E., Nouretdinov, I., Gammerman, A. & Vovk, V. 10 May 2017 6th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2017).

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

  15. E-pub ahead of print

    Estimation for the Prediction of Point Processes with Many Covariates

    Sancetta, A. 27 Apr 2017 In : Econometric Theory. p. 1-30 30 p.

    Research output: Contribution to journalArticle

  16. E-pub ahead of print

    Universal probability-free prediction

    Vovk, V. & Pavlovic, D. 19 Apr 2017 In : Annals of Mathematics and Artificial Intelligence. p. 1-24 24 p.

    Research output: Contribution to journalArticle

  17. Forthcoming

    ExpoSE: Practical Symbolic Execution of Standalone JavaScript

    Loring, B., Mitchell, D. & Kinder, J. 16 Apr 2017 Proc. Int. SPIN Symposium on Model Checking Software. ACM, 4 p.

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

  18. Forthcoming

    k-Distinct In- and Out-Branchings in Digraphs

    Gutin, G., Reidl, F. & Wahlstrom, M. 14 Apr 2017 Proceedings of ICALP 2017. Dagstuhl

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

  19. E-pub ahead of print

    Parameterized Resiliency Problems via Integer Linear Programming

    Crampton, J., Gutin, G., Koutecky, M. & Watrigant, R. 14 Apr 2017 CIAC 2017, 10th International Conference on Algorithms and Complexity May 26, 2017 - May 28, 2017. Springer, Vol. 10236, p. 164-176 13 p. (Lecture Notes in Computer Science; vol. 10236)

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

  20. E-pub ahead of print

    Policy Conflict Resolution in IoT via Planning

    Göynügür, E., Bernardini, S., de Mel, G., Talamadupula, K. & Şensoy, M. 11 Apr 2017 Canadian Conference on Artificial Intelligence: AI 2017: Advances in Artificial Intelligence. Springer, Vol. 10233, p. 169-175 7 p. (Lecture Notes in Computer Science; vol. 10233)

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

  21. Forthcoming

    On the Satisfiability of Workflows with Release Points

    Gutin, G., Crampton, J. & Watrigant, R. 7 Apr 2017 Proceedings of 22nd ACM SACMAT. ACM

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

  22. Published

    Arabidopsis RETINOBLASTOMA RELATED directly regulates DNA damage responses through functions beyond cell cycle control: Role of RBR, E2FA, AtBRCA1 in plant DDR

    Bogre, L., Horvath, B., Kourova, H., Nagy, S., Nemeth, E., Magyar, Z., Papdi, C., Ahmad, Z., Sanchez-Perez, G. F., Perilli, S., Pettkó-Szandtner, A., Darula, Z., Meszaros, T., Binarova, P., Scheres, B. & Blilou, I. 3 Apr 2017 In : EMBO Journal . 36, 7, 89 p., EMBOJ-2016-94561R1

    Research output: Contribution to journalArticle

  23. Published

    Odd Properly Colored Cycles in Edge-Colored Graphs

    Gutin, G., Sheng, B. & Wahlstrom, M. 1 Apr 2017 In : Discrete Mathematics. 340, 4, p. 817–821 5 p.

    Research output: Contribution to journalArticle

  24. Published

    DroidSieve: Fast and Accurate Classification of Obfuscated Android Malware

    Suarez de Tangil Rotaeche, G., Dash, S., Ahmadi, M., Kinder, J., Giacinto, G. & Cavallaro, L. 24 Mar 2017 ACM CODASPY. p. 309-320 12 p.

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

  25. E-pub ahead of print

    Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control

    Williams, C. & Crampton, J. 22 Mar 2017 7th ACM Conference on Data and Application Security and Privacy. ACM Press, p. 47-58 12 p.

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

  26. Forthcoming

    Uniform, Integral and Efficient Proofs for the Determinant Identities

    Tzameret, I. & Cook, S. 22 Mar 2017 Proceedings of the 32th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS). ACM, Vol. 32, 42 p.

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

  27. Published

    The bi-objective workflow satisfiability problem and workflow resiliency

    Crampton, J., Gutin, G., Karapetyan, D. & Watrigant, R. 16 Mar 2017 In : Journal of Computer Security. 25, p. 83-115 33 p.

    Research output: Contribution to journalArticle

  28. E-pub ahead of print

    Criteria of efficiency for set-valued classification

    Vovk, V. 14 Mar 2017 In : Annals of Mathematics and Artificial Intelligence.

    Research output: Contribution to journalArticle

  29. Forthcoming

    Cryptographic Enforcement of Information Flow Policies without Public Information via Tree Partitions

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B. 11 Mar 2017 In : Journal of Computer Security.

    Research output: Contribution to journalArticle

  30. Published

    Adjectival and Adverbial Modification: The View from Modern Type Theories

    Chatzikyriakidis , S. & Luo, Z. 1 Mar 2017 In : Journal of Logic, Language and Information. 26, 1, p. 45–88 44 p.

    Research output: Contribution to journalArticle

  31. Published

    Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback

    van Binsbergen, L. T. 1 Mar 2017 In : International Journal of Artificial Intelligence in Education. 27, 1, p. 65-100 36 p.

    Research output: Contribution to journalArticle

  32. Published

    Identification of metabolites associated with water stress responses in Solanum tuberosum L. clones

    Fraser, P. & Drapal, M. 1 Mar 2017 In : Phytochemistry. 135, p. 24–33 10 p.

    Research output: Contribution to journalArticle

  33. Published

    Parameterized Complexity of the k-Arc Chinese Postman Problem

    Gutin, G., Jones, M. & Sheng, B. 1 Mar 2017 In : Journal of Computer and System Sciences. 84, p. 107–119 13 p.

    Research output: Contribution to journalArticle

  34. Published

    Postdevelopment

    Simon, D. 23 Feb 2017 The International Encyclopaedia of Geography: People, the Earth, Environment and Technology. Richardson, D., Castree, N., Goodchild, M., Kobayashi, A., Liu, W. & Marston, R. (eds.). Chichester : John Wiley & Sons, p. 5264-5269 6 p.

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

  35. Published

    Heterogeneous and Asynchronous Networks of Timed Systems

    Fiadeiro, J. L. & Lopes, A. 8 Feb 2017 In : Theoretical Computer Science. 663, p. 1–33 33 p.

    Research output: Contribution to journalArticle

  36. Published

    The regulation of carotenoid formation in tomato fruit

    Enfissi, E., Nogueira, M., Fraser, P. & Bramley, P. 7 Feb 2017 In : Plant Journal. 89, 4, p. 774–788 15 p.

    Research output: Contribution to journalArticle

  37. Published

    Acyclicity in Edge-Colored Graphs

    Gutin, G., Jones, M., Sheng, B., Wahlstrom, M. & Yeo, A. 6 Feb 2017 In : Discrete Mathematics. 340, 2, p. 1-8 8 p.

    Research output: Contribution to journalArticle

  38. Published

    Rural Postman Parameterized by the Number of Components of Required Edges

    Gutin, G., Wahlström, M. & Yeo, A. 1 Feb 2017 In : Journal of Computer and System Sciences. 83, 1, p. 121-131 11 p.

    Research output: Contribution to journalArticle

  39. Published

    The biomechanics of seed germination

    Steinbrecher, T. & Leubner, G. 1 Feb 2017 In : Journal of Experimental Botany. 68, p. 765-783 19 p.

    Research output: Contribution to journalArticle

  40. Published

    The formation and sequestration of non-endogenous ketocarotenoids in transgenic Nicotiana glauca

    Mortimer, C. & Fraser, P. 1 Feb 2017 In : Plant Physiology. 173, 2

    Research output: Contribution to journalArticle

  41. Forthcoming

    Agent-oriented Activity recognition in the Event Calculus: An application for Diabetic Patients

    Kafali, R., Romero Lopez, A. & Stathis, K. 31 Jan 2017 In : Computational Intelligence.

    Research output: Contribution to journalArticle

  42. Published

    Chinese Postman Problem on Edge­-Colored Multigraphs

    Gutin, G., Jones, M., Sheng, B., Wahlstrom, M. & Yeo, A. 30 Jan 2017 In : Discrete Applied Mathematics. 217, p. 196-202 7 p.

    Research output: Contribution to journalArticle

  43. Forthcoming

    Boosting search guidance in problems with semantic attachments

    Bernardini, S., Fox, M., Long, D. & Piacentini, C. 26 Jan 2017 International Conference in Automated Planning and Scheduling . AAAI Press

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

  44. Published

    Biomechanical Properties of Wheat Grains: the implications on Milling

    Hourston, J., Ignatz, M., Reith, M., Leubner, G. & Steinbrecher, T. 18 Jan 2017 In : Journal of the Royal Society. Interface. 14, 126

    Research output: Contribution to journalArticle

  45. Forthcoming

    Collapsible Pushdown Automata and Recursion Schemes

    Hague, M., Ong, C-H. L., Murawski, A. & Serre, O. 17 Jan 2017 In : ACM Transactions on Computational Logic.

    Research output: Contribution to journalArticle

  46. Submitted

    Transcriptomics: Quantifying non-uniform read distribution using MapReduce

    Alnasir, J. & Shanahan, H. 15 Jan 2017 In : International Journal for the Foundations of Computer Science. 20 p.

    Research output: Contribution to journalArticle

  47. Published

    All-solid-state carbonate-selective electrode based on screen-printed carbon paste electrode

    Li, G., Lyu, X., Wang, Z., Rong, Y., Hu, R., Luo, Z. & Wang, Y. 12 Jan 2017 In : Measurement Science and Technology. 28, 2, p. 1-8 8 p., 025104

    Research output: Contribution to journalArticle

  48. Published

    Adversarial resilience of matchings in bipartite random graphs

    Balister, P., Gerke, S. & McDowell, A. 1 Jan 2017 In : Journal of Combinatorics. 8, 1, p. 79-92 13 p.

    Research output: Contribution to journalArticle

  49. Published

    Discursive institutionalism for reconciling change and stability in digital innovation public sector projects for development

    Kromidha, E. & Cordoba-Pachon, J-R. 1 Jan 2017 In : Government Information Quarterly. 33, 1, p. 16-25 12 p.

    Research output: Contribution to journalArticle

  50. Published

    Dynamic route prediction with the magnetic field strength for indoor positioning

    Nguyen, K. & Luo, Z. 1 Jan 2017 In : International Journal of Wireless and Mobile Computing. 12, 1, p. 16 - 35 20 p.

    Research output: Contribution to journalArticle

  51. Published

    The power of propagation: when GAC is enough.

    Cohen, D. & Jeavons, P. Jan 2017 In : Constraints. 22, 1, p. 3-23 21 p.

    Research output: Contribution to journalArticle

  52. Forthcoming

    Geospatial Ontologies and the Representation of Cree Knowledge

    Eades, G. 2017 Dialoguing Knolwedges: Finding Our Way to Respect and Relationship.

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

  53. In preparation

    Language, Politics, and Counter-mapping

    Eades, G. 2017 In : Progress in Human Geography.

    Research output: Contribution to journalArticle

  54. Published

    LP-branching algorithms based on biased graphs

    Wahlström, M. 2017 Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, Vol. PRDA17, p. 1559-1570 12 p. (Proceedings)

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

  55. Unpublished

    Network Interaction Patterns within Brazilian ICT4D Initiatives

    Scur, F. 2017 323 p.

    Research output: ThesisDoctoral Thesis

  56. Forthcoming

    Nonparametric predictive distributions based on conformal prediction

    Vovk, V., Shen, J., Manokhin, V. & Xie, M. 2017 Proceedings of COPA 2016 (Sixth Symposium on Conformal and Probabilistic Prediction and Applications). Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z. & Papadopoulos, H. (eds.). Vol. 60, p. 82 21 p. 102

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Published

    Purely pathwise probability-free Ito integral

    Vovk, V. 2017 In : Matematychni Studii. 46, 1, p. 96-110 15 p.

    Research output: Contribution to journalArticle

  58. Published

    Seed dormancy: Development of Dormancy

    Graeber, K., Nakabayashi, K. & Leubner-Metzger, G. 2017 Encyclopedia of Applied Plant Sciences. Thomas, B., Murray, B. & Murphy, D. (eds.). 2nd ed. Waltham, MA: Elsevier, Vol. 1, p. 483-489 8 p. 209

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

  59. Published

    Seed Dormancy: Genetics of Dormancy

    Nakabayashi, K., Graeber, K. & Leubner-Metzger, G. 2017 Encyclopedia of Applied Plant Sciences. Thomas, B., Murray, B. & Murphy, D. (eds.). 2nd ed. Waltham, MA: Elsevier, Vol. 1, p. 504-508 5 p. 210

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

  60. Forthcoming

    The Geography of Names: Indigenous to Post-Foundational

    Eades, G. 2017 Routledge / Taylor & Francis. (Advances in Human Geography)

    Research output: Book/ReportBook

  61. 2016
  62. Published

    Antioxidant compounds and their bioaccessibility in tomato fruit and puree obtained from a DETIOLATED-1 (DET-1) down-regulated genetically modified genotype

    Talens, P., Mora, L., Bramley, P. & Fraser, P. 15 Dec 2016 In : Food Chemistry. 213, p. 735–741 7 p.

    Research output: Contribution to journalArticle

  63. Published

    The Evolution of Sex-specific Virulence in Infectious Diseases

    Ubeda de Torres, F. & Jansen, V. A. A. 13 Dec 2016 In : Nature Communications.

    Research output: Contribution to journalArticle

  64. Published

    Exploring connectivism in the context of online social trading.

    Kromidha, E. 8 Dec 2016

    Research output: Contribution to conferencePaper

  65. Published

    Identifying patient experience from online resources via sentiment analysis and topic modelling

    Bahja, M. & Lycett, M. 6 Dec 2016 Proceedings - 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2016. Association for Computing Machinery, Inc, p. 94-99 6 p.

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

  66. Published

    Activity Recognition for Diabetic Patients Using a Smartphone

    Kvetkovic, B., Janko, V., Kafali, R., Romero Lopez, A., Stathis, K. & Lustrek, M. 1 Dec 2016 In : Journal of Medical Systems. 8 p.

    Research output: Contribution to journalArticle

  67. Published

    On the Workflow Satisfiability Problem with Class-Independent Constraints for Hierarchical Organizations

    Crampton, J., Gagarin, A., Gutin, G., Jones, M. & Wahlstrom, M. 1 Dec 2016 In : ACM Transactions on Privacy and Security. 19, 3, p. 1-29 29 p.

    Research output: Contribution to journalArticle

  68. E-pub ahead of print

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B. 30 Nov 2016 In : Algorithmica. p. 1-19 19 p.

    Research output: Contribution to journalArticle

  69. Published

    The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth

    Gutin, G. 29 Nov 2016 In : SIAM Journal on Discrete Mathematics. 30, 4, p. 2177-2205 29 p.

    Research output: Contribution to journalArticle

  70. E-pub ahead of print
  71. E-pub ahead of print

    The adoption and impact of ICT in South African SMEs

    Gono, S., Harindranath, G. & Özcan, G. B. 23 Nov 2016 In : Strategic Change. 25, 6, p. 717–734 18 p.

    Research output: Contribution to journalArticle

  72. Published

    How to Generate Randomized Roundings with Dependencies and How to Derandomize Them

    Doerr, B. & Wahlström, M. 11 Nov 2016 Algorithm Engineering: Selected Results and Surveys. Springer, Vol. 9220, p. 159-184 26 p. (Lecture Notes in Computer Science; vol. 9220)

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

  73. E-pub ahead of print

    Proof Assistants for Natural Language Semantics

    Chatzikyriakidis, S. & Luo, Z. 10 Nov 2016 Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Springer Heidelberg, Vol. 10054, p. 85-98 15 p. (Lecture Notes in Computer Science; vol. 10054)

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

  74. E-pub ahead of print

    Rapid identification of causal mutations in tomato EMS populations via mapping-by-sequencing

    Fraser, P. 3 Nov 2016 In : Nature Protocols. 11, p. 2401–2418 18 p.

    Research output: Contribution to journalArticle

  75. Published

    Prescience: Probabilistic Guidance on the Retraining Conundrum for Malware Detection

    Deo, A., Dash, S., Suarez de Tangil Rotaeche, G., Vovk, V. & Cavallaro, L. 28 Oct 2016 ACM Workshop on Artificial Intelligence and Security. Vienna, Austria: ACM, p. 71-82 12 p.

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

  76. E-pub ahead of print

    Exploring knowledge management software implementation rom a knowing-in-practice perspective

    Le Nguyen, K., Dyerson, R. & Harindranath, G. 14 Oct 2016 In : Information Systems Frontiers. p. 1-17 17 p.

    Research output: Contribution to journalArticle

  77. Published

    Developmental control and plasticity of fruit and seed dimorphism in Aethionema arabicum

    Graeber, K. , Schulze, C. , Steinbrecher, T. , Leubner-Metzger, G. & 19 others Lenser, T., Adigüzel, N., Batur, Ö. S., Dönmez, A. A., Grosche, C., Klettermann, M., Mayland-Quellhorst, S., Merai, Z., Mohammadin, S., Nguyen, T-P., Rümpler, F., Sperber, K., Wiegand, N., Strnad, M., Mittelsten Scheid, O., Rensing, S., Schranz, M. E., Theißen, G. & Mummenhoff, K. 4 Oct 2016 In : Plant Physiology. 172, November, p. 1691-1707 17 p., PP2016-00838R1

    Research output: Contribution to journalArticle

  78. Published

    Aggregation Algorithm vs. Average For Time Series Prediction

    Jamil, W., Kalnishkan, Y. & Bouchachia, H. 23 Sep 2016 Proceedings of the ECML PKDD 2016 Workshop on Large-scale Learning from Data Streams in Evolving Environments, STREAMEVOLV-2016.

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

  79. Published

    An Upper Bound for Aggregating Algorithm for Regression with Changing Dependencies

    Kalnishkan, Y. 21 Sep 2016 Algorithmic Learning Theory : 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9925, p. 238-252 15 p. (Lecture Notes in Computer Science; vol. 9925)

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

  80. Published

    Decidable models of integer-manipulating programs with recursive parallelism

    Hague, M. & Lin, A. 13 Sep 2016 Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9899, p. 148-162 15 p. (Lecture Notes in Computer Science; vol. 9899)

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

  81. E-pub ahead of print

    Towards the development of a sustainable soya bean-based feedstock for aquaculture

    Fraser, P. 13 Sep 2016 In : Plant biotechnology journal.

    Research output: Contribution to journalArticle

  82. Forthcoming

    Digital presence and organisational factors in international new ventures

    Robson, P. & Kromidha, E. 8 Sep 2016

    Research output: Contribution to conferencePaper

  83. Published

    An expanded evaluation of protein function prediction methods shows an improvement in accuracy

    Bhat, P. , Romero, A. E. , Yang, H. , Paccanaro, A. , Robinson, P. N. & 142 others Jiang, Y., Oron, T. R., Clark, W. T., Bankapur, A. R., D'Andrea, D., Lepore, R., Funk, C. S., Kahanda, I., Verspoor, K. M., Ben-Hur, A., Koo, D. C. E., Penfold-Brown, D., Shasha, D., Youngs, N., Bonneau, R., Lin, A., Sahraeian, S. M. E., Martelli, P. L., Profiti, G., Casadio, R., Cao, R., Zhong, Z., Cheng, J., Altenhoff, A., Skunca, N., Dessimoz, C., Dogan, T., Hakala, K., Kaewphan, S., Mehryary, F., Salakoski, T., Ginter, F., Fang, H., Smithers, B., Oates, M., Gough, J., Törönen, P., Koskinen, P., Holm, L., Chen, C. T., Hsu, W. L., Bryson, K., Cozzetto, D., Minneci, F., Jones, D. T., Chapman, S., Bkc, D., Khan, I. K., Kihara, D., Rappoport, N., Ofer, D., Stern, A., Cibrian-Uhalte, E., Denny, P., Foulger, R. E., Hieta, R., Legge, D., Lovering, R. C., Magrane, M., Melidoni, A. N., Mutowo-Meullenet, P., Pichler, K., Shypitsyna, A., Li, B., Zakeri, P., ElShal, S., Tranchevent, L. C., Das, S., Dawson, N. L., Lee, D., Lees, J. G., Sillitoe, I., Nepusz, T., Sasidharan, R., Gillis, J., Sedeño-Cortés, A. E., Pavlidis, P., Feng, S., Cejuela, J. M., Goldberg, T., Hamp, T., Richter, L., Salamov, A., Gabaldon, T., Marcet-Houben, M., Supek, F., Gong, Q., Ning, W., Zhou, Y., Tian, W., Falda, M., Fontana, P., Lavezzo, E., Toppo, S., Ferrari, C., Giollo, M., Piovesan, D., Tosatto, S. C. E., del Pozo, A., Fernández, J. M., Maietta, P., Valencia, A., Tress, M. L., Benso, A., Di Carlo, S., Politano, G., Savino, A., Rehman, H. U., Re, M., Mesiti, M., Valentini, G., Bargsten, J. W., van Dijk, A. D. J., Gemovic, B., Glisic, S., Perovic, V., Veljkovic, V., Veljkovic, N., Almeida-e-Silva, D. C., Vencio, R. Z. N., Sharan, M., Vogel, J., Kansakar, L., Zhang, S., Vucetic, S., Wang, Z., Sternberg, M. J. E., Wass, M. N., Huntley, R. P., Martin, M. J., O'Donovan, C., Moreau, Y., Tramontano, A., Babbitt, P. C., Brenner, S. E., Linial, M., Orengo, C. A., Rost, B., Greene, C. S., Mooney, S. D., Friedberg, I. & Radivojac, P. 7 Sep 2016 In : Genome Biology. 17, 1, 184

    Research output: Contribution to journalArticle

  84. Published

    Efficient Computation of Sparse Structures

    Harris, D. G., Morsy, E., Pandurangan, G., Robinson, P. & Srinivasan, A. 1 Sep 2016 In : Random Structures and Algorithms. 49, 2, p. 322-344 23 p.

    Research output: Contribution to journalArticle

  85. Published

    Genetic modification of tomato with the tobacco lycopene β-cyclase gene produces high β-carotene and lycopene fruit

    Louise, R., Schuch, W., Fraser, P. & Bramley, P. 1 Sep 2016 In : Zeitschrift für Naturforschung C. 71, 9-10, p. 295–301 7 p.

    Research output: Contribution to journalArticle

  86. Published

    Push notifications for the Choose-Survey project

    Alnasir, J. & Luhrmann, M. 1 Sep 2016

    Research output: Non-textual formSoftware

  87. Published

    Structuring the GLL parsing algorithm for performance

    Scott, E. & Johnstone, A. 1 Sep 2016 In : Science of Computer Programming. 125, p. 1-22 22 p.

    Research output: Contribution to journalArticle

  88. Published

    Conclusions, implications and practical guidelines

    Palmer, H. & Simon, D. 31 Aug 2016 Rethinking Sustainable Cities: Accessible, green and fair. Simon, D. (ed.). 1st ed. Policy Press, p. 145-165 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  89. Published

    Green cities: From tokenism to incrementalism and transformation

    Simon, D. 31 Aug 2016 Rethinking Sustainable Cities: Accessible, green and fair. Simon, D. (ed.). 1st ed. Bristol: Policy Press, p. 61-105 54 p. 3. (Policy Press Shorts: Practice and Policy)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  90. Published

    Introduction: Sustainable cities in sustainable societies

    Simon, D. 31 Aug 2016 Rethinking Sustainable Cities: Accessible, green and fair. Simon, D. (ed.). 1st ed. Bristol: Policy Press, p. 1-10 11 p. 1. (Policy Press Shorts: Policy and Practice)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. Published

    Rethinking Sustainable Cities: Accessible, green and fair

    Simon, D. 31 Aug 2016 1st ed. Bristol: Policy Press. 199 p. (Policy Press Shorts: Policy and Practice)

    Research output: Book/ReportBook

  92. Published

    Archaeology and contemporary dynamics for more sustainable, resilient cities in the peri-urban interface

    Simon, D. & Adam-Bradford, A. 30 Aug 2016 Balanced Urban Development: Options and Strategies for Liveable Cities. Maheshwari, B., Singh, V. & Thoradeniya, B. (eds.). 1st ed. Springer, p. 57-83 27 p. (Water Science and Technology Library)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  93. E-pub ahead of print

    Livelihoods in motion: Linking transport, mobility and income-generating activities

    Esson, J., Gough, K., Simon, D., Amankwaa, E., Ninot, O. & Yankson, P. 16 Aug 2016 In : Journal of Transport Geography. 55, p. 182-188 7 p.

    Research output: Contribution to journalArticle

  94. E-pub ahead of print

    Engineered maize as a source of astaxanthin: processing and application as fish feed

    Nogueira, M., Fraser, P. & SANDMANN, G. 12 Aug 2016 In : Transgenic Research. TRAg-D-16-00072R1, p. 1-9 9 p.

    Research output: Contribution to journalArticle

  95. Published

    Half-integrality, LP-branching and FPT algorithms

    Iwata, Y., Wahlstrom, M. & Yoshida, Y. 9 Aug 2016 In : SIAM Journal on Computing. 45, 4, p. 1377–1411 35 p.

    Research output: Contribution to journalArticle

  96. Published

    DroidScribe: Classifying Android Malware Based on Runtime Behavior

    Dash, S., Suarez-Tangil, G., Khan, S., Tam, K., Ahmadi, M., Kinder, J. & Cavallaro, L. 4 Aug 2016 Security and Privacy Workshops (SPW), 2016 IEEE: Mobile Security Technologies (MoST 2016). IEEE, p. 252-261 10 p.

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

  97. E-pub ahead of print

    IBC-C: A Dataset for Armed Conflict Event Analysis

    Zukov Gregoric, A., Veyhe, B. & Luo, Z. 1 Aug 2016 The Annual Meeting of the Association for Computational Linguistics (ACL) 2016: Aug 7 to 12th 2016. p. 374 379 p.

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

  98. E-pub ahead of print

    Metabolite analysis of Mycobacterium species under aerobic and hypoxic conditions reveals common metabolic traits

    Drapal, M., Wheeler, P. R. & Fraser, P. 1 Aug 2016 In : Microbiology. p. 1456-1467 12 p.

    Research output: Contribution to journalArticle

  99. Published
  100. Published

    Genetic improvement of tomato by targeted control of fruit softening

    Selman, U., Chapman, N. H., Rebecca, S., Poole, M., Gary, A., B Richard, G., M D Talbot, B., Judith, S., Susy, S., Perez-Fons, L., Fraser, P., A Gregory, T., Grierson, D. & Seymour, G. 25 Jul 2016 In : Nature biotechnology.

    Research output: Contribution to journalArticle

  101. Published

    Space Bounds for Reliable Storage: Fundamental Limits of Coding

    Chockler, G., Spiegelman, A., Cassuto, Y. & Keidar, I. 25 Jul 2016 Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, p. 249-258 10 p.

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

  102. Published
  103. Published

    Generating Concurrency Checks Automatically

    Hague, M. & Hoyland, J. 17 Jul 2016 Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs . ACM, p. 1-15 15 p. 4

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

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