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
(41)
Research output
(1642)
Activities
(29)
Prizes
(1)
Projects
(116)
Datasets
(16)
Press/Media
(4)
Research output
Research output per year
1989
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2023
662
Conference contribution
658
Article
108
Paper
37
Chapter
177
More
31
Chapter (peer-reviewed)
27
Poster
21
Abstract
16
Preprint
13
Working paper
11
Editorial
9
Review article
7
Book
7
Meeting abstract
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
1
Other
1
Web publication/site
1
Doctoral Thesis
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
Strings
100%
Archives
100%
Formal
100%
Cataloguing
100%
Metadata
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%
Generation
100%
Data Representation
100%
Classification
60%
Events
60%