cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Menoscelis insignis Mulsant 1850
Creators: name: Santos, Paula B.
name: Churata-Salcedo, Julissa M.
name: Almeida, Lúcia M.
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Coccinellidae
Menoscelis
Menoscelis insignis

description: Menoscelis insignis Mulsant, 1850
(Figures 4, 7, 8, 10)
Material examined. “ Guyane Française,/ 3º37’22”N 53º12’57”W /Bélvédère de Saül, 326/m 30.VI.2011, vitre 1,/ SEAG col.” “Male” “ DZUP /289045”[white label]. “ Guyane Française,/ 4º05’N 52º41’W, Réserve/Naturelle des Nouragues–/Camp Inselberg, 411 m,/ 28.VI.2013, vitre,/ SEAG col.” “ DZUP /189143”[white label]. “ Guyane Française,/ 4º44’56”N 52º26’28”W,/Montagne des Chevaux, 18. X.2014, malaise/ SLAM, SEAG col.” “ DZUP / 146707” [white label].
Description (male). For more detailed description, see Gordon & Canepari (2008) and Corrêa, Santos & Almeida (2011). Length: 6.58, width: 5.58 mm. Similar to female in all aspects except for elytral spots larger and almost joined (Fig. 4 A, B). Abdomen yellowish with yellow pubescence (Fig. 4 C). Genitalia with basal lobe asymmetrical, half length of parameres, apex slightly obliquely truncated; parameres straight, apex rounded with long setae (Fig. 4 D, E); sipho slender, long, strongly curved; siphonal capsule with inner and outer arm developed; apex sinuate (Fig. 4 F–H).
Geographical Distribution. French Guiana (Cayenne, Montagne des Chevaux, Bélvédère de Saül and Réserve Naturelle des Nouragues New records) and Brazil (AM, Itacoatiara) (Fig. 10).
Remarks. Menoscelis insignis differs widely from all other species of the genus in its color pattern and male genitalia. The shape of the mentum and legs, 11-segmented antennae, and the slightly curved postcoxal line of M. insignis resemble M. saginata (Figs 5 A–B, D–E, G).
description: Published as part of Santos, Paula B., Churata-Salcedo, Julissa M. & Almeida, Lúcia M., 2016, New species and records of Menoscelis Mulsant (Coleoptera: Coccinellidae) from French Guiana, pp. 252-268 in Zootaxa 4078 (1) on page 256, DOI: 10.11646/zootaxa.4078.1.23, http://zenodo.org/record/262121
Xylographus Mellie 1847
Creators: name: Lawrence, John F.
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Ciidae
Xylographus

description: Xylographus Mellié, 1847
Xylographus bynoei Blair (Fig. 16:18K–L) was the only described Australian Xylographus included in the previous Australian revision (Lawrence, 2016). Recent work in progress by Vivian Sandoval suggests that there are a few more species, both native and introduced, that remain to be described.
description: Published as part of Lawrence, John F., 2019, The Australian Ciidae (Coleoptera: Tenebrionoidea): supplement, pp. 451-490 in Zootaxa 4555 (4) on page 490, DOI: 10.11646/zootaxa.4555.4.1, http://zenodo.org/record/2584905
Oplitis csuzdii Kontschán 2006, sp. n.
Creators: name: Kontschán, J.
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Mesostigmata
Trachyuropodidae
Oplitis
Oplitis csuzdii

description: Oplitis csuzdii sp. n.
(Figs 16–19)
Diagnosis: Ventral shield without perigenital and preanal line. Peritreme Rshaped. Ventral and marginal setae filiform, dorsal setae blade-like. Genital shield of female linguliform.
Description: Female. Length of idiosoma 580 µm, width (in the middle of idiosoma) 480 µm (n = 3). Shape oval, posterior margin rounded.
Dorsal side (Fig. 16): Dorsal shield with many blade-like setae. Dorsal and marginal shields without ornamentation. Marginal setae smooth, short and filiform.
Ventral side (Fig. 17): Sternal and ventral shield without ornamentation. Sternal setae short, smooth and filiform. Ventral setae longer than sternal setae, smooth and filiform.
Genital shield large, linguliform and without ornamentation. Genital shield between coxae 2 and 4.
Gnathosoma (Fig. 18): Corniculi horn-like, laciniae thick and subdivided into several branches. Ventral side of gnathosoma with 4 pairs of coxal setae. h1 and h2 long, smooth and setiform, h2 long, setiform, with serrated margin, h4 long, setiform on apical part with serrated margin. Tritosternum with three branches, each with serrated margin (Fig. 19). Base of epistome not clearly visible, anterior part with long hairs. Chelicerae not clearly visible.
Male, deuteronymph, protonymph and larva unknown.
Material examined: holotype: female, Angola, Dundo, foret R. Cambuacala May 1980. leg. SZABÓ, paratypes: 2 females, Angola, de la R. Mussalamuca, gallery forest, 20. April 1962. leg. LUNA & MACHADO.
Etymology: The species is dedicated to Dr. Csaba Csuzdi, for his help in the author’s taxonomic study.
Remarks: This species is similar to the Angolan species Oplitis natalensis (MARAIS & LOOTS, 1980). The most important differences are the following: the new species has only four ventral setae and the genital shield of female is linguliform, Oplitis natalensis has several ventral setae and it has a circular genital shield (MARAIS & LOOTS 1980).
description: Published as part of Kontschán, J., 2006, Uropodina (Acari: Mesostigmata) Species From Angola, pp. 1-20 in Acta Zoologica Academiae Scientiarum Hungaricae 52 (1) on pages 7-9, DOI: 10.5281/zenodo.5731774
Next-generation global gravitational-wave detector network: Impact of detector orientation on compact binary coalescence and stochastic gravitational-wave background searches
Creators: name: Ebersold, Michael
name: Regimbau, Tania
name: Christensen, Nelson
Publisher: name: arXiv
Year: 2024
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Next-generation gravitational-wave detectors like the Einstein Telescope and Cosmic Explorer, currently in their preparatory phase, have the potential to significantly improve our understanding of astrophysics, cosmology and fundamental physics. We examine how the arm orientations of the proposed detectors influence the sensitivity of a combined Einstein Telescope - Cosmic Explorer network with respect to the sensitivity to the stochastic gravitational-wave background and compact binary coalescences, where measuring both gravitational-wave polarizations is favorable. We present a method to optimize the arm orientations in the network for these two targets, and also demonstrate how to achieve a balanced configuration for both stochastic background and compact binary coalescence searches. For five specific network configurations, we explicitly compare the sensitivity to the stochastic background and binary neutron star mergers. For the latter, we conduct Bayesian parameter estimation on the extrinsic parameters of a reference binary neutron star system to assess sky localization and distance estimation capabilities. These are illustrated through efficiency curves showing the fraction of events meeting sky localization and distance uncertainty criteria as a function of redshift. Our findings suggest that globally coordinating efforts towards the next-generation gravitational-wave detector network is advantageous.
description: 18 pages, 14 figures, 3 tables
Scleranthus annuus subsp. polycarpos Bonnier & Layens
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Caryophyllales
Caryophyllaceae
Scleranthus
Scleranthus annuus
Scleranthus annuus subsp. polycarpos (l.) bonnier & layens

