1998 - 1999 CS Annual Report  Research
choices.gif (4488 bytes)

 

Pending Proposals

Investigator

Sponsor

Title

Award

Period of Award

Arms NSF Reference Links As a Measure of Changing Scientific Communication 591,317 1/1/00 12/31/02
Cardie NSF An Integrated Approach for Reducing Information Overload in Digital Library Text Retrieval Systems 

565,723

1/1/00

12/31/02

Cardie DARPA Rapidly Portable Translingual Information Extraction and Interactive Multidocument Summarization

2,073,410

1/1/00

12/32/03

Constable NSF Enhancing Proof Assistant Systems

22,200

1/100

12/31/01

Elber NIH Long Time Dynamics of Biomolecules 1,625,600 4/1/00 3/31/05
Elber NSF Kinetics of Ion Channels by Atomically Detailed Computer Simulations 465.644 4/1/00 3/31/03
Gomes DARPA Fusion of Concepts from Artificial Intelligence, Operations Research and Control Theory for Command and Control of Military Operations 705,780 8/1/99 2/28/01
Lagoze NSF Integrating and Navigating Epring Archives Through Citation-Linking 291,651 9/1/99 8/31/02
Lagoze NSF Metadata fro Resource Discovery of Multimedia Digital Objects

240,000

6/1/99

5/31/02

Lee NSF CAREER:  Exploiting Unannotated Data for Natural Language Processing

471,500

1/1/00

12/31/03

Pingali/Illinois  NSF Advanced Compilation Techniques for MATLAB

399,999

6/1/99

5/31/02

Pingali/Dela. NSF Next Generation Software

503,655

5/1/99

4/30/02

Pingali/Dela. NSF A Threaded Virtual Machine for a New Generation of High Performance parallel Systems

244,706

2/1/00

1/31/03

Schneider/
Morrisett
AFOSR Language Based Security for Extensible Systems

846,391

1/1/00

12/31/02

Seshadri DARPA Flexible Decision Support in Device-Saturated Environments 2,695390 6/1/99 5/31/02