cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Unruh-deWitt detector in impulsive plane wave spacetimes
Creators: name: Pitelli, João Paulo M.
name: Mosna, Ricardo A.
Publisher: name: arXiv
Year: 2024
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate the response function of an inertial Unruh-deWitt detector in an impulsive plane wave spacetime. Through symmetry considerations applied to the Wightman function, we demonstrate that the response function remains invariant for any inertial detector, even for those experiencing a discontinuous lightcone coordinate shift after interacting with the shockwave. This implies that the vacuum state in an impulsive plane wave spacetime is preserved under the associated spacetime symmetries. Additionally, we confirm that the quantum imprint of the shockwave, as discussed in [J. High Energ. Phys. 2021, 54 (2021)], is not an artifact and exhibits a distinct characteristic form. We identify this form by defining a "renormalized" response function for an eternally inertial detector, with Minkowski spacetime as a reference.
description: 8 pages, 2 figures
Didymium panniforme J. Matsumoto
Creators: name: Moreno, G.
name: Castillo, A.
name: Thüs, H.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Protozoa
Mycetozoa
Myxomycetes
Physarales
Didymiaceae
Didymium
Didymium panniforme

description: Didymium panniforme J. Matsumoto, in Matsumoto & Deguchi (1999: 61)
= Didymium leoninum var. effusum G. Lister (1933: 71)
Lectotype (designated by Lado & Wrigley de Basanta 2018: 30):— JAPAN. Tochigi Prefecture: Nasu, 37º01’11”N 140º07’15”E, 15 Aug 1932, the Emperor of Japan [Emperor Shôwa, Hirohito], box B.M. 4171 [BM001247522!], + two corresponding historic slides s.n. [BM001095145!, BM001095146!], + one freshly prepared slide, s.n. [BM001247533!].
This species is characterised by large, broad, flattened plasmodiocarps, richly developed capillitium consisting of a dense network of branched, smooth, thin, pale purplish filaments. Peridium with large, stellate, pointed crystals. Spores pale purplish, globose to subglobose, with ridges already clearly visible by LM but much more marked by SEM.
Lister (1933) regarded this taxon as a variety of Didymium leoninum Berk. & Broome, which has stipitate sporocarps (Lister 1925, Emoto 1977). The latter author also illustrates plasmodiocarpic forms of this species in his plate 122. Matsumoto & Deguchi (1999) consider it an autonomous species based on its complex sporal ornamentation formed of coalescing crests instead of the fine warts of the spores in D. leoninum and described it under the new name Didymium panniforme J. Matsumoto. It differs from Didymium ochroideum G. Lister and D. obducens P. Karst. by the texture of the peridium, the spore size and the form of the capillitium. This species is only known from the type collection.
description: Published as part of Moreno, G., Castillo, A. & Thüs, H., 2024, Critical revision of Physarales and Reticulariales (Myxomycetes) at the Natural History Museum London (BM), pp. 79-101 in Phytotaxa 644 (2) on page 96, DOI: 10.11646/phytotaxa.644.2.1, http://zenodo.org/record/13214565
Rustic Capital Writing in Herculaneum papyri
Creators: name: Marichal, Robert
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2015

description: vue 178
description: "Study of the following Latin papyri classified under the name 'Capitale rustique classique': P.Herc. 1066, 1067, 1070, 1472, 1475, 1484, 1535, 1558, 1644 (the folder contains a brief description of P.Herc 1066). All the mentioned papyri are listed on the cover page of the main folder together with all the papyri studied in 4MAR_9_2_5-12 (classified as 'Capitale livresque'). The numbers of the papyri studied in 4MAR_9_2_5-12 are marking in different ink meaning 'recopié'; some numbers are accompanied by the indication 'micro' (in different ink). In addition to some bibliographical notes, the indication 'Vu 54 - fini - Revue 58' is written at the end of the list. The study related to each papyrus is enclosed in one folder with the number of the papyrus written on the upper right corner; in some cases the sheets related to two papyri are inserted in one single folder, and one of the two numbers is written in a different ink."
description: Source: 4MAR_9_2_5-16
description: Relation: 4MAR_2_5-12,
description: created: n.d., 1957
Parabelminus carioca Lent 1943
Creators: name: Galvão, Cleber
name: Gil-Santana, Hélcio R.
name: Oliveira, Jader de
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Reduviidae
Parabelminus
Parabelminus carioca

description: Parabelminus carioca Lent, 1943
Distribution. Rio de Janeiro.
Public health importance. Parabelminus carioca was found infected with T. cruzi (Lent and Wygodzinsky 1979).
Remarks. It has been found on a palm tree (Attalea indaya (Mart.) Burret; Arecaceae) among its frond where opossums (Didelphis marsupialis aurita) were obtaining shelter (Lent and Wygodzinsky 1979).
description: Published as part of Galvão, Cleber, Gil-Santana, Hélcio R. & Oliveira, Jader de, 2024, The taxonomic catalog of the Brazilian fauna: biodiversity and geographical distribution of Triatominae (Hemiptera: Reduviidae) in Brazil, pp. 1-28 in Zoologia (e 24006) (e 24006) 41 on page 5, DOI: 10.1590/S1984-4689.v41.e24006
An $\mathbf{L^*}$ Algorithm for Deterministic Weighted Regular Languages
Creators: name: Pasti, Clemente
name: Karagöz, Talu
name: Svete, Anej
name: Nowak, Franz
name: Boumasmoud, Reda
name: Cotterell, Ryan
Publisher: name: arXiv
Year: 2024
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: Extracting finite state automata (FSAs) from black-box models offers a powerful approach to gaining interpretable insights into complex model behaviors. To support this pursuit, we present a weighted variant of Angluin's (1987) $\mathbf{L^*}$ algorithm for learning FSAs. We stay faithful to the original algorithm, devising a way to exactly learn deterministic weighted FSAs whose weights support division. Furthermore, we formulate the learning process in a manner that highlights the connection with FSA minimization, showing how $\mathbf{L^*}$ directly learns a minimal automaton for the target language.
Rechtsprechung: Prämienbegünstigtes Sparen durch Ordensleute
Creators: name: Hegemann, Bernward
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 13 (1972): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 13
Maiestas horvathi Then
Creators: name: Zhang, Yalin
name: Duan, Yani
Publisher: name: Zenodo
Year: 2011
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadellidae
Maiestas
Maiestas horvathi

description: Maiestas horvathi (Then)
(Fig. 31; Plate IV: C) New record.
Thamnotettix horvathi Then, 1896: 193.
Maiestas horvathi, Webb & Viraktamath, 2009: 16, Fig. 16.
Length. Male: 3.5–3.7mm.
Material examined. China, Liaoning Prov.: 1ɗ, Shenyang, Dongling, 110m, 15 August 2004, coll. Shang Suqin; 1ɗ, Mt. Yiwulushan, 14 July 2006, coll. Zhang Xinmin, at light (BMNH); Heilongjiang Prov.: 1ɗ, Liumao River, 850m, 15 August 2004, coll. Shang Suqin; Xinjiang Prov.: 1ɗ, Wushi, Banong, 8 September 1986, coll. Zhang Yalin; Tianjin Town: 7ɗɗ, Jixian, Mt. Baxianshan, 17 August 2006, coll. Duan Yani; Hunan Prov.: 2ɗɗ, Mt. Hengshan, 2 August 1985, coll. Zhang Yalin & Chai Yonghui. All NWAFU, except where indicated.
Distribution. Widespread in Europe and China (Liaoning, Heilongjiang, Xinjiang, Tianjin, Hunan).
Remarks. An unusual degree of variation is found in the shape and length of the style apophysis in this species (see Figs 31 D and 31E). As all specimens have the same aedeagus they are tentatively considered to be one of the same species.
description: Published as part of Zhang, Yalin & Duan, Yani, 2011, Review of the Deltocephalus group of leafhoppers (Hemiptera: Cicadellidae: Deltocephalinae) in China, pp. 1-47 in Zootaxa 2870 on pages 35-36, DOI: 10.5281/zenodo.206115
Rechtsprechung: Die Ausbildung zum Missionar und die Tätigkeit als Missionar zählt nicht zu den priviligierten Tätigkeiten, die gemäss § 2 bzw. § 9 AVG der Versicherungs-/Nachversicherungspflicht unterliegen
Creators: name: Hegemann, Bernward
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 13 (1972): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 13
Parabelminus yurupucu Lent & Wygodzinsky 1979
Creators: name: Galvão, Cleber
name: Gil-Santana, Hélcio R.
name: Oliveira, Jader de
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Reduviidae
Parabelminus
Parabelminus yurupucu

description: Parabelminus yurupucu Lent & Wygodzinsky, 1979
Distribution. Bahia.
Public health importance. In the laboratory, nymphs fed on mice. No reports of infection with T. cruzi (Lent and Wygodzinsky 1979). As the species is rare, it has no importance as the vectors of Chagas disease.
Remarks. Most specimens collected were found in epiphytic bromeliads, which in some cases contained rodent nests, and frogs and geckos also occurred (Lent and Wygodzinsky 1979).
description: Published as part of Galvão, Cleber, Gil-Santana, Hélcio R. & Oliveira, Jader de, 2024, The taxonomic catalog of the Brazilian fauna: biodiversity and geographical distribution of Triatominae (Hemiptera: Reduviidae) in Brazil, pp. 1-28 in Zoologia (e 24006) (e 24006) 41 on page 5, DOI: 10.1590/S1984-4689.v41.e24006
Fiche d'inventaire - Objet n° 964 - Fragments de fond de boîte plate
Creators: name: École Française D'Extrême-Orient
name: Conservation D'Angkor
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: Terre

description: Source: FCA/3/2
description: IIIF manifest
description: created: 1950/1970
Fiche d'inventaire - Objet n° 3217
Creators: name: École Française D'Extrême-Orient
name: Conservation D'Angkor
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024

description: Source: FCA/3/2
description: IIIF manifest
description: created: 1950/1970
Didymium trachysporum G. Lister 1923
Creators: name: Moreno, G.
name: Castillo, A.
name: Thüs, H.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Protozoa
Mycetozoa
Myxomycetes
Physarales
Didymiaceae
Didymium
Didymium trachysporum

description: Didymium trachysporum G. Lister (1923: 113)
Lectotype (designated by Lado & Wrigley de Basanta 2018):— UNITED KINGDOM. England: Essex, Leytonstone, 51.569 N 0.010 E, 24 Jul 1917, B.M. 2251 A [BM001089814] (BM!). — Studied syntype: UNITED KINGDOM. England: Essex, Leytonstone, 51.569 N 0.010 E, 25 Jul 1917, B.M. 3228 [BM001095143] (BM!).
The lectotype material is very scarce and we have not sampled it for further invasive studies. Our description is based on microscopic characters of the syntype material only.
This species is characterised by its fructifications forming globose sporocarps or short whitish plasmodiocarps, double peridium with a smooth or wrinkled outer crust of closely compacted calcareous granules, which fructify on remains of straw, manure and dead leaves (Lister 1925). The very marked sporal ornamentation separates this taxon from other species of the genus.
description: Published as part of Moreno, G., Castillo, A. & Thüs, H., 2024, Critical revision of Physarales and Reticulariales (Myxomycetes) at the Natural History Museum London (BM), pp. 79-101 in Phytotaxa 644 (2) on page 97, DOI: 10.11646/phytotaxa.644.2.1, http://zenodo.org/record/13214565
Cavernicola lenti Barrett & Arias 1985
Creators: name: Galvão, Cleber
name: Gil-Santana, Hélcio R.
name: Oliveira, Jader de
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Reduviidae
Cavernicola
Cavernicola lenti

description: Cavernicola lenti Barrett & Arias, 1985
Distribution. Amazonas.
Public health importance. The nymphs feed readily on man, mice and chickens in the laboratory (Barrett and Arias 1985). It was already found infected with T. cruzi.
Remarks. The adults are extremely active when disturbed and the eggs are fixed singly in narrow crevices. This species is associated with Rhipidomys sp. (Rodentia) and lesser spear-nosed bat Phyllostomus elongatus (Barrett and Arias 1985).
description: Published as part of Galvão, Cleber, Gil-Santana, Hélcio R. & Oliveira, Jader de, 2024, The taxonomic catalog of the Brazilian fauna: biodiversity and geographical distribution of Triatominae (Hemiptera: Reduviidae) in Brazil, pp. 1-28 in Zoologia (e 24006) (e 24006) 41 on page 5, DOI: 10.1590/S1984-4689.v41.e24006
Quantum Gravity, Hydrodynamics and Emergent Cosmology: A Collection of Perspectives
Creators: name: Achour, Jibril Ben
name: Benedetti, Dario
name: Bojowald, Martin
name: Brandenberger, Robert
name: Butera, Salvatore
name: Ferrero, Renata
name: Giacomini, Flaminia
name: Giesel, Kristina
name: Goeller, Christophe
name: Haas, Tobias
name: Höhn, Philipp A.
name: Kirklin, Joshua
name: Marchetti, Luca
name: Oriti, Daniele
name: Percacci, Roberto
name: Pereira, Antonio D.
name: Pithis, Andreas G. A.
name: Sakellariadou, Mairi
name: Steinhaus, Sebastian
name: Thürigen, Johannes
Publisher: name: arXiv
Year: 2024
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Quantum Gases (cond-mat.quant-gas)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: This collection of perspective pieces captures recent advancements and reflections from a dynamic research community dedicated to bridging quantum gravity, hydrodynamics, and emergent cosmology. It explores four key research areas: (a) the interplay between hydrodynamics and cosmology, including analog gravity systems; (b) phase transitions, continuum limits and emergent geometry in quantum gravity; (c) relational perspectives in gravity and quantum gravity; and (d) the emergence of cosmological models rooted in quantum gravity frameworks. Each contribution presents the distinct perspectives of its respective authors. Additionally, the introduction by the editors proposes an integrative view, suggesting how these thematic units could serve as foundational pillars for a novel theoretical cosmology framework termed "hydrodynamics on superspace".
description: 42 + 23 pages
Maiestas yangae Zhang & Duan, 2011, sp. nov.
Creators: name: Zhang, Yalin
name: Duan, Yani
Publisher: name: Zenodo
Year: 2011
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadellidae
Maiestas
Maiestas yangae

description: Maiestas yangae sp. nov.
(Fig. 32; Plate IV: D)
Length. Male: 3.7–3.9mm.
Stramineous. Vertex ivory with pale brown marks (Plate IV: D); frontoclypeus with fuscous arcs. Pronotum light yellow with six inconspicuous brown longitudinal bands (Plate IV: D). Legs marked with brown. Forewing with veins bordered brown (Plate IV: D).
32. M. yangae sp. nov. A: male pygofer lobe, lateral view; B: style, dorsal view; C: apex of style, dorsal view; D: subgenital plate, ventral view; E & F: aedeagus and connective, dorsal and lateral view.
Forewing macropterous, inner anteapical cell open basally.
Male genitalia. Subgenital plate fairly short, subtriangular, lateral margin slightly convex (Fig. 32D); style abruptly tapered to narrowly rounded apex from midlength (Figs 32B, 32C); aedeagal shaft fairly short, shorter than connective, broad in dorsal view, sometimes with a few spicules (Figs 32E, 32F).
Material examined. Holotype: ɗ, China, Hunan Prov., Changde, Huanan Factory, 23 July 2002, coll. Sun Qinxia. Paratypes: China, Jilin Prov.: 1ɗ, Manjiang, 11 August 2004, coll. Shang Suqin; Liaoning Prov.: 2ɗɗ, Mt. Yiwulushan, 14 July 2006, coll. Zhang Xinmin, at light (1ɗ, BMNH); Hunan Prov.: 1ɗ, Mt. Hengshan, 2 August 1985, coll. Zhang Yalin & Chai Yonghui; 1ɗ, Chenzhou, 16 August 1985, coll. Zhang Yalin & Chai Yonghui; Jiangxi Prov.: 1ɗ, Pingxiang, 5 August 2002, coll. Yuan Zhonglin; 1ɗ, Pingxiang, Lianhua, 4 August 2002, coll. Sun Qinxia; Anhui Prov.: 1ɗ, Paoji, 35m, 2 September 2006, coll. Yang Meixia, at light. All NWAFU, except where indicated.
Remarks. This species can be distinguished by the shape of the aedeagal shaft in dorsal view. Slight variation in the style apophysis was noted (compare Figs 32B and 32C).
Etymology. This species is named for our colleague Meixia Yang who has collected many of the specimens in this study.
description: Published as part of Zhang, Yalin & Duan, Yani, 2011, Review of the Deltocephalus group of leafhoppers (Hemiptera: Cicadellidae: Deltocephalinae) in China, pp. 1-47 in Zootaxa 2870 on pages 36-37, DOI: 10.5281/zenodo.206115
The Decline and Fall of ROME. V. A Preliminary Search for Star-Disrupted Planet Interactions and Coronal Activity at 5 GHz Among White Dwarfs within 25 pc
Creators: name: Route, Matthew
Publisher: name: arXiv
Year: 2024
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: The recent discovery of planetesimals orbiting white dwarfs has renewed interest in the final chapters of the evolution of planetary systems. Although observational and theoretical studies have examined the dynamical evolution of these systems, studies of their magnetic star-planet interactions, as powered by unipolar induction, have thus far only been assessed theoretically. This fifth paper of the ROME (Radio Observations of Magnetized Exoplanets) series presents the results of a targeted mini-survey of nine white dwarfs within 25 pc without known stellar mass companions in search of radio emissions generated by magnetic interactions between white dwarfs and their planetary remnants. This $\sim$5 GHz Arecibo radio telescope survey achieved mJy-level sensitivity over $<$1 s integration times. Although no exoplanet-induced stellar radio flares were detected, this is the first survey to search for magnetic star-planet interactions between white dwarfs and planetary companions, cores, or disrupted planetesimals. It is also the most extensive and sensitive radio survey for intrinsic coronal emissions from apparently isolated white dwarfs. The study of radio emissions from white dwarf systems may present a new means to detect and measure DC and DQ magnetic fields, search for white dwarf coronae, characterize the density and spatial distribution of white dwarf magnetospheric plasma, characterize the dynamical and electrical properties of planetary cores, and offer new constraints on the modeling of double degenerate merger events.
description: 14 pages, 3 tables, 2 figures. Summary presented at the 56th Annual Meeting of the AAS Division for Planetary Sciences, abstract 407.04
Archives d'enfance scolaire Amédée Gasquet (1939-1942). Dessins
Creators: name: :Unkn
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024

