PhD Thesis Defenses

2011

Zainab Al-Jazzaf - November 21, 2011: Trust-Based Service Selection
Yu Liu - Octobar 21, 2011: A Problem in Graphics and Vision via Graph-Cut based Energy Optimization
Guo (Eric) Mei - September 16, 2011: Improving Search Engine Results by Query Extension and Categorization
Andrew Delong - September 15, 2011: Advances in Graph Cut Optimization: Multi-Surface Models, Label Costs, and Hierarchical Costs
Jun Du - September 9, 2011: Active Learning with Generalized Queries
Bo Cui - August 18, 2011: Some Single and Combined Operations on Formal Languages: Algebraic Properties and Complexity
Yehia Kotb - August 17, 2011: WORKFLOW-BASED COOPERATIVE MULTI-AGENT SYSTEMS
Syed Shariyar Murtaza - March 25, 2011: Finding Faulty Functions From The Traces of Field Failures
Chern Har Yew - February 2, 2011: An Architecture for Supporting Computational Trust Formation
Wei Pan - January 25, 2011: Algorithmic Contributions to the Theory of Regular Chains

Yuan Gao - Decemeber 16, 2010: Advanced Topics on State Complexity of Combined Operations
Zude Li - October 29, 2010: Characterizing and Diagnosing Architectural Degeneration of Software Systems from Defect Perspective
Remo Ferrari - September 20, 2010: Interaction Between Requirements Engineering And Systems Architecting: An Emerging Theory
Halina Kaminski - September 7, 2010: Service Level Agreement Negotiation Manager (SLAM4N)
Shinnosuke Seki - August 9, 2010: DNA Watson - Crick Complementarity in Computer Science
Baozhen Shan - April 19, 2010: Glycan De Novo Sequencing With Tandem Mass Spectra
Lei Xin - March 19, 2010: Probability Scoring System for De Novo And Protein Identification with Tandem Mass Spectrometry
Brad Simmons - February 1, 2010: Strategy Trees: A Novel Approach to Policy-Based Mgmnt
Raphael Bahati - January 29, 2010: Towards Adaptive Policy-Based Autonomic Management

Liviu-Cornel Tinta - October 21, 2009: String Repetitions: Combinatorics and Algorithms
Maia Hoeberechts - October 13, 2009: On the Foundations of Computability Theory
Abdelnasser Ouda - September 9, 2009: Towards Automating Policy Based Management Systems
Franziska Biegler - September 2, 2009: Decomposition and Descriptional Complexity of Shuffle on Words and Finite Languages
Qinghui Liu - August 18, 2009: Web Latency Reduction with Prefetching
Xin Li - April 20, 2009: Toward High-performance Polynomial System Solvers Based on Triangular Decompositions
Hai-Ning Liang - February 12, 2009: Interaction Design and Visual Cognitive Tools: Enabling Effective Human-Information Interaction

He Wang - December 11, 2008: Fine Grained Role Graph Model
Jinhui Qin - December 8, 2008: Job Co-Allocation Strategies in Multiple HPC Clusters
Geoff Wozniak - August 18, 2008: Structuring Data via Behavioural Synthesis
Akbar Siami Namin - August 18, 2008: Mutation Analysis in Software Testing
Shihyen Chen - August 15, 2008: Topics in Computing Similarity and Distance
Yuan Xue - April 3, 2008: Key Management Schemes for Distributed Sensor Network

Xiaofang (Maggie) Xie - December 14, 2007: On the Recognition of Handwritten Mathematical Symbols
Sorin Constantinescu - December 7, 2007: On the Complexity of Strings
Yuzhen Xie - September 4, 2007: Fast Algorithms, Modular Methods, Parallel Approaches and Software Engineering for Solving Polynomial Systems Symbolically
Laurentiu Dragan - September 4, 2007: On Measuring and Optimizing the Performance of Parametric Polymorphism
Jun Yan - August 22, 2007: Machine Learning for Stock Selection
Qing Zhao - August 9, 2007: SC-expressions in Object-Oriented Languages
Shengli Sheng - August 7, 2007: Cost Sensitive Learning with Data Acquisition
Qian Zhao - May 7, 2007: SmArt Architecture: Semantic Agreement Aware Management of Services
Amr Abdel-Dayem - April 30, 2007: Computer Aided Diagnostic for Carotid Artery Ultrasound and Breast Mammogram
Elvis Vieira - January 19, 2007: Smooth Congestion Control Algorithms

Qufei Wang - December 14, 2006: WLRU CPU Cache Replacement Algorithm
Baozhong Tian - December 13, 2006: Reproduction of Sound Signal from Gramophone Records using 3D Scene
Wael Hosny Fouad Aly - August 28, 2006: Closed Loop Feedback Control for Data Centres that Support Differentiated Services
Jin Huang - July 7, 2006: Performance Measures of Machine Learning
Benjamin Stephenson - May 8, 2006: Optimizing the Java Virtual Machine Instruction Set by Despecialization and Multicode Substitution
Christopher Power - April 13, 2006: Multi Modal Exploration
Nicolae Santean - April 10, 2006: Selected Topics on Sequential Machines

Elena Losseva - December 8, 2005: Optimal Methods of Encoding Information for DNA Computing
Cosmin Oancea - November 1, 2005: Parametric Polymorphism for Software Component Architectures
Juntao Ye - May 3, 2005: Computational Aspects of the Dynamics of Cloth
Jackson Carvalho - April 8, 2005: Mathematics as a Game of Types
Ian McQuillan - April 1, 2005: Computational Modeling of Genetic Processes

Abdelkader Ouda - December 16, 2004: Digital Watermarking Techniques For Image Security and Hidden Communications
Jim Morey - October 27, 2004: Designing Visually Rich Mathematical Investigation Tools for Repetitive Geometric Artifacts
Harry Keith Edwards - July 29, 2004: Using Existing Instrumentation for Transaction Generation and Performance Analysis in Distributed Systems
Mechelle Gittens - January 22, 2004: The Extended Operational Profile Model for Usage-Based Software Testing

Paul Andrei Paun - May 2, 2003: Unconventional Models of Computation: DNA and Mebrane Computing
Mark Daley - April 11, 2003: Computational Modeling of Genetic Processes in Stichotrichous Ciliates

Mark Eramian - September 4, 2002: Image Texture Analysis using Weighted Finite Automata
Yannis Chicha - August 30, 2002: Practical Aspects of Interacting Garbage Collectors
Michael Katchabaw - July 22, 2002: Quality of Service Resource Management
Charlotte Miller - June 4, 2002: Context Equivalence and Context-free Normal Forms
Kevin Kennedy - June 3, 2002: Intelligent Planning of Communicative Acts for Computer Animation Cinematography
Huajie Zhang - April 16, 2002: Learning Bayesian Networks: Representational Power and Algorithms
Tong Qiu - January 25, 2002: High Order Context Modeling Entropy Coding of Multimedia Data
Luiz Merkle - January 18, 2002: Disciplinary and Semiotic Relations across Human-Computer Interaction

Daniel Silver - June 26, 2000: Selective Transfer of Neural Network Task Knowledge

Also from this web page: