The Department of Computer ScienceUniversity of Kentucky773 F. Paul Anderson TowerLexington, KY 40506-0046Phone: (859) 257-3961Fax: (859) 323-1971http://www.cs.uky.edu

Please send correspondence to:Ruigang Yange-mail: ryang@cs.uky.edu

or

Andrew M. Klappere-mail: klapper@cs.uky.edu

Computer ScienceVolume 02, Issue 01, August 2006

The University of Kentucky is an

equal op por tu ni ty university

News

Congratulations to Drs. James Griffi oen, Jun Zhang, who have been promoted to full Professor,and Zongming Fei who has been promoted to Associate Professorwith tenure.

Dr. Goldsmith is on sabbatical for the '06--07 academic year. Shewill be spending the Fall at the University of Illinois, Chicago,and hopes to visit colleagues at Rutgers and in Paris, France andUtrecht, the Netherlands, in theSpring.

Dr. Tony Baxter has been working with the UK MedicalCenter (Kentucky CorrectionalHealth Services Network)and CorrectCare (a privatehealth management company)to streamline their healthcare delivery system. Thishas involved building datamanagement systems to track medical expenses, diverting medical services to cost-effectivemedical networks (notably the UK Medical Center), andimplementing systems to audit medical claims. Savings to the

state have been signifi cant and were estimated at $8-10 million the fi rst year. As of July 2006 a fully-functional electronic medical records system has been installed at all state correctional facilities.

Debby Keen attended "Boot Camp for Profs" in Colorado in late June, 2006. This week-long workshop focused on cooperative learning in the college classroom.

Ning Kang, a Ph.D. student under the supervision of Dr. Jun Zhang, successfully defended his dissertation entitled "Approximating Anatomical Brain Connectivity with Diffusion Tensor MRI via Anisotropic Diffusion Simulations," on May 10, 2006.

Ph.D. student Wensheng Shen won the 2006 Presidential Fellowship, from the UK Graduate School.

Ph.D. student Beibei Li won the First Prize in Graduate Student Presentations at the 20th Annual EKU Symposium in the Mathematical, Statistical and Computer Sciences, on March 31, 2006. The title of her presentation was “Application of Web Service in Web Mining”.

The College of Engineering’s E-Day was held on Saturday February 25, 2006. The computer science department held demonstrations in the CS undergraduate lab that illustrated the application of computer science research. The demonstrations were conducted by CS undergraduate students, graduate students, and faculty members. These demonstrations included a sudoku puzzle generator, a fractal graphics demonstration, computer science and the human brain, the personal response system used in lectures, and automated photo recognition. The demonstrations were well received by the public, including the many middle school and high school students who saw them.

Graduate Student Lengning Liu generates a puzzle for a sudoku puzzle fan.

Griffi oen

Zhang

Fei

The Department of Computer Science

Tidbits

Presentations

continued on next page

Drs. Hayes and Dekhtyar were notified of a one-year grant titled “Center of Excellence for Traceability (or Traceability Consortium),” for $203,639 from NASA’s IV&V Facility and Goddard Space Flight Center (GSFC).

Drs. Hayes and Dekhtyar received a one-year grant titled “Use of Information Retrieval and Data Mining Techniques for Requirements Traceability,” for $50K from NASA’s IV&V Facility and Goddard Space Flight Center (GSFC).

Dr. Ruigang Yang received a two-year grant titled "Wide-Area Rapid Iris Image Capture with Pan-Tilt-Zoom Cameras" for $731,827 from US Department of Homeland Security.

Dr. Grzegorz Wasilkowski received a $129,394 National Science Foundation Grant titled "Effi cient Algorithms for Multivariate Problems." This research project runs from August 15, 2006 through August 14, 2009.

Dr. Jun Zhang received a $100,000 New Investigator Research Grant from the Alzheimer's Association to develop diffusion tensor imaging based new analysis techniques for early detection of Alzheimer's disease. This research project runs from July 1, 2006 to June 30, 2008.

Invited Presentations

Dr. Ken Calvert gave an invited keynote speech at the Seventh International Working Conference on Active Networks (IWAN 2005) November 21-23, 2005, in Sophia Antipolis, France. He also gave an invited presentation ("On Policies and Building-block Functions") at the Dagstuhl Workshop on "Autonomic Networking", January 3-6, 2006 in Wadern, Germany.

