It is shown that all the provably total functions of Basic Arithmetic , a theory introduced by Ruitenburg based on Predicate Basic Calculus, are primitive recursive. Along the proof a new kind ofâ€¦ (More)

Pinâ€™s variety theorem for positive varieties of string languages and varieties of finite ordered semigroups is proved for trees, i.e., a bijective correspondence between positive varieties of treeâ€¦ (More)

2011 IEEE International Conference on Acousticsâ€¦

2011

Panoramic images are a new type of visual data that provide many new possibilities as compared to the classic planar images. Tele-presence and virtual navigation are examples of such interestingâ€¦ (More)

Background: There are great resources of natural zeolite in Iran. Zeolite, an inorganic ion-exchanger, may be used as a suitable technical-economical solution for water treatment in many regions ofâ€¦ (More)

We argue that GÃ¶delâ€™s completeness theorem is equivalent t o completability of consistent theories, and GÃ¶delâ€™s incompleteness theorem is equivalent to the fact that this completion is notâ€¦ (More)

GÃ¶delâ€™s First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a syntactic-semantic notion (that is the consistency of a theoryâ€¦ (More)

BACKGROUND
Although smoking and smokeless tobacco use are recognized as major problems among school-age youth, few studies report on tobacco use in rural areas, especially remote rural areas.
â€¦ (More)

with tow flexible links and rigid joints are investigated which can include an arbitrary number of flexible links. Hamilton principle and finite element approach is proposed to model the dynamics ofâ€¦ (More)

The theory of addition in the domains of natural (N), integer (Z), rational (Q), real (R) and complex (C) numbers is decidable; so is the theory of multiplication in all those domains. By GÃ¶delâ€™sâ€¦ (More)