نتایج جستجو برای: type algorithm

تعداد نتایج: 2040276  

پایان نامه :0 1391

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بیرجند - دانشکده ادبیات و علوم انسانی 1392

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علم و صنعت ایران - دانشکده مهندسی عمران 1386

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

Journal: :Electronic Notes in Theoretical Computer Science 2002

Journal: :Journal of the Korea Society of Computer and Information 2014

Journal: :Dynamic Games and Applications 2015

Journal: :Journal of the Korea Society of Computer and Information 2016

Journal: :Electr. Notes Theor. Comput. Sci. 2011
Andreas Abel Thorsten Altenkirch

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 ...

Journal: :Electronic Notes in Theoretical Computer Science 2011

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید