نتایج جستجو برای: type algorithm
تعداد نتایج: 2040276 فیلتر نتایج به سال:
بیمه گران همیشه بابت خسارات بیمه نامه های تحت پوشش خود نگران بوده و روش هایی را جستجو می کنند که بتوانند داده های خسارات گذشته را با هدف اتخاذ یک تصمیم بهینه مدل بندی نمایند. در این پژوهش توزیع های فیزتایپ در مدل بندی داده های خسارات معرفی شده که شامل استنباط آماری مربوطه و استفاده از الگوریتم em در برآورد پارامترهای توزیع است. در پایان امکان استفاده از این توزیع در مدل بندی داده های گروه بندی ...
in new management approaches, in the organizations with inflexible structure, existing of red tapes and interruptions caused by limitations and also non-compliance with environmental changes, create demotivation among staff. with regard to the influence of job motivational potential and its relationship to the type of organizational structure( enabling and dissuasive), the goal of this research...
به کارگیری روشهای بهینه سازی در تحلیل سیستم های عمران، همانند شبکه های توزیع آب و جمع آوری فاضلاب، منابع آب، سازه و... در چند دهه اخیر مورد توجه متخصصین این رشته واقع شده است. با توجه به هزینه بری فراوان طرحهای آب و فاضلاب (شبکه های توزیع آب و جمع آوری فاضلاب) لزوم به کارگیری روشهای نو و به صرفه برای طراحی و اجرای سیستم های مذکور احساس می شود. روشهای سنتی و مرسوم طراحی شبکه های توزیع آب و جمع آ...
We analyze a partial type checking algorithm for the inconsistent domain-free pure type system Type:Type (λ∗). We show that the algorithm is sound and partially complete using a coinductive specification of algorithmic equality. This entails that the algorithm will only diverge due to the presence of diverging computations, in particular it will terminate for all typeable terms.
Since the determination of efficient scheduling plans in sequencing problems with various criterions is considered an important problem, hence in this article a single machine sequencing problem with the minimization type delay and the total weighted lateness objectives are being studied. In this article, the applications of new optimization techniques in sequencing problems and scheduling are ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید