cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Protonemura bacurianica subsp. adana Vincon & Zhiltzova 2004
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura bacurianica
Protonemura bacurianica adana vinçon & zhiltzova, 2004

description: Protonemura bacurianica adana Vinçon & Zhiltzova, 2004
Type country and locality. Turkey, Nur Dağları (The type locality is located in the village of Kurtbağı in eastern Üçgüllük, the province of Hatay) (Vinçon & Zhiltzova 2004).
Distribution in Turkey. Adana, Hatay, Kayseri (Vinçon & Zhiltzova 2004); Adana, Adıyaman, İçel Mersin, Kahramanmaraş (as Protonemura bithynica Aubert, 1964); Malatya (as Protonemura bacurianica Zhiltzova, 1957) (Zwick 1971); Niğde (as Protonemura bacurianica Zhiltzova, 1957) (Zwick 1975). Map (Fig. 41).
Distribution and ecology. Turkish micro-endemic subspecies restricted to the Central Taurus to the Iskenderun Region (Nur Daglari). It is orophilic and crenophilic, mainly occurring on calcareous rocks. Adults emerge in spring (V).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 23, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Troglocaris (Xiphocaridinella) kutaissiana Sadowsky 1930
Creators: name: Marin, Ivan
name: Sokolova, Agniya
Publisher: name: Zenodo
Year: 2014
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Malacostraca
Decapoda
Atyidae
Troglocaris
Troglocaris kutaissiana

description: Troglocaris (Xiphocaridinella) kutaissiana Sadowsky, 1930
(Figs. 11, 12)
Xiphocaridinella kutaissiana Sadowsky, 1930: 95 [type locality: Rion cave, western Georgia].
Material examined. 10 non-ovigerous females, 7 males, Western Georgia, 42°16'19.62"N, 42°44'1.63"E, valley of Tshalciteli river, in the cave stream, coll. A. Sokolova & D. Palatov, 27 Sept. 2012.
Measurements. The largest female has tbl.— 30 mm, pcl.— 15 mm; the largest male has tbl.— 20 mm, pcl.— 10 mm.
Remarks. The species clearly differs from the congeners by well developed rostrum armed with numerous small dorsal and one-two ventral teeth (Fig. 12). Rostral form slightly varying in examined specimens but dorsal rostral teeth and supraorbital teeth always present.
Distribution. The species is known from underground area of karst caves of Shaora hollow and Sharaula cave (the type locality), Western Georgia (see Fig. 16).
description: Published as part of Marin, Ivan & Sokolova, Agniya, 2014, Redescription of the stygobitic shrimp Troglocaris (Xiphocaridinella) jusbaschjani Birštein, 1948 (Decapoda: Caridea: Atyidae) from Agura River, Sochi, Russia, with remarks on other representatives of the genus from Caucasus, pp. 277-298 in Zootaxa 3754 (3) on page 291, DOI: 10.11646/zootaxa.3754.3.3, http://zenodo.org/record/228220
Protonemura bacurianica subsp. bacurianica Zhiltzova 1957
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura bacurianica
Protonemura bacurianica bacurianica zhiltzova, 1957

description: Protonemura bacurianica bacurianica Zhiltzova, 1957
Material. Bayburt, 35 km S Bayburt—Aşkale, 7.07.2007, 2 ♂, 1 ♀ (Si). Erzincan, 48 km W Erzincan— Sivas, 8.07.2007, 1 ♂ (Si). Bayburt, 30 km S Bayburt—Aşkale, 1600 m, 12.07.2008, 1 ♂ (Si). Gümüşhane, 39 km Gümüşhane—Bayburt, 1900 m, 12.07.2008, 1 ♂ (Si).
Distribution in Turkey. Artvin, Gümüşhane (Theischinger 1976a); Muş (Theischinger 1976b); Bingöl, Muş (Theischinger 1979); Ankara, Bolu, Yozgat (as Protonemura bacurianica Zhiltzova, 1957) (Kazancı 1982); Bayburt, Erzurum (Kazancı 1983b); Artvin (Vinçon & Zhiltzova 2004); Ankara, Artvin, Bolu, Erzincan, Erzurum, Giresun, Gümüşhane, Malatya, Sivas (as Protonemura bacurianica Zhiltzova, 1957) (Kazancı 2009a); Giresun, Trabzon (Kazancı 2009b); country record only: listed from Turkey (Kazancı 1983b). Map (Fig. 42).
Distribution and ecology. Caucasus, Iran, Northern Anatolia. It is an orophilic subspecies (1000–1800 m). Adults emerge in spring (V–VI).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 24, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Protonemura besucheti Zwick 1971
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura besucheti

description: Protonemura besucheti Zwick, 1971
Type country and locality. Turkey, Nur Dağları (Hatay) (Zwick 1971).
Distribution in Turkey. Hatay (Zwick 1971); country record only: listed from Turkey (Baumann 1975; Kazancı 1983b; Vinçon & Zhiltzova, 2004; Kazancı 2008). Map (Fig. 43).
Comments: Turkish micro-endemic species only known by one female and perhaps a synonym of P. aculeata or P. ressli (Vinçon & Zhiltzova 2004).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 24, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Stalnaker's Epistemic Logic in Isabelle/HOL
Creators: name: Guzman, Laura P. Gamboa
name: Rozier, Kristin Y.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: I.2.3

description: The foundations of formal models for epistemic and doxastic logics often rely on certain logical aspects of modal logics such as S4 and S4.2 and their semantics; however, the corresponding mathematical results are often stated in papers or books without including a detailed proof, or a reference to it, that allows the reader to convince themselves about them. We reinforce the foundations of the epistemic logic S4.2 for countably many agents by formalizing its soundness and completeness results for the class of all weakly-directed pre-orders in the proof assistant Isabelle/HOL. This logic corresponds to the knowledge fragment, i.e., the logic for formulas that may only include knowledge modalities in Stalnaker's system for knowledge and belief. Additionally, we formalize the equivalence between two axiomatizations for S4, which are used depending on the type of semantics given to the modal operators, as one is commonly used for the relational semantics, and the other one arises naturally from the topological semantics.
description: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
More Church-Rosser Proofs in BELUGA
Creators: name: Momigliano, Alberto
name: Sassella, Martina
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: We report on yet another formalization of the Church-Rosser property in lambda-calculi, carried out with the proof environment Beluga. After the well-known proofs of confluence for beta-reduction in the untyped settings, with and without Takahashi's complete developments method, we concentrate on eta-reduction and obtain the result for beta-eta modularly. We further extend the analysis to typed-calculi, in particular System F. Finally, we investigate the idea of pursuing the encoding directly in Beluga's meta-logic, as well as the use of Beluga's logic programming engine to search for counterexamples.
description: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Semi-Substructural Logics with Additives
Creators: name: Veltri, Niccolò
name: Wan, Cheng-Syuan
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This work concerns the proof theory of (left) skew monoidal categories and their variants (e.g. closed monoidal, symmetric monoidal), continuing the line of work initiated in recent years by Uustalu et al. Skew monoidal categories are a weak version of Mac Lane's monoidal categories, where the structural laws are not required to be invertible, they are merely natural transformations with a specific orientation. Sequent calculi which can be modelled in such categories can be identified as deductive systems for restricted substructural fragments of intuitionistic linear logic. These calculi enjoy cut elimination and admit a focusing strategy, sharing resemblance with Andreoli's normalization technique for linear logic. The focusing procedure is useful for solving the coherence problem of the considered categories with skew structure.
 Here we investigate possible extensions of the sequent calculi of Uustalu et al. with additive connectives. As a first step, we extend the sequent calculus with additive conjunction and disjunction, corresponding to studying the proof theory of skew monoidal categories with binary products and coproducts satisfying a left-distributivity condition. We introduce a new focused sequent calculus of derivations in normal form, which employs tag annotations to reduce non-deterministic choices in bottom-up proof search. The focused sequent calculus and the proof of its correctness have been formalized in the Agda proof assistant. We also discuss extensions of the logic with additive units, a form of skew exchange and linear implication.
description: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Protonemura bifida subsp. bifida Martynov 1928
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura bifida
Protonemura bifida bifida martynov, 1928

description: Protonemura bifida bifida Martynov, 1928
Material. Rize, İkizdere, Yerelma Köyü, 1050 m, 10.7.1984, 1 ♂ (Si). Rize, Çamlıhemşin, Sort 1400 m, 15.08.2005, 1 ♀ (Si). Trabzon, Uzungöl, 1200 m, 18.08.2005, 2 ♀ (Si). Giresun, Şebinkarahisar, Eğribel pass, 2000 m, 9.07.2008, 2 ♂, 2 ♀ (Si).
Distribution in Turkey. Artvin (Theischinger 1976a); Bayburt, Çankırı (Kazancı 1983b); Artvin, Bayburt, Rize (Kazancı 1994); Artvin, Giresun, Rize, Trabzon (Vinçon & Zhiltzova 2004); Bayburt (Kazancı 2008); Bayburt, Rize (Kazancı 2009a); Rize, Trabzon (Kazancı 2013); country record only: listed from Turkey (Kazancı 1983b; Kazancı 2008). Map (Fig. 44).
Distribution and ecology. Caucasus, central and eastern Pontus. Strongly orophilic species (950–2850 m) occurring in various kind of streams. Adults emerge in late spring and summer (VI–VIII).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on pages 24-25, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
CHC-COMP 2023: Competition Report
Creators: name: De Angelis, Emanuele
name: K, Hari Govind V
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results.
description: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
An Encoding for CLP Problems in SMT-LIB
Creators: name: Amrollahi, Daneshvar
name: Hojjat, Hossein
name: Rümmer, Philipp
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: The input language for today's CHC solvers are commonly the standard SMT-LIB format, borrowed from SMT solvers, and the Prolog format that stems from Constraint-Logic Programming (CLP). This paper presents a new front-end of the Eldarica CHC solver that allows inputs in the Prolog language. We give a formal translation of a subset of Prolog into the SMT-LIB commands. Our initial experiments show the effectiveness of the approach and the potential benefits to both the CHC solving and CLP communities.
description: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672
Protonemura bithynica Aubert 1964
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura bithynica

description: Protonemura bithynica Aubert, 1964 (revised status)
Recent reports of P. bacurianica in the western Pontus (Bolu region, Kazancı 2009a) and of P. bithynica in the eastern Pontus (see below) indicate that the two forms are sympatric in northern Anatolia, supporting specific status. Therefore, we recognize P. bi t h y ni ca as a valid taxon. However, the subspecific rank of P. bacurianica adana Vinçon & Zhiltzova is retained.
Type country and locality. Turkey, Broussa, Turquie (Bursa) (Aubert 1964).
Material. Ankara, 15 km S Ankara, Yaylabağ Köyü, 1000 m, 11.05.2000, 1 ♂ (Si). Konya, Hadim, Korualan, Borini, 1700 m, 27.06.2000, 15 ♂, 17 ♀ (Si). Bolu, Göynük—Bolu Yolu, 10 km Çubuk deresi, 750 m, 21.05.2006, 1 ♂, 1 ♀ (Si). Erzincan, 48 km W Erzincan—Sivas, 8.07.2007, 1 ♂, 2 ♀ (Si). Sinop, Hanönü, Ayancık, Çangal Mountain, 733 m, 9.08.2009, 1 ♂ (Si). Karabük, Kapullu, Yenice istikameti, alabalık çiftliği yanı, 635 m, 14.07.2011, 1 ♂, 1 ♀ (Si).
Distribution in Turkey. Bursa (Aubert 1964); Ankara, Artvin, Bolu, Burdur, Rize (Zwick 1971); Ağrı, Gümüşhane, Kocaeli, Niğde, Yalova (Zwick 1975); Bolu, Bursa (Theischinger 1979); Ankara, Bolu (Kazancı 1982); Ankara, Bolu, Çankırı, Erzurum (Kazancı 1983b); Aydın, Balıkesir, Bolu, Bursa, Çankırı, Konya, İzmir, Karabük, Kastamonu, Konya, Muğla, Sinop (Vinçon & Zhiltzova 2004); Ankara, Bayburt, Bolu, Burdur, Çankırı, Gümüşhane, Kırklareli (Kazancı 2009a); country record only: listed from Turkey (Baumann 1975; Kazancı 1983b; Kazancı 2008). Map (Fig. 45).
Distribution and ecology. An Anatolian endemic species also reported from the Greek Lesbos Island, in close proximity to the Anatolian coast. It is a eurytopic species that occurs in various types of mountain streams. The report from European Turkey (Kırklareli, Kazancı 2009a) possibly corresponds to the closely related species of the same species group, P. strandschaensis Braasch & Joost, 1972.
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 25, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Protonemura brachystyla Zhiltzova 1988
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura brachystyla

description: Protonemura brachystyla Zhiltzova, 1988
Distribution in Turkey. Rize (Vinçon & Sivec 2001); country record only: listed from Turkey (Vinçon & Zhiltzova 2004; Kazancı 2008). Map (Fig. 46).
Distribution and ecology. Caucasus, eastern Pontus. A strongly orophilic species. Adults emerge in spring (V).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 26, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Protonemura capitata Martynov 1928
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura capitata

description: Protonemura capitata Martynov, 1928
Distribution in Turkey. Rize (Zwick 1971); Artvin (Theischinger 1976a); Artvin, Kars (Kazancı 1994); Artvin (Kazancı 2009a); country record only: listed from Turkey (Kazancı 1983b; Vinçon & Zhiltzova 2004; Kazancı 2008). Map (Fig. 47).
Distribution and ecology. Caucasus, Iran, eastern Pontus. A strongly orophilic species. Adults emerge in spring (V).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 26, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Protonemura dilatata Martynov 1928
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura dilatata

description: Excluded: Protonemura dilatata Martynov, 1928
The presence of P. dilatata in Anatolia (Kazancı 2009a) was based only on females and needs confirmation. Females are very close to those of P. aculeata, P. besucheti, and P. ressli (Vinçon & Zhiltzova 2004). Therefore, this species is excluded from the Turkish fauna.
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 27, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Troglocaris (Xiphocaridinella) fagei Birstein 1939
Creators: name: Marin, Ivan
name: Sokolova, Agniya
Publisher: name: Zenodo
Year: 2014
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Malacostraca
Decapoda
Atyidae
Troglocaris
Troglocaris fagei

