• United Kingdom

Research Output

Filter
Conference contribution
2014

Finding Golgi Stacks in Electron Micrographs

Fordyce, N., McKenna, S., Hacker, C. & Lucocq, J., Jul 2014, Medical Image Understanding and Analysis: MIUA. Reyes-Aldasoro, C. & Slabaugh, G. (eds.). United Kingdom: British Machine Vision Association and Society for Pattern Recognition, p. 59-64 6 p.

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

Open Access
File
79 Downloads (Pure)

Gait based gender recognition using sparse spatio temporal features

Collins, M., Miller, P. & Zhang, J., 2014, MultiMedia Modeling: 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings, Part II. Gurrin, C., Hopfgartner, F., Hurst, W., Johansen, H., Lee, H. & O’Connor, N. (eds.). Berlin: Springer , Vol. 8326. p. 80-91 12 p. (Lecture notes in computer science; vol. 8326).

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

2 Citations (Scopus)

Generalising argument dialogue with the Dialogue Game Execution Platform

Bex, F., Lawrence, J. & Reed, C., 2014, Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 141-152 12 p. (Frontiers in artificial intelligence and applications; vol. 266).

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

14 Citations (Scopus)

HEp-2 Cell Classification Using Multi-resolution Local Patterns and Ensemble SVMs

Manivannan, S., Li, W., Akbar, S., Wang, R., Zhang, J. & McKenna, S. J., 2014, Proceedings - 2014 1st Workshop on Pattern Recognition Techniques for Indirect Immunofluorescence Images. I3A Workshop 2014. IEEE Computer Society, p. 37-40 4 p.

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

29 Citations (Scopus)

HEp-2 Specimen Classification Using Multi-resolution Local Patterns and SVM

Manivannan, S., Li, W., Akbar, S., Wang, R., Zhang, J. & McKenna, S. J., 2014, Proceedings - 2014 1st Workshop on Pattern Recognition Techniques for Indirect Immunofluorescence Images. I3A Workshop 2014. IEEE Computer Society, p. 41-44 4 p.

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

12 Citations (Scopus)

Integrating STAR-Dundee SpaceFibre Codec with TI TLK2711

Yu, B., Gonzalez-Villafranca, A., Ferrer, A., McClements, C. & Parkes, S. S., 2014, 2014 International SpaceWire Conference (SpaceWire) Athens, Greece, 22–26th September 2014: proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 5 p. 6936268

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

Inter-cluster features for medical image classification

Manivannan, S., Wang, R. & Trucco, E., 2014, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014: 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part III. Golland, P., Hata, N., Barillot, C., Hornegger, J. & Howe, R. (eds.). Springer International Publishing, p. 345-352 8 p. (Lecture notes in computer science; vol. 8675).

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

7 Citations (Scopus)

Lakatos games for mathematical argument

Pease, A., Budzynska, K., Lawrence, J. & Reed, C., 2014, Computational Models of Argument : Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 59-66 8 p. (Frontiers in artificial intelligence and applications; vol. 266).

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

5 Citations (Scopus)

Mining Arguments From 19th Century Philosophical Texts Using Topic Based Modelling

Lawrence, J., Reed, C., McAlister, S., Ravenscroft, A., Allen, C. & Bourget, D., 2014, Proceedings of the First Workshop on Argumentation Mining : ACL 2014. Association for Computational Linguistics, p. 79-87 9 p.

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

MOST: Modeling of SpaceWire & SpaceFibre Traffic Applications and Operations: On-board Segment

Dellandrea, B., Gouin, B., Parkes, S. S. & Jameux, D., 1 Sep 2014, European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP 725.

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

Older adults interaction with broadcast debates

Medellin-Gasque, R., Reed, C. & Hanson, V., 20 Oct 2014, ASSETS '14 Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility. New York: Association for Computing Machinery, p. 269-270 2 p.

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

1 Citation (Scopus)

On acid drops and teardrops: observer issues in computational creativity

Colton, S., Cook, M., Hepworth, R. & Pease, A., 2014, Proceedings of the 50th Anniversary Convention of the AISB: AISB 2014. Kibble, R. (ed.). Society for the Study of Artificial Intelligence and Simulation of Behaviour, 8 p.

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

11 Citations (Scopus)

OVA+: an argument analysis interface

Janier, M., Lawrence, J. & Reed, C., 2014, Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 463-464 2 p. (Frontiers in artificial intelligence and applications; vol. 266).

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

30 Citations (Scopus)

Phoneme-based predictive text entry interface

Trinh, H., Waller, A., Vertanen, K., Kristensson, P. O. & Hanson, V. L., 20 Oct 2014, ASSETS '14 Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility. New York: Association for Computing Machinery, p. 351-352 2 p.

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

2 Citations (Scopus)

Proving differential privacy in Hoare logic

Barthe, G., Gaboardi, M., Arias, E. J. G., Hsu, J., Kunz, C. & Strub, P. Y., 2014, Proceedings of the 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014 . IEEE Computer Society, p. 411-424 14 p.

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

25 Citations (Scopus)

Recording SpaceWire traffic

Mudie, S., McClements, C., Spark, A., Mills, S., Mason, A., Dunstan, M. & Parkes, S. S., 2014, 2014 International SpaceWire Conference (SpaceWire) Athens, Greece 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 4 p. 6936272

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

Security protocols for secret Santa

Mauw, S., Radomirović, S. & Ryan, P. Y. A., 2014, Security Protocols XVIII : 18th International Workshop Cambridge, UK, March 24-26, 2010 Revised Selected Papers. Christianson, B. & Malcolm, J. (eds.). Berlin: Springer Verlag, p. 175-184 10 p. (Lecture Notes in Computer Science ; vol. 7061).

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

1 Citation (Scopus)

Space exploration using parallel orbits: A study in parallel symbolic computing

Janjic, V., Brown, C., Neunhöffer, M., Hammond, K., Linton, S. & Loidl, H. W., 2014, Parallel Computing: Accelerating Computational Science and Engineering (CSE). Bader, M., Bode, A., Bungartz, H-J., Gerndt, M., Joubert, G. R. & Peters, F. (eds.). IOS Press, Vol. 25. p. 225-232 8 p. (Advances in Parallel Computing; vol. 25).

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

2 Citations (Scopus)

SpaceFibre: adaptive high-speed data-link for future spacecraft onboard data handling

Parkes, S. S., McClements, C., McLaren, D., Monera Martinez, A., Ferrer Florit, A. & Villafranca, A. G., 2014, Proceedings of the 2014 NASA/ESA Conference on Adaptive Hardware and Systems. IEEE, p. 164-171 8 p.

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

6 Citations (Scopus)

SpaceFibre demonstrator: demonstration and testing

Rastetter, P., Helfers, T., Antonakou, A., Dramitinos, G., Papadas, C. & Parkes, S. S., 24 Oct 2014, 2014 International SpaceWire Conference (SpaceWire) Athens, Greece, 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 2 p. 6936265

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

SpaceFibre demonstrator (demonstration and testing)

Helfers, T., Rastetter, P., Papadas, C. & Parkes, S. S., 1 Sep 2014, Proceedings of DASIA 2014 - DAta Systems In Aerospace. European Space Agency, Vol. SP 725.

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

SpaceFibre implementation, test and validation

Parkes, S. S., McClements, C., McLaren, D., Martinez, A. M., Ferrer Florit, A. & Villafranca, A. G., 2014, 2014 International SpaceWire Conference (SpaceWire), Athens, Greece 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference . Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 6 p. 6936245

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

3 Citations (Scopus)

SpaceFibre implementation, test and validation

Parkes, S. S., McClements, C., Ferrer, A. & Gonzalez-Villafranca, A., 1 Sep 2014, European Space Agency, (Special Publication). European Space Agency, Vol. SP 725.

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

SpaceWire-D: Deterministic data delivery over spacewire

Parkes, S. S., Gibson, D. & Ferrer, A., 1 Sep 2014, Proceedings of DASIA 2014 - DAta Systems In Aerospace. European Space Agency, Vol. SP 725.

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

3 Citations (Scopus)

SpaceWire-D on the castor spaceflight processor

Gibson, D., Parkes, S. S., McClements, C., Mills, S. & Paterson, D., 24 Oct 2014, Proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Institute of Electrical and Electronics Engineers, 6936262

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

2 Citations (Scopus)

SpaceWire equipment design, integration and test