description: Numérisation ICB CollEx-Persée AAP20212022
description: Carnet contenant 46 dessins de Jean Bastaire
description: Source: Fonds Bastaire Université Clermont Auvergne (A1.1202-1249)
description: Relation: http://www.calames.abes.fr/pub/ms/Calames-20201218161241583
description: created: 1939/1940
Cavernicola pilosa Barber 1937
Creators: name: Galvão, Cleber
name: Gil-Santana, Hélcio R.
name: Oliveira, Jader de
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Reduviidae
Cavernicola
Cavernicola pilosa

description: Cavernicola pilosa Barber, 1937
Distribution. Amazonas, Bahia, EspÍrito Santo, Maranhão, Mato Grosso, Mato Grosso do Sul, Minas Gerais, Pará, Paraná, São Paulo and Tocantins.
Public health importance. It is occasionally found in human dwellings (Oliveira et al. 2007, Gil-Santana et al. 2014).
Remarks. This species has been found closely associated with bats, in caves or hollow trunks of trees (Lent and Wygodzinsky 1979). It was found at latitudes between 9°15’N and 23°18”S, and altitudes ranging from 140 to 1160 masl. The eggs of this triatomine were found glued on a mouse in the laboratory, which suggests that the bug’s dispersal occurs through eggs fixed on host hairs (Oliveira et al. 2007).
description: Published as part of Galvão, Cleber, Gil-Santana, Hélcio R. & Oliveira, Jader de, 2024, The taxonomic catalog of the Brazilian fauna: biodiversity and geographical distribution of Triatominae (Hemiptera: Reduviidae) in Brazil, pp. 1-28 in Zoologia (e 24006) (e 24006) 41 on page 5, DOI: 10.1590/S1984-4689.v41.e24006
Clinocentrus excubitor Haliday 1836
Creators: name: Beyarslan, Ahmet
name: Gadallah, Neveen S.
name: Ghahari, Hassan
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Braconidae
Clinocentrus
Clinocentrus excubitor

description: Clinocentrus excubitor (Haliday, 1836)
Distribution in Iran. Mazandaran (Farahani et al. 2015).
General distribution. Oriental, Palaearctic. Albania, Azerbaijan, Bulgaria, former Czechoslovakia, Finland, France, Georgia, Germany, Hungary, Indonesia, Japan, Kazakhstan, Korea, Lithuania, Moldova, Netherlands, Poland, Russia, Slovakia, Sweden, Switzerland, Ukraine, Vietnam (Yu et al. 2012), Belgium (Wesmael 1838 as Exothecus marginellus; Shenefelt 1975), England, Ireland, Scotland, Wales (Broad et al. 2016).
Hosts. Coleoptera—Apionidae: Protapion apricans (Herbst, 1797) (Yu et al. 2012). Lepidoptera—Depressariidae: Agonopterix broennoeensis (Strand, 1920) (Shenefelt 1975); A. kaekeritziana (Linnaeus, 1767) (Yu et al. 2012). Geometridae: Biston betularia (Linnaeus, 1758) (Yu et al. 2012). Tortricidae: Eucosmomorpha albersana (Hübner, 1813) (Yu et al. 2012); Gravitarmata margarotana (Heinemann, 1863) (Shenefelt 1975; Yu et al. 2012); Pandemis corylana (Fabricius, 1794) (Shenefelt 1975; Belokobylskij 1995; Yu et al. 2012). Gracillariidae: Parornix scoticella (Stainton 1850); Pseudosciaphila branderiana (Linnaeus, 1758) (Yu et al. 2012). Noctuidae: Xestia ditrapezium (Denis & Schiffermüller, 1775) (Yu et al. 2012).
description: Published as part of Beyarslan, Ahmet, Gadallah, Neveen S. & Ghahari, Hassan, 2017, An annotated catalogue of the Iranian Microtypinae and Rogadinae (Hymenoptera: Braconidae), pp. 99-116 in Zootaxa 4291 (1) on page 111, DOI: 10.11646/zootaxa.4291.1.6, http://zenodo.org/record/829403
Didymium vaccinum Buchet 1920
Creators: name: Moreno, G.
name: Castillo, A.
name: Thüs, H.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Protozoa
Mycetozoa
Myxomycetes
Physarales
Didymiaceae
Didymium
Didymium vaccinum

description: Didymium vaccinum (Durieu & Mont.) Buchet, in Buchet (1920: 110)
= Didymium trochus Lister (1898: 164)
Lectotype (designated by Lado & Wrigley de Basanta 2018):— UNITED KINGDOM. England: Cambridgeshire, Barton, 52.182ºN 0.0562ºE, 8 and 27 Jul 1897, J. Saunders & E. Saunders, B.M. 1904 A [BM001089123] + two historic slides “1”, “3” [BM001223744, BM001223745]. Studied Syntype:— UNITED KINGDOM. England: Bedforshire, Kitchen End, 52 03’N 0 34’W, 100m, on a “heap of turnips and haulm”, 28 Oct 1897, C. Crouch, B.M. 1708 [BM000500869!].
Didymium trochus is considered to be a synonym of D. vaccinum (Lister 1925). The specimen B.M. 1708 was revised by J. Matsumoto in 1998 and he confirmed it to belong to D. trochus. This species is characterised by whitish to pale ochraceous fructifications, forming globose to hemispherical sporocarps, sessile or with a short stalk; with a thick, crusty double peridium, the outer layer smooth, resembling an eggshell, and the inner layer membranous; with a well-developed whitish hemispherical columella and a rigid filamentous capillitium and characteristically ornamented spores. We have not observed the less developed sporal ornamentation on one side as indicated by Lister (1925) on the studied syntype, but the lectotype specimen still needs to be re-examined for this trait.
description: Published as part of Moreno, G., Castillo, A. & Thüs, H., 2024, Critical revision of Physarales and Reticulariales (Myxomycetes) at the Natural History Museum London (BM), pp. 79-101 in Phytotaxa 644 (2) on page 97, DOI: 10.11646/phytotaxa.644.2.1, http://zenodo.org/record/13214565
Psammolestes coreodes Bergroth 1911
Creators: name: Galvão, Cleber
name: Gil-Santana, Hélcio R.
name: Oliveira, Jader de
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Reduviidae
Psammolestes
Psammolestes coreodes

