1174 search results - page 87 / 235 » Derivation of Characteristic Formulae |
146
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
108
click to vote
MOC
2002
15 years 3 months ago
2002
Abstract. In this paper, we are interested in the evaluation of the zeta function of the simplest cubic field. We first introduce Siegel's formula for values of the zeta funct...
177
click to vote
QUESTA
2008
15 years 3 months ago
2008
We introduce the Conditional Mean Value Analysis (CMVA) algorithm, an exact solution method for product-form load-dependent closed queueing networks that provides a numerically st...
144
click to vote
SMA
2008
ACM
15 years 3 months ago
2008
ACM
We convert any quad manifold mesh into an at least C1 surface consisting of bi-cubic tensor-product splines with localized perturbations of degree bi-5 near non-4-valent vertices....
155
click to vote
JCO
2010
15 years 2 months ago
2010
We study the extremal parameter N(n, m, H) which is the largest number of copies of a hypergraph H that can be formed of at most n vertices and m edges. Generalizing previous work...