test Browse by Author Names Browse by Titles of Works Browse by Subjects of Works Browse by Issue Dates of Works

Advanced Search
& Collections
Issue Date   
Sign on to:   
Receive email
My Account
authorized users
Edit Profile   
About T-Space   

T-Space at The University of Toronto Libraries >
Faculty of Arts and Science >
Department of Computer Science >
Department of Computer Science - Doctoral theses >

Browsing "Department of Computer Science - Doctoral theses" by Title

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 2 to 21 of 70
PreviewIssue DateTitleAuthor(s)
13-Apr-2010Abstraction for Verification and Refutation in Model CheckingWei, Ou
19-Jan-2009Acquiring and Reasoning about Variability in Goal ModelsLiaskos, Sotirios
23-Feb-2010Algorithms in 3D Shape SegmentationSimari, Patricio Dario
19-Jan-2009Applications of Games to Propositional Proof ComplexityHertel, Alexander
12-Aug-2010Applications of Generic Interpolants In the Investigation and Visualization of Approximate Solutions of PDEs on Coarse Unstructured MeshesGoldani Moghaddam, Hassan
15-Jul-2009Approximation and Refinement Techniques for Hard Model-checking ProblemsBobaru, Mihaela
30-Aug-2010Architectural Introspection and ApplicationsLitty, Lionel
3-Mar-2010Astrometry.net: Automatic Recognition and Calibration of Astronomical ImagesLang, Dustin
19-Jan-2009Behavioural Model FusionNejati, Shiva
31-Aug-2010Bone Graphs: Medial Abstraction for Shape Parsing and Object RecognitionMacrini, Diego
19-Jan-2009Clause Learning, Resolution Space, and PebblingHertel, Philipp
3-Mar-2010Composable, Distributed-state Models for High-dimensional Time SeriesTaylor, Graham William
1-Sep-2010Constructions, Lower Bounds, and New Directions in Cryptography and Computational ComplexityPapakonstantinou, Periklis
13-Aug-2010Data Quality By Design: A Goal-oriented ApproachJiang, Lei
26-Feb-2009DescribeX: A Framework for Exploring and Querying XML Web CollectionsRizzolo, Flavio Carlos
31-Jul-2008Design Guidelines for Reducing Redundancy in Relational and XML DataKolahi, Solmaz
26-Feb-2009The Design of Table-centric Interactive SpacesWigdor, Daniel
18-Feb-2010A Design-rule-Based Constructive Approach To Building Traceable SoftwareGhazarian, Arbi
1-Sep-2010Direct Pen Input and Hand OcclusionVogel, Daniel
30-Jul-2009earPod: Efficient Hierarchical Eyes-free Menu SelectionZhao, Shengdong
Showing results 2 to 21 of 70