Parkes, S. S. & Mills, S., 2014, 65th International Astronautical Congress 2014, IAC 2014: Our World Needs Space. International Astronautical Federation, Vol. 9. p. 6709-6715 7 p.

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

Spoken interaction with broadcast debates

Medellin, R., Reed, C. & Hanson, V., 2014, Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 51-58 8 p. (Frontiers in artificial intelligence and applications; vol. 266).

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

2 Citations (Scopus)

The SpaceWire Physical Layer Tester (SPLT)

Scott, P., Spark, A., Crawford, P. & Parkes, S. S., 24 Oct 2014, Proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Institute of Electrical and Electronics Engineers, 6936257

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

The usability of text entry systems now and in the future

Clawson, J., Brewster, S. A., Dunlop, M. D., Kristensson, P. O., Isokoski, P. M., Oulasvirta, A., Vertanen, K. & Waller, A., 30 Apr 2014, CHI EA '14 CHI '14 Extended Abstracts on Human Factors in Computing Systems . New York: Association for Computing Machinery, p. 1139-1142 4 p.

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

3 Citations (Scopus)

Tortuosity classification of corneal nerves images using a multiple-scale-multiple-window approach

Annunziata, R., Kheirkhah, A., Aggarwal, S., Cavalcanti, B. M., Hamrah, P. & Trucco, E., 2014, Proceedings of the Ophthalmic Medical Image Analysis First International Workshop, OMIA 2014, Held in Conjunction with MICCAI 2014. Chen, X., Garvin, M. K. & Liu, J. J. (eds.). Iowa Research Online, p. 113-120 8 p.

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

Towards argument mining from dialogue

Budzynska, K., Janier, M., Kang, J., Reed, C., Saint-Dizier, P., Stede, M. & Yaskorska, O., 2014, Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 185-196 12 p. (Frontiers in artificial intelligence and applications; vol. 266).

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

14 Citations (Scopus)

Towards Computational Subjectivity: Generating Aesthetics In Code Using Metrics

Cook, M., Colton, S., Pease, A. & Raad, A., 2014, Proceedings of the Fifth International Conference on Computational Creativity, 2014. Colton, S., Ventura, D., Lavrac, N. & Cook, M. (eds.).

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

Using grounded theory methods to inform the design of an authoring tool

Constantin, A., Pain, H. & Waller, A., 2014, Proceedings of the 28th International BCS Human Computer Interaction Conference: Sand, Sea and Sky - Holiday HCI, HCI 2014. Read, J., Horton, M., Sim, G. & Fitton, D. (eds.). Southport, UK: BCS Learning and Development Ltd, p. 177-182 6 p. (Electronic Workshops in Computing (eWiC)).

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

1 Citation (Scopus)

Validation Of Mission Critical Vision-Based Navigation Systems For Planetary Landers, Rovers And In-Orbit Rendezvous

Martin, I., Parkes, S. S., Dunstan, M., Rowell, N. N., Salehi, S. & Gherardi, D., 6 Jun 2014, GNC 2014: 9th International ESA Conference on Guidance, Navigation & Control Systems, Porto, Portugal, 2-6 June 2014.

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

Verifying strategies in dialogue games

Sawicka, A., Kacprzak, M., Dziubiński, M. & Budzynska, K., 2014, Concurrency, Specification and Programming: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming Chemnitz, Germany, September 29 - October 1, 2014. Popova-Zeugmann, L. (ed.). Berlin: Humboldt Universitat zu Berlin, Vol. 1269. p. 92-100 9 p. (CEUR Workshop Proceedings; vol. 1269).

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

Video-specific SVMs for colonoscopy image classification

Manivannan, S., Wang, R., Trujillo, M. P., Hoyos, J. A. & Trucco, E., 23 Nov 2014, Computer-Assisted and Robotic Endoscopy: First International Workshop, CARE 2014, held in conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014. Revised selected papers. Luo, X., Reichl, T., Mirota, D. & Soper, T. (eds.). Springer International Publishing, p. 11-21 11 p. (Lecture notes in computer science ; vol. 8899).

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

2 Citations (Scopus)

VisAural: A wearable sound-localisation device for people with impaired hearing

Gorman, B. M., 2014, ASSETS'14 : Proceedings of the 16th International ACM SIGACCESS Conference on Computers and Accessibility. Association for Computing Machinery, p. 337-338 2 p.

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

