An application of non-standard model theory

نویسندگان

چکیده

منابع مشابه

an application of equilibrium model for crude oil tanker ships insurance futures in iran

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

an application of fuzzy logic for car insurance underwriting

در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...

Spectral Theory for the Standard Model of Non-Relativistic QED

For a model of atoms and molecules made from static nuclei and non-relativistic electrons coupled to the quantized radiation field (the standard model of non-relativistic QED), we prove a Mourre estimate and a limiting absorption principle in a neighborhood of the ground state energy. As corollaries we derive local decay estimates for the photon dynamics, and we prove absence of (excited) eigen...

متن کامل

Hypercomputability. An application of non standard methods to recursion theory and computable analysis

The aim of this talk is to apply non standard methods to recursion theory [5] and computable analysis [7]. Some direct consequences of this approach are a (new) notion of hypercomputable function and the extension of the theory of representations (see [7]) to non standard universes. The hypercomputable functions we will introduce can be considered as functions computed by abstract Turing machin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Algebra

سال: 1979

ISSN: 0021-8693

DOI: 10.1016/0021-8693(79)90176-5