Collaborative Research: SAIL: An Integration of SAT Solver and Inductive Prover |
0541315 |
Co-funded |
Deepak Kapur |
University of New Mexico |
$145,568.00 |
09/14/2006 |
08/30/2009 |
NSF/Sandia: Collaborative Research: Hybrid Integration of Nano-Scale Quantum Dots with Micron-Scale Photonic Crystal Cavities for Infrared Sensors |
0625897 |
Co-funded |
Hongyou Fan |
University of New Mexico |
$132,000.00 |
09/14/2006 |
08/30/2010 |
NSF Scholarships in Science, Technology, Engineering, and Mathematics |
0630836 |
Co-funded |
Charles Fleddermann |
University of New Mexico |
$499,724.00 |
09/14/2006 |
08/30/2011 |
NeTS-NOSS: Collaborative Research: Future Internet Transient Network Design |
0626380 |
Co-funded |
Chaouki Abdallah |
University of New Mexico |
$209,978.00 |
09/14/2006 |
08/30/2008 |
Brain Science as a Mutual Opportunity for the Physical and Mathematical Sciences, Computer Science, and Engineering |
0647549 |
Co-funded |
Charles Wood |
Santa Fe Institute |
$134,804.00 |
09/14/2006 |
08/30/2007 |
Collaborative Research: Structure formation on small scales and the natue of dark matter |
0607752 |
Co-funded |
Anatoly Klypin |
New Mexico State University |
$95,129.00 |
08/31/2006 |
08/30/2009 |
Creating a Model for Integrating Hydrology Research and Education in High School and Early College Classrooms |
0607952 |
Co-funded |
Anne Huth |
Science Education Solutions Inc |
$148,386.00 |
08/31/2006 |
08/30/2009 |
Collaborative Research: Software and Hardware Support for Efficient Monitoring of Program Behavior |
0541075 |
Co-funded |
Jonathan Cook |
New Mexico State University |
$150,000.00 |
08/31/2006 |
08/30/2010 |
Acquisition of a Multi-Instrument High Performance Liquid Chromatography (HPLC) System for Metabolomics and Translational Genomics Research and Education |
0619747 |
Co-funded |
Erin Silva |
New Mexico State University |
$336,693.00 |
08/31/2006 |
08/30/2009 |
CMG: Collaborative Research on Multiscale Modeling of Arctic Sea Ice |
0621173 |
Co-funded |
Deborah Sulsky |
University of New Mexico |
$437,259.00 |
08/31/2006 |
08/30/2010 |
Collaborative Research: Petascale I/O for High End Computing |
0621538 |
Co-funded |
Arthur Maccabe |
University of New Mexico |
$399,338.00 |
08/31/2006 |
08/30/2010 |
Experimental study of magnetic bubble expansion as a model for extragalactic radio lobes |
0613577 |
Co-funded |
Alan Lynn |
University of New Mexico |
$239,890.00 |
08/31/2006 |
08/30/2010 |
BIC: Collaborative Research: A Biologically Motivated Scaling Theory for |
0621900 |
Co-funded |
Stephanie Forrest |
University of New Mexico |
$230,000.00 |
08/31/2006 |
08/30/2010 |
Doctoral Dissertation: Public Welfare Values of Acequia Irrigation in New Mexico |
0617951 |
Co-funded |
Nejem Raheem |
University of New Mexico |
$10,770.00 |
08/14/2006 |
07/30/2008 |
Doctoral Dissertation Research: The Politics of Subnational Judicial Performance in Brazil and Mexico |
0617767 |
Co-funded |
William Stanley |
University of New Mexico |
$12,000.00 |
08/14/2006 |
07/30/2008 |