Home > Publications

Publications

39276 - 39300 out of 41,443Page size: 25
  1. Published

    Typed Guarded Decompositions for Constraint Satisfaction

    Cohen, D. A. & Green, M. J., 2006, p. 122-136.

    Research output: Contribution to conferencePaper

  2. Published

    Typed Operational Semantics for Dependent Record Types

    Feng, Y. & Luo, Z., 2011, Proceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53.

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

  3. Published

    Types for Proofs and Programs. Proc. of Inter. Conf. TYPES'2000, Durham, UK. LNCS 2277

    Callaghan, P. (ed.), Luo, Z. (ed.), McKinna, J. (ed.) & Pollack, R. (ed.), 2002, Springer.

    Research output: Book/ReportBook

  4. Published

    Types of embedded graphs and their Tutte polynomials

    Huggett, S. & Moffatt, I., Sep 2020, In: Mathematical Proceedings of the Cambridge Philosophical Society. 169, 2, p. 255-297 43 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Types of mixing and heterogeneities in siliciclastic-carbonate sediments

    Chiarella, D., Longhitano, S. G. & Tropeano, M., Dec 2017, In: Marine and Petroleum Geology. 88, p. 617-627 11 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Type-theoretic semantics for SemNet

    Shiu, S., Luo, Z. & Garigliano, R., 1996, Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085.

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

  7. Published

    Type-Theoretical Semantics with Coercive Subtyping

    Luo, Z., 2010, Semantics and Linguistic Theory. Vol. 20. p. 38-56 19 p.

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

  8. Published

    Typical equilibrium state of an embedded quantum system

    Ithier, G., Ascroft, S. & Benaych-Georges, F., 13 Dec 2017, In: Physical Review E (Statistical, Nonlinear, and Soft Matter Physics). 96, 6, p. 1-5 5 p., 060102(R).

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Typical integration of emotion cues from bodies and faces in Autism Spectrum Disorder

    Brewer, R., Aug 2017, In: Cognition. 165, p. 82–87 6 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Typical versions of learned swamp sparrow song types are more effective signals than are less typical versions

    Lachlan, R. F., Anderson, R. C., Peters, S., Searcy, W. A. & Nowicki, S., 22 Jun 2014, In: Proceedings of the Royal Society B: Biological sciences. 281, 1785, p. 1-7 7 p., 20140252.

    Research output: Contribution to journalArticlepeer-review

  11. Published
  12. Published

    Tyrrhenian central Italy: Holocene population and landscape ecology

    Stoddart, S., Woodbridge, J., Palmisano, A., Mercuri, A. M., Mensing, S. A., Colombaroli, D., Sadori, L., Magri, D., Di Rita, F., Giardini, M., Mariotti, M., Montanari, C., Bellini, C., Florenzano, A., Torri, P., Bevan, A., Shennan, S., Fyfe, R. & Roberts, N., 1 May 2019, In: Holocene. 29, 5, p. 761-775 15 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    u Aufbau und Quellen der σύνοψις ἰατρικῆς des Leo medicus

    Zipser, B., 2005, Antike Fachtexte / Ancient Technical Text. Fögen, T. (ed.). Berlin: de Gruyter, p. 107- 115 9 p.

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

  14. Published

    U/Pb-dating of calcite slickenfibres

    Rittner, M. & Muller, W., Jun 2009, p. A1104-A1104. 1 p.

    Research output: Contribution to conferencePaperpeer-review

  15. Published

    UAE Banking Sector; Strategy and Repositioning: An Assessment Report of the Current Market Structure and Strategy 2011-2016

    Hassan, M., 2 Mar 2015, Kindle.

    Research output: Contribution to non-peer-reviewed publicationInternet publication

  16. Unpublished
  17. Published
  18. Published

    Über Staat und Religion

    Berry, M., Nov 2013, Cambridge Wagner Encyclopaedia. Vazsonyi, N. (ed.). New York: Cambridge University Press, p. 607-608

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

  19. Published

    Überlegungen zum Text der σύνοψις ἰατρικῆς des Leo medicus

    Zipser, B., 2004, Studia Humanitatis ac Litterarum Trifolio Heidelbergensi dedicata. Festschrift für Eckhard Christmann, Wilfried Edelmaier und Rudolf Kettemann. Hornung, A., Jäckel, C. & Schubert, W. (eds.). Peter Lang, p. 393-399 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Published

    Ubiquitous Agents for Ambient Ecologies

    Dipsis, N. & Stathis, K., Aug 2012, In: Pervasive and Mobile Computing. 8, 4, p. 562-574

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Ubiquitous Approach to Body Hydration Testing

    Chin, J. & Tisan, A., 13 Aug 2015, p. 144-147. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  22. Published

    Ubiquitous one-time password service using generic authentication architecture

    Chen, C., Mitchell, C. J. & Tang, S., Nov 2010. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  23. Published

    Ubiquitous one-time password service using the Generic Authentication Architecture

    Chen, C., Mitchell, C. J. & Tang, S., 2013, In: Mobile Networks and Applications. 18, 5, p. 738-747 10 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Ubuntu, public policy ethics and tensions in South Africa's foreign policy

    Qobo, M. & Nyathi, N., 14 Mar 2017, In: South African Journal of International Affairs. 23, 4, p. 421-436 16 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Uddering the Other: Androcentrism, Ecofeminism and the Dark Side of Anthropomorphic Marketing

    Stevens, L., Kearney, M. & Maclaran, P., 2013, In: Journal of Marketing Management. 29, 1/2, p. 158-174

    Research output: Contribution to journalArticlepeer-review