Research output per year
Research output per year
Search results
-
2021
Metadata Release of the Archive of Formal Proofs for Isabelle2021 (04-16)
MacKenzie, C., Vaughan, J. & Fleuriot, J., 16 Apr 2021Research output: Non-textual form › Data set/Database
Open Access -
2020
Data_Sheet_1_An Active Data Representation of Videos for Automatic Scoring of Oral Presentation Delivery Skills and Feedback Generation.PDF.
Haider, F., Koutsombogera, M., Conlan, O., Vogel, C., Campbell, N. & Luz, S., 6 Mar 2020Research output: Non-textual form › Data set/Database
Open Access