cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Refinement of Parallel and Reactive Programs
Creators: name: Back, R. J. R.
Publisher: name: California Institute of Technology
Year: 1992

description: We show how to apply the refinement calculus to stepwise refinement of parallel and reactive programs. We use action systems as our basic program model. Action systems are sequential programs which can be implemented in a parallel fashion. Hence refinement calculus methods, originally developed for sequential programs, carry over to the derivation of parallel programs. Refinement of reactive programs is handled by data refinement techniques originally developed for the sequential refinement calculus. We exemplify the approach by a derivation of a mutual exclusion algorithm.
description: © 1992 California Institute of Technology.

The work reported here was supported by FINSOFT III program sponsored by the Technology Development Centre of Finland. I would like to thank Robert Barta, Ulla Binau, Bengt Jonsson, Marcel van de Groot, Peter Hofstee, Reino Kurki-Suonio, Rustan Leino, Leslie Lamport, Alan Martin, Carroll Morgan, Amir Pnueli, Kaisa Sere, Jan van de Snepscheut and Joakim von Wrigth for very helpful discussions on the topics treated here. Frank Stomp deserves a special thank, for his insistence on including environment variants in the model.
description: Submitted - 92-23.pdf
Submitted - 92-23.ps
A Parabolic Theory of Load Balance
Creators: name: Heirich, Alan
name: Taylor, Stephen
Publisher: name: California Institute of Technology
Year: 1993

description: We derive analytical results for a dynamic load balancing algorithm modeled by the heat equation ut = V2u. The model is appropriate for quickly diffusing disturbances in a local region of a computational domain without affecting other parts of the domain. The algorithm is useful for problems in computational fluid dynamics which involve moving boundaries and adaptive grids implemented on mesh connected multicomputers. The algorithm preserves task locality and uses only local communication. Resulting load distributions approximate time asymptotic solutions of the heat equation. As a consequence it is possible to predict both the rate of convergence and the quality of the final load distribution. These predictions suggest that a typical imbalance on a multicomputer with over a million processors can be reduced by one order of magnitude after 105 arithmetic operations at each processor. For large n the time complexity to reduce the expected imbalance is effectively independent of n.
description: © 1993 California Institute of Technology.

The research described in this report is sponsored primarily by Lite Defense Advanced research Projects Agency, DARPA Order number 8176, and monitored by the Office of Naval Research under contract number N00014-91-J-1986.
description: Submitted - cstr93.pdf
Submitted - postscript.ps
Acraea violae
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 violae

description: 470. Acraea violae (Fabricius, 1793) *
Published records: Gupta, 2004; Varshney & Smetacek, 2015: 222.
Sighting locality: 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
Zoila didymorhyncha Darragh 2011
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Littorinimorpha
Cypraeidae
Zoila
Zoila didymorhyncha

description: Zoila didymorhyncha Darragh, 2011
Zoila didymorhyncha Darragh, 2011b: 7, Figs 1E, 6A–E, I.
Distribution. Port Phillip Basin: Jan Juc Formation (type). Age: late Oligocene.
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
Cethosia biblis subsp. tisamena Fruhstorfer 1912
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
Cethosia
Cethosia biblis
Cethosia biblis tisamena fruhstorfer,1912

description: 471. Cethosia biblis tisamena Fruhstorfer,1912 *
Published records: Gupta, 2004; Varshney & Smetacek, 2015: 222.
Sighting locality: 1, 4, 12, 13, 20, 22, 33, 69, 46.
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
"Annotations on inscriptions: Diocletian's edict De pretiis (301), Julian's rescript (362); Constantine's edict (314) "
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, bibliography and drawings from the inscriptions.
description: Source: 4MAR_2_1.3.3-1
description: created: n. d.
RESET Dissemination and Communication Plan, including links to Zenodo collection, website and dedicated pages on each partner institution website
Creators: name: Hadjipavlou-Litina Dimitra
name: Vakali Athena
name: Karachaliou Elena
name: Argyropoulou Lamprini
name: Karamanidis Stylianos
Publisher: name: Zenodo
Year: 2024
Subjects: Communication and dissemination, gender eqality promotion, dissemination and communication plan, KPI, GEP

description: The current document constitutes the 3rd version of the Dissemination and Communication Plan of the EU funded project “RESET – Redesigning Equality and Scientific Excellence Together” (GA number 101006560).RESET is a Horizon 2020 Coordination and support action aiming to address the challenge of Gender Equality in Research Institutions in a diversity perspective, with the objective to design and implement a user-centered, impact-driven and inclusive vision of scientific excellence.The 1st version of the document outlined the overall dissemination and communication strategy of the project, defined the target audiences and described the channels and methods to be used to achieve the maximum outreach of the project activities and results. In addition, it provided guidance on the implementation of the dissemination strategy by the project partners and clarified the roles and responsibilities in this regard. Furthermore, it established a monitoring framework and set specific KPIs to track the performance of the strategy to make the necessary adjustments when necessary.The 2nd version of the report included the progress made from M3 (March 2021) to M9 (September 2021).The 3rd version of the current report includes updates regarding the communication and dissemination channels and planned activities e.g. RESET community creation at the platform of Zenodo, inclusion of podcasts etc. It also reports the progress made from M3 (March 2021) to M15 (March 2022).RESET’s dissemination and communication plan will be updated every six (6) months. The 8th version is the final version of the DCP. It includes all updates of the DCP but also recommendations for the sustainability of the project.

