ProQuest Subject Index - Computer science at UNIVERSITY OF CALIFORNIA, BERKELEY

ProQuest^® Dissertations & Theses

The world's most comprehensive collection of dissertations and theses. Learn more...

TOP >> UNIVERSITY OF CALIFORNIA, BERKELEY >> Computer science

Browse Institutions

You are viewing titles for UNIVERSITY OF CALIFORNIA, BERKELEY in the subject Computer science available through the UMI Dissertations & Thesis Gradworks site.

A dynamic theory of learning	A framework for compositional design and analysis of systems

A syllable, articulatory-feature, and stress-accent model of speech recognition	A unifying link abstraction for wireless sensor networks

Actor-oriented programming for wireless sensor networks	Adapting learning techniques for visual recognition

An activity based approach to context-aware computing	An architecture for privacy-sensitive ubiquitous computing

Anonymous routing in structured peer-to-peer overlays	Application driven sensor network architecture

Application specific virtual machines: Operating system support for user-level Sensornet programming	Audio segmentation for meetings speech processing

Augmenting ultrasound data	Authentication for humans: The design and evaluation of usable security systems

Auto-tuning performance on multicore computers	Automated music analysis using dynamic graphical models

Automatic action advisor for storage system performance management	Automating malware detection by inferring intent

BORPH: An operating system for FPGA-based reconfigurable computers	Belief propagation algorithms for constraint satisfaction problems

Best-fit constructional analysis	Black-box complexity of encryption and commitment

Bridging the gap between people and policies in security and privacy	Building interpolating and approximating implicit surfaces using moving least squares

Building reliable voting machine software	Calculations of quantum error correction and fault tolerance thresholds

Combinatorics of Viterbi sequences	Comparative and evolutionary analysis of cellular pathways

Compile-time schedulability analysis of communicating concurrent programs	Complexity of game dynamics

Computational analyses of eukaryotic gene evolution	Concurrent hierarchical reinforcement learning

Constructing grammar: A computational model of the emergence of early constructions	Contextual bootstrapping for grammar learning

Cooperative bug isolation	D-Trigger: A general framework for efficient online detection

Data Triage	Data-centric scientific workflow management systems

Decentralized security mechanisms for routing protocols	Dependent types for assembly code safety

Dependent types for safe systems software	Deploying concurrent applications on heterogeneous multiprocessors

Design and evaluation of distributed wide-area on-line archival storage systems	Design automation for streaming systems

Design collaboration as a framework for building intelligent environments	Design methodology for run-time management of reconfigurable digital signal processor systems

Design of a multi-channel medium access control protocol for ad-hoc wireless networks	Designing and evaluating glanceable peripheral displays

Development and evaluation of a haptic rendering system for virtual design environments	Distributed OS for sensor networks

Easily adaptable handwriting recognition in historical manuscripts	Efficient filtering support for high-speed network intrusion detection

Efficient motor control learning	Electro micro-metrology

End-user program analysis	End-user service composition in ubiquitous computing environments

Ensemble feature selection for multi-stream automatic speech recognition	Ensuring data integrity in sensor-based networked systems

Error-detection-based quantum fault tolerance against discrete Pauli noise	Evolution, modularity, and dynamics of gene regulatory networks

Exceptional situations and program reliability	Expensive functions in continuous queries: Opening up the 'black box'

Exploiting words and pictures	Extraction of semantic relations from bioscience text

Finding good features for object recognition	Floating-point to fixed-point conversion

Fluid animation from simulation on tetrahedral meshes	From range images to three-dimensional models

Games for the verification of timed systems	Generating surface crack patterns

Geometric embeddings, geometric algorithms, and combinatorial optimization	Head-mounted displays and new technologies for firefighting and rescue in a post 9/11 world

High speed deep packet inspection with hardware support	High-speed Rapid-Single-Flux-Quantum multiplexer and demultiplexer design and testing

Hybrid artist- and data-driven techniques for character animation	Identity-based routing

Image registration and statistical analysis for quantitative in vivo spin-lock magnetic resonance imaging of the intervertebral disc response to compression	Implementations of the pseudoflow algorithm for maximum flow, bipartite matching, flows in unit capacity networks, and parametric maximum flow

Implementing certified programming language tools in dependent type theory	Improving access to remote storage for weakly connected users

Improving dependability of commodity operating systems with program analysis	Improving tetrahedral meshes

Improving the robustness, manageability, and performance of Internet-scale applications via query and actuation	Improving visibility of distributed systems through execution tracing

