Postgraduate Research Projects

MicrosoftInternetExplorer4

Postgraduate Research Projects PhD Computer Science PhD Computer Science PhD thesis projects for students holding a 3 years PhD grant Staff Research Areas Department of Computer Science PhD in Computer Science  PhD programmes by country  PhD programmes by discipline  PhDs in Life Sciences, Medicine & Health  PhD programmes in the Netherlands  PhD programmes in Germany  Computer Science Ph.D. Program  PhD projects Current projects mechnical Engineering EEC electronics projects Computer engineering BCA MCA projects topics latest 2014 projects

• A Data Storage Material Characterisation System
•  
• A hybrid-systems approach to uncover complex networks behaviour
•  
• A Multiset Search Framework for Neuroevolutionary: how to make Neuroevolutionary search more effective
•  
• A Multiset Search Framework for Neuroevolutionary: how to make Neuroevolutionary search more effective.
•  
• A Natural Language Approach to Model Driven Development
•  
• A Natural Language Editor to Support Use Case and Scenario Authoring
•  
• Acceptance-Test-Driven Development of Business Rules in Information Management Applications
•  
• Advanced Magnetic Data Storage Models
•  
• Adversarial Approaches in Multiobjective Optimization
•  
• Algorithmic Stackelberg game theory with application in energy pricing
•  
• Ambient Intelligence
•  
• An Ontological Framework for Model Driven Development
•  
• Analysis and control of hybrid dynamical systems: an insight into swiched control systems
•  
• Applications of Category Theory in Computational System Semantics.
•  
• Astroinformatics
•  
• Automated annotation of mouse phenotypes using ontologies and automated reasoning
•  
• Automated Reasoning for Second-Order Formalisms
•  
• Automated Reasoning for Verification
•  
• Automatic Activity Analysis, Detection and Recognition
•  
• Automatic Emotion Detection, Analysis and Recognition.
•  
• Autonomic Computing in Large-Scale Distributed Systems
•  
• Autonomic Workload Management

• Balancing security and privacy with data usefulness and efficiencyin wireless sensor network
•  
• Breaking Symmetries in Automated Reasoning
•  
• Categorical proof theory.
•  
• Characterisation of nanoscale magnetic elements for data storage applications.
•  
• Cognition-driven Risk-Benefit Visualisation: Modeling Patients' Perceptions of Medication EffectsPerceptions of Medication Effects
•  
• Component-based Software Development.
•  
• CompSci2NetSci: building the next generation of evolving complex networks
•  
• Computational modelling and simulation: Computational modelling approaches to iron biochemistry and regulation
•  
• Computational modelling and simulation: Coupled simulation strategies for digital organisms
•  
• Computational Steering on Petascale Computers
•  
• Computing beyond a million processors - bio-inspired massively parallel architectures.
•  
• Controlled natural language.
•  
• Controlling cancer: a new perspective to uncover tumor growth patterns
•  
• Convergent algorithms for learning probabilistic behaviour in multi-agent systems.
•  
• CyberPhysical Systems

• Decision Making and Autonomic Computing
•  
• Deep Learning for Temporal Information Processing
•  
• Design Considerations Hybrid systems: Parallelisation
•  
• Designing Drugs Using a Robot Scientist
•  
• Development and Analysis of Evolvable Computational Systems.
•  
• Dissipativity-related properties in hybrid automata
•  
• Distributed Computing for Pulsar Astrophysics
•  
• Dynamic FPGA Objects
•  
• DynaRISC - a RISC Multicore Processor with Dynamically Reconfigurable Fine-grained Embedded Fabrics
•  
• DYVERSE Networks: pushing the boundaries of formal verification

• EC & Hybrid Theory: Dynamic precision control
•  
• EC Applications: neuro-evolution
•  
• EC Theory: Diversity vs. Evolvability
•  
• EC Theory: multi-objective and discrete problems
•  
• EC Theory: self-adaptation compare to closed-loop adaptive mechanism
•  
• Efficient Global Optimization in Multiobjective Problems
•  
• Efficient On-Chip Communications in the Manycore Era
•  
• Ensemble Construction in the connectionist [Neuroevolutionary] domain
•  
• Ensemble Construction in the connectionist [Neuroevolutionary] domain.
•  
• Evolving artificial neural networks: is recombination [or crossover] an efficient operator?
•  
• Evolving artificial neural networks: is recombination [or crossover] an efficient operator?
•  
• Evolving multilayer belief net (MBN) artificial neural networks: can EC evolve a MBN from the input feature space?
•  
• Evolving multilayer belief net (MBN) artificial neural networks: can EC evolve a MBN from the input feature space?

• Fabrication and patterning of thin-film materials for ultra-high-density non-volatile memory.
•  
• Formal Methods: Formal Techniques and Retrenchment.
•  
• Formal Methods: Formal Techniques for Hybrid and Cyber Physical Systems
•  
• Formal Methods: Hybrid Event-B and Rodin
•  
• Fundamental and applied investigations into the potential of provenance metadata in the context of collaborative, open science

