Home > Publications

Publications

38351 - 38375 out of 43,238Page size: 25
  1. Conference contribution › Research
  2. Published

    Coding schemes for two-dimensional position sensing

    Burns, J. & Mitchell, C. J., 1993, Cryptography and Coding III: Proceedings of the third IMA Cryptography and Coding Conference, Cirencester, December 1991. Ganley, M. J. (ed.). Oxford University Press, p. 31-66 36 p.

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

  3. Published

    Coercions in Hindley-Milner systems

    Kießling, R. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

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

  4. Published

    Coercive subtyping and lexical semantics (extended abstract)

    Luo, Z. & Callaghan, P., 1998, Logical Aspects of Computational Linguistics (LACL'98).

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

  5. Published

    Coercive Subtyping in Lambda-Free Logical Frameworks

    Adams, R., 2009, Proceedings of the Fourth international Workshop on Logical Frameworks and Meta-Languages. Cheney, J. & Felty, A. (eds.). New York: ACM, p. 30-39 10 p.

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

  6. Published

    Coercive subtyping in type theory

    Luo, Z., 1997, CSL'96, LNCS'1258.

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

  7. Published

    Cognitive assessment in MS

    Langdon, D., Dec 2015, Neurodegenerative disease management. 6S ed. Vol. 5. p. 43-45 3 p.

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

  8. Published

    Cognitive Radio-based Wireless Sensor Networks: Conceptual design and open issues

    Yau, K-L. A., Komisarczuk, P. & Teal, P. D., 2009, The 34th Annual IEEE Conference on Local Computer Networks, LCN 2009, 20-23 October 2009, Zurich, Switzerland, Proceedings. p. 955-962 8 p.

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

  9. Published

    Cognitive strategic groups: Real or artefact?

    Robson, J. & van der Heijden, H., 2012, British Academy of Management (BAM) conference. Cardiff

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

  10. Published

    Coherence and transitivity in coercive subtyping

    Luo, Y. & Luo, Z., 2001, Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250.

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

  11. Published

    Coherent Cherenkov radiation as an intense THz source

    Bleko, V., Karataev, P., Konkov, A., Kruchinin, K., Naumenko, G., Potylitsyn, A. & Vaughan, T., 1 Jul 2016, Journal of Physics: Conference Series. Karataev, P., Potylitsyn, A., Tyukhtin, A. & Strikhanov, M. (eds.). IOP PUBLISHING LTD, Vol. 732. p. 1-7 7 p. 012006. (Radiation from Relativistic Electrons in Periodic Structures; vol. 732).

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

  12. Published

    COHERENT DIFFRACTION RADIATION AS A TOOL FOR LONGITUDINAL BEAM PROFILE DIAGNOSTICS AT CTF3

    Lekomtsev, K., Blair, G., Boorman, G., Karataev, P., Micheler, M., Corsini, R. & Lefevre, T., Sep 2010, Proceedings of Linear Accelerators Conference: LINAC'10, Tsukuba, Japan.

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

  13. Published

    Coherent Diffraction Radiation Longitudinal Beam Profile Monitor for CTF3.

    Micheler, M., Blair, G., Boorman, G., Karataev, P., Lekomtsev, K., Molloy, S., Corsini, R., Lefevre, T. & Dabrowski, A., May 2010, Proceedings of 1st International Particle Accelerator Conference: IPAC'10. p. 1143-1145 3 p.

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

  14. Published

    Cold Boot Attacks on NTRU

    Paterson, K. G. & Villanueva-Polanco, R., 2017, Progress in Cryptology – INDOCRYPT 2017 - 18th International Conference on Cryptology in India, Proceedings. Springer-Verlag, Vol. 10698 LNCS. p. 107-125 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10698 LNCS).

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

  15. Published

    Cold Boot Key Recovery by Solving Polynomial Systems with Noise

    Albrecht, M. & Cid, C., 2011, Applied Cryptography and Network Security - 9th International Conference, ACNS 2011. Springer, p. 57-72 16 p. (Lecture Notes in Computer Science - LNCS; vol. 6715).

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

  16. Published

    Coleoptera and Trichoptera

    Elias, S., 2001, Tracking Environmental Change Using Lake Sediments: Biological And Statistical Techniques. Smol, J. P. & Last, W. M. (eds.). Kluwer Academic Publishers, Vol. 4. p. 67-80

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

  17. Published

    Collaborative and Ubiquitous Consumer Oriented Trusted Service Manager

    Akram, R. N., Markantonakis, K. & Sauveron, D., 1 Sep 2014, The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14). Liu, Y. (ed.). IEEE Computer Society Press

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

  18. Published

    Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract)

    Kafali, O., Toni, F. & Torroni, P., 2011, AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems. p. 1167-1168 2 p.

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

  19. Published

    Collaborative value co-creation in crowd-sourced online communities- acknowledging and resolving competing commercial and communal orientations

    Whalley, A., 1 Oct 2011, Research In Consumer Behaviour. Emerald Group Publishing Ltd., Vol. 13. p. 1 18 p. 1

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

  20. E-pub ahead of print

    Collaborative Verifiable Delay Functions

    Medley, L. & Quaglia, E., 18 Oct 2021, (E-pub ahead of print) Inscrypt 2021: 17th International Conference on Information Security and Cryptology . p. 507-530 24 p. (Lecture Notes in Computer Science).

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

  21. Published

    Collapsible Pushdown Automata and Recursion Schemes

    Hague, M., Murawski, A. S., Ong, C-H. L. & Serre, O., 2008, LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, p. 452-461

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

  22. Published

    Collective Information Security in Large-Scale Urban Protests: the Case of Hong Kong

    Albrecht, M., Blasco Alis, J., Jensen, R. B. & Marekova, L., Aug 2021, Proceedings of the 30th USENIX Security Symposium. USENIX

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

  23. Published

    Collimation of Partially Stripped Ion Beams in the LHC

    Abramov, A., Nevay, L., Bruce, R., Fuster-Martinez, N., Gorzawski, A., Krasny, M., Molson, J., Redaelli, S. & Schaumann, M., 21 Jun 2019, 10th International Particle Accelerator Conference. JACoW Publishing, p. 700-703 4 p.

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

  24. Published

    Co-location epidemic tracking on London public transports using low power mobile magnetometer

    Nguyen, D. K. A., Watkins, C. & Luo, Z., 23 Nov 2017, The 8th International Conference on Indoor Positioning and Indoor Navigation, Sept 18-21, 2017, Japan. IEEE, p. 1-8 8 p.

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

  25. Published

    Combination of Conformal Predictors for Classification

    Toccaceli, P. & Gammerman, A., 13 Jun 2017, Proceedings of Machine Learning Research. Lawrence, N. & Reid, M. (eds.). Vol. 60. p. 39-61 23 p. (The Proceedings of Machine Learning Research; vol. 60).

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

  26. Published

    Combining Distributional and Morphological Information for Part of Speech Induction

    Clark, A., 2003, Proceedings of the tenth Annual Meeting of the {European Association for Computational Linguistics: EACL-03. p. 59--66

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