Home > Publications

Publications

37101 - 37150 out of 40,089Page size: 50
  1. Conference contribution › Research
  2. Published

    Socio-Cognitive Grids: The Net as a Universal Human Resource

    Bruijn, O. D. & Stathis, K., 1 Jun 2003, Proceedings of the Conference of ``Tales of the Disappearing Computer".

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

  3. Published

    Sodi's Opera for Mme Favart: "Baiocco et Serpilla"

    Charlton, D., 2005, La 'Querelle des Bouffons' dans la vie culturelle française du XVIIIe siècle. Fabiano, A. (ed.). Paris : CNRS, p. 205-18 14 p. (Sciences de la musique. Série Études.).

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

  4. Published

    Soft-sediments deformations in tidal cross-stratified deposits - triggering mechanisms in the Early Pleistocene Catanzaro strait-fill succession, Calabrian Arc (Southern Italy)

    Chiarella, D., Moretti, M., Longhitano, S. G. & Muto, F., 2015, Geophysical Research Abstracts. Vol. 17. p. 11453

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

  5. Published

    Soil biodiversity, root herbivory and carbon and nitrogen cycling in grassland soils

    Cook, R., Dawson, L. A., Gange, A., Grayston, S. J., Murray, P. J. & Treonis, A. M., 2001, PROCEEDINGS OF THE XIX INTERNATIONAL GRASSLAND CONGRESS. PIRACICABA: FUNDACAO ESTUDOS AGRARIOS LUIZ QUEIROZ (FEALQ), p. 902-902 1 p.

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

  6. Forthcoming

    Solo singing at the Comédie-Italienne, 1716 to c.1752

    Charlton, D., 2018, (Accepted/In press) La Comédie-Italienne de Paris, 1716-1780. Fabiano, A. & De Luca, E. (eds.). Paris: Presses de l'Université Paris-Sorbonne

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

  7. Published

    Solving hard cut problems via flow-augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., Jan 2021, Proceedings of SODA 2021. 20 p.

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

  8. Published

    Solving k-Set Agreement with Stable Skeleton Graphs

    Biely, M., Robinson, P. & Schmid, U., 2011, 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. p. 1488-1495 8 p.

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

  9. Published

    Solving SAT for CNF formulas with a one-sided variable occurrence restriction

    Johannsen, D., Razgon, I. & Wahlström, M., 2009, Theory and Applications of Satisfiability Testing, SAT 2009 : 12th International Conference, SAT 2009. Kullmann, O. (ed.). Swansea, Wales, United Kingdom: Springer, Vol. 5584. p. 80-85 6 p. (Lecture Notes in Computer Science).

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

  10. Published

    Some Algebraic Aspects of the Advanced Encryption Standard

    Cid, C., 2004, Advanced Encryption Standard - AES 2004, 4th International Conference. Berlin: Springer, Vol. 3373. p. 58-66 9 p. (Lecture Notes in Computer Science; vol. 3373).

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

  11. Published

    Some observations on colour and imitation in Roman material culture

    Claridge, A., 2020, Color, lujo y moda en la epoca romana: Piedras preciosas y ornamentales y sus imitationes. Cisneros Cunchillos, M. (ed.). Madrid: Archivo Español de Arqueología

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

  12. Published

    Some proof-theoretic and algorithmic aspects of coercive subtyping

    Jones, A., Luo, Z. & Soloviev, S., 1998, Types for proofs and programs, Proc. of the Inter. Conf. TYPES'96, LNCS 1512.

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

  13. Published

    Some Security Aspects of the MIST Randomized Exponentiation Algorithm

    Walter, C. D., 2003, CHES 2002. Jr., B. S. K., Koç, Ç. K. & Paar, C. (eds.). Springer, Vol. 2523. p. 276-290 15 p. (Lecture Notes in Computer Science).

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

  14. Published

    Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects

    Fiadeiro, J. L. & Maibaum, T. S. E., 1994, ICTL. Springer, Vol. 827. p. 48-66 19 p. (Lecture Notes in Computer Science).

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

  15. Published

    Sound regular expression semantics for dynamic symbolic execution of JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 8 Jun 2019, PLDI'19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, p. 425-438 14 p.

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

  16. Published

    Sources du droit, commerce international, éthiques et marchés - 50 ans de travaux de l'école de Dijon: is Lex Sportiva a rule or a contract

    Valladares Pacheco de Oliveira, L., 1 Jan 2020, Sources du droit, commerce international, éthiques et marchés - 50 ans de travaux de l'école de Dijon. Fortier, C. (ed.). France, Vol. 53. p. 57-59 3 p.

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

  17. Published

    South Asia and West Asia from the Delhi Sultanate to the Present: Security, Resources and Influence

    Robinson, F., 2012, Working Papers: Symposium on the Academic Chairs of His Majesty Sultan Qaboos bin Said and their Contribution to the Development of Human Knowledge. Muscat: Ministry of Higher Education, Oman, p. 74-86 13 p.

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

  18. Published

    Space Bounds for Reliable Storage: Fundamental Limits of Coding

    Spiegelman, A., Cassuto, Y., Chockler, G. & Keidar, I., 25 Jul 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, p. 249-258 10 p.

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

  19. Published

    Space Complexity of Fault-Tolerant Register Emulations

    Chockler, G. & Spiegelman, A., Jul 2017, PODC '17: Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM, p. 83-92 10 p.

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

  20. Published

    Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem: Extended Abstract

    Tzameret, I., 8 Jul 2014, Automata, Languages, and Programming - 41st International Colloquium, (ICALP) 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {I}: --. p. 1015-1026 12 p. (LNCS).

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

  21. Published

    Spatial and temporal volcanotectonic evolution of Santorini volcano

    Drymoni, K., Browning, J. & Gudmundsson, A., 2020, COV 11.

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

  22. Unpublished

    Speaking-in-the-last-instance: Non-Standard Usage, Superposition, and the (H)interlinguistic State

    Hazell, C., 2019, (Unpublished) TUJ Philosophy Lecture Series. 12 p.

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

  23. Published

    Special Session: ‘Disposing: Constructing and Structuring Consumption’

    Türe, M., 2011, NA - Advances in Consumer Research Volume . Vol. 39.

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

  24. Published

    Specialist Experts for Prediction with Side Information

    Kalnishkan, Y., Adamskiy, D., Chernov, A. & Scarfe, T., 2016, 2015 IEEE International Conference on Data Mining Workshop (ICDMW). IEEE, p. 1470-1477 8 p.

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

  25. E-pub ahead of print

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., 23 May 2019, 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, p. 99-108 10 p.

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

  26. Published

    Specification of Required Non-determinism

    Lano, K., Bicarregui, J., Fiadeiro, J. L. & Lopes, A., 1997, FME. Springer, Vol. 1313. p. 298-317 20 p. (Lecture Notes in Computer Science).

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

  27. Published

    Specifying and enforcing constraints in role-based access control

    Crampton, J., 2003, Proceedings of 8th ACM Symposium on Access Control Models and Technologies. ACM Press, p. 43-50 8 p.

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

  28. Published

    Spectral clustering of protein sequences

    Paccanaro, A., Trifonov, V., Yu, H. & Gerstein, M. B., 2005, International Joint Conference on Neural Networks. p. 161-166

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

  29. Published

    Spectral clustering of protein sequences using sequence-profile scores

    Sasidharan, R., Gerstein, M. B. & Paccanaro, A., 2006, Proceedings of ICNPSC – 3rd International Conference on Neural Parallel and Scientific Computations.

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

  30. Published

    Speculation by the 1% and the financialization of art

    Chong, D., 2013, 38th Annual Macromarketing Conference (Toronto: York University).

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

  31. Published

    Speculative Landscapes: H.P. Lovecraft’s Weird System

    Gene-Rowe, F., Nov 2013, The Weird: Fugitive Fictions/Hybrid Genres. Senate House Library, London

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

  32. Published

    Speculative Landscapes: H.P. Lovecraft’s Weird System

    Gene-Rowe, F., Nov 2013, The Weird: Fugitive Fictions/Hybrid Genres. Senate House Library, London

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

  33. Published

    Speech security and permanents of (0,1) matrices

    Mitchell, C. J., 1989, Cryptography and Coding: Proceedings of the IMA Cryptography and Coding Conference, Cirencester, December 1986. Beker, H. J. & Piper, F. C. (eds.). Oxford University Press, p. 231-240 10 p.

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

  34. Published

    Sports and Fitness Wellness Tourism: Segmenting Muay Thai Tourists by Travel Motivation and Quality of Life Perception

    Hosany, S. & Deesilatham, S., 2017, 50th Academy of Marketing Conference, Hull, 3-6 July.

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

  35. Published

    Spy agents: Evaluating trust in remote environments

    Kalogridis, G., Mitchell, C. J. & Clemo, G., 2005, Proceedings of the 2005 International Conference on Security and Management (SAM '05), June 2005, Las Vegas, USA. Arabnia, H. R. (ed.). CSREA Press, p. 405-411 7 p.

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

  36. Published

    SSL/TLS session-aware user authentication using a GAA bootstrapped key

    Chen, C., Mitchell, C. J. & Tang, S., 2011, Information Security Theory and Practice: Security and Privacy of Mobile Devices in Wireless Communication, 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011, Proceedings. Ardagna, C. & Zhou, J. (eds.). Springer-Verlag, Vol. 6633. p. 54-68 15 p. (Lecture Notes in Computer Science).

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

  37. Published

    Stability of Power Network State Estimation Under Attack

    Baiocco, A. & Wolthusen, S. D., 2014, Proceedings of the 2014 IEEE PES Innovative Smart Grid Technologies Conference Asia (ISGT Asia 2014). IEEE Press, p. 441 446 p.

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

  38. Published

    Stable multi-agent systems

    Bracciali, A., Mancarella, P., Stathis, K. & Toni, F., 2005, Engineering Societies in the Agents World V. Springer-Verlang, Vol. 3451. p. 322-334 13 p.

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

  39. Published

    Stack Object Protection with Low Fat Pointers

    Duck, G., Yap, R. & Cavallaro, L., 27 Feb 2017, NDSS Symposium 2017. p. 1-15 15 p.

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

  40. Published

    State estimation of low voltage distribution network with integrated customer-owned PV and storage unit

    Ayiad, M., Martins, H., Nduka, O. & Pal, B., 26 Aug 2019, 2019 IEEE Milan PowerTech. IEEE, p. 1-6 6 p.

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

  41. Published

    State Estimation under Undetectable Single and Double Line Failures: Anonymised for review

    Gul, A. & Wolthusen, S. D., 8 Aug 2019, 2019 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT). IEEE, p. 1-5 5 p.

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

  42. Published

    Static Analysis on x86 Executable for Preventing Automatic Mimicry Attacks

    Bruschi, D., Cavallaro, L. & Lanzi, A., 12 Jul 2007, In the Proceedings of the GI SIG SIDAR Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA).

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

  43. Published

    Statistical applications of algorithmic randomness

    Vovk, V. & Gammerman, A., 1999, Bulletin of the International Statistical Institute. Proceedings of the Fifty Second Session: Contributed Papers. book 3 ed. Vol. 58. p. 469-470 2 p.

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

  44. Published

    Statistical Guarantees for the Robustness of Bayesian Neural Networks

    Cardelli, L., Kwiatkowska, M., Laurenti, L., Paoletti, N., Patanè, A. & Wicker, M., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 5693-5700 8 p.

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

  45. Published

    Status of and Future Plans for the CERN LINAC4 Emittance Meter based on Laser Electron-Detachment and a Diamond Strip-Detector

    Hofmann, T., Bravin, E., Raich, U., Roncarolo, F., Zocca, F., Boorman, G., Bosco, A., Gibson, S., Kruchinin, K. & Griesmayer, E., 18 Sep 2014, 3rd International Beam Instrumentation Conference: Monterey, CA, USA, September 14-18, 2014.. p. 83-87 5 p. MOPF15

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

  46. Published

    Status of the FETS Project

    The FETS Collaboration, Boorman, G., Bosco, A. & Gibson, S., 5 Sep 2014, 27th Linear Accelerator Conference: LINAC14, Geneva, Switzerland, 31 August - 5 September 2014. p. 361-363 3 p. MOPP129

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

  47. Published

    Status of the LUX Dark Matter Search

    Fiorucci, S., Akerib, D. S., Bedikian, S., Bernstein, A., Bolozdynya, A., Bradley, A., Carr, D., Chapman, J., Clark, K., Classen, T., Curioni, A., Dahl, E., Dazeley, S., de Viveiros, L., Druszkiewicz, E., Gaitskell, R., Hall, C., Faham, C. H., Holbrook, B., Kastens, L. & 27 others, Kazkaz, K., Lander, R., Lesko, K., Malling, D., Mannino, R., McKinsey, D., Mei, D., Mock, J., Nikkel, J., Phelps, P., Schroeder, U., Shutt, T., Skulski, W., Sorensen, P., Spaans, J., Stiegler, T., Svoboda, R., Sweany, M., Thomson, J., Toke, J., Tripathi, M., Walsh, N., Webb, R., White, J., Wolfs, F., Woods, M. & Zhang, C., 2009, SUSY09: THE 17TH INTERNATIONAL CONFERENCE ON SUPERSYMMETRY AND THE UNIFICATION OF FUNDAMENTAL INTERACTIONS. Nath, P., Alverson, G. & Nelson, B. (eds.). MELVILLE: AMER INST PHYSICS, p. 977-980 4 p.

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

  48. Published

    Status of the RAL Front End Test Stand

    The FETS Collaboration, Boorman, G., Bosco, A. & Gibson, S., 17 May 2013, 4th International Particle Accelerator Conference: Shanghai, China, 12-17 May 2013. p. 3963-3965 3 p. THPWO086

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

  49. Published

    Status of the RAL Front End Test Stand

    The FETS Collaboration, Boorman, G., Bosco, A. & Gibson, S., 8 May 2015, 6th International Particle Accelerator Conference: IPAC2015, Richmond, VA, USA. p. 3959-3961 3 p. THPF105

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

  50. Published

    Status Report of the FETS Photo Detachment Emittance Instrument at RAL

    Gabor, C., Letchford, A., Bosco, A., Boorman, G., Gibson, S., Savage, P. & Scarpine, V., 17 May 2013, 4th International Particle Accelerator Conference: Shanghai, China, 12-17 May 2013. p. 783-785 3 p. MOPWA049

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

  51. Published

    Staying with the inbetween

    Coppard, H., 12 Jun 2015, Philosophy at Play conference.

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