• Generation of DNA sequence-specific anti-cancer drugs through closed loop evolution of aptamers
•  
• Graph Theory and their Application to Interconnection Networks for Very-Large-Scale Computing Systems
•  
• Graphene Memory Devices

• High-Performance Energy-Efficient Interconnects for Vertically (3-D) Integrated Circuits and Systems
•  
• Higher-Order Temporal Generalization.
•  
• Hybrid control systems: using formal verification to improve the control loop
•  
• Hybrid dynamical systems analysis of on-line learning in a non-stationary environment.
•  
• Hybrid system models and control: putting together the pieces of the energy jigsaw
•  
• Hybrid Theory: What role(s) can functional approximation methods play in hybrid portfolios

• In between structure and texture: Strexture
•  
• Indoor Environment Mapping using Ultra Wide Band (UWB) Radio.
•  
• Information Component Analysis via Deep Learning
•  
• Integrated and Contrastive Text and Data Mining.
•  
• Intelligent Scene Analysis by Exploitation of Audio Cues
•  
• Investigations into a Semantic Web for Science

• Job and Task Scheduling and Resource Allocation on Parallel/Distributed machines

• Learning regression tasks utilising second and third order statistics.
• Logics with counting.

• Machine Learning and Cognitive Modelling Applied to Video Games
•  
• Managing Service-Level-Agreements
•  
• Mapping Applications and Services on Computing Clouds and Service-Oriented Systems
•  
• Markerless 3D hand-tracking for unencumbered human-computer interaction
•  
• Mathematical models for concurrent systems.
•  
• Mesh Network Experimentation
•  
• Minimum Description Length: An information-theoretic approach to the groupwise study of image information
•  
• Mining the Meaning of Web Services
•  
• Mobile phone based tools for independent living
•  
• Model-Based Optimization in Dynamic Environments
•  
• Model-driven interaction with ontologies.
•  
• Modelling and Fabrication of Nano-Structured Surfaces in Polymer Materials.
•  
• Modular ontology development and maintenance.
•  
• MOKE studies of patterned magnetic nanostructures for advanced storage applications

• Network Layer Routing Protocols and Transport Protocols.
•  
• Nonlinear Biomarker Identification in Cancer Data
•  
• Novel heat activated nanomagnetic exchange springs for data storage

• Optical properties of magnetic nanostructures

• Pay-as-you-go Data Integration
•  
• Pay-As-You-Go Gathering of Domain Knowledge for Information Quality and Integration
•  
• Problems in large graphs (e.g., social networks, VANETs)
•  
• Protecting Consumers' Privacy in Digital Right Management.
•  
• Protocol Implementation Using Model Based Design.

• Quality and Cost-Based Query Processing in XML Databases
•  
• Querying the Physical World: A Data-Centric Approach to a Web of Things

• Reconfigurable Database Acceleration
•  
• Reconfigurable devices for high performance communications
•  
• Retrieving, representing and measuring scientific method from the literature
•  
• Robust formal semantics for natural language.

• Security and Privacy in Cloud Computing
•  
• Security and QoS in Mobile Ad Hoc Networks.
•  
• Semi-Supervised/Unsupervised Ensemble Learning
•  
• Signal evaluation and data recovery in future ultra-high density hard disk drives
•  
• Solving linear constraints and beyond
•  
• Specification-by-Example for Information Management Challenges
•  
• Symmetry and neural networks
•  
• Symmetry and neural networks
•  
• Symmetry feature extraction for artificial neural networks: providing position, size, & rotation invariance
•  
• Symmetry feature extraction for artificial neural networks: providing position, size, rotation invariance.
•  
• Symmetry feature extraction for multilayer belief net (MBN) artificial neural networks: can we providing position, size, and rotation invariance for the MBN?
•  
• Symmetry feature extraction for multilayer belief net (MBN) artificial neural networks: can we providing position, size, and rotation invariance for the MBN?
•  
• Synthesis Methods for Highly Variant Technologies.

• Tableau calculus synthesis
•  
• Text Analytics and Blog/Forum Sentiment Analysis.
•  
• The Permutation Problem for multi-layered networks
•  
• The Permutation Problem for multi-layered networks.
•  
• The role redundancy in neuron spaces: how to make Neuroevolutionary search more effective
•  
• Three-dimensional (3-D) integration
•  
• Type-logical grammars and logic-based syntax.

• Ultra Low Power Sensor Networks for Agriculture
•  
• Understanding nanomagnetic materials using neutron and x-ray scattering
•  
• Understanding spoken Arabic.
•  
• Understanding the 'Wiring' of the Brain
•  
• Understanding the Difficulties of Many-Objective Optimization

• Voice over IP and over Wireless/Wired Local Area Networks (VoWLAN).

• Workflow patterns for scientific collaborations