Dr. Fuhua Cheng gave three invited presentations during his trip in China in June 2006. The presentations are "Inscribed Approximation based Adaptive Rendering of Catmull-Clark Subdivision Surfaces" at the Xiamen University in Xiamen, "Near-Optimum Adaptive Tessellation of General Catmull-Clark Subdivision Surfaces" at the Ocean Universtiy of China in Qingdao, and "Voxelization of Free-Form Solids using Catmull-Clark Subdivision Surfaces"at the Shandong Unviersity in Jinan.

Dr. Hayes gave an invited presentation of "Software Engineering: A Personal Perspective," to the Georgetown College Association for Computing Machinery (ACM) Student Chapter meeting, April 2006. She also gave an invited presentation on her research to the University of Kentucky Association for Computing Machinery (ACM) Student Chapter meeting, November 2005.

Conference and Workshop

Ph.D. student Ning Cao gave a poster presentation entitled "New Computer Technique for Tracking White Matter Fiber with Branching," co-authored by Ning Kang and Jun Zhang, at the 12th Annual EPSCoR Conference, Louisville, KY, May 15, 2006.

Dr. Fuhua Cheng presented two papers, "Subdivision Depth Computation for Catmull-Clark Subdivision Surfaces" and "Parametrization of General Catmull-Clark Subdivision Surfaces and Its Applications," at CAD '06 in Phuket Island, Thailand, June 2006.

