Proof-theoretic semantics for non-classical and modal logics
Proof-theoretic semantics for non-classical and modal logics
About the Project Proof-theoretic semantics (P-tS) offers a practical foundation for the meaning of logical theories that is grounded inference --- that is, reasoning --- rather than the abstract structures … Read More Read More
Categories:
Next-generation statistical models of rivers and transport phenomena for the water industry
Next-generation statistical models of rivers and transport phenomena for the water industry
About the Project This project is offered by the EPSRC Centre for Doctoral Training in Statistical Applied Mathematics ( SAMBa ), for study commencing in September 2025. Overview of the … Read More Read More
Categories:
Modelling and identification of cerebral blood flow control
Modelling and identification of cerebral blood flow control
About the Project Co-Supervisor: Professor David Simpson The project focuses on understanding cerebral blood flow and its physiological control, to improve diagnosis and treatment of brain injuries. The project will … Read More Read More
Categories:
Uncertainty quantification and reliable feature extraction in deep learning
Uncertainty quantification and reliable feature extraction in deep learning
About the Project Supervisory Team - Srinandan Dasmahapatra and Antonia Marcu The predictive power of deep learning models offers widespread promise, but they are hard to interpret. Their predictions do … Read More Read More
Categories:
Joint reconstruction-segmentation for imaging
Joint reconstruction-segmentation for imaging
About the Project A crucial image processing task is image segmentation: we often seek to identify the presence and location of key features in an image, for example a tumour … Read More Read More
Categories:
PhD in Evaluating the Influence of Tangible 3D Printed Replicas on the Museum Experience
PhD in Evaluating the Influence of Tangible 3D Printed Replicas on the Museum Experience
About the Project The University of Warwick, and Oxford University Museum of Natural History, are pleased to announce the availability of a fully-funded four-year (full-time) doctoral grant under the AHRC’s … Read More Read More
Categories:
Discovering neutron star astrophysics from the study of radio pulsars
Discovering neutron star astrophysics from the study of radio pulsars
About the Project We welcome applicants to join Dr Greg Ashton for a project developing new approaches to study radio pulsars and discovery new neutron star astrophysics within the astronomy … Read More Read More
Categories:
Artificial Intelligence for gravitational-wave astronomy
Artificial Intelligence for gravitational-wave astronomy
About the Project We welcome applicants to join Dr Greg Ashton for a project developing new Artificial Intelligence approaches to gravitational-wave astronomy within the astronomy group at Royal Holloway . … Read More Read More
Categories:
Deep Learning Based Machine Vision for Space-Informed Applications
Deep Learning Based Machine Vision for Space-Informed Applications
About the Project The increasing congestion of Earth's orbit with satellites and debris poses significant challenges in space activities, while sensors from space provide valuable data about the Earth to … Read More Read More
Categories:
Computer Vision with Responsible Artificial Intelligence for Human-Related Data
Computer Vision with Responsible Artificial Intelligence for Human-Related Data
About the Project Human data is centric to many computer science, machine learning and biomedical engineering research. Such data includes human images/videos, motions and trajectories, medical images (X-ray, MRI, CT), … Read More Read More
Categories: