• United Kingdom

Research Output

Filter
Conference contribution
2015

Data separation of L1-minimization for real-time motion detection

Liu, Y., Xiao, H., Zhang, Z., Xu, W., Zhang, M. & Zhang, J., 2015, Proceedings of the British Machine Vision Conference (BMVC). Xie, X., Jones, M. W. & Tam, G. K. L. (eds.). BMVA Press, 12 p.

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

Derailing Attacks

Radomirovíc, S. & Dashti, M. T., 2015, Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). Switzerland: Springer International Publishing, p. 41-46 6 p. (Lecture Notes in Computer Science ; vol. 9379).

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

1 Citation (Scopus)

Dynamic subtitles: The user experience, andy brown

Brown, A., Jones, R. & Crabb, M., 3 Jun 2015, TVX 2015 - Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video. New York: Association for Computing Machinery, p. 103-112 10 p.

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

20 Citations (Scopus)

Experimental Results for Space-Wire-D

Parkes, S. S., Gibson, D. & Ferrer, A., 1 Sep 2015, European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732.

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

Generalizing multi-party contract signing

Mauw, S. & Radomirović, S., 2015, Principles of Security and Trust: 4th International Conference, POST 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings. Focardi, R. & Myers, A. (eds.). Berlin: Springer Verlag, p. 156-175 20 p. (Lecture Notes in Computer Science ; vol. 9036).

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

1 Citation (Scopus)

Higher-order approximate relational refinement types for mechanism design and differential privacy

Barthe, G., Gaboardi, M., Arias, E. J. G., Hsu, J., Roth, A. & Strub, P. Y., 14 Jan 2015, Proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages. New York: Association for Computing Machinery, Vol. 2015-January. p. 55-68 14 p.

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

22 Citations (Scopus)

HoliBraille: Multipoint vibrotactile feedback on mobile devices

Nicolau, H., Montague, K., Guerreiro, T., Rodrigues, A. & Hanson, V. L., 18 May 2015, W4A 2015 : Proceedings of the 12th Web for All Conference. New York: Association for Computing Machinery, 4 p. 30

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

18 Citations (Scopus)

Human action recognition by random features and hand-crafted features: a comparative study

Shen, H., Zhang, J. & Zhang, H., 2015, Computer Vision - ECCV 2014 Workshops: Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II. Agapito, L., Bronstein, M. M. & Rother, C. (eds.). Springer International Publishing, p. 14-28 15 p. (Lecture notes in computer science ; vol. 8926).

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

3 Citations (Scopus)

Hydrodynamic stretching for prostate cancer detection

Belotti, Y., Conneely, M., Palmer, S., Huang, T., Campbell, P. A., McKenna, S., Nabi, G. & McGloin, D., 1 Jun 2015, Bio-MEMS and Medical Microdevices II. van den Driesche, S. (ed.). Bellingham: SPIE-International Society for Optical Engineering, Vol. 9518. 95180H. (Proceedings of SPIE; vol. 9518).

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

1 Citation (Scopus)

Jeeves - A visual programming environment for mobile experience sampling

Rough, D. & Quigley, A., 17 Dec 2015, Proceedings - 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2015. Fleming, S. D., Li, Z. & Ermel, C. (eds.). IEEE Computer Society, p. 121-129 9 p. 7357206. (Proceedings of IEEE).

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

Open Access
File
8 Citations (Scopus)
15 Downloads (Pure)

Learning discriminative local features from image-level labelled data for colonoscopy image classification

Manivannan, S. & Trucco, E., 2015, Proceedings - International Symposium on Biomedical Imaging. IEEE Computer Society, Vol. 2015-July. p. 420-423 4 p. 7163901

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

4 Citations (Scopus)

Location-Private Interstellar Communication

Jonker, H., Mauw, S. & Radomirović, S., 2015, Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). Switzerland: Springer International Publishing, p. 105-115 11 p. (Lecture Notes in Computer Science ; vol. 9379).

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

Mapping of arterial location for the design of automated identification and analysis algorithms in whole body MRA

McCormick, L., Weir-Mccall, J., Gandy, S., White, R., McNeil, A., Trucco, E. & Houston, J. G., Nov 2015, Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Institute of Electrical and Electronics Engineers, Vol. 2015-November. p. 7925-7928 4 p. 7320230

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

Online news videos: The UX of subtitle position

Crabb, M., Jones, R., Armstrong, M. & Hughes, C. J., 26 Oct 2015, ASSETS 2015 - Proceedings of the 17th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 215-222 8 p.

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

