James Davenport

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 5

Top Topics

Higher Education

Computer Science

Inertial Sensors

Top Venues

Publications

Bahavathy Kathirgamanathan, James Davenport, Brian Caulfield, Pádraig Cunningham
Using Barycenters as Aggregate Representations of Repetition-Based Time-Series Exercise Data. MLSA@PKDD/ECML (2021)
William Johnston, James Davenport, Rachelle Connelly, Brian Caulfield
Quantifying Y Balance Test performance with multiple and single inertial sensors. EMBC (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
James Davenport
SMT Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of the Deaf? SMT (2017)