description: Troglocaris (Xiphocaridinella) fagei (Birštein, 1939)
(Figs. 13, 14)
Troglocaris schmidti fagei Birštein, 1939: 964, figs. 3 [type locality: New Athos Cave, Abkhazia].
Material examined. 10 non-ovigerous females, 2 males, Abkhazia, 43°5'44"N 40°48'53"E, New Athos (Novo- Afonskaya) Cave, Anatolia Lake in the first lake of the cave, coll. E. Chertoprud & D. Palatov October 2011.
Measurements. The largest female has tbl.— 31 mm, pcl.— 15 mm; the largest male has tbl.— 22 mm, pcl.— 13 mm.
Remarks. The examined adult specimens show variation in rostral length and form of supraorbital teeth (see Fig. 14). Rostrum mostly smooth, with completely reduced dorsal teeth, but in some specimens 1 or 2 tiny dorsal teeth may present; the rostral length greatly vary from long and getting distally thin rostrum overreaching the distal margin of basal antennular segment (Fig. 14 a, b) to short triangular rostrum reaching the midlength of basal antennular segment (Fig. 14 e–h); supraocular teeth also showing variation from well developed (Fig. 14 d) to poorly developed from one side (Fig. 14 f) and complete absence of both teeth (Fig. 14 b). Such variations easily cover morphological difference between Troglocaris (Xiphocaridinella) fagei (Birštein, 1939) (present paper, Figs. 13, 14) and Troglocaris (Xiphocaridinella) ablaskiri (Birštein, 1939) (Birštein, 1948: Fig. 2) known from Abraskila Cave, or Achkshe-Tyz-Gua Cave, situated less than 100 km east from New Athon Cave suggesting that they are possibly conspecific. Rostral form and its armature were used by Birštein (1939: 965) as the main morphological features for separation of these species. Anyway, during the present study we have no fresh material from the type locality of Troglocaris (Xiphocaridinella) ablaskiri (Birštein, 1939) for morphological and DNA analysis to confirm or refute this hypothesis.
Distribution. The species is known exclusively from cave lakes inside New Athos (Novo-Afonskaya) or Psyrtskha Cave, Abkhazia (see Fig. 16).
description: Published as part of Marin, Ivan & Sokolova, Agniya, 2014, Redescription of the stygobitic shrimp Troglocaris (Xiphocaridinella) jusbaschjani Birštein, 1948 (Decapoda: Caridea: Atyidae) from Agura River, Sochi, Russia, with remarks on other representatives of the genus from Caucasus, pp. 277-298 in Zootaxa 3754 (3) on page 296, DOI: 10.11646/zootaxa.3754.3.3, http://zenodo.org/record/228220
Protonemura eumontana Zhiltzova 1957
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura eumontana

description: Protonemura eumontana Zhiltzova, 1957
Material. Trabzon, Maçka, Sumelas, Camiovası Yaylası, 2077 m, 8.08.2008, 1 ♀ (Si).
Distribution in Turkey. Rize (Zwick 1971); Erzurum, Rize (Kazancı 1994); Artvin, Rize (Vinçon & Zhiltzova 2004); Rize, Trabzon (Kazancı 2013); country record only: listed from Turkey (Kazancı 1983b; Kazancı 2008). Map (Fig. 48).
Distribution and ecology. Caucasus and eastern Pontus. A strongly orophilic species (1400–2400 m). Adults emerge in summer and autumn (VII–X).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 27, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Protonemura gladifera Balinsky 1950
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura gladifera

description: Protonemura gladifera Balinsky, 1950
Distribution in Turkey. Malatya (Kazancı 2009a). Map (Fig. 49). Distribution and ecology. Caucasus and eastern Anatolia. A orophilic species (1300–2000 m). Adults emerge in spring and summer (V–VII).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 27, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
TELEHEALTH AT HOME: ASSESSING USER PERSPECTIVES ON HUMAN RESOURCE MANAGEMENT IN TELEMEDICINE SYSTEMS
Creators: name: Farid, Ahmadzai
name: Sahar Sadat, Hosseini
Publisher: name: continental
Year: 2024
Subjects: Telemedicine, real-time telemedicine, home-based telemedicine, healthcare access, patient satisfaction, technology barriers.

description: Telemedicine, enabled by telecommunications technology, overcomes geographical barriers to offer healthcare access. Real-time telemedicine involves synchronous interaction between healthcare providers and patients. It encompasses clinic- or hospital-based settings and home-based care. Clinic- or hospital-based telemedicine aids underserved areas by connecting with specialists remotely. Home-based telemedicine serves non-physical clinical visits, like behavioral health and counseling. Telemedicine's efficacy is demonstrated in reduced costs, improved access, and patient satisfaction. Barriers include costs, network issues, and system design gaps. Emerging technologies are enhancing home-based video telemedicine for managing chronic conditions. Widespread adoption is noted in dentistry, ophthalmology, dermatology, and mental health care. Technological advancements improve telemedicine's feasibility and affordability, thereby enhancing healthcare quality. Nonetheless, barriers remain, including usability and cost concerns. This study examines the usability of four home-based telemedicine platforms, employing task performance metrics and subjective evaluations to address existing gaps.
Protonemura intricata subsp. pseudointricata Theischinger 1975
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura intricata
Protonemura intricata pseudointricata theischinger, 1975

