Computer Science Faculty Research Overview CSIAC Meeting
November 5 th 2004
Slide 2
Faculty Research Areas Artificial Intelligence and Robotics
Eugene Eberbach Iren Valova Xiaoqin Zhang Networks and Systems Emad
Aboelela Vinod M. Vokkarane Software Engineering Paul Bergstein
Richard L. Upchurch Theory and Formal Methods Jan Bergandy Eugene
Eberbach Boleslaw Mikolajczak Haiping Xu Vision and Graphics Ram
Balasubramanian Adam O. Hausknecht Li Shen
Slide 3
Dr. Emad Aboelela Assistant Professor
Slide 4
Dr. Emad Aboelela Degrees Dr. Emad Aboelela received his Ph.D.
in Computer Engineering from the University of Miami, Florida, in
1998. He received his M.Sc. In Computer Science from Alexandria
University, Egypt, in 1993. He joined the Department of Computer
and Information Science at the University of Massachusetts
Dartmouth in September of 2001
Slide 5
Dr. Emad Aboelela Teaching CIS272Introduction to Computer
Systems CIS273Computer Organization and Design CIS475Computer
Networks CIS476Network Programming CIS577Computer Networks
CIS579Multimedia Networking
Slide 6
Dr. Emad Aboelela Research Quality-of-service for multimedia
networking. Wireless sensor networks. Network topology design.
Parallel IP-address forwarding. Network performance measurement and
analysis.
Slide 7
Dr. Emad Aboelela Awards Provost Travel Award, University of
Massachusetts Dartmouth, Fall 2003 and Spring 2004. Graduate School
Award of Academic Merit, University of Miami, Florida, 1998 Jury
Award for Graduate Scholarship in Electrical & Computer
Engineering University of Miami, Florida, 1998.
Slide 8
Dr. Emad Aboelela Grants National Science Foundation (NSF)
Collaborative Research Grant Redundant Traffic Encoding and Marking
Scheme for Voice-Over-IP Quality-of- Service September 2004 to
September 2006. UMASS Dartmouth Foundation Research Grant,
University of Massachusetts, May 2001 to May 2002.
Slide 9
Dr. Emad Aboelela Recent Publications 1.Yiluo Song and Emad
Aboelela, "A Parallel IP-Address Forwarding Approach Based on
Partitioned Lookup Table Techniques, The 29 th Conference on Local
Computer Networks, Tampa, Florida, November 2004. 2. Phuong Tu and
Emad Aboelela, "Genetic Algorithm Approach for Optimization of
Backbone Network Topology Design, The Fourth International Network
Conference, Plymouth, United Kingdom, July 2004. 3. Phuong Tu and
Emad Aboelela, "An Optimization Model for Backbone Network Topology
Design Based on Genetic Algorithm, 7th INFORMS Telecommunications
Conference, Florida, March 2004. 4.E. Aboelela: "Network Simulation
Experiments Manual", Morgan Kaufmann Publisher, ISBN: 0120421712,
June 2003.
Slide 10
Dr. Emad Aboelela Recent Publications 5. E.Aboelela; C.
Douligeris, "Quality of Service via an Optimal Routing Model",
Appears in: Quality and Reliability of Large Scale
Telecommunication Systems, Peter Stavroulakis (Editor), Publisher:
John Wiley, ISBN: 0-470-84770-0, pp. 281 - 295, February 2003. 6.
E.Aboelela; C. Douligeris, "Fuzzy Reasoning Approach for QoS
Routing in B-ISDN", Journal of Intelligent and Fuzzy Systems,
Application in Engineering and Technology, Vol. 9, pp. 11-27,
November 2000 7. E. Aboelela ; C. Douligeris, "Switching Theory
Approach to Alarm Correlation in Network Management, 25th
Conference on Local Computer Networks, LCN'2000, Tampa, Florida,
November 2000. 8.E. Aboelela; C. Douligeris, "Fuzzy Optimization
Model For QoS Routing and Bandwidth Allocation ", World Scientific
Publisher, Advances in Informatics, edited by Dimitrios Fotiadis
& Stavros D Nikolopoulos, ISBN 981-02-4192- 5, pp. 18-29, July
2000
Slide 11
Dr. Emad Aboelela Recent Publications 9. E. Aboelela ; C.
Douligeris, "Fuzzy Generalized Network Approach for Solving an
Optimization Model for Routing in B-ISDN", Telecommunication
Systems Journal, Vol. 12 (1999) 2-3, pp. 237-263, December 1999.
10. E. Aboelela; C. Douligeris, " Fuzzy Temporal Reasoning Model
for Event Correlation in Network Management ", 24th Conference on
Local Computer Networks, LCN'99,Lowell, Massachusetts, October
1999. 11. E. Aboelela; C. Douligeris, "Fuzzy Optimization Model For
QoS Routing and Bandwidth Allocation ", 7th Hellenic Conference on
Informatics, Ioannina, Greece, August 1999. 12. E. Aboelela, C.
Douligeris, "Fuzzy Metric Approach for Routing in B-ISDN", IEEE
1999 International Conference on Communications, ( ICC99 ),
Vancouver, Canada, June 1999.
Slide 12
Dr. Ram Balasubramanian Assistant Professor
Slide 13
Dr. Ramprasad Balasubramanian Ph.D., Computer Science, June
2000 The University of South Florida, FL, USA Thesis: Non-Rigid
Motion Analysis and its Application to MPEG-4. 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
Slide 14
Research Interests 2-D and 3-D Visualization Rigid and
Non-Rigid Motion Analysis Pattern Recognition Artificial
Intelligence Human-Computer Interaction
Slide 15
Selected Publications 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.
Slide 16
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)
Slide 17
What are mesoscale eddies Mesoscale: Size scale of about 100km
Eddies are energetic swirling currents found all over the ocean
Mesoscale eddies have deep roots of about 5km They can transport
momentum to the sea floor
Slide 18
Why are mesoscale eddies important? Poleward Heat transport
Heat moved by the from the equator towards poles An important
quantity in Climate Studies Oceans are partly responsible for
poleward heat transport Contribution of mesoscale eddies to heat
transport
Slide 19
Why are mesoscale eddies important? Biological communities of
the ocean Strongly affected by ocean circulation and mesoscale
eddies Nutrient rich cold water at the bottom Cold cyclonic eddies
can lift this nutrient waters towards surface Sunlight on surface
helps nutrient rich water promote chlorophyll rich plankton, and
thereby the food chain from plankton to whales
Slide 20
Slide 21
Statistical Border Detection
Slide 22
Circle vs Ellipse Segmentation Study
Slide 23
Difference in Clustering Based Feature Extraction in SST
Satellite Data
Slide 24
Visualization in the CAVE
Slide 25
Non-Rigid Motion Analysis FAP Estimation
Slide 26
Dr. Bolek Mikolajczak Professor
Slide 27
Dr. Bolek Mikolajczak Dr. Habilitis post-doctoral degree in
Computer Science with distinction, Poznan University of Technology
and State Commission on Academic Cadres, 1979 Ph. D. in Computer
Science with distinction, Poznan University of Technology, 1974 MS
in Mathematics, Adam Mickiewicz University, Poznan, Poland, 1972 MS
in Control Engineering with Specialization in Digital Systems,
Poznan University of Technology, 1970
Slide 28
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
Slide 29
Software Development and Engineering of Concurrent Computing
Systems, ctnd. 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
Slide 30
Combining OO with Petri Nets
Slide 31
Abstract Node Approach
Slide 32
2. Design of Parallel Algorithms Parallel Algorithm Computing
All Homomorphisms of Deterministic Finite Automata (all
decompositions) algorithm design, analysis and MPI and transputer-
based implementations Experimental study of time and space
performance of Parallel ocean modeling system with MPI
implementation
Slide 33
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
Slide 34
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.
Slide 35
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, co- investigators: P.
Bergstein and R. Upchurch, $25,000.
Slide 36
5. Most recent publications Mikolajczak, B., Wang, Z.,
Conceptual Modeling of Information Systems with Morphisms of Petri
Nets, Intelligent Information Processing and Web Mining, IIS03,
Zakopane, Poland, June 2-5, 2003; Advances in Soft Computing,
Springer, Physica Series, 2003, pp. 535-540. Mikolajczak B.,
Sefranek, Ch. Integrating Object-Oriented Design with Petri Nets A
Case Study of ATM System, 2003 IEEE International Conference
Systems, Man, Cybernetics SMC2003, Washington, DC, Oct. 5-8, 2003,
IEEE Computer Society Press. Mikolajczak, B., Wang Z., Conceptual
Modeling of Concurrent Systems through Stepwise Abstraction and
Refinement using Petri Net Morphisms, 22 nd International
Conference on Conceptual Modeling, ER2003, Chicago, Illinois, Oct.
13-16, 2003, in: Lecture Notes in Computer Science,
Springer-Verlag, vol. 2813, pp. 433-445. Mikolajczak, B., Stepwise
Abstractions of Workflow Systems using Petri Net Morphisms, Proc.
of the 2004 IEEE International Conference on Networking, Sensing
and Control, March 21-23, 2004, Taipei, Taiwan.
Slide 37
Dr. Li Shen Assistant Professor
Slide 38
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 Xian Jiao
Tong University, China Thesis: The Design and Implementation of A
Personnel and Salary Information Management System
Slide 39
Research Areas Image processing and computer vision Pattern
analysis and machine intelligence Data mining and bioinformatics
Geometric modeling and graphics
Slide 40
Selected Publications (1) Li Shen, James Ford, Fillia Makedon,
and Andrew Saykin. A surface-based approach for classification of
3D neuroanatomic structures. Intelligent Data Analysis, An
International Journal, 8(5), to appear. Li Shen, Ling Gao, Zhenwu
Zhuang, Ebo DeMuinck, Heng Huang, Fillia Makedon, and Justin
Pearlman. An interactive 3D visualization and manipulation tool for
effective assessment of angiogenesis and arteriogenesis using
computed tomographic angiography. SPIE Medical Imaging 2005, San
Diego, California, 12-17 February 2005. Li Shen and Fillia Makedon.
Spherical parameterization for 3D surface analysis in volumetric
images. IEEE Conference on ITCC'04: International Conference on
Information Technology, pp 643-649, Las Vegas, NV, April 5-7, 2004.
Li Shen, Fillia Makedon, and Andrew Saykin. Shape-based
discriminative analysis of combined bilateral hippocampi using
multiple object alignment. Medical Imaging 2004: Image Processing,
SPIE Proceedings 5370, pp 274-282, San Diego, California, 14-19
February 2004. Li Shen, James Ford, Fillia Makedon, Yuhang Wang,
Tilmann Steinberg, Song Ye, and Andrew Saykin. Morphometric
analysis of brain structures for improved discrimination.
MICCAI'03: Medical Image Computing and Computer Assisted
Intervention, LNCS 2879, pages 513-520, Montreal, Canada, Nov
15-18, 2003.
Slide 41
Selected Publications (2) Li Shen, Ling Cheng, Faye Teng,
Fillia Makedon, James Ford, Tilmann Steinberg, and Andrew J.
Saykin. A multimedia system for tracing and studying
regions-of-interest in brain images. MTAC'01: IEEE Multimedia
Technology and Application Conference, pages 238-245, Irvine, CA,
November 7-9, 2001. Li Shen, Ling Cheng, James Ford, Fillia
Makedon, Vasileios Megalooikonomou, and Tilmann Steinberg. Mining
the most interesting web access associations. WebNet'00: World
Conference on the WWW and Internet, pages 489-494, San Antonio, TX,
Oct. 30-Nov. 4, 2000. V. Megalooikonomou, James Ford, Li Shen, and
Fillia Makedon. Data mining in brain imaging. Statistical Methods
in Medical Research, 9(4):359-394, 2000. Li Shen, Hong Shen, Ling
Cheng, and Paul Pritchard. Fast association discovery in derivative
transaction collections. Knowledge and Information Systems, An
International Journal, 2(2):147-160, May 2000. Li Shen, Hong Shen,
and Ling Cheng. New algorithms for efficient mining of association
rules. Information Sciences, 118(1-4):251-268, September, 1999. Li
Shen and Hong Shen. Mining flexible multiple-level association
rules in all concept hierarchies. DEXA'98: The 9th International
Conference on Database and Expert Systems Applications, LNCS 1460,
pp 786-795, Vienna, Austria, August 24-28, 1998.
Slide 42
Selected Projects Classifier:Schizophrenic or not?
HealthySchizophrenic Shape Classification Goal: Learn a shape-based
medical classifier
Slide 43
Selected Projects Joint work with Dartmouth Advanced Imaging
Center at Dartmouth Medical School Surface registration Sample
application: measuring ventricle wall thickness
Slide 44
Selected Projects Shape analysis of brain structures
Hippocampus Amygdala Entorhinal cortex Goal: distinguish the
following populations to help diagnosis Healthy normal Cognitive
complaint Mild cognitive impairment Alzheimer disease Joint work
with Dartmouth Brain Imaging Laboratory at Dartmouth Medical
School
Slide 45
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
Slide 46
Selected Projects Joint work with Dartmouth Advanced Imaging
Center at Dartmouth Medical School Interactive Vessel Manipulation
Goal: effective assessment of angiogenesis and arteriogenesis using
computed tomographic angiography
Slide 47
Dr. Iren Valova Associate Professor
Slide 48
Dr. Iren Valova PhD in Computer Science Tokyo Institute of
Technology, Japan 1997 Postgraduate MS in Applied Mathematics and
Informatics Technical University, Sofia, Bulgaria, 1993 BS/MS in
Computer Science Technical University, Sofia, Bulgaria, 1991
Slide 49
Research areas Neural Networks Learning algorithms
Architectures Brain modeling and simulations Data Mining Image
Processing Machine Learning Artificial Intelligence
Slide 50
Recent Publications - Journal I.Valova, N.Gueorguieva,
Y.Kosugi, Oscillation-driven neural network for simulation of
olfactory system. Springer Neural Computing and Applications,
Vol.13, No.1, pp 65- 79, April 2004. N.Gueorguieva, I.Valova,
DYPOF: Dynamically Adaptive Neural Network With Potential
Functions. Journal of Smart Engineering System Design, 5:517-536,
No.4, 2003. I.Valova, Y.Kosugi. Hadamard-based image decomposition
and compression. IEEE Transactions on Information Technology in
Biomedicine, vol.4, No.4, pp 306-319, December 2000.
Slide 51
Selected Recent Publications - Conference I.Valova,
N.Gueorguieva, F.Troescher, Synchronization of Spiking Neurons
Modeling Inhibition / Excitation Firing, ASME Press Series on
Intelligent Engineering Systems Through Artificial Neural Networks
(ANNIE 2004) I.Valova, G.Milano, K.Bowen, Optimizing Genetic
Algorithms to Train Fully Connected Feedforward Neural Networks,
ASME Press Series on Intelligent Engineering Systems Through
Artificial Neural Networks (ANNIE 2003), pp 391-396, In Part 2:
Evolutionary programming, Volume 13, Smart Engineering System
Design, eds C. Dagli et al, 2003. N.Gueorguieva, I.Valova, Building
RBF Neural Network Topology Through Potential Functions,
Springer-Verlag Series: Lecture Notes in Computer Science.
Vol.2714. Artificial Neural Networks and Neural Information
Processing (ICANN ICONIP 2003), pp 1033 1040, Kaynak, E. Alpaydin,
E. Oja, L. Xu (Eds.), ISBN 3-540-40408-2
Slide 52
Invited seminars Dynamics of Odor Encoding: Neural Circuit
Modeling, Seminar on Medical Imaging and Visualization, 2002
Slide 53
Awards and recognition Best paper award in the Theoretical
Developments in Computational Intelligence category at the
Artificial Neural Networks in Engineering (ANNIE02): Smart
Engineering System Design Neural Networks, Fuzzy Logic,
Evolutionary Programming, and Data Mining conference, St. Louis,
Missouri, USA, November 3-6, 2002 Reviewer for the US Department of
Education, Fund for Improvement for Postsecondary Education grant
evaluation session
Slide 54
Current research projects Simulation of olfactory information
processing Oscillatory model Spiking neuron model
Slide 55
Current research projects Radial basis function neural networks
Potential functions-based learning algorithm Clustering
Slide 56
Current research projects Self-organizing feature maps Growing
parallel architectures and algorithms Autonomous learning SOMs
Slide 57
Current research projects Independent component analysis Neural
network architectures
Slide 58
Dr. Vinod M. Vokkarane Assistant Professor
Slide 59
Dr. Vinod Vokkarane Ph.D., Computer Science, Aug. 2004 The
University of Texas at Dallas, USA Thesis: Design of Architectures
and Protocols for Optical Burst- Switched Networks 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
Slide 60
Research Interests Optical Networks Wireless Networks Sensor
Networks Satellite Communication Networks Information Security
Slide 61
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 Burst- Switched 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 Globecom03, 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.
Slide 62
Selected Publications (cont.) V.M. Vokkarane and J.P. Jue,
"Prioritized Burst Segmentation and Composite Burst Assembly
Techniques for QoS Support in Optical Burst-Switched Networks,"
IEEE Journal of Selected Areas of Communications (JSAC), vol. 21,
no. 7, pp. 1198-1209, Sept. 2003. Q. Zhang, V. M. Vokkarane, B.
Chen, and J.P. Jue, "Early Drop Scheme for Providing Absolute QoS
Differentiation in Optical Burst-Switched Networks," Proceedings,
IEEE HPSR 2003, Torino, Italy, pp. 153- 157, June 2003. V.M.
Vokkarane, G. Thodime, V. Challagulla, and J.P. Jue, "Channel
Scheduling Algorithms using Burst Segmentation and FDLs for Optical
Burst-Switched Networks," Proceedings, IEEE ICC 2003 conference,
Anchorage, Alaska, vol. 2, pp. 1443-1447, May 2003. R. Karanam,
V.M. Vokkarane, and J.P. Jue, "Intermediate Node Initiated (INI)
Signaling: A Hybrid Channel Reservation Technique for Optical
Burst-Switched Networks," Proceedings, IEEE/OSA OFC 2003, Atlanta,
TuJ2, vol. 1, pp. 213-215, Mar. 2003. V.M. Vokkarane, Q. Zhang,
J.P. Jue, and B. Chen, "Generalized Burst Assembly and Scheduling
Techniques for QoS Support in Optical Burst-Switched Networks,"
Proceedings, IEEE Globecom 2002, Taipei, Taiwan, Nov. 2002. V.M.
Vokkarane, K. Haridoss, and J.P. Jue, "Threshold-Based Burst
Assembly Policies for QoS Support in Optical Burst-Switched
Networks," Proceedings, SPIE Optical Networking and Communication
Conference (OptiComm) 2002, Boston, MA, vol. 4874, pp. 125-136,
July 2002. V.M. Vokkarane, J.P. Jue, and S. Sitaraman, "Burst
Segmentation: an Approach for Reducing Packet Loss in Optical
Burst-Switched Networks," Proceedings, IEEE International
Conference on Communications (ICC) 2002, New York, NY, vol. 5, pp.
2673-2677, Apr. 2002. V.M. Vokkarane and J.P. Jue, "Prioritized
Routing and Burst Segmentation for QoS in Optical Burst- Switched
Networks," Proceedings, IEEE/OSA Optical Fiber Communication
Conference (OFC) 2002, Anaheim, CA, WG6, pp. 221-222, Mar.
2002.
Slide 63
Invited Talks and Awards Invited Talks "QoS in Optical
Burst-Switched Networks," Dept. of Computer Science, Hong Kong
University of Science and Technology, Nov. 25, 2002. Burst
Segmentation: an Approach for Reducing Packet Loss in Optical
Burst-Switched Networks, State Univ. of New York (SUNY) at Buffalo,
May 3, 2002. Awards Best Dissertation Award, UT-Dallas, 2003-04
Texas Telecommunication Engineering Consortium Fellowship
2002-03
Slide 64
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
Slide 65
QoS in Optical Burst Switching 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 Composite Burst Assembly
Prioritized Scheduling Burst Segmentation Composite Burst Assembly
Prioritized Scheduling Burst Segmentation Publications: IEEE JSAC
2003, SPIE/Kluwer Optical Networks 2003, IEEE [ICC, OFC, GLOBECOM]
2002
Slide 66
Multi-Layer Survivability using Dual-Homing Protection
Coordinated Dual-Homing Protection across multiple networks [ICC
2004, OFC 2004]
Slide 67
Dr. Haiping Xu Assistant Professor
Slide 68
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.
Slide 69
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.
Slide 70
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. 337- 365. 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.
Slide 71
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.
Slide 72
Invited Seminar Lectures Haiping Xu, A Model-Based Approach for
Development of Multi-Agent Software Systems, , Computer Science
Colloquium, Computer Science Department, University of
Massachusetts Boston, December 2003.
Slide 73
Honors University Fellowship, University of Illinois, Chicago,
IL, 2001. Dayton Area Graduate Studies Institute (DAGSI)
Scholarship, Dayton, OH, 1998.
Slide 74
Current Research Projects Secure, Personalized Mobile Agents
for Stock Trading. Multi-Agent System for Online Auctions.
Role-Based Modeling of Multi-Agent Software Systems.
Slide 75
Dr. Xiaoqin Zhang Assistant Professor
Slide 76
Dr. Xiaoqin Zhang Doctor of Philosophy, Computer Science.
University of Massachusetts at Amherst, September, 2002. Master of
Science, Computer Science. University of Massachusetts at Amherst,
1998. Bachelor of Science, Computer Science. University of Science
& Technology of China, P.R.China, 1995.
Slide 77
Journal Publications 1.Xiaoqin Zhang, Victor Lesser and Sherief
Abdallah, Efficient Management of Multi- Linked Negotiation Based
on a Formalized Model, accepted by the Journal of Autonomous Agents
and MultiAgent Systems, to appear. 2.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. 3.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. 4.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. 5.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.
Slide 78
Conference Publications 1.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. 2.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%. 3.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%.
4.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. 5.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.
Slide 79
Current research projects: sophisticated negotiation This
research is focused on the sophisticated negotiation in multi-agent
systems for complex distributed applications. It explores a number
of ideas to speed up the negotiation and reduce the computational
burden involving how to order overlapping negotiations in time and
abstractions, and how to constrain individual negotiation in terms
of a concept called flexibility and where to pre-plan for the
possibility of re-visiting settled negotiations by introducing
flexibility into the original statement of the issue being
negotiated so as to limit the effects of re-negotiation on other
settled issues. Specifically, we focus on the following issues
related to negotiations in our target application areas: ordering
of multiple Related negotiations, abstraction in hierarchical
negotiation, and flexibility management for sophisticated
negotiations.
Slide 80
Study of Formation of Virtual Organization Virtual organization
refers to the temporary teaming of organizations for the rapid
development of a new product or service; by sharing physical, human
and knowledge resources, via information technologies, a virtual
organization enables member enterprises to share skills, costs,
access to one anothers markets and, at the same time decrease the
risk of investments. To realize this new generation of business
model, the ability to form, operation, and dissolution of virtual
enterprise is of foremost importance. While the concepts of virtual
organization are similar to a traditional vertically integrated
enterprise, however, its implementation in e-marketplace remains a
difficult task as challenges and obstacles remain unsolved. The
project is to implement a multi-agent system that simulates an
artificial e- marketplace, for which we have derive mechanisms for
the decision-making processes in various stages of a virtual
organization. In order to better understand the organizational
problem, we have conducted experiments to study the behaviors of
individual organizations (represented by agents) under different
control settings. In additional, we have modified a statistical
model, that predicts scheduling conflicts and agent rewards, as a
verification tool for the correctness of our agent system.
Slide 81
Emotional and rational agents There are two approaches to build
intelligent agents. Traditional AI approach is to develop rational
agent, rational technologies include searching, logic reasoning,
planning, scheduling, learning, probabilistic reasoning, decision
making, and etc. Another approach is to build emotional agents
based on affective mechanisms. A number of applications for
emotional agents have been explored. However, little work has been
done to study the connection of the traditional AI mechanisms
(rational approaches) and the new affective computing mechanisms
(emotion- based approaches). In this project is to build a hybrid
agent architecture, which integrates both rational reasoning
mechanisms and emotional mechanisms. With such architecture, we are
going to verify the hypothesis that whether the emotional
mechanisms improve the agents performance, and in what
circumstance. We will also like to explore how the emotion affects
agents social behavior. Additionally, this project will create a
test-bed for social science researchers to run experiments and test
hypothesis related to emotion and social behavior.