Bibsonomy :: author  ::

bookmarks

publications

(13)

• wannier90: A tool for obtaining maximally-localised Wannier functions.
  Arash A. Mostofi and Jonathan R. Yates and Young-Su Lee and Ivo Souza and David Vanderbilt and Nicola Marzari Computer Physics Communications 178 685-699 (2008)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Terrestrial remote sensing science and algorithms planned for EOS-MODIS
  S.W. Running and C. O. Justice and V. Salomonson and D. Hall and J. Barker and Y. Kaufman and A. H. Strahler and A. Huete and J-P. Muller and V. Vanderbilt and Z-M. Wan and P. Teillet and D. Carneggie International Journal of Remote Sensing 15 3587-3620 (1994)
  to imported by jgomezdans on 2008-05-07 15:36:09
  | BibTeX  
• Open Grid Services Infrastructure (OGSI) Version 1.0.
  S. Tuecke and K. Czajkowski and I. Foster and J. Frey and S. Graham and C. Kesselman and T. Maguire and T. Sandholm and P. Vanderbilt and D. Snelling Global Grid Forum Draft Recommendation (2003)
  to OGSI grid infrastructure services by achorley on 2006-12-14 16:31:40
  | URL | BibTeX  
• NSF Long Term Ecological Research Sites - Praxis et Theoria.
  Judith Bayard Cushing and Kristin Vanderbilt and James Brunt and Amarnath Gupta and Matthew Jones and Peter McCartney SSDBM 303-306 (2005)
  to dblp by dblp on 2005-09-19 00:00:00
  | URL | BibTeX  
• Verification of Nasa Emergent Systems.
  Christopher Rouff and Amy Vanderbilt and Walt Truszkowski and James L. Rash and Michael G. Hinchey AIAI 167-176 (2004)
  to dblp by dblp and 1 other person on 2005-01-27 00:00:00
  | URL | BibTeX  
• Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.
  Christopher Rouff and Amy Vanderbilt and Michael G. Hinchey and Walt Truszkowski and James L. Rash SEFM 24-33 (2004)
  to dblp by dblp on 2005-01-24 00:00:00
  | URL | BibTeX  
• Verification of Emergent Behaviors in Swarm-based Systems.
  Christopher Rouff and Amy Vanderbilt and Michael G. Hinchey and Walt Truszkowski and James L. Rash ECBS 443-448 (2004)
  to dblp by dblp on 2004-06-21 00:00:00
  | URL | BibTeX  
• Verification of NASA Emergent Systems.
  Christopher Rouff and Amy Vanderbilt and Walt Truszkowski and James L. Rash and Michael G. Hinchey ICECCS 231-238 (2004)
  to dblp by dblp and 1 other person on 2004-04-29 00:00:00
  | URL | BibTeX  
• Locally Determined Logic Programs and Recursive Stable Models.
  Douglas A. Cenzer and Jeffrey B. Remmel and Amy Vanderbilt Ann. Math. Artif. Intell. 40 225-262 (2004)
  to dblp by dblp on 2004-02-05 00:00:00
  | URL | BibTeX  
• Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels.
  Douglas A. Cenzer and Jeffrey B. Remmel and Amy Vanderbilt AMAI (2000)
  to dblp by dblp on 2004-02-04 00:00:00
  | URL | BibTeX