Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Conference contribution › Research
  2. "After all the time I put into this": co-creation and the end-of-life of social network games

    Samper-Martinez, A., Gerling, K., Garcia-Alvarez, E., Kirman, B. & Lawson, S., 1 Oct 2015, CHI PLAY '15 Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. ACM, p. 135-140 6 p.

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

  3. "Big data" in macroeconomic forecasting: On the usefulness of knowledge discovery in databases

    Brandl, B., 2004, PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON MATHEMATICAL METHODS IN ECONOMICS 2004. Bauer, L. (ed.). BRNO: MASARYKOVA UNIV, p. 30-35 6 p.

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

  4. "Demographic Thought" around 1300 and Dante's Florence

    Biller, P. P. A., 1995, Dante and the Middle Ages: Literary and Historical Essays. Barnes, J. C. & Ó Cuilleanáin, C. (eds.). Dublin: Irish Academic Press, p. 57-92 36 p.

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

  5. "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

    Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 31-45 15 p.

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

  6. "Get lost, GetLostBot!" annoying people by offering recommendations when they are not wanted

    Kirman, B., 1 Sep 2012, Workshop on the Personalising the Local Mobile Experience at ACM Conference on Recommender Systems..

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

  7. "I can haz emoshuns?": understanding anthropomorphosis of cats among internet users

    Foster, D., Kirman, B., Linehan, C., Lawson, S., Mills, D., Ellis, S. & Zulch, H., 1 Oct 2011, 3rd International Conference on Social Computing. IEEE, p. 712-715 4 p.

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

  8. "Marchands parfois, marins plus souvent”: commerce breton à Bruges au quinzième siècle

    Lambert, B. R. D., 2015, Diplomacia y Comercio en la Europa Atlántica Medieval. Solórzano Telechea, J. A., Bolumburu, B. A. & Sicking, L. (eds.). Instituto de Estudios Riojanos, p. 147-159

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

  9. "Rightist Resistance to the Market

    Cambefort, M. & Pecot, F. D. C., 2017, NA - Advances in Consumer Research. Duluth, Vol. 45. p. 549 550 p.

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

  10. 'Towards Efficient Binaural Room Impulse Response Synthesis'

    Kearney, G., Jun 2009, European Acoustics Association Symposium on Auralization. Espoo, Finland

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

  11. (True) polymorphism in SPARK2000

    Lin, T. M. & McDermid, J. A., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-265 14 p.

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

  12. 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems

    Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P., 2009, Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Vol. 09381. (Dagstuhl Seminar Proceedings).

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

  13. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

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

  14. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

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

  15. 2D & 3D imaging of hydroxyapatite nanoparticles for pastes and gels

    W Guan, G Thirunavukkarasu, G Möbus, P Hatton, W Austin and E Lester, 2012, Royal Microscopical Society: Proceedings of the European Microscopy Congress (Proc. EMC 2012). Stokes, D. J. & Hutchison, J. (eds.). Oxford

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

  16. 2D integrating cell for ultra-long optical path on chip

    Petrov, A. Y., Fohrmann, L. S., Sommer, G., Pitruzzello, G., Krauss, T. F. & Eich, M., Jul 2018, Integrated Photonics Research, Silicon and Nanophotonics, IPRSN 2018. OSA - The Optical Society, Vol. Part F101-IPRSN 2018.

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

  17. 2D integrating cell waveguide platform employing ultra-long optical path lengths

    Fohrmann, L. S., Sommer, G., Pitruzzello, G., Krauss, T. F., Petrov, A. Y. & Eich, M., 24 Oct 2017, 14th International Conference on Group IV Photonics, GFP 2017. Institute of Electrical and Electronics Engineers Inc., p. 131-132 2 p. 8082231

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

  18. 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

    Hermans, F., Paige, R. F. & Sestoft, P., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 1005-1006 2 p.

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

  19. 3-D terrain from synthetic aperture radar images

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000, IEEE WORKSHOP ON COMPUTER VISION BEYOND THE VISIBLE SPECTRUM: METHODS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-72 10 p.

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

  20. 3D Electromagnetic Diffusion Models for Reverberant Environments

    Flintoft, I. D. & Dawson, J. F., 11 Sep 2017, 2017 International Conference on Electromagnetics in Advanced Applications (ICEAA). Verona, p. 511-514

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

  21. 3D Facial Landmark Localisation by Matching Simple Descriptors

    Romero-Huertas, M. & Pears, N., 2008, 2008 IEEE SECOND INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS (BTAS). NEW YORK: IEEE, p. 346-351 6 p.

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

  22. 3D Landmark Model Discovery from a Registered Set of Organic Shapes

    Creusot, C., Pears, N. & Austin, J., 16 Jun 2012, 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) . p. 57-64 8 p.

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

  23. 3D Mesh Steganalysis using local shape features

    Li, Z. & Bors, A. G., May 2016, Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 2144-2148 5 p.

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

  24. 3D Morphable Face Models Revisited

    Patel, A. & Smith, W. A. P., 2009, CVPR: 2009 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-4. NEW YORK: IEEE, p. 1327-1334 8 p.

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

  25. 3D Object Recognition Using Hyper-Graphs and Ranked Local Invariant Features

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 117-126 10 p.

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

  26. 3D Steganalysis Using LaplacianSmoothing at Various Levels

    Li, Z., Liu, F. & Bors, A. G., 2018, Proc. International Conference on Cloud Computing and Security (ICCCS). Springer, Vol. 11068. p. 223-232 (Lecture Notes in Computer Science).

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

  27. 3D Steganalysis Using the Extended Local Feature Set

    Li, Z., Gong, D., Liu, F. & Bors, A. G., 2018, Proc. of IEEE International Conference on Image Processing. IEEE, p. 1683-1687 5 p.

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

  28. 3D audio as an information environment

    Lennox, P. P., Vaughan, J. M. & Myatt, T., 2001, PROCEEDINGS OF THE AES 19TH INTERNATIONAL CONFERENCE SURROUND SOUND: TECHNIQUES, TECHNOLOGY AND PERCEPTION. NEW YORK: AUDIO ENGINEERING SOC INC, p. 295-306 12 p.

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

  29. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

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

  30. 3D sound and 3D image interactions: a review of audio-visual depth perception

    Berry, J., Roberts, D. & Holliman, N. S., 25 Feb 2014, Human Vision and Electronic Imaging XIX. Rogowitz, B. E., Pappas, T. N. & de Ridder, H. (eds.). San Francisco: SPIE--The International Society for Optical Engineering, Vol. 9014. 16 p.

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

  31. 3DMIN - Challenges and Interventions for the Design, Development and Dissemination of New Musical Instruments.

    Bovermann, T., Egermann, H., Foerstel, A., Hardjowirogo, S-I., Hinrichsen, A., Hildebrand Marques Lopes, D., Pysiewicz, A., Weinzierl, S. & de Campo, A., 2014, Proceedings of the 40th International Computer Music Conference. International Computer Music Association, Vol. 2014. 5 p.

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

  32. 5th international workshop on modeling in software engineering (MiSE 2013)

    Atlee, J. M., Baillargeon, R., Chechik, M., France, R. B., Gray, J., Paige, R. F. & Rumpe, B., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1531-1532 2 p.

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

  33. 7Be(n,α) and 7Be(n,p) cross-section measurement for the cosmological lithium problem at the n-TOF facility at CERN

    Barbagallo, M., Colonna, N., Aberle, O., Andrzejewski, J., Audouin, L., Bécares, V., Bacak, M., Balibrea-Correa, J., Barros, S., Bečvář, F., Beinrucker, C., Berthoumieux, E., Billowes, J., Bosnar, D., Brugger, M., Caamaño, M., Calviño, F., Calviani, M., Cano-Ott, D., Cardella, R. & 111 others, Casanovas, A., Castelluccio, D. M., Cerutti, F., Chen, Y. H., Chiaveri, E., Cortés, G., Cortés-Giraldo, M. A., Cosentino, L., Damone, L. A., Diakaki, M., Domingo-Pardo, C., Dressler, R., Dupont, E., Durán, I., Fernández-Domínguez, B., Ferrari, A. C., Ferreira, P. R., Finocchiaro, P., Furman, V., Göbel, K., García, A. R., Gawlik, A., Glodariu, T., Gonçalves, I. F., González-Romero, E., Goverdovski, A., Griesmayer, E., Guerrero, C., Gunsing, F., Harada, H., Heftrich, T., Heinitz, S., Heyse, J., Jenkins, D. G., Jericha, E., Käppeler, F., Kadi, Y., Katabuchi, T., Kavrigin, P., Ketlerov, V., Khryachkov, V., Kimura, A., Kivel, N., Kokkoris, M., Krtička, M., Leal-Cidoncha, E., Lederer, C., Leeb, H., Lerendegui-Marco, J., Lo Meo, S., Lonsdale, S. J., Losito, R., Macina, D., Marganiec, J., Martínez, T., Massimi, C., Mastinu, P. F., Mastromarco, M., Matteucci, F., Maugeri, E. A., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Mirea, M., Montesano, S., Musumarra, A., Nolte, R., Oprea, A., Patronis, N., Pavlik, A., Perkowski, J., Porras, J. I., Praena, J., Quesada, J. M., Rajeev, K., Rauscher, T., Reifarth, R., Riego-Perez, A., C. Rout, P., Rubbia, C., Ryan, J. A., Sabaté-Gilarte, M., Saxena, A. K., Schillebeeckx, P., Schmidt, S. M., Schumann, D., Sedyshev, P., Smith, A. G., Stamatopoulos, A., Tagliente, G., Tain, J. L., Tarifeño-Saldivia, A., Tassan-Got, L., Tsinganis, A., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Vlachoudis, V., Vlastou, R., Wallner, A., Warren, S., Weigand, M., Weiss, C., Wolf, C. R., Woods, P. J., Wright, T., Ugec, P. & Ugec, P., 13 Sep 2017, ND 2016: International Conference on Nuclear Data for Science and Technology. EDP Sciences, Vol. 146. 01012

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

  34. 7th International Workshop on Modeling in Software Engineering (MiSE 2015)

    Gray, J., Chechik, M., Kulkarni, V. & Paige, R. F., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 985-986 2 p.

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

  35. 11Li structural information from inclusive break-up measurements

    Ferńandez-García, J. P., Cubero, M., Acosta, L., Alcorta, M., Alvarez, M. A. G., Borge, M. J. G., Buchmann, L., Diget, C. A., Falou, H. A., Fulton, B. R., Fynbo, H. O. U., Galaviz, D., Ǵomez-Camacho, J., Kanungo, R., Lay, J. A., Madurga, M., Martel, I., Moro, A. M., Mukha, I., Nilsson, T. & 5 others, Rodríguez-Gallardo, M., Śanchez-Benítez, A. M., Shotter, A., Tengblad, O. & Walden, P., 24 Apr 2015, EPJ Web of Conferences. EDP Sciences, Vol. 88. 3 p. 01003

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

  36. 12C+16O sub-barrier radiative capture cross-section measurements

    Goasduff, A., Courtin, S., Haas, F., Lebhertz, D., Jenkins, D. G., Beck, C., Fallis, J., Ruiz, C., Hutcheon, D. A., Amandruz, P. A., Davis, C., Hager, U., Ottewell, D. & Ruprecht, G., 19 Oct 2011, 5th International Conference, FUSION 2011. Lacroix, D., Schmitt, C., Navin, A., Goutte, H. & Rejmund, M. (eds.). EDP Sciences, 06002. (EPJ Web of Conferences; vol. 17).

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

  37. A 'Scientific' View of Jews from Paris around 1300

    Biller, P. P. A., 2001, Gli Ebrei e le Scienze - The Jews and Sciences. Galluzzo, Florence: SISMEL (Società Internazionale per lo Studio del Medioevo Latino)- Edizioni del Galluzzo, p. 137-168 32 p. (Micrologus: Natura, scienze e società medievali – Nature, Sciences and Medieval Societies ; vol. 9).

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

  38. A 3D Morphable Model of Craniofacial Shape and Texture Variation

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 25 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Vol. 2017-October. p. 3104-3112 9 p. 8237597. ( Title Proceedings / IEEE International Conference on Computer Vision.).

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

  39. A 3D spinorial view of 4D exceptional phenomena

    Dechant, P-P., Apr 2016, Symmetries in Graphs, Maps, and Polytopes. Springer-verlag, p. 81-95 (Springer Proceedings in Mathematics & Statistics; vol. 159).

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

  40. A BAYESIAN INTERPRETATION FOR THE HOPFIELD NETWORK

    HANCOCK, E. R. & KITTLER, J., 1993, 1993 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 341-346 6 p.

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

  41. A Bailout Protocol for Mixed Criticality Systems

    Bate, I., Burns, A. & Davis, R. I., 1 Jul 2015, Proceedings, 27th Euromicro Conference on Real-Time Systems: ECRTS 2015. IEEE, p. 259-268 10 p. (Euromicro Conference on Real-Time Systems).

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

  42. A Bayesian Analysis of Algorithms for Learning Finite Functions

    Cussens, J., 1995, Machine Learning: Proceedings of the Twelfth International Conference (ML95). Prieditis, A. & Russell, S. (eds.). San Francisco, CA: Morgan Kaufmann Publishers, p. 142-149 8 p.

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

  43. A Bayesian approach to 3D surface fitting and refinement.

    Turner, M. & Hancock, E. R., 1995, PROCEEDINGS OF THE 6TH BRITISH MACHINE VISION CONFERENCE 1995, VOLS 1 AND 2. Pycock, D. (ed.). GUILDFORD: B M V A PRESS, p. 67-76 10 p.

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

  44. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

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

  45. A Biofeedback System For Singing Tuition Of Children and Adolescents

    Barlow, C. & Brereton, J. S., 2008, Readings in Technology: Proceedings of the International Conference on Information Communication Technologies in Education (ICICTE). Corfu, greece

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

  46. A COMMAND, CONTROL AND COMMUNICATIONS INTERFACE FOR AN ENVIRONMENTAL SAMPLING ROV

    MACQUARRIE, D. J., COSBY, L. R., EDLEY, C. & GALLANT, W. A., 1993, OCEANS 93 - PROCEEDINGS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. C248-C252 5 p.

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

  47. A COMPARISON OF THE USE AND REGULATORY INTERPRETATION OF A PREDICTIVE MODEL, LYSIMETER AND FIELD STUDIES TO DETERMINE THE LEACHING POTENTIAL OF A SEED DRESSING

    FOGG, P., CARTER, A. D. & BROWN, C. D., 1994, BRIGHTON CROP PROTECTION CONFERENCE - PESTS AND DISEASES - 1994. FARNHAM: BRITISH CROP PROTECTION COUNCIL, Vol. 1-3. p. 1283-1288 6 p.

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

  48. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  49. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  50. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  51. A Circus semantics for Ravenscar protected objects

    Atiya, D. A., King, S. & Woodcock, J. C. P., 2003, FME 2003: FORMAL METHODS, PROCEEDINGS. Araki, K., Gnesi, S. & Mandrioli, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 617-635 19 p.

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

Previous 1 2 3 4 5 6 7 8 ...84 Next