Examples of funded projects...
1) Daniel Marcu of the University of Southern California, through his PDP project, has made publicly available a sentence-level discourse parser that uses a maximum entropy approach (http://www.isi.edu/licensed-sw/spade/). The parser has been downloaded and used by more than 60 students, academics, researchers, and language engineers from around the world. For example, Educational Testing Services is using the discourse parser in order to improve an application for test developers that automatically selects candidate texts that can be used for writing reading comprehension items. 2) Kevin Skadron, of the University of Virginia is using control-theory techniques and thermal / power modeling for dynamically managing temperature and power in microprocessors. On-chip heating is threatening operating speeds and reliability. The microarchitecture has an important role to play in regulating this heat, because the heat is typically localized at a granularity that approximately matches the granularity at which the microarchitecture can adapt at runtime. The project investigate microarchitectural techniques for regulating on-chip operating temperatures (like dynamic voltage scaling), simulation techniques for efficiently modeling heat transport in chips in a way that architects can use in these investigations, and formal feedback-control techniques for dynamically regulating adaptive microarchitectural mechanisms. Results of the project can be reviewed at http://lava.cs.virginia.edu/HotSpot. 3) Kent Seamons at Brigham Young University is developing methods for automated trust negotiation in open systems. Exchange of attribute credentials is a means to establish mutual trust between strangers wishing to share resources or conduct business transactions. Automated Trust Negotiation (ATN) is an approach to regulate the exchange of sensitive information during this process. It treats credentials as potentially sensitive resources, the access to which is under policy control. This project showed that many prior methods of ATN have serious security holes. Tom address these, it introduced a formal framework for ATN that give precise, usable, and intuitive definitions of correct enforcement of policies. The chief safety notion captures the intuitive security goals that are natural under both possibilistic and probabilistic analysis. The researchers proved that two highly diverse approaches to ATN from the literature meet the safety requirements, thus validating the safety of those approaches as well as the usability of the definition. 4) The Pittsburgh Supercomputing Center, part of NSF's Terascale Computing Effort, is providing advanced computing facilities that enable research across a range of science and engineering frontiers. In 2003, the following results were reported. Using 2048 processors of the LeMieux computer at PSC, researchers modeled the Northridge, CA earthquake at 2 cycles per second, nearly double the rate of previous simulations; this is beginning to reveal deep geological features based on surface seismic observations. John Joannopoulos and colleagues at MIT have used PSC to study polarized light in photonic crystals. Tiny, honeycomb-like layers of silicon, photonic crystals have unprecedented ability to trap, guide and control light. Their promise is to manipulate photons, the tiniest lumps of energy in light, with the same precision that semiconductors make possible with electrons. The result will be networks that move data at trillions of bits per second, a thousand times faster than today. For computing, along with a radical leap in processing speed, photonics should shrink by a thousand-fold the size and power needs of circuitry. It's a rapidly emerging technology, with likely impacts in many fields including medical and chemical scanning and sensing devices. Joannopoulos' team set out to demonstrate that, by joining two
About this section
This section indicates the different types of projects which have been funded in the past. Only projects funded under Project Grants or Direct Payments for Specified Use should be listed here. The examples give potential applicants an idea of the types of projects that may be accepted for funding. The agency should list at least five examples of the most recently funded projects.