November 12 2018 / Rating: 6.3 / Views: 514

Computer science phd thesis - Doctoral Dissertations- Computer Science

1995 Chapman, SJ 2010 Similarity approaches for information integration Chiu, F. B dzie to pierwsze z trzech ostatnich star gda szczan w rundzie zasadniczej obecnego sezonu!

University of Bristol, Department of Computer Science. Formal Models of Binding Processes in Control Programs Victor L. Efficient Light and Sound Propagation in Refractive Media Using Analytic Ray Curve Tracing Dinesh Manocha Efficient Object Sharing in Shared-Memory James Anderson Architectures for Real-Time Image Generation Henry Fuchs Computation of Object Cores from Grey-level Images Stephen M. 2010 Temporal Episodic Memory Model Towards Proactive Case-based Automatic Speech Recognition Mairesse, F. Wheeler 1990-04-01 1993-05-01 1993-07-01 Richard S Crouch The Temporal Properties Of English Conditionals And Modals Dr S. Needham 1983-10-01 1990-11-01 1991-03-01 Bhaskar R Harita Dynamic bandwidth management 1986-10-01 1990-11-01 1991-03-01 Susan E Thompson A storage service for structured data 1986-10-01 1990-11-01 1991-02-01 Raphael Yahalom Managing the order of transactions in data systems 1986-01-01 1990-10-01 1991-01-01 Kamal Chaudhary VLSI Routing 1987-10-01 1990-09-01 1991-01-01 Karen L Wrench A distributed and-or parallel Prolog network 1987-01-01 1990-08-01 1990-12-01 Donald A Gaubatz Logic Programming Analysis Of Asynchronous Digital Circuits Prof. Pulman 1994-10-01 1997-09-01 1998-05-01 Stefan G Hild Managing mobile connections 1994-10-01 1997-09-01 1998-02-01 Christopher T Faigle DMS-Splines and radiosity 1994-04-01 1997-09-01 1998-02-01 Feng Shi An architecture for scalable and deterministic video servers 1993-10-01 1997-09-01 1997-11-01 Stanley J Mrose curve and surface design theory and application of spline wavelets 1994-10-01 1997-08-01 1998-01-01 Daniel L Gordon Scheduling in optically based ATM switching fabrics 1992-10-01 1997-08-01 1998-01-01 Xiaobao Chen An end-to-end communication support architecture for multi-service applications 1993-10-01 1997-08-01 1997-12-01 Timothy J Mills Content modelling in multimedia information retrieval systems the Cobra retrieval system 1994-10-01 1997-07-01 1998-02-01 Joshua X Ross An evaluation based approach to process calculi 1992-10-01 1997-06-01 1998-12-01 Ian Jackson Who goes here?