12 Citations (Scopus)

Rapid Real-Time Spacewire Emulation

Mudie, S., Parkes, S. S. & Dunstan, M., 1 Sep 2015, European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732.

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

Scale and curvature invariant ridge detector for tortuous and fragmented structures

Annunziata, R., Kheirkhah, A., Hamrah, P. & Trucco, E., 18 Nov 2015, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part III. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer International Publishing, p. 588-595 8 p. (Lecture notes in computer science; vol. 9351).

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

19 Citations (Scopus)

Spacefibre: Advanced network technology for spacecraft on-board applications

Parkes, S. S., Ferrer, A., Gonzalez, A., McLaren, D. & McClements, C., 2015, 66th International Astronautical Congress 2015, IAC 2015: Space - The Gateway for Mankind's Future. International Astronautical Federation, Vol. 5. p. 3587-3595 9 p.

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

SpaceFibre: The standard, simulation, IP cores and test equipment

Parkes, S. S., McClements, C., McLaren, D., Florit, A. F. & Villafranca, A. G., 1 Sep 2015, European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732.

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

1 Citation (Scopus)

SpaceFibre: a multi-Gigabit/s interconnect for spacecraft onboard data handling

Parkes, S. S., McClements, C., McLaren, D., Ferrer Florit, A. & Villafranca, A. G., 8 Jun 2015, 2015 IEEE Aerospace Conference Proceedings. IEEE Computer Society, p. 1-13 13 p.

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

21 Citations (Scopus)

Structural resolution for logic programming

Johann, P., Komendantskaya, E. & Komendantskiy, V., 2015, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) . De Vos, M., Eiter, T., Lierler, Y. & Toni, F. (eds.). 13 p. (CEUR workshop proceedings; vol. 1433).

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

1 Citation (Scopus)

TabLETS get physical: Non-visual text entry on tablet devices

Guerreiro, J., Rodrigues, A., Montague, K., Guerreiro, T., Nicolau, H. & Gonçalves, D., 18 Apr 2015, Conference on Human Factors in Computing Systems - Proceedings. Association for Computing Machinery, Vol. 2015-April. p. 39-42 4 p.

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

15 Citations (Scopus)

The development of a framework for understanding the UX of subtitles

Crabb, M., Jones, R. & Armstrong, M., 26 Oct 2015, ASSETS 2015 - Proceedings of the 17th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 347-348 2 p.

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

1 Citation (Scopus)

The Development of TASTER, a Cognitive Training Game Using Human-Centered Design, Tailored for Children with Global and Specific Cognitive Impairments

Robb, N., Waller, A. & Woodcock, K., 2015, VS-Games 2015 - 7th International Conference on Games and Virtual Worlds for Serious Applications. Institute of Electrical and Electronics Engineers, 7295788

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

2 Citations (Scopus)

The role of blending in mathematical invention.

Bou, F., Schorlemmer, M., Corneli, J., Gomez Ramirez, D., Maclean, E., Smaill, A. & Pease, A., Jul 2015, Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, p. 55-62 8 p.

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

10 Citations (Scopus)

Tumor localization in tissue microarrays using rotation invariant superpixel pyramids

Akbar, S., Jordan, L., Thompson, A. M. & McKenna, S. J., 2015, 2015 IEEE 12th International Symposium on Biomedical Imaging (ISBI 2015). IEEE, p. 1292-1295 4 p.

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

Open Access
File
7 Citations (Scopus)
239 Downloads (Pure)

Typing performance of blind users: an analysis of touch behaviors, learning effect, and in-situ usage

Nicolau, H., Montague, K., Guerreiro, T., Rodrigues, A. & Hanson, V. L., 2015, ASSETS'15 : Proceedings of the 17th International ACM SIGACCESS Conference on Computers and Accessibility . New York: Association for Computing Machinery, p. 273-280 8 p.

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

Open Access
File
20 Citations (Scopus)
116 Downloads (Pure)

Using argumentation to evaluate concept blends in combinatorial creativity

Confalonieri, R., Corneli, J., Pease, A., Plaza, E. & Schorlemmer, M., Jul 2015, Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, p. 174-181 8 p.

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

16 Citations (Scopus)

VHiSSI: Experimental spacefibre ASIC

Villafranca, A. G., Ferrer, A., McLaren, D., McClements, C. & Parkes, S. S., 1 Sep 2015, European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732.

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

1 Citation (Scopus)
2016

