دنبال کردن
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
642018
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
572008
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
372021
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
282006
Managing plagiarism in programming assignments with blended assessment and randomisation
S Bradley
Proceedings of the 16th Koli Calling International Conference on Computing …, 2016
242016
Validation, verification and implementation of timed protocols using AORTA
S Bradley, WD Henderson, D Kendall, AP Robson
International Conference on Protocol Specification, Testing and Verification …, 1995
231995
A formally based hard real-time kernel
S Bradley, W Henderson, D Kendall, A Robson
Microprocessors and Microsystems 18 (9), 513-521, 1994
231994
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
222022
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
Application-oriented real-time algebra
S Bradley, W Henderson, D Kendall, A Robson
Software Engineering Journal 9 (5), 201-212, 1994
211994
Creative assessment in programming: diversity and divergence
S Bradley
Proceedings of the 4th Conference on Computing Education Practice, 1-4, 2020
192020
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
171994
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
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
132021
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
122001
Crisis resolution and inpatient mental health care in England
S Onyett, K Linde, G Glover, S Floyd, S Bradley, H Middleton
University of, 2007
92007
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
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
82018
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