Sciweavers

17129 search results - page 475 / 3426
» Applied Computing
Sort
View
MOC
2000
89views more  MOC 2000»
15 years 6 months ago
Computation of relative class numbers of CM-fields by using Hecke L-functions
We develop an efficient technique for computing values at s = 1 of Hecke L-functions. We apply this technique to the computation of relative class numbers of non-abelian CM-fields ...
Stéphane Louboutin
139
Voted
FOSSACS
2009
Springer
16 years 1 months ago
On the Expressive Power of Restriction and Priorities in CCS with Replication
Jesús Aranda, Frank D. Valencia, Cristian V...
FOSSACS
2009
Springer
16 years 1 months ago
A Kleene Theorem for Polynomial Coalgebras
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan...
RTSS
2009
IEEE
16 years 1 months ago
Verifying Tolerant Systems Using Polynomial Approximations
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh ...