BibSonomy :: author  ::

bookmarks

publications

(1462)

• Computing proximal points of nonconvex functions.
  Warren Hare and Claudia A. Sagastizábal Math. Program. 116 221-258 (2009)
  to dblp by dblp on 2008-11-27 00:00:00
  | URL | BibTeX  
• A Mechanical Analysis of Program Verification Strategies.
  Sandip Ray and Warren A. Hunt Jr. and John Matthews and J. Strother Moore J. Autom. Reasoning 40 245-269 (2008)
  to dblp by dblp on 2008-11-25 00:00:00
  | URL | BibTeX  
• A methodology for in-network evaluation of integrated logical-statistical models.
  Anu Singh and C. R. Ramakrishnan and I. V. Ramakrishnan and David Scott Warren and Jennifer L. Wong SenSys 197-210 (2008)
  to dblp by dblp on 2008-11-24 00:00:00
  | URL | BibTeX  
• Set Representation and Multi-parent Learning within an Evolutionary Algorithm for Optimal Design of Trusses.
  Amitay Isaacs and Tapabrata Ray and Warren Smith Linkage in Evolutionary Computation 419-439 (2008)
  to dblp by dblp on 2008-11-24 00:00:00
  | URL | BibTeX  
• Thermodynamic and structural properties of methanol-water solutions using nonadditive interaction models.
  Yang Zhong and G. Lee Warren and Sandeep Patel Journal of Computational Chemistry 29 1142-1152 (2008)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• Accelerating a Medical 3D Brain MRI Analysis Algorithm using a High-Performance Reconfigurable Computer.
  Jahyun J. Koo and Alan Evans and Warren J. Gross FPL 11-16 (2007)
  to dblp by dblp on 2008-11-17 00:00:00
  | URL | BibTeX  
• HILOG: A Foundation for Higher-Order Logic Programming.
  Weidong Chen and Michael Kifer and David Scott Warren J. Log. Program. 15 187-230 (1993)
  to HILOG HigherOrder Logic by benedikt.linse and 1 other person on 2008-11-14 21:41:23
  | URL | BibTeX  
• A microrobotic adherent cell injection system for investigating intracellular behavior of quantum dots.
  Wenhui H. Wang and Yu Sun and Ming Zhang and Robin Anderson and Lowell Langille and Warren Chan ICRA 407-412 (2008)
  to dblp by dblp on 2008-11-06 00:00:00
  | URL | BibTeX  
• Electrophysiological Measures of Time Processing in Infant and Adult Brains: Weber's Law Holds.
  Elizabeth M. Brannon and Melissa E. Libertus and Warren H. Meck and Marty G. Woldorff J. Cognitive Neuroscience 20 193-203 (2008)
  to dblp by dblp on 2008-10-30 00:00:00
  | URL | BibTeX  
• ACTIVE - Enabling the Knowledge-Powered Enterprise.
  Paul Warren and Jose Manuél Gómez-Pérez International Semantic Web Conference (Posters & Demos) (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX