ProQuest Subject Index - Computer science at UNIVERSITY OF MICHIGAN

TOP >> UNIVERSITY OF MICHIGAN >> Computer science

Browse Institutions

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

Propagation, detection and containment of mobile malware	Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction

Extending cognitive architectures with spatial and visual imagery mechanisms	Multiattribute call markets

A computational unification of cognitive control, emotion, and learning	Image guided respiratory motion analysis: Time series and image registration

Mechanism design and analysis using simulation-based game models	Topics in massive data summarization

Incorporating provenance in database systems	Structured preference representation and multiattribute auctions

Automatic design of efficient application-centric architectures	Combinatorial compressive sampling with applications

Empirical game-theoretic methods for strategy design and analysis in complex games	Efficient index-based methods for processing large biological databases

Design, analysis and test of logic circuits under uncertainty	Streamroller: A unified compilation and synthesis system for streaming applications

Realizing software defined radio - A study in designing mobile supercomputers	Designing for the cooperative use of multi-user, multi-device museum exhibits

Microarchitecture choices and tradeoffs for maximizing processing efficiency	Systems-level support for mobile device connectivity

Synthesis and verification of digital circuits using functional simulation and Boolean satisfiability	Querying graph databases

An effective verification solution for modern microprocessors	Chip-level thermal analysis, modeling, and optimization using multilayer Green's function

Consumer distributed file systems	On predictive linear Gaussian models

Full-system critical-path analysis and performance prediction	Online low-cost defect tolerance solutions for microprocessor designs

Razor: A variability-tolerant design methodology for low-power and robust computing	Optimal combinational multi-level logic synthesis

Replication-based cyber foraging and automated configuration management	System architectures with virtualized resources in a large-scale computing infrastructure

Software failure avoidance using discrete control theory	Toward a robust Internet interdomain routing

Automated creation of database forms	Feature points on point-based surface and their applications

Automatic formal verification of control logic in hardware designs	Protecting confidential information from malicious software

Energy-efficient information collection and dissemination in wireless sensor networks	Improving QoS and management in multi-hop wireless networks

Analyzing infeasible constraint systems	Information rates for secret sharing over various access structures

Stronger bidding strategies through empirical game-theoretic analysis and reinforcement learning	Leveraging context for file search and organization

The structure and dynamics of information sharing networks	Modeling dynamical systems with structured predictive state representations

Efficient and secure network services in wireless sensor networks	High-performance placement and routing for the nanometer scale

Structural and dynamical properties of complex networks	Cache resource allocation in large scale chip multiprocessors

Essays on the computation of economic equilibria and its applications	Context-aware network security

Decision making under uncertainty: Revealing, characterizing and modeling individual differences in the Iowa Gambling Task	Re-evaluating and exploring the contributions of constituency grammar to semantic role labeling

Matching methods for semantic interoperability in product lifecycle management	SMARTS approach to chemical data mining and physicochemical property prediction

Practical strategic reasoning with applications in market games	Separating information protection from resource management

Disaggregated memory architectures for blade servers	Automated management of virtualized data centers

Cartesian treecode algorithms for electrostatic interactions in molecular dynamics simulations	Scalable algorithms for communication networks

Integrating parsing and word alignment in syntax-based machine translation	Integration of text mining with systems biology provides new insight into the pathogenesis of diabetic neuropathy

Toward Automated Network Management and Operations	Sensor-based analysis of object-use patterns for the automatic assessment of cognitive status

Knowledge-based methods for evaluation of engineering changes	Broadening the Scope of Multi-Objective Optimizations in Physical Synthesis of Integrated Circuits

Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems	Text and network mining for literature-based scientific discovery in biomedicine

An examination of the relationships between organizational factors and information technology satisfaction and use: A study of undergraduate faculty	Three essays on the economics of information systems

Pssst...or Boo! Assessing the Predictability of Notification Delivery Preferences	Abstraction, Imagery, and Control in Cognitive Architecture

Efficient identification and utilization of spectrum opportunities in cognitive radio networks	Simple Partial Models for Complex Dynamical Systems

Enhancing coexistence, quality of service, and energy performance in dynamic spectrum access networks	Efficient Data Center Architectures Using Non-Volatile Memory and Reliability Techniques

Hierarchical Functional Category Learning for Efficient Value Function Approximation in Object-Based Environments	Requirements Engineering in Building Climate Science Software

Overcoming Hard-Faults in High-Performance Microprocessors	Simplifying Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis

A Hardware/Software Approach for Alleviating Scalability Bottlenecks in Transactional Memory Applications	Near Threshold Computing: From Single Core to Many-Core Energy Efficient Architectures

Power-Efficient Accelerators for High-Performance Applications	Delivering Affordable Fault-tolerance to Commodity Computer Systems

Compiling Stream Applications for Heterogeneous Architectures	Optimal Infomation-based Classification

Direct manipulation querying of database systems	Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications

Atmospheric Modeling with High-Order Finite-Volume Methods	Algorithms and Dynamics Data Structures for Basic Graph Optimization Problems

Large-Scale Malware Analysis, Detection, and Signature Generation	Kernel Methods for Classification with Irregularly Sampled and Contaminated Data

Machine Learning for Flow Cytometry Data Analysis	Unsupervised Graph-Based Similarity Learning Using Heterogeneous Features

Incentive and Culture: Shaping Information and Social Dynamics in Online Information Sharing Systems	Uniparallel execution and its uses

The Optimal Reward Problem: Designing Effective Reward for Bounded Agents	Multi-Grid Genetic Algorithms For Optimal Radiation Shield Design

Learning to Use Memory	Leveraging the Cloud for Software Security Services

Systems for Challenged Network Environments	Design Preference Elicitation, Identification and Estimation

On Detection of Current and Next-Generation Botnets	Improving Software Configuration Troubleshooting with Causality Analysis

Scaling High-Performance Interconnect Architectures to Many-Core Systems	Developing and Application of Statistical Algorithms for High-Dimensional Biological Data Analysis

Discover, Analyze, and Validate Attacks With Introspective Side Channels	Characterization and Optimization of Resource Utilization For Cellular Networks

Speculative Execution Across Layers	Computational methods for learning and inference on dynamic networks

Effective and Efficient Memory for Generally Intelligent Agents	Hardware Mechanisms for Distributed Dynamic Software Analysis

Interface Design Implications for Recalling the Spatial Configuration of Virtual Auditory Environments	Identifying Roles in Social Networks using Linguistic Analysis

Optimization and Simulation of Kidney Paired Donation Programs	Distributed Approaches for Solving Constraint-based Multiagent Scheduling Problems

Security and Collaboration Protocols for Mobile and Sensor Networks	Exposure to political diversity online

Lossless Circuit Layout Image Compression Algorithms for Multiple Electron Beam Direct Write Lithography Systems