description: Psammolestes coreodes Bergroth, 1911
Distribution. Mato Grosso and Mato Grosso do Sul.
Remarks. This species is sylvatic and often inhabits nests of Furnariidae birds (Lent and Wygodzinsky 1979, Marti et al. 2014), occasionally it can find in peridomestic habitat such as chicken house but has never been found infected with T. cruzi (Lent and Wygodzinsky 1979). This species has eggs of oval shape without the presence of the collar (Oliveira et al. 2023).
description: Published as part of Galvão, Cleber, Gil-Santana, Hélcio R. & Oliveira, Jader de, 2024, The taxonomic catalog of the Brazilian fauna: biodiversity and geographical distribution of Triatominae (Hemiptera: Reduviidae) in Brazil, pp. 1-28 in Zoologia (e 24006) (e 24006) 41 on page 5, DOI: 10.1590/S1984-4689.v41.e24006
D6.1: First version of the CVS protocol
Creators: name: Universitätsklinikum Schleswig-Holstein (UKSH)
Publisher: name: Zenodo
Year: 2021

description: Deliverable D6.1 describes the first version of the protocol for the clinical observational study (COS; formerly clinical validation study – CVS). As the study will be of observational nature and the focus is on identifying and evaluating digital parameters of fatigue, sleepiness and sleep disturbances in general, the consortium decided to rename the study “clinical observational study” to avoid the impression that the focus is on validating specific digital devices. The COS will follow 2000 participants (500 subjects each for Parkinson’s Disease (PD) and Inflammatory bowel disease (IBD), 200 each for Huntington’s Disease (HD), Rheumatoid Arthritis (RA), Systemic Lupus Erythematosus (SLE), Primary Sjögren’s Syndrome (PSS) and healthy controls) in four visits over six months each. Each participant will attend two study visits at the recruitment centres at Month 0 and Month 6 of the COS, as well as two remote visits in between. Following each visit, participants will use a combination of digital health technologies in their own environment for one week each. We selected seven digital health technologies based on the Feasibility Study (FS) results, feature engineering exercises, analyses of relevant extant datasets and a literature review. Concomitant data on fatigue, sleep, selected ADLs and other confounding variables, together with other relevant contextual information will be collected remotely several times a day during the period of digital health technology use. The inclusion of two “remote visits” will enable us to collect data on acceptability, feasibility and operational challenges relating to the future use of these digital endpoints in a remote decentralised clinical trial setting, and will permit direct comparison of data quality, patient compliance and cost of a remote study versus a traditional clinical study. As far as possible in the framework of an observational study, a baseline blood test to screen for potential contributing factors of fatigue will be performed. We will also collect blood, urine and stool samples for biobanking (optional for participants, samples to be stored but not analysed in the context of this project). Our cohorts will be drawn from 22 centres across 10 countries within Europe, representing geographic, ethnic and healthcare diversity.
Loxosomella almugnecarensis Figueroa & Sánchez-Tocino, 2009, n. sp.
Creators: name: Figueroa, Manuel Tierno De
name: Sánchez-Tocino, Luis
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Kamptozoa
Entoprocta
Coloniales
Loxosomatidae
Loxosomella
Loxosomella almugnecarensis

description: Loxosomella almugnecarensis n. sp.
(Figs 1 A, B; 2A)
Material examined. Holotype: 26.01/5 and paratype 26.01/6, deposited in the Invertebrate Collection of Museo Nacional de Ciencias Naturales, Madrid, Spain. A second paratype is deposited in the Departamento de Biología Animal, Universidad de Granada (Granada, Spain). All individuals of the new species were collected on Hyrtios collectrix at Punta del Vapor, Almuñécar (Granada, Spain) on 10 May 2005.
Type locality. Punta del Vapor, Almuñécar, Granada, Spain.
Etymology. The species is named for the locality, Almuñécar, where it was collected.
Description. Individuals small (Fig. 1); holotype 400 µm long in life, comprising calyx length of 250 µm (calyx width 200 µm) and peduncle length 150 µm (peduncle width 55 µm); foot length 152 µm, foot width (including lateral expansions) 105 µm. Peduncle length was measured as distance between basal end of calyx (at minimum width) and basal end of foot. Holotype and paratype biometry data given in Table 1.
Tentacle number 10 in all studied individuals (holotype and paratypes); tentacle length of fixed animal (paratype) ca. 75 µm.
Calyx longer than wide, widest near upper side of stomach (coinciding with conspicuous lateral expansions or wings) gradually narrowing towards upper part and towards stout stalk. No conspicuous gland cells observed in calyx. Stalk shows randomly arranged epithelial cells.
Gonads yellow, spherical, situated above lateral parts of stomach. Stomach pentagonal, slightly wider than long, pointed basally.
Foot with rounded lateral wings slightly narrower at their base. Main foot gland spherical. Middle groove of foot clearly lined by glandular cells on both sides. Sometimes a lateral bud at level of lateral expansion of calyx; it can reach a considerable size relative to adult. Bud on holotype 208 µm total length, 104 µm calyx width, 125 µm calyx length.
description: Published as part of Figueroa, Manuel Tierno De & Sánchez-Tocino, Luis, 2009, Loxosomella almugnecarensis n. sp. (Entoprocta: Loxosomatidae) — a new sponge epizoite from the Iberian Mediterranean Sea, pp. 65-68 in Zootaxa 2236 on pages 65-66, DOI: 10.5281/zenodo.190445
Statistical Gravity through Affine Quantization
Creators: name: Fantoni, Riccardo
Publisher: name: arXiv
Year: 2024
Subjects: subject: General Physics (physics.gen-ph)
subject: FOS: Physical sciences