author title supervisor started submitted approved thesis Evaluation of decentralized email architecture and social network analysis based on email attachment sharing 2013-10-01 2017-08-03 2017-10-17 Ziqiang Feng Power control and resource allocation for wireless networks 2013-10-01 2017-07-12 2017-10-17 Gaze estimation with graphics 2013-10-01 2017-05-02 2017-07-04 Content selection for timeline generation from single history articles 2012-04-17 2017-03-31 2017-10-17 Hierarchical statistical semantic translation and realization 2013-10-01 2017-03-07 2017-07-04, Heterogeneous resource mobile sensing computational offloading, scheduling and algorithm optimisation 2013-10-01 2017-01-05 2017-03-07 Interactive analytical modelling 2013-10-01 2016-12-01 2017-03-07 Latency-first datacenter network scheduling 2012-01-05 2016-11-13 2017-01-17 of Internet censorship from multiple perspectives 2013-10-01 2016-11-01 2017-01-17, Algebraic subtyping 2012-10-01 2016-09-30 2017-01-17 When Google search helps unemployment and other cases for a theory of everday media 2012-10-01 2016-09-26 2016-11-29 Grammatical error correction in non-native English 2013-10-01 2016-09-23 2017-01-17 A multilayer approach to geo-social networks models, metrics and applications 2013-04-17 2016-09-23 2016-11-29 Annalisa Occhipinti Computational models of cancer for survival prediction 2013-10-01 2016-09-21 2017-01-17 Chao Gao Signal maps for smartphone localisation 2013-10-01 2016-08-03 2016-11-29, ASAP As Static As Possible memory management 2012-10-01 2016-07-29 2016-10-18, Trimmed NURBS to untrimmed subdivision conversion for watertight 2012-10-01 2016-07-18 2016-10-18 Deep embodiment Grounding semantics in perceptual modalities 2012-10-01 2016-07-08 2016-10-18, Representing linguistic meaning in distributed memories from words to sentences and beyond 2012-10-01 2016-06-16 2016-11-29 Context-aware programming languages 2011-01-05 2016-05-31 2017-01-17, Access control for network management 2010-10-01 2016-05-19 2016-10-18 Muhammad Umar Janjua Static Program Correction Analysis and 2003-10-01 2016-05-16 2017-01-17 3D Shape Retrieval 2012-10-01 2016-05-16 2016-10-18 computing 2011-10-01 2016-04-20 2016-10-18 Probabilistic latent variable modelling for integrated biological data 2012-10-01 2016-04-15 2016-10-18 Xin Ding On enhancing compressive sensing for signals causal and batch approaches 2012-04-17 2016-04-08 2016-10-18 Kumar Sharad Learning to de-anonymize social networks 2012-06-22 2016-03-21 2016-06-28 Exploring new attack vectors for the exploitation of smartphones 2012-04-17 2016-02-01 2016-05-03 Thomas Pasquier Towards practical information flow control and audit 2012-10-01 2016-01-29 2016-05-03, Yu Wang Structured sparsity learning- taming the penalty under structure 2012-01-05 2016-01-27 2016-05-03 Operating system support for in-program Operating system support for in-program 2011-10-01 2016-01-04 2016-05-03 Marco Ferreira Devesas Campos Mendler induction and classical logic 2011-10-01 2015-12-14 2016-03-08 Forgoing hypervisor fidelity for measuring virtual machine performance 2012-10-01 2015-11-30 2016-03-08 Automated inference of complex emotions from facial expressions and head gestures 2010-10-01 2015-11-11 2016-01-19 Operating system support for computing 2009-10-01 2015-10-23 2016-03-08 Yoli Shavit Algorithms for reconstructing the 3D genome architecture 2012-10-01 2015-10-12 2015-12-01 Security metrics for computer systems 2012-10-01 2015-09-30 2016-03-08 William Sonnex Fixed-point promotion taking the induction out of automated induction 2011-10-01 2015-09-30 2016-01-19 Niall Murphy Discovering and exploiting parallelism in DOACROSS loops 2011-10-01 2015-09-30 2016-01-19, In situ gait analysis during steady state running using foot mounted sensors 2011-10-01 2015-09-30 2016-01-19 Hardware support for 2011-10-01 2015-09-30 2015-12-01 Raoul-Gabriel Urma Programming language evolution 2011-10-01 2015-09-21 2016-03-08 Zongyan Huang Machine learning and algebra 2011-10-01 2015-08-24 2015-10-20, A Verified Implementation of ML 2011-10-01 2015-05-14 2015-12-01, Alistair Stead Using multiple to develop notational expertise in programming 2011-10-01 2015-05-14 2015-10-20 Joonwoong Kim Anonymous communication in DTN 2005-10-01 2015-05-06 2015-10-20 The language of collaborative tagging 2011-10-01 2015-04-16 2015-06-30, Alexander Katovsky Games as Factorization Systems 2010-10-01 2015-04-10 2015-10-20 Design of mobile communications protocols 2011-10-01 2015-03-16 2015-10-20 Claudio Angione Computational methods for multi-omic models of cell metabolism and their importance for theoretical computer science 2011-10-01 2015-03-05 2015-05-05 Vaiva Imbrasaite Continuous dimensional emotion tracking in music 2011-10-01 2015-01-21 2015-03-10 Analysis of hand-over-face gestures in natural expressions 2010-10-01 2015-01-15 2015-05-05 Lech Swirski Gaze estimation on glasses-based stereoscopic displays 2010-10-01 2014-12-22 2015-03-10 Error detection in content word combinations 2011-10-01 2014-12-12 2015-05-05, Mohammad Ali Moni Clinical bioinformatics and computational modelling for diseas comorbidities diagnosis 2011-05-05 2014-11-20 2015-01-20 Rubin Xu Improving application on stock Android 2010-10-01 2014-10-27 2015-01-20 Steven Marsh Efficient programming models for 2010-10-01 2014-09-30 2015-01-20 William Denman Automated verification of continuous and hybrid dynamical systems 2010-10-01 2014-09-25 2015-01-20, Peter Calvert parallelism via the Join Calculus 2010-10-01 2014-09-24 2015-03-10, Zhen Bai Augmented reality interfaces for symbolic play in early childhood 2010-10-01 2014-09-17 2015-01-20 Andreas Koltes Reconfigurable memory systems for embedded 2010-10-01 2014-09-16 2014-12-02 Efficient multivariate statistical techniques for extracting secrets from electronic devices 2010-10-01 2014-07-16 2014-10-21, The C11 and C 11 Concurrency Model 2009-01-05 2014-06-20 2014-10-21 Henrik Lieng Surface modelling for 2D imagery 2011-10-01 2014-06-17 2014-10-21, Charalampos Rotsos Scalable Software Defined Networking 2009-04-10 2014-06-09 2014-10-21 The role of space in social groups Analysis and technological applications 2011-10-01 2014-06-06 2014-10-21 Janina Voigt Aliasing contracts a unifying approach to alias protection 2011-10-01 2014-05-19 2014-10-21 Steffen Loesch Program equivalence in function via nominal Scott domains 2010-10-01 2014-05-19 2014-10-21 Wireless communications in vehicles 2010-10-01 2014-05-06 2014-10-21 Higher-order proof translation 2008-10-01 2014-04-14 2014-07-01 CHERI A RISC capability machine for practical memory safety 2010-10-01 2014-03-07 2014-05-06 Agata Brajdic indoor pedestrian localisation with smartphones 2009-10-01 2014-03-01 2014-07-01 Syed Ali Mustafa Zaidi Accelerating Control-Flow Intensive Code in Spatial Hardware 2009-10-01 2014-02-28 2014-07-01 Christopher Smowton I O optimisation and elimination via partial evaluation I O optimisation and elimination via partial evaluation 2009-10-01 2014-02-11 2014-07-01 Matej Urbas Mechanising heterogeneous reasoning in theorem provers 2009-10-01 2013-12-11 2014-07-01 Thomas Lippincott Unsupervised approaches to syntactic verb frame acquisition for biomedicine 2009-10-01 2013-11-26 2014-03-11 Jukka Lehtosalo Adapting Adapting dynamic languages to mixed dynamic and static typing Adapting dynamic languages to mixed dynamic and static typing Adapting dynamic languages to mixed dynamic and static typing 2009-10-01 2013-09-30 2014-01-21 Matko Botincan Formal verification- driven synthesis 2009-10-01 2013-09-27 2014-01-21 Awais Athar Sentiment analysis of scientific citations 2009-10-01 2013-09-27 2014-01-21 Automatic facial expression analysis 2009-10-01 2013-09-26 2014-01-21, Steven Smith Raft Automated techniques for diagnosing, reproducing, and fixing concurrency bugs Dr S.