A Corpus of Argument Networks: Using Graph Properties to Analyse Divisive Issues

Konat, B., Lawrence, J., Park, J., Budzynska, K. & Reed, C., 2016, LREC 2016: Proceedings for the Tenth International Conference on Language Resources and Evaluation. Calzolari, N., Choukri, K., Declerck, T., Goggi, S., Grobelnik, M., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). Slovenia: European Language Resources Association, p. 3899-3906 8 p.

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

Open Access
File
7 Citations (Scopus)
41 Downloads (Pure)

A new generation of SpaceFibre test and development equipment: SpaceFibre, short paper

Gonzalez-Villafranca, A., Parkes, S., McClements, C., Yu, B., Scott, P. & Ferrer Florit, A., 8 Dec 2016, 2016 International SpaceWire Conference (SpaceWire): Proceedings of the 7th International SpaceWire Conference. IEEE, p. 1-4 4 p.

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

4 Citations (Scopus)

A new generation of SpaceWire test and development equipment: SpaceWire test and verification, long paper

Mills, S., McClements, C., Yu, B. & Parkes, S., 8 Dec 2016, 2016 International SpaceWire Conference (SpaceWire): Proceedings of the 7th International SpaceWire Conference. IEEE, p. 1-6 6 p.

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

A theoretical framework for constraint propagator triggering

Cohen, D. A., Jefferson, C. & Petrie, K. E. J., 2016, Proceedings of the Ninth International Symposium on Combinatorial Search. Baier, J. A. & Botea, A. (eds.). AAAI Press, p. 19-27 9 p.

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

1 Citation (Scopus)

Automatically identifying transitions between locutions in dialogue

Budzynska, K., Janier, M., Kang, J., Konat, B., Reed, C., Saint-Dizier, P., Stede, M. & Yaskorska, O., Jun 2016, Argumentation and Reasoned Action: Proceedings of the 1st European Conference on Argumentation. Mohammed, D. & Lewinski, M. (eds.). Lisbon: College Publications, Vol. 1. (Studies in Logic and Argumentation; vol. 62).

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

Automatic generation of synthetic retinal fundus images: Vascular network

Menti, E., Bonaldi, L., Ballerini, L., Ruggeri, A. & Trucco, E., 2016, Simulation and Synthesis in Medical Imaging - 1st International Workshop, SASHIMI 2016 held in conjunction with MICCAI 2016, Proceedings. Tsaftaris, S. A., Gooya, A., Frangi, A. F. & Prince, J. L. (eds.). Springer Verlag, Vol. 9968 LNCS. p. 167-176 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9968 LNCS).

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

Open Access
File
7 Citations (Scopus)
285 Downloads (Pure)

Corpus resources for dispute mediation discourse

Janier, M. & Reed, C., 2016, LREC 2016: Proceedings for the Tenth International Conference on Language Resources and Evaluation. Calzolari, N., Choukri, K., Declerck, T., Goggi, S., Grobelnik, M., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). Slovenia: European Language Resources Association, p. 1014-1021 8 p.

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

Open Access
File
4 Citations (Scopus)
55 Downloads (Pure)

Designing for active place presence at home: The Hole in Space design experiment

Ylirisku, S., Jylhä, A., Lehtiö, A., Ahmed, I., Stewart, C. D., Sellen, A., Harper, R. & Jacucci, G., 4 Jun 2016, DIS 2016 - Proceedings of the 2016 ACM Conference on Designing Interactive Systems: Fuse. New York: Association for Computing Machinery, p. 1341-1352 12 p.

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

4 Citations (Scopus)

Dialogue Grammar Induction

Snaith, M. & Reed, C., 1 Jun 2016, Studies in Logic and Argumentation: Argumentation and Reasoned Action. Volume I Proceedings of the 1st European Conference on Argumentation . Mohammed, D. & Lewinski, M. (eds.). Lisbon: College Publications, Vol. 1. (Studies in Logic and Argumentation; vol. 62).

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

Enabling designers to foresee which colors users cannot see

Reinecke, K., Flatla, D. R. & Brooks, C., 2016, CHI '16 : Proceedings of the 34th Annual ACM Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 2693-2704 12 p.

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

Open Access
File
20 Citations (Scopus)
416 Downloads (Pure)

Enhancing normal-abnormal classification accuracy in colonoscopy videos via temporal consistency