description: Protonemura intricata pseudointricata Theischinger, 1975
Distribution in Turkey. İzmir (Kazancı 1994); İzmir (Kazancı 2009a); country record only: listed from Turkey (Kazancı 2008). Map (Fig. 50).
Distribution and ecology. Mainland Greece and western Anatolia.
Note: The specimens reported by Kazancı (1994; 2009a) possibly belong to P. izmiriana Vinçon & Zhiltzova, 2004 since both are closely related and known from the same small geographical area where P. izmiriana occurs.
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 27, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Graphopsocus Kolbe
Creators: name: Liang, Feiyang
name: Li, Fasheng
name: Liu, Xingyue
Publisher: name: Zenodo
Year: 2013
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Psocodea
Stenopsocidae
Graphopsocus

description: Graphopsocus Kolbe
Graphopsocus Kolbe, 1880:124. Type species: Hemerobius cruciatus Linnaeus.
Diagnosis. Adults of medium size, with well-developed wings. Body length 3–5 mm from postclypeus to wing tip. Antenna 13 segments, slightly longer than body. Lacinia narrowed toward apex. Tarsi with two segments, pulvillus broad, and tarsal claw without preapical tooth. Wings narrowly elongate, whitish, with distinct markings. Forewing margin rather sparsely setose; costal vein without setae from base to anterior margin of pterostigma, all other veins except Cu2 with single-row setae; one or two markings present between Cu2 and 1A; pterostigma broad, posterior angle obvious, connecting to Rs by a crossvein; Rs and M proximally fused for a distance; M three-branched; ap cell triangular, anteriorly connecting to M by a crossvein. Hindwing much smaller than forewing, without setae, with one or two markings on anal region. Abdomen with two ventral vesicles. Male hypandrium posteriorly convex; endophallus with a pair of parameres and an aedeagal arch. Female subgenital plate posteriorly convex; dorsal valve and ventral valve sclerotized, narrow, proximal portion of dorsal valve broad; external valve reduced.
description: Published as part of Liang, Feiyang, Li, Fasheng & Liu, Xingyue, 2013, Graphopsocus (Psocoptera: Stenopsocidae) newly recorded from Vietnam, with one new species, pp. 41-48 in Zootaxa 3666 (1) on pages 41-42, DOI: 10.11646/zootaxa.3666.1.4, http://zenodo.org/record/283841
Graphopsocus
Creators: name: Liang, Feiyang
name: Li, Fasheng
name: Liu, Xingyue
Publisher: name: Zenodo
Year: 2013
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Psocodea
Stenopsocidae
Graphopsocus

description: Key to adults of Graphopsocus from Southeast Asia
[*included from descriptions by Banks (1920)]
1. Forewing with a large dark marking between Cu2 and 1A, filling almost all area between these two veins.. vietnamicus sp. n.
- Forewing with a small dark marking at end of 1A............................................................ 2
2. Connecting point of r-rs and Rs opposite to second branch of M in forewing....................... subaequalis Banks *
- Connecting point of r-rs and Rs anterior to second branch of M in forewing........................... infirmus Banks *
description: Published as part of Liang, Feiyang, Li, Fasheng & Liu, Xingyue, 2013, Graphopsocus (Psocoptera: Stenopsocidae) newly recorded from Vietnam, with one new species, pp. 41-48 in Zootaxa 3666 (1) on page 42, DOI: 10.11646/zootaxa.3666.1.4, http://zenodo.org/record/283841
Protonemura izmiriana Vincon & Zhiltzova 2004
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura izmiriana

description: Protonemura izmiriana Vinçon & Zhiltzova, 2004
Type country and locality. Turkey, Aydın Dağları (The type locality is located in the District of Ödemiş above Beydağ, in the province of İzmir) (Vinçon & Zhiltzova 2004).
Distribution in Turkey. İzmir (Vinçon & Zhiltzova 2004); country record only: listed from Turkey (Kazancı 2008). Map (Fig. 51).
Distribution and ecology. This Turkish micro-endemic species is restricted to the small massifs surrounding İzmir, close to the Anatolian southwestern coast. It occurs in low mountain brooks and springs (400–800 m). Adults emerge in spring (V).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 28, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
MEHNAT BOZORI VA ISHSIZLIKNI KAMAYTISH STRATTEGIYALARI
Creators: name: Toshmurodov, Og'abek
Publisher: name: Zenodo
Year: 2024

description: Ushbu maqolada Mehnat bozorining qisqacha tavsifi, O’zbekistonda mehnat bozorining shakllanishi va mehnat bozorining ijtimoiy-huquqiy munosabatlari keltirib o’tilgan. Shu bilan birga, mamlakatda ishsizlik darajasini pasaytirishga qaratilgan chora-tadbirlarni tahlili, ishsizlarni ijtimoiy himoyalash va ularni jamoat ishlariga jalb qilish haqida tavsiyalar berilgan.
Protonemura microstyla Martynov 1928
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura microstyla

description: Protonemura microstyla Martynov, 1928
Distribution in Turkey. Rize (Theischinger 1976a); Artvin (Kazancı 1994); Rize (Vinçon & Zhiltzova 2004); Trabzon (Kazancı 2009b); country record only: listed from Turkey (Kazancı 1983b; Kazancı 2008). Map (Fig. 52).
Distribution and ecology. Caucasus, Armenia, Anatolia where it is limited to the eastern Pontus. This orophilic species occurs in different types of streams at moderate altitudes (700–1700 m). Adults emerge in spring (V–VI).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 28, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Source data and code for ``Charge-4e superconductivity in a Hubbard model"
Creators: name: Soldini, Martina Ondina
name: Fischer, Mark H.
name: Neupert, Titus
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 510404
subject: Electronic and magnetic properties of condensed matter; superconductivity

description: This repository contains Python scripts and data used to generate the figures in the article ``Charge-4e Superconductivity in a Hubbard model" (arXiv:2404.11650) by the authrs Martina O. Soldini, Mark H. Fischer, and Titus Neupert, affiliated at the Physics Institute, University of Zurich, Winterthurerstrasse 190, 8057 Zurich, Switzerland.If you would like to reproduce or use the data or code contained in this repository, please acknowledge the authors of the article by citing the article with arXiv identifier arXiv:2404.11650.The repository contains: - The "iDMRGCode" folder: This folder contains the python code to reproduce the iDMRG data contained in the article arXiv:2404.11650, and a Jupyter notebook with examples on how to plot the generated data. The folder also includes a "README_iDMRGCode.txt" text document with a detailed description of the content of each file contained in the folder, and a "tenpy_env.yml" file that contains information on the environment in which the data in the article was obtained.- The "DataFigures" folder: This folder contains the data underlying the figures in the article arXiv:2404.11650, a Jupyter notebook that opens all the data. The folder also includes a "README.txt_DataFigures.txt" text file with a detailed description of the content of each file and how the data is structured, and a "tenpy_env.yml" file that contains information on the environment with which the Jupyter notebook can be run.
Aurivillialepas
Creators: name: Innocenti, Gianna
name: Geronimo, Raffaella Di
name: Newman, William A.
Publisher: name: Zenodo
Year: 2015
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Maxillopoda
Pedunculata
Calanticidae
Aurivillialepas

description: Key to the genus Aurivillialepas based on external morphology
(capitulum composed of 14 plates including one subrostrum)
1. Rostrolatus acute, apical angle 60–70°. Peduncle long and narrow............................................... 2
- Rostrolatus obtuse, apical angle approximately 90°. Peduncle quite wide and short.................................. 3
2. Carina continuous with carinal margins of tergum; carina narrow in lateral aspect, not reaching the apex of median latus.................................................................................. A. falcata (Aurivillius, 1898)
- Carina apex free of carinal margin of tergum; carina wide in lateral aspect, reaching the apex of median latus........................................................................................... A. arnaudi (Newman, 1980)
3. Rostrolatus overlapping carinolatus....................................................................... 4
- Rostrolatus separated from carinolatus............................................. A. bocquetae (Newman, 1980)
4. Carina slightly curved, scutum about 1.5 times higher than wide, its apex strongly curved toward tergum................................................................................................ A. rhabdota (Young, 1999)
- Carina curved, scutum high as wide, its apex slightly curved toward tergum............... A. calycula (Aurivillius, 1898)
description: Published as part of Innocenti, Gianna, Geronimo, Raffaella Di & Newman, William A., 2015, A range extension of a deep-sea barnacle of the genus Aurivillialepas (Cirripedia, Scalpellomorpha), a Macaronesian and amphitropical refugial genus having Mesozoic affinities, pp. 257-266 in Zootaxa 3974 (2) on page 261, DOI: 10.11646/zootaxa.3974.2.9, http://zenodo.org/record/239470
Protonemura oreas Martynov 1928
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura oreas

description: Protonemura oreas Martynov, 1928
Material. Bayburt, Torul, Özkürtün, Örümcek Ormanı, 1250 m, 13.09.1999, 1 ♂ (Si). Rize, Çamlıhemşin, Ayder, 1500 m, 9.10.2006, 2 ♀ (Si). Gümüşhane, Zigana Köyü, Limni lake, 1700 m, 11.08.2007, 1 ♂ (Si). Trabzon, Maçka, Sumelas, 250 m, 18.08.2008, 1 ♂ (Si). Karabük, Safranbolu, Mencilis, 22.10.2011, 1 ♂ (Si). Balıkesir, Evciler, Ayazma, 25.09.2014, 1 ♂, 2 ♀ (Si).
Distribution in Turkey. Artvin, Rize (Vinçon & Zhiltzova 2004); Rize (Kazancı 2009a); country record only: listed from Turkey (Vinçon & Zhiltzova 2004; Kazancı 2008). Map (Fig. 53).
Distribution and ecology. Caucasus and eastern Pontus. It occurs in different types of streams (250–2200 m). Adults emerge in summer and autumn (VII–X).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 28, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Data Management Plan - D1.3
Creators: name: Pinho, Carla
name: Haller, Lisa
Publisher: name: Zenodo
Year: 2021

description: This report pertains to Task 1.3 “Data Management” and describes the initial Data Management Plan (DMP) for the SustainSAHEL project, funded by the Horizon 2020 Programme under Grant Agreement number 861974.

This initial version of the DMP defines the data management life cycle and general policy and approach to data management in SustainSAHEL. It follows the structure of the Horizon 2020 DMP template. It reflects the status of the data that is collected, processed or generated, includes the methodology and standards to be used, whether and how this data will be shared and/or made open, and how it will be curated and preserved. It includes for example topics like data and meta-data collection, handling of personal data, publication and deposition of open data, the data repository infrastructure (Collaborative workspace platform) and compliance to the Open Access Infrastructure for Research in Europe (OpenAIRE).

The DMP is a living document, which will evolve during the lifespan of the project, particularly whenever significant changes arise such as dataset updates or changes in Consortium policies.
StoryTTS: A Highly Expressive Text-to-Speech Dataset with Rich Textual Expressiveness Annotations
Creators: name: Liu, Sen
name: Guo, Yiwei
name: Chen, Xie
name: Yu, Kai
Publisher: name: arXiv
Year: 2024
Subjects: subject: Sound (cs.SD)
subject: Computation and Language (cs.CL)
subject: Audio and Speech Processing (eess.AS)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: While acoustic expressiveness has long been studied in expressive text-to-speech (ETTS), the inherent expressiveness in text lacks sufficient attention, especially for ETTS of artistic works. In this paper, we introduce StoryTTS, a highly ETTS dataset that contains rich expressiveness both in acoustic and textual perspective, from the recording of a Mandarin storytelling show. A systematic and comprehensive labeling framework is proposed for textual expressiveness. We analyze and define speech-related textual expressiveness in StoryTTS to include five distinct dimensions through linguistics, rhetoric, etc. Then we employ large language models and prompt them with a few manual annotation examples for batch annotation. The resulting corpus contains 61 hours of consecutive and highly prosodic speech equipped with accurate text transcriptions and rich textual expressiveness annotations. Therefore, StoryTTS can aid future ETTS research to fully mine the abundant intrinsic textual and acoustic features. Experiments are conducted to validate that TTS models can generate speech with improved expressiveness when integrating with the annotated textual labels in StoryTTS.
description: Accepted by ICASSP 2024
Protonemura praecox Morton 1894
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura praecox

description: Protonemura praecox (Morton, 1894)
Distribution in Turkey. Ankara, Muğla (Kazancı 1994); Ankara, Çankırı, Erzurum, Kars, Malatya, Muğla (Kazancı 2009a); Muğla (Kazancı et al. 1992); country record only: listed from Turkey (Kazancı 2008). Map (Fig. 54).
Distribution and ecology. Europe and western Anatolia.
Comments. According to Vinçon & Zhiltzova (2004) specimens of P. praecox from Turkey could be assigned to the subspecies P. praecox graeca Berthélemy, 1971, according to its geographical distribution near Turkey.
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 29, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
FIZIKANI TEXNIKA BILIM YURTLARIDA SISTEMALI YONDOSHUV USULIDA O'QITISHNING AYRIM JIHATLARI
Creators: name: Norqulov S.K  Abduraxmonov Asliddin Murtozayevich Jizzax politexnika instituti Fizika kafedrasi, assistenti
Publisher: name: Zenodo
Year: 2024

description: O‘quvchilar bilimini boyitishda sistemali yondoshuvdan foydalanish uchun ayrim klassifikasion jadvallardan foydalanilsa maqsadga muvofiq bo‘ladi. Masalan, kinematika tenglamasi 1-jadvalda keltirilgan.
title: Changing care provision in times of changing contexts : the experience of adult children during the pandemic in the UK
Creators: name: Pomeroy, Edward
name: Fiori, Francesca
Publisher: name: Strathprints - University of Strathclyde
Year: 2024

description: The COVID-19 pandemic imposed the suspension of many care services, and families had to choose between adhering to lockdown measures or caring for vulnerable relatives. This study revisits the Informal Care Model by explicitly incorporating the role of changing circumstances during the pandemic to understand care provision by adult children. Using nationally representative data from the UK, statistical analyses reveal that the usual suspects, such as women, were more likely to undertake additional care tasks. However, they also highlight new enabling factors for care provision that have arisen from the pandemic, such as the ability to work from home.
Protonemura rauschi Theischinger 1975
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura rauschi

description: Protonemura rauschi Theischinger, 1975
First record from Turkey.
Material. Tekirdağ, Tekir Mts., Yeniköy, torrent at the village (W. Şarköy), 255 m, N40°38.707’ E27°00.767’, 0 5.04.2007, 5 ♂, 5 larvae, 1 exuviae (Mur).
Distribution and ecology. Known from Greece, Macedonia (Ikonomov 1986), and Serbia (Kaćanski 1972). Data of the Pelopponnes endemic P. beaumonti (Aubert, 1956b) from Bulgaria (Braasch & Joost 1971a, 1975) and mainland Greece probably refer also to this species (Zwick 1978). It inhabits small torrents and brooks mainly in the submontane zone. Map (Fig. 55).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on pages 29-30, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Protonemura ressli Zwick 1971
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura ressli

