Theses/Dissertations from 2001
Scenario-based verification and validation of dynamic UML specifications, Alaa El-Sayed Ibrahim
Sensor technology for the Breast Examination Training Instrument, Bratislav Matic
Electrochemical fabrication of semiconductor nanostructure arrays for photonic applications, Stephen Patrick McGinnis
Propagation of updates to replicas using error-correcting codes, Karthik Palaniappan
Relational specification as a testing oracle, Harjinder Sandhu
Mobile agent-based attack-resistant architecture for Distributed Intrusion Detection system, Sentil Kumar Selliah
Fabrication of thin film nanoscale alumina templates, Paul B. Sines
CMOS fingerprint sensor electrostatic modeling, Praveen Kumar Soora
DSP implementation of trellis coded modulation and distributed space time coding, Yipeng Tang
Theses/Dissertations from 2000
Voltage collapse prediction for interconnected power systems, Amer S. Al-Hinai
Web-based workflow in secure collaborative telemedicine, Vijayanand Ranganath Bharadwaj
On the feasibility of integrated optical waveguide-based in situ monitoring of microelectromechanical systems (MEMS), Kolin Shay Brown
Assessment of a Space Shuttle trajectory evaluation system (DOLILU II), Diwakar Chakravarthy
An integrated cost model for software reuse., Senta Fowler Chmiel
Representative ways to analyze and survey changes in long-term electrocardiographic recordings, Simona Gabriela Crihalmeanu
Web-enabled COTS-supported alternative to Interactive Electronic Technical Manual Database (IETMDB) specification, Dina Mahfouz Ghobashy
Three-dimensional image reconstruction of skeletal tissue from computed tomography, Sundareswar Bangalore Jayashekar
Parallelization of ECG template-based abnormality detection, Sherry Lea Kratsas
Smart Card-enabled security services to support secure telemedicine applications, Monoreet Mutsuddi
Coloring clique hypergraphs, Hoifung Poon
Approaches to creating anonymous patient database, Shijun Shen
Secure telemedicine system for home health care, Sridhar Vasudevan
Theses/Dissertations from 1999
Verification and validation in software product line engineering, Edward Alton Addy
Mission planning and remote operated vehicle simulation in a virtual reality interface, Christopher Samuel Allport
Formalization of storage considerations in software design, Lakshminarasimha Reddy Ankireddipally
Java Challenge Software Project, Karuna Annavajjala
Tissue thickness measurement tool for craniofacial reconstruction, Hari Kinan Gopal Boddupalli
A neural network-based bottom-up approach for building a software reuse economic model., Gary Dawson Boetticher
Through-wafer interrogation of MEMS device motion, Jeremy Michael Dawson
Determination of vitality from a non-invasive biomedical measurement for use in integrated biometric devices, Reza Derakhshani
Development of a method for calculation of cardiac output using Doppler ultrasound, Amit Diggikar
Integration of Chicory components and Chicory optimization, Avinash Venkatesh Kalgi
Independent verification of specification models for large software systems at the early phases of development lifecycle, Khalid Lateef
Optimal power flow using a genetic algorithm and linear algebra, Reid S. Maust
Modeling and simulation of selected distributed generation sources and their assessment, Ju-chirl Park
Study of the Kalman filter for arrhythmia detection with intracardiac electrograms, Pisut Raphisak
Field analysis and design of a moving iron linear alternator for use with linear engine, Dulpichet Rerkpreedapong
Design and development of fuzzy expert system for Handy Board, Aditya Kumar Singh
Regressive model approach to the generation of test trajectories, Brian James Taylor
Various pushing methods on grid graphs, Jiaxin Wang
Broadcasting in grid graphs, Iwona Wojciechowska
Theses/Dissertations from 1998
Real-time multimedia-based education through the Internet, Abhay Arun Bakshi
Interoperable components across multiple component architectures, Ravi S. Banda
Fuzzy reliability modeling of distributed client -server systems, Patrick Louis Cross
Developing telephony applications using reusable software components in a graphical application implementation environment., William H. Dodrill
Impedance effects of metallic ground plane on the CTHA antenna, Tao Guan
Fault-injection through model checking via naive assumptions about state machine synchrony semantics, Sabina Joseph
Theses/Dissertations from 1997
Budgeting in the American states: Changes in taxes and spending, 1960-1992., David A. Ellis
Foundations of object-based specification design, David March Fleming
Theses/Dissertations from 1996
Theses/Dissertations from 1991
An artificial associative neural net for underground mine landmark recognition., Peijian Li
Theses/Dissertations from 1980
Algorithms For An Automatic Mine Ventilation System., Kwai Yeung Lee
Theses/Dissertations from 1977
Electromagnetic Wave Propagation Within A Subsurface Coal Seam For In Situ Gasification Application., JOHN JOSEPH HOLMES
Theses/Dissertations from 1974
A Simulator for the IBM 3705 Communications Controller, J. William Strider
Theses/Dissertations from 1972
Pattern Recognition Analysis Of Coal Miners' Vectorcardiograms., Robert Charles Gillespie
Optimization Of An Electromagnetic 'Through-The-Earth' Communication System., Gene Edward Layman