We use a refined version of Roth’s Lemma, proved with the help of Faltings’ Product Theorem, in order to give an upper bound for the multiplicity of a binary linear recurrence. Résumé Nous utilisons une version du Lemme de Roth, provenant du Théorème du Produit de Faltings, pour majorer la multiplicité d’une récurrence linéaire binaire. Version française abrégée Dans l’article [7] H.-P. Schlick...

Un groupe stable est dit monobasé si tout ensemble définissable est combinaison booléenne de cossettes de sous-groupes définissables. Cette propriété géométrique généralise celle des géométries projectives associées aux espaces vectoriels. La démonstration modèle-théorique de la conjecture de Mordell-Lang pour le cas de corps de fonctions [7] consiste à remplacer le groupe de type fini pour un ...

The majority artificial lift used in MPA Field use PCTGL (Permanent coil tubing gas lift). is installed on several monobore well or dual well. Some wells the have waxy HPPO oil character with pour point between 85-100oF API 30-35. "MM-1" has a 95oF. high Pour of will be problem to solved. MM-1 produced PCTGL. From simulation, design was obtained at depth 2250 ft. With oil, depressant injection ...

— A well known Moser stability theorem states that a generic elliptic fixed point of an area-preserving mapping is Lyapunov stable. We investigate the question of Lyapunov stability for 4-dimensional resonant totally elliptic fixed points of symplectic maps. We show that generically a convex, resonant, totally elliptic point of a symplectic map is Lyapunov unstable. The proof heavily relies on ...

We present the semantic foundations for computing the least fix-point semantics of definite logic programs using only standard operations over boolean functions. More precisely, we propose a representation of sets of first-order terms by boolean functions and a provably sound formulation of intersection, union, and projection (an operation similar to restriction in relational databases) using c...

A general method for homogenization of the electromagnetic properties of a heterogeneous periodic medium is developed, based on its microstructure. This method is inspired by micromechanics (Nemat-Nasser and Hori, 1999). Contrary to other conventional techniques, commonly used in electromagnetism to calculate the overall properties of composites, this microstructurally-based method does not req...