description: Scleranthus annuus subsp. polycarpos (L.) Bonnier & Layens
Artbeschreibung: Internodien oft kürzer als die Blätter. Blütenknäuel längs des Stängels und der Zweige verteilt, kurz gestielt. Blüten zur Fruchtzeit meist nur 2,5-3,5 mm lang. Alle Kelchzipfel +/- gleich lang, aufrecht oder zusammenneigend.
Verbreitung global: Mediterran
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl F--Lichtzahl L--Salzzeichen--Reaktionszahl R--Temperaturzahl T--Nährstoffzahl N--Kontinentalitätszahl K--
Volksname Deutscher Name: Alpen-Knäuel Nom français: Gnavelle polycarpe
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Caryophyllaceae, pp. 632-696 in Flora Helvetica, Bern :Haupt Verlag on page 672
Elder ungulatus Münster 1839
Creators: name: Odin, Giliane P.
name: Charbonnier, Sylvain
name: Devillez, Julien
name: Schweigert, Günter
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Elder
Elder ungulatus

description: Elder ungulatus Münster, 1839
(Fig. 10)
STUDIED MATERIAL. — Charbonnier & Garassino (2012) listed three specimens from Solnhofen (MNHN.F. A33549, B13467; MNHN. GG.2004/8217) but figured none. We do not change their contribution.
COMMENTS
Specimen MNHN.F. A33549 (Fig. 10) presents some pereiopods with terminal dactylus, some pleopods, the tail fan, and the hooked rostrum, which is isolated from the body. The carapace (cephalothoracic shield) is not preserved, neither the pleon. This configuration evokes an exuvia or a predated specimen. Intriguingly, some pereiopods exhibit apodemes as if the muscles were stripped off.
description: Published as part of Odin, Giliane P., Charbonnier, Sylvain, Devillez, Julien & Schweigert, Günter, 2019, On unreported historical specimens of marine arthropods from the Solnhofen and Nusplingen Lithographic Limestones (Late Jurassic, Germany) housed at the Muséum national d'Histoire naturelle, Paris, pp. 643-662 in Geodiversitas 41 (17) on page 658, DOI: 10.5252/geodiversitas2019v41a17, http://zenodo.org/record/3695414
Adoristes ovatus
Creators: name: Schatz, Heinrich
name: Fortini, Lorenzo
name: Fusco, Tommaso
name: Casale, Francesca
name: Jacomini, Carlo
name: Giulio, Andrea Di
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Sarcoptiformes
Liacaridae
Adoristes
Adoristes ovatus

description: Adoristes ovatus (C.L. Koch, 1839)
Adoristes ovatus Seniczak et al. 2017, p. 2040. figs 1-5.
Adoristes ovatus Weigmann 2006, p. 236, fig. 126.
Parco Naturale delle Alpi Marittime: AB sparse.
General distribution: Northern, southern Italy; Italian, Swiss, Austrian Alps, southern France; Holarctic.
Habitat preferences: euryoecious, primarily silvicolous.
description: Published as part of Schatz, Heinrich, Fortini, Lorenzo, Fusco, Tommaso, Casale, Francesca, Jacomini, Carlo & Giulio, Andrea Di, 2021, Oribatid mites (Acari, Oribatida) from " Parco Naturale delle Alpi Marittime " (Piedmont, Italy), pp. 501-540 in Zootaxa 5082 (6) on page 516, DOI: 10.11646/zootaxa.5082.6.1, http://zenodo.org/record/5797624
Spalacidae Gray 1821
Creators: name: Don E. Wilson
name: Russell A. Mittermeier
name: Thomas E. Lacher, Jr
Publisher: name: Lynx Edicions
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Spalacidae

