Sciweavers

1056 search results - page 32 / 212
» Handbook of mathematical functions
Sort
View
MPC
2010
Springer
157views Mathematics» more  MPC 2010»
14 years 1 months ago
The Logic of Large Enough
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
Eerke A. Boiten, Dan Grundy
CASC
2007
Springer
114views Mathematics» more  CASC 2007»
14 years 20 days ago
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation
We consider summation of consecutive values (v), (v +1), . . . , (w) of a meromorphic function (z) where v, w ZZ. We assume that (z) satisfies a linear difference equation L(y) = ...
Sergei A. Abramov, Marko Petkovsek
EUSFLAT
2007
138views Fuzzy Logic» more  EUSFLAT 2007»
13 years 10 months ago
On the Reliability of Multistate Systems with Imprecise Probabilities
We consider the computation of multistate systems reliabilities in the presence of random set estimations for the elements' working abilities. It turns out that the Dempster-...
Michael Wagenknecht, Ulrike Gocht
CORR
2008
Springer
107views Education» more  CORR 2008»
13 years 8 months ago
Maximum Entropy Rate of Markov Sources for Systems With Non-regular Constraints
Using the concept of discrete noiseless channels, it was shown by Shannon in A Mathematical Theory of Communication that the ultimate performance of an encoder for a constrained sy...
Georg Böcherer, Valdemar Cardoso da Rocha Jr....
3DPH
2009
145views Healthcare» more  3DPH 2009»
13 years 6 months ago
The Persistent Morse Complex Segmentation of a 3-Manifold
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
Herbert Edelsbrunner, John Harer