description: Protonemura ressli Zwick, 1971
Type country and locality. Turkey, Zara (Sivas) (Zwick 1971).
Distribution in Turkey. Sivas (Zwick 1971); Bolu (Kazancı 1994); country record only: listed from Turkey (Kazancı 1983b; Vinçon & Zhiltzova 2004; Kazancı 2008). Map (Fig. 56).
Distribution and ecology. Turkish endemic species covering a large region of northern Anatolia. It occurs in various types of mountain catchments. Adults emerge in spring (III–V).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 30, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Asphinctopone differens
Creators: name: Bolton, Barry
name: Fisher, Brian L.
Publisher: name: Zenodo
Year: 2008
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Formicidae
Asphinctopone
Asphinctopone differens

description: Asphinctopone differens Bolton & Fisher sp. n.
(Figs 1 c,d; 2b,d)
Holotype worker. TL 3.7, HL 0.82, HW 0.66, CI 81, SL 0.61, SI 92, PW 0.48, WL 1.06. Answering the description of silvestrii, above, but differing as follows.
Side of propodeum entirely densely irregularly sculptured.
Dorsum of propodeum with a pelt of fine short pubescence that is erect and weakly curved.
In addition, pubescence on the pronotum and mesonotum is more dense and more elevated than in silvestrii. The propodeal dorsum in profile is longer and flatter than in any silvestrii specimen examined, but the latter shows variation in the shape of the propodeum, and as only a single specimen of differens is known it is impossible to tell if the sclerite also shows variation here. In differens the dorsal margin of the anepisternum is distinctly concave, whereas in all known silvestrii specimens it is flat to very feebly sinuate.
Holotype worker, Central African Republic: P.N. Dzanga-Ndoki, 37.9 km. 169°S Lidjombo, 2°22’N, 16°10’E, 360 m., 21.v.2001, #4130(30), CASENT 0 417143, sifted litter, rainforest (B.L. Fisher) (CASC).
The two species are obviously very closely related. We infer they are two distinct species because (1) specimens of silvestrii are known from the type-locality of differens and thus occur in sympatry and (2) the differences between the single specimen of differens and all the observed material of silvestrii are distinct for multiple non-overlapping characters
description: Published as part of Bolton, Barry & Fisher, Brian L., 2008, The Afrotropical ponerine ant genus Asphinctopone Santschi (Hymenoptera: Formicidae), pp. 53-61 in Zootaxa 1827 on pages 59-61, DOI: 10.5281/zenodo.274404
Protonemura siveci Vincon & Zhiltzova 2004
Creators: name: Darilmaz, Mustafa Cemal
name: Salur, Ali
name: Murányi, Dávid
name: Vinçon, Gilles
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Plecoptera
Nemouridae
Protonemura
Protonemura siveci

description: Protonemura siveci Vinçon & Zhiltzova, 2004
Type country and locality. Turkey, Menteşe Dağları (the type locality is located in the District of Bozdoğan in 5 km South of Altıntaş Village, in the Province of Aydın) (Vinçon & Zhiltzova 2004).
Distribution in Turkey. Ay dın (Vinçon & Zhiltzova 2004); country record only: listed from Turkey (Kazancı 2008). Map (Fig. 57).
Distribution and ecology. Turkish micro-endemic species restricted to the Menteşe Dağları, close to the Anatolian southwestern coast. It occurs in mountain brooks and springs (600–950 m). Adults emerge in spring (V).
description: Published as part of Darilmaz, Mustafa Cemal, Salur, Ali, Murányi, Dávid & Vinçon, Gilles, 2016, Contribution to the knowledge of Turkish stoneflies with annotated catalogue (Insecta: Plecoptera), pp. 1-74 in Zootaxa 4074 (1) on page 30, DOI: 10.11646/zootaxa.4074.1.1, http://zenodo.org/record/270744
Doloisia (Doloisia) furcipelta Yu, Hu and Zhang 1983
Creators: name: Nielsen, David H.
name: Robbins, Richard G.
name: Rueda, Leopoldo M.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Actinedida
Trombiculidae
Doloisia
Doloisia furcipelta

description: Doloisia (Doloisia) furcipelta Yu, Hu and Zhang, 1983:
PAL
description: Published as part of Nielsen, David H., Robbins, Richard G. & Rueda, Leopoldo M., 2021, Annotated world checklist of the Trombiculidae and Leeuwenhoekiidae (1758 - 2021) (Acari: Trombiculoidea), with notes on nomenclature, taxonomy, and distribution, pp. 1-243 in Zootaxa 4967 (1) on page 49, DOI: 10.11646/zootaxa.4967.1.1, http://zenodo.org/record/4745510