This 8th version may be subject to final acceptance by the European Commission.
Eŭrazio ekde 1928 ĝis 1932 per biciklo kaj Esperanto : Eltiroj de ĉiuj personaj notoj (p. 170)
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: Eltiraĵoj
Amblyphymus rubidus : Brown 1959
Creators: name: Tshililo, Precious
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Orthoptera
Baissogryllidae
Amblyphymus
Amblyphymus rubidus

description: Amblyphymus rubidus Brown, 1959 (Fig. 7D)
Amblyphymus rubidus: Brown, 1959:283, PI. 3. figs. 1–10; Dirsh, 1965. 264; Johnston, 1968:195.
Type locality. Africa, Southern Africa, Transvaal, N.W. Transvaal, Zoutpansberg Mountains, Zoutpan, 8 miles north of Vivo. Type ♂ is Ditsong Museum, formerly known as Transvaal Museum, South Africa.
Material. SOUTH AFRICA: Limpopo: Langjan (S22.8422, E29.2430) 27.iv.1988 coll. K. Kappmeier— 1♂ (SANC); Zoutpan, Zoutpansberg (S23.0084, E29.7689) 06.iv.1988 coll. H.D. Brown— 1♀ (SANC); Northern Cape: Steynsburg, Ezelfontein (S30.9814, E25.6988) 06. iii.2017 coll. P. Tshililo and P. Strauss— 1♂ (SAMC).
Distribution. This species was previously recorded from Zimbabwe (Son 1959) and South Africa (Brown 1959).
description: Published as part of Tshililo, Precious, 2020, Review of South African Euryphyminae, pp. 70-104 in Zootaxa 4820 (1) on page 80, DOI: 10.11646/zootaxa.4820.1.4, http://zenodo.org/record/4397315
Tomorrow's Digital Hardware will be Asynchronous and Verified
Creators: name: Martin, Alain J.
Publisher: name: California Institute of Technology
Year: 1993

description: Encouraged by the results of almost a decade of research and experimentation, we claim that tomorrow's design methods for digital VLSI will be based on a concurrent programming approach to high-level synthesis, asynchronous techniques, and correctness-preserving program transformations.
description: © 1993 California Institute of Technology.

