Home > Publications

Publications

37351 - 37400 out of 39,926Page size: 50
  1. Published

    A universal well-calibrated algorithm for on-line classification

    Vovk, V., Jun 2004, In: Journal of Machine Learning Research. 5, p. 575-604 30 p.

    Research output: Contribution to journalArticlepeer-review

  2. Published

    A Universal Client-based Identity Management Tool

    Al-Sinani, H. S. & Mitchell, C. J., 2012, Public Key Infrastructures, Services and Applications - 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers: 8th European Workshop on Public Key Infrastructures, Services and Applications, Leuven, Belgium, 15th/16th September 2011. Petkova-Nikova, S., Pashalidis, A. & Pernul, G. (eds.). Springer-Verlag, p. 49-74 26 p. (Lecture Notes in Computer Science; no. 7163).

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

  3. Published

    A unitary non-NMDA receptor short subunit from Xenopus: DNA cloning and expression.

    Ishimaru, H., Kamboj, R., Ambrosini, A., Henley, J. M., Soloviev, M. M., Sudan, H., Rossier, J., Abutidze, K., Rampersad, V., Usherwood, P. N. R., Bateson, A. N. & Barnard, E. A., 1996, In: RECEPTORS. 4, 1, p. 31-49 19 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published
  5. E-pub ahead of print

    A Unique Denial: Israel's Foreign Policy and the Armenian Genocide

    Ben Aharon, E., 29 May 2015, In: British Journal of Middle Eastern Studies. 42, 4, p. 638-654 17 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    A Unifying Theory of Dependent Types: the schematic approach

    Luo, Z., 1992, Proc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620.

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

  7. Published

    A Unifying Framework for Tractable Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1995, p. 276-291.

    Research output: Contribution to conferencePaper

  8. Published

    A unified theory of structural tractability for constraint satisfaction problems

    Cohen, D., Jeavons, P. & Gyssens, M., Aug 2008, In: Journal of Computer and System Sciences. 74, 5, p. 721-743 23 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.

    Cohen, D. A., Jeavons, P. & Gyssens, M., 2005, p. 72-77.

    Research output: Contribution to conferencePaper

  10. Forthcoming

    A Unified Theory of Matter Genesis: Asymmetric Freeze-In

    J. Hall, L., March-Russell, J. & West, S., 1 Oct 2010, (Accepted/In press)

    Research output: Other contribution

  11. Published

    A Typology of the Women Recorded on Gravestones from Attica

    Rubinstein, L., Hansen, M. H., Nielsen, T. H., Vestergaard, T. & Bjertrup, L., 1993, In: American Journal of Ancient History. 10, p. 178-190

    Research output: Contribution to journalArticlepeer-review

  12. Published

    A Typology of Dishonesty: Illustrations from the s29 Database

    Gallagher, A. & Jago, R., 2016, Professional Standards Authority.

    Research output: Book/ReportCommissioned report

  13. Published

    A type-theoretic framework for formal reasoning with different logical foundations

    Luo, Z., 2007, Advances in Computer Science, Proc of the 11th Annual Asian Computing Science Conference. LNCS 4435. Springer

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

  14. Published

    A two-dimensional laser-wire scanner for electron accelerators

    Bosco, A., Price, M. T., Blair, G. A., Boogert, S. T., Boorman, G., Malton, S., Driouichi, C., Kamps, T., Poirier, F., Balewski, K., Elsen, E., Gharibyan, V., Lewin, H. -C., Schreiber, S., Walker, N. & Wittenburg, K., 21 Jul 2008, In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 592, 3, p. 162-170 9 p.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    A two component chitin-binding protein from French bean - association of a proline-rich protein with a cysteine-rich polypeptide

    Bindschedler, L. V., Whitelegge, J. P., Millar, D. J. & Bolwell, G. P., 6 Mar 2006, In: FEBS Letters. 580, 6, p. 1541-1546 6 p.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    A tutorial on conformal prediction

    Shafer, G. & Vovk, V., 21 Jun 2007.

    Research output: Working paper

  17. Published

    A tutorial on conformal prediction

    Shafer, G. & Vovk, V., Mar 2008, In: Journal of Machine Learning Research. 9, p. 371-421 51 p.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    A Tunisian Musical Icon

    Morra, S., 28 May 2017, In: oudmigrations.

    Research output: Contribution to journalArticle

  19. Published

    A tunable proof of ownership scheme for deduplication using Bloom filters

    Blasco, J., Di Pietro, R., Orfila, A. & Sorniotti, A., 29 Dec 2014, 2014 IEEE Conference on Communications and Network Security, CNS 2014. Institute of Electrical and Electronics Engineers Inc., p. 481-489 9 p. 6997518. (2014 IEEE Conference on Communications and Network Security, CNS 2014).

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

  20. Published

    A TRIPLE-FILAMENT METHOD FOR RAPID AND PRECISE ANALYSIS OF RARE-EARTH ELEMENTS BY ISOTOPE-DILUTION

    THIRLWALL, M. F., 1982, In: Chemical Geology. 35, 1-2, p. 155-166 12 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    A Trifling Matter

    Gray, S., 2014, Amazing Stories.

    Research output: Other contribution

  22. Published

    A Triassic to Cretaceous Sundaland–Pacific subduction margin in West Sarawak, Borneo

    Breitfeld, H., Hall, R., Galin, T., Forster, M. A. & Boudagher-Fadel, M. K., 2 Jan 2017, In: Tectonophysics. 694, p. 35–56 22 p.

    Research output: Contribution to journalArticlepeer-review

  23. Unpublished

    A translation of and commentary on Plotinus' Ennead III.7 with an interpretative essay

    Tempest-Walters, K., 20 Sep 2019, (Unpublished)

    Research output: ThesisDoctoral Thesis

  24. Published

    A transition from total domination in graphs to transversals in hypergraphs

    Henning, M. & Yeo, A., 2007, In: Quaestiones Mathematicae. 30, p. 1-20 20 p.

    Research output: Contribution to journalArticlepeer-review

  25. Unpublished

    A transformer conformal predictor for paraphrase detection

    Giovannotti, P., 2020, (Unpublished).

    Research output: Contribution to conferencePosterpeer-review

  26. E-pub ahead of print

    A transcriptomic, metabolomic and cellular approach to the physiological adaptation of tomato fruit to high temperature

    Almeida Barros da Silva, J., Perez, L. & Fraser, P., 21 Jul 2020, In: Plant, Cell and Environment.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    A trace bound for positive definite connected integer symmetric matrices

    McKee, J. & Yatsyna, P., 1 Mar 2014, In: Linear Algebra and Its Applications. 444, p. 227-230 4 p.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    A Tournaisian (earliest Carboniferous) conglomerate-preserved non-marine faunal assemblage and its environmental and sedimentological context

    Clark, J. A., Bennett, C. E., Davies, S. J., Scott, A., Sherwin, J. & Smithson, T. R., 3 Jan 2019, In: PeerJ. 6, p. 1-47 47 p., e5972.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    A tour around finitely presented infinite simple groups

    Scott, E., 1989, Algorithms And Classification in Combinatorial Group Theory. Springer-Verlag, p. 83-119

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

  30. Unpublished

    A Torsional Oscillator Study of Solid Helium

    Nichols, G., 2014, (Unpublished) 176 p.

    Research output: ThesisDoctoral Thesis

  31. Published

    A topoisomerase II-dependent checkpoint in G2-phase plant cells can be bypassed by ectopic expression of mitotic cyclin B2

    Gimenez-Abian, J. F., Weingartner, M., Binarova, P., Clarke, D. J., Anthony, R. G., Calderini, O., Heberle-Bors, E., Moreno Diaz de la Espina, S., Bogre, L. & De la Torre, C., 2002, In: Cell Cycle. 1, 3, p. 187-92 6 p.

    Research output: Contribution to journalArticlepeer-review

  32. Unpublished
  33. Published

    A tool to measure the attributes of receiving IV therapy in a home versus hospital setting: the Multiple Sclerosis Relapse Management Scale (MSRMS)

    Riazi, A., Porter, B., Chataway, J., Thompson, A. & Hobart, J., 2011, In: Health and Quality of Life Outcomes. 9, 80

    Research output: Contribution to journalArticlepeer-review

  34. Published

    A tool for choreography-based analysis of message-passing software

    Lange, J., Tuosto, E. & Yoshida, N., 31 Jul 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 125-146 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Published

    A Tool for Balance Control Training Using Muscle Synergies and Multimodal Interfaces

    Galeano Galeano, D., Brunetti, F., Torricelli, D., Piazza, S. & Pons, J. L., 5 Mar 2014, In: BioMed research international.

    Research output: Contribution to journalArticlepeer-review

  36. Published

    A Toba-scale eruption in the Early Miocene: The Semilir eruption, East Java, Indonesia

    Smyth, H. R., Crowley, Q. G., Hall, R., Kinny, P. D., Hamilton, P. J. & Schmidt, D. N., 2011, In: Lithos. 126, 3-4, p. 198-211 14 p.

    Research output: Contribution to journalArticlepeer-review

  37. Published

    A timed component algebra for services

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2013, FMOODS/FORTE. Beyer, D. & Borelae, M. (eds.). Springer, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 7892).

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

  38. Published

    A Time to Think, A Time to Talk: Irish Republican Prisoners in the Northern Ireland Peace Process

    Morrison, J. F., 5 Dec 2013, Prisons, Terrorism and Extremism: Critical Issues in Management, Radicalisation and Reform. Silke, A. (ed.). 1st ed. Routledge, (Political Violence).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  40. Published

    A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances

    Wahlström, M., 1 May 2008, 3rd International Workshop on Parameterized and Exact Computation (IWPEC 2008). Grohe, M. & Niedermeier, R. (eds.). Victoria (BC), Canada: Springer, Vol. 5018. p. 202-213 12 p. (Lecture Notes in Computer Science).

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

  41. Published

    A threshold-improved narrow-width approximation for BSM physics

    Kauer, N., 15 Apr 2008, In: Journal of High Energy Physics.

    Research output: Contribution to journalArticlepeer-review

  42. Published

    A threshold effect of the major isoforms of NCAM on neurite outgrowth

    Doherty, P., Fruns, M., Seaton, P., Dickson, G., Barton, C. H., Sears, T. A. & Walsh, F. S., 1990, In: Nature. 343, 6257, p. 464-6 3 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    A three-dimensional microgeodynamic model of melt geometry in the Earth's deep interior

    Wimert, J. & Hier-Majumder, S., Apr 2012, In: Journal of Geophysical Research. 117, B4, B04203.

    Research output: Contribution to journalArticlepeer-review

  44. Published

    A threat called Turkey: Perceived religious threat and support for EU entry of Croatia, Switzerland and Turkey

    Azrout, R., Van Spanje, J. & De Vreese, C., 2013, In: Acta Politica. 48, p. 2-21 20 p.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    A Thousand Suns: Traversing the Archive and Transforming Documentary in Mati Diop's Mille Soleils

    Williams, J., 6 Sep 2016, In: Film Quarterly. 70, 1, p. 85-95 11 p.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    A Thousand Plateaus and Philosophy

    Somers-Hall, H., 2018, Edinburgh University Press.

    Research output: Book/ReportBook

  47. E-pub ahead of print

    A thirteenth-century theory of speech

    Harvey, J., Smithson, H., Siviour, C., Gasper, G., Sønnesyn, S. O., McLeish, T. & Howard, D., 6 Aug 2019, In: Journal of the Acoustical Society of America. 146, 2, p. 937-947 11 p.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    A Third Verdict Option: Exploring the Impact of the Not Proven Verdict on Mock Juror Decision Making

    Hope, L., Greene, E., Memon, A., Gavisk, M. & Houston, K., 2008, In: Law and Human Behavior. 32, p. 241-52

    Research output: Contribution to journalArticlepeer-review

  49. Published

    'A thing built to move': Lone Twin's The Boat Project: An interview with Gregg Whelan and Gary Winters, by David Williams

    Williams, D., 2012, In: Total Theatre. 24, 1, p. 11-12 2 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    A thing being done: an interview with Peter Hulton

    Williams, D. & Allsopp, R., 2002, In: Writings on Dance. 20, p. 12-19 8 p.

    Research output: Contribution to journalArticlepeer-review