1 / 82

Computer Science Faculty Research Overview

Computer Science Faculty Research Overview. CSIAC Meeting November 5 th 2004. 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.

yeva
Download Presentation

Computer Science Faculty Research Overview

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Computer Science Faculty Research Overview CSIAC Meeting November 5th 2004

  2. 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 Faculty Research Areas

  3. Dr. Emad AboelelaAssistant Professor

  4. Dr. Emad AboelelaDegrees 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

  5. Dr. Emad AboelelaTeaching • CIS272 Introduction to Computer Systems • CIS273 Computer Organization and Design • CIS475 Computer Networks • CIS476 Network Programming • CIS577 Computer Networks • CIS579 Multimedia Networking

  6. Dr. Emad AboelelaResearch • Quality-of-service for multimedia networking. • Wireless sensor networks. • Network topology design. • Parallel IP-address forwarding. • Network performance measurement and analysis.

  7. Dr. Emad AboelelaAwards • 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.

  8. Dr. Emad AboelelaGrants • 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.

  9. Dr. Emad AboelelaRecent Publications • Yiluo Song and Emad Aboelela, "A Parallel IP-Address Forwarding Approach Based on Partitioned Lookup Table Techniques”, The 29th Conference on Local Computer Networks, Tampa, Florida, November 2004. • 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. • Phuong Tu and Emad Aboelela, "An Optimization Model for Backbone Network Topology Design Based on Genetic Algorithm”, 7th INFORMS Telecommunications Conference, Florida, March 2004. • E. Aboelela: "Network Simulation Experiments Manual", Morgan KaufmannPublisher, ISBN: 0120421712, June 2003.

  10. Dr. Emad AboelelaRecent Publications • E.Aboelela; C. Douligeris, "Quality of Service via an Optimal Routing Model", Appears in: “Quality and Reliability of Large ScaleTelecommunication Systems”, Peter Stavroulakis (Editor), Publisher: JohnWiley, ISBN: 0-470-84770-0, pp. 281 - 295, February 2003. • 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 • E. Aboelela ; C. Douligeris, "Switching Theory Approach to AlarmCorrelation in Network Management”, 25th Conference on Local ComputerNetworks, LCN'2000, Tampa, Florida, November 2000. • E. Aboelela; C. Douligeris, "Fuzzy Optimization Model For QoS Routing andBandwidth Allocation ", World Scientific Publisher, Advances in Informatics, edited by Dimitrios Fotiadis & Stavros D Nikolopoulos, ISBN 981-02-4192-5, pp. 18-29, July 2000

  11. Dr. Emad AboelelaRecent Publications • 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. • 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. • E. Aboelela; C. Douligeris, "Fuzzy Optimization Model For QoS Routing and Bandwidth Allocation ", 7th Hellenic Conference on Informatics, Ioannina, Greece, August 1999. • E. Aboelela, C. Douligeris, "Fuzzy Metric Approach for Routing in B-ISDN", IEEE 1999 International Conference on Communications, ( ICC99 ), Vancouver, Canada, June 1999.

  12. Dr. Ram Balasubramanian Assistant Professor

  13. Dr. Ramprasad Balasubramanian • Ph.D., Computer Science, June 2000The University of South Florida, FL, USAThesis: Non-Rigid Motion Analysis and its Application to MPEG-4. • M.S.O.R., Operations Research, Aug. 2003The 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

  14. Research Interests • 2-D and 3-D Visualization • Rigid and Non-Rigid Motion Analysis • Pattern Recognition • Artificial Intelligence • Human-Computer Interaction

  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.

  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)

  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

  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

  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

  20. Statistical Border Detection

  21. Circle vs Ellipse – Segmentation Study

  22. Difference in Clustering Based Feature Extraction in SST Satellite Data

  23. Visualization in the CAVE

  24. Non-Rigid Motion Analysis – FAP Estimation

  25. Dr. Bolek Mikolajczak Professor

  26. 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

  27. 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

  28. 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

  29. Combining OO with Petri Nets

  30. Abstract Node Approach

  31. 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

  32. 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

  33. 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.

  34. 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.

  35. 5. Most recent publications • Mikolajczak, B., Wang, Z., Conceptual Modeling of Information Systems with Morphisms of Petri Nets, “Intelligent Information Processing and Web Mining”, IIS’03, 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 SMC’2003, 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, 22nd International Conference onConceptual 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.

  36. Dr. Li ShenAssistant Professor

  37. Dr. Li Shen • Ph.D., Computer Science, 2004Dartmouth College, Hanover, NH, USAThesis: Three Dimensional Shape Analysis with Parametric Surface Modeling • M.S., Computer Science, 1996Shanghai Jiao Tong University, ChinaThesis: A Rapid Normalization Technique in Term Rewriting Systems • B.S., Computer Science, 1993Xi’an Jiao Tong University, ChinaThesis: The Design and Implementation of A Personnel and Salary Information Management System

  38. Research Areas • Image processing and computer vision • Pattern analysis and machine intelligence • Data mining and bioinformatics • Geometric modeling and graphics

  39. 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.

  40. 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 andInternet, 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, pp786-795, Vienna, Austria, August 24-28, 1998.

  41. Healthy Schizophrenic Classifier: Schizophrenic or not? Selected Projects Shape ClassificationGoal: Learn a shape-based medical classifier

  42. Selected Projects Surface registration Sample application: measuring ventricle wall thickness Joint work with Dartmouth Advanced Imaging Center at Dartmouth Medical School

  43. 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 Selected Projects Joint work with Dartmouth Brain Imaging Laboratory at Dartmouth Medical School

  44. 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

  45. 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

  46. Dr. Iren ValovaAssociate Professor

  47. 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

  48. Research areas • Neural Networks • Learning algorithms • Architectures • Brain modeling and simulations • Data Mining • Image Processing • Machine Learning • Artificial Intelligence

  49. 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.

More Related