Sciweavers

8486 search results - page 161 / 1698
» Ordered Enumeration Method
Sort
View
SIAMNUM
2010
89views more  SIAMNUM 2010»
13 years 5 months ago
Convergence of a Fully Conservative Volume Corrected Characteristic Method for Transport Problems
We consider the convergence of a volume corrected characteristics-mixed method (VCCMM) for advection-diffusion systems. It is known that, without volume correction, the method is f...
Todd Arbogast, Wen-Hao Wang
LPAR
2005
Springer
14 years 3 months ago
Another Complete Local Search Method for SAT
Local search algorithms are one of the effective methods for solving hard combinatorial problems. However, a serious problem of this approach is that the search often traps at loca...
Haiou Shen, Hantao Zhang
MMAS
2010
Springer
13 years 5 months ago
Global Energy Matching Method for Atomistic-to-Continuum Modeling of Self-Assembling Biopolymer Aggregates
This paper studies mathematical models of biopolymer supramolecular aggregates that are formed by the self-assembly of single monomers. We develop a new multiscale numerical appro...
Lei Zhang, Leonid Berlyand, Maxim V. Fedorov, Houm...
POPL
2008
ACM
14 years 10 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
SIGMOD
2004
ACM
196views Database» more  SIGMOD 2004»
14 years 10 months ago
FARMER: Finding Interesting Rule Groups in Microarray Datasets
Microarray datasets typically contain large number of columns but small number of rows. Association rules have been proved to be useful in analyzing such datasets. However, most e...
Gao Cong, Anthony K. H. Tung, Xin Xu, Feng Pan, Ji...