|
This year's allocation can be found HERE! Do
not forget to reload this link as the list gets updated.
|
This list contains the projects offered this year for M.Sc students
on the Advanced Computer Science, Advanced Computer Science with ICT Management,
Computer Science, Computational Science and Engineering and Computational
Methods and Imaging in Medicine programmes. It is largely complete, although
projects are still awaited from some members of staff. As these come in,
the list will be updated. Every so often reload this page and check
here for the ...
Having perused the list, you should:
The list follows. The projects are classified as being suitable for
ACS (Advanced Computer Science), ACSwICT (Advanced Computer Science with
ICT Management, CS (Computer Science) CaS (Computational Science)
CMIM (Computational Methods and Imaging in Medicine); the classification
on the main list is the definitive one. (Note that the list is not in any
particular order though collections of related projects from recognised
research groups in the department often appear together). Also, staff
members who can supervise students but have not proposed any projects yet
appear first.
ALR.1 A handover system for
junior doctors in an intensive care unit(ACS, ACSwICT, CS, CMIM)
ALR.2 Experiments in Representing Comparative Anatomy in OWL (ACS/CMIM/CS)
ALR.4 Direct manipulation tools for authoring ontologies (ACS, CS, ACSwICT)
ALR.7 Building ontologies by playing twenty questions(CS, CAS, ACS, ACSwICT, CMIM)
ALR.8 Representing the evolution
of concepts and language in OWL (CS, CAS, ACS, ACSwICT, CMIM)
CAG.1 Enabling visually impaired
web surfers (ACS,CS,ACSwICT)
CAG.2 Conceptual Open Hypermedia link extensions (ACS,CS,ACSwICT)
CAG.3 Building a RDF model of a web page (ACS,CS,ACSwICT)
CAG.5 A tool for linking ontologies with Web Service specifications (CS, ACSwICT)
CAG.6 Towards automating the annotation of web resources with terms (ACS, ACSwICT)
CAG.7 A tool
for providing additional lexicon for an ontology (ACS, ACSwICT)
CCK.1 Producing Records of Go
Games using a WebCam (CS, ACS)
FC.1 Development of 3D ray tracing
tool in Fortran (ACS,CS)
FC.3 Visualization of the transient signal captured by a moving receiver (ACS,CS)
FC.4 Characterization of the signal
deterioration (ACS,CS)
FC.2 Parallelization of FDTD code
in Fortran (ACS,CS)
HB.1 An
Executable Model of IDEA (ACS,ACSwICT)
HB.2 Modelling Argumentation Networks (ACS,ACSwICT,CS)
HB.3 Search Strategy Experiments with a Parallel CTL* Model Checker (ACS,ACSwICT,CS)
HB.4 Parallelisation of Symbolic Model Checking (ACS,ACSwICT)
HB.5 Developing EAGLE for On-line Fault Recovery (ACS,ACSwICT)
HB/IW.1 Parallelisation
of Symbolic Model Checking (ACS,ACSwICT)
HJK.1 MODEL DRIVEN
WEB-BASED ENVIRONMENT (CS, ACS)
HJK.2 INFORMATION MODEL CONSISTENCY CHECKER (CS, ACS)
HJK.3 MODEL DRIVEN WEB-BASED LEARNING TOOL (CS)
HJK.4 NATURAL ENVIRONMENT RECOGNITION SYSTEM (CS,ACS)
HJK.5 VIRTUAL MINERALOGY DATABASE
(CS)
IEP-H.1 Theorem-proving in
the two-variable fragment (ACS/CaS)
IEP-H.2 Temporal interval logics (ACS/CaS/CS)
IEP-H.3 Computational Topology (ACS,CaS)
IEP-H.4 The logic of only knowing (ACS/CaS)
IEP-H.5 Underspecified Representations in Natural Language Processing (ACS/CaS)
IEP-H.6 Generics and plural quantification in the semantics of natural language (ACS/CaS)
IEP-H.7 Anaphora and cataphora
in the semantics of natural language (ACS/CaS)
IPG.1
Process Provenance - Where did that result come from? (ACS, CS)
IPG.2 Annotating e-Science results with Quality Information (ACS, CS)
IPG.3 A Schema Compliance Checker for Java/JDBC (ACS, ACSwICT)
IPG.4
A Visual Interface for the Specification and Modification of Business Rules
(ACS, ACSwICT, CS)
IPG.5
IT Support for flexible links between businesses (ACS, ACSwICT, CS)
IPG.6 A Developer for ADL/ProcessBase (ACS, CS)
IPG.7 Process Modelling with Hypercode (ACS)
IPG.8 Qualitative Decision Models (ACS, ACSwICT)
IPG.9 ADL Learning System (CS)
IPG.11 Supporting a real-world decision-making process (CS)
IPG.12
Process Models in e-Science and e-Business (ACS, ACSwICT, CS)
IPG.10
Virtual Reality and Active Models (ACS, ACSwICT)
JAM.1 Genetic Algorithms for Dynamic Compilation (ACS)
JAM.2 A High-Performance Java Micro Kernel (ACS/CS)
JAM.3 Native Code Execution within a JVM (ACS/CS)
JAM.4 An ARM Port of the Jikes RVM (ACS/CS)
JAM.5 Visualization of a Chip Multiprocessor
(ACS/CS)
HB/IW.1 Parallelisation
of Symbolic Model Checking (ACS,ACSwICT)
JMB.2 Dependency analysis of Web and Grid services (ACS,CS)
JMB.3 Learning algorithms for prediction of queuing times (ACS,CaS)
JMB.4 Resource prediction from application
data (ACS,CaS,CS)
JS.1 Semi-automatic marking of
text answers (ACS,ACSwICT,CS)
JS.2 Automatic marking of Java programming style (ACS,ACSwICT,CS)
JS.3 Support for equations in exams (ACS,ACSwICT,CS)
JS.4 Evaluation of the ABW diagramming features (ACS,ACSwICT,CS)
JS.5 Strategies for matching diagrams (ACS,ACSwICT,CS)
JS.6 Computer support for marking
schemes (ACS,ACSwICT,CS)
KKL.1 Quality Assurance for
Software Components (CS,CaS,ACS,ACSwICT)
KKL.2 Contract-compliant Software Components (CS,CaS,ACS,ACSwICT)
KKL.3 Connectors for Software Components (CS,CaS,ACS,ACSwICT)
KKL.4 Predictable Assembly (CS,CaS,ACS,ACSwICT)
KKL.5 Design Patterns for Component-based Development (CS,CaS,ACS,ACSwICT)
KKL.6 Components in UML (CS,CaS,ACS,ACSwICT)
LEMB.1 Architectural modelling
of a small synchronous RISC computer (ACS, CS)
LEMB.2 Cellular applications for optical computing (ACS, CS)
LEMB.3 Testing a RISC Computer(ACS, CS)
LEMB.4 Testing a Low-Power Functional
Unit for a DSP (ACS,CC)
MR.1 Learning from a flock
of birds (ACS,CaS,CMIM)
MR.2 Bayesian Inference of Evolutionary History (ACS,CaS)
MR.3 A comparison of state-of-the-art
clustering and visualisation methods (ACS,CaS,CMIM)
NWP.1 Socrates Exchange Possibilities
(ACS,CS)
NWP.2 Genome Information Management (ACS,CS)
NWP.3 Applications of Spatio-Temporal Databases (ACS)
NWP.4 Tools for Spatio-Temporal
Databases (ACS)
NZ.1 Integrating Privacy Property
into Our Ubiquitous Authentication Framework (ACS)
NZ.3 Mobile Agent Enabled Web-based Shopping (ACS)
NZ.4 Visualisation of Security Threats and Consequences (ACS)
NZ.5 Mobile IP Implementation and
Analyses Using OPNET (CS, ACS)
PCC.1 XML examples for a Compiler
Course (ACS,CS)
PJJ.1 Designing
Grammars (ACS,CS)
PJJ.2 Manipulating Grammars (ACS,CS)
PJJ.3 & PJJ.4 Deriving
grammars from example texts(ACS,CS)
PWN1:
Modeling the Interferometric Patterning Process
PWN2: Photo Resist Spinner Control Software
PWN3: Photo Lithography in the Near-Field
PWN4: Hardware Viterbi Decoder
PWN5: Genetic Algorithms for System Optimisation
PWN6:
Java-based interface for an optical simulation tool
RCR
1. Simulation of jumping robot for space exploration applications (ACS,ACSwICT,CS)
RCR 2. Simulation and experiments towards control of a hovering robot (ACS,ACSwICT,CS)
RCR 3. Model based animation of a flapping wing (ACS,ACSwICT,CS)
RCR 4. Bipedal walking simulator (ACS,ACSwICT,CS)
RCR 5. Robot archaeology (ACS,ACSwICT,CS)
RCR 6. Internet control of co-operative robot manipulators (ACS,ACSwICT,CS)
RCR
7. Haptic devices for rehabilitation (ACS,ACSwICT,CS)
RDS.1 Dynamic Linking of bioinformatics
Distance Learning Web Pages (ACS,ACSwICT,CS)
RDS.2 Evaluation of a Dynamic Linking Service (ACS,ACSwICT,CS)
RDS.3 Speaking Telephone Numbers (ACS,ACSwICT,CS)
RDS.4 Metrics for Visual Complexity
(ACS,ACSwICT,CS)
RDS. 5, SH.1 Automatic Page
Summation for Visually Impaired Surfers ACS, CSwIT
RenS.1
A Flexible Reasoner for Propositional Logic (ACS, CS)
RenS.2 Minimal Model Generation (ACS, CS)
RenS.3 A System for Reasoning about Actions (ACS, CS)
RenS.4
Combining Natural Deduction with Resolution (ACS, CS, Maths)
RHB.1 An ASM-based Java Teaching
Tool (ACS,CS,CaS)
RHB.2 ASM Animation and B-Toolkit Animation (ACS,CS,CaS)
RHB.3 The B-Toolkit and the Perfect Developer (ACS,CS,CaS)
RHB.4 Syntax and Semantics of the Mixed Logic Notation (ACS,CS,CaS)
RHB.5 Case Studies in the B Method (ACS,CS,CaS)
RHB.6 Research Topics in Formal Software Development (ACS,CS,CaS)
RHB.7 Formal Specifications for Continuous Systems (ACS,CS,CaS)
RHB.9 Visualising Interaction Nets (ACS,CS)
RHB.10 Interaction Nets and MONSTR: A Compiler (ACS,CS)
RHB.11 Interaction Nets and MONSTR:
A Proof (ACS,CS)
RJH.1 Collision algorithms for
Virtial Environments (ACS,ACSwICT,CS)
RJH.2 Collision detection in MAVERIK++ (ACS, ACSwICT, CS)
RJH.3 Autoconfiguring immersive
projection displays (ACS,ACSwICT,CS)
SBF.1 Image Processing with
Spiking Neurons (ACS,CS)
SBF.2 Robot control with Spiking Neurons (ACS,CS)
SBF.3 Sensor network ad-hoc communications (ACS,CS)
SBF.4 Asynchronous 8-bit microprocessor (ACS,CS)
SBF.5 Asynchronous neural processor
design (ACS,CS)
SRP.1 Visualising the Utopia
Filing System's content (ACS, ACSwICT)
SRP.2 Visualising the Utopia File System's Metadata (ACS, ACSwICT)
SRP.3 Interactive 2D/3D Membrane Protein "snake" Visualiser (ACS, ACSwICT)
SRP.4 The database formerly known
as PRINTS (ACTwICT, ACS, CS)
TLJH.1 Crime Lab-1: Re-reconstructing
Chestergate (ACS,ACSwICT,CS)
TLJH. Crime Lab-2: Evidence Space (ACS,ACSwICT,CS)
TLJH. Crime Lab-3: Ballistics (ACS,ACSwICT,CS)
TLJH. Crime Lab-4: Contingency
planning (ACS,ACSwICT,CS)
US.1 Design and Implementation
of an ontology generator (ACS, ACSwICT)
US.2 Design and Implementation of an ontology analyzer (ACS, ACSwICT)
US.3 Implementation of an algorithm deciding finite satisfiability (ACS)
US.4 Extending the DL SHIQ with another
useful concept constructor (ACS)
IRH.2 Adding Rules to the OWL Ontology Language (ACS)
IRH.3 Editing SWRL Ontologies (ACS, CS)
IRH.4 Automated Testing of OWL
Reasoners (ACS, CS)
GDG.1 Highly Optimised
Satisfiability Testing for Temporal Logic (CS, ACS)
MDM.1
Solution of the Poisson equation using algebraic multigrid (CaS)
MDM.2 Finite element method for the solution of the convection-diffusion problem (CaS)
MDM.3 Finite element method for the solution of parabolic equations (CaS)
MDM.4 Gauss-Legendre numerical quadratures
in exact arithmetic (ACS)
SKB/NPF.1 A packet-oriented
approach to simulating Wireless LAN MAC protocols in Java (ACS,CS)
SKB/NPF.2 Simulating the effects of Link adaptation and power control (ACS,CS)
SKB/NPF.3 Routing algorithms for multi-hop ad-hoc Wireless Networks (ACS,CS)
SKB/NPF.4 Routing algorithms for multi-hop access networks for mobile multimedia (ACS,CS)
SKB/NPF.6 Terrain mapping based on multipath channel impulse response (ACS,CS)
SKB/NPF.7 Wireless Local Area Network Throughput Analysis - Experimental Comparisions (ACS/CS)
NPF/SKB.8 A Pictorial Finite State
Machine Generator For Discrete Event Simulations (ACS/CS)
PHGA.1
Dependently-Sorted Logic (ACS)
JLS.1 Studies of Ant
Colony Optimisation Algorithms (ACS, CS, CMIM, CaS)
JLS.2 A New Method for Learning a Mixture of Local Models (ACS,CaS, CMIM)
JLS.4 Machine Learning and Optimisation
(ACS, CS, CaS, CMIM)
JJM.1 2-D Panorama Tool for
Digital Cameras (ACS,CMIM)
JJM.2 Interview Scheduling Tool (ACS, ACSWIT, CS)
JJM.3 Multipole Expansion Optimisation (ACS, CaS)
JJM.4 Object Based Micromagnetic
Simulator (ACS, CaS)
AAAF.1 (CS, ACS) - Extending
Propositional Data Mining Algorithms to the Relational Case
AAAF.2 (ACS) - Aggregation Queries over Spatial-Historical Values
AAAF.3 (ACS) - A Structured Language for Combined Query Answering and Knowledge Discovery
AAAF.4 (ACS) - A Query Engine
in k KLOCs, 1 =< k << 5
JDG.2 Fine-grain Pipelining for Processors (ACS, CS?)
JDG.3 Asynchronous Superscalar Processors (ACS, CS?)
JDG.4 Asynchronous Coprocessors (ACS, CS)
JDG.5 Asynchronous Bitstream Coding (ACS, CS)
JDG.6 UWB Transmitter Identification
(ACS, CS)
DER.1 Experiments in Programming
Language Design (I) (ACS)
DER.2 Experiments in Programming Language Design (II) (ACS)
DER.3 A Mobility Toolkit (ACS)
DER.4 Applications of computers
to ecology and botany (any MSc)
MMW.1 Web Page Accessibility
(ACS, ACSwICT, CS)
MMW.2 Identifying Plant Species from Botanical Text (ACS, ACSwICT, CS)
MMW.3 Dialogue Analysis in On-Line Tutorials (ACS, ACSwICT, CS)
MMW.4 Opportunities in Natural Language
Processing (CS, ACS)
BC04M.1: Estimating network
QoS parameters and simulating video conferencing links.