Pollard, James D
1022  Ergebnisse:
Personensuche X
?
3

Formal verification of high-level synthesis:

Herklotz, Yann ; Pollard, James D. ; Ramanathan, Nadesh.
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-30 , 2021
 
?
4

Formal verification of high-level synthesis:

Herklotz, Yann ; Pollard, James D. ; Ramanathan, Nadesh.
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-30 , 2021
 
?
6

Making an Impact: How to Design Relevant and Usable Decisio..:

, In: Wildlife Research Monographs; Closing the Knowledge-Implementation Gap in Conservation Science,
 
?
7

Electrocardiogram machine learning for detection of cardiov..:

Pollard, James D ; Haq, Kazi T ; Lutz, Katherine J...
European Heart Journal - Digital Health.  2 (2021)  1 - p. 137-151 , 2021
 
?
 
?
12

The Barrier Coastline of North Norfolk, with Particular Ref..:

, In: World Geomorphological Landscapes; Landscapes and Landforms of England and Wales,
 
?
 
1-15