2607 search results - page 262 / 522 » Complete Functional Synthesis |
140
click to vote
JCB
2000
15 years 4 months ago
2000
We present an implementation of McCaskill's algorithm for computing the base pair probabilities of an RNA molecule for massively parallel message passing architectures. The p...
126
Voted
FSS
2002
15 years 4 months ago
2002
In this work we study approximation of fuzzy functions on a finite set of distinct points. Two types of approximation are considered, one method based on fuzzy linear programming p...
78
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The classical sampling theorem for bandlimited functions has recently been generalized to apply to so-called bandlimited operators, that is, to operators with band-limite...
106
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
108
click to vote
SIAMMAX
2010
14 years 11 months ago
2010
We investigate the structural, spectral, and sparsity properties of Stochastic Galerkin matrices as they arise in the discretization of linear differential equations with random co...