119 search results - page 10 / 24 » Tree-Width for First Order Formulae |
SIAMSC
2008
13 years 7 months ago
2008
Abstract. We study high order numerical quadratures to one dimensional delta function integrals in this paper. This is motivated by the fact that traditional numerical quadratures ...
BMCBI
2007
13 years 7 months ago
2007
Background: Structure elucidation of unknown small molecules by mass spectrometry is a challenge despite advances in instrumentation. The first crucial step is to obtain correct e...
ICFEM
2007
Springer
14 years 1 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
IAT
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--In this paper, we study the method of ranking intuitionistic fuzzy numbers. Firstly a possibility degree formula is defined to compare two intuitionistic fuzzy numbers. W...
CHES
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a new shape for ordinary elliptic curves over fields of characteristic 2. Using the new shape, this paper presents the first complete addition formula...