ProQuest Subject Index - Computer science at UNIVERSITY OF COLORADO AT BOULDER

TOP >> UNIVERSITY OF COLORADO AT BOULDER >> Computer science

Browse Institutions

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

Design patterns for online learning environments: A structured approach for operationalizing and sharing theory-based design knowledge	Anonymity analysis of Freenet

A multi-dimensional approach to fault protection in deep space software systems	Increasing the usability of research lexica

Machine learning-based quality control for air temperature data	A software defined OFDM modulator

Elliptic curve cryptography and identity-based encryption	Experiences with directional antennas

Query seeded concept decompositions and a new approach to performance quantification in information retrieval	Profile merging and code versioning for automated profile guided optimization systems

Computational correlates of access consciousness	An analysis of features used to train entity mention detection and coreference resolution classifiers

SmartTiles: Towards room-sized, child-programmable computational artifacts	Path planning in image space for the autonomous navigation of unmanned vehicles in unstructured outdoor environments

Investigating the impact of Web 2.0 techniques on integrating open hypermedia services into the World Wide Web	NodeBlaze: Using reprogrammable logic to advance sensor networking technology

Discovering the runtime structure of software with probabilistic generative models	A model and architecture for composing digital learning resources: The Teaching Box Project

Supporting team performance---An empirical study of software teams, processes and tools to enhance software development	General eyes: A Web application enabling geographers to visualize differences between multi-scale generalization algorithms

Enabling advanced code analysis with BDDs	Cardinal: A framework for performance modeling and prediction of application execution

Potential denial of service threat assessment for cognitive radios	STORM: A secure and scalable virtual appliance server

Channel allocation using interference detection in multichannel wireless networks	A unified approach to adaptive code selection for modern systems

A framework for analyzing architecture-level fault tolerance behavior in applications	SocialAware: Context-aware multimedia presentation via mobile social networks

A unified theory of exogenous and endogenous attentional control	PUFFS: Probabilistically utilized flash file system for sensor motes and embedded systems

A framework for undistorting the picture of a non-planar surface	Ambient environments and agile software development metrics

Empirical investigation of models produced by kernel LARS-type and SVM-type algorithms	Maximum entropy model for Korean word sense disambiguation

PhoneTag: In search of place	Dynamic calculation of explosion vectors

SecureWear: Securing wearable mobile social networks	Potential denial of service threat assessment for wired and wireless networks

Supporting Network Rational Democracy with information and communication technologies	Modeling open source software communities

A WAVE network management model	COSE: Crisis Oriented Search Engine

Efficient algorithms for large data sets of genomic sequences in microbial community analysis	Understanding asymmetric links, buffers and bi-directional TCP performance

Explorations of a bayesian theory of human visual search	Parallelizing a data intensive Lagrangian stochastic particle model using graphics processing units

Macs: A Practical Approach to Mobile Content Sharing over Ad Hoc Networks	Genetic Algorithms with Chaotic Population Dynamics

Speaking for the Trees: a New (Old) Approach to Languages and Syntax	Finding Event-Specific Influencers in Dynamic Social Networks

Improving access to space weather data via workflows and web services	Topic Modeling as an Analysis Tool to Understand the Impact of the Iraq War on the Iraqi Blogosphere

Relation Extraction on the J.D. Power and Associates Sentiment Corpus	Selective Attention as an Example of Building Representations within Reinforcement Learning

Prediction in projection: Computer performance forecasting, a dynamical systems approach	Visual assembly and analysis of cryptographic ciphers

Semi-Automatic Discovery of Meaningful Ontology from a Relational Database	Manifold Learning for Organization of Text Documents

Modeling The Influence of Recent Experience on Judgments	Supporting Pet-to-Family Reunification in Disaster by Leveraging Human and Machine Computation

A Framework for Benevolent Computer Worms	Results on Extensions of the Satisfiability Problem

An empirical comparison of VerbNet syntactic frames and the Semlink corpus	GPU-Assisted Cryptography of Log-Structured Indices

Math on a Sphere: Implementing a Programming Language for Learners	A Comparison of Lexical Expansion Methodologies to Improve Medical Question and Answering Systems

Power-Law Distributions and Binned Empirical data	Analysis and Implementation of Software Tools to Support Research in Crisis Informatics

Type-Oriented Island Parsing	Optimizing Jython using invokedynamic and Gradual Typing

Face detection using single cascade of customized features discriminators	Turtle Geometry on the Sphere: The Turtle Finally Escapes the Plane

Self-organization and communication networks for microgrids	Robust semantic role labeling

Control of distributed robotic macrosensors	Socio-technical environments supporting distributed cognition for persons with cognitive disabilities

Very sparse kernel models: Predicting with few examples and few features	A method for dynamic reconfiguration of a cognitive radio system

Preconditioning the limited-memory BFGS algorithm	Parallel implicit fully coupled Newton-Krylov-Schwarz methods for numerical simulations of magnetohydrodynamics

An adaptive chip multiprocessor cache hierarchy	Model based load indices (MBLI) for scientific simulation

Methodology for the design of linear algorithms for signal processing applications	Tornado codes for archival storage

Reflective design-in-use: Co-designing an assistive remote communication system with individuals with cognitive disabilities and their families	Improving the performance of wireless systems through distributed fault diagnosis

SafeShare: Secure file sharing across trust boundaries	An investigation of computational textiles with applications to education and design

An experimental analysis of classifier ensembles for learning drifting concepts over time in autonomous outdoor robot navigation	The analytical mediator for multi-dimensional data

Finding event, temporal and causal structure in text: A machine learning approach	Algorithmic optimizations

Runtime allocation and scheduling policies across network on chip architectures	Learner answer assessment in Intelligent Tutoring Systems

Robust unsupervised named-entity disambiguation	Efficiency-based local adaptive refinement for FOSLS finite elements

Cryptographic hash functions	The dynamics of point-vortex data assimilation

On-demand resource reservation for multichannel wireless mesh networks using cut-through switching	Enhanced server fault-tolerance techniques for improved user experience

Simulation and characterization of inter-process interference on multithreaded and multicore architectures	The central role of adaptation for curriculum enactment: Designing educational software for adaptation of curriculum using digital library resources

A domain analysis approach to clear-air turbulence forecasting using high-density in-situ measurements	Microfabrication techniques for trapped ion quantum information processing

Popup Workshop: Computationally enhanced paper engineering for children	Occasionally connected wireless sensor networks for search and rescue and wildlife monitoring

Algorithms on long paths and cycles in graphs	Advancement through interactive radio

Generating conceptually personalized interactions for educational digital libraries using concept maps	Generating conceptual knowledge representations to support students writing scientific explanations

Parallel monolithic fluid-structure interaction algorithms with application to blood flow simulation	Personalized information seeking to support intentional learning

Computer techniques to aid the interpretation of salt bodies and stratigraphy in 3D seismic volumes	Interactive GPU-based "visulation" and structure analysis of 3-D implicit surfaces for seismic interpretation

Performance accountability for optimizing compilers	Data management for urgent computing environments

The impact of working memory limitations and distributed cognition on solving search problems on complex informational websites	Applications of distributional vector space models to modeling of psycholinguistic phenomena

Dynamic behavior management in an entity-oriented software environment	Supporting multiple users in single-stereo-pair immersive virtual reality environments

Supporting experiments in computer systems research	Surface wrapping: A deformable mesh approach to semi-automatic 3D volume segmentation

Paradigms of evaluation in natural language processing: Field linguistics for glass box testing	Program metamorphosis

Model combination in multiclass classification	Pattern-based extraction of argumentation from the scientific literature

Ordering and combinatorial effects of wireless optimizations in beam forming 802.11 WLANs	On the reliability of Newton's method in the presence of singularity

Integrated scheduling and beam steering for spatial reuse	High-performance word sense disambiguation with less manual effort

Ambient programming	Graph connectivity: Approximation algorithms and applications to protein-protein interaction networks

Efficient SMT solving for hardware model checking	Scalable software control of million-element cyber-physical systems using a graphics processing unit

Parallel efficiency-based adaptive local refinement	Computational models of quality for educational digital resource assessment

Improving Security and Performance in Low Latency Anonymous Networks	Anonymity in Socio-Digital Systems

Parameterizing Phrase Based Statistical Machine Translation Models: An Analytic Study	Optimizing Constrainted Concurrent Applications at Run-time

Invalidating Transactions: Optimizations, Theory, Guarantees, and Unification	Runtime Prediction of Fused Linear Algebra in a Compiler Framework

Coordination Resolution in Biomedical Texts	Increasing The Effectiveness of Deduction in Propositional SAT Solvers

Enhanced computational methods for delineating microbial community composition	Dynamic Trace Analysis with Zero-Suppressed BDDs

Exploring the Semantic Meaning of Constructs that Lead to Human Decisions	Generating, Optimizing, and Scheduling a Compiler Level Representation of Stream Parallelism

Any-Com Multi-Robot Path Planning	Teacher adoption of a Web-based instructional planning system

A Topology-Based Approach for Nonlinear Time Series with Applications in Computer Performance Analysis	Optimizing implicit plant interactions to conserve water on residential landscapes

Geostatistical Techniques for Practical Wireless Network Coverage Mapping	Detecting Deception in Text: A Corpus-Driven Approach

Parallel Domain Decomposition Methods For Simulating Blood Flows In Three-Dimensional Compliant Arteries	DISCUSS: Toward a Domain Independent Representation of Dialogue

Efficient Generation of Sequences of Dense Linear Algebra through Auto-Tuning	Optimization of Natural Language Processing Components for Robustness and Scalability

Easigami: Virtual Creation by Physical Folding	Supporting the Social Media Needs of Emergency Public Information Officers with Human-Centered Design and Development

Feature Extraction in Sequential Multimedia Images: with Applications in Satellite Images and On-line Videos	Towards the Next Generation of Online Social Networks

Crowdwork, crisis and convergence: How the connected crowd organizes information during mass disruption events	Panoramic Video Stitching