description: Family SPALACIDAE
(MUROID MOLE-RATS)
• Small to medium-sized rodents with adaptations for subterranean life such as cylindrical bodies, enlarged incisors, and reduced tails, eyes, and ear pinnae.
• 13-70 cm.
• Palearctic, Afrotropical, and Indo-Malayan regions.
• Steppes, grasslands, meadows, forests, bamboo thickets, and farmlands.
• 7 genera, 28 species, 4H taxa.
• 2 species Endangered, 1 species Vulnerable; none Extinct since 1600.
description: Published as part of Don E. Wilson, Russell A. Mittermeier & Thomas E. Lacher, Jr, 2017, Spalacidae, pp. 108-142 in Handbook of the Mammals of the World – Volume 7 Rodents II, Barcelona :Lynx Edicions on page 108, DOI: 10.5281/zenodo.6609100
Dominating Set Reconfiguration with Answer Set Programming
Creators: name: Kato, Masato
name: Schaub, Torsten
name: Soh, Takehide
name: Tamura, Naoyuki
name: Banbara, Mutsunori
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: The dominating set reconfiguration problem is defined as determining, for a given dominating set problem and two among its feasible solutions, whether one is reachable from the other via a sequence of feasible solutions subject to a certain adjacency relation. This problem is PSPACE-complete in general. The concept of the dominating set is known to be quite useful for analyzing wireless networks, social networks, and sensor networks. We develop an approach to solve the dominating set reconfiguration problem based on Answer Set Programming (ASP). Our declarative approach relies on a high-level ASP encoding, and both the grounding and solving tasks are delegated to an ASP-based combinatorial reconfiguration solver. To evaluate the effectiveness of our approach, we conduct experiments on a newly created benchmark set.
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
Creators: name: Cardellini, Matteo
name: Dodaro, Carmine
name: Maratea, Marco
name: Vallati, Mauro
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Answer Set Programming (ASP) has demonstrated its potential as an effective tool for concisely representing and reasoning about real-world problems. In this paper, we present an application in which ASP has been successfully used in the context of dynamic traffic distribution for urban networks, within a more general framework devised for solving such a real-world problem. In particular, ASP has been employed for the computation of the "optimal" routes for all the vehicles in the network. We also provide an empirical analysis of the performance of the whole framework, and of its part in which ASP is employed, on two European urban areas, which shows the viability of the framework and the contribution ASP can give.
Fast Inference for Probabilistic Answer Set Programs via the Residual Program
Creators: name: Azzolini, Damiano
name: Riguzzi, Fabrizio
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: When we want to compute the probability of a query from a Probabilistic Answer Set Program, some parts of a program may not influence the probability of a query, but they impact on the size of the grounding. Identifying and removing them is crucial to speed up the computation. Algorithms for SLG resolution offer the possibility of returning the residual program which can be used for computing answer sets for normal programs that do have a total well-founded model. The residual program does not contain the parts of the program that do not influence the probability. In this paper, we propose to exploit the residual program for performing inference. Empirical results on graph datasets show that the approach leads to significantly faster inference.
description: The paper has been accepted at the ICLP2024 conference and under consideration in Theory and Practice of Logic Programming (TPLP)
SOCIO-PSYCHOLOGICAL FACTORS OF MATURITY TO FAMILY LIFE
Creators: name: Raximova, Dilbar
Publisher: name: Zenodo
Year: 2024

description: A new epoch Uzbekistan is entering the third renaissance period, thanks to the wise policy of the President, care for the rise of our youth in the Republic has officially taken place among the issues of state importance. A number of scientific researches about family relations have been conducted and are being conducted in Uzbekistan. Scientists mainly worked in the direction of national characteristics of the family. The issue of socio-psychological factors of maturity to family life is at the centre of our focus as a scientific problem today. In particular, the sharp increase in the number of rulings in recent years calls for increased attention to family issues.
Liacarus coracinus
Creators: name: Schatz, Heinrich
name: Fortini, Lorenzo
name: Fusco, Tommaso
name: Casale, Francesca
name: Jacomini, Carlo
name: Giulio, Andrea Di
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Sarcoptiformes
Liacaridae
Liacarus
Liacarus coracinus

description: Liacarus coracinus (C.L. Koch, 1841)
Liacarus coracinus Weigmann 2006, p. 239, figs 128f, g.
Parco Naturale delle Alpi Marittime: AB numerous, PAL single records.
General distribution: Northern, southern Italy; Italian, Swiss, Austrian Alps, southern France; Holarctic, western Oriental.
Habitat preferences: euryoecious, primarily silvicolous, also praticolous.
description: Published as part of Schatz, Heinrich, Fortini, Lorenzo, Fusco, Tommaso, Casale, Francesca, Jacomini, Carlo & Giulio, Andrea Di, 2021, Oribatid mites (Acari, Oribatida) from " Parco Naturale delle Alpi Marittime " (Piedmont, Italy), pp. 501-540 in Zootaxa 5082 (6) on page 516, DOI: 10.11646/zootaxa.5082.6.1, http://zenodo.org/record/5797624
Scleranthus annuus subsp. verticillatus Arcang.
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Caryophyllales
Caryophyllaceae
Scleranthus
Scleranthus annuus
Scleranthus annuus subsp. verticillatus (tausch) arcang.

description: Scleranthus annuus subsp. verticillatus (Tausch) Arcang.
Artbeschreibung: Blütenknäuel längs des Stängels und der Zweige verteilt, sehr kurz gestielt. Blüten zur Fruchtzeit 1,5-3 mm lang. Kelchzipfel deutlich ungleich lang, zusammenneigend.
Verbreitung global: Südeuropäisch
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl FtrockenLichtzahl LhellSalzzeichen1Reaktionszahl Rneutral bis basisch (pH 5.5-8.5)Temperaturzahl Tsehr warm-kollin (nur an wärmsten Stellen, Hauptverbreitung in Südeuropa)Nährstoffzahl Nmässig nährstoffarm bis mässig nährstoffreichKontinentalitätszahl Ksubkontinental (niedrige relative Luftfeuchtigkeit, grosse Temperaturschwankungen, eher kalte Winter)
Volksname Deutscher Name: Hügel-Knäuel Nom français: Gnavelle verticillée
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Caryophyllaceae, pp. 632-696 in Flora Helvetica, Bern :Haupt Verlag on page 672
Mesolimulus StOrmer 1952
Creators: name: Odin, Giliane P.
name: Charbonnier, Sylvain
name: Devillez, Julien
name: Schweigert, Günter
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Merostomata
Xiphosurida
Limulidae
Mesolimulus

description: Genus Mesolimulus StØrmer, 1952
TYPE SPECIES. — Limulus walchii Desmarest, 1817, by monotypy.
description: Published as part of Odin, Giliane P., Charbonnier, Sylvain, Devillez, Julien & Schweigert, Günter, 2019, On unreported historical specimens of marine arthropods from the Solnhofen and Nusplingen Lithographic Limestones (Late Jurassic, Germany) housed at the Muséum national d'Histoire naturelle, Paris, pp. 643-662 in Geodiversitas 41 (17) on page 658, DOI: 10.5252/geodiversitas2019v41a17, http://zenodo.org/record/3695414
Quantifying over Optimum Answer Sets
Creators: name: Mazzotta, Giuseppe
name: Ricca, Francesco
name: Truszczynski, Mirek
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Computational Complexity (cs.CC)
subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: Answer Set Programming with Quantifiers (ASP(Q)) has been introduced to provide a natural extension of ASP modeling to problems in the polynomial hierarchy (PH). However, ASP(Q) lacks a method for encoding in an elegant and compact way problems requiring a polynomial number of calls to an oracle in $Σ_n^p$ (that is, problems in $Δ_{n+1}^p$). Such problems include, in particular, optimization problems. In this paper we propose an extension of ASP(Q), in which component programs may contain weak constraints. Weak constraints can be used both for expressing local optimization within quantified component programs and for modeling global optimization criteria. We showcase the modeling capabilities of the new formalism through various application scenarios. Further, we study its computational properties obtaining complexity results and unveiling non-obvious characteristics of ASP(Q) programs with weak constraints.
Menoscelis saginata Mulsant 1850
Creators: name: Santos, Paula B.
name: Churata-Salcedo, Julissa M.
name: Almeida, Lúcia M.
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy

description: 1. Menoscelis saginata Mulsant, 1850
Menoscelis saginata Mulsant, 1850: 508 –509; Crotch, 1874: 209; Fürsch, 1990b: 63. Gordon & Canepari, 2008: 272; Corrêa et al., 2011: 34.
Thalassa (Menoscelis) saginata: Korschefsky, 1931: 208; Blackwelder, 1945: 449. Thalassa (Monoscelis) saginata (sic!): Orivel et al., 2004: 97 (biology).
Material examined. “ Guyane Française,/ 4º44’56”N 52º26’28”W,/Montagne des Chevaux, 75 m, 14. X.2012, vitre,/ SEAG col.” “ DZUP /285427” [white label]. “ Guyane Française,/ 3º37’22”N 53º12’57”W,/ Bélvédère de Saül, 25.VIII. 2011, 326 m/vitre, SEAG col.” “ DZUP /246069” [white label]. “ Guyane Française,/ 4º05’N 52º41’W, Réserve/Naturelle des Nouragues–/Camp Inselberg, 411 m,/ 25.VII.2013, vitre,/ SEAG col.” “ DZUP /189137” [white label].
Type locality. French Guiana, Cayenne (MNHL) lectotype designated by Gordon & Canepari (2008, p.272–273).
Distribution. French Guiana: Cayenne; Bélvédère de Saül; Montagne des Chevaux; Réserve Naturelle des Nouragues - Camp Inselberg (New record) and Peru: Satipo (González 2007) (Fig. 10).
description: Published as part of Santos, Paula B., Churata-Salcedo, Julissa M. & Almeida, Lúcia M., 2016, New species and records of Menoscelis Mulsant (Coleoptera: Coccinellidae) from French Guiana, pp. 252-268 in Zootaxa 4078 (1) on page 256, DOI: 10.11646/zootaxa.4078.1.23, http://zenodo.org/record/262121
Winning Snake: Design Choices in Multi-Shot ASP
Creators: name: Böhl, Elisa
name: Ellmauthaler, Stefan
name: Gaggl, Sarah Alice
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its multiple applications in science and industry. The constant development of advanced programming and modeling techniques extends the toolset for developers and users regularly. This paper demonstrates different techniques to reuse logic program parts (multi-shot) by solving the arcade game snake. This game is particularly interesting because a victory can be assured by solving the underlying NP-hard problem of Hamiltonian Cycles. We will demonstrate five hands-on implementations in clingo and compare their performance in an empirical evaluation. In addition, our implementation utilizes clingraph to generate a simple yet informative image representation of the game's progress.
description: 17 pages, 3 figures, to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Mesolimulus walchii
Creators: name: Odin, Giliane P.
name: Charbonnier, Sylvain
name: Devillez, Julien
name: Schweigert, Günter
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Merostomata
Xiphosurida
Limulidae
Mesolimulus
Mesolimulus walchii

