Sciweavers

1056 search results - page 87 / 212
» Handbook of mathematical functions
Sort
View
ISSAC
2004
Springer
91views Mathematics» more  ISSAC 2004»
14 years 2 months ago
Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
An orthogonal Ore ring is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore rings, we present an algorithm for...
George Labahn, Ziming Li
AC
2003
Springer
14 years 2 months ago
Concentration Inequalities
Concentration inequalities deal with deviations of functions of independent random variables from their expectation. In the last decade new tools have been introduced making it pos...
Stéphane Boucheron, Gábor Lugosi, Ol...
DATE
2002
IEEE
141views Hardware» more  DATE 2002»
14 years 1 months ago
A Data Analysis Method for Software Performance Prediction
This paper explores the role of data analysis methods to support system-level designers in characterising the performance of embedded applications. In particular, we address the p...
Gianluca Bontempi, Wido Kruijtzer
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
14 years 1 months ago
Equilibrium species counts and migration model tradeoffs for biogeography-based optimization
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
Haiping Ma, Suhong Ni, Man Sun
TABLEAUX
1998
Springer
14 years 1 months ago
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
Bernhard Beckert, Ulrike Hartmer