184 search results - page 1 / 37 » Two New Criteria for Comparison in the Bruhat Order |
COMBINATORICS
2004
13 years 4 months ago
2004
ASM
2003
ASM
13 years 10 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
BMCBI
2010
13 years 5 months ago
2010
Background: Predicting which molecules can bind to a given binding site of a protein with known 3D structure is important to decipher the protein function, and useful in drug desi...
DISOPT
2008
13 years 5 months ago
2008
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
FPL
2010
Springer
13 years 3 months ago
2010
Springer
Abstract--The second round of the NIST-run public competition is underway to find a new hash algorithm(s) for inclusion in the NIST Secure Hash Standard (SHA-3). This paper present...