cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Callerebia suroia Tytler 1914
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Nymphalidae
Callerebia
Callerebia suroia

description: 467. Callerebia suroia Tytler, 1914 *
Published records: Tytler, 1914: 218–219; Tytler, 1939: 247; Talbot, 1947: 312; Van Gasse, 2013; Varshney & Smetacek, 2015: 178; Irungbam et al., 2017a.
Sighting locality: 77, 78.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 63, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Calyria cuna
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae
Calyria
Calyria cuna

description: Calyria cuna (Walker, 1850) new record
Cicada cuna Walker 1850: 166. (Brazil)
Cicada (Calyria) blanda Stål 1862: 22. (Brazil)
Remarks. An inflated abdomen with an obvious dorsal ridge characterizes this species. The anterior abdominal segments are lighter than the posterior segments. The mesothorax is marked with piceous in this species. Fore wing width is about 6.5 mm.
Distribution. The species has been reported previously from Brazil and Costa Rica (Metcalf 1963c; Sanborn 2013; 2014).
Material examined for new record. “H.L. King / PANAMA: / 6–1–70 ” one male (FSCA); “ Panama, Panama Pr. / ± 10 km W El Llano, 1400’ / June 3–8 1986 / E. Giesbert coll.” one male (AFSC).
description: Published as part of Sanborn, Allen F., 2018, The cicadas (Hemiptera: Cicadidae) of Panama including the description of six new species, three new combinations, one new synonymy, and nine new records, pp. 1-69 in Zootaxa 4493 (1) on page 50, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
Notonecta (Paranecta) virescens Blanchard 1852
Creators: name: Damgaard, Jakob
name: Moreira, Felipe Ferraz Figueiredo
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Notonectidae
Notonecta
Notonecta virescens

