Follow

Theses/Dissertations from 2008

PDF

Spatial ability cognitive model with ACT-R 6.0, Andre Lokasari

PDF

An iterative approach towards web service composition using feedback from analysis of composition failures, Dinanath Nadkarni

PDF

Protocol design, implementation and integration for the protection of sensor data confidentiality and integrity, Santosh Kumar Panchapakesan

PDF

A comparative study of Roth-Erev and modied Roth-Erev reinforcement learning algorithms for uniform-price double auctions, Mridul Pentapalli

PDF

An integrated software environment for protein structure refinement, Rahul Ravindrudu

PDF

Relationships between user performance and spatial ability in using map-based software on pen-based devices, Michelle Lenae Rusch

PDF

On the test-driven development of emerging modularization mechanisms, Rakesh Bangalore Shivarudra Setty

PDF

Modular verification of higher-order methods with mandatory calls specified by model programs, Steve M. Shaner

PDF

Integration of ab-initio nuclear calculation with derivative free optimization technique, Anurag Sharda

PDF

Structural induction: towards automatic ontology elicitation, Adrian Silvescu

PDF

A specification language design for the Java Modeling Language (JML) using Java 5 annotations, Kristina Boysen Taylor

PDF

Uncovering the structure of hypergraphs through tensor decomposition: an application to folksonomy analysis, Flavian Vasile

PDF

Attacks and countermeasures on routing protocols in wireless networks, Narasimha Rao Venkata Laxmi Velagaleti

PDF

An online system for bioterrorism surveillance, Melissa Yahya

Theses/Dissertations from 2007

PDF

A distributed system for integrating and sharing biology data and tools, Mohammed Alabsi

PDF

Representing and reasoning with modular ontologies, Jie Bao

PDF

Markov network structure discovery using independence tests, Facundo Bromberg

PDF

AVIDENSE: Advanced Video Analysis System for Colonoscopy Semantics, Yu Cao

PDF

Algorithms in supertree inference and phylogenetic data mining, Duhong Chen

PDF

Incorporating product-line engineering techniques into agent-oriented software engineering for efficiently building safety-critical, multi-agent systems, Joshua Jon Dehlinger

PDF

Dynamic inference-based learning of Markov network structure, Parichey Gandhi

PDF

Bootstrapping trust in service oriented architecture, Mahantesh Hosamani

PDF

Service-oriented design in aspect-oriented and Petri net-based approach, Tae-hyung Kim

PDF

Retina Workbench: a flexible database system for manipulating and mining expression data and genetic regulatory networks, Oksana Kohutyuk

PDF

Implementation of a XQuery engine for large documents in CanstoreX, Srikanth Krithivasan

PDF

Internet data extraction based on automatic regular expression inference, Ye Lin

PDF

Integrate qualitative biological knowledge for gene regulatory network reconstruction with dynamic Bayesian networks, Song Li

PDF

Survivability issues in WDM optical networks, Chang Liu

PDF

Interactive and verifiable web services composition, specification reformulation and substitution, Jyotishman Pathak

PDF

The component-based application for GAMESS, Fang Peng

PDF

A framework for adaptive, cost-sensitive intrusion detection and response system, Natalia Stakhanova

PDF

Strict self-assembly of discrete Sierpinski triangles, Scott Martin Summers

PDF

Surface patch reconstruction by touching, Jiang Tian

PDF

Exploring historical location data for anonymity preservation in location-based services, Ge Toby Xu

Theses/Dissertations from 2006

PDF

A service-oriented privacy model for smart home environments , Ryan Michael Babbitt

PDF

Algorithms for minimum bipartite fill-in and the gene-duplication problem , Mukul Subodh Bansal

PDF

Hybrid programming in high performance scientific computing , Jonathan Lee Bentz

PDF

Abstraction, aggregation and recursion for generating accurate and simple classifiers , Dae-Ki Kang

PDF

An XML-based implementation of the parametric model for ad-hoc query of temporal and spatiotemporal data , Seo-Young Noh

PDF

Quality of service (QoS) support for multimedia applications in large-scale networks, Wanida Putthividhya

PDF

Modular subclass verification: safely creating correct subclasses without superclass code , Clyde Dwain Ruby

PDF

Supporting visual access to a distributed organizational memory warehouse in the web environment , Yunan Song

PDF

A model for storage and query of cascading beliefs in multilevel security database , Jia Tao

PDF

Multi-paradigm frameworks for scalable intrusion detection , Benjamin David Uphoff

PDF

Computational studies with ESTs: assembly, SNP detection, and applications in alternative splicing , Jianmin Wang

PDF

Design and implementation of XML-based Linux file system runner , Qian Zhang

PDF

Protection against overflow attacks , Ge Zhu

Theses/Dissertations from 2005

PDF

A design discipline and language features for modular reasoning in aspect-oriented programs , Curtis Charles Clifton

PDF

Identification of interface residues involved in protein-protein and protein-DNA interactions from sequence using machine learning approaches , Changhui Yan

PDF

Learning ontology aware classifiers , Jun Zhang

