The family of stable models

The Family of Stable Models

The family of all stable models for a logic program has a surprisingly simple overall structure, once two naturally occurring orderings are made explicit. In a so-called knowledge ordering based on degree of definedness, every logic program P has a smallest stable model, sP — it is the well-founded model. There is also a dual largest stable model, S P , which has not been considered before. The...

A new family in the stable homotopy groups of spheres

Let $p$ be a prime number greater than three. In this paper, we prove the existence of a new family of homotopy elements in the stable homotopy groups of spheres $pi_{ast}(S)$ which is represented by $h_nh_mtilde{beta}_{s+2}in {rm Ext}_A^{s+4, q[p^n+p^m+(s+2)p+(s+1)]+s}(mathbb{Z}_p,mathbb{Z}_p)$ up to nonzero scalar in the Adams spectral sequence, where $ngeq m+2>5$, $0leq sExt}_A^{s+2,q[(s+2)p...

the application of multivariate probit models for conditional claim-types (the case study of iranian car insurance industry)

هدف اصلی نرخ گذاری بیمه ای تعیین نرخ عادلانه و منطقی از دیدگاه بیمه گر و بیمه گذار است. تعین نرخ یکی از مهم ترین مسایلی است که شرکتهای بیمه با آن روبرو هستند، زیرا تعیین نرخ اصلی ترین عامل در رقابت بین شرکتها است. برای تعیین حق بیمه ابتدا می باید مقدار مورد انتظار ادعای خسارت برای هر قرارداد بیمه را برآورد کرد. روش عمومی مدل سازی خسارتهای عملیاتی در نظر گرفتن تواتر و شدت خسارتها می باشد. اگر شر...

Parametrizing Order-Stable Exponential Family Random Graph Models

a new family in the stable homotopy groups of spheres

let $p$ be a prime number greater than three. in this paper, we prove the existence of a new family of homotopy elements in the stable homotopy groups of spheres $pi_{ast}(s)$ which is represented by $h_nh_mtilde{beta}_{s+2}in {rm ext}_a^{s+4, q[p^n+p^m+(s+2)p+(s+1)]+s}(mathbb{z}_p,mathbb{z}_p)$ up to nonzero scalar in the adams spectral sequence, where $ngeq m+2>5$, $0leq sext}_a^{s+2,q[(s+2)p...