ProQuest Subject Index - Computer science at INDIANA UNIVERSITY

TOP >> INDIANA UNIVERSITY >> Computer science

Browse Institutions

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

Automatic text classification using a multi-agent framework	Hierarchical, generic to specific multi-class object recognition

Looking for a haystack: Selecting data sources in a distributed retrieval system	A composable data management architecture for scientific applications

Encapsulation of state with monad transformers	Noncomputable spectral sets

Automatic time-bound analysis for high-level languages	Service oriented architecture for geographic information systems supporting real time data grids

Scalable, fault-tolerant management of grid services: Application to messaging middleware	Query optimization for distributed stream processing

High performance recording and manipulation of distributed streams	A framework for specifying, representing and enforcing access control for XML data repositories

Rank quality for evaluating CCBR system performance	On the data mapping problem

Starfish: A table-centric tool for design derivation	Distributed handler architecture

Information federation in grid information services	Multi-case-base reasoning

A virtual filesystem framework to support embedded software development	Data management in distributed stream processing systems

Formal notations as diagrams of abstract structure	A dynamic scientific workflow system for the Web services architecture

Synthetic programming: User-directed run-time code synthesis for high performance computing	A framework for synchronous and ubiquitous collaboration

Visual human tracking and group activity analysis: A video mining system for retail marketing	Scalable Web service-based XML message brokering across organizations

Provenance framework in support of data quality estimation	A language for specifying compiler optimizations for generic software

A component framework for building Web science gateways and portals	Framework for visualizing and exploring high-dimensional geometry

Emergence of roles in English canonical transitive construction	A graph based cache system for efficient querying in distributed triplestores

On efficient computation of Grobner bases	Nanopass compiler infrastructure

Static computation and reflection	Principles for coordinated optimization of computation and communication in large-scale parallel systems

Anticipating and hardening the Web against socio-technical security attacks	Physically interacting with four dimensions

When, not where: A dynamical field theory of infant gaze	Implicit phasing for library dependencies

Exploiting multi-core processors for the service oriented architecture paradigm: Parallel XML processing and concurrent service orchestration	High performance, federated, service-oriented geographic information systems

One-sided communication for high performance computing applications	Socially induced semantic networks and applications

A concept map-based approach to document indexing and navigation	A better Internet without IP addresses

Enforcing user-defined management logic in large scale systems	Building sparse linear solver component for large scale scientific simulation and multiphysics coupling

Validity in a variant of separation logic	A unifying framework for disjunctive data constraints with applications to reasoning under uncertainty

Multi-level adaptation for performability in dynamic web service workflows	Collaborative framework for high-performance p2p-based data transfer in scientific computing

Probabilistic reasoning on metric spaces	Adaptive peer networks for distributed Web search

Relational programming in miniKanren: Techniques, applications, and implementations	Modern task parallelism for modern high performance computing

Seqsee: A concept-centered architecture for sequence perception	Topological representation of canonicity for varieties of modal algebras

The influence of aesthetics on the learnability and memorability of website interfaces	Structural mining of large-scale behavioral data from the Internet

Integrated collaborative information systems	Creating fast and accurate machine learning ensembles through training dataset preprocessing

More effective use of high performance systems using sub-batch allocation resource management within multiple component multiple data applications	Orthographic enrichment for Arabic grammatical analysis

Coordinated checkpoint/restart process fault tolerance for MPI applications on HPC systems	Proactive cyberfraud detection through infrastructure analysis

A statistical method for syntactic dialectometry	Preserving long-term access to United States government documents in legacy digital formats

Graph metrics and dimension reduction	A probabilistic approach to data integration in biomedical research: The IsBIG experiments

Architecture and performance of runtime environments for data intensive scalable computing	Statistical methods of latent structure discovery in child-directed speech

Visualization of music relational information sources for analysis, navigation, and discovery	A generic web-based knowledge discovery framework for case-based reasoning

An adaptive document classifier inspired by T-cell cross-regulation in the immune system	Reverse engineering the mechanisms and the dynamical behavior of complex biochemical pathways

Ethical Design for Security and Privacy	The expression of human behavior in online networks

Semi-supervised learning for identifying opinions in Web content	Language in the balance: Factors in the emergence of compositional communication

Flow-Sensitive Control-Flow Analysis in Linear-Log Time	Structural summaries for efficient XML query processing

Designing and evaluating ambient displays in the wild	Programming abstraction for resource aware stream processing for scientific workflows

The persuasive power of text messages for behavior change: Encouraging young adults to increase physical activity	Digital vigilance: Pervasive technology for children with Type 1 diabetes

Incentives, Behavior, and Risk Management	User inspired management of scientific jobs in grids and clouds

Design and implementation of a stream-based visualization language	The educational experiences of software designers working in education/instructional technology related fields

Automated cognitive model evaluation: Methodologies and uses	Scalable high performance multidimensional scaling

Processing highly variant language using incremental model selection	Improving anonymity networks via end-to-end design

Implicit complexity for coinductive data	Quasi-Newton methods for stochastic optimization and proximity-based methods for disparate information fusion

A framework for customized approximate functional dependency mining	Targeted computational approaches for mining functional elements in metagenomes

The spies we trust: Third party service providers and law enforcement surveillance	Categorical Semantics for Light Logics

Musicat: A computer model of musical listening and analogy-making	Minimal Krylov subspaces for dimension reduction

Risk perceptions of security and privacy risks online