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
-
Dor Atzmon
- Department of Computer Science - Postdoctoral Research Associate
Person: Staff - Research staff
-
(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 AccessFile28 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
-
Memory-optimal classical simulation of quantum data
Eng & Phys Sci Res Council EPSRC
1/08/23 → 31/07/24
Project: Research
-
Improving Long COVID patient recovery through voice-based AI symptom tracking and personalised rehabilitation
1/10/22 → 30/09/23
Project: Research
-
Improving Long COVID patient recovery through voice-based AI symptom tracking and personalised rehabilitation
1/10/22 → 30/09/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
-
OSTRICH: String Constraint Solver
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset
-
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