نتایج جستجو برای: allegorical and national

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

2006
Roland Carl Backhouse

Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review the allegorical foundations of a methodology of designing datatype-generic programs. The effectiveness of the methodology is demonstrated by an extraordinarily concise proof of the well-foundedness of a datatype-generic occurs-in...

Journal: :Axioms 2014
Bartosz Zielinski Pawel Maslanka Scibor Sobieski

Allegories are enriched categories generalizing a category of sets and binary relations. In this paper, we extend a new, recently-introduced conceptual data model based on allegories by adding support for modal operators and developing a modal interpretation of the model in any allegory satisfying certain additional (but natural) axioms. The possibility of using different allegories allows us t...

Journal: :Synopsis: Text, Context, Media 2016

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

introduction: diabetes mellitus is an growing national and international public health concern. the number of people affected by diabetes in world by 2030 will be 69% in developing countries. regular physical activity plays a key role in the management of type 2 diabetes melitus, particularly glycemic control. it has been recommended that peoples with type 2 diabetes participate in moderate-int...

Journal: :Estudios Humanísticos. Filología 1994

Journal: :Trakya üniversitesi edebiyat fakültesi dergisi 2021

Bu çalışmada Bizans Sanatı’nda alegorik bir figür olarak beliren Hades’in ikonografisi, kanonik, apokrif ve edebî kaynaklar ışığında ele alınmaktadır. Antik dönem görsel kaynaklarına dayalı “kült”ünden tanınan, yer altının -veya ölüler ülkesinin- tanrısı Orta Çağ’da süren efsanevi varlığı, ölüm temasının cehennemin görüntüsü tasvirlerinde kendine bulmuştur. imgesi, Septuagint’i temel alan Mezmu...

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

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