Home > Publications

Publications

37326 - 37350 out of 39,463Page size: 25
  1. Published

    A protocol compiler for secure sessions in ML

    Corin, R. & Denielou, P-M., 2008, TRUSTWORTHY GLOBAL COMPUTING. Barthe, G. & Fournet, C. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 276-293 18 p.

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

  2. Published

    A Proteomic-Based Approach for Detection of Chicken in Meat Mixes

    Sentandreu, M. A., Fraser, P. D., Halket, J., Patel, R. & Bramley, P. M., Jul 2010, In : Journal of Proteome Research. 9, 7, p. 3374-3383 10 p.

    Research output: Contribution to journalArticle

  3. Published

    A Proposed Core Dataset for Child and Adolescent Psychology and Psychiatry Services

    Berger, M., Hill, P., Sein, E., THOMPSON, M. & Verduyn, C., 1993

    Research output: Non-textual formData set/Database

  4. Published

    A proposal for the greening of textbook macro: 'IS-LM-EE'

    Heyes, A., Jan 2000, In : ECOLOGICAL ECONOMICS. 32, 1, p. 17 7 p.

    Research output: Contribution to journalEditorial

  5. Published

    A proposal for continuing audit of diabetes services from the working group of the Research Unit of the Royal college of Physicians and the British Diabetic Association

    Williams, D. D. R., Home, P. D., Bishop, A., Bradley, C., Brown, K. . G. . E., Day, J. L., Hillson, R., Hockaday, T. D. R., Hopkins, A. P., Kinmonth, A-L., Kurtz, A. B., Meadows, K., Murphy, M., O'Toole, L., Pope, R., Ronald, J. M., Todd, C. J., Vaughan, N., Wilson, A. E. & Wilson, S. M., 1992, In : Diabetic Medicine. 9, p. 759-764 6 p.

    Research output: Contribution to journalArticle

  6. Published

    A proposal for a standard interface between Monte Carlo tools and one-loop programs

    Binoth, T., Boudjema, F., Dissertori, G., Lazopoulos, A., Denner, A., Dittmaier, S., Frederix, R., Greiner, N., Hoche, S., Giele, W., Skands, P., Winter, J., Gleisberg, T., Archibald, J., Heinrich, G., Krauss, F., Maitre, D., Huber, M., Huston, J., Kauer, N. & 8 others, Maltoni, F., Oleari, C., Passarino, G., Pittau, R., Pozzorini, S., Reiter, T., Schumann, S. & Zanderighi, G., 8 Jan 2010, In : Computer Physics Communications. 153

    Research output: Contribution to journalArticle

  7. Published

    A propos du contexte de “Cortesamen vuoill comensar” de Marcabru

    Harvey, R. & Queirazza, G. G. (ed.), 1993, Actes du deuxième congrès international de l’Association Internationale d’Etudes Occitanes. Vol. 1. p. 165-80

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    A propos de la traduction des troubadours en anglais

    Harvey, R. & Surre-Garcia, A. (ed.), 1992, ‘Flor Inversa’: Actes de la manifestation internationale sur la traduction de l’occitan et des langues européennes moins répandues. Toulouse: Conservatoire Occitan, p. 97-99 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    A propos de la date de la première "chanson de croisade": "Emperaire, per mi mezeis" de Marcabru

    Harvey, R., 1999, In : Cahiers de Civilisation Médiévale. 42, p. 55-60 6 p.

    Research output: Contribution to journalArticle

  10. Published

    A propagation model of a vulnerability mitigation computer worm - SeaWave

    Al-Salloum, Z. & Wolthusen, S. D., 6 Sep 2011, Proceedings of the 2011 5th International Network and System Security Conference (NSS 2011). IEEE Computer Society Press, p. 347-352

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

  11. Published

    A Proof of the Murnaghan–Nakayama Rule Using Specht Modules and Tableau Combinatorics

    Kochhar, J. & Wildon, M., 20 Feb 2020, In : Annals of combinatorics. p. 1-22 22 p.

    Research output: Contribution to journalArticle

  12. Published

    A prolegomenon to nonlinear empiricism in the human behavioral sciences

    Efferson, C. & Richerson, P. J., Jan 2007, In : Biology and Philosophy. 22, 1, p. 1-33 33 p.

    Research output: Contribution to journalArticle

  13. Published

    A problem of Hooley in Diophantine approximation

    Harman, G., 1996, In : Glasgow Math. J.. 38, p. 299-308 10 p.

    Research output: Contribution to journalArticle

  14. Published

    A problem of finding an acceptable variant in some generalized project networks

    Blokh, D., Gutin, G., Yeo, A. & Yeo, A., 2005, In : Journal of Applied Mathematics and Decision Science. 2, p. 75-81 7 p.

    Research output: Contribution to journalArticle

  15. Published

    A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic

    Luo, Z., 1990, LFCS Report Series. LFCS, Edinburgh Univ

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

  16. Published

    A problem in the metric theory of Diophantine approximation

    Harman, G., 1986, In : Quart. J. Math. Oxford (2). 37, p. 391-400 10 p.

    Research output: Contribution to journalArticle

  17. Published

    A probabilistic reasoning system based on a causal graph approach

    Luo, Z. & Gammerman, A., 1990, Proceeding of IEE Colloquium on Knowledge Engineering.

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

  18. Published

    A probabilistic MR atlas of the human cerebellum

    Diedrichsen, J., Balsters, J., Flavell, J., Cussans, E. & Ramnani, N., 2009, In : NeuroImage. 46, 1, p. 39-46

    Research output: Contribution to journalArticle

  19. Published

    A probabilistic counting lemma for complete graphs

    Gerke, S., Marciniszyn, M. & Steger, A., Dec 2007, In : Random Structures and Algorithms. 31, 4, p. 517-534 18 p.

    Research output: Contribution to journalArticle

  20. Published

    A probabilistic atlas of finger dominance in the primary somatosensory cortex

    O'Neill, G. C., Sengupta, A., Asghar, M., Barratt, E. L., Besle, J., Schluppeck, D., Francis, S. T. & Sanchez Panchuelo, R. M., 15 Aug 2020, In : NeuroImage. 217, p. 1-17 17 p., 116880.

    Research output: Contribution to journalArticle

  21. Published

    A probabilistic argumentation framework for reinforcement learning agents

    Riveret, R., Gao, Y., Governatori, G., Rotolo, A., Pitt, J. & Sartor, G., Mar 2019, In : Autonomous Agents and Multi-Agent Systems. 33, 1-2, p. 216-274 59 p.

    Research output: Contribution to journalArticle

  22. Published

    A probabilistic approach to problems parameterized above or below tight bounds

    Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., Mar 2011, In : Journal of Computer and System Sciences. 77, 2, p. 422-429

    Research output: Contribution to journalArticle

  23. Published

    A privacy-aware reputation-based announcement scheme for VANETs

    Chen, LI., Li, Q., Martin, K. M. & Ng, S-L., 2013, Wireless Vehicular Communications (WiVeC), 2013 IEEE 5th International Symposium on. IEEE, p. 1-5

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

  24. Published

    A Privacy Preserving Application Acquisition Protocol

    Akram, R. N., Markantonakis, K. & Mayes, K., 1 Jun 2012, 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-12). Geyong Min, F. G. M. (ed.). Liverpool, United Kingdom: IEEE Computer Society Press

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

  25. Published

    A Privacy Architecture for Context - Aware Enterprise Social Networks

    Yau, P-W. & Tomlinson, A., 1 Jul 2011.

    Research output: Contribution to conferencePaper