ProQuest Subject Index - Computer science at PRINCETON UNIVERSITY

TOP >> PRINCETON UNIVERSITY >> Computer science

Browse Institutions

You are viewing titles for PRINCETON UNIVERSITY in the Computer science available through the UMI Dissertations & Thesis Gradwoorks site

Energy conservation techniques in mobile delay-tolerant sensor networks	Exploring social networks in computer systems

Memory in media with manufacturing faults	Asymptotics of boosting, greedy learning algorithms, and wireless networks

Situation-aware optimizations in challenged networks	Analyzing security advice in functional aspect-oriented programming languages

Maximum entropy density estimation and modeling geographic distributions of species	Topology and function in protein interaction networks

Advances in 3D shape acquisition	Efficient algorithms using the Multiplicative Weights Update method

Aspects of network design	Analysis and visualization of large-scale gene expression microarray compendia

Linear logic and imperative programming	Computational study of the internal kink mode evolution and associated magnetic reconnection phenomena

Quadratic forms on graphs and their applications	Context-sensitive methods for learning from genomic data

Approximation algorithms for constraint satisfaction problems	Shape distinction for 3D object retrieval

Registration and matching of large geometric datasets for cultural heritage applications	Scalable isosurface visualization

Towards understanding application semantics of network traffic	Shape analysis with inductive recursion synthesis

Rethinking traffic management: Design of optimizable networks	The ChucK audio programming language. "A strongly-timed and on-the-fly environ/mentality"

Using structural information in machine learning applications	Global instruction scheduling for multi-threaded architectures

The velocity compiler: Extracting efficient multicore execution from legacy sequential codes	Reasoning about software in the presence of transient faults

Oracle semantics	Problems in the analysis of complex, high-dimensional datasets

Optimal network resource allocation for heterogeneous traffic	Nonconvex power control in multiuser communication systems

Non-local analysis of SDP-based approximation algorithms	Sublinear distributed reconstruction

Analysis of large genomic data collections	Virtualizing network file systems

The symmetry transform and its applications	Query-independent ranking for large-scale persistent search systems

Intelligent speculation for pipelined multithreading	Advances in edge-diffraction modeling for virtual-acoustic simulations

Algorithms for the identification of functional sites in proteins	Line drawings of 3D models

Rendering filters for controlling detail and creating effects	Ideals and reality: Adopting secure technologies and developing secure habits to prevent message disclosure

Investigating security failures and their causes: An analytic approach to computer security	Parallelization techniques with improved dependence handling

A principled approach to managing routing in large ISP networks	Towards securing interdomain routing on the Internet

Reducing memory requirements for routing protocols	Privacy-preserving collaborative anomaly detection

Progress on deciphering the retinal code	Scalable security architecture for trusted software

Analysis of global properties of shapes	Performance and energy optimizations for interconnection networks with system-level extensions

The approximation modality in models of higher-order types	Communication beyond words: Multimedia approaches to bridging language disabilities and barriers

Improving word-finding in assistive communication tools: A mixed-initiative approach	Decisions in distributed wireless networks with imprecise information

Energy efficiency in wireless networks	Statistical mechanics of disordered quantum optimization

Reinforcement learning without rewards	Channel coding: Non-asymptotic fundamental limits

Probabilistic Graphical Models for the Analysis and Synthesis of Musical Audio	Benchmarking modern multiprocessors

Efficient and comprehensible visualization of complex 3-D scenes	Devising effective similarity measures and learning algorithms for the study of metazoan gene expression

Real-time Human Interaction with Supervised Learning Algorithms for Music Composition and Performance	Extracting Moving People and Categorizing their Activities in Video

Efficient numerical calculation of MHD equilibria with magnetic islands, with particular application to saturated neoclassical tearing modes	fMRI "Mind readers": Sparsity, spatial structure, and reliability

PatchMatch: A Fast Randomized Matching Algorithm with Application to Image and Video	Distributed learning: Regression on attribute-distributed data and consensus clustering

Matching, archiving and visualizing cultural heritage artifacts using multi-channel images	Efficient algorithms for liquid chromatography coupled mass spectrometry based protein quantification

Understanding and Improving Modern Web Traffic Caching	A Primal-Dual Clustering Technique with Applications in Network Design

Minimizing wide-area performance disruptions in inter-domain routing	Scalable Management of Enterprise and Data-Center Networks

Sparsity regularization for learning projections and classification	Systematic model reduction for complex systems through data mining and dimensionality reduction

Reliable Internet Routing	Uncovering, Understanding, and Predicting Links

High-Dimensional Similarity Search for Large Datasets	Deterministic Compressed Sensing

Refactoring Router Software to Minimize Disruption	Game theory and optimization in boosting

Wide-area traffic management for cloud services	Collaborative and adaptive mobile device-resident service architectures

Network-based analysis of protein function	Similarity Search with Multimodal Data

A System for Flexible Parallel Execution	Fault Tolerant Architectures for On-Chip Networks

Control of Sensitive Data in Systems with Novel Functionality	Breaking Assumptions: Distinguishing Between Seemingly Identical Items Using Cheap Sensors

Large scale visual recognition	Privacy and Integrity in the Untrusted Cloud

Runtime speculative software-only fault tolerance	Modeling the impact of human mobility: Mobile devices as sensors and content vectors

Bridging the Memory-Storage Gap	Finding Dense Structures in Graphs and Matrices

Operational Refinement for Compiler Correctness	Extracting information from high-dimensional data: Probabilistic modeling, inference and evaluation

Content Conditioning and Distribution for Dynamic Virtual Worlds	Understanding resource usage and performance in wide-area distributed systems

Approximability and mathematical relaxations	Trace based analyses of parallel software

Learning with asymmetry, high dimension and social networks