Dr. Cheng presented two papers, "Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches" and "Near-Optimum Adaptive Tessellation of General Catmull-Clark Subdivision Surfaces," at Computer Graphics International (CGI'06) in Hangzhou, China, June 2006.

Graduate student Peng Dai and Dr. Judy Goldsmith presented a paper “LAO*, RLAO* or BLAO*" at AAAI Workshop on Heuristic Search, Memory Based Heuristics and Their Applications, 2006.

Dr. Alex Dekhtyar presented "When Domains Require Modeling Adaptations" with Krol Kevin Mathias, Cynthia Isenhour, Judy Goldsmith, and Beth Goldstein at The Fourth Bayesian Modelling Applications Workshop, 2006.

Dr. Raphael Finkel presented a paper, "Reversers: - A programming language construct for reversing out of code," at the International Conference on Systems, Computing Sciences and Software Engineering (SCS205), December 2005.

Dr. Goldsmith presented "When Domains Require Modeling Adaptations" at the Yellow Pig Math Days, a conference and reunion of participants of the Hampshire College Summer Studies in Mathematics Program for High School Students. She attended the program in '77 and taught there in '82

Dr. Goldsmith presented "A Benchmark Model for Decision-Theoretic Planning with Constraints," with Kendra Renee Gehlback, Brandon Laracuente, Cynthia Isenhour, Beth Goldstein and Dr. Miroslaw Truszczynski at the Fourth Bayesian Modelling Applications Workshop during UAI 2006. .Ph.D. student Dianwei Han gave a poster presentation entitled "An Online Condition Number Query System," co-authored by Jun Zhang and Shuting Xu, at the 12th Annual EPSCoR Conference, Louisville, KY, May 15, 2006.

Grants and Awards

Recent and upcoming colloquia

Volume 02, Issue 01

Distinguished Lecture Series

September 14, 2006 - 5:30 p.m.Computing over the Reals: Where Turing Meets Newton Professor Lenore Blum (Carnegie Mellon University Host: Professor Mirek Truszczynski Location: Chemistry/Physics Building Room 139

October 12, 2006 - 5:30 p.m.Grand Challenges for Wireless Sensor Networks Professor Ian F. Akyildiz (Georgia Institute of Technology) Hosts: Professors Mukesh Singhal and D. Manivannan Location: William T. Young Library Auditorium

November 2, 2006 - 5:30 p.m.Beyond the Wireless Frontier: Directions in Wireless ResearchDr. Kevin Kahn (Intel Corporation)Host: Professor Jim Griffi oen Location: William T. Young Library Auditorium

January 25, 2007 - 5:30 p.m.Computer Assisted CertaintyProfessor Harvey Friedman (The Ohio State University)Host: Professor Victor Mare Location: William T. Young Library Auditorium

Date TBA - 5:30 p.m.Shortening the Control Loop in Healthcare: A Computer Science Perspective Professor John Guttag(Massachusetts Institute of Technology)Host: Professor Ken CalvertLocation: TBA

Department ColloquiaJune 21, 2006 - at 2 p.m. Room 241 Hardymon Building High performance Multimedia service in next generation NetworksYi Cui (Vanderbilt University)Hosts: Profs. Zongming Fei and Ruigang Yang

May 10, 2006 - at 2 p.m. RGAN 202 Towards Efficient Boolean Circuit Satisfiability Checking Ilkka Niemelä (Helsinki University of Technology) Host: Prof. Mirek Truszczynski April 5, 2006 - at 4 p.m. RMB (CRMS) 323 Software Requirements to Architecture Jane Cleland-Huang (DePaul University)Host: Prof. Jane Hayes

March 27, 2006 - at 4 p.m. RMB(CRMS)323Discrete Bayesian Network Structure Search with an Application to Functional Magnetic Resonance Imaging DataJohn Burge (University of New Mexico)Host: Prof. Judy Goldsmith

continued on back page

Presentations continued

Dr. Hayes presented the paper “Humans in the Traceability Loop: Can't Live With 'Em, Can't Live Without 'Em” (with Dr. Alex Dekhtyar and Senthil Sundaram), at the Workshop on Traceability of Emerging Forms of Software Engineering (TEFSE) in Long Beach, CA in November, 2005.

Graduate student Ashlee Holbrook presented the paper “Fault-Based Analysis: How History Can Help Improve Performance and Dependability Requirements for High Assurance Systems,” (with Hayes, Inies Chemannoor, and Dave Pruett) at the Fifth International Workshop on Requirements for High Assurance Systems (RHAS), Chicago, IL in November, 2005.

Dr. Andrew Klapper's and former student Andrew Mertz's (now on the faculty at Eastern Illinois University) paper, "The Two Covering Radius of the Two Error Correcting BCH Code," was presented by Dr. Mertz at the 2006 International Symposium on Information Theory in Seattle, WA.

Ph.D. student Eun-Joo Lee gave a presentation entitled "Incomplete LU Preconditioning Enhancement Strategies for Sparse Matrices," co-authored by Jun Zhang, at the 2006 Copper Mountain Conference on Iterative Methods, Copper Mountain, CO, April 2-7, 2006.

Dr. Jeonghwa Lee, a postdoc scholar at the HiPSCCS Lab, gave a poster presentation entitled "Preconditioning Techniques for Large Dense Linear Systems from Electromagnetic Wave Scattering Problems," co-authored by Yin Wang, Jun Zhang, and Cai-Cheng Lu) at the 12th Annual EPSCoR Conference, Louisville, KY, May 15, 2006.

Ph.D. student Miao Liao presented a paper entitled “Robust and Accurate Visual Echo Cancellation in a Full-duplex Projector-camera System” at the International workshop on projector-camera systems (in conjunction with CVPR) in New York City, June 2006.

Students Kevin Mathias, Casey Lengacher, Austin Cornett, and Kendra Renee Gehlbach, all from the "Planning under uncertainty with constraints" project supervised by Drs. Alex Dekhtyar and Judy Goldsmith, presented a demo at AAAI in July, "Factored MDP Elicitation and Plan Display."

Graduate student Gayathri Namasivayam presented a regular research paper, “Generating cellular puzzles with logic programs,” (with Raphael Finkel, Wiktor Marek, Mirek Truszczynski) at 2006 International Conference on Artifi cial Intelligence (ICAI'06) in Las Vegas, June 2006.

Ph.D. student Cheng Qi gave a presentation entitled "Diffusion Tensor Imaging: Conception and Application" at the 20th Annual EKU Symposium in Mathematical, Statistical, and Computer Sciences, Eastern Kentucky University, Richmond, KY, March 2006.

continued on insert page

Nonprofi t Org

US Postage Paid

Lexington, KY

Permit 51

The Department of Com put er ScienceUniversity of Kentucky773 F. Paul Anderson TowerLexington, KY 40506-0046

March 8, 2006 - at 4 p.m RMB (CRMS) 323Computational Complexity of Continuous Problems Henryk Wozniakowski (Columbia University and University of Warsaw)Host: Prof. Grzegorz Wasilkowski

March 3, 2006 - at 4 p.m. RMB (CRMS) 323 Thacher Lectureship in Computer ScienceDavid Kirk (NVIDIA CorporationHost: Prof. Ruigang Yang

Recent and upcoming colloquia - continued from page 3

February 8, 2006 - at 4 p.m. RMB (CRMS) 323Understanding the Function and Connectivity of Human BrainJun Zhang (University of Kentucky)

January 23, 2006 - at 11 a.m. in ASTeCC 149Introducing Processing into Computer NetworksTilman Wolf (University of Massachusetts Amherst)Faculty Candidate

STLP Programming Contest for Middle and High School Students, May 11, 2006Designed and generated by Dr. Raphael Finkel.

Tidbits - continued

Ph.D. student Wensheng Shen gave a poster presentation entitled "Newton's Method for Steady and Unsteady Reacting Flows," co-authored by Jun Zhang and Fuqian Yang (Chemical and Material Engineering) at the 2006 ACM Symposium of Applied Computing, Melbourne, FL, 2006.

Gregory Stump (with the English Department) presented a paper, “Principal parts and the implicative structure of infl ectional paradigms," (with Dr. Raphael Finkel) at the 12th international Morphology Meeting, Budapest, May 2006.

Graduate student Mingxuan Sun presented a poster titled “Geometric and Photometric Restoration of Distorted Documents” at International Conference on Computer Vision (ICCV) in Beijing, China in October 2005.

Ph.D. student Jie Wang gave a poster presentation entitled "A Novel Data Distortion Approach via Selective SSVD for Privacy Protection", at the 12th Annual EPSCoR Conference, Louisville, KY, May 15, 2006.

Ph.D. student Liang Wang presented a paper titled "High Quality Real-time Stereo using Adaptive Cost Aggregation and Dynamic Programming" at Third International Symposium on 3D Data Processing, Visualization and Transmission (3DPVT) in Chapel Hill, NC, June 2006.

Ph.D. students Liang Wang and Miao Liao presented a poster titled "How Far Can We Go with Local Optimization in Real-Time Stereo Matching" at Third International Symposium on 3D Data Processing, Visualization and Transmission (3DPVT) in Chapel Hill, NC, June 2006.

Ph.D. student Liang Wang presented a paper titled "BRDF Invariant Stereo Using Light Transport Constancy" at International Conference on Computer Vision (ICCV) in Beijing, China in October 2005.

Dr. Ruigang Yang presented a short paper titled "View-Dependent Textured Splatting" at Pacifi c Graphics in Macau, China in October 2005.

Professional Activities

Editorial Board:

Dr. Fuhua Cheng was appointed to the editorial board of Journal of CAD & Computer Graphics.

Dr. Mirek Truszczynski was invited to join the editorial board of Journal for Artifi cial Intelligence Research.

Dr. Andrew Klapper served on the editorial board of a special issue of the IEICE Proceedings consisting of journal versions of papers from the 2005 International Workshop on Sequences and Their Applications.

Conference Chairs:

Dr. Mirek Truszczynski served as a program co-chair for the 22nd International Conference on Logic Programming, ICLP-06, August 2006. He also co-organized a special session on Answer-Set Programming at the 11th Workshop on Non-Monotonic Reasoning, NMR-06, May 2006.

Dr. Greg Wasilkowski co-organized two mini-symposia at Monte Carlo and Quasi-Monte Carlo conference, Ulm, Germany, August 2006.

Dr. Ruigang Yang was a session chair for the Third International Symposium on 3D Data Processing, Visualization and Transmission (3DPVT), North Carolina, June 2006,. He is the publicity chair for the International Conference on Artifi cial Reality and Telexistence (ICAT) 2006, Hangzhou, China.

Conference Program Committee:

Dr. Fuhua Cheng: Computer Aided Design (CAD’06), Phuket Island, Thailand, June 2006 Computer Graphics Interface (CGI’06), Hangzhou, China, June 2006.

Dr. Zongming Fei: IEEE 25th Conference on Computer Communications (INFOCOM'06), Barcelona, Spain, April 2006.

Dr. Jane Hayes 29th Intl. Conf. on Software Engineering (ICSE), Educational Track, May 2007.

Dr. Amit Kale: IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR) 2006 IEEE International conference on Image Processing (ICIP) 2006.

Dr. Andrew Klapper: IEEE International Symposium on Information Theory, Seattle, WA, July 2006 The fourth international conference on sequences and their applications (SETA'06), Beijing, China, September 2006.

Dr. Mirek Truszczynski: The 10th International Conference on Principles of Knowledge Representation and Reasoning, United Kingdom, June 2006.

Dr. Ruigang Yang: the Third International Symposium on 3D Data Processing, Visualization and Transmission (3DPVT), North Carolina, June 2006 IEEE International conference on Image Processing (ICIP) 2006, IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR) 2006, The 18th International Conference on Pattern Recognition (ICPR) 2006, The International Conference on Artifi cial Reality and Telexistence (ICAT) 2006, Computer Graphics Interface (CGI’06), Hangzhou, China, June 2006, IEEE International Workshop on Projector-Camera Systems, 2006

Dynamic Data-Driven Application Simulation Dr. Craig D. Douglas Professor of Computer Science

My Research My Research

Dynamic Data-Driven Application Simulation (DDDAS) is a relatively new research area, particularly in the United States and Europe. Information, coupled with effective simulation and analysis, can signifi cantly impact scientifi c, engineering, medical, social, disaster management, and homeland security issues of importance. There is a serious gap between the current computational and information technologies’ capabilities and their ability to meaningfully impact important, and often, time critical problems. This gap limits the usefulness of computational and information science. When an unexpected environmental event occurs, e.g., an earthquake or a tsunami, timely simulation is critical to usefulness.

Very signifi cant computing power is available at many international supercomputer centers while local clusters of fast PCs form the backbone of Grid Computing. Through the prolifi c deployment of sophisticated new generations of sensors, there is a wealth of data acquisition and generation abilities never seen before. However, the lack of coordination between current computational capacity and sensor technology impairs our ability to effectively utilize the continuous fl ood of information. This is a substantial barrier to achieving the potential benefi t computational science can deliver to many application areas including contaminant tracking, wild-land fi re tracking, transportation management, or ensemble weather, climate, or ocean forecasting, just to name a few fi elds that DDDAS can be applied to.

Sensors and data generating devices may take many forms, including simultaneously running other computational simulations. The intent of our group’s DDDAS projects is to directly address DDDAS issues in the context of specifi c application areas in order to provide techniques and tools to effectively demonstrate the potential of dynamic data driven simulations for many other problems.

To support DDDAS’s requirements, data acquisition, data accessing, and data dissemination tools are typically used. Data acquisition tools are responsible for retrieving the real-time or near real-time data, processing, and storing them into a common internal data store. Data accessing tools provide common data manipulation support, e.g.,

querying, storing, and searching, to upper level models. Data dissemination tools read data from the data store, format them based on requests from data consumers and deliver the formatted data to the data consumers.

The NSF is funding three of our DDDAS projects on contaminant identifi cation and tracking and wild-land fi re prediction. Our sensors include reprogrammable optical chemical sensors that can be deployed on buoys or movable drones, ground sensors, specialty infrared cameras (64 mega-pixels and up) attached to airplanes and satellites.

DDDAS projects are highly multidisciplinary in nature and are developing comprehensive IT tools, mathematical models, and prototype infrastructure. DDDAS projects bring comprehensive information and numerical prediction where it is needed in real time.

Our projects involve coordination with researchers at the National Center for Atmospheric Research (NCAR), Texas A&M, Rochester Institute of Technology, University of Colorado at Denver, University of Miami, and University of Utah. Our international partners (two Austrian, one Brazilian) are the Johannes Kepler University Linz, Karl Friedrichs University Graz, and the Laboratório Nacional de Computação Científi ca (LNCC). We receive data for the contaminant projects routinely from our international partners.

I have developed a community web site, http://www.dddas.org, with help from about 50 other DDDAS related projects. It currently has a complete project list, virtual proceedings from workshops from 2000 through 2006, a number of talks on topics that range from disaster management to transportation to homeland security to how a bat fl ies, news items, and pointers to working DDDAS codes.