12 Citations (Scopus)
2015

A Complete Characterization of Secure Human-Server Communication

Basin, D., Radomirović, S. & Schläepfer, M., 2015, 2015 IEEE 28th Computer Security Foundations Symposium, CSF 2015: Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, p. 199-213 15 p. (Proceedings of the IEEE).

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

Open Access
File
12 Citations (Scopus)
179 Downloads (Pure)

A Formal Perspective On The Pragma-Dialectical Discussion Model

Visser, J., 2015, International Society for the Study of Argumentation: 8th International Conference on Argumentation: July 1-July 4, 2014, University of Amsterdam, The Netherlands . Sic Sat , p. 1471-1482 12 p.

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

Open Access
File
4 Downloads (Pure)

Algebras and coalgebras in the light affine lambda calculus

Gaboardi, M. & Péchoux, R., 29 Aug 2015, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Association for Computing Machinery, Vol. 2015-August. p. 114-126 13 p.

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

1 Citation (Scopus)

Alice and Bob Meet Equational Theories

Basin, D., Keller, M., Radomirović, S. & Sasse, R., 2015, Logic, Rewriting and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday. Martí-Oliet, N., Csaba Ölveczky, P. & Talcott, C. (eds.). Switzerland: Springer International Publishing, p. 160-180 21 p. (Lecture Notes in Computer Science ; vol. 9200).

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

3 Citations (Scopus)

An Analysis of User Engagement in Relation to Computing Workshop Activities

Menzies, R., Crabb, M., Herron, D., Petrie, K., Stewart, C. & Zarb, M., 24 Feb 2015, SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 469-474 6 p.

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

1 Citation (Scopus)

Attack Trees with Sequential Conjunction

Jhawar, R., Kordy, B., Mauw, S., Radomirović, S. & Trujillo-Rasua, R., 2015, ICT Systems Security and Privacy Protection : 30th IFIP TC 11 International Conference, SEC 2015 Hamburg, Germany, May 26–28, 2015 Proceedings. Federrath, H. & Gollmann, D. (eds.). Switzerland: Springer International Publishing, p. 339-353 15 p. (IFIP Advances in Information and Communication Technology; vol. 455).

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

44 Citations (Scopus)

A type-theoretic approach to resolution

Fu, P. & Komendantskaya, E., 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer International Publishing, p. 91-106 16 p. (Lecture notes in computer science ; vol. 9527).

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

3 Citations (Scopus)

Automatic transformation of raw clinical data into clean data using decision tree learning combining with string similarity algorithm

Zhang, J., 2015, OpenAccess Series in Informatics. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Vol. 49. p. 87-94 8 p.

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

Open Access
File
25 Downloads (Pure)

Automating change of representation for proofs in discrete mathematics

Raggi, D., Bundy, A., Grov, G. & Pease, A., 23 Jun 2015, Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (eds.). Springer , Vol. LNAI 9150. p. 227-242 16 p. (Lecture Notes In Computer Science; vol. 9150).

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

Blind people interacting with large touch surfaces: Strategies for one-handed and two-handed exploration

Guerreiro, T., Montague, K., Guerreiro, J., Nunes, R., Nicolau, H. & Gonçalves, D., 15 Nov 2015, Proceedings of the 2015 ACM International Conference on Interactive Tabletops and Surfaces, ITS 2015. Association for Computing Machinery, p. 25-34 10 p.

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

18 Citations (Scopus)

Boosting hand-crafted features for curvilinear structure segmentation by learning context filters

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. 596-603 8 p. (Lecture notes in computer science ; vol. 9351).

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

8 Citations (Scopus)

Combining Argument Mining Techniques

Lawrence, J. & Reed, C., Jun 2015, 2nd Workshop on Argumentation Mining: Proceedings of the Workshop. Denver: Association for Computational Linguistics, Vol. 1. p. 127-136 10 p.

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

Combining efficient hand-crafted features with learned filters for fast and accurate corneal nerve fibre centreline detection

Annunziata, R., Kheirkhah, A., Hamrah, P. & Trucco, E., 4 Nov 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) . Institute of Electrical and Electronics Engineers, p. 5655-5658 4 p.

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

3 Citations (Scopus)