The research described in this paper would not have been possible without the contributions of my present and recent students. Dražen Borković, Steve Burns (now at the
University of Washington), Marcel van der Goot, Pieter Hazewindus, Tony Lee, Christian Nielsen, and José Tierno. The insights, help, and encouragement of my Caltech colleague Charles L. Seitz are deeply appreciated. The research was sponsored by the Defense Advanced Research Projects Agency DARPA Order number and monitored by the
Office of Naval Research under contract number N00014-87-K-0745.
description: Submitted - 93-26.pdf
Submitted - postscript.ps
Cethosia cyane subsp. cyane cyane (Drury 1773
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
Cethosia
Cethosia cyane
Cethosia cyane cyane (drury, [1773])

description: 472. Cethosia cyane cyane (Drury, [1773]) *
Published records: Moore, 1899: 177–179; Gupta, 2004; Singh et al., 2011; Varshney & Smetacek, 2015: 222.
Sighting locality: 22, 71, 46.
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
Predicate Transformers and Higher Order Logic
Creators: name: Back, R. J. R.
Publisher: name: California Institute of Technology
Year: 1992

description: Predicate transformers are formalized in higher order logic. This gives a basis for mechanized reasoning about total correctness and refinement of programs. The notions of program variables and logical variables are explicated in the formalization. We show how to describe common program constructs, such as assignment statements, sequential and conditional composition, iteration, recursion, blocks and procedures with parameters, axe described as predicate transformers in this framework. We also describe some specification oriented constructs, such as assert statements, guards and nondeterministic assignments. The monotonicity of these constructs over the lattice of predicates is proved, as well as the monotonicity of the statement constructors with respect to the refinement ordering on predicate transformers.
description: © 1992 California Institute of Technology.
description: Submitted - 92.24.pdf
Submitted - 92.24.ps
Taphura hastifera
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae
Taphura
Taphura hastifera

description: Taphura hastifera (Walker, 1858a)
Cicada hastifera Walker 1858a: 25. (Santarém, Pará, Brazil)
Cicada frontalis Walker 1858a: 25. (Pará, Brazil)
Remarks. A wide ranging species that is often common in collections. Another small cicada with prominent eyes. The claspers diverge laterally from their base and form a claw-like terminus. The basal pygofer lobes are reduced (Sanborn 2017a). The species emerges at the end of the dry season before the beginning of the rainy season so that rain is not the trigger for the emergence but they are primarily active during the rainy season (Wolda 1988; 1989). The species is active from late March to early September (Wolda 1989).
Distribution. The species ranges over much of South America. It is currently known from Argentina, Bolivia, Brazil, Ecuador, Panama, Peru, and Venezuela (Metcalf 1963; Sanborn 2013; 2017a; Sanborn & Heath 2014). The species has been recorded from Barro Colorado Island (Wolda 1988; 1989; Wolda & Ramos 1992) and Las Cumbres, Province of Panama, 150 m altitude in secondary growth forest (Wolda & Ramos 1992) in Panama.
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 54, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
title: Activité du port de Saint-Malo – 1752 – Jersey
Creators: name: :Unkn
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: produits agroalimentaires
subject: alcool
subject: produits manufacturés
subject: céréales
subject: produits laitiers
subject: produits exotiques et ultramarins
subject: textiles
subject: personnes
subject: cuirs, peaux et laines
subject: fruits et légumes

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 1752 avec le port "Jersey"
description: Marchandises au départ de Saint-Malo : vin ; savon ; farine ; biscuit ; orge ; fromage ; miel ; sucre ; toiles ; passagers ; cuirs ; fruits
description: Catégories de marchandises au départ de Saint-Malo : produits agroalimentaires ; alcool ; produits manufacturés ; céréales ; produits laitiers ; produits exotiques et ultramarins ; textiles ; personnes ; cuirs, peaux et laines ; fruits et légumes
description: Marchandises arrivées à Saint-Malo : froment
description: Catégories de marchandises arrivées à Saint-Malo : produits agroalimentaires ; céréales
description: Coverage: Grand commerce
description: Bibliographic citation: PAITRY, Daniel. Les Activités commerciales et la vie du port de Saint-Malo en 1752. DES : Histoire : Rennes : 1967 (Bibliothèque François-Lebrun, MH 1043)
description: date: Date de numérisation : 2021 à 2023
description: created: Années 1950-1960
Krücken, Wolfgang / Neyer, Harry (Hg.): Wehrdienst — Kriegsverweigerung — Zivildienst
Creators: name: Lippert, P.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 17 (1976): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 17
A File System for the J-Machine
Creators: name: Zadik, Yair
name: Taylor, Stephen
Publisher: name: California Institute of Technology
Year: 1993

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

The research described in this report is sponsored primarily by the Advanced Research Project Agency ARPA Order number 8176, and monitored by the Office of Naval Research under contract number N00014-91-J-1986.
description: Submitted - 93-27.pdf
Submitted - postscript.ps
Zoila glomerabilis Darragh 2011
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Littorinimorpha
Cypraeidae
Zoila
Zoila glomerabilis

description: Zoila glomerabilis Darragh, 2011
Zoila glomerabilis Darragh, 2011b: 9, Figs 6F–H, 7A–F.
Distribution. Otway Basin: Fishing Point Marl. Port Phillip Basin: Jan Juc Formation (type). Age: late Oligocene–early Miocene.
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
title: Rapport de voyage, Chantilly (1922) : Ligne de Casablanca-Ajaccio-Marseille, 1948, voyage n°spécial
Creators: name: Paoli, Henri
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: Compagnie des Messageries Maritimes
subject: Transports maritimes - Histoire
subject: Marine marchande
subject: Journaux de bord

description: Chapitrage : Rapport du commandant - Rapport de mer
description: Source: French Lines & Compagnies, 1997 002 3993-29
description: Coverage: 1948-07-19/1948-07-28
Conjunctive Predicate Transformers for Reasoning about Concurrent Computation
Creators: name: Chandy, K. Mani
Publisher: name: California Institute of Technology
Year: 1993

description: In this paper we propose a calculus for reasoning about concurrent programs inspired by the wp calculus for reasoning about sequential programs. We suggest predicate transformers for reasoning about progress properties and for deducing properties obtained by parallel composition. The paper presents theorems about the predicate transformers and suggests how they can be used in program design. Familiarity with the wp calculus is assumed.
description: © 1993 California Institute of Technology.

June 18, 1993.

Supported in part by the Swiss National Science Foundation grant 5003-034260.
Conjunctive Predicate Transformers for Reasoning about Concurrent Computation
Creators: name: Chandy, K. Mani
Publisher: name: California Institute of Technology
Year: 1993

description: In this paper we propose a calculus for reasoning about concurrent programs inspired by the wp calculus for reasoning about sequential programs. We suggest predicate transformers for reasoning about progress properties and for deducing properties obtained by parallel composition. The paper presents theorems about the predicate transformers and suggests how they can be used in program design. Familiarity with the wp calculus is assumed.
description: © 1993 California Institute of Technology.

June 18, 1993.

Supported in part by the Swiss National Science Foundation grant 5003-034260.
description: Submitted - CS_TR_93_29.pdf
Submitted - postscript.ps
Molecular Dynamics on the Mosaic
Creators: name: Esselink, Klaas
name: Van de Snepscheut, Jan L. A.
Publisher: name: California Institute of Technology
Year: 1992

description: We describe the development, implementation and performance of a parallel Molecular Dynamics program for the MOSAIC network of processors being developed at Caltech. A communication protocol is set up, and the influence of using different communication networks on the physical network is studied.
description: © 1992 California Institute of Technology.
description: Submitted - 92-25.pdf
Submitted - 92-25.ps
Chlorocystini Distant 1905
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae

description: Tribe Chlorocystini Distant, 1905e
Chlorocystaria Distant 1905e: 212.
TYPE GENUS. Cystosoma (Chlorocytsa) Westwood 1851: 208.
Remarks. Species are characterized by the fore wings with a very narrow margin, a medially furrowed pronotum, a narrow cruciform elevation, an inflated male abdomen with a medial longitudinal dorsal ridge, the timbals not extending below the wing bases, a flat upper pygofer lobe and pseudoparameres present on the S-shaped aedeagus (Moulds 2005). The position of the Conibosa Distant, 1905e within the tribe needs to be analyzed in more detail (Marshall et al. 2018). The species of Conibosa possess timbals that extend below the wing bases contrary to the tribal characteristics.
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 54-55, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
Dynamics Modeling of 3D Road Vehicles
Creators: name: Mei, Shiyi
name: Cantero, Daniel
name: Caprani, Colin
Publisher: name: Zenodo
Year: 2025

description: VEqMon3D.py is the main script to generate 3D road vehicles, all other files are examples of it's application!

 

The Python file E.g.5bodies_truck.py demonstrates the procedure for deriving the vehicle depicted in Figure 2, only symbolic expressions are provided.

 

E.g.1.py, E.g.2.py, E.g.3.py, and E.g.4.py illustrate the process of deriving symbolic expressions for example vehicles discussed in Section 4. These examples correspond to the vehicles depicted in Figure 9, Figure 10, Figure 11, and Figure 12, respectively. The Python files E.g.1-numerical.py, E.g.2-numerical.py,

E.g.3-numerical.py, and E.g.4-numerical.py provide numerical values for the symbolic expressions. The parameter values used in these numerical

examples can also be found in Section 4.

 

    Abaqus reports.zip are files of ABAQUS results, which are used to validate natural frequencies obtained from E.g.1-numerical.py, E.g.2-numerical.py, E.g.3-numerical.py, and E.g.4-numerical.py.

 

S. Mei, C. Caprani and D. Cantero, Arbitrary 3D Multi-Body Road Vehicle Modeling for Vehicle-Infrastructure Interaction, Results inEngineering, 103979, doi: https://doi.org/10.1016/j.rineng.2025.103979.
title: Introduction to C+-: Submicron Systems Architecture Project
title: Submicron Systems Architecture Project
titleType: AlternativeTitle
Creators: name: Seizovic, Jakov N.
Publisher: name: California Institute of Technology
Year: 1993

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

22 August 1993.

The research described in this report was sponsored by the Defense Advanced Research Projects Agency and monitored by the Office of Naval Research.
Dynamics Modeling of 3D Road Vehicles
Creators: name: Mei, Shiyi
name: Cantero, Daniel
name: Caprani, Colin
Publisher: name: Zenodo
Year: 2024

description: VEqMon3D.py is the main script to generate 3D road vehicles, all other files are examples of it's application!

 

The Python file E.g.5bodies_truck.py demonstrates the procedure for deriving the vehicle depicted in Figure 1, only symbolic expressions are provided.

 

E.g.1.py, E.g.2.py, E.g.3.py, and E.g.4.py illustrate the process of deriving symbolic expressions for example vehicles discussed in Section 4. These examples correspond to the vehicles depicted in Figure 8, Figure 9, Figure 10, and Figure 11, respectively. The Python files E.g.1-numerical.py, E.g.2-numerical.py,

E.g.3-numerical.py, and E.g.4-numerical.py provide numerical values for the symbolic expressions. The parameter values used in these numerical

examples can also be found in Section 4.

 

    Abaqus reports.zip are files of ABAQUS results, which are used to validate natural frequencies obtained from E.g.1-numerical.py, E.g.2-numerical.py, E.g.3-numerical.py, and E.g.4-numerical.py.
title: Introduction to C+-: Submicron Systems Architecture Project
title: Submicron Systems Architecture Project
titleType: AlternativeTitle
Creators: name: Seizovic, Jakov N.
Publisher: name: California Institute of Technology
Year: 1993

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

22 August 1993.

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 - CSTR-1993.pdf
Argynnis hyperbius subsp. hyperbius hyperbius (Linnaeus 1763
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
Argynnis
Argynnis hyperbius
Argynnis hyperbius hyperbius (linnaeus, 1763)

description: 473. Argynnis hyperbius hyperbius (Linnaeus, 1763) *
Published records: Butler, 1885; Gupta, 2004; Singh et al., 2011; Varshney & Smetacek, 2015: 206.
Sighting locality: 4, 51, 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 pages 63-64, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers
Creators: name: Leino, K. Rustan M.
Publisher: name: California Institute of Technology
Year: 1992

description: In this note, we extend an object-oriented language to support programming fine-grain multicomputers. The new constructs have a simple semantics and provide a nice way to write distributed programs. The semantics of the constructs are independent of how a program is distributed. We also show a set of simple conditions under which even the outcome of a program is independent of how its control and data are distributed.
description: © 1992 California Institute of Technology.

I'm very grateful to my advisor Jan L. A. van de Snepscheut, for many discussions, encouragement, and ongoing support. I'm also grateful to Greg Nelson for his enthusiasm about my starting this work, and to Robert J. Harley and H. Peter Hofstee for the many comments and good suggestions they provided on the writeup of this paper.
description: Submitted - 92-26.pdf
Submitted - 92-26.ps
title: Lettre n°465 de Paul d'Estournelles de Constant à Nicholas Murray Butler (21 janvier 1919)
title: Letter number 465 from Paul d'Estournelles de Constant to Nicholas Murray Butler (January 21, 1919)
Creators: name: d'Estournelles de Constant, Paul
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2022
Subjects: Pacifisme
Guerre mondiale (1914-1918)

description: Source: Archives de la Sarthe – France
Conibosa Distant 1905
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae
Conibosa

description: Genus Conibosa Distant, 1905e
Conibosa Distant 1905e: 215.
TYPE SPECIES. Cephaloxys occidentis Walker 1858a: 36. (Mexico)
Remarks. Species of Conibosa are characterized within the Chlorocystini by the five apical cells of the hind wings (Distant 1905e). The ventrolateral postclypeus is flattened with an obvious extension at the apex and the pronotum narrows anteriorly.
Distribution. Species of the genus have been reported from Costa Rica, Honduras, Mexico, Nicaragua, and Panama (Metcalf 1963c; Duffels & van der Laan 1985; Sanborn 2013; 2014; Sanborn & Maes 2012; Maes et al. 2012).
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 55, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
Zetética jurídica: Sobre a disciplina de antropologia jurídica para a fundamentação do ser social
Creators: name: Luciano Ferreira Rodrigues Filho
name: Bruno Wesley Melo Neve
Publisher: name: Zenodo
Year: 2017

description: Este artigo tem como objetivo discutir a importância da disciplina de Antropologia Jurídica para a formação em Ciências Jurídicas. Assim, foi abordado a ciência antropológica e sua ramificação para a área do Direito, contemplando os objetivos desta ciência para a contribuição dos fenômenos legais. A Antropologia Jurídica fornece uma compreensão de sujeito, bem como suas relações com o mundo em que vive, dando apoio às ciências jurídicas quanto à definição do ser social. Realizou-se um aprofundamento da construção sociohistórica para o surgimento das leis e pactos sociais na tentativa de alcançar a "harmonização" da sociedade, principalmente com os direitos humanos e seu conflito com as leis culturais. A partir deste conflito entende-se os valores da antropologia para mediar o estabelecimento da justiça e dos direitos
Argynnis childreni subsp. childreni Gray 1831
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
Argynnis
Argynnis childreni
Argynnis childreni childreni gray,1831

description: 474. Argynnis childreni childreni Gray,1831 *
Published records: Moore, 1899: 228–230; Gupta, 2004; Van Gasse, 2013.
Sighting locality: 63, 72.
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 64, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Amblyphymus rubripes : Dirsh 1956
Creators: name: Tshililo, Precious
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Orthoptera
Baissogryllidae
Amblyphymus
Amblyphymus rubripes

description: Amblyphymus rubripes Dirsh, 1956
Amblyphymus rubripes: Dirsh, 1956b:121–272, figs. 28.6–9; Dirsh,1961:405; Dirsh, 1965:264; Johnston 1968:195.
Type locality. Africa, Southern Africa, Transvaal, Kruger National Park, Skukuzo. Type ♂ is in Lund University Entomological Museum (not examined).
Material. SOUTH AFRICA: Limpopo: 1 mi E Tshipise (S22.5269, E30.6915) 16.ii.1963 coll. H.D. Brown— 6♂, 2♀ (SANC); Mpumalanga: 11 mi N Ofcolaco (S23.9447, E30.3711) 14.iv.1967 coll. H.D. Brown— 1♂, 1♀ (SANC); Gauteng: 13 mi ENE Warmbaths (S24.8048, E28.4837) 23.i.1967 coll. N.J. van Rensburg— 1♂, 1♀ (SANC); Limpopo: 15 mi S of Louis Trichardt (S23.2706, E29.9107) 26.iv.1962 coll. H.D. Brown— 13♂, 6♀ (SANC); 2 mi NE Bandolierkop (S23.2929, E29.8176) 13.ii.1962 coll. H.D Brown and W. Furst— 8♂ (SANC); Limpopo: 30 mi N Letabe, KNP (S23.5066, E31.4051) 16.i.1965 coll. A.L. Capener— 1♂ (SANC); 5 mi NE Duiwelskloof (S23.6421, E30.2011) 13.ii.1963 coll. H.D. Brown, W. Furst— 9♂, 8♀ (SANC); Limpopo: 6 mi SE Messina (S22.4048, E30.1122) 02.v.1963 coll. H.D. Brown— 2♂, 2♀ (SANC); 6 mi SE Mica (S24.2202, E30.9029) 2.iv.1963 coll. M.J.D. White— 1♂ (SANC); 8 mi NW Bedford (S32.5973, E25.9892) 15.iv.1967 coll. H.D. Brown— 10♂, 7♀ (SANC); Blyde River nr. Bedford (S32.5973, E25.9892) 12.iv.1967 coll. H. D Brown— 1♂ (SANC); 7 mi N Skukuza (S24.894421, E31.598388) 27.iv.1963 coll. H.D Brown— 7♂, 1♀ (SANC).
Distribution. This species was previously recorded from Zimbabwe (Brown 1967) and South Africa (Dirsh 1956).
description: Published as part of Tshililo, Precious, 2020, Review of South African Euryphyminae, pp. 70-104 in Zootaxa 4820 (1) on page 80, DOI: 10.11646/zootaxa.4820.1.4, http://zenodo.org/record/4397315
Semantics of Exceptions
Creators: name: Leino, K. Rustan M.
name: Van de Snepscheut, Jan L. A.
Publisher: name: California Institute of Technology
Year: 1993

description: We describe a trace semantics of exceptions and then derive a weakest precondition semantics. A program that contains exceptions terminates in one of two possible ways (if it terminates at all): either it terminates exceptionally or it terminates normally. We will therefore consider weakest preconditions that are functions of two postconditions. As a preparation we study aribitrary functions of two arguments, and their compositions.
description: © 1993 California Institute of Technology.

We gratefully acknowledge the contributions made by Robert Harley and Peter Hofstee during various discussions. Also	 the feedback from Greg Nelson and from other members of IFIP WG 2.3 is greatly appreciated. Although we had not actually seen the paper	 we were well aware of the semantics for exceptions given in [5], which is identical to the axiomatic semantics given in the present paper.

Our trace semantics serves as a foundation thereof. Another early reference to semantics of exception handling is. This reference provides a good discussion of how exception handling can simplify the structure of certain programs. It describes the semantics of exceptions by giving a predicate transformer for normal termination and a separate predicate transformer for exceptional  termination. We use one function that maps a pair into a single predicate.
description: Submitted - 93-34.pdf
Zoila dolichorhyncha Darragh 2011
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Littorinimorpha
Cypraeidae
Zoila
Zoila dolichorhyncha

description: Zoila dolichorhyncha Darragh, 2011
Zoila dolichorhyncha Darragh, 2011b: 11, Figs 8A–F, 9C–E.
Distribution. Bass Basin: Freestone Cove Sandstone (type). Age: early Miocene.
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
Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project
Creators: name: Taylor, Stephen
Publisher: name: California Institute of Technology
Year: 1993

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

April 27, 1992 to March 22, 1993.

This work owes a great debt to other members of the research groups at both the California Institute or Technology and the Massachusetts Institute or Technology. In particular, Yair Zadik and Chris Ziomkowski implemented the linker, loader, archiver, and floating-point support. Dong Lin collaborated on the initial version or the compiler. Andrew Chang, Mike Noakes, and other members of the Concurrent VLSI Architecture project at MIT have provided constant assustance with low-level software and hardware.
description: Submitted - postscript.pdf
Submitted - postscript.ps
Conibosa occidentis
Creators: name: Sanborn, Allen F.
Publisher: name: Zenodo
Year: 2018
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadidae
Conibosa
Conibosa occidentis

description: Conibosa occidentis (Walker, 1858a)
Cephaloxys occidentis Walker 1858a: 36. (Mexico)
Calyria virginea Stål 1864: 56. (Vera Cruz, Mexico)
Remarks. This is the smaller of the two Panamanian species of Conibosa. The body is narrow (about 3 mm wide) with a very prominent postclypeus when viewed from the dorsal side. Fore wing width is about 5.5. mm and the male abdomen is testaceous on the posterior and ventral side. The posterior abdominal segments in males are red and the male operculum is small, roughly rectangular and angled with respect to the midline.
Distribution. The species has been reported from Costa Rica, Honduras, Mexico, Nicaragua, and Panama (Metcalf 1963c; Duffels & van der Laan 1985; Sanborn 2013; 2014; Sanborn & Maes 2012; Maes et al. 2012). The species was collected at Fortuna, Province of Chiriquí, at 1050 m altitude in forest habitat (Wolda & Ramos 1992) in Panama.
Material examined. “ Panamá: Canal Zone / Venado Beach / 14 June, 1976 / Coll. E.G. Riley ” 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 55, DOI: 10.11646/zootaxa.4493.1.1, http://zenodo.org/record/1445162
RESET Dissemination and Communication Plan, including links to Zenodo collection, website and dedicated pages on each partner institution website
Creators: name: Hadjipavlou-Litina Dimitra
name: Vakali Athena
name: Karachaliou Elena
name: Argyropoulou Lamprini
name: Karamanidis Stylianos
Publisher: name: Zenodo
Year: 2022
Subjects: Communication and dissemination, gender eqality promotion, dissemination and communication plan, KPI, GEP

description: The current document constitutes the 3rd version of the Dissemination and Communication Plan of the EU funded project “RESET – Redesigning Equality and Scientific Excellence Together” (GA number 101006560).
 RESET is a Horizon 2020 Coordination and support action aiming to address the challenge of Gender Equality in Research Institutions in a diversity perspective, with the objective to design and implement a user-centered, impact-driven and inclusive vision of scientific excellence.
 The 1st version of the document outlined the overall dissemination and communication strategy of the project, defined the target audiences and described the channels and methods to be used to achieve the maximum outreach of the project activities and results. In addition, it provided guidance on the implementation of the dissemination strategy by the project partners and clarified the roles and responsibilities in this regard. Furthermore, it established a monitoring framework and set specific KPIs to track the performance of the strategy to make the necessary adjustments when necessary.
 The 2nd version of the report included the progress made from M3 (March 2021) to M9 (September 2021).
 The 3rd version of the current report includes updates regarding the communication and dissemination channels and planned activities e.g. RESET community creation at the platform of Zenodo, inclusion of podcasts etc. It also reports the progress made from M3 (March 2021) to M15 (March 2022).
 RESET’s dissemination and communication plan will be updated every six (6) months.
title: Rapport de voyage, D'Artagnan (1924) : Ligne de Chine et du Japon, 1930, n°3
Creators: name: Malaussena, Fortuné
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2025
Subjects: subject: Compagnie des Messageries Maritimes
subject: Transports maritimes - Histoire
subject: Marine marchande
subject: Journaux de bord

description: Chapitrage : Rapport du commandant - Rapport de mer
description: Source: French Lines & Compagnies, 1997 002 4018-14
description: Coverage: 1929-11-01/1930-01-31
Amblyphymus transvaalicus : Dirsh 1956
Creators: name: Tshililo, Precious
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Orthoptera
Baissogryllidae
Amblyphymus
Amblyphymus transvaalicus

description: Amblyphymus transvaalicus Dirsh, 1956 (Figs. 3H, 4F, 8)
Amblyphymus transvaalicus: Dirsh, 1956b:121–272, figs 28.10–12; Dirsh, 1965: 264; Johnston, 1968:195; Johnsen, 1990:6.
Type locality. Africa, Southern Africa, Transvaal, Johannesburg, Modder Fontein. Type ♂ is in the British Museum (not examined).
Material. SOUTH AFRICA: Limpopo: 1 mi S Tshipise (S22.5269, E30.6915) 03.v.1963 coll. H.D. Brown— 1♀ (SANC); Northern Cape: 22m N Kimberley (S28.8727, E16.6953) 15.i.1963 coll. H.D Brown— 1♂ (SANC); 35 mi S Louis Trichardt (S23.5257, E29.7045) 1.i.1963 coll, H.D Brown— 3 ♂, 5♀ (SANC); 8 mi E Messina (S22.3521, E30.1776) 03.v.1963 coll. H.D Brown— 4♂ (SANC); Bandolierkop, Ensolerg Formation (S23.3202, E29.8042) 03.iv.1956 coll. H.D Brown— 1♂ (SANC); Brits, Hartebeespoort Dam (S5.6426, E27.7935) 19.ii.1975 coll. M. Powell— 3♂ (SANC); Zoutpan, Zoutpansberg (S23.00837, E29.768993) 06.iv.1956 coll. H.D. Brown— 2♂, 3♀ (SANC);.
Distribution. This species was previously recorded from Namibia (Grootfontein Distr.) by Johnsen (1990 b), known also from South Africa (Dirsh 1956b) and Botswana (Houston 1978, Johnsen 1990 a, Naskrecki 1995).
Remarks. This genus was erected by Uvarov (1922) based on the structure of both male and female genitalia and shape of hind legs. This genus is related to Rhachitopis (Naskrecki 1995).
The genus does not have stable taxonomy. Uvarov (1922) placed species based on their integument rugosity and male cercus. Dirsh (1956) placed species based on another diagnostic feature different from Uvarov (1922), on the basis of male cercus, pronotum and prosternal tubercle but admitted that the species are rather different and may be transferred to other genera in future (Dirsh 1956).
This genus has seven described species, five have records of occurrence in South Africa. There are an additional ten specimens in the SANC collection which could not confidently be assigned to one of the described species, and may constitute one or more new species. Dirsh (1956) described this genus as unstable, in comparison with other Euryphyminae genera it does not seem to be of high priority for revision although there may be a small number of undescribed species.
description: Published as part of Tshililo, Precious, 2020, Review of South African Euryphyminae, pp. 70-104 in Zootaxa 4820 (1) on pages 80-81, DOI: 10.11646/zootaxa.4820.1.4, http://zenodo.org/record/4397315
A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer
Creators: name: Ainsworth, Paul
name: Kryukova, Svetlana
Publisher: name: California Institute of Technology
Year: 1993

description: As networks and distributed systems that can exploit parallel computing become more widespread, the need for ways to teach parallel programming effectively grows as well. Even though many colleges and universities provide courses on parallel programming [1], most of those courses are reserved for graduate students and advanced undergraduates. There is a demand for ways to teach fundamental parallel programming concepts to people with just a working knowledge of programming. By using the idea of a software archetype, and providing a learning environment that teaches both concept and coding, we hope to satisfy this need. This paper presents an overview of the multimedia approach we took in teaching parallel programming and offers Divide-and-Conquer as an example of its use.
description: © 1993 California Institute of Technology.

The eText project is part of a larger effort, led by Mani Chandy at Caltech, to develop methods and tools to aid in the software engineering of parallel programs. The methods deal with the systematic development of parallel programs starting from specifications - and in many cases the specification is a sequential program that is required to be "parallelized." The tools support reasoning about parallel programs, and debugging on workstations, and then transporting parallel programs from workstations to parallel machines. Multimedia and archetypes play central roles in the overall effort. The development of eText technology was supported by ARPA under grant N00014-91-J-4014, and the development of eText chapters on scientific applications was supported by NSF under cooperative agreement CCR-9120008.

We would like to thank to Rohit Khare for his contributions to this paper and the project. We are also grateful to the following people who have been helpful consultants throughout the course of the eText project: Tal Lancaster, Berna Massingill, Paolo Sivilotti, and John Thornley. Special thanks go to Adam Rifkin for his time and feedback, which contributed greatly to this paper.
This research is carried out under the supervision of Prof. K. Mani Chandy and we would like to thank hem for his guidance.
description: Submitted - CSTRpdf.pdf
Submitted - postscript.ps
Computer Mediated Communication
Creators: name: Sanouillet, Remy D.
Publisher: name: California Institute of Technology
Year: 1992

description: What will the age of the telephone-computer be like? In this thesis we present an answer to this question. We will base this answer on a conceptual framework being developed by the research group in which this work has been done, namely the Caltech/NCR Project; the work of this Project is embodied in the New World of Computing System. This framework will be stated as a paradigm for human information activities. The main contributions of this thesis are, first, an examination of the implications of this framework for the communication aspects of information processing. The second is the design of the communication aspects of the New World of Computing System, reflecting the results of this examination. The System, in its totality, provides a computer environment for the telephone computer age.
description: © 1992 California Institute of Technology.

Submitted August 19, 1992.

I would like to express my gratitude towards NCR Corporation for its generous personal support during the final research. I am particularly indebted to Mike Graf and Tom Kunz for their constant help and unfaltering friendship. I would equally like to thank David Robinson for always being on the receiving side of a question with a good answer, and Andrei Sherstyuk for allowing me to borrow his graphic talent. This work was very much influenced by Dr. Bozena Thompson's extensive linguistic knowledge which I have tapped repeatedly. My greatest appreciation goes to my advisor, Professor Frederick B. Thompson, for instilling in me through his perseverance, insight and dedication to this project a flame that has altered the course of my life and that I shall keep carrying forward. Finally, I acknowledge the loving and technical support of my family and of Arlette without whom this endeavor might not have reached its culmination.
description: Submitted - 92-30.pdf
Submitted - 92-30.ps
Zoila mulderi
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Littorinimorpha
Cypraeidae
Zoila
Zoila mulderi

description: Zoila mulderi (Tate, 1892)
Cypraea mulderi Tate, 1892: pl. 9, fig. 4; Tate, 1893: 316.
Umbilia (Gigantocypraea) mulderi (Tate, 1892).— Schilder, 1927: 86, 136.
Zoila (Gigantocypraea) mulderi (Tate, 1892).— Wilson and Clarkson, 2004: 52, pl. 56.
Zoila mulderi (Tate, 1892).— Darragh, 2011b: 14, Figs 9A, B, 10A–F.
Distribution. Otway Basin: Fishing Point Marl, Gellibrand Formation. Port Phillip Basin: Gellibrand Formation (type). Age: early Miocene.
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