description: I propose a possible way to introduce the effect of temperature (defined through the virial theorem) into Einstein's theory of general relativity. This requires the computation of a path integral on a 10-dimensional flat space in a four dimensional spacetime lattice. Standard path integral Monte Carlo methods can be used to compute it.
description: 7 pages
Ilex aquifolium L.
Creators: name: Konrad Lauber
name: Gerhart Wagner
name: Andreas Gygax
Publisher: name: Haupt Verlag
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Aquifoliales
Aquifoliaceae
Ilex
Ilex aquifolium

description: Ilex aquifolium L.
Artbeschreibung: Bis 10 m hoher immergrüner Strauch oder Baum. Meist zweihäusig. Blätter derb, lederartig, stachelig gezähnt oder (besonders an alten Pflanzen) ganzrandig, dunkelgrün glänzend, vollständig kahl. Blüten weiss, +/- eingeschlechtig, 4-, selten 5 zählig, die weiblichen zu 1-3, die männlichen zu mehreren in den Blattwinkeln. Frucht beerenartig, leuchtend rot, selten gelb, Durchmesser 6-8 mm.
Blütezeit: 5
Standort und Verbreitung in der Schweiz: Wälder, in klimatisch ausgeglichenen Lagen / kollin-montan / CH, selten im VS und GR
Verbreitung global: Südeuropäisch-westasiatisch
Ökologische Zeigerwerte nach Landolt & al. (2010)
BodenfaktorenKlimafaktorenSalztoleranzFeuchtezahl FfrischLichtzahl LschattigSalzzeichen--Reaktionszahl Rschwach sauer bis neutral (pH 4.5-7.5)Temperaturzahl Tunter-montan und ober-kollinNährstoffzahl Nmässig nährstoffarm bis mässig nährstoffreichKontinentalitätszahl Ksubozeanisch (hohe Luftfeuchtigkeit, geringe Temperaturschwankungen, eher milde Winter)
Volksname Deutscher Name: Stechpalme Nom français: Houx Nome italiano: Agrifoglio
description: Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Aquifoliaceae, pp. 976 in Flora Helvetica, Bern :Haupt Verlag on page 976
title: Activité du port de Saint-Malo – 1762 – Leith
Creators: name: :Unkn
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: produits combustibles

description: Cette fiche est issue de l’enquête menée par Jean Delumeau sur l’activité du port de Saint-Malo au 17e et 18e siècle. Cette fiche correspond à l’activité de l’année 1762 avec le port "Leith"
description: Marchandises arrivées à Saint-Malo : charbon
description: Catégories de marchandises arrivées à Saint-Malo : produits combustibles
description: Coverage: Grand commerce
description: Bibliographic citation: CHEREL, Marcel. L'Activité maritime de Saint-Malo en 1762. DES : Histoire : Rennes : 1967 (Bibliothèque François-Lebrun, MH 1051)
description: date: Date de numérisation : 2021 à 2023
description: created: Années 1950-1960
Fiche d'inventaire - Objet n° 435 - Fond de boîte plate
Creators: name: École Française D'Extrême-Orient
name: Conservation D'Angkor
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: Terre

description: Source: FCA/3/2
description: IIIF manifest
description: created: 1950/1970
Pabiania Upchurch and Dilcher 1990
Creators: name: Wang, Hongshan
name: Dilcher, David L.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Laurales
Pabiania

description: Genus PABIANIA Upchurch and Dilcher, 1990
Type species. Pabiania variloba Upchurch and Dilcher, 1990
description: Published as part of Wang, Hongshan & Dilcher, David L., 2018, Early Cretaceous angiosperm leaves from the Dakota Formation, Hoisington III locality, Kansas, USA, pp. 1-49 in Palaeontologia Electronica (34 A) (34 A) 21 (3) on page 12, DOI: 10.26879/841, http://zenodo.org/record/11062827
Stomis vignai subsp. taibashanensis Lassalle 2003, stat. nov.
Creators: name: Sciaky, Riccardo
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Carabidae
Stomis
Stomis vignai
Stomis vignai ssp. taibashanensis lassalle, 2003

description: Stomis vignai ssp. taibashanensis Lassalle, 2003 stat. nov.
Loc. typ.: Shaanxi, 2460 m, Mts Taibashan, N.O. Haozhenji.
= Stomis fallettii Facchini, 2003 syn. nov.
Loc. typ.: Shaanxi, Zhangliang, Fengxian.
Lassalle (2003) described S. taibashanensis from Shaanxi, but almost at the same time Facchini (2003) described S. fallettii, also from Shaanxi. Examining the holotypes of S. taibashanensis and S. fallettii and more material collected later, I realized that the two are synonyms, sharing all their main features; S. fallettii was collected in a locality slightly different from that of S. taibashanensis, but it is certainly a synonym. The small tooth visible in dorsal view on the aedeagal apex is not represented in Lassalle’s drawing, but can be clearly observed on the specimens examined by me, among which a topotypical paratype.
Lassalle’s work is dated June 2003, while Facchini’s paper was published in December of the same year. Therefore I can state the new state:
Stomis taibashanensis Lassalle, 2003 = S. vignai ssp. taibashanensis Lassalle, 2003 stat. nov.
and the new synonymy:
Stomis fallettii Facchini, 2003 = S. vignai ssp. taibashanensis Lassalle, 2003 syn. nov.
Description. The combination of characters allowing to distinguish this subspecies are: length rather short (8.1–8.7 mm.), pronotal margins not sinuate towards base and less constricted than in the other subspecies (Fig. 2), in most of the specimens with multiple anterolateral setae; elytra short and markedly oval; aedeagus long and slender, in lateral view feebly sinuate before apex (Fig. 30). Ratios: El/Pl = 2.12; Ew/Pw = 1.25; El/Ew = 1.57.
Material examined: Shaanxi, 2460 m, Mts Taibashan, N.O. Haozhenji: 1 Paratype ♂ (CF); Shaanxi, Zhangliang, Fengxian, 19.VII.2002, leg. L. Falletti: Holotype ♂ of S. fallettii (CF); Shanxi, Tschingling Mts., Taibeichan Nat. res. (= Shaanxi, Qin Ling Shan, Taibaishan Nat. res.), 33° 53’ N 107° 49’ E, 2000 m, 10.VIII.2005, V. Patrikeev leg.: 1 ♂ (CS); Shaanxi, Taibai Shan Mts., Houzhenzi vil., 33° 52’ N 107° 44’ E, 1500–2700 m, A. Plutenko leg.: 2 ♂ (CW).
Distribution. This subspecies seems limited to the central part of Qin Ling Shan, a mountain chain that goes from west to east from the eastern borders of Gansu, through all the province of Shaanxi to the western borders of Henan. The highest peak of this chain is the Taibai Shan, that reaches 3767 m a.s.l. The Qin Ling Shan also represents the watershed between the Huang He and the Yangtze Kiang river basins.
description: Published as part of Sciaky, Riccardo, 2024, Review of the Chinese Stomis, with description of nine new taxa and a new key (Carabidae: Pterostichini), pp. 1-34 in Zootaxa 5523 (1) on pages 3-4, DOI: 10.11646/zootaxa.5523.1.1, http://zenodo.org/record/13933848
Phaonia cincta ZETTERSTEDT 1846
Creators: name: Vikhrev, Nikita E.
name: Erofeeva, Elena A.
name: Ruchin, Alexander B.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Muscidae
Phaonia
Phaonia cincta

description: Phaonia cincta Zetterstedt, 1846
Phaonia juglans Sorokina, 2015, syn. nov.
Figs 1–4
MATERIAL EXAMINED:
AUSTRIA, “in the South Austria”, Kowarz, 1♂ (ZIN).
GREECE, Crete Isl., 7 km SW Perama (35.33 ° N 24.65 ° E), 12 September 1999, V. Michelsen, 1♂ (ZMUM).
RUSSIA: Krasnodar reg., Sochi env., Akhun Mt., (43.55 ° N 39.85 ° E), 20 October 2006, N. Vikhrev, 1♂; Adygeya, Dakhovskaya env., Belaya R. valley, 44.199 ° N 40.170 ° E, 465 m, 18–31 August 2009, K. Tomkovich, 1♀ (new records for South European Russia); Mordovia reg., Mordovia State Nature Reserve, 54.72 ° N 43.23 ° E, 7 July 2019, A. Ruchin, 1♂ (all ZMUM); Moscow reg.: Ozery (54.86 ° N 38.55 ° E), reared, 1974, V. Kovalev, 1♂ (ZIN); SW Moskovsky, 55.58 ° N 37.34 ° E, 29 July 2016, K. Tomkovich, 1♀ (new records for Central European Russia) (ZMUM).
SPAIN, Granada reg., Granada Valor (37.0 ° N 3.08 ° W), 925 m, 25 March 2009, V. Michelsen, 1♀ (ZMUM).
TURKMENISTAN: ♂ holotype Phaonia juglans Sorokina, 2015, Ipay-Kala [Kopet Dag Range, 37.2 ° N 59.8 ° E], reared from larva found in a hollow of a nut tree, collected on 6 June 1971, emergence 18 June 1971, N. Krivosheina; the same data as above, N. Krivosheina, collected 24 May–9 June 1971, 4♂, 3♀, three males with Lobanov’s labels identified as P. cincta; 20 km SE Geok Tepe, Chuli vill., 38.00 ° N 58.15 ° E, reared from larvae collected on 20 April 1983, N. Krivosheina, 2♂, 2♀ (ZMUM).
UKRAINE: Poltava reg., Yareski (49.84 ° N 33.90 ° E), 1 September 1929, Gildebrandt, 1♂; Kharkov reg.: vicinity of Kharkov (50.0 ° N 36.2 ° E), W. Yaroshevsky, 25 April 1882, 1♂; 2 May 1882, 1♂; uncertain localities, presumably the Ukraine: I. Porchinsky, 1♂; W. Yaroshevsky, on oak trunk, 30 July 1886, 1♂ (all ZIN).
description: Published as part of Vikhrev, Nikita E., Erofeeva, Elena A. & Ruchin, Alexander B., 2020, Taxonomic and faunistic notes on Phaonia cincta Zetterstedt, 1846 (Diptera, Muscidae), pp. 4-7 in Amurian Zoological Journal XII (1) on page 5, DOI: 10.33910/2686-9519-2020-12-1-4-7, http://zenodo.org/record/11088758
Psammolestes tertius Lent & Jurberg 1965
Creators: name: Galvão, Cleber
name: Gil-Santana, Hélcio R.
name: Oliveira, Jader de
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Reduviidae
Psammolestes
Psammolestes tertius

description: Psammolestes tertius Lent & Jurberg, 1965
Distribution. Alagoas, Bahia, Ceará, Distrito Federal, Goiás, Mato Grosso, Maranhão, Minas Gerais, Pará (Historical record and needs to be confirmed), Paraiba, Paraná, Pernambuco, PiauÍ, Rio Grande do Norte, São Paulo, Sergipe and Tocantins.
Public health importance. This species has been found naturally infected with T. cruzi, but without relevant role as vectors (Barreto and Albuquerque 1969).
Remarks. Like its two congeners, this species is also found frequently in nests of birds of the family Furnariidae (Lent and Wygodzinsky 1979).
description: Published as part of Galvão, Cleber, Gil-Santana, Hélcio R. & Oliveira, Jader de, 2024, The taxonomic catalog of the Brazilian fauna: biodiversity and geographical distribution of Triatominae (Hemiptera: Reduviidae) in Brazil, pp. 1-28 in Zoologia (e 24006) (e 24006) 41 on page 5, DOI: 10.1590/S1984-4689.v41.e24006
title: On the equivalence of ionospheric-free, differenced, and undifferenced, uncombined GNSS network processing
Creators: name: Platz, Hans Daniel
Publisher: name: Springer
Year: 2025

