Items where Subject is "QA0076 Computer software"

Up a level
Export as [feed] RSS
Group by: Authors | Item Type
Jump to: A | C | H | K | M | R | S | T | Y
Number of items at this level: 12.

A

Alabdullah, Bayan, Beloff, Natalia and White, Martin (2018) Rise of big data – issues and challenges. SCS-NCC' 2018 Saudi section 21st Saudi Computer Society National Computer Conference, Riyadh, Saudi Arabia, April 25-26, 2018. Published in: 2018 21st Saudi Computer Society National Computer Conference (NCC). 1-6. ISBN 9781538641118

C

Cash, Will, Howland, Kate, Rodriguez Echavarria, Karina and Samaroudi, Myrsini (2020) Exploring children's everyday journeys with user-generated AR. Interaction Design and Children Conference (IDC ’20)., Online, 17-24 June 2020. Published in: IDC '20: Proceedings of the 2020 ACM Interaction Design and Children Conference: Extended Abstracts. 308-313. Association for Computing Machinery, New York, NY, United States. ISBN 9781450380201

Cordeiro, Lucas C, Kroening, Daniel and Schrammel, Peter (2018) Benchmarking of Java verification tools at the software verification competition (SV-COMP). The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Florida, USA, Monday 5 November 2018. Published in: Software Engineering Notes. 43 (4) 55-56. Association for Computing Machinery ISSN 0163-5948

H

Hartlebury, Samuel John (2021) Environmentally robust multiple camera tracking. Masters thesis (MPhil), University of Sussex.

K

Kiefer, Chris, Overholt, Dan and Eldridge, Alice (2020) Shaping the behaviour of feedback instruments with complexity-controlled gain dynamics. New Interfaces for Musical Expression, Birmingham, UK, 21-25 July 2020. Published in: Proceedings of the International Conference on New Interfaces for Musical Expression. 343-348. NIME, Birmingham, UK. ISSN 2220-4806

M

Malik, Viktor, Hruska, Martin, Schrammel, Peter and Vojnar, Tomas (2018) Template-based verification of heap-manipulating programs. fmcad.18 Formal Methods in Computer-Aided Design 2018, University of Texas, Austin, Texas, Oct 31 - Nov 2, 2018. Published in: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) Austin, Texas, USA, October 30 – November 2, 2018. 103-112. Institute of Electrical and Electronics Engineers ISBN 9780983567882

R

Ragone, Grazia, Good, Judith and Howland, Katherine (2020) OSMoSIS: interactive sound generation system for children with autism. Interaction Design and Children Conference (IDC ’20)., Online, 17-24 June 2020. Published in: Proceedings of the 2020 ACM Interaction Design and Children Conference: Extended Abstracts. 151-156. Association for Computing Machinery, New York, NY, United States. ISBN 9781450380201

S

Sam, Kin Meng and Chatwin, Chris (2019) Understanding Wechat users' motivations, attitudes and intention of reading promotional material. Journal of Information Technology Management, 30 (1). pp. 25-37. ISSN 1042-1319

Sarhan, Norah, Good, Judith and Howland, Kate (2020) Investigating student preferences on gesture-based interactions in a vocabulary game. 14th European Conference on Games Based Learning, Brighton, 24 - 25 September 2020. Published in: Abstracts and conference materials for the 14th European Conference on Games Based Learning. 497-506. ACIL ISSN 2049-0992 ISBN 9781912764716

T

Trory, Anthony Michael, Howland, Kate and Good, Judith (2018) Designing for concreteness fading in primary computing. 17th Interaction Design and Children Conference, Trondheim, Norway, 19-22 June 2018. Published in: IDC '18 Proceedings of the 17th ACM Conference on Interaction Design and Children. 278-288. Association for Computing Machinery ISBN 9781450351522

Turner, James Paul (2020) Analysing and bounding numerical error in spiking neural network simulations. Doctoral thesis (PhD), University of Sussex.

Y

Yan, Junhua, Du, Jun, Young, Yong, Chatwin, Christopher R, Young, Rupert C D and Birch, Philip (2018) Real time unmanned aerial vehicle tracking of fast moving small target on ground. The Journal of Electronic Imaging, 27 (5). 053010 1-12. ISSN 1017-9909

This list was generated on Mon Sep 20 12:50:50 2021 BST.