Mago Analyzing the Behavior of Loop Nests in the Memory Hierarchy Methods, Tools and Applications Siddhartha Chatterjee Class-Based Thresholds Lightweight Active Router-Queue Management for Multimedia Networking Kevin Jeffay Graph Reduction Without Pointers Gyula A. Included in the packet is the Thesis Reviewer s Report Form along with the Application for Degree.

Theses produced by students in the CSSE department. CSE 500-level courses may be used to satisfy the advanced coursework 500-level requirement.

program, applicants should normally hold a master s degree in Computer Science or a closely related area, from a university, but exceptional students can be admitted to the Ph. 2002 Automatic Voicemail Summarisation for Mobile Messaging T.

Illustrating Transparency Communicating the 3D Shape of Layered Transparent Surfaces via Texture Henry Fuchs and Stephen M.

Wiseman 1990-10-01 1994-05-01 1994-05-01 Narm Hee Lee Routing in high speed integrated services networks Prof. In it, you ll get The week s top questions and answers Important community announcements Questions that need answers site design logo 2017 Stack Exchange Inc user contributions licensed under with. Our graduates take challenging positions in industry or take academic positions at universities and research labs. Lastra Hardware Design Optimization for Human Motion Tracking Systems Greg Welch Development and Evaluation of an Air-to-Air Combat Debriefing System Using a Head-Mounted Display Frederick P. The CS Department formatting requirements are the same as the Thesis Office requirements. Department of Computer Science, University of Bristol. Singh Registration Errors in Augmented Reality Systems Frederick P.

Richard Pascoe PHD 02 09 Understanding and Improving Navigation Within Electronic Documents Jason Alexander PHD 01 08 AR Magic Lenses Addressing the Challenge of Focus and Context in Augmented Reality Julian Looser PHD 02 08 Sequential Analysis of Quantiles and Probability Distributions by Replicated Simulations Mirko Eickhoff PHD 03 08 Understanding Remote Collaboration in Video Collaborative Virtual Environments J org Hauber PHD 01 07 Towards Collaborative Software Engineering Carl Cook PHD 02 07 Widening the Knowledge Acquisition Bottleneck for Intelligent Tutoring Systems Pramuditha Suraweera supervisor Tanja Mitrovic PHD 03 07 Understanding and Improving Software Through Static Software Analysis Warwick Irwin PHD 04 07 A Collaborative Intelligent System for Learning Analysis and Design using UML Nilufar Baghaei supervisor Tanja Mitrovic PHD 05 07 Sequential and Parallel Algorithms for Generalized Maximum Subarray Problem Sung Eun Bae PHD 01 06 The Temporal Organisation of Documents and Versions A User-Centred Investigation Michael JasonSmith Supervisors Associate Professor Andy Cockburn Associate Professor Tim Bell PHD 01 05 Collaborative and Programming Environments for Children Timothy Nicol Wright PHD 01 04 Improved Congestion Control for Packet Switched Data Networks and the Internet Aun Haider Supervisors Associate Prof.

