팔로우
Steven Bradley
Steven Bradley
Professor of Computer Science (Teaching), Durham University UK
durham.ac.uk의 이메일 확인됨
제목
인용
인용
연도
Economical crowdsourcing for camera trap image classification
PY Hsing, S Bradley, VT Kent, RA Hill, GC Smith, MJ Whittingham, J Cokill, ...
Remote Sensing in Ecology and Conservation 4 (4), 361-374, 2018
592018
Implementation of crisis resolution/home treatment teams in England: national survey 2005–2006
S Onyett, K Linde, G Glover, S Floyd, S Bradley, H Middleton
Psychiatric Bulletin 32 (10), 374-377, 2008
542008
A national survey of crisis resolution teams in England
S Onyett, K Linde, G Glover, S Floyd, S Bradley, H Middleton
London: Care Services Improvement Partnership, 2006
272006
Evidence for teaching practices that broaden participation for women in computing
BB Morrison, BA Quinn, S Bradley, K Buffardi, B Harrington, HH Hu, ...
Proceedings of the 2021 Working Group Reports on Innovation and Technology …, 2021
222021
Using timed automata for response time analysis of distributed real-time systems
S Bradley, W Henderson, D Kendall
IFAC Proceedings Volumes 32 (1), 209-214, 1999
221999
Validation, verification and implementation of timed protocols using AORTA
S Bradley, WD Henderson, D Kendall, AP Robson
Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996
221996
Managing plagiarism in programming assignments with blended assessment and randomisation
S Bradley
Proceedings of the 16th Koli Calling International Conference on Computing …, 2016
212016
A formally based hard real-time kernel
S Bradley, W Henderson, D Kendall, A Robson
Microprocessors and Microsystems 18 (9), 513-521, 1994
211994
Application-oriented real-time algebra
S Bradley, W Henderson, D Kendall, A Robson
Software Engineering Journal 9 (5), 201-212, 1994
181994
Creative assessment in programming: diversity and divergence
S Bradley
Proceedings of the 4th Conference on Computing Education Practice, 1-4, 2020
162020
An exploration of dropout with rnns for natural language inference
A Gajbhiye, S Jaf, NA Moubayed, AS McGough, S Bradley
Artificial Neural Networks and Machine Learning–ICANN 2018: 27th …, 2018
162018
Designing and implementing correct real-time systems
S Bradley, W Henderson, D Kendall, A Robson
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1994
151994
Studying the process of software change: An analysis of software evolution
E Burd, S Bradley, J Davey
Proceedings Seventh Working Conference on Reverse Engineering, 232-239, 2000
142000
Exbert: An external knowledge enhanced bert for natural language inference
A Gajbhiye, NA Moubayed, S Bradley
Artificial Neural Networks and Machine Learning–ICANN 2021: 30th …, 2021
112021
Using model checking for pre-planning analysis
M Fox, D Long, S Bradley, J McKinna
Proceedings of the AAAI Symposium on Model-based Validation of Intelligence, 2001
112001
Large‐scale mammal monitoring: The potential of a citizen science camera‐trapping project in the United Kingdom
PY Hsing, RA Hill, GC Smith, S Bradley, SE Green, VT Kent, SS Mason, ...
Ecological Solutions and Evidence 3 (4), e12180, 2022
102022
Cam: A combined attention model for natural language inference
A Gajbhiye, S Jaf, N Al Moubayed, S Bradley, AS McGough
2018 IEEE International Conference on Big Data (Big Data), 1009-1014, 2018
92018
Practical formal development of real-time systems
SP Bradley, WD Henderson, D Kendall, AP Robson
Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and …, 1994
91994
Crisis resolution and inpatient mental health care in England
S Onyett, K Linde, G Glover, S Floyd, S Bradley, H Middleton
University of, 2007
82007
bCANDLE: Formal modelling and analysis of CAN control systems
D Kendall, SP Bradley, WD Henderson, AP Robson
Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium …, 1998
81998
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20