Master's Theses
| 2005 |
|---|
|
Moolani, Veena Shape analysis and spatio-temporal tracking of mesoscale eddies in the Miami isopycnic coordinate ocean model |
|
Zheng, Qinhe The study of virtual organization |
|
Ray, Sourish Application of difference-in-clustering for identification of oceanographic features |
|
Yancho, Jeffrey C. Computer aided indentification of unersea mines |
|
Nanda, Sameer Design patterns for resource allocation |
|
Parimoo, Sparsh Focused crawler based on latent semantic analysis |
|
Cheng, Yi-Tsung A formal approach to detecting shilling behavior in concurrent online auctions |
|
Naik, Sheetal IDEM: an internet delay emulator approach for assessing VoIP quality |
|
Joshi, Sachin Security in inter-organizational workflows modeled by petri nets |
| 2004 |
|
Vichare, Shivraj Shirish Agile - data warehousing: the backbone of business intelligence |
|
Chaudhuri, Ayan Hom Automated oceanographic feature detection from high resolution satellite images |
|
Chen, Jian-Lun Complexity of workflow mining algorithm for petri-net based workflow |
|
Shah, Vishal S. Conditional mapping in data mediation |
|
Ram, Prashant K. Design patterns in resource management |
|
Lin, Ke An extended algorithm for finding lower bounds on messages for secure protocols |
|
Bauskar, Bhushan Integration of object oriented design and colored petri nets using abstract node approach |
|
Song, Yiluo Parallel approaches for IP packet address lookup |
|
Lu, Chia-Hsin Sequence alignment analysis with genetic algorithm (GA) |
| 2003 |
|
Ravinder, Prashanth General marriage problem in multi-stage decision-making in domains with large supply and smaller demand |
|
Tu, Phuong My A genetic algorithm approach to optimization of backbone network topology design |
|
Wang, Zuyan Petri net morphisms and their roles in formal development of concurrrent systems |
|
Zhang, Bo Verifiable message set : detecting guessing attacks on cryptographic protocols |
| 1999 |
|
Cabeza, Alberto M. Rapid prototyping of parallel and distributed systems using Object-Oriented Petri Nets models - a comparataive analysis |
| 1998 |
|
Rui, Fuding The application of ensemble method in neural network training and generalization |
|
Schulze-Dèobold, Jèurgen Three dimensional computer graphics: time efficient display of surfaces of revolution |
| 1997 |
|
Sattler, Theo Extending of exception-handling in an object oriented environment supporting template classes |
|
Iacobbo, Stephen D. How problem complexity relates to neural network size |
| 1996 |
|
Walker, Tilman Patrick Conveying expert structural knowledge to the user in a hypermedia tutoring system using a graphical overview |
|
Glessmann, Heiko Object oriented distributed operating systems |
|
Bertone, Paul Nicolas Paradigms of biomolecular computation |
|
Juergens, Marcus Performance evaluation of client-server systems with generalized stochastic petri nets |
|
Boehm, Jan Oliver Robot arm object - software for motion control |
| 1995 |
|
Vogt, Stefan A design and development method for artificial neural network projects |
|
Adilinis, Despina Evaluation of methods for reengineering a COBOL application into relational database |
| 1994 |
|
Blum, Joachim Microkernel operating systems in parallel architectures |
|
Higgins, Joyce R. Personal computer bios : an object oriented design |
| 1993 |
|
Jin, Hua-Ming Graphical user interface in computer network topology optimization |
|
Qiu, Shijie Self-organizing neural networks and exemplar selection for training back-propagation neural network |
| 1992 |
|
Jia, Ruomong A memory-based neural model--CMAC : an associative neural network alternative to back propagation |
| 1991 |
|
Rumbut, John T. Managing complexity for large embedded real-time interactive systems |
|
Zhou, Lin Incorporating radial basis function and product units into back propagation neural networks |
| 1989 |
|
Stringham, David M. Modeling of cache coherency protocols in multiprocessor systems using petri nets |
