3145 search results - page 92 / 629 » Algebraic Linear Orderings |
137
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
120
click to vote
AML
2004
15 years 3 months ago
2004
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
129
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
—Design of Space-Time Block Codes (STBCs) for Maximum Likelihood (ML) reception has been predominantly the main focus of researchers. However, the ML decoding complexity of STBCs...
126
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...
143
click to vote
SIAMSC
2010
15 years 2 months ago
2010
Abstract. An algebraic multigrid (AMG) method is presented for the calculation of the stationary probability vector of an irreducible Markov chain. The method is based on standard ...