Theses/Dissertations from 2004

PDF

Learning classifiers from distributed, semantically heterogeneous, autonomous data sources , Doina Caragea

PDF

Datura: distributing activity in peer to peer collaborative virtual environments , Christopher Derek Just

PDF

A hybrid intrusion detection system , Yanxin Wang

Theses/Dissertations from 2003

PDF

A runtime assertion checker for the Java Modeling Language , Yoonsik Cheon

PDF

Effective fractal dimension: foundations and applications , John M. Hitchcock

PDF

Generalized Portable SHMEM library for high performance computing , Krzysztof Parzyszek

PDF

Algorithms for security in robotics and networks , Borislav H. Simov

PDF

Application Signature: a new way to predict application performance , Rajat Kumar Todi

Theses/Dissertations from 2002

PDF

A new taxonomy for locomotion in virtual environments , Laura Lynn Arns

Theses/Dissertations from 2001

PDF

The Class Validation System , Marybeth Gurski

PDF

High-performance cluster computing, algorithms, implementations and performance evaluation for computation-intensive applications to promote complex scientific research on turbulent flows , Hao Wang

Theses/Dissertations from 2000

PDF

Intelligent multi-agent system for intrusion detection and countermeasures , Guy Gary Helmer

Theses/Dissertations from 1999

PDF

Adaptive agents for information retrieval and data-driven knowledge discovery , Jihoon Yang

Theses/Dissertations from 1998

PDF

Biologically inspired computational structures and processes for autonomous agents and robots , Karthik Balakrishnan

PDF

An investigation of a manipulative simulation in the learning of recursive programming , Randall Wayne Bower

PDF

Constructive learning: inducing grammars and neural networks , Rajesh Girish Parekh

Theses/Dissertations from 1997

PDF

Neural architectures for database query processing, syntax analysis, knowledge representation, and inference , Chun-Hsien Chen

PDF

Behavioral subtyping in object-oriented languages , Krishna Kishore Dhara

PDF

Computing and evolving variants of computational depth , James Irvin Lathrop

PDF

A class-based approach to parallelization of legacy codes , Simanta Mitra

PDF

Parallel hierarchical global illumination , Quinn O. Snell

Theses/Dissertations from 1996

PDF

The complexity of parameters for probabilistic and quantum computation , Josef Michael Breutzmann

PDF

Parametric micro-level performance models for parallel computing and parallel implementation of hydrostatic MM5 , Youngtae Kim

Theses/Dissertations from 1995

PDF

Object-relational spatio-temporal databases , Tsz-Shing Cheng

PDF

Scalability study in parallel computing , Mark Alan Fienup

PDF

Application of decision trees and multivariate regression trees in design and optimization , Babak Forouraghi

PDF

Quo Vadis - a framework for intelligent routing in large communication networks , Armin Robert Mikler

PDF

On the execution of high level formal specifications , Timothy Allen Wahls

Theses/Dissertations from 1994

PDF

Algorithms for weighted multidimensional search and perfect phylogeny , Richa Agarwala

PDF

Distribution-independent hierarchical N-body methods , Srinivas Aluru

PDF

Parallelization techniques for scientific and engineering applications and implementation of the boundary element method (BEM) , Jeffrey Scott Clary

PDF

The complexity and distribution of computationally useful problems , David W. Juedes

PDF

Generalized knowledge-based semantics for multi-valued logic programs , Bamshad Mobasher

PDF

Transaction management in object-oriented data base systems , Pinaki D. Shah

PDF

An extensible view system for supporting the integration and interoperation of heterogeneous, autonomous, and distributed database management systems , Cheng-Huang Yen

Theses/Dissertations from 1993

PDF

A relational model for incomplete information in temporal databases , Sunil S. Nair

PDF

Transaction processing in real-time database systems , Waqar ul Haque

PDF

Disjunctively incomplete information in relational databases: modeling and related issues , Lu Zhang

Theses/Dissertations from 1992

PDF

Quantum wave modeling on highly parallel distributed memory machines , Naresh Nayar

PDF

The relaxation method for learning in artificial neural networks , Hee-Kuck Oh

PDF

Issues in the design and implementation of a real-time garbage collection architecture , William Jon Schmidt

Theses/Dissertations from 1991

PDF

Formalized structured analysis specifications , David L. Coleman

PDF

Transaction and data models for design databases , Muruganandan Kumar

PDF

Detection of single-threading properties in combinator notations , Dean Roger Lass

PDF

Theoretical study of information capacity of Hopfield neural network and its application to expert database system , Kesig Lee

PDF

Divide-and-conquer algorithms for multiprocessors , Lakshmankumar Mukkavilli

PDF

A multilevel security model for object-oriented database systems , Linda M. Null

PDF

The work/exchange model: a generalized approach to dynamic load balancing , Milton Curtis Wikstrom

Theses/Dissertations from 1990

PDF

Type inference for action semantics , Susan Johanna Even

PDF

Hypercubes, median graphs and products of graphs: some algorithmic and combinatorial results , Pranava Kumar Jha