ProQuest Subject Index - Computer science at STANFORD UNIVERSITY

TOP >> STANFORD UNIVERSITY >> Computer science

Browse Institutions

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

Programming with transactional memory	Formal verification along with design for transactional models

How the brain might work: A hierarchical and temporal model for learning and recognition	Models and metrics for energy-efficient computer systems

Atlas: Software development environment for hardware Transactional Memory	Cooperation in competition: Efficiently representing and reasoning about coalitional games

Design and analysis of privacy policies	Designing an effective hybrid Transactional Memory system

Motion planning for legged and humanoid robots	Load balancing and parallelism for the Internet

Learning from noisy data with applications to filtering and denoising	Boolean analysis of high-throughput biological datasets

Sparse regression with exact clustering	Algorithms for next-generation sequencing

Measuring and modeling the web	Apprenticeship learning and reinforcement learning with application to robotic control

Peephole superoptimization	Interactive visual prototyping of computer vision applications

Network routing optimization: Theory and practice	IPSOL: An interior point solver for nonconvex optimization problems

Methods for large-scale convex optimization problems withl 1 regularization	From uncertainty to bugs: Inferring defects in software systems with static analysis, statistical methods, and probabilistic graphical models

Machine learning approaches to understanding the genetic basis of complex traits	PQL: A program query language

Scalable resource control in large-scale computing/networking infrastructures	Convergence to and quality of equilibria in distributed systems

Uncertainty quantification for unsteady fluid flow using adjoint-based approaches	Algorithms for biological network alignment

Topology in sensor networks	Graphical models for high-level computer vision

Meshless methods for computational fluid dynamics	Robot haptics: Object recognition through dynamic exploration

Analyzing and improving local search: K-means and ICP	Trade-offs in cost sharing

4D and vision-based framework for infrastructure maintenance management	Epistemic dynamics and protocol information

Architectures for transactional memory	Characterization of protein function using automated computational methods

Mechanisms to manage incentives in online systems	Symbolic execution for testing complex software

Communication in networks for coordinating behavior	Discriminative structured models for biological sequence analysis

A fully homomorphic encryption scheme	Models and algorithms for PageRank sensitivity

Improving browser security policies	Fast algorithms for sparse matrix inverse computations

Robust algorithms for infrastructure establishment in wireless sensor networks	Monocular depth perception and robotic grasping of novel objects

On the design and deployment of wireless mesh networks	Manipulation robustness of collaborative filtering systems

Backtracking events as indicators of software usability problems	Managing uncertain data

Psychological ownership and ownership markers in collaborative working environment	Improving the performance of peer-to-peer systems

Stationary fields in object-oriented programs