126,041 research outputs found
Idris semiflaviventris Veenakumari 2021, sp. n.
No full textIdris semiflaviventris Veenakumari sp. n. * (Figs 1–6) Material examined: Holotype, female (ICAR / NBAIR / P2693), INDIA: Tamil Nadu: Kodaikanal, Shenbaganur, 10 ° 14’01’’N 77 ° 30’47’’E, 1865m, YPT, 02.IV.2014. Paratypes: 1 fe- male, (ICAR / NBAIR / P2694), same data as holotype; 2 males, (ICAR / NBAIR / P2695, P2696), same data as holotype. Description: Female body length = 0.98 mm (m = 0.93(0.88–0.98) mm, n = 2). Male body length = 0.83 mm (m = 0.85 (0.83–0.86) mm, n = 2). Colour (Figs 1 & 3): Head, mesosoma and T1 dark brownish black; remainder of metasoma yellowish brown; antenna brownish black; coxa, femur and anterior 3/4th of tibia blackish brown and remainder of leg brownish black. Head (Figs 1, 2, 5 & 6): Vertex and dorsal mesonotum covered with dense short white setae; head 1.23× as wide as high and 1.3× as high as long; IOS very short, 0.3× width of head, 0.57× eye length; dorsal frons rugose, antennal scrobe distinct on either side of central keel; vertex rugose; gena densely striate; anterior and posterior margins of gena parallel and converging dorsally; POL> LOL in ratio of 20.2:15.4; posterior ocelli contiguous with orbits; distance between hyperoccipital carina and posterior margin of lateral ocellus <0.4× MOD; posterior margin of eye touching hyperoccipital carina, densely setose, subequal in length and width; interantennal process rugose, protruding; facial striae and malar striae distinct; A1 and clava subequal in length; A2 3.1× as long as A3; A3 subequal in length and width; clava 2× as long as wide. Mesosoma (Figs 1, 5 & 6): Mesoscutum and mesoscutellum 0.65× and 0.57× as long as wide respectively; both mesoscutum and mesoscutellum with same sculpture as that on vertex; notauli absent; lateral pronotal area dorsally rugose, remainder predominantly smooth with sparse weak transverse carinae posteriorly; subacropleural sulcus and mese- pimeral sulcus foveate, speculum with deep furrows; mesopleural pit and mesopleural ca- rina distinct; ventral mesopleuron smooth with a rugose patch medially; ventral margin of mesopleuron extending as a narrow structure; metapleuron dorsally with transverse cari- nae, remainder smooth except for foveate metapleural sulcus posteriorly; paracoxal sulcus indicated as a furrow; posterior margin of mesoscutellum ‘V’ shaped, extending over an- terior margin of T1 hiding metascutellum and medial propodeum; posterior mesoscutel- lar sulcus foveate; propodeum triangular with vertical carinae, visible dorsolaterally, with postero-lateral corners extending as a spine; fore wing sclerite narrow extending up to T1. Metasoma (Figs 1, 5 & 6): Metasoma 0.82× as long as wide; T1 distinctly visible dor- sally and strongly costate, with a triangular granular patch laterally; T2 with anterior onethird costate; the remainder of T2 and other tergites with granular sculpture; T2 longest and widest of all tergites; posterior margins of T1 and T2 subequal; T2 1.4× as long as T3; T2 0.25× as long as the width of its anterior margin; submarginal ridge well impressed. *urn:lsid:zoobank.org:act:ABC05E92-840B-4AFE-B01D-76AA070549E7 Male (Figs 3 & 4): Similar to female. Antenna moniliform with nine visible anten- nomeres unlike that generally found in males of Idris which have 12 antennomeres where the last two antennomeres are either fused or have a distinct constriction between them. Etymology: The species epithet ‘semiflaviventris’ refers to the yellow color of T2 and remaining tergites in both sexes. The name is treated as an adjective. Diagnosis: Idris semiflaviventris sp. n. is unique among all the species of Idris so far described because of the following combination of character states: both male and female are brachypterous; T2 longer than T3 (except I. adikeshavus species group); posterior margins of T1 and T2 subequal; IOS narrow, at most 0.3× head width; male antenna with nine visible antennomeres. This com- bination of character states is not present in any other described species of Idris. However, this species resembles two Indian species, I. triangularis Mukerjee and I. coorgensis (Mani et Mukerjee) in having a posteriorly extended mes- oscutellum. The salient differences between I. semiflaviventris and the other two species are T2 longest and widest of all tergites, posterior margin of T1 and T2 subequal; IOS short, at most 0.3× head width in I. semiflaviventris sp. n. while in the other two species T3 longer and wider than T2, posterior margin of T1 narrower than posterior margin of T2, IOS at least 0.6× head width. Idris triangularis is macropterous; central keel on frons extending up to anterior ocellus; mesoscutum and mesoscutellum finely reticulate and shiny; T2 entirely costate; whereas I. semiflaviventris sp. n. is brachypterous, central keel on frons extending half the length of frons; mesoscutum and mesoscutel- lum rugose; T2 anteriorly costate and posteriorly rugose. Idris coorgensis was described based on a male specimen. This species is also macropterous; notaulus present; male antennomeres A11 and A12 with distinct constriction; mesoscutum and mesoscutellum finely reticulate; T2 entirely costate; whereas I. semiflaviventris sp. n. is brachypterous; notaulus absent; male antennae with 9 visible antennomeres; mesoscutum and mesos- cutellum rugose; T2 anteriorly costate and posteriorly rugose.Published as part of Kamalanathan, Veenakumari & Mohanraj, Prashanth, 2021, An Atypical, Brachypterous Species Of Idris Förster (Platygastroidea: Scelionidae) From India *, pp. 7-13 in Acta Zoologica Academiae Scientiarum Hungaricae 67 (1) on pages 9-11, DOI: 10.17109/AZH.67.1.7.2021, http://zenodo.org/record/573483
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
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>
Automatic categorization of book collections / N. Idris and A. Dennis
No full textAutomatic text categorization is an important research area and has a potential for many text-based applications. This paper discussed the role of the information retrieval (IR) as a way of categorizing books automatically called Smart Database Assistant. It is a system for accessing and categorizing collections of books, which involved two modules, the Public User Module and the Administrator Module. These two modules offer an approach to accessing and categorizing text-based books collections by the keywords of the contents or themes that are described by a user which based on the indexing process. To test the effectiveness of the developed system, an experiment was conducted against a number of books from different category. The result showed that the information retrieval offers an acceptable performance where it is applicable for categorizing the book collections
L'invasion hilālienne et ses conséquences
No full textIdris Hady Roger. L'invasion hilālienne et ses conséquences. In: Cahiers de civilisation médiévale, 11e année (n°43), Juillet-septembre 1968. pp. 353-369
Mohamed Talbi. — L'Émirat aghlabide. 184-296 / 800-909. Histoire politique
No full textIdris Hady Roger. Mohamed Talbi. — L'Émirat aghlabide. 184-296 / 800-909. Histoire politique . In: Cahiers de civilisation médiévale, 12e année (n°47), Juillet-septembre 1969. pp. 325-329
Tropical Forest Tree Names - Indigenous People versus Arborist
No full textThe tree names supplied by respondents - indigenous people (Jahai Tribe) are compared with tree name's given by professional arborist . The trees are drawn from forest species at Royal Belum Reserve Park - virgin forest at the Southest Asia - Perak Malaysi
Farklı büyüme gücündeki bazı idris (Prunus mahaleb L.) tiplerinin rapd tekniği ile moleküler tanımlamaları
No full textBu çalışmada, kiraz ve vişne bitkilerine anaç olarak kullanılan idris tipleri ile çalışılmıştır. Ege Üniversitesi Ziraat Fakültesi Bahçe Bitkileri Bölümüʼnün idris bahçesindeki farklı gelişme kuvvetlerindeki 11 idris tipinin genetik uzaklıkları RAPD moleküler yöntemi ile araştırılmıştır. İdris bitkilerinden ilkbahar başlangıcında yaprak örnekleri toplanmıştır. Örneklere DNA izolasyonu yapılarak RAPD yöntemi ile 32 primer denenmiştir. En düşük genetik uzaklık Tokat 28 ve Tokat 10 (0,2072) arasında bulunmuştur. En yüksek genetik uzaklık ise Tokat 28 ve Afyon 11 (0,8790 ) arasında bulunmuştur. Test edilen primerlerden OPA1, R 20, N 11 ve Q 12ʼde fazla sayıda polimorfik bant elde edilmiştir. Az sayıda polimorfik bant gösterenler ise, H 19, O 10 ve R 15ʼdir
Youssef Idris : Un style singulier
No full textChukrî Muhammad ‘Iyâd, al-Musawwar n° 3487, 9 août 1991 […] Youssef Idris possède un style particulier qui surprend au premier abord par sa « spontanéité » : cette caractéristique n'est-elle pas ce à quoi tout artiste ne recourt qu'en dernier ressort ? La vie littéraire d'Idris a commencé par une phase assez méconnue où il proposait ses écrits à la revue al-Qissa (« La nouvelle »), qui avait pour rédacteur en chef, dans les années cinquante, le poète Ibrâhîm Nâgî. Le critique Ahmad 'Abbâs Sâl..
À quoi servent les proverbes ?
No full textBenzidane Idris. À quoi servent les proverbes ?. In: Horizons Maghrébins - Le droit à la mémoire, N°48, 2003. Des tours de mains autour de la méditerranée. pp. 77-81
- …