Needham 1988-10-01 1992-08-01 1992-10-01 John Michael Levine A flexible bidirectional dialogue system Dr S. It should be precise and convincing to the examiners that the candidate is proposing a novel area of research and the goal is achievable.

, which 12 of those credit hours must be CS 500-level coursework. 2003 Speaker Verification using support vector machines discriminative methods for speech recognition Weatherley, S. 2012 Terminology Recognition in the Aerospace Domain By, T.

PhD candidates are encouraged to attempt the Thesis Proposal earlier than the specified period, eg by their 5th semester. Feature Detection for Improving Geometric Reconstruction Jan-Michael Frahm How To Efficiently Implement an OSHL-Based Automatic theorem Prover David Plaisted Toward Robust Video Event Detection and Retrieval Under Adversarial Constraints Jan-Michael Frahm Fabian Monrose Propositional Theorem Proving by Semantic Tree Trimming for Hardware Verification David A. 2010 Cue-based dialogue act classification Williams, G.

Needham 1980-10-01 1988-02-01 1988-07-01 Alberto Camilleri Executing behavioural definitions in higher order 1984-10-01 1988-02-01 1988-06-01 Thomas James W Clarke Support for heap-based programming Dr A. 2002 Fault Recovery of Broadband Cable Networks Setzer, A.

James, 1975 A Dynamic-type Programming Language that Allows Type Control Frederick P.

2011 2 11 2011- Author- Thesis Advisor Thesis Ph. Ian Witten PHD 02 03 Modelling of Self-Similar Teletraffice for Simulation Hae-Duck Joshua Jeong Supervisors Prof.

Graduates of other departments or schools, whose primary adviser was a member of the Department of Computer Science, are also listed.

2015 5 15 2015- Author- Thesis Advisor- Thesis Advisor Thesis Ph. Courses in computer science numbered CS 500-CS590 or CS 598 are considered advanced coursework. 2008 Mind the Gap Bridging from text to ontological Knowledge Brown, G. Prins Registration and Tracking of Vascular Stuctures using Calibrated Biplane Fluoroscopy Henry Fuchs Flexible Sharing of Distributed Objects Based on Programming Patterns Prasun Dewan Biomedical Engineering and Mathematics, UNC-Chapel Hill Automatic Landmark Identification in Orthodontic Cephalometric Radiographs Machine Vision James Coggins Atlas via Object Models Stephen M. 2000 Unsupervised Lexical Learning as Inductive Inference Kolluru, B.

Clocksin 1988-10-01 1992-03-01 1992-04-01 Timothy D Wilson Increasing the performance of storage services for local area networks 1986-10-01 1992-02-01 1992-06-01 Chu Suan Ang Continuous media in fast networks 1987-10-01 1992-01-01 1992-05-01 Rachel Cardell-Oliver The formal verification of hard real-time systems 1988-10-01 1992-01-01 1992-04-01 Xiaofeng Jiang Multipoint digital video communications 1988-10-01 1992-01-01 1992-03-01 Siu Chi Hsu Computer support for large character set languages Dr N.

University of Bristol, Department of Computer Science, Faculty of Engineering. Doctoral Dissertations Following is a complete list of doctoral graduates of the Department of Computer Science, with their dissertation titles. Real-Time Physically Based Sound Synthesis and Application in Multimodal Interaction Ming Lin Real-world Evaluation of Techniques to Mitigate Impact of Losses on TCP Performance Jasleen Kaur Efficiency of Partial Synchrony and Resource Allocation in Distributed Systems Jennifer Welch Dynamic Explorations of Multiple Variables in a 2D Space Frederick P.

1992 Four New Algorithms For Visualisation Hall, M. Needham 1989-10-01 1996-01-01 1997-07-01 Andrew J Kennedy Programming languages and dimensions 1992-01-01 1995-11-01 1996-03-01 Sanjay Saraswat Performance analysis of Delphi machine Dr W.

Formal Models of Binding Processes in Control Programs Victor L.

Tags: #computer science phd thesis, #computer science

New essay: