Bio-Health Informatics

Related information

Publications

Augmented Reality Broadcasting: Challenges and Opportunities

Research output: Contribution to conference › Paper

Efficient Verified (UN)SAT Certificate Checking

Research output: Contribution to journal › Article

Formal Verification of Memory Preservation of x86-64 Binaries

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (84)

Projects

Internet of Things cities Demonstrator: CityVerve

Project: Research

MOVING: Training towards a society of data savvy information professionals to enable open leadership innovation

Project: Research

DARPA

Project: Research

View all (3)

Activities

H3ABioNet Scientific Advisory Board

Activity: Other

GOBLET Annual Meeting 2017 and satellite events

Activity: Participating in or organising event(s) › Organising a conference, workshop, exhibition, performance, inquiry, course etc

ELIXIR-UK Annual All-Hands Meeting

Activity: Participating in or organising event(s) › Participating in a conference, workshop, exhibition, performance, inquiry, course etc

View all (31)

Datasets

The Proteasix Ontology

Dataset

Deep learning meets ontologies: experiments to anchor the cardiovascular disease ontology in the biomedical literature

Dataset

TIGERi: modeling and visualizing the responses to perturbation of a transcription factor network

Dataset

View all (6)

Prizes

Best Paper Award at EICS 2017

Prize: Prize (including medals and awards)

View all prizes (1)

Impact

The Utopia Suite: realising semantic knowledge discovery and data linkage in the publishing and pharmaceutical industries

Impact: Technological impacts, Economic impacts

PRINTS and InterPro – online resources that facilitate discovery of pharmaceutical and commercially relevant information in proteomic and genomic data-sets

Impact: Economic impacts, Health impacts, Technological impacts

View all (2)