• United Kingdom

Research Output

Filter
Conference contribution
2016

SpaceWire and SpaceFibre on the Microsemi RTG4 FPGA

Parkes, S. S., McClements, C., McLaren, D., Youssef, B., Ali, M. S., Ferrer Florit, A. & Villafranca, A. G., 27 Jun 2016, 2016 IEEE Aerospace Conference, AERO 2016. IEEE, Vol. 2016-June. p. 1-8 8 p. 7500644

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

8 Citations (Scopus)

SpaceWire-D prototype and demonstration system: Networks & protocols, long paper

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

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

3 Citations (Scopus)

Sub-category classifiers for multiple-instance learning and its application to retinal nerve fiber layer visibility classification

Manivannan, S., Cobb, C., Burgess, S. & Trucco, E., 17 Oct 2016, Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 - 19th International Conference, Proceedings. Springer Verlag, Vol. 9901 LNCS. p. 308-316 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9901 LNCS).

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

Open Access
File
3 Citations (Scopus)
114 Downloads (Pure)

Sunrise: A spacefibre router

Parkes, S. S., McClements, C., McLaren, D., Florit, A. F. & Villafranca, A. G., 1 Aug 2016, Proceedings of DASIA 2016: DAta Systems in Aerospace. Ouwehand, L. (ed.). Netherlands: European Space Agency, Vol. SP-736.

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

Towards Computer Support for Pragma-Dialectical Argumentation Analysis

Visser, J., 2016, Argumentation, Objectivity and Bias. Proceedings of the 11th International Conference of the Ontario Society for the Study of Argumentation (OSSA), 18-21 May 2016 . Benacquista, L. & Bondy, P. (eds.). Ontario, Canada: University of Windsor, Vol. 11. 19 p.

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

Open Access
File
17 Downloads (Pure)

Weighted atlas auto-context with application to multiple organ segmentation

Amaral, T., Kyriazakis, I., McKenna, S. J. & Plotz, T., 26 May 2016, 2016 IEEE Winter Conference on Applications of Computer Vision (WACV). IEEE, 9 p.

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

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

Working with Open Argument Corpora

Lawrence, J., Janier, 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

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
11 Citations (Scopus)
173 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

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

2 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

42 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
20 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

17 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)

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

19 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

21 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

17 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
7 Citations (Scopus)
6 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: 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)

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)

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

14 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)
232 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)
109 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

15 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)
2014

Agricultural reform: More efficient farming using advanced parallel refactoring tools

Brown, C., Janjic, V., Hammond, K., Schöner, H., Idrees, K. & Glass, C., 14 Apr 2014, PDP 2014 Proceedings: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. Piscataway: IEEE, p. 36-43 8 p.

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

8 Citations (Scopus)

AIFdb Corpora

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. 465-466 2 p. (Frontiers in artificial intelligence and applications; vol. 266).

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

8 Citations (Scopus)