description: Mesolimulus walchii (Desmarest, 1817)(Fig. 11)
STUDIED MATERIAL. — Charbonnier & Garassino (2012) listed four specimens from Solnhofen (MNHN.F. A33516, B13432, B13433; MNHN.GG.2004/7473) but figured only one specimen (MNHN.F. A33516). We do not change their contribution.
COMMENTS
Specimen MNHN.F.B13432 (Fig. 11A) is poorly preserved and exhibit many calcite bundles (as dumbells and spheres), mostly at the rear of the prosoma.According to Briggs & Wilby (1996), among the arthropods of Solnhofen, Mesolimulus is the taxon the most commonly subject to calcite crystals bundles development (we illustrate a specimen of Eryon cuvieri with calcite bundles on Fig. 9B). Such crystals are believed to be formed during the early stage of diagenesis, due to microbial activity. Specimen MNHN.F.B13433 (Fig. 11B) is a dorsal view of a slightly deformed specimen; the prosoma, carapace and telson are beautifully preserved.
Acknowledgements
We thank Lilian Cazes (CR2P, MNHN) for assistance in photographic work. This paper is a contribution from the UMR CNRS 7207 Centre de Recherche en Paléontologie – Paris, and part of the ‘PyrEx’ project, funded by the DIM Matériaux Anciens et Patrimoniaux. We also would like to thank Denis Audo and Alessandro Garassino for their useful comments on a previous version of the manuscript.
description: Published as part of Odin, Giliane P., Charbonnier, Sylvain, Devillez, Julien & Schweigert, Günter, 2019, On unreported historical specimens of marine arthropods from the Solnhofen and Nusplingen Lithographic Limestones (Late Jurassic, Germany) housed at the Muséum national d'Histoire naturelle, Paris, pp. 643-662 in Geodiversitas 41 (17) on page 658, DOI: 10.5252/geodiversitas2019v41a17, http://zenodo.org/record/3695414
Basilia italica Theodor 1954
Creators: name: Szentiványi, Tamara
name: Genzoni, Eléonore
name: Clément, Laura
name: Radonjić, Marina
name: Loce, Ervis
name: Théou, Philippe
name: Glaizot, Olivier
name: Christe, Philippe
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Hippoboscidae
Basilia
Basilia italica

description: Basilia italica Theodor
Material examined: Shëngjin [Albania], 08. VI. 2015., leg. L. Clément & E. Genzoni; 1 female & 2 males; host: Myotis mystacinus (Kuhl) [identification code: GBIFCH00280595]. Habitat: unused military bunkers, elevation: 10 m.
Remarks: The species parasitizes mainly Myotis mystacinus (Aellen 1963; Hůrka 1964, 1980; Beaucournu & Noblet 1996; Czuppon & Molnár 2001; Krištofík & Danko 2012), but was also recorded on Barbastella barbastellus (Schreber) (Czuppon & Molnár 2001), Eptesicus serotinus (Schreber) (Czuppon & Molnár 2001), M. alcathoe (Helversen & Heller) (Danko et al. 2010), M. brandtii (Eversmann) (Hůrka 1980; Czuppon & Molnár 2001), M. emarginatus (E. Geoffroy) (Theodor 1954; Hůrka 1980), M. myotis (Borkhausen) (Theodor 1954; Hutson 1984), and M. nattereri (Kuhl) (Czuppon & Molnár 2001).
Distribution: The species is distributed in Europe with sparse occurrences data (Hůrka 1980). B. italica is known from Albania (present study), France, Hungary, Italy, Poland, Slovakia and Switzerland (Theodor 1954; Aellen 1963; Hůrka 1964, 1980; Beaucournu & Noblet 1996; Czuppon & Molnár 2001; Danko et al. 2010; Krištofík & Danko 2012).
description: Published as part of Szentiványi, Tamara, Genzoni, Eléonore, Clément, Laura, Radonjić, Marina, Loce, Ervis, Théou, Philippe, Glaizot, Olivier & Christe, Philippe, 2016, Basilia: a new genus to the Albanian bat fly fauna (Diptera: Nycteribiidae), pp. 58-61 in Ecologica Montenegrina 8 on pages 58-59, DOI: 10.37828/em.2016.8.8, http://zenodo.org/record/12651013
Silene armeria L.
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Caryophyllales
Caryophyllaceae
Silene
Silene armeria

description: Silene armeria L.
Artbeschreibung: 15-60 cm hoch, kahl, Stängel und Blätter bläulich bereift, unter den Knoten klebrig, ohne sterile Triebe. Blätter lanzettlich bis eiförmig. Blütenstände doldig am Ende der Zweige. Kronblätter hellpurpurn, 20-28 mm lang, gerundet oder etwas ausgerandet, mit ca. 3 mm hohem Nebenkrönchen. Griffel 3. Kelch 14-20 mm lang, schmal-keulenförmig, meist rötlich. Kapsel 7-10 mm lang, auf etwa gleich langem Stiel, mit 6 Zähnen öffnend.
Blütezeit: 6-7
Standort und Verbreitung in der Schweiz: Felsige Hänge in warmen Lagen / kollin-montan / VS, TI, GR (Bergell, Puschlav), vereinzelt J, M (adventiv)
Verbreitung global: Südeuropäisch
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl Fmässig trockenLichtzahl LhellSalzzeichen--Reaktionszahl Rschwach sauer bis neutral (pH 4.5-7.5)Temperaturzahl Tkollin (Laubmischwälder mit Eichen)Nährstoffzahl NnährstoffarmKontinentalitätszahl Ksubkontinental (niedrige relative Luftfeuchtigkeit, grosse Temperaturschwankungen, eher kalte Winter)
Volksname Deutscher Name: Nelken-Leimkraut Nom français: Silène arméria Nome italiano: Silene a mazzetti
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Caryophyllaceae, pp. 632-696 in Flora Helvetica, Bern :Haupt Verlag on page 672
Silene acaulis Jacq.
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Caryophyllales
Caryophyllaceae
Silene
Silene acaulis

description: Silene acaulis (L.) Jacq.
Artbeschreibung: 1-3 cm hoch, dichte, flache Polster bildend, kahl, nur Blattrand meist bewimpert. Stängel dicht dachziegelig beblättert. Blätter schmal-lineal, 5-12 mm lang. Pflanze oft zweihäusig. Blüten einzeln auf bis 3 cm langen, nicht geflügelten Stielen. Kronblätter purpurn, 6-14 mm lang und meist 2-3 mm breit, ausgerandet. Griffel 3. Kelch 4-8 mm lang, am Grund plötzlich verschmälert. Kapsel 6-13 mm lang, bis doppelt so lang wie der Kelch, mit 6 Zähnen öffnend.
Blütezeit: 6-8
Standort und Verbreitung in der Schweiz: Steinige Rasen, Grate, meist auf Kalk / (subalpin-)alpin / A, M am Alpenrand
Verbreitung global: Arktisch-alpin
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl Fmässig feuchtLichtzahl Lsehr hellSalzzeichen--Reaktionszahl Rneutral bis basisch (pH 5.5-8.5)Temperaturzahl Talpin und nival (von der Baumgrenze bis zur Schneegrenze)Nährstoffzahl Nsehr nährstoffarmKontinentalitätszahl Ksubozeanisch bis subkontinental (mittlere Luftfeuchtigkeit, mässige Temperaturschwankungen und mässig tiefe Wintertemperaturen)
Volksname Deutscher Name: Kalk-Polsternelke, Stängelloses Leimkraut Nom français: Silène acaule Nome italiano: Silene a cuscinetto
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Caryophyllaceae, pp. 632-696 in Flora Helvetica, Bern :Haupt Verlag on page 672
Symbolic Parameter Learning in Probabilistic Answer Set Programming
Creators: name: Azzolini, Damiano
name: Gentili, Elisabetta
name: Riguzzi, Fabrizio
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Parameter learning is a crucial task in the field of Statistical Relational Artificial Intelligence: given a probabilistic logic program and a set of observations in the form of interpretations, the goal is to learn the probabilities of the facts in the program such that the probabilities of the interpretations are maximized. In this paper, we propose two algorithms to solve such a task within the formalism of Probabilistic Answer Set Programming, both based on the extraction of symbolic equations representing the probabilities of the interpretations. The first solves the task using an off-the-shelf constrained optimization solver while the second is based on an implementation of the Expectation Maximization algorithm. Empirical results show that our proposals often outperform existing approaches based on projected answer set enumeration in terms of quality of the solution and in terms of execution time. The paper has been accepted at the ICLP2024 conference and is under consideration in Theory and Practice of Logic Programming (TPLP).
description: The paper has been accepted at the ICLP2024 conference and is under consideration in Theory and Practice of Logic Programming (TPLP)
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping
Creators: name: Alfano, Gianvincenzo
name: Greco, Sergio
name: Parisi, Francesco
name: Trubitsyna, Irina
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Dung's Abstract Argumentation Framework (AF) has emerged as a key formalism for argumentation in Artificial Intelligence. It has been extended in several directions, including the possibility to express supports, leading to the development of the Bipolar Argumentation Framework (BAF), and recursive attacks and supports, resulting in the Recursive BAF (Rec-BAF). Different interpretations of supports have been proposed, whereas for Rec-BAF (where the target of attacks and supports may also be attacks and supports) even different semantics for attacks have been defined. However, the semantics of these frameworks have either not been defined in the presence of support cycles, or are often quite intricate in terms of the involved definitions. We encompass this limitation and present classical semantics for general BAF and Rec-BAF and show that the semantics for specific BAF and Rec-BAF frameworks can be defined by very simple and intuitive modifications of that defined for the case of AF. This is achieved by providing a modular definition of the sets of defeated and acceptable elements for each AF-based framework. We also characterize, in an elegant and uniform way, the semantics of general BAF and Rec-BAF in terms of logic programming and partial stable model semantics.
description: Paper presented at the 40th International Conference on Logic Programming (ICLP 2024), University of Texas at Dallas, USA, October 2024. arXiv admin note: text overlap with arXiv:2008.02550
AI for Libraries - Libraries as AI Generator : Society - Library Perspectives
Creators: name: Erdmann, Christopher
Publisher: name: Zenodo
Year: 2022
Subjects: AI
Libraries

description: SCONUL - AI for libraries; Part 2 – Libraries as AI generator 27 May, 2022 13.00 – 15.00 hrs Across the global library community there is a wealth of library-inspired AI projects now underway. They touch on all aspects of libraries roles including user support and teaching and learning; discovery; preservation and supporting scholarship. For example, libraries are using AI to deliver image tagging to aid discovery; to produce transcriptions of hand-written documents; to generate metadata for image libraries; to create chat services and to understand visitor interactions with collections. Our session will consider the scope for similar initiatives at individual UK institutions and for collaborative projects across the sector. Where can these add value for the individual institution and contribute to the collective knowledge base on AI in libraries? What resources and support does an AI library start-up need and how can institutions support new initiatives? https://www.sconul.ac.uk/event/ai-for-libraries-part-2-%E2%80%93-libraries-as-ai-generator
description: This work is supported by Accelerating Open and FAIR Data Practices Across the Earth, Space, and Environmental Sciences: A Pilot with the NSF to Support Public Access to Research Data project funded by the National Science Foundation, Grant 2025364.
Menoscelis insignis Mulsant 1850
Creators: name: Santos, Paula B.
name: Churata-Salcedo, Julissa M.
name: Almeida, Lúcia M.
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy

description: 2. Menoscelis insignis Mulsant, 1850
Menoscelis insignis Mulsant, 1850: 509 –510; Crotch, 1874: 209; Gordon, 1987: 26; Gordon & Canepari, 2008: 274; Corrêa et al., 2011: 34 –35.
Menoscelis (Thalassa) insignis var. saginata: Gemminger & Harold, 1876: 3783.
Thalassa (Menoscelis) saginata ab. insignis: Korschefsky, 1931: 208; Blackwelder, 1945: 449.
Type locality. French Guiana, Cayenne (UMZC).
Distribution. French Guiana: Cayenne; Montagne des Chevaux; Bélvédère de Saül (New record) and Réserve Naturelle des Nouragues—Camp Inselberg (New record) and Brazil: AM, Itacoatiara (Fig. 10).
description: Published as part of Santos, Paula B., Churata-Salcedo, Julissa M. & Almeida, Lúcia M., 2016, New species and records of Menoscelis Mulsant (Coleoptera: Coccinellidae) from French Guiana, pp. 252-268 in Zootaxa 4078 (1) on pages 256-257, DOI: 10.11646/zootaxa.4078.1.23, http://zenodo.org/record/262121
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
Creators: name: Kinahan, Riley
name: Killen, Spencer
name: Wan, Kevin
name: You, Jia-Huai
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences
subject: I.2.4

description: Hybrid MKNF Knowledge Bases (HMKNF-KBs) constitute a formalism for tightly integrated reasoning over closed-world rules and open-world ontologies. This approach allows for accurate modeling of real-world systems, which often rely on both categorical and normative reasoning. Conflict-driven solving is the leading approach for computationally hard problems, such as satisfiability (SAT) and answer set programming (ASP), in which MKNF is rooted. This paper investigates the theoretical underpinnings required for a conflict-driven solver of HMKNF-KBs. The approach defines a set of completion and loop formulas, whose satisfaction characterizes MKNF models. This forms the basis for a set of nogoods, which in turn can be used as the backbone for a conflict-driven solver.
Liacarus subterraneus
Creators: name: Schatz, Heinrich
name: Fortini, Lorenzo
name: Fusco, Tommaso
name: Casale, Francesca
name: Jacomini, Carlo
name: Giulio, Andrea Di
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Sarcoptiformes
Liacaridae
Liacarus
Liacarus subterraneus

description: Liacarus subterraneus (C.L. Koch, 1844)
Liacarus subterraneus Weigmann 2006, p. 238, figs 127d-g.
Parco Naturale delle Alpi Marittime: AB sparse, FRA, PAL single records.
General distribution: Northern, southern Italy; Italian, Swiss, Austrian Alps, southern France; Holarctic.
Habitat preferences: silvicolous.
description: Published as part of Schatz, Heinrich, Fortini, Lorenzo, Fusco, Tommaso, Casale, Francesca, Jacomini, Carlo & Giulio, Andrea Di, 2021, Oribatid mites (Acari, Oribatida) from " Parco Naturale delle Alpi Marittime " (Piedmont, Italy), pp. 501-540 in Zootaxa 5082 (6) on page 516, DOI: 10.11646/zootaxa.5082.6.1, http://zenodo.org/record/5797624
Abstract Environment Trimming
Creators: name: Jurjo-Rivas, Daniel
name: Morales, Jose F.
name: López-García, Pedro
name: Hermenegildo, Manuel V.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many useful program properties. Such properties include modes, determinacy, non-failure, cost, etc. This has motivated significant work on developing abstract domains to improve the precision and performance of sharing analyses. Much of this work has centered around the family of set-sharing domains, because of the high precision they offer. However, this comes at a price: their scalability to a wide set of realistic programs remains challenging and this hinders their wider adoption. In this work, rather than defining new sharing abstract domains, we focus instead on developing techniques which can be incorporated in the analyzers to address aspects that are known to affect the efficiency of these domains, such as the number of variables, without affecting precision. These techniques are inspired in others used in the context of compiler optimizations, such as expression reassociation and variable trimming. We present several such techniques and provide an extensive experimental evaluation of over 1100 program modules taken from both production code and classical benchmarks. This includes the Spectector cache analyzer, the s(CASP) system, the libraries of the Ciao system, the LPdoc documenter, the PLAI analyzer itself, etc. The experimental results are quite encouraging: we have obtained significant speed-ups, and, more importantly, the number of modules that require a timeout was cut in half. As a result, many more programs can be analyzed precisely in reasonable times.
description: 61 pages, 10 figures, 7 tables, submitted to ICLP 2024
Myospalax armandii
Creators: name: Don E. Wilson
name: Russell A. Mittermeier
name: Thomas E. Lacher, Jr
Publisher: name: Lynx Edicions
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Spalacidae
Myospalax
Myospalax armandii