K-Sketch: A kinetic sketch pad for novice animators	Kernel optimization for support vector machines: Application to speaker verification

Learning blind source separation	Learning discriminant narrow-band temporal patterns for automatic recognition of conversational telephone speech

Learning distance functions for exemplar-based object recognition	Learning in decentralized systems: A nonparametric approach

Limits on efficient computation in the physical world	Local computation and reducibility

Low-complexity vector microprocessor extension	MILLEE: Mobile and immersive learning for literacy in emerging economies

Maximizing performance in long distance wireless networks for developing regions	Measuring the ecological validity of grouping and figure-ground cues

Minimizing curvature variation for aesthetic surface design	Model selection through sparse maximum likelihood estimation for multivariate Gaussian or binary data

Modeling cloth from examples	Multipath unicast and multicast video communication over wireless ad hoc networks

New approximation algorithms and structural results for oblivious multicommodity flow and zero-extension	Nonparametric Bayesian models for machine learning

On algorithms for technology mapping	On efficient software realization of sequential machines

OpenDHT: A public DHT service	Operational semantics of hybrid systems

Optimization and reconstruction over graphs	Optimizing partitioned global address space programs for cluster architectures

P4P: A practical framework for privacy-preserving distributed computation	Pay-as-you-go data cleaning and integration

Planning and optimization algorithms for image-guided medical procedures	Policies in routing

Posterior decoding methods for optimization and accuracy control of multiple alignments	Predicting protein molecular function

Privacy preserving joins on secure coprocessors	Probabilistic models for mid-level vision

Probabilistic models of text and images	Probabilistic models with unknown objects

Probabilistic reachability for Stochastic Hybrid Systems: Theory, computations, and applications	Program analysis using random interpretation

Program analysis with regularly annotated constraints	Program manipulation via interactive transformations

Program synthesis by sketching	Psychophysics & computational modeling of visual motion perception

Quality of service in ad-hoc networks	Quantum algorithms and the Fourier transform

Quantum communication and information processing	Query processing for large-scale XML message brokering

Query processing over live and archived data streams	Refinement-based program analysis tools

Reinforcement learning in large or unknown MDPs	Replay debugging for distributed applications

Resampling methods for protein structure prediction	Revenue maximization in online auctions

Robust peer-to-peer protocols via randomized forwarding	Robust reputations for peer-to-peer markets

Scheduling and fairness in multi-hop wireless networks	Self-organizing algorithms for controlling network feature map probability distributions, and synthesizing multiple robust controllers

Semantic foundation of the tagged signal model	Shape matching and object recognition

Shared query processing in data streaming systems	Sound synthesis from shape-changing geometric models

Spoken language support for software development	Statistical software debugging

Stochastic o-regular games	Streaming source coding with delay

Structured and parameter-dependent eigensolvers for simulation-based design of resonant MEMS	Supporting asynchronous collaboration for interactive visualization

Supporting early-stage ubicomp experimentation	Synchronous reactive communication: Generalization, implementation, and optimization

TIPI: Tiny Instruction Processors and Interconnect	Task allocation and scheduling of concurrent applications to multiprocessor systems

Tetrahedral mesh generation with good dihedral angles using point lattices	The Integrated Communication 2 Draw

The complexity of Nash equilibria	The complexity of massive data set computations

The design and evaluation of a query processing architecture for sensor networks	The design and evaluation of network power scheduling for sensor networks

The design and implementation of declarative networks	The design, implementation, and evaluation of a multicast session layer

The relation between worst case and average case complexity for NP	Theory and practice of non-intrusive active network measurements

This might be a game: Ubiquitous play and performance at the turn of the twenty-first century	Three variations on the theme of comparative genomics: Metagenomics, mitochondrial gene rearrangements and microRNAs

Topics in Random Forests	Towards efficient distribution of high-volume content

Towards robust overlay networks	Tracking and texturing liquid surfaces

Tracking people and recognizing their activities	Types for deterministic concurrency

Understanding the prediction gap in multi-hop localization	Using criticality to attack performance bottlenecks

Using design patterns and layers to support the early-stage design and prototyping of cross-device user interfaces	Using the Web as an implicit training set: Application to noun compound syntax and semantics

Verification of pointer-intensive programs	Verifying security properties in electronic voting machines

Verifying security properties using type-qualifier inference	Whole-genome alignments and polytopes for comparative genomics

Wireless Sensor Networks for High Fidelity Sampling	Wireless network information flow: A deterministic approach

Wireless sensor networks: Energy efficiency, delay guarantee and fault tolerance