description: Global Navigation Satellite System (GNSS) observations are commonly processed using various established methods, including the processing of ionospheric-free (IF) linear combinations (LC), differences of observations as well as the processing of undifferenced, uncombined (UDUC) observations. The most general and flexible approach to GNSS processing is widely regarded to be the UDUC approach, as this approach is based on the raw observation equations of potentially all available observations. The IF approach uses IF-LC obtained by observations on different frequencies but the same receiver-satellite link to eliminate the ionospheric slant delay. The differencing approach also uses LC of observations, with the distinction that observations of the same signal but different receivers and/or satellites are being used. The purpose of differencing is the elimination of satellite/receiver clocks and biases and, in some cases, reducing or even eliminating atmospheric delays. We aim to uncover the implicit model assumptions made when using various IF and differencing approaches and in what case they are equivalent to the processing of the UDUC observations. This is achieved by introducing a reformulation method, which is then applied to the UDUC observations of code division multiple access GNSS to obtain the functional models of various IF and differencing approaches. The underlying assumptions in this reformulation can then be identified. The results of this theoretical contribution will provide insight into the most appropriate method for processing GNSS observations in different cases and what implicit assumptions are being made when the respective method is being used.
Clinocentrus exsertor Nees 1811
Creators: name: Beyarslan, Ahmet
name: Gadallah, Neveen S.
name: Ghahari, Hassan
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Braconidae
Clinocentrus
Clinocentrus exsertor

description: Clinocentrus exsertor (Nees, 1811)
Distribution in Iran. Guilan (Farahani et al. 2015), Isfahan (Ghahari et al. 2011a under subfamily Hormiinae). General distribution. Holarctic. Armenia, Austria, Azerbaijan, Belarus, Belgium, Bulgaria, Canada, Czech Republic, Finland, France, Georgia, Germany, Greece, Hungary, Italy, Kazakhstan, Korea, Latvia, Lithuania, Moldova, Mongolia, Poland, Russia, Slovakia, Spain, Sweden, Switzerland, Ukraine, USA (Yu et al. 2012), England, Scotland (Broad et al. 2016), Malta (Papp 2015).
Hosts. Coleoptera—Curculionidae: Hypera variabilis (Herbst, 1795) (Yu et al. 2012). Lepidoptera—Depressariidae: Agonopterix broennoeensis (Strand, 1920) (Shenefelt 1975). Geometridae: Biston betularia (Linnaeus, 1758) (Shenefelt 1975). Momphidae: Mompha conturbatella (Hübner, 1819) (Yu et al. 2012). Tineidae: Parornix scoticella (Stainton, 1850) (Shenefelt 1975). Tortricidae: Argyrotaenia velutinana (Walker, 1863); Choristoneura fumiferana (Clemens, 1865); Cnephasia (Cnephasia) genitalana Pierce & Metcalfe 1922 (Yu et al. 2012); Eucosmomorpha albersana (Hübner, 1813); Grapholita delineana Walker, 1863 (Yu et al. 2012); Gravitarmata margarotana (Heinemann, 1863) (Shenefelt 1975); Gypsonoma sociana (Haworth, 1811) (Yu et al. 2012); Pandemis corylana (Fabricius, 1794) (Shenefelt 1975; Belokobylskij 1995); Rhyacionia buoliana (Denis & Schiffermüller, 1775) (Yu et al. 2012).
description: Published as part of Beyarslan, Ahmet, Gadallah, Neveen S. & Ghahari, Hassan, 2017, An annotated catalogue of the Iranian Microtypinae and Rogadinae (Hymenoptera: Braconidae), pp. 99-116 in Zootaxa 4291 (1) on page 112, DOI: 10.11646/zootaxa.4291.1.6, http://zenodo.org/record/829403
Manifold nº 11 (Japon nº 2)
Creators: name: Péraire, Lucien
name: CNRS
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023

description: J'inaugure ma tente. Le nu, les dolmens.Si j'étais archéologue..
title: Supporting Register Pairs in CompCert
Creators: name: Loitzl, Alexander
Publisher: name: TU Wien
Year: 2024
Subjects: subject: CompCert
subject: Registermodell
subject: Compiler
subject: Register Allokation
subject: Interaktives Theorem-Beweisen
subject: CompCert
subject: Register Model
subject: Compiler
subject: Register Allocation
subject: Interactive Theorem-Proving

description: Software correctness is crucial in safety-critical fields like aviation and the automotiveindustry. Performing verification only at the source-code level does not provide sufficient guarantees as the compiler might introduce bugs during the translation to machine-code.Unlike ordinary compilers, the CompCert formally-verified C compiler ensures correct translation to the target’s modeled assembly language, therefore making additional verification redundant.We present CompCertp , an extension of the CompCert compiler that models register pairs, a feature found in 32-bit processors to implement double-precision floating-pointarithmetic. Two hardware registers are grouped into a register pair that can be used as an operand of machine instructions to pass 64-bit values.By supporting register pairs in the backend of the compiler, we can correctly model the floating-point semantics of the compiler’s Arm target. This allows us to implement thecorrect calling conventions for floating-point arguments and be compatible with libraries compiled with different compilers. Moreover, we can omit one of the unverified passes of CompCert increasing the trust in CompCertp ’s correctness proof.We adapt the proofs for all supported architectures of CompCert and show that CompCertpeither improves on CompCert or performs similarly in terms of code size at the cost of a slight increase in compile time. For the Arm target, we evaluate CompCertp onwell-known benchmark suites and tests generated by a fuzzer, showing an improvement of up to 10% in code size.
Fiche d'inventaire - Objet n° 992 - Petit bol
Creators: name: École Française D'Extrême-Orient
name: Conservation D'Angkor
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: Terre

description: Source: FCA/3/2
description: IIIF manifest
description: created: 1950/1970