1. Published

    The sources of Kolmogorov's Grundbegriffe

    Shafer, G. & Vovk, V., 2003, p. 553-554. 2 p.

    Research output: Contribution to conferenceAbstractpeer-review

  2. Published

    The SENSORIA reference modelling language

    Fiadeiro, J., Bocchi, L., Lopes, A. & Abreu, J., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6582. p. 61-114 54 p.

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

  3. Published

    The Second Neighbourhood for Quasi-transitive Oriented Graphs

    Li, R. J. & Sheng, B., Sep 2018, In: Acta Mathematica Sinica, English Series. 34, 9, p. 1391–1402 12 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    The Role of Online Discussion Forums During a Public Health Emergency

    Cole, J., 2017, 458 p.

    Research output: ThesisDoctoral Thesis

  5. Published

    The role of measurability in game-theoretic probability

    Vovk, V., Jul 2017, In: Finance and Stochastics. 21, 3, p. 719–739 21 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    The Remarkable Simplicity of Very High Dimensional Data: Application of Model-Based Clustering

    Murtagh, F., 2009, In: Journal of Classification. 26, 3, p. 249-277 28 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    The Proof Complexity of Polynomial Identities

    Hrubes, P. & Tzameret, I., 2009, Proceedings of the 24th IEEE Conference on Computational Complexity (CCC). IEEE Computer Society Press, p. 41-51 11 p.

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

  8. Published

    The Project Strategy Matrix: Systematizing the Design and Management of an Explicit Project Strategy

    Koutsoukos, G., Feb 2021, In: IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT. 68, 1, p. 249-264 16 p., 8809922.

    Research output: Contribution to journalReview articlepeer-review

  9. Published

    The prediction of human exons by oligonucleotide composition and discriminant analysis of spliceable open reading frames

    Solovyev, V. V., Salamov, A. A. & Lawrence, C. B., 1 Jan 1994, In: Proceedings / ... International Conference on Intelligent Systems for Molecular Biology ; ISMB. International Conference on Intelligent Systems for Molecular Biology. 2, p. 354-62 9 p.

    Research output: Contribution to journalArticlepeer-review

  10. Forthcoming

    The Power of Propagation: When GAC is Enough

    Cohen, D. & Jeavons, P., 6 Jun 2016, (Accepted/In press). 15 p.

    Research output: Contribution to conferencePaperpeer-review

  11. Published

    The power of propagation: when GAC is enough

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

    Research output: Contribution to journalArticlepeer-review

  12. Published

    The power of primitive positive definitions with polynomially many variables

    Lagerkvist, V. & Wahlstrom, M., 1 Jul 2017, In: Journal of Logic and Computation. 27, 5, p. 1465–1488 24 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    THE PEDANT HUMAN GENOME DATABASE — FUNCTIONAL ANNOTATION OF THE HUMAN GENOME

    Schüller, C. M. E., Geier, B., Fritz, A., Salamov, A., Seledsov, I., Solovyev, V. & Frishman, D., 2 Jan 2002, In: TheScientificWorldJOURNAL. 2, p. 82-83 2 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    The Parameterized Complexity of Connected Fair Division

    Deligkas, A., Eiben, E., Ganian, R., Hamm, T. & Ordyniak, S., Aug 2021, International Joint Conference on Artificial Intelligence: IJCAI 2021. p. 139-145 7 p.

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

  15. Published

    The origins and legacy of Kolmogorov's Grundbegriffe

    Vovk, V. & Shafer, G., Oct 2005, 109 p. (Game-Theoretic Probability and Finance project).

    Research output: Working paper

  16. Published

    The order types of termination orderings on terms, strings and multisets

    Martin, U. & Scott, E., 1997, In: Journal of Symbolic Logic. 62, 2, p. 624-635

    Research output: Contribution to journalArticlepeer-review

  17. Published

    The number of pancyclic arcs in a k-strong tournament

    Yeo, A., Nov 2005, In: Journal of Graph Theory. 50, 3, p. 212-219

    Research output: Contribution to journalArticlepeer-review

  18. E-pub ahead of print

    The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth

    Gutin, G., Jones, M. & Wahlstrom, M., 29 Nov 2016, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 30, 4, p. 2177-2205 29 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    The minimum spanning strong subdigraph problem is fixed parameter tractable

    Bang-Jensen, J. & Yeo, A., 2008, In: Discrete Applied Mathematics. 156, 15, p. 2924-2929 6 p.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    The minimum spanning strong subdigraph problem for extended semicomplete digraphs and semicomplete bipartite digraphs

    Bang-Jensen, J. & Yeo, A., 2001, In: Journal of Algorithms. 41, p. 1-19 19 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    The minimum feedback arc set problem is NP-hard for tournaments

    Charbit, P., Thomasse, S. & Yeo, A., 2007, In: Combinatorics, Probability and Computing. 16, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    The many faces of complexity in software design

    Fiadeiro, J. L., 2012, Conquering Complexity. Springer

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

  23. Published

    The Linear Arrangement Problem Parameterized Above Guaranteed Value

    Gutin, G., Rafiey, A., Szeider, S. & Yeo, A., 2007, In: Theory of Computing Systems. 41, 3, p. 521-538

    Research output: Contribution to journalArticlepeer-review

  24. Published

    The law of the iterated logarithm for random Kolmogorov, or chaotic, sequences

    Vovk, V., 1987, In: Theory of Probability and Its Applications. 32, p. 413-425 13 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    The KGP model of agency for global computing: Computational model and prototype implementation

    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G. & Toni, F., 2005, Global computing. Springer-Verlag, Vol. 3267. p. 340-367 28 p.

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

  26. Published

    The KGP model of Agency

    Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., 2004, p. 33--37.

    Research output: Contribution to conferencePaperpeer-review

  27. Published

    The Isgur-Wise function from the lattice

    BOOTH, S. P., BOWLER, K. C., HAZEL, N. M., HENTY, D. S., HOEBER, H., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., SIMPSON, A. D., LELLOUCH, L., NIEVES, J., SACHRAJDA, C. T. & WITTIG, H., 24 Jan 1994, In: Physical Review Letters. 72, 4, p. 462-465 4 p.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    The INFOLOG linear tense propositional logic of events and transactions

    Fiadeiro, J. & Sernadas, A., 1 Jan 1986, In: Information Systems Management. 11, 1, p. 61-85 25 p.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    The identification of Transcription Factor Binding Sites using string kernels

    Shanahan, H., 10 Sep 2010.

    Research output: Contribution to conferenceOther

  30. Published

    The Identification and Management of Latent Software Assets

    Layzell, P. J. & Freeman, M. J., 1994, In: International Journal of Information Management. 14, 6, p. 427-442 16 p.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    The History of Macro Processors in Programming Language Extensibility

    Layzell, P. J., 1985, Computer Journal. p. 29-33 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Published

    The Handbook of Computational Linguistics and Natural Language Processing

    Clark, A. (ed.), Fox, C. (ed.) & Lappin, S. (ed.), 2010, Wiley-Blackwell.

    Research output: Book/ReportBook

  33. Published

    The Haar Wavelet Transform of a Dendrogram: Additional Notes

    Murtagh, F., 10 Feb 2007.

    Research output: Working paperDiscussion paper

  34. Published

    The Haar Wavelet Transform of a Dendrogram

    Murtagh, F., Jun 2007, In: Journal of Classification. 24, 1

    Research output: Contribution to journalArticlepeer-review

  35. Published

    The GTB and PAT tools

    Johnstone, A., Scott, E. & Economopoulos, G., 31 Dec 2004, p. 173-175. 3 p.

    Research output: Contribution to conferencePaper

  36. Published

    The Greedy Algorithm for the Symmetric TSP

    Gutin, G. & Yeo, A., 2007, In: Algorithmic Operations Research. 2, 1, p. 33-36 4 p.

    Research output: Contribution to journalArticlepeer-review

  37. Published

    The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms

    Johnstone, A., Scott, E. & Economopoulos, G., 31 Dec 2004, p. 97-113. 17 p.

    Research output: Contribution to conferencePaper

  38. Published

    The genome sequence of taurine cattle: a window to ruminant biology and evolution

    Elsik, C. G., Tellam, R. L., Worley, K. C., Gibbs, R. A., Muzny, D. M., Weinstock, G. M., Adelson, D. L., Eichler, E. E., Elnitski, L., Guigó, R., Hamernik, D. L., Kappes, S. M., Lewin, H. A., Lynn, D. J., Nicholas, F. W., Reymond, A., Rijnkels, M., Skow, L. C., Zdobnov, E. M., Schook, L. & 31 others, Womack, J., Alioto, T., Antonarakis, S. E., Astashyn, A., Chapple, C. E., Chen, H-C., Chrast, J., Câmara, F., Ermolaeva, O., Henrichsen, C. N., Hlavina, W., Kapustin, Y., Kiryutin, B., Kitts, P., Kokocinski, F., Landrum, M., Maglott, D., Pruitt, K., Sapojnikov, V., Searle, S. M., Solovyev, V., Souvorov, A., Ucla, C., Wyss, C., Anzola, J. M., Gerlach, D., Elhaik, E., Graur, D., Reese, J. T., Edgar, R. C. & Bovine Genome Sequencing and Analysis Consortium, 24 Apr 2009, In: Science. 324, 5926, p. 522-8 7 p.

    Research output: Contribution to journalArticlepeer-review

  39. Published

    The genome of the sea urchin Strongylocentrotus purpuratus

    Sodergren, E., Weinstock, G. M., Davidson, E. H., Cameron, R. A., Gibbs, R. A., Angerer, R. C., Angerer, L. M., Arnone, M. I., Burgess, D. R., Burke, R. D., Coffman, J. A., Dean, M., Elphick, M. R., Ettensohn, C. A., Foltz, K. R., Hamdoun, A., Hynes, R. O., Klein, W. H., Marzluff, W., McClay, D. R. & 31 others, Morris, R. L., Mushegian, A., Rast, J. P., Smith, L. C., Thorndyke, M. C., Vacquier, V. D., Wessel, G. M., Wray, G., Zhang, L., Elsik, C. G., Ermolaeva, O., Hlavina, W., Hofmann, G., Kitts, P., Landrum, M. J., Mackey, A. J., Maglott, D., Panopoulou, G., Poustka, A. J., Pruitt, K., Sapojnikov, V., Song, X., Souvorov, A., Solovyev, V., Wei, Z., Whittaker, C. A., Worley, K., Durbin, K. J., Shen, Y., Fedrigo, O. & Sea Urchin Genome Sequencing Consortium, 10 Nov 2006, In: Science. 314, 5801, p. 941-52 12 p.

    Research output: Contribution to journalArticlepeer-review

  40. Published

    The genome of the model beetle and pest Tribolium castaneum

    Richards, S., Gibbs, R. A., Weinstock, G. M., Brown, S. J., Denell, R., Beeman, R. W., Gibbs, R., Beeman, R. W., Brown, S. J., Bucher, G., Friedrich, M., Grimmelikhuijzen, C. J. P., Klingler, M., Lorenzen, M., Richards, S., Roth, S., Schröder, R., Tautz, D., Zdobnov, E. M., Muzny, D. & 31 others, Gibbs, R. A., Weinstock, G. M., Attaway, T., Bell, S., Buhay, C. J., Chandrabose, M. N., Chavez, D., Clerk-Blankenburg, K. P., Cree, A., Dao, M., Davis, C., Chacko, J., Dinh, H., Dugan-Rocha, S., Fowler, G., Garner, T. T., Garnes, J., Gnirke, A., Hawes, A., Hernandez, J., Hines, S., Holder, M., Hume, J., Jhangiani, S. N., Joshi, V., Khan, Z. M., Jackson, L., Kovar, C., Kowis, A., Solovyev, V. & Tribolium Genome Sequencing Consortium, 2008, In: Nature. 452, 7190, p. 949-55 7 p.

    Research output: Contribution to journalArticlepeer-review

  41. Published
  42. Published

    The Generalized Loneliness Detector and Weak System Models for k-Set Agreement

    Biely, M., Robinson, P. & Schmid, U., 2014, In: IEEE Transactions Parallel Distributed Systems. 25, 4, p. 1078-1088 11 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    The generalized dependency degree between attributes

    Yang, H., King, I. & Lyu, M. R., 1 Dec 2007, In: Journal of the American Society for Information Science and Technology. 58, 14, p. 2280-2294 15 p.

    Research output: Contribution to journalArticlepeer-review

  44. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 2011, In: Annals of the Institute of Statistical Mathematics. 63, 5, p. 873 - 885 13 p.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 26 Mar 2008.

    Research output: Working paper

  46. Published

    The Gene-Finder computer tools for analysis of human and model organisms genome sequences

    Solovyev, V. & Salamov, A., 1 Jan 1997, Proceedings of the Fifth International Conference on Intelligent Systems for Molecular Biology. Vol. 5. p. 294-302 9 p.

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

  47. Published

    The Garnata information retrieval system at INEX07

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Martín-Dancausa, C. & Romero, A. E., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4862 LNCS. p. 57-69 13 p.

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

  48. Published

    The Game-Theoretic Capital Asset Pricing Model

    Vovk, V. & Shafer, G., 1 Nov 2001.

    Research output: Working paper

  49. Published

    The game-theoretic capital asset pricing model

    Vovk, V. & Shafer, G., Sep 2008, In: International Journal of Approximate Reasoning. 49, 1, p. 175-197 23 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    The Future of Software: Defining the Research Agenda

    Brereton, P., Budgen, D., Bennett, K., Munro, M., Layzell, P., Macaulay, L., Griffiths, D. & Stannett, C., 1999, In: Comm.ACM. 42, 12, p. 78-84 7 p.

    Research output: Contribution to journalArticlepeer-review

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