description: Notonecta (Paranecta) virescens Blanchard, 1852
Notonecta virescens Blanchard, 1852: 233.—LT (Hungerford 1933: 135): @, “ Chili ” [Chile]; MNHN.
Notonecta undulata var. virescens Blanchard, 1852; Kirkaldy (1897: 411).
Notonecta bicirca Hungerford, 1926: 12 (syn. Mazzucconi & Bachmann 2003: 320).—HT: #, Chile, Santiago; SEMC.
Notonecta bicircoidea Hungerford, 1928b: 120 (syn. Mazzucconi & Bachmann 2003: 320).—HT: #, Argentina, Río Negro, Bariloche; SEMC.
Notonecta (Paranecta) virescens Blanchard, 1852; Hungerford (1933: 145).
Distribution. Argentina (Hungerford 1933); Chile (Araucanía, Bernardo O’Higgins, Biobío, Coquimbo, Los Lagos, Los Ríos, Santiago, Valparaíso) (Porter 1921, Hungerford 1926, Hungerford 1933, Mazzucconi & Bachmann 2003; Peru (Roback et al. 1980).
description: Published as part of Damgaard, Jakob & Moreira, Felipe Ferraz Figueiredo, 2021, Water bugs (Hemipera: Heteroptera: Nepomorpha & Gerromorpha) of Chile phylogenetic and biogeographic considerations, and a catalog of the fauna, pp. 45-71 in Zootaxa 4958 (1) on page 62, DOI: 10.11646/zootaxa.4958.1.6, http://zenodo.org/record/4693036
Mesh Distance Formulae
Creators: name: Pertel, Michael J.
Publisher: name: California Institute of Technology
Year: 1992

description: A table of useful summation formulae are derived, together with a Mathematica package for producing them. The distance distribution in mesh routing networks is derived. The mean and variance of the distance distribution are computed. A program for computing the distance distribution of any mesh is presented.
description: © 1992 California Institute of Technology.

March 27, 1992.

The research described in this report was sponsored by the Defense Advanced Research Projects Agency. Supported was provided by a National Defense Science and Engineering Graduate Fellowship. I gratefully acknowledge the direction and assistance of my advisor, Dr. C .L. Seitz. I would also like to thank H. P. Hofstee for his proofreading
description: Submitted - postscript.pdf
Submitted - postscript.ps
title: Activité du port de Saint-Malo – 1722 – Brest
Creators: name: :Unkn
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: produits manufacturés
subject: produits agroalimentaires
subject: alcool
subject: produits de la mer
subject: poissons
subject: matériaux de construction

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 1722 avec le port "Brest"
description: Marchandises au départ de Saint-Malo : ancres ; vin ; savon
description: Catégories de marchandises au départ de Saint-Malo : produits manufacturés ; produits agroalimentaires ; alcool
description: Marchandises arrivées à Saint-Malo : sardines ; goudron
description: Catégories de marchandises arrivées à Saint-Malo : produits de la mer ; poissons ; matériaux de construction
description: Coverage: Petit cabotage
description: Bibliographic citation: GOURLAN, Monique. Le Commerce maritime de Saint-Malo en 1721-1722. DES : Histoire : Rennes, 1963. (Bibliothèque François-Lebrun, MH 1023)
description: date: Date de numérisation : 2021 à 2023
description: created: Années 1950-1960
A Critique of Adaptive Routing
Creators: name: Pertel, Michael J.
Publisher: name: California Institute of Technology
Year: 1992

description: This report refutes claims that adaptive routing performs better than dimension-order routing. Simulation results are presented that show dimension-order routing achieves both higher throughput and lower latency than adaptive routing. Specious claims for the advantages of adaptive routing are critiqued.
description: © 1992 California Institute of Technology.

June 18, 1992.

The research described in this report was sponsored by the Defense Advanced Research Projects Agency. Support was provided by a National Defense Science and Engineering Graduate Fellowship. I gratefully acknowledge the direction and assistance of my advisor, Dr. C.L. Seitz.
description: Submitted - postscript.pdf
Submitted - postscript.ps
Evagetes iconionus Wolf 1970
Creators: name: Li, Lili Dong Qiang
name: Ma, Li
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Pompilidae
Evagetes
Evagetes iconionus

description: Evagetes iconionus Wolf, 1970
Evagetes iconionus Wolf, 1970: 79.
Diagnosis. Forewing with three submarginal cells. Anterior margin of labrum nearly flat. Outer surface of mandible without carina. Pronotum slightly angulate in posterior view. Propodeum smooth, transition from disc to posterior surface arcuate. Fore metatarsus with three spines, not flattened or widened towards apex. Malar space (minimum value) equal to 0.4–0.7X of greatest width of pedicel, F1 2.0–2.2X longer than wide (in female), F1 0.95–1.05X longer than wide (in male), median length of metanotum 2.5–3.3X median length of metapostnotum (in female).
Material examined. 1 female, CHINA: Inner Mongolia, Yakeshi City, Yakeshi Bridge, 49°29’N 120°84’E, 737 m, 7.VIII.2006, coll. Ming Luo, YNAU; 1 female, CHINA: Inner Mongolia, Helan Mountain National Nature Reserve, 38°45’N 105°85’E, 3154 m, 22.VII.2006, coll. Peng Wang, YNAU; 1 female, CHINA: Inner Mongolia, Wulanchabu City, Feng Town, 40°44’N 113°10’E, 1024 m, 7.VII.2006, coll. Guodong Ren and Yi-bin Ba, HBU; 1 female, CHINA: Hebei, Wei Country, Xiaowutai Mountain, 39°32’N 114°47’E, 1900 m, 24. VI.2009, coll. Miao Li, YNAU.
Distribution. China (Inner Mongolia and Hebei), Morocco, Italy, Slovenia, Austria, Hungary, Slovakia, Bulgaria, Turkey, Georgia, Kyrgyzstan, Kazakhstan, Russia.
description: Published as part of Li, Lili Dong Qiang & Ma, Li, 2024, Review of Evagetes (Hymenoptera: Pompilidae: Pompilini), with one new species and ten newly recorded species from China, pp. 1-20 in Zoologia (e 24012) (e 24012) 41 on pages 11-12, DOI: 10.1590/S1984-4689.v41.e24012, http://zenodo.org/record/14700981
Calyria telifera
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae
Calyria
Calyria telifera

description: Calyria telifera (Walker, 1858a) new record
Cicada telifera Walker 1858a: 26. (Venezuela)
Remarks. An abdomen of normal proportions with a less obvious dorsal ridge characterizes this species. The anterior abdominal segments and mesothorax are monochromatic. Fore wing width is less than 5.5 mm.
Distribution. The species was reported previously from Brazil, Costa Rica, Honduras, Nicaragua, Peru, and Venezuela (Metcalf 1963c; Sanborn 2013; 2014).
Material examined for new record. “ PANAMA Panama / Camino del Oleoducto / mv + bl, 26 June 1997 / R. Turnbow ” one male (UGCA).
description: Published as part of Sanborn, Allen F., 2018, The cicadas (Hemiptera: Cicadidae) of Panama including the description of six new species, three new combinations, one new synonymy, and nine new records, pp. 1-69 in Zootaxa 4493 (1) on pages 50-51, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
title: Activité du port de Saint-Malo – 1714 – Copernit
Creators: name: :Unkn
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: matériaux de construction

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 1714 avec le port "Copernit"
description: Marchandises arrivées à Saint-Malo : planches ; mâts
description: Catégories de marchandises arrivées à Saint-Malo : matériaux de construction
description: Coverage: Grand commerce
description: Bibliographic citation: BOSSARD, Joseph. Le Trafic malouin en 1714 et 1715. DES : Histoire : Rennes, 1964 (Bibliothèque François-Lebrun, MH 1020)
description: date: Date de numérisation : 2021 à 2023
description: created: Années 1950-1960
Evagetes proximus
Creators: name: Li, Lili Dong Qiang
name: Ma, Li
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Pompilidae
Evagetes
Evagetes proximus

description: Evagetes proximus (Dahlbom, 1845)
Pompilus proximus Dahlbom, 1845: 451, designated by Smissen 2003: 180.
Evagetes daisetsuzanus Ishikawa, 1960: 58. Junior subjective synonym of Pompilus proximus Dahlbom, 1845 according to Lelej 1995: 248.
Evagetes proximus mongoloproximus Wolf & Móczár, 1972: 427. Junior subjective synonym of Pompilus proximus Dahlbom, 1845 according to Wahis 1986: 27.
Diagnosis. Forewing with three submarginal cells. Anterior margin of labrum nearly flat or slightly emarginated. Outer surface of mandible without carina. Pronotum angulate posteriorly. Propodeum with sharply defined anterior horizontal and posterior vertical surfaces. Sides of propodeum with black long and erect setae; propodeum abrupt, with longitudinal groove. Metatarsus usually with three-four spines, sometimes flattened and slightly widened towards apex (in female). Median length of metanotum 2.5–3.3X (in female) or 2.13–3.13X (in male) median length of metapostnotum.
Material examined. 1 female, CHINA: Inner Mongolia, Tongliao City, Xijiao Power Plant, 43°67’N 122°07’E, 1330 m, 13.VIII.2006, coll. Hai-yan Zhang, YNAU; 1 female, CHINA: Inner Mongolia, Tongliao Forest Park, 43°32’N 122°62’E, 1330 m, coll. Ting-jing Li, 12.VIII.2006, YNAU; 1 female, CHINA: Yunnan, Kunming, Yunnan Agricultural University, 25°12’N 102°74’E, 1939 m, 8.IX.2010, coll. Fang-zhou Ma, YNAU; 1 female, CHINA: Hebei, Zhuolu Country, Xiling Mountain, 40°05’N 115°38’E, 2420 m, 26. VI.2009, coll. Xin-pu Wang and Hong-fan Ran, HBU; 1 male, CHINA: Inner Mongolia, Huhehaote City, Wusutu Forest Park, 40°85’N 111°58’E, 500 m, 16.VII.2006, coll. Hai-yan Zhang, YNAU; 1 male, CHINA: Inner Mongolia, Helan Mountain, Zhonggutian, 39°16’N 106°03’E, 1700 m, 3.VIII.2010, coll. Fang-zhou Ma, YNAU; 1 male, CHINA: Inner Mongolia, Helan Mountain, Luanchaigou, 38°59’N 106°00’E, 2292–2788 m, 6.VIII.2010, coll. Fang-zhou Ma, YNAU; 1 male, CHINA: Inner Mongolia, Helan Mountain, Halawunangou, 3556 m, 39°16’N 106°03’E, 3556 m, 20.VIII.2006, coll. Ming Luo, YNAU; 1 male, CHINA: Inner Mongolia, Yakeshi City, 49°29’N 120°84’E, 737 m, 7.VIII.2006, coll. Ting-jing Li, YNAU; 1 male, CHINA: Yunnan, Dali old City, 25°69’N 100°16’E, 2052 m, 3. V.2007, coll. Rui Zhang, YNAU.
description: Published as part of Li, Lili Dong Qiang & Ma, Li, 2024, Review of Evagetes (Hymenoptera: Pompilidae: Pompilini), with one new species and ten newly recorded species from China, pp. 1-20 in Zoologia (e 24012) (e 24012) 41 on page 14, DOI: 10.1590/S1984-4689.v41.e24012, http://zenodo.org/record/14700981
Calinaga buddha subsp. brahma Butler 1885
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Nymphalidae
Calinaga
Calinaga buddha
Calinaga buddha brahma butler, 1885

description: 468. Calinaga buddha brahma Butler, 1885 *
Published records: Moore, 1901: 47–48; Bingham, 1905: 466; Varshney & Smetacek, 2015: 154.
Sighting locality: 77, 80.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 63, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Taphurini Distant 1905
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae

description: Tribe Taphurini Distant, 1905b
Taphuraria Distant 1905b: 25.
TYPE GENUS. Cicada (Taphura) Stål 1862: 20.
Remarks. The Taphurini are characterized by the head being wider than the maximum width of the pronotum, subquadrate pronotum that is not distinctly narrowed anteriorly, pronotal lateral margins are not developed or dilated, the male opercula curve towards the abdominal midline but remain widely separated and are small, narrow, and do not cover the tympanal cavity, the abdomen is about as long as the distance between the apex of the postclypeus and the posterior of the cruciform elevation, timbals do not extend below wing bases, uncus is absent but anal tube may possess lateral lobes, the upper pygofer lobe small and unsclerotized, and the basal lobes of pygofer large and ornamented, especially in Taphura (Moulds 2005; Sanborn 2017a; Marshall et al. 2018).
description: Published as part of Sanborn, Allen F., 2018, The cicadas (Hemiptera: Cicadidae) of Panama including the description of six new species, three new combinations, one new synonymy, and nine new records, pp. 1-69 in Zootaxa 4493 (1) on page 51, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
Acrophymus rossi Uvarov 1922
Creators: name: Tshililo, Precious
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Orthoptera
Baissogryllidae
Acrophymus

description: Acrophymus nr. rossi
(Figs.7F, 15)
Material. SOUTH AFRICA: Limpopo, Hoedspruit; March 1958 S24.366667, E30.95 — 1♀ (SANC).
Distribution. Species of this genus were previously recorded from Angola (Naskrecki 1995) and from Zimbabwe (Dirsh 1963; Dirsh 1965). No species were known to occur in South Africa. Naskrecki (1995) found an undescribed female specimen from Angola, which by the shape of tegmina, it resembles rossi, and this specimen may constitute a ninth species. In the SANC collection, one female specimen was found which may belong to A. rossi or may be a tenth species. In order to determine whether this species is A. rossi or a new species, the first to be detected in South Africa, we require a male and a female specimen collected from the same locality. The current known distribution of A. rossi is Zimbabwe. Given that the only known specimen of Acrophymus from South Africa was found near the Zimbabwe border, this could be an extension in the known range of A. rossi. It seems unlikely that there would be more undescribed species from South Africa.
Remarks: Genus Acrophymus was erected by Uvarov (1922) on the basis of its shape of pronotum, shape of prosternal tubercle, shape of male genitalia, lateral elytra and undeveloped wings. This genus is said to be related to genus Amblyphymus (Uvarov 1922).
Dirsh (1963) revised the genus and identified new diagnostic features. The structure of the phallic complex is very unique to this genus, with strongly sclerotized ectophallic membrane, sometimes forming a strong dorsal shield with the tendency of forming a capsule covering the endophallus and the cingulum (Dirsh 1963). Another key diagnostic feature is the moderately large, compressed, widened and weakly sclerotized distal part of the apical valves of penis, with narrow and strongly sclerotized valves of cingulum.
Uvarov’s diagnostic features to this genus are misleading and when carefully examining the structure of the phallic complex, there is a great diversity and the genus might be split into two genera Dirsh (1963).
This genus might be in need of a revision, since Dirsh (1963) in his revision found a great diversity in the structure of the phallic complex but did not revise the genus. We also could not revise the genus since we only have a single female specimen found in South Africa which may or may not be A. rossi.
description: Published as part of Tshililo, Precious, 2020, Review of South African Euryphyminae, pp. 70-104 in Zootaxa 4820 (1) on pages 77-78, DOI: 10.11646/zootaxa.4820.1.4, http://zenodo.org/record/4397315
MoLPC2: Improved prediction of large protein complex structures and stoichiometry using Monte Carlo Tree Search and AlphaFold2
Creators: name: Chim, Ho Yeung
Publisher: name: Zenodo
Year: 2024

description: This files contains data and output of MoLPC2: Improved prediction of large protein complex structures and stoichiometry using Monte Carlo Tree Search and AlphaFold2. 

analysis/all.csv : calculated TMscore for AlphaFold2, MoLPC and MoLPC2 predictionsanalysis/pdbs : predictions from AlphaFold2, MoLPC and MoLPC2, also experimental structure from PDB for the MoLPC datasetanalysis/sub-component_all : sub-component predicted using AlphaFold2fasta/ : including all the fasta files extracted from PDB of the MoLPC datasetoutput/ : output of MoLPC dateset from MoLPC2 pipelinesrc/ : source code for the MoLPC2 pipeline (including fork from AlphaFold2, MCTS & all pre-processing code)script/ : script for running MoLPC2 with slurm system
Taphurina Distant 1905
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae

description: Subtribe Taphurina Distant, 1905b
With the reassignment of the genera previously assigned to the Tryellina Moulds, 2005 into the Lamotialnini Boulard, 1976 (Marshall et al. 2018), the Taphurina and the Anopercalnina Boulard, 2008 remain as subtribes in the Taphurini. The Anopercalnina contains a single genus inhabiting Madagascar whose males lack opercula (Boulard 2008). The Taphurini has historically been a repository for small species with uncertain classification with the point being well illustrated by the fact that genera previously assigned to the Taphurini were recently distributed to seven tribes in four subfamilies (Marshall et al. 2018). Eight of the nine Neotropical genera currently within the Taphurina are monospecific with only Taphura containing multiple species.
description: Published as part of Sanborn, Allen F., 2018, The cicadas (Hemiptera: Cicadidae) of Panama including the description of six new species, three new combinations, one new synonymy, and nine new records, pp. 1-69 in Zootaxa 4493 (1) on page 51, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
Mutual Exclusion in a Token Ring in CC++
Creators: name: Binau, Ulla
Publisher: name: California Institute of Technology
Year: 1992

description: This report describes a first attempt at using UNITY to verify reactive Compositional C++ (CC++) programs. We propose a distributed solution to the mutual exclusion problem using partially synchronous communication channels. The solution is described as a CC++ program, from which a small set of "basic" properties is derived. Using UNITY, we proof mutual exclusion and progress of the solution based on the set of properties derived from the code.
description: © 1992 California Institute of Technology.

A warm thanks to my colleagues at Caltech for many useful discussions. In particular to my fellow students, Peter Hofstee, Marcel van der Goot, and Rustan Leino, and to Ralph Back and Jan van de Snepscheut who all found time to read and discuss an earliear version of this report, supplied many useful comments, and pointed out a number of interesting references. Also thanks to Marcel van der Goot for producing an environment for presenting the CC++ programs overnight. Last (but definitely not least) to Mani Chandy who advised me in my work and without whom this would never have come through.
description: Submitted - postscript.pdf
Submitted - postscript.ps
Evagetes ishikawai Lelej 1995
Creators: name: Li, Lili Dong Qiang
name: Ma, Li
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Pompilidae
Evagetes
Evagetes ishikawai

description: Evagetes ishikawai Lelej, 1995
Evagetes ishikawai Lelej, 1995: 249.
Diagnosis. Forewing with three submarginal cells. Anterior margin of labrum with distinct triangular notch. Outer surface of mandible without carina. Pronotum angulate posteriorly. Propodeum smooth transition from disc to posterior surface arcuate. Fore metatarsus with three–four spines, not flattened or widened towards apex. Median length of metanotum 3.3–4X (in female) or 4X (in male) median length of metapostnotum. Ratio of median length of gena to median length of eye (lateral view) 0.50–0.55X, (in female). F1 length 1.25–1.4X its width (in male).
Material examined. 1 female, CHINA: Inner Mongolia, Wuliangsu lake wetland, 40°97’N 108°95’E, 1018 m, 1.IX.2013, coll. Xiao-qian Shi, YNAU.
Distribution. China (Inner Mongolia), Russia.
description: Published as part of Li, Lili Dong Qiang & Ma, Li, 2024, Review of Evagetes (Hymenoptera: Pompilidae: Pompilini), with one new species and ten newly recorded species from China, pp. 1-20 in Zoologia (e 24012) (e 24012) 41 on page 14, DOI: 10.1590/S1984-4689.v41.e24012, http://zenodo.org/record/14700981
Compositional C++: Compositional Parallel Programming
Creators: name: Chandy, K. Mani
name: Kesselman, Carl
Publisher: name: California Institute of Technology
Year: 1992
Subjects: Parallel processing, object-oriented programming, C++, compositional programming

description: A compositional parallel program is a program constructed by composing component programs in parallel, where the composed program inherits properties of its components. In this paper, we describe a small extension of C++ called Compositional C++ or CC++ which is an object-oriented notation that supports compositional parallel programming. CC++ integrates different paradigms of parallel programming: data-parallel, task-parallel and object-parallel paradigms; imperative and declarative programming; shared memory and messagebased programs. CC++ is designed to be transportable across a range of MIMD architectures.
description: © 1992 California Institute of Technology.

The research on CC++ object libraries for concurrent computation is funded by DARPA under grant N00014-91-J-4014. The research on compositional concurrent notations is funded by the NSF Center for Research on Parallel Computing under grant CCR-8809615. Support of CC++ application development is funded by the Office of Naval Research under grant N00014-89J-3201.
description: Submitted - 92-13.pdf
Submitted - postscript.ps
title: Activité du port de Saint-Malo – 1722 – Bouin
Creators: name: :Unkn
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: produits de la mer
subject: épices et condiments

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 1722 avec le port "Bouin"
description: Marchandises arrivées à Saint-Malo : sel
description: Catégories de marchandises arrivées à Saint-Malo : produits de la mer ; épices et condiments
description: Coverage: Grand cabotage
description: Bibliographic citation: GOURLAN, Monique. Le Commerce maritime de Saint-Malo en 1721-1722. DES : Histoire : Rennes, 1963. (Bibliothèque François-Lebrun, MH 1023)
description: date: Date de numérisation : 2021 à 2023
description: created: Années 1950-1960
Additional file 1 of Insight into the research history and trends of total anomalous pulmonary venous connection: a bibliometric analysis
Creators: name: Wen, Chen
name: Shen, Geng
name: Fang, Chenhao
name: Tian, Lan
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Molecular Biology
Science Policy

description: Supplementary Material 1
Evagetes sikhotealinensis
Creators: name: Li, Lili Dong Qiang
name: Ma, Li
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Pompilidae
Evagetes
Evagetes sikhotealinensis

description: Evagetes sikhotealinensis (Lelej, 1990)
Anospilus sikhotealinensis Lelej, 1990: 76.
Evagetes sikhotealinensis: Lelej 1995: 248, 251.
Diagnosis. Forewing with three submarginal cells. Anterior margin of labrum nearly flat. Outer surface of mandible without carina. Pronotum angulate posteriorly. Propodeum smooth, transition from disc to posterior surface arcuate, without longitudinal groove, if with slight longitudinal groove, then without pubescence; metatarsus usually with three spines, not flattened or widened towards apex; body with sparse pubescence (in female). Median length of metapostnotum 0.23–0.27X median length of metanotum (in male). Median length of metanotum 4.5X (in female) or 3.7–4.35X (in male) median length of metapostnotum.
Material examined. 2 females, CHINA: Hebei, Wei Country, Xiaowutai Mountain, 39°59’N 115°04’E, 1300–1600 m, 22. VI.2009, coll. Zhen-hua Zu, YNAU.
Distribution. China (Hebei), Kazakhstan, Russia.
description: Published as part of Li, Lili Dong Qiang & Ma, Li, 2024, Review of Evagetes (Hymenoptera: Pompilidae: Pompilini), with one new species and ten newly recorded species from China, pp. 1-20 in Zoologia (e 24012) (e 24012) 41 on page 15, DOI: 10.1590/S1984-4689.v41.e24012, http://zenodo.org/record/14700981
Dorachosa Distant 1892
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae
Dorachosa

description: Genus Dorachosa Distant, 1892
Dorachosa Distant 1892: 63.
TYPE SPECIES. Dorachosa explicata Distant 1892: 64. (Matachin, Panama)
Remarks. The eyes are long and angled posteriorly, prominent postclypeus with a very distinct central sulcus, and the long anterior femoral spines are characteristic of this genus (Distant 1892).
Distribution. The monospecific genus is only known from El Salvador and Panama (Metcalf 1963c; Sanborn 2013).
description: Published as part of Sanborn, Allen F., 2018, The cicadas (Hemiptera: Cicadidae) of Panama including the description of six new species, three new combinations, one new synonymy, and nine new records, pp. 1-69 in Zootaxa 4493 (1) on page 51, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
Amblyphymus matopo : Dirsh 1956
Creators: name: Tshililo, Precious
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Orthoptera
Baissogryllidae
Amblyphymus
Amblyphymus matopo

description: Amblyphymus matopo Dirsh, 1956
Amblyphymus matopo: Dirsh, 1956b:121–272, figs. 28. 16-18; Dirsh, 1965. 264; Johnston, 1968.195; Johnsen, 1980:25; Johnsen, 1990:6.
Type locality: Zimbabwe: Matopo Hills. Type ♂ in the British Museum (not examined).
Material. SOUTH AFRICA: Northern Cape: 35 km NW Kenhardt (S29.1897, E20.9670) iv.1978 coll. C. Sharp— 1♂ (SANC); Northern Cape: Groblersdam 15.v.1987 coll. T. Grobbelaar— 1♂, 1♀ (SANC); Mpumalanga: Mariepskop (S24.5833, E30.8667) 17. iv. 1979 coll. J.A. Irish— 1♂ (SANC).
Distribution: This species was previously recorded from Botswana (Johnsen 1982a, 1990), Zimbabwe (Dirsh 1965) and South Africa (Johnsen 1990).
description: Published as part of Tshililo, Precious, 2020, Review of South African Euryphyminae, pp. 70-104 in Zootaxa 4820 (1) on page 78, DOI: 10.11646/zootaxa.4820.1.4, http://zenodo.org/record/4397315
Annotations on campaign in Dacia (related to P.Lond inv. 2851)
Creators: name: Marichal, Robert
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2015

description: vue 42
description: Study, bibliographical and epigraphical references of Dacian geography and Roman campaigns in Dacia. - typewriten corrections by Davies on CLA III 214, receipt from the EPHS Trade unions. - annotations on papyrus, transcription, map of the lower Danube, Marichal's personal card. - annotations, bibliography and commentary on "decedunt" (coll. II). - letter from T.C Skeat. - typewriten and annotated commentary upon the papyrii, geographical annotations, bibliography.
description: Source: 4MAR_19_3.2-1-2
description: Relation: T. C. Skeat
description: Coverage: London
description: created: n. d., 10th April 1962
Acraea issoria subsp. issoria issoria (Huebner 1819
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Nymphalidae
Acraea
Acraea issoria
Acraea issoria issoria (huebner,1819)

description: 469. Acraea issoria issoria (Huebner,1819) *
Published records: Gupta, 2004; Varshney & Smetacek, 2015: 222.
Sighting locality: 2, 4, 20, 32, 68.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 63, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
title: Das FuN Screen-Prinzip zur experimentellen Analyse von Nanoporen in E. coli
Creators: name: Weber, Wadim
name: Probanowski, Tobias
name: Eisenhauer, Klara
name: Kemp, Philipp
name: Stein, Viktor
Publisher: name: Springer
Year: 2025

description: Nanopores constitute an important class of biotechnologically relevant proteins. Unlike binders and enzymes, their experimental characterization is limited to high-resolution, yet low throughput biophysical methods. Addressing this technological gap, the functional nanopore (FuN) screen now provides a versatile assay to study and engineer nanopores in Escherichia coli combining quantitative resolution with the ease, scalability, and throughput of cellular assays.
title: Rapport de voyage, Ile de France (1926) : Ligne de New-York, 1953, voyage n°32
Creators: name: Couetoux du Tertre, Fernand
name: Delsart, André
name: Garrigue, Frank
name: Ozil, Francis
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: Marine marchande
subject: Journaux de bord
subject: Compagnie Générale Transatlantique
subject: Transports maritimes - Histoire

description: Chapitrage : Rapport d'inspecteur - Rapport général / du capitaine - Rapport du commissaire - Rapport du second - Rapport de l'officier de sécurité - Rapport de l'officier de navigation - Rapport du médecin - Rapport contentieux
description: Source: French Lines & Compagnies, 1997 004 5070-34
description: Coverage: 1953-09-01/1953-09-15
Dorachosa explicata Distant 1892
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae
Dorachosa
Dorachosa explicata

description: Dorachosa explicata Distant, 1892
Dorachosa explicata Distant 1892: 64. (Matachin, Panama)
Remarks. A small (body length 12 mm) species with a greenish ochraceous head and thorax and castaneous or tawny abdomen with a transverse piceous stripe on the dorsal head. The generic characters also distinguish the single species from other Panamanian cicadas.
Distribution. The species is known from El Salvador and Panama (Metcalf 1963c; Sanborn 2013). The reference to Argentina is a mistake (Sanborn & Heath 2014). The species has been reported from Matachin in Panama (Distant 1900). It was reported as being collected in Panama by Wolda & Ramos (1992) but without locality data.
Material examined. “Panamá: Panamá Prov. / Cerro Campana, 850m. / 8° 40’ N, 79° 56’ W / 29 Apr. ’73 Stockwell ” one male (TAMU); “ PANAMA: Darién Prov. / P.N. Darién Cerro Pirre / “ Campo Plastico ” 620m / 7.9973°N, 77.7129°W / VI–3–5–2015, E. Riley, UV // TAMU—ENTO / X1229387” one male (TAMU); “ PANAMA: Darién Prov. / P.N. Darién Cerro Pirre / “ Campo Plastico ” 620m / 7.9973°N, 77.7129°W / VI–3–5– 2015, E. Riley, UV // TAMU—ENTO / X1229390” one male (AFSC); “ PANAMÁ: Coclé / Cerro Gaital, / VI–10– 12–1985 / E. Riley & D. Rider ” one male (AFSC); “ PANAMA: Veraguas Prov. / Alto Piedra, 5 km NW / Santa Fe, 800 m elev. / VI 11–14 2016, N.J. Smith ” one female (UCDC); “ Canal Zone / Pan. IX–16–1958 // Barro Colorado Isl. / Gatun Lake // Charles F. Harbison / Collector // SDNHM / COLLECTION / DATABASE / SDNHM094784 ” one male (SDMC); “ PANAMA: Panama / El Llano-Carti Rd. km. / 12.4, 10 May 1996 / R. Turnbow ” one male (FSCA); “ PANAMA: Darién, / Filo de Talla Lodge / Metetí, 16–20–V–2014 / J.B. Heppner, 145m ” one female (FSCA), one female (AFSC); “ PANAMA C.Z. / Barro Colo. Isl. / 24-IV-1978 / C.D. Jorgensen ” one male and one female (BYUC).
description: Published as part of Sanborn, Allen F., 2018, The cicadas (Hemiptera: Cicadidae) of Panama including the description of six new species, three new combinations, one new synonymy, and nine new records, pp. 1-69 in Zootaxa 4493 (1) on pages 51-52, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
Evagetes taiwanus Tsuneki 1989
Creators: name: Li, Lili Dong Qiang
name: Ma, Li
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Pompilidae
Evagetes
Evagetes taiwanus

description: Evagetes taiwanus Tsuneki, 1989
Evagetes taiwanus Tsuneki, 1989: 106-108.
Diagnosis. Forewing with three submarginal cells. Anterior margin of labrum slightly emarginated. Outer surface of mandible without carina. Pronotum arcuate posteriorly. Pro– and mesothorax evenly, gently, roundly inclined forward in lateral view. Malar space linear shape. SMC 3 triangular or close to triangular. Fore metatarsus with three spines, not flattened or widened towards apex.
Distribution. China (Taiwan).
description: Published as part of Li, Lili Dong Qiang & Ma, Li, 2024, Review of Evagetes (Hymenoptera: Pompilidae: Pompilini), with one new species and ten newly recorded species from China, pp. 1-20 in Zoologia (e 24012) (e 24012) 41 on page 15, DOI: 10.1590/S1984-4689.v41.e24012, http://zenodo.org/record/14700981
title: Rapport de voyage, Angers (1907) : Ligne d'Indochine, 1929, voyage n°2
Creators: name: Durrieux, J.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: Journaux de bord
subject: Compagnie des Messageries Maritimes
subject: Transports maritimes - Histoire
subject: Marine marchande

description: Chapitrage : Rapport du commandant
description: Source: French Lines & Compagnies, 1997 002 3937-25
description: Coverage: 1928-12-05/1929-02-25
Constructing some Distributed Programs
Creators: name: Hofstee, H. Peter
Publisher: name: California Institute of Technology
Year: 1992

description: [No abstract]
description: © 1992 California Institute of Technology.

We are grateful to Johan J. Lukkien for many discussions during the design of the algorithms, and to Wayne Luk for helpful remarks on the presentation.
description: Submitted - postscript.pdf
Submitted - postscript.ps
Taphura Stal 1862
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae
Taphura

description: Genus Taphura Stål, 1862
Cicada (Taphura) Stål 1862: 20.
TYPE SPECIES. Cicada misella Stål 1854: 243 (Brazil, Minas Gerais).
Remarks. The genus was recently revised with a number of new species added including one from Panama (Sanborn 2017a). All species are relatively small (body length 6–18 mm) and the males possess elaborate genitalia that permit species to be diagnosed easily. The head is wider than the mesonotum in Taphura that distinguishes Taphura species from Dorachosa Distant, 1892 whose eyes are angled posteriorly and about as wide as the mesonotum. Species of Selymbria (formerly assigned to the Taphurini) can be distinguished by their larger body size, the expansion of ventrolateral tergite 2 extending towards or covering part of the timbal, the opercula are larger and more lobate reaching to sternite II, the widely sulcate postclypeus of most species, the highly angled tergite-epipleurite margin, and the flattened claspers of the male genitalia (Sanborn 2017a).
Distribution. The genus is found over much of South America including references to Argentina, Bolivia, Brazil, Colombia, Ecuador, French Guiana, Panama, Peru, Surinam, Trinidad & Tobago, and Venezuela (Metcalf 1963c; Duffels & van der Laan 1985; Sanborn 2011a; 2013; 2016b; 2017a; Sanborn & Heath 2014). Panama represents the northernmost range of the genus.
description: Published as part of Sanborn, Allen F., 2018, The cicadas (Hemiptera: Cicadidae) of Panama including the description of six new species, three new combinations, one new synonymy, and nine new records, pp. 1-69 in Zootaxa 4493 (1) on page 52, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992
Creators: name: Seitz, Charles L.
name: Martin, Alain J.
name: Van de Snepscheut, Jan L. A.
Publisher: name: California Institute of Technology
Year: 1992

description: The Mosaic C is an experimental fine-grain multicomputer
based on single-chip nodes. The Mosaic C chip includes 64KB of fast dynamic RAM,
processor, packet interface, ROM for bootstrap and self-test, and a two-dimensional selftimed
router. The chip architecture provides low-overhead and low-latency handling of
message packets, and high memory and network bandwidth. Sixty-four Mosaic chips are
packaged by tape-automated bonding (TAB) in an 8 x 8 array on circuit boards that can, in
turn, be arrayed in two dimensions to build arbitrarily large machines. These 8 x 8 boards are
now in prototype production under a subcontract with Hewlett-Packard. We are planning
to construct a 16K-node Mosaic C system from 256 of these boards. The suite of Mosaic
C hardware also includes host-interface boards and high-speed communication cables. The
hardware developments and activities of the past eight months are described in section 2.1.
The programming system that we are developing for the Mosaic C is based on the
same message-passing, reactive-process, computational model that we have used with earlier
multicomputers, but the model is implemented for the Mosaic in a way that supports finegrain
concurrency. A process executes only in response to receiving a message, and may in
execution send messages, create new processes, and modify its persistent variables before
it either exits or becomes dormant in preparation for receiving another message. These
computations are expressed in an object-oriented programming notation, a derivative of
C++ called C+-. The computational model and the C+- programming notation are
described in section 2.2. The Mosaic C runtime system, which is written in C+-, provides
automatic process placement and highly distributed management of system resources. The
Mosaic C runtime system is described in section 2.3.
description: © 1992 California Institute of Technology.

Reporting Period: 1 November 1991 - 30 June 1992.

The research described in this report was sponsored by the Defense Advanced Research Projects Agency and monitored by the Office of Naval Research.
description: Published - CS_TR_92_17.pdf
The Derivation of Compositional Programs
Creators: name: Chandy, K. Mani
name: Kesselman, Carl
Publisher: name: California Institute of Technology
Year: 1992

description: This paper proposes a parallel programming notation and a method of reasoning about programs with the following characteristics: (1) Parallel Composition The notation provides different forms of interfaces between processes; the more restrictive the interface, the simpler the proofs of process composition. A flexible interface is that of cooperating processes with a shared address space; proofs of programs that use this interface are based on non-interference [OG76] and temporal logic [Pnu81,CM88, Lam9l]. We also propose more restrictive interfaces and specifications that allow us to use the following specificattion rule: the strongest specification of a parallel composition of processes is the conjunction of the strongest specifications of its components. This rule is helpful in deriving parallel programs. (2) Determinism A process that does not use certain primitives of the notation is guaranteed to be deterministic. Programmers who wish to prove that their programs are deterministic are relieved of this proof obligation if they restrict their programs to a certain subset of the primitives.
description: © 1992 California Institute of Technology.

July 24, 1992.

To appear in the Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming MIT Press.
description: Submitted - CS-TR-92-18.pdf
Submitted - CS-TR-92-18.ps
Refinement Calculus, Lattices and Higher Order Logic
Creators: name: Back, R. J. R.
Publisher: name: California Institute of Technology
Year: 1992

description: We show how to describe refinement calculus in a lattice theoretic framework. The predicate transformer lattice is built by pointwise extensions from the truth value lattice. A simple but very powerful statement language characterizes the monotonic predicate transformer lattice. We show how to formalize the calculus in higher order logic. We also show how to express data refinement in this framework. A theorem of data refinement with stuttering is proved, to illustrate the algebraic nature of reasoning in this framework.
description: © 1992 California Institute of Technology.

I would like to thank Robert Barta, Ulla Binau, Marcel van de Groot, Peter Hofstee, Rustan Leino, Carroll Morgan, Jan van de Snepscheut and Joakim von Wright for very helpful discussions on the topics treated here.
description: Submitted - 92-22.pdf
Submitted - 92-22.ps
Amblyphymus roseus : Uvarov 1922
Creators: name: Tshililo, Precious
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Orthoptera
Baissogryllidae
Amblyphymus
Amblyphymus roseus

description: Amblyphymus roseus Uvarov, 1922
Amblyphymus roseus: Uvarov, 1922:140; Johnston, 1956: 422; Dirsh, 1956:121–272, figs. 28.1, 2; Dirsh, 1965: 264; Johnston, 1968:195.
Type locality. Africa, Southern Africa, Transvaal, Masil Nek. Type ♂ is in the British Museum (not examined).
Material. SOUTH AFRICA: Gauteng: 25mi N Pretoria (S25.3898, E28.2828) 16.ii.1957 coll. L. Vari— 3♂ (Transvaal Museum); Magaliesberg (S25.6872, E28.1333) Feb.1994 coll. Kriegbaum, Toms and Green— 2♂ (Transvaal Museum); Pienaar’s River Dam, Pretoria Dist. (S25.8383, E29.4846) 30.i.1960 coll. H.D Brown— 10 ♂, 3♀ (SANC); Soutpan (S25.4253, E28.0924) 9.iii.1993 coll. R. Toms and S. Green— 1♂, 1♀ (Transvaal Museum); 7 mi N Skukuza (E24.8944, S31.5983) 21.iv.1963 coll. H.D Brown— 1♀ (SANC); Northern Cape: Hopetown (S29.6195, E24.0869) 12.ii.1931 — 1♂ (Transvaal Museum); Transvaal, Makapansgat, 20 km N of Potgietersrus Valley (S24.1559, E29.1823) 17.ii.1994 — 9♂, 7♀ (Transvaal Museum); Limpopo: Pietersburg (S23.8967, E29.4509) ii.1975 coll. Unknown— 2♂ (SANC); Free State: Potchefstroom (E26.71605, E27.0890) 14.ii.1911 — 3♂ (Transvaal Museum); Retiefskloof nr. Rustenburg (E25.8191, S27.2817) 03.ii.1994 coll. R. Toms, S. Green, Kriegbaum and Nel— 3♀, 1♂ (Transvaal Museum); Rosslyn (S25.6242, E28.0942) 17.ii.1957 coll. L. Vari— 2♂ (Transvaal Museum); Rust de Winter (S25.2218, S28.5536) 30.iii.1987 coll. L.V. de Jager— 1♂ (SANC); Thabazimbi (S24.5843, E27.4045) 29.iii.1987 coll. L. E.G. R. Vos— 1♂ (SANC); Winternest (S25.6514, E28.1285) 30.iii.1987 coll. A.v. Buuren— 1♂ (SANC); Zoutpan, Silvermanspost (S23.0084, E29.7689) 20.v.1958 coll H.D Brown— 1♂, 1♀ (SANC).
Distribution. Previously recorded from South Africa (Uvarov 1922).
description: Published as part of Tshililo, Precious, 2020, Review of South African Euryphyminae, pp. 70-104 in Zootaxa 4820 (1) on pages 79-80, DOI: 10.11646/zootaxa.4820.1.4, http://zenodo.org/record/4397315
Annotations on P.Strasbourg Lat. 2
Creators: name: Marichal, Robert
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2015

description: vue 5
description: Annotations, transcriptions, bibliography, photos on P.Strasbourg Lat. 2. - Offprint of R. MARICHAL, Quelques apports à la tradition ancienne du texte de Virgile "REL" 35 (1957), 81-84. - Offprint of  M. GEYMONAT, Due frammenti Virgiliani ritrovati in Egitto, «Helikon», (January-December 1964), 316-319.
description: Source: 4MAR_4_1.13-2-2
description: created: n. d., 1957, 1964
Zoila viathomsoni Darragh 2011
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Littorinimorpha
Cypraeidae
Zoila
Zoila viathomsoni

description: Zoila viathomsoni Darragh, 2011
Zoila viathomsoni Darragh, 2011b: 5, Figs 1D, 2C, 5B, C, H, L; Darragh, 2017: 48, Figs 3.33, 3.38–39.
Distribution. Eucla Basin: Pallinup Formation (type). Age: late Eocene.
description: Published as part of Darragh, Thomas A., 2024, A checklist of Australian marine Cenozoic Mollusca, pp. 37-206 in Memoirs of Museum Victoria 83 on page 73, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
Properties of Concurrent Programs
Creators: name: Chandy, K. Mani
Publisher: name: California Institute of Technology
Year: 1993

description: A program property is a predicate on programs. In this paper we explore program properties of the form U -> V where U and V are either predicates on states of a program or program properties, and -> satisfies three rules that are also used in reasoning about sequential programs and safety properties of parallel programs. We show how such properties can be used to reason about concurrent programs.
description: © 1993 California Institute of Technology

June 15, 1993.

This paper was completely rewritten based on constructive criticism form J. Misra, E.W. Dijkstra and B. Sanders. Thanks to suggestions from Rustan Leino and many at Caltech. Finally, many thanks to Cliff Jones and David Gries for careful reading and key insights.

Supported in part by AFOSR 91-0070.
description: Submitted - 93-24.pdf
Submitted - postscript.ps