328,002 research outputs found
Sequential decision problems, dependently typed solutions
No full textWe propose a dependently typed formalization for a simple class of sequential decision problems. For this class of problems, we im- plement a generic version of Bellman's backwards induction algorithm [2] and a machine checkable proof that the proposed implementation is correct. The formalization is generic. It is presented in Idris, but it can be easily translated to other dependently-typed programming languages. We conclude with an informal discussion of the problems we have faced in extending the formalization to generic monadic sequential decision problems.Non peer reviewe
Remembering my good teacher almarhum Prof. Dr. Safwan Idris
No full textThough many people come and go in our lives, only a few leave a lasting impression on our hearts. They aren’t remembered for their power, influence, or wealth, but for their genuine nature, warmth, love, and humility. Often, these remarkable individuals are cherished long after they’ve passed.
Upon their departure, they break into countless fragments, like precious gems, and remain in the hearts of those who knew them. The memories of their unique qualities continue to live on, forever etched in the minds of those they touched.
During my time as a foreign student in Banda Aceh (1986-1992), I had the privilege of becoming acquainted with one of the humblest scholars at IAIN Ar-Raniry—( now UIN Ar- Raniry), Dr. Safwan Idris. Throughout my five years as a student in Aceh, I had numerous opportunities to engage with him—attending his Khutbahs(Friday Sermons) and academic presentations. In these interactions, I found him to be a profoundly knowledgeable scholar, with every word he spoke full of wisdom. In terms of character, he was a soft-spoken individual who consistently s
Idris zonatus, n.sp.
No full text<i>Idris zonatus</i> (KIEFFER, 1910) <p> <i>Acolus zonatus</i> n.sp.: KIEFFER 1910b: 294 (descr., Seychelles).</p> <p> <i>Acolus</i> <i>zonatus</i> KIEFFER, 1910: KIEFFER 1910c: 102 (cat.).</p> <p> <i>Acolus zonatus</i> n.sp.: KIEFFER 1912: 55 (key, descr. Ƌ ♀, Seychelles).</p> <p> <i>Acolus</i> <i>zonatus</i> KIEFFER, 1910: KIEFFER 1926: 157 (key), 162 (tax., descr. Ƌ ♀, Seychelles).</p> <p> <i>Idris zonatus</i> (KIEFFER, 1910): MASNER 1965: 80 (tax., Seychelles).</p> <p> <i>Idris</i> (<i>Idris</i>) <i>zonatus</i> (KIEFFER, 1910): HUGGERT 1979: 11 (key), 13 (key), 36 (figs 71-76), 77 (tax., descr. Ƌ ♀, Seychelles).</p> <p> <i>Idris zonatus</i> (KIEFFER, 1910): JOHNSON 1992: 417 (cat.).</p> <p> <i>Idris zonatus</i> (KIEFFER, 1910): MADL 2013: 239 (cat. Seychelles).</p> <p> <i>Idris zonatus</i> (KIEFFER, 1910): GERLACH 2013: 366 (red list Seychelles).</p> <p>D i s t r i b u t i o n: Seychelles: Inner Seychelles (Mahé).</p> <p>Known from the Afrotropical and Palaearctic regions.</p>Published as part of <i>Madl, Michael, 2016, A catalogue of the family Platygastridae (Platygastroidea) of the Malagasy subregion. Part II: Subfamilies Scelioninae, Teleasinae and Telenominae (Insecta: Hymenoptera), pp. 1493-1550 in Linzer biologische Beiträge 48 (2)</i> on page 1503, DOI: <a href="http://zenodo.org/record/5355561">10.5281/zenodo.5355561</a>
États-unis
No full textFassassi Idris. États-unis. In: Annuaire international de justice constitutionnelle, 26-2010, 2011. Constitutions et droit pénal - Hiérarchie(s) et droits fondamentaux. pp. 617-643
The study of Mevlâna İdris Zengin's tale books in respect of basic elements of children's literature
No full textEğitim Bilimleri Enstitüsü, Türkçe Eğitimi Ana Bilim DalıÇocuk edebiyatımızda son yıllarda nitelikli yayın sayısında önemli bir artış gözlemlenmektedir. Çocuklara yönelik nitelikli yayınlar veren, Türk Çocuk Edebiyatının önde gelen yazarlarından biri de Mevlâna İdris Zengin'dir.Bu çalışmada ağırlıklı olarak masal türünde eserler veren Mevlâna İdris Zengin'in 23 kitapta yer alan 42 masalı, çocuk edebiyatının temel ögeleri olarak belirlenen biçimsel olarak ?büyüklük, kâğıt, kapak, cilt, sayfa düzeni, harfler ve resimler?; içerikle ilgili olarak ise ?konu, karakterler, dil, anlatım ve iletiler? açısından inceleme konusu yapılmıştır. Eserlerin çocuk edebiyatı içerisindeki yeri ortaya konulmaya çalışılmıştır.Araştırmanın amacı, Mevlâna İdris Zengin'in masal türündeki kitaplarının çocuk edebiyatı eserlerinde bulunması gereken iç ve dış yapı ölçütlerine uygunluğunu ortaya koymaktır. Araştırmada nitel araştırma yöntemlerinden betimsel tarama modeli kullanılmıştır. Araştırmanın kapsamını yazarın 23 adet masal kitabı oluşturmaktadır. Çalışmanın başında çocuk edebiyatı eserlerinde bulunması gereken temel ölçütler verilerek yapılan değerlendirmelerin dayandığı temeller ortaya konulmuştur. Yazarın masalları bu ölçütler doğrultusunda incelenmiş ve eserlerin çocuklarda edebî zevk oluşturabilecek nitelikler taşıdığı, nitelikli ve yetkin olduğu sonucuna ulaşılmıştır.Anahtar Kelimeler: Mevlâna İdris Zengin, çocuk edebiyatı, çocuk kitapları, masallar, masallarla çocuk eğitimi.In recent years, a considerable increase in the number of qualified publications has been observed in our children?s literature. On of the distinguished and forerunner writers of Turkish children?s literature who presented qualified publications towards children is Mevlâna Idris Zengin.In this study, Mevlâna Idris Zengin?s 42 tales taking place in his 23 books giving fabulous works of art predominantly have been dealt as a research subject in respect of size, paper, cover, volume, order of page, letters and pictures stylistically and in respect of subject, characters, language, narrative and messages concerning content related determined as the key elements of children?s literature. The place of the works of art in children?s literature has been tried to be revealed.The aim of the study is to reveal the adaptation of Mevlana Idris Zengin?s fabulous books to the internal and external structure criteria that would be required in children?s literature works. In the study, the descriptive screening model from qualitative research methods has been used. The scape of the study has included the writer?s 23 items of tale books. At the beginning of the study, the origins of evaluations carried out have been put forth by being given key criteria that would be required in children?s literature works. The writer?s tales have been studied in accordance with these criteria and it has been concluded that the works have had qualifications to be able to form literary pleasure in children and have been qualitative and component.Key Words: Mevlâna Idris Zengin, children?s literature, children books, tales, children?s education through tales
SİYASET VE SOSYAL BİLİMLER BİLİM DALI TOPLUMSAL YAPI ANALİZİ TARTIŞMALARINDA İDRİS KÜÇÜKÖMER
No full textBu çalışmanın konusu İdris Küçükömer'in toplumsal yapı analizi ve bu
analizin Türk düşünce tarihindeki yeridir. İdris Küçükömer'in toplum kavrayışı
ve bu kavrayışta zaman içinde meydana gelen değişimler dönemin siyasal ve
düşünsel özellikleri ile ilişkilendirilerek ele alınmıştır. Bu doğrultuda önce
toplumsal yapı kavramı tanımlanmış ve kavram üzerindeki tartışmalara
değinilmiştir. Ardından İdris Küçükömer'in ilk yazılarını kaleme aldığı
1960'ların siyasal ve düşünsel ortamı Küçükömer'in yazıları ile beraber
değerlendirilmiştir. Yine aynı dönemin Osmanlı toplum yapısı tartışmalarında
Asyagil üretim biçimi ve feodal üretim biçimi analizleri sırayla ele alınmış ve
İdris Küçükömer'in fikirlerinin bu tartışma içindeki yeri tespit edilmiştir. Son
bölümde 1980'li yıllarda Türk toplum yapısına ilişkin tartışmalarda ön plana
çıkan sivil toplum kavramı ve İdris Küçükömer'in sivil toplum anlayışı ele
alınmıştır.
İdris Küçükömer'in toplumsal yapı kavrayışı sosyal ve ekonomik
temellere sahiptir. Küçükömer pek çok yazısında ekonomik meseleleri ele
almasına karşın, sosyal ve ekonomik meselelerdeki karşılıklı ilişki üzerine
odaklanmıştır. Küçükömer'in toplumsal yapı analizi Asyagil üretim biçimi ve
sivil toplumdan beslenmiştir. İdris Küçükömer özellikle son yazılarında Doğu
ve Batı toplumları arasındaki farkı sivil toplum kavramını merkez alarak
açıklamıştır.The subject of this study is İdris Küçükömer's social structure analysis
and the place of this analysis in history of Turkish thought. İdris Küçükömer's
comprehension of society and the changes which have occurred in his
comprehension of society with time have been examined in relation to the
political and intellectual features of the period. In this way, first, the concept
of social structure has been defined, and then the discussions on the concept
have been mentioned. Later, the political and intellectual environment in
1960's when İdris Küçükömer wrote his first writings have been evaluated
together with Küçükömer's writings. In debates on Ottoman social structure
again in the same term, the analysis of Asiatic mode of production and feudal
mode of production have been examined respectively, and the place of İdris
Küçükömer's ideas within these debates has been determined. In the final
part, the concept of civil society which came to the fore in 1980's in the
debates on structure of Turkish society and İdris Küçükömer's understanding
of civil society have been examined.
İdris Küçükömer's comprehension of social structure has got the
social and economic origins. Although İdris Küçükömer dealt with the
economic issues in his many writings, he focused on correlating between
economic and social issues. İdris Küçükömer's social structure analysis was
nurtured by Asiatic mode of production and civil society. Especially in the last
writings Küçükömer explained the difference between the eastern and
western societies considering the concept of civil society as the center
In situ method for power re-equalization of wavelength pulses inside of OCDMA codes
No full textA simple in-situ method to equalize power among individual wavelengths pulses representing two-dimensional wavelength-hopping time-spreading OCDMA code originally generated by a fibre Bragg grating-based OCDMA encoder is presented. Experimental data obtained in a field-based multiuser OCDMA testbed shows that applying this method results in system performance enhancements which was demonstrated by observing improved bit error rate (BER) during the field trials
Et-Ta'lîku's-sabîh özelinde Muhammed İdris El-Kandehlevî'nin hadis şerhçiliği
No full textBu çalışmanın temel konusu, et-Ta’lîku’s-sabîh özelinde müellifi Muhammed İdris el-Kandehlevî'nin hadis şerhçiliğidir. ABSTRACT The basic subject of our study -in particular al-Ta’leek al-sabeeh- is hadith’s expound of Mohammad Idris Qandahlawi who author‘s this book
Idris Karačović, Servant of Nikola Šubić Zrinski, Ottoman Bey and Pasha
No full textU radu je predstavljena karijera osmanskoga krajiškog bega Idrisa Karačovića, koji je kao dječak bio sluga Nikole Šubića Zrinskog. Tijekom osmanskog zauzeća Sigeta 1566. godine on je zarobljen i nakon toga je postao musliman. Njegovo kršćansko ime je zasad nepoznato. Deset godina poslije zarobljavanja Idris se pojavljuje u izvorima kao kapidžibaša (glavni vratar) bosanskog sandžakbega Ferhada Sokolovića. Krajem 1579., odnosno početkom 1580. godine, Idris je postao sandžakbegom sandžaka Krupa i od tada počinje njegova karijera kao osmanskoga krajiškog bega. Nakon Krupe Idris je imenovan sandžakbegom sandžakā Simontornya, Pakrac, Lika, Filek, Siget i Segedin. Godine 1594. Idris je postao beglerbeg novoosnovanog ejaleta Papa i na tome mjestu se zadržao do druge polovice 1596. godine, kada je imenovan beglerbegom ejaleta Bosna. Idris je samo jednu godinu upravljao ovim ejaletom, a onda mu se gubi svaki trag u izvorima. Iz Idrisove prepiske s ugarskim magnatom Ferenczom Batthyányijem može se vidjeti da je, makar posredno, održavao vezu i s Jurjem IV. Zrinskim, sinom Nikole Šubića Zrinskog. Međutim, iz te prepiske ne može se zaključiti je li Juraj znao da je Idris u svojoj dječačkoj dobi bio sluga njegova oca Nikole.This paper discusses the career of Idris Karačović, the Ottoman Bey of the Military Frontier who as a child was the servant of Nikola Šubić Zrinski. During the Ottoman siege of Szigetvár in 1566 he was taken prisoner and subsequently became a Muslim. His Christian name is so far unknown. Two years after he was taken prisoner, Idris appeared in sources as the kapidžibaša (chief gatekeeper) of the Bosnian Sanjak-bey Ferhad Sokolović. At the end of 1579 and the beginning of 1580 Idris became Sanjak-bey of the Sanjak of Krupa and at that time his career as an Ottoman Military Frontier Bey started. After Krupa Idris was appointed Sanjak-bey of the Simontornya, Pakrac, Lika, Filek, Siget and Segedin sanjaks. In 1594 Idris became the beylerbey of the newly established Eyalet of Papa and officiated there until the second half of 1596 when he was appointed beylerbey of the Bosnia Eyalet. Idris governed this Eyalet for only one year, after that there are no traces of him in the sources. From the correspondence with the Hungarian magnate Ferencz Batthány it is evident that he maintained contact, although only indirectly, with Juraj IV Zrinski, the son of Nikola Šubić Zrinski. However, from this correspondence it is not clear whether Juraj knew that Idris had in his childhood been a servant of his father Nikola
- …
