Many body trial wave functions are the key ingredient for accurate Quantum Monte Carlo estimates of total electronic energies in many electron systems. In the Coupled Electron-Ion...
Carlo Pierleoni, Kris T. Delaney, Miguel A. Morale...
Software testing is the primary approach to support software quality assurance. Many novel software testing methods have been proposed to achieve various tasks in recent years. It...
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
Structured query language (SQL) is a classical way to access relational databases. Although SQL is powerful to query relational databases, it is rather hard for inexperienced user...
Guoliang Li, Ju Fan, Hao Wu, Jiannan Wang, Jianhua...
Recently much research has focused on both the supply chain and reverse logistics network design problem. The rapid progress in computer and network technology and the increasingly...
Eoksu Sim, Sungwon Jung, Haejoong Kim, Jinwoo Park