Puerto-Souza, G. A., Manivannan, S., Trujillo, M. P., Hoyos, J. A., Trucco, E. & Mariottini, G-L., 20 Feb 2016, Computer-Assisted and Robotic Endoscopy: Second International Workshop, CARE 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers. Luo, X., Reichl, T., Reiter, A. & Mariottini, G-L. (eds.). Springer Verlag, Vol. 9515. p. 129-139 11 p. (Lecture notes in computer science ; vol. 9515).

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

First step for computer assisted evaluation of qualatitive supersonic shear wave elastography characteristics in breast tissue.

Skerl, K., Vinnicombe, S., McKenna, S., Thomson, K. & Evans, A., 16 Jun 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2016 - Proceedings. IEEE, Vol. 2016-June. p. 481-484 4 p.

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

Open Access
File
1 Citation (Scopus)
278 Downloads (Pure)

Gaze-contingent manipulation of color perception

Mauderer, M., Flatla, D. R. & Nacenta, M. A., 7 May 2016, CHI '16 Proceedings of the 34th Annual ACM Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 5191-5202 12 p.

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

Open Access
File
5 Citations (Scopus)
245 Downloads (Pure)

Gland segmentation in colon histology images using hand-crafted features and convolutional neural networks

Li, W., Manivannan, S., Akbar, S., Zhang, J., Trucco, E. & McKenna, S. J., 16 Jun 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI): From Nano to Macro, ISBI 2016 - Proceedings. IEEE, Vol. June-2016. p. 1405-1408 4 p.

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

Open Access
File
35 Citations (Scopus)
339 Downloads (Pure)

Guided Specification and Analysis of a Loyalty Card System

Cuennet, L., Pouly, M. & Radomirović, S., 2016, Graphical Models for Security: Second International Workshop, GraMSec 2015 Verona, Italy, July 13, 2015 Revised Selected Papers. Mauw, S., Kordy, B. & Jajodia, S. (eds.). Springer International Publishing, p. 66-81 16 p. (Lecture Notes in Computer Science; vol. 9390).

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

HEp-2 cells staining patterns classification via wavelet scattering network and random forest

Li, H., Zhang, J. & Zheng, W-S., 9 Jun 2016, 2015 3rd IAPR Asian Conference on Pattern Recognition (APCR). New York: IEEE, p. 406-410 5 p.

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

4 Citations (Scopus)

Hierarchical mix-pooling and its applications to biomedical image classification

Manivannan, S., Wang, R. & Trucco, E., 16 Jun 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2016 - Proceedings. IEEE, Vol. 2016-June. p. 541-544 4 p. 7493326

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

Open Access
File
146 Downloads (Pure)

Kindergarten cop: Dynamic nursery resizing for GHC

Ferreiro, H., Castro, L., Janjic, V. & Hammond, K., 17 Mar 2016, Proceedings of CC 2016: The 25th International Conference on Compiler Construction. New York: Association for Computing Machinery, p. 56-66 11 p.

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

Lapedo: Hybrid skeletons for programming heterogeneous multicore machines in Erlang

Janjic, V., Brown, C. & Hammond, K., 2016, Parallel Computing: On the Road to Exascale. Peters, F., Parsons, M., Sawyer, M., Leather, H. & Joubert, G. R. (eds.). IOS Press, Vol. 27. p. 185-195 11 p. (Advances in Parallel Computing; vol. 27).

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

6 Citations (Scopus)

Local structure prediction for gland segmentation

Manivannan, S., Li, W., Akbar, S., Zhang, J., Trucco, E. & McKenna, S. J., 16 Jun 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI): From Nano to Macro, ISBI 2016 - Proceedings. IEEE, Vol. 2016-June. p. 799-802 4 p.

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

Open Access
File
5 Citations (Scopus)
240 Downloads (Pure)

Modeling argumentative activity with Inference Anchoring Theory: The case of impasse

Janier, M., Aakhus, M., Budzynska, K. & Reed, C., 1 Jun 2016, Studies in Logic and Argumentation: Argumentation and Reasoned Action. Volume I Proceedings of the 1st European Conference on Argumentation . Mohhamed, D. & Lewinski, M. (eds.). Lisbon: College Publications, Vol. 1. (Studies in Logic and Argumentation; vol. 62).

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

Modeling human errors in security protocols

Basin, D., Radomirovic, S. & Schmid, L., 2016, IEEE 29th Computer Security Foundations Symposium CSF 2016: Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, p. 325-340 16 p. (Proceedings of the IEEE).

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

Open Access
File
13 Citations (Scopus)
165 Downloads (Pure)