ProQuest Subject Index - Computer science at UNIVERSITY OF CALIFORNIA BERKELEY

TOP >> UNIVERSITY OF CALIFORNIA BERKELEY >> Computer science

Browse Institutions

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

Exploiting words and pictures	Implementations of the pseudoflow algorithm for maximum flow, bipartite matching, flows in unit capacity networks, and parametric maximum flow

A design flow for the development, characterization, and refinement of system level architectural services	Improving access to remote storage for weakly connected users

Easily adaptable handwriting recognition in historical manuscripts	Policies in routing

Dependent types for assembly code safety	Hybrid artist- and data-driven techniques for character animation

Data-centric scientific workflow management systems	Designing and evaluating glanceable peripheral displays

Data Triage	Verifying security properties in electronic voting machines

Posterior decoding methods for optimization and accuracy control of multiple alignments	Robust reputations for peer-to-peer markets

Operational semantics of hybrid systems	Supporting early-stage ubicomp experimentation

Probabilistic reachability for Stochastic Hybrid Systems: Theory, computations, and applications	A framework for compositional design and analysis of systems

Streaming source coding with delay	On algorithms for technology mapping

Learning mixtures of distributions	Optimizing partitioned global address space programs for cluster architectures

Dependent types for safe systems software	P4P: A practical framework for privacy-preserving distributed computation

Learning distance functions for exemplar-based object recognition	D-Trigger: A general framework for efficient online detection

Psychophysics & computational modeling of visual motion perception	Image registration and statistical analysis for quantitative in vivo spin-lock magnetic resonance imaging of the intervertebral disc response to compression

Tetrahedral mesh generation with good dihedral angles using point lattices	Using the Web as an implicit training set: Application to noun compound syntax and semantics

Comparative and evolutionary analysis of cellular pathways	Learning in decentralized systems: A nonparametric approach

Optimization and reconstruction over graphs	BORPH: An operating system for FPGA-based reconfigurable computers

Distributed OS for sensor networks	Black-box complexity of encryption and commitment

Head-mounted displays and new technologies for firefighting and rescue in a post 9/11 world	Building reliable voting machine software

High-speed Rapid-Single-Flux-Quantum multiplexer and demultiplexer design and testing	Improving dependability of commodity operating systems with program analysis

Model selection through sparse maximum likelihood estimation for multivariate Gaussian or binary data	Stochastic omega-regular games

Actor-oriented programming for wireless sensor networks	Implementing certified programming language tools in dependent type theory

Predicting protein molecular function	Fluid animation from simulation on tetrahedral meshes

Generating surface crack patterns	Wireless Sensor Networks for High Fidelity Sampling

End-user service composition in ubiquitous computing environments	Task allocation and scheduling of concurrent applications to multiprocessor systems

Refinement-based program analysis tools	Reinforcement learning in large or unknown MDPs

Modeling cloth from examples	Adapting learning techniques for visual recognition

Identity-based routing	Learning data driven representations from large collections of multidimensional patterns with minimal supervision

Evaluating the security of machine learning algorithms	Conditional Bayes Nets and their applications

Data compression for maskless lithography systems: Architecture, algorithms and implementation	Constructing abelian varieties for pairing-based cryptography

A hierarchical coordination language for reliable real-time tasks	PIER: Internet scale P2P query processing with distributed hash tables

Upper and lower bounds for recursive Fourier sampling	Compositionality in deterministic real-time embedded systems

Single and multi-CPU performance modeling for embedded systems	Visually dependent nonverbal cues and video communication

Improving distributed application reliability with end-to-end datapath tracing	Statistical approach to structural monitoring using scalable wireless sensor networks

A framework for the development of traffic control systems	Security inference from noisy data

Partial evaluation for optimized compilation of actor-oriented models	Quantum communication and information processing

Low-complexity vector microprocessor extension	Calculations of quantum error correction and fault tolerance thresholds

Wireless network information flow: A deterministic approach	Maximizing performance in long distance wireless networks for developing regions

Games for the verification of timed systems	Resampling methods for protein structure prediction

Audio segmentation for meetings speech processing	Best-fit constructional analysis

User-extensible natural language spoken interfaces for environment and device control	End-user program analysis

An activity based approach to context-aware computing	Constructing grammar: A computational model of the emergence of early constructions

Program synthesis by sketching	The complexity of Nash equilibria

K-Sketch: A kinetic sketch pad for novice animators	Complexity of game dynamics

Improving visibility of distributed systems through execution tracing	Nonparametric Bayesian models for machine learning

Ensemble feature selection for multi-stream automatic speech recognition	Supporting asynchronous collaboration for interactive visualization

Synchronous reactive communication: Generalization, implementation, and optimization	Auto-tuning performance on multicore computers

Pay-as-you-go data cleaning and integration	Minimizing curvature variation for aesthetic surface design

MILLEE: Mobile and immersive learning for literacy in emerging economies	Improving tetrahedral meshes

Privacy preserving joins on secure coprocessors	A computational model of human blood clottings: Simulation, analysis, control, and validation

Contextual bootstrapping for grammar learning	Efficient motor control learning

Wireless sensor network metrics for real-time systems	Building and optimizing declarative networked systems

Model transformation with hierarchical discrete-event control	Analysis of goal-directed human actions using optimal control models

Designing distributed systems for heterogeneity	A practical theory of micro-solar power sensor networks

Packet classification as a fundamental network primitive	Human factors in web authentication

Designing networks for innovation	A multi-tier network architecture for long distance rural wireless networks in developing regions

Compile time task and resource allocation of concurrent applications to multiprocessor platforms	Complex program transformations via simple online dynamic analyses

Designing sustainable rural wireless networks for developing regions	Practical fault tolerance for quantum circuits

An extended Internet architecture for low-power wireless networks - design and implementation	Querying uncertain data in resource constrained settings

Merging techniques for combinatorial optimization: Spectral graph theory and semidefinite programming	Stasis: Flexible transactional storage

Local constraints in combinatorial optimization	Automatically tuning collective communication for one-sided programming models

Optimization and incentives in communication networks	On the use of context in network intrusion detection systems

Internet routing and Internet service provision	Contour detection and image segmentation

Sparse signal recovery using sparse random projections	Structured tracking for safety, security, and privacy: Algorithms for fusing noisy estimates from sensor, robot, and camera networks

Coarse-to-fine natural language processing	Dynamic test generation for large binary programs

Auto-tuning stencil codes for cache-based multicore platforms	Discriminative machine learning with structure

On the design of concurrent, distributed real-time systems	Circuit symmetries in synthesis and verification

Checking the data sharing strategies of concurrent systems level code	An architecture for structured, concurrent, real-time action

Communication-avoiding Krylov subspace methods	Fast image filters for depth-of-field post-processing

Practical shape analysis	Secure learning and learning for security: Research in the intersection

Modeling events in time using cascades of Poisson processes	Statistical models for analyzing human genetic variation

Measuring empirical computational complexity	Resource management for large scale unreliable distributed systems

A system-level approach to fault and variation resilience in multi-core die	Coarse-to-fine natural language processing

Exploring a centralized/distributed hybrid routing protocol for low power wireless networks and large-scale datacenters	From spiral to spline: Optimal techniques in interactive curve design

Pattern-Oriented Application Frameworks for Domain Experts to Effectively Utilize Highly Parallel Manycore Microprocessors	Pseudorandomness against Depth-2 Circuits and Analysis of Goldreich's Candidate One-Way Function

Real-Time Traffic Modeling and Estimation with Streaming Probe Data using Machine Learning	Structured Approaches to Data Selection for Speaker Recognition

Enabling More Meaningful Post-Election Investigations	Finding Lost Children

Towards a societal scale, mobile sensing system	Phrase Alignment Models for Statistical Machine Translation

Behavior of Machine Learning Algorithms in Adversarial Environments	Making Static Pivoting Scalable and Dependable

Geometric Model Theory in Efficient Computability	A high-fidelity energy monitoring and feedback architecture for reducing electrical consumption in buildings

System problem detection by mining console logs	Mobile persuasive technologies for rural health

Limitations of linear and semidefinite programs	A conflict management model for architectural design collaboration

Design of network architectures: Role of game theory and economics	Poselets and Their Applications in High-Level Computer Vision

Algorithms for Human Genetics	The Path of the Blind Watchmaker: A Model of Evolution

Replay Debugging for the Datacenter	Cryptographic Techniques for Privacy Preserving Identity

Geometric Models for Collaborative Search and Filtering	Automatic Term-Level Abstraction

Compilation Techniques for Embedded Data Parallel Languages	Declarative systems

Learned Factorization Models to Explain Variability in Natural Image Sequences	Design and Implementation of a Hypervisor-Based Platform for Dynamic Information Flow Tracking in a Distributed Environment

The Elements of Automatic Summarization	Fast Approximation Algorithms for Graph Partitioning Using Spectral and Semidefinite-Programming Techniques

Learning Transformations From Video	Sequential Decision Making in Non-stochastic Environments

Data-Parallel Language for Correct and Efficient Sparse Matrix Codes	Nonparametric Hierarchical Bayesian Models of Categorization

Data-driven Techniques for Improving Data Collection in Low-resource Environments	Towards Automated System Synthesis Using SCIDUCTION

Algorithms for Next-Generation High-Throughput Sequencing Technologies	Learning Dependency-Based Compositional Semantics

Routing along DAGs	Power-efficient Design of Multi-Gbps Wireless Baseband

Hierarchical Methods for Optimal Long-Term Planning	Automatic Design of Prosodic Features for Sentence Segmentation

Bayesian Nonparametric Latent Feature Models	Building Extensible and Secure Networks

Incorporating Supervision for Visual Recognition and Segmentation	Extracting and Querying Probabilistic Information in BayesStore

Computational Trade-offs in Statistical Learning	Model-based Bayesian Seismic Monitoring

The evolving braid: An ethnography of technology change in Uganda	Recognition Using Regions

Tuning Hardware and Software for Multiprocessors	Cooperative Multiplexing in Wireless Relay Networks

Using Program Analysis to Reduce Misconfiguration in Open Source Systems Software	Incentives, Computation, and Networks: Limitations and Possibilities of Algorithmic Mechanism Design

Resource Allocation and Scheduling in Heterogeneous Cloud Environments	Structured Estimation In High-Dimensions

Making Computer Vision Computationally Efficient	Workload-Driven Design and Evaluation of Large-Scale Data-Centric Systems

Efficient Methods for Unsupervised Learning of Probabilistic Models	A Scalable and Cost Effective Architecture for High Gain Beamforming Antennas

Techniques for machine understanding of live drum performances	Syntactic Agreement in Bilingual Corpora

Promoting Learning of Instructional Design via Overlay Design Tools	Interactive Simulation of Surgical Needle Insertion and Steering

Towards Comprehensible and Effective Permission Systems	Convex Approaches to Text Summarization

Attacks on Emerging Architectures	Predictive and Programmable Testing of Concurrent and Cloud Systems

Single Program, Multiple Data Programming for Hierarchical Computations	Productive High Performance Parallel Programming with Auto-tuned Domain-Specific Embedded Languages

Investigating the Design and Development of Multitouch Applications	Multi-agent Cluster Scheduling for Scalability and Flexibility

Ab Initio Discovery of Regulatory Sequences and Characterization of Their Evolutionary Patterns	Applications of Out-of-Domain Knowledge in Students' Reasoning about Computer Program State

Static Model Analysis with Lattice-based Ontologies	Language and Framework Support for Reviewably-Secure Software Systems

Sparse Models for Sparse Data: Methods, Limitations, Visualizations and Ensembles	Data Assimilation in Large-scale Networks of Open Channels

Using Mobile Technology and Social Networking to Crowdsource Citizen Science	Systematic Techniques for Finding and Preventing Script Injection Vulnerabilities

Statistical algorithms in the study of mammalian DNA methylation	Graph Algorithms in the Internet Age

Parallel Application Library for Object Recognition	Algorithmic Approaches to Statistical Questions

Analysis and Enforcement of Web Application Security Policies	Tools & Strategies for Social Data Analysis

An Optimized Video-on-Demand System: Theory, Design and Implementation