Login / Signup
Nicholas Clarke
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Provably Correct
Hyperspectral
Model Checker
Practical Experience
Top Venues
Remote. Sens.
TFP
</>
Publications
</>
Jiangsan Zhao
,
Dmitry Kechasov
,
Boris Rewald
,
Gernot Bodner
,
Michel Verheul
,
Nicholas Clarke
,
Jihong Liu Clarke
Deep Learning in Hyperspectral Image Reconstruction from Single RGB images - A Case Study on Tomato Quality Parameters.
Remote. Sens.
12 (19) (2020)
Philipp Kant
,
Kevin Hammond
,
Duncan Coutts
,
James Chapman
,
Nicholas Clarke
,
Jared Corduan
,
Neil Davies
,
Javier Díaz
,
Matthias Güdemann
,
Wolfgang Jeltsch
,
Marcin Szamotulski
,
Polina Vinogradova
Flexible Formality Practical Experience with Agile Formal Methods.
TFP
(2020)