Research output per year
Research output per year
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
(1,1)-Cluster Editing is Polynomial-time Solvable
Gutin, G. & Yeo, A., 15 Dec 2023, In: Discrete Applied Mathematics. 340, p. 259-271 13 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A Coarse Alignment Method Based on Vector Observation and Truncated Vectorized κ-matrix for Underwater Vehicle
Huang, H., Wei, J., Zhang, L., Wang, B. & Wang, S., Mar 2023, In: IEEE Transaction on Vehicular Technology. 72, 3, p. 3227-3238 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile32 Downloads (Pure) -
A Conversation with A. Philip Dawid
Vovk, V. & Shafer, G., 14 Aug 2023, (Accepted/In press) In: Statistical Science.Research output: Contribution to journal › Article › peer-review
-
DataSim: A Machine Learning-powered simulation tool for rail timetable optimisation
2/10/23 → 1/10/24
Project: Research
-
Memory-optimal classical simulation of quantum data
Eng & Phys Sci Res Council EPSRC
1/08/23 → 31/07/25
Project: Research
-
1851 Research Fellowship
Royal Commission of the Exhibition of 1851
1/09/22 → 31/12/23
Project: Research
Activities
-
ACM/IEEE Symposium on Logic in Computer Science
Matthew Hague (Member of programme committee)
2 Aug 2023 → 5 Aug 2023Activity: Participating in or organising an event › Participation in conference
-
On the Metatheory of Subtype Universes (TYPES23)
Felix Bradley (Speaker)
12 Jun 2023 → 15 Jun 2023Activity: Talk or presentation › Oral presentation
File -
On the Metatheory of Subtype Universes (WG6)
Felix Bradley (Speaker)
24 Apr 2023Activity: Talk or presentation › Oral presentation
File
Prizes
-
1st Prize in Cool Computing Competition
Nguyen, Dr. Khuong An (Recipient), Mar 2009
Prize: Prize (including medals and awards)
-
1st Prize in National Programming Competition, Vietnam
Nguyen, Dr. Khuong An (Recipient), Mar 2006
Prize: Prize (including medals and awards)
-
1st Prize in the XI National Software Competition, Vietnam
Nguyen, Dr. Khuong An (Recipient), Aug 2005
Prize: Prize (including medals and awards)
Datasets
-
Data and source code for SatCSS
Hague, M. (Creator), Lin, A. (Creator) & Hong, C. (Creator), Royal Holloway, University of London, 5 Dec 2018
https://royalholloway.figshare.com/articles/Data_and_Source_Code_for_Sat_CSS/7277324
Dataset
-
OSTRICH: String Constraint Solver
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset
-
A Reference GLL Implementation - language corpora repository
Johnstone, A. (Creator) & Scott, E. (Other), Royal Holloway, University of London, 23 Oct 2023
https://github.com/AJohnstone2007/referenceLanguageCorpora
Dataset