description: 3.
Armand’s Zokor
Myospalax armandii
French: Zokor dArmand / German: Armand-Blindmull / Spanish: Zocor de Armand
Taxonomy. Siphneus armandii Milne-Edwards, 1867,
Mongolian plateau (N Shanxi).
Member of M. myospalax species group according to G. G. Musser and M. D. Carleton in 2005 but treated as a member of the M. aspalax group in I. Ya. Pavlinov and A. A. Lissovsky in 2012. Myospalax armandii is the sister species of M. aspalax, and the two have often been historically united into the same species, M. aspalax. Morphological data and RAPD-PCR support the conclusion that M. armandii is distinct from but closely related to M. aspalax. They are united into the aspalax superspecies by Pavlinov and Lissovsky in 2012. Monotypic.
Distribution. E Inner Mongolia (= Nei Mongol), N Shanxi, N Hebei, W Liaoning, W Jilin, and S Heilongjiang (NE China), and SE Zabaykalsky Krai (Russia).
Descriptive notes. Head-body 140-233 mm, tail 48-69 mm; weight 225-422 g. Measurements are from A. T. Smith in 2008, which may include specimens of the Steppe Zokor (M. aspalax). Armand’s Zokor looks similar to the Steppe Zokor. It is grayish, with yellow or light brown tinge. Lips are white, and forehead and other parts of head and ears can have white spots. Venter is grayish white, and tail and feet have short white hairs. Diploid number is 2n = 62.
Habitat. Steppe, meadows, and farmland.
Food and Feeding. Armand’s Zokor feeds on underground roots, rhizomes, leaves, and buds.
Breeding. No information.
Activity patterns. Armand’s Zokor constructs burrows in rich, dark, soft soil.
Movements, Home range and Social organization. No information.
Status and Conservation. Classified as Least Concern on The IUCN Red List and the 2016 China Red List (under M. aspalax in both).
Bibliography. Allen (1940), Chelomina et al. (2011), Jiang Zhigang et al. (2016), Lawrence (1991), Musser & Carleton (2005), Ognev (1947), Pavlenko, Tsvirka et al. (2014), Pavlinov & Lissovsky (2012), Puzachenko, Pavlenko & Korablev (2009), Puzachenko, Pavlienko, Korablev & Tsvirka (2014), Shar & Lkhagvasuren (2008), Smith (2008b), Tarasov et al. (2011), Tsvirka et al. (2011).
description: Published as part of Don E. Wilson, Russell A. Mittermeier & Thomas E. Lacher, Jr, 2017, Spalacidae, pp. 108-142 in Handbook of the Mammals of the World – Volume 7 Rodents II, Barcelona :Lynx Edicions on pages 131-132, DOI: 10.5281/zenodo.6609100
Baenothrips cuneatus Zhao & Tong
Creators: name: Tong, Xiaoli
name: Zhao, Chao
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Thysanoptera
Phlaeothripidae
Baenothrips
Baenothrips cuneatus

description: Baenothrips cuneatus Zhao & Tong
Baenothrips cuneatus Zhao & Tong, 2016: 68.
Specimens examined. China, Guangdong, Type specimens (Holotype and paratypes in SCAU). Distribution. China (Hunan, Guangdong, Guangxi, Yunnan, Hainan).
description: Published as part of Tong, Xiaoli & Zhao, Chao, 2017, Review of fungus-feeding urothripine species from China, with descriptions of two new species (Thysanoptera: Phlaeothripidae), pp. 307-320 in Zootaxa 4237 (2) on page 308, DOI: 10.11646/zootaxa.4237.2.5, http://zenodo.org/record/343825
The Stable Model Semantics for Higher-Order Logic Programming
Creators: name: Bogaerts, Bart
name: Charalambidis, Angelos
name: Chatziagapis, Giannos
name: Kostopoulos, Babis
name: Pollaci, Samuele
name: Rondogiannis, Panos
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: I.2.3; I.2.5; F.3.2

description: We propose a stable model semantics for higher-order logic programs. Our semantics is developed using Approximation Fixpoint Theory (AFT), a powerful formalism that has successfully been used to give meaning to diverse non-monotonic formalisms. The proposed semantics generalizes the classical two-valued stable model semantics of (Gelfond and Lifschitz 1988) as-well-as the three-valued one of (Przymusinski 1990), retaining their desirable properties. Due to the use of AFT, we also get for free alternative semantics for higher-order logic programs, namely supported model, Kripke-Kleene, and well-founded. Additionally, we define a broad class of stratified higher-order logic programs and demonstrate that they have a unique two-valued higher-order stable model which coincides with the well-founded semantics of such programs. We provide a number of examples in different application domains, which demonstrate that higher-order logic programming under the stable model semantics is a powerful and versatile formalism, which can potentially form the basis of novel ASP systems.
Baenothrips Crawford
Creators: name: Tong, Xiaoli
name: Zhao, Chao
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Thysanoptera
Phlaeothripidae
Baenothrips

description: Baenothrips Crawford
Baenothrips Crawford, 1948: 39. Type species Baenothrips guatemalensis Crawford 1948, by monotypy.
A total of 12 species from around the world are currently listed in this genus (ThripsWiki 2017), with two recorded from China.
description: Published as part of Tong, Xiaoli & Zhao, Chao, 2017, Review of fungus-feeding urothripine species from China, with descriptions of two new species (Thysanoptera: Phlaeothripidae), pp. 307-320 in Zootaxa 4237 (2) on page 308, DOI: 10.11646/zootaxa.4237.2.5, http://zenodo.org/record/343825
Menoscelis stephani Correa, Santos & Almeida 2011
Creators: name: Santos, Paula B.
name: Churata-Salcedo, Julissa M.
name: Almeida, Lúcia M.
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy

description: 3. Menoscelis stephani Corrêa, Santos & Almeida, 2011
Menoscelis stephani Corrêa, Santos & Almeida, 2011: 32 –34.
Material examined. “ Guyane Française,/ 4º44’56”N 52º26’28”W,/Montagne des Chevaux,/ 75 m, 26. VI.2011, vitre,/ SEAG col.” “ DZUP /209015” [white label].
“ Guyane Française,/ 4º44’56”N 52º26’28”W,/Montagne des Chevaux,/ 75 m, 22. V.2011, vitre,/ SEAG col.” “ DZUP /289143” [white label].
Type locality. French Guiana (Roura, Montagne des Chevaux) (MNHN).
Distribution. French Guiana: Montagne des Chevaux (Fig. 11).
description: Published as part of Santos, Paula B., Churata-Salcedo, Julissa M. & Almeida, Lúcia M., 2016, New species and records of Menoscelis Mulsant (Coleoptera: Coccinellidae) from French Guiana, pp. 252-268 in Zootaxa 4078 (1) on page 257, DOI: 10.11646/zootaxa.4078.1.23, http://zenodo.org/record/262121