Sciweavers

756 search results - page 34 / 152
» Recent progress with BOXES
Sort
View
CPHYSICS
2008
62views more  CPHYSICS 2008»
14 years 9 months ago
Trial wave functions for high-pressure metallic hydrogen
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...
CSEE
2011
Springer
14 years 1 months ago
Teaching software testing methods based on diversity principles
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...
Zhenyu Chen, Jinyu Zhang, Bin Luo
AAAI
2011
13 years 10 months ago
Termination and Correctness Analysis of Cyclic Control
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...
CIDR
2011
401views Algorithms» more  CIDR 2011»
14 years 1 months ago
DBease: Making Databases User-Friendly and Easily Accessible
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...
GECCO
2004
Springer
234views Optimization» more  GECCO 2004»
15 years 3 months ago
A Generic Network Design for a Closed-Loop Supply Chain Using Genetic Algorithm
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