Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
Data Science and Artificial Intelligence
College of Science and Engineering
School of Informatics
Overview
Fingerprint
Network
Profiles
(40)
Research output
(1797)
Activities
(36)
Prizes
(7)
Projects
(118)
Datasets
(23)
Press/Media
(5)
Research output
Research output per year
1989
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
726
Article
712
Conference contribution
114
Paper
37
Chapter
208
More
31
Chapter (peer-reviewed)
30
Poster
29
Preprint
25
Abstract
14
Working paper
12
Meeting abstract
12
Review article
11
Editorial
7
Book
5
Comment/debate
5
Other contribution
3
Entry for encyclopedia/dictionary
3
Other chapter contribution
3
Book/Film/Article review
3
Special issue
2
Commissioned report
2
Other report
2
Letter
2
Data set/Database
2
Patent
2
Doctoral Thesis
1
Other
1
Literature review
1
Web publication/site
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Data set/Database
Search results
2021
Metadata Release of the Archive of Formal Proofs for Isabelle2021 (04-16)
MacKenzie, C., Vaughan, J. &
Fleuriot, J.
,
16 Apr 2021
Research output
:
Non-textual form
›
Data set/Database
Open Access
Strict Ordering
100%
Optional Description
100%
Descending Order
100%
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 2020
Research output
:
Non-textual form
›
Data set/Database
Open Access
Data Sheet
100%
Data Representation
100%
Annotation
20%
Skill Training
20%
Representation Method
20%