Documente Academic
Documente Profesional
Documente Cultură
Software Engineering
Paul Bergstein Richard L. Upchurch
CIS272 Introduction to Computer Systems CIS273 Computer Organization and Design CIS475 Computer Networks CIS476 Network Programming CIS577 Computer Networks CIS579 Multimedia Networking
M.S.O.R., Operations Research, Aug. 2003 The University of Kentucky, KY, USA M.S., Applied Mathematics, Aug. 2001 The University of Toledo, OH, USA B.Sc., Mathematics, Sep. 1989 The University of Madras, India
Research Interests
2-D and 3-D Visualization Rigid and Non-Rigid Motion Analysis Pattern Recognition Artificial Intelligence Human-Computer Interaction
Selected Publications
y
Chaudhuri, A., Gangopadhyay, R. Balasubramanian and S. Ray, Automated Oceanographic feature detection from high resolution satellite images, Proceedings of the Seventh IASTED International Conference on Computer Graphics and Imaging, 2004, Hawaii, August, 2004, 217-223. Detecting and Tracking of Mesoscale Oceanic Features in the Miami Isopycnic Circulation Ocean Model. Ramprasad Balasubramanian, Amit Tandon, Bin John and Vishal Sood. Proceedings of The IASTED International Conference on Visualization, Imaging, and Image Processing VIIP 2003, Pg. 169-174. Sept 8-10, Benalmedena, Spain. Visualization methods for heat transport in Miami Isopycnic Circulation Ocean Model (MICOM) by Ramprasad Balasubramanian, Amit Tandon and Vishal Shah. Proceedings of the Fifth IASTED International Conference on Computer Graphics and Imaging (CGIM 2002) August 12-14, 2002, pp 281-286, Kauai, Hawaii, USA. Min Shin, Ramprasad Balasubramanian and Dmitry Goldgof. Framework for Integrating 2D Points and Curves for Tracking 3D Nonrigid Motion and Structure. Proceedings of the International Conference on Pattern Recognition (ICPR), v3, pp. 831-834, September 2000.
Research Projects
Extraction, Segmentation and Tracking of Eddies in Miami Isopycnic Circulation Ocean Model (3 Grad Students + 1 Physics Faculty) Extraction of Eddies, Upwelling and other significant features in SST (Sea Surface Temperature) Satellite Data (2 Graduate Students + 1 Physics Faculty) Modeling and Shape Analysis of Eddy Structures (1 Grad Student + 1 CIS Faculty) Visualization of Eddy for Heat Transport Diagnosis in the CAVE (Collaboration with Faculty at Brown University) Non-Rigid Motion Analysis (Collaboration with Faculty at UNCC)
Circle vs Ellipse
Segmentation Study
1. Software Development of Concurrent Computing Systems Integrating Object-Oriented Design and High-Level Petri Nets in Development of Concurrent Software Systems Integration of Object Oriented Design and Colored Petri Nets with Abstract Node Approach Conceptual Modeling of Concurrent Systems through Stepwise Abstraction Using Petri Net Vicinity Preserving Morphisms
Modeling and Resolving Inheritance Anomaly in Concurrent OO Systems with Colored Petri Nets Modeling and Analyzing Multi-level Security Features of Complex Information Systems using Colored Petri Nets
2. Design of Parallel Algorithms Parallel Algorithm Computing All Homomorphisms of Deterministic Finite Automata (all decompositions) algorithm design, analysis and MPI and transputerbased implementations Experimental study of time and space performance of Parallel ocean modeling system with MPI implementation
3. Design and Analysis of Workflow Management Systems Design and Verification of Information Systems, and in particular, Workflow Management Systems Workflow (Mining) Rediscovery Algorithms and their Complexity Workflow Modeling and Analysis Using Petri Nets Modeling and Verifying Manufacturing/ Production Systems as Workflows using Petri Nets
4. Grants
NSF 01-52; ATE Articulation Partnerships, Establishing an Articulated Computer Science Program: From BCC through UMD, co-principal investigator with P. Grocer, BCC; $309,000 CITI, PhaseII-IFAC, Program Committee member, $1 mln, 2004-2005.
Grants, ctnd.
2000-2001; BHE Commomwealth Information Technology Initiative (CITI) Grant, $144,858. 2001-2002; Federal Grant, Naval Undersea Warfare Center, Newport, RI, Software Engineering of Web-enabled Navy, PI, coinvestigators: P. Bergstein and R. Upchurch, $25,000.
Dr. Li Shen
Assistant Professor
Dr. Li Shen
Ph.D., Computer Science, 2004 Dartmouth College, Hanover, NH, USA Thesis: Three Dimensional Shape Analysis with Parametric Surface Modeling M.S., Computer Science, 1996 Shanghai Jiao Tong University, China Thesis: A Rapid Normalization Technique in Term Rewriting Systems B.S., Computer Science, 1993 Xi an Jiao Tong University, China Thesis: The Design and Implementation of A Personnel and Salary Information Management System
Research Areas
Image processing and computer vision Pattern analysis and machine intelligence Data mining and bioinformatics Geometric modeling and graphics
Selected Projects
Shape Classification Goal: Learn a shape-based medical classifier
Healthy
Schizophrenic
Classifier:
Schizophrenic or not?
Selected Projects
Surface registration Sample application: measuring ventricle wall thickness
Joint work with Dartmouth Advanced Imaging Center at Dartmouth Medical School
Selected Projects
Shape analysis of brain structures
Hippocampus Amygdala Entorhinal cortex
Selected Projects
Lung Image Analysis
Lung nodule classification
Goal: Distinguish
Cancer Inflammatory Scar
Joint work with Dartmouth Advanced Imaging Center at Dartmouth Hitchcock Medical Center
Selected Projects
Interactive Vessel Manipulation Goal: effective assessment of angiogenesis and arteriogenesis using computed tomographic angiography
Joint work with Dartmouth Advanced Imaging Center at Dartmouth Medical School
Research areas
Neural Networks
Learning algorithms Architectures Brain modeling and simulations
Invited seminars
Dynamics of Odor Encoding: Neural Circuit Modeling, Seminar on Medical Imaging and Visualization , 2002
M.S., Computer Science, Dec. 2001 The University of Texas at Dallas, USA
Thesis: Burst Segmentation: A New Approach to Reduce Packet Loss in Optical Burst-Switched Networks
B.Eng. (Hons), Computer Science and Eng., Sep. 1999 The University of Mysore, India
Thesis: Design and Implementation of LDAP
Research Interests
Optical Networks Wireless Networks Sensor Networks Satellite Communication Networks Information Security
Selected Publications
Book: J.P. Jue and V.M. Vokkarane, Optical Burst Switched Networks, Springer, 2005. Q. Zhang, V.M. Vokkarane, J.P. Jue, and B. Chen, "Absolute QoS Differentiation in Optical BurstSwitched Networks," to appear, IEEE Journal of Selected Areas of Communications (JSAC), vol. 22, no. 9, Nov. 2004. Q. Zhang, V.M. Vokkarane, and J.P. Jue, "Path Clustering: An Approach to Implement Absolute QoS Differentiation in Optical Burst-Switched Networks," accepted, IEEE Globecom 2004, Dallas, TX. V.M. Vokkarane, J. Wang, R. Jothi, X. Qi, B. Raghavachari, and J.P. Jue, "Dynamic Dual-Homing Protection in WDM mesh Networks," Proceedings, IEEE ICC 2004, Paris, France, June 2004. R. Jothi, and V.M. Vokkarane, "Threshold-Based Differentiated Intermediate-Node Initiated (TDINI) Signaling for Optical Burst-Switched Networks," Proceedings, Informs TELECOM 2004, Mar. 2004. J. Wang, V.M. Vokkarane, X. Qi, and J.P. Jue, "Dual-Homing Protection in WDM Mesh Networks," Proceedings, IEEE/OSA OFC 2004, Los Angeles, CA, Feb. 2004. Q. Zhang, V.M. Vokkarane, B. Chen, and J.P. Jue, "Early Drop and Wavelength Grouping Schemes for Providing Absolute QoS Differentiation in Optical Burst-Switched Networks," Proceedings, IEEE Globecom 2003, San Francisco, CA, vol. 5, pp. 2628-2632, Dec. 2003. V.M. Vokkarane and J.P. Jue, "Burst Segmentation: an Approach for Reducing Packet Loss in Optical Burst-Switched Networks ," Special Issue on Engineering the Next Generation Optical Internet, SPIE/Kluwer Optical Networks, vol. 4, no. 6, pp. 81-89, Nov./Dec., 2003. G. Thodime, V.M. Vokkarane, and J.P. Jue, "Dynamic Congestion-Based Load Balanced Routing in Optical Burst-Switched Networks," Proceedings, IEEE Globecom 03, vol. 5, pp. 2694-2698, Dec. 2003. V.M. Vokkarane and J.P. Jue, "Segmentation-Based Non-Preemptive Scheduling Algorithms for Optical Burst-Switched Networks, " Proceedings, WOBS 2003, Dallas, TX, Oct. 2003. F. Farahmand, V.M. Vokkarane, and J.P. Jue, "Practical Priority Contention Resolution for Slotted Optical Burst Switching Networks, " Proceedings, WOBS 2003, Dallas, TX, Oct. 2003.
Awards
Best Dissertation Award, UT-Dallas, 2003-04 Texas Telecommunication Engineering Consortium Fellowship 2002-03
Research Projects
Optical Burst-Switched Networks
Scheduling and Signaling Quality of Service Congestion Control TCP Performance
Multi-Layer Survivability using Dual-Homing Protection over Wireless and Optical Networks Energy-Efficient Routing and Information Security in Wireless Sensor Networks
Burst Segmentation: minimizes data loss Prioritized Scheduling: supports for different classes of traffic Composite Burst Assembly: further minimizes packet loss Efficient utilization of network resources
Publications: IEEE JSAC 2003, SPIE/Kluwer Optical Networks 2003, IEEE [ICC, OFC, GLOBECOM] 2002
Coordinated Dual-Homing Protection across multiple networks [ICC 2004, OFC 2004]
Dr. Haiping Xu
Assistant Professor
Dr. Haiping Xu
Ph.D. in Computer Science, University of Illinois at Chicago, Chicago, Illinois, 2003. M.S. in Computer Science, Wright State University, Dayton, Ohio, 1998.
Academic/Research Specializations Current teaching and research interests: theoretical computer science, software engineering and distributed computing. Special interest and expertise: model-based software development and agent-oriented software engineering. Specific research issues in this area include:
formal specification and design of complex software systems; model-based development of agent-oriented software, including design and implementation of software agents; real-world applications of agent technology.
Journal Publications
Haiping Xu, Zhiguo Zhang, and Sol M. Shatz, "A Security Based Model for Mobile Agent Software Systems," Submitted to the International Journal of Software Engineering and Knowledge Engineering (IJSEKE), August 2004. Haiping Xu and Sol M. Shatz, ADK: An Agent Development Kit Based on a Formal Model for Multi-Agent Systems, Journal of Automated Software Engineering (AUSE), October 2003, Vol. 10, No. 4, pp. 337365. Haiping Xu and Sol M. Shatz, A Framework for Model-Based Design of Agent-Oriented Software, IEEE Transactions on Software Engineering (IEEE TSE), January 2003, Vol. 29, No. 1, pp. 15-30. Ravi K. Gedela, Sol M. Shatz, and Haiping Xu, Compositional Petri Net Models of Advanced Tasking in Ada-95, Computer Languages, July 1999, Vol. 25, No. 2, pp. 55-87.
Conference Publications
Haiping Xu and Xiaoqin Zhang, "A Methodology for Role-Based Modeling of Multi-Agent Software Systems," Submitted to the 27th International Conference on Software Engineering (ICSE-2005), August 2004. Haiping Xu and Sol M. Shatz, A Framework for Modeling Agent-Oriented Software, In Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21), April 16-19, 2001, Phoenix, Arizona, USA, pp. 57-64. Haiping Xu and Sol M. Shatz, An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce, In Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems (ISADS 2001), March 26-28, 2001, Dallas, Texas, USA, pp. 11-18. Haiping Xu and Sol M. Shatz, Extending G-Nets to Support Inheritance Modeling in Concurrent Object-Oriented Design, In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2000), October 8-11, 2000, Nashville, Tennessee, USA, pp. 3128-3133. Ravi K. Gedela, Sol M. Shatz, and Haiping Xu, Formal Modeling of Synchronization Methods for Concurrent Objects in Ada 95, In Proceedings of the ACM Annual International Conference on Ada (SIGAda'99), October 17-21, 1999, Redondo Beach, CA, USA, pp. 211-220.
Honors
University Fellowship, University of Illinois, Chicago, IL, 2001. Dayton Area Graduate Studies Institute (DAGSI) Scholarship, Dayton, OH, 1998.
Journal Publications
1. Xiaoqin Zhang, Victor Lesser and Sherief Abdallah, Efficient Management of MultiLinked Negotiation Based on a Formalized Model , accepted by the Journal of Autonomous Agents and MultiAgent Systems, to appear. Xiaoqin Zhang, Victor Lesser, Rodion Podorozhny "Multi-Dimensional, MultiStep Negotiation for Task Allocation in a Cooperative System". Journal of Autonomous Agents and MultiAgent Systems, 7, page 1-36, 2004. Xiaoqin Zhang, Victor Lesser and Tom Wagner. A Layered Approach to Complex Negotiations . In the (WIAS) Web Intelligence and Agent Systems: An International Journal. Page 91-104, Vol 2. No. 2. 2004. IOS Press, Netherlands. Victor Lesser, Bryan Horling, Frank Klassner, Anita Raja, Thomas Wagner, and Shelley XQ. Zhang. "BIG: An Agent for Resource-Bounded Information Gathering and Decision Making." In Artificial Intelligence journal, Special Issue on Internet Information Agents, Volume 118, Number 1-2, pp. 197-244, May 2000, Elsevier Science. Also available as UMass Computer Science Technical Report 1998-52. Victor Lesser, Bryan Horling, Anita Raja, Thomas Wagner, and Xiaoqin Zhang. "Resource-Bounded Searches in an Information Marketplace." In IEEE Internet Computing: Agents on the Net, Volume 4, Number 2, pp. 49-57, March 2000, IEEE Computer Society Publications.
2. 3.
4.
5.
Conference Publications
1. 2. Shen, Jiaying; Zhang, Xiaoqin; and Lesser, Victor. Degree of Local Cooperation and its Implication on Global Utility . In Proceedings of Third International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2004). July, 2004. To appear. Xiaoqin Zhang, Victor Lesser and Tom Wagner "A Two-Level Negotiation Framework for Complex Negotiations", In the Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003). pp. 311-317. 2003, Halifax, Canada. Acceptance rate 23%. Xiaoqin Zhang, Victor Lesser and Tom Wagner "Integrative Negotiation In Complex Organizational Agent Systems", In the Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003). pp. 140-146. 2003. Halifax, Canada. Acceptance rate 23%. Xiaoqin Zhang, Victor Lesser "Multi-Linked Negotiation in Multi-Agent System" In the Proceedings of the First International Joint Conference on Autonomous Agents & MultiAgent Systems (AAMAS 2002), acceptance rate 26%. Page 1207-1214. July 15-19, 2002, Bologna, Italy. Xiaoqin Zhang, Rodion Podorozhny, Victor Lesser, "Cooperative, MultiStep Negotiation Over a Multi-Dimensional Utility Function Multi-Agent Systems Negotiation," Proceedings of the IASTED International Conference, Artificial Intelligence and Soft Computing (ASC 2000), pages:136-142. ASTED/ACTA Press, Banff, Canada, July 2000.
3.
4.
5.
Thank You!