cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Activité du port de Saint-Malo – 1694 – Guernesey
Creators: name: :Unkn
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: produits exotiques et ultramarins
subject: dopants
subject: personnes

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 1694 avec le port "Guernesey"
description: Marchandises au départ de Saint-Malo : tabac ; prisonniers anglais ; passagers
description: Catégories de marchandises au départ de Saint-Malo : produits exotiques et ultramarins ; dopants ; personnes
description: Coverage: Grand commerce
description: Bibliographic citation: GUILBAUD, Marguerite-Paule. L'Activité portuaire de Saint-Malo de 1693 à 1698 d'après le registre 9B 167 des archives de l'Amirauté. DES : Histoire : Rennes, s.d. (Bibliothèque François-Lebrun, MH 1009)
description: Bibliographic citation: LAFFONT, Paul. Le Trafic portuaire malouin en 1697-1698. DES : Histoire : Rennes, 1961 (Bibliothèque François-Lebrun, MH 1011)
description: date: Date de numérisation : 2021 à 2023
description: created: Années 1950-1960
The Architecture and Programming of a Fine-Grain Multicomputer
Creators: name: Seizovic, Jakov N.
Publisher: name: California Institute of Technology
Year: 1993

description: The research presented in this thesis was conducted in the context of the Mosaic C, an experimental, fine-grain multicomputer. The objective of the Mosaic experiment was to develop a concurrent-computing system with maximum performance per unit cost, while still retaining a general-purpose application span. A stipulation of the Mosaic project was that the complexity of a Mosaic node be limited by the silicon complexity available on a single VLSI chip. The two most important original results reported in the thesis are: (1) The design and implementation of C+-, a concurrent, object-oriented programming system. Syntactically, C+- is an extension of C++. The concurrent semantics of C+- are contained within the process concept. A C+- process is analogous to a C++ object, but it is also an autonomous computing agent, and a unit of potential concurrency. Atomic single-process updates that can be individually enabled and disabled are the execution units of the concurrent computation. The limited set of primitives that C+- provides is shown to be sufficient to express a variety of concurrent-programming problems concisely and efficiently. An important design requirement for C+- was that efficient implementations should exist on a variety of concurrent architectures, and, in particular, on the simple and inexpensive hardware of the Mosaic node. The Mosaic runtime system was written entirely in C+-. (2) Pipeline synchronization, a novel, generally- applicable technique for hardware synchronization. This technique is a simple, low-cost, high-bandwidth, high- reliability solution to interfaces between synchronous and asynchronous systems, or between synchronous systems operating from different clocks. The technique can sustain the full communication bandwidth and achieve an arbitrarily low, non-zero probability of synchronization failure, Pf, with the price in both latency and chip area being O(log 1/Pf). Pipeline synchronization has been successfully applied to the highperformance inter-computer communication in Mosaic node ensembles.
description: Submitted - 93-18.pdf
Submitted - 93-18.ps
Branchinella complexidigitata
Creators: name: Rogers, D. Christopher
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Branchiopoda
Anostraca
Thamnocephalidae
Branchinella
Branchinella complexidigitata

description: Branchinella complexidigitata
AUSTRALIA: WESTERN AUSTRALIA: Paratype, Arro Lake, 11km north of E neabba, 29° 44’11’’S 115° 9’ 58’’ E, 22 November 1999, 1 male, B. V. Timms, DCR­352.
description: Published as part of Rogers, D. Christopher, 2006, A genus level revision of the Thamnocephalidae (Crustacea: Branchiopoda: Anostraca), pp. 1-25 in Zootaxa 1260 on page 4, DOI: 10.5281/zenodo.173180
Cryptospira sagma Darragh 2024, comb. nov.
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Marginellidae
Cryptospira
Cryptospira sagma

description: Cryptospira sagma (Cotton, 1949) comb. nov.
Marginella sagma Cotton, 1949b: 216, pl. 18.
Distribution. St Vincent Basin: Dry Creek Sands (type). Age: middle 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 115, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
title: Lettre n°1192 de Paul d'Estournelles de Constant à Nicholas Murray Butler (15 novembre 1922)
title: Letter number 1192 from Paul d'Estournelles de Constant to Nicholas Murray Butler (November 15, 1922)
Creators: name: d'Estournelles de Constant, Paul
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023
Subjects: Pacifisme
Guerre mondiale (1914-1918)

description: Source: Archives de la Sarthe – France
Athyma cama subsp. cama Moore 1858
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
Athyma
Athyma cama
Athyma cama cama moore, [1858]

description: 516. Athyma cama cama Moore, [1858] *
Published records: Butler, 1885; Moore, 1896: 200–202; Gupta, 2004: 558; Varshney & Smetacek, 2015: 196.
Sighting locality: 4, 71, 60, 76.
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 67, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Caecum Fleming 1813
Creators: name: Raines, Bret K.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Littorinimorpha
Caecidae
Caecum

description: Caecum sp. A
Figures 123 A–E, 128G
Material examined. NHMLAC: LACM 1972 - 52.67, Herradura Bay, Costa Rica, 3–16 m, 2 sh.
Diagnosis. Teleoconch subcylindrical, with slight increase in diameter from posterior end to aperture. Surface semi-translucent to opaque white, smooth with fine axial growth lines. Septum mucronate, with low rounded mucro. Apertural end with abrupt swelling crossed by axial rings. Periostracum thin, yellow.
Distribution and Habitat. Currently only represented by two specimens from Costa Rica.
Remarks. Caecum sp. A is somewhat similar to the Indo-Pacific species Caecum gulosum Hedley, 1899. However, C. gulosum has a proportionally larger diameter with more pronounced axial sculpture (Fig. 123F).
description: Published as part of Raines, Bret K., 2020, A Rosetta Stone for eastern Pacific Caecidae (Gastropoda: Caenogastropoda), pp. 1-146 in Zootaxa 4827 (1) on pages 138-139, DOI: 10.11646/zootaxa.4827.1.1, http://zenodo.org/record/4402308
Distributed Diners: From UNITY Specification to CC++ Implementation
Creators: name: Binau, Ulla
Publisher: name: California Institute of Technology
Year: 1993

description: Resource conflicts may typically be described as the dining philosophers problem (or diners for short). In this report we derive a distributed message-passing solution to the diners problem from the shared memory solution presented in [CM88, Ch.12 Dining Philosophers]. We define an isomorphism between variables in the shared memory state and variables in the distributed state. This allows us to translate the shared memory UNITY specification to a distributed UNITY specification without affecting the validity of the original refinement proof. It turns out that the translated progress properties cannot be fulfilled by the solution scheme we have in mind. However, we show that weaker properties may be used instead, still without affecting the correctness of the original proof. The derivation of a UNITY program from the translated properties is not quite obvious. Hence we introduce an extra refinement step prior to deriving our distributed UNITY implementation. Finally the distributed UNITY implementation is translated to Compositional C++, (CC++) a parallel extension of C and C++. Note: The reader is assumed to be familiar with UNITY [CM88] and C, C++ or CC++ [KR88, Str91, CK92].
description: © 1993 California Institute of Technology.

June 3, 1993.

The further refinement of the final of specification in [CM88] as opposed to a refinement from scratch was inspired by Singh's work on program refinement [Sin 92].
Mani Chandy inspired the functional programming idea behind the CC++ program, and I would like to thank him for his very valuable support during my work. Also thanks to Rustan Leino and Peter Hofstee for a good push, when Mani Chandy's group at Caltech for many good discussions and their extensive comments to an earlier version of this report.
description: Submitted - 93-20.pdf
Submitted - 93-20.ps
Die Feier der Eingliederung Erwachsener in die Kirche. Hrsg. von den Liturgischen Instituten Salzburg, Trier und Zürich
Creators: name: Schmitz, J.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 17 (1976): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 17
Athyma daraxa subsp. daraxa daraxa (Doubleday 1848
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
Athyma
Athyma daraxa
Athyma daraxa daraxa (doubleday, [1848])

description: 517. Athyma daraxa daraxa (Doubleday, [1848]) *
Published records: Gupta, 2004: 559; Varshney & Smetacek, 2015: 199.
Sighting locality: 48.
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 67, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language
Creators: name: Sivilotti, Paul
Publisher: name: California Institute of Technology
Year: 1993

description: CC++ is a parallel object-oriented programming language that uses parallel composition, atomic functions, and single- assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely: semaphores, monitors, and asynchronous channels. A collection of libraries which integrates these traditional models with CC++ is specified, implemented, and formally verified.
description: © 1993 California Institute of Technology.

Many thanks to Mani Chandy whose guidance and encouragement as my research advisor was very much appreciated. Also thank you to the other members of the Compositional Systems Research Group-Ulla Binau, Pete Cartin, Carl Kesselman, Tai Lancaster, Berna Massingill, Marc Pomerantz, Adam Rifkin, Mei Su, and .John Thornley - and to Diana Finley; through valuable discussions, insightful suggestions, or proofreading, they all contributed to this research. This research was supported in part by NSERC and by ARPA grant N00014-91-J-4014.
description: Submitted - 93-21.pdf
Submitted - 93-21.ps
Dentimargo altispira
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Marginellidae
Dentimargo
Dentimargo altispira

description: Dentimargo altispira (May, 1922)
Marginella altispira May, 1922: 10, pl. 4, fig. 5.— Cotton, 1949b: 219, pl. 17.
Marginella (Dentimargo) altispira May, 1922.— Ludbrook, 1967: 68, pl. 2, fig. 31.
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 115, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
Distributed Linear Algebra on Networks of Workstations
Creators: name: Carlin, Peter
Publisher: name: California Institute of Technology
Year: 1994

description: This thesis describes the development of a portion of a distributed linear algebra library for use on networks of workstations. The library was designed with special consideration towards three characterists of networks of workstations: small numbers of processes, availability of multithreading, and high communication latency. Two aspects of the library are highlighted. First, modifications to message passing primitives to permit their use in a multithreaded environment. Second, modifications to basic linear algebra algorithms to improve their performance on networks of stations. A model of distributed linear algebra on networks of workstations is developed, and used to predict the performance of the modified algorithms. These predictions are compared to experimental results on several networks of workstations.
description: © 1994 California Institute of Technology.

July 17, 1994.

I am indebted primarily to K. Mani Chandy Carl Kesselman and Eric Van de Velde for guidance support and inspiration
The distributed linear algebra library described in this thesis was jointly developed with Tom Zavisca. We were able to work so well together because of his perseverance and sense of humor I would like to thank all those who have contributed to the development of CC++. This includes the entire Compositional Systems group at Caltech as well as many people at Argonne In particular I would like to thank John Garnett Tal Lancaster James Patton and Mei-Hui Su for their assistance in using the current implementations of CC++. I would like to thank Rajit Manohar Paul Sivilotti and John Thornley for discussion suggestions and proofreading. This research This research was supported in part by NSF CCR-9120008. I wish to thank Microsoft Green Hills, the Barry Goldwater Foundation and Caltech for supporting my education.
description: Submitted - 94-14.pdf
Submitted - 94-14.ps
Branchinella dubia
Creators: name: Rogers, D. Christopher
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Branchiopoda
Anostraca
Thamnocephalidae
Branchinella
Branchinella dubia

description: Branchinella dubia
AUSTRALIA: NORTHERN TERRITORY: Brunette Downs, 19 April 1970, 2 males, 2 females, P. Latz, det. M. Geddes, DCR­433.
description: Published as part of Rogers, D. Christopher, 2006, A genus level revision of the Thamnocephalidae (Crustacea: Branchiopoda: Anostraca), pp. 1-25 in Zootaxa 1260 on page 4, DOI: 10.5281/zenodo.173180
Caecum Fleming 1813
Creators: name: Raines, Bret K.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Littorinimorpha
Caecidae
Caecum

description: Caecum sp. B
Figures 124 A–E, 128H
Material examined. The following lots were examined. NHMLAC: LACM 1962 - 22.33, Cholla Bay, Port Penasco, Sonora, Mexico, intertidal, 1 sh.
Diagnosis. Teleoconch subcylindrical, with increase in diameter from posterior end to aperture. Surface semitranslucent white, sculptured with sinuous, longitudinal striae, crossed by canted axial lines. Septum mucronate, inflated. Aperture somewhat oblique, with slight swelling. Periostracum thin, semi-translucent tan.
Distribution and Habitat. Currently only represented by one specimen from Cholla Bay, Sonora, Mexico.
Remarks. Caecum sp. B is quite interesting and unique with its canted axial sculpture.
description: Published as part of Raines, Bret K., 2020, A Rosetta Stone for eastern Pacific Caecidae (Gastropoda: Caenogastropoda), pp. 1-146 in Zootaxa 4827 (1) on page 139, DOI: 10.11646/zootaxa.4827.1.1, http://zenodo.org/record/4402308
[Lettre d'Edouard Cadic à Jean Le Fustec]
[Lettre d'Edouard Cadic à Jean Le Fustec]
Creators: name: Cadic, Edouard (1858-1914)
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023

description: Au sujet d'Edmund Edward Fournier d'Albe et d'un déplacement à Paris.
description: Relation: https://bibnumcrbc.huma-num.fr/document/4652
description: Audience: Ar Fusteg, Yann (1855-1910)
description: Audience: http://www.wikidata.org/entity/Q3173077
description: 0001.jpg
description: 0002.jpg
description: 0003.jpg
description: 0004.jpg
Mach-Based Channel Library
Creators: name: Manohar, Rajit
name: Chandy, K. Mani
Publisher: name: California Institute of Technology
Year: 1994

description: [No Abstract]
description: © 1994 California Institute of Technology.

July 7, 1994.

I foremost want to thank my research advisor Prof K. Mani Chandy for his guidance and support I would like to thank the members of my research group-Peter Carlin, Peter Hofs-
tee, Svetlana Kryukova, K. Rustan M Leino, Berna Massingill, Adam Rifkin, Paul Sivilotti, John Thornley for comments constructive criticism and invaluable discussions.

This research was supported in part by Air Force Office of Scientific Research grant number 91-0070.
description: Submitted - 94-15.pdf
Submitted - 94-15.ps
Comparative Analysis of Control Observer-Based Methods for State Estimation of Lithium-Ion Batteries in Practical Scenarios
Creators: name: Saeed, Muhammad
name: Khalatbarisoltani, Arash
name: Deng, Zhongwei
name: Liu, Wenxue
name: Altaf, Faisal
name: Lu, Shuai
name: Hu, Xiaosong
Publisher: name: arXiv
Year: 2024
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: The reliability, lower computational complexity, and ease of implementation of control observers make them one of the most promising methods for the state estimation of Li-ion batteries (LIBs) in commercial applications. To pave their way, this study performs a comprehensive and systematic evaluation of four main categories of control observer-based methods in different practical scenarios considering estimation accuracy, computational time convergence speed, stability, and robustness against measurement uncertainties. Observers are designed using a second-order equivalent circuit model whose observability against different scenarios is rigorously investigated to verify the feasibility of the proposed analysis. Established techniques then are validated against driving datasets and their comparative usefulness is evaluated using an experimental setup. The analysis also evaluates the adaptability of different techniques to electric vehicle field data. The results indicate better accuracy, stability, robustness, and faster convergence for the PI and PID, while the estimations of the Luenberger observers find it hard to converge against highly dynamic loadfiles. Moreover, this study also discusses the sensitivity of observer-based techniques to battery ohmic polarization and voltage-related measurement uncertainties. The most remarkable contribution of the proposed study lies in providing guidance for researchers when choosing the control observers for online state estimation of LIBs.
Pustet Taschenmeßbuch. Für alle Sonn- und Feiertage
Creators: name: Schmitz, J.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 17 (1976): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 17
Dentimargo kalimnae Darragh 2024, comb. nov.
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Marginellidae
Dentimargo
Dentimargo kalimnae

description: Dentimargo kalimnae (Chapman and Crespin, 1933) comb. nov.
Marginella kalimnae Chapman and Crespin, 1933: 73, pl. 5, fig. 12.— Cotton, 1949b: 217, pl. 18.
Distribution. Gippsland Basin: Jemmys Point Formation (type). Age: early Pliocene.
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 115, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
A Development Methodology for Concurrent Programs
Creators: name: Chow, Bryan
name: Fyfe, Andrew
name: Maskit, Daniel
name: Taylor, Stephen
name: Watts, Jarrell R.
name: Zadik, Yair
Publisher: name: California Institute of Technology
Year: 1994

description: This paper describes a development methodology for the design of concurrent programs that provides a migration path from existing sequential C and FORTRAN programs. These programs may be executed immediately, without change, using the entire physical memory of a distributed memory machine or a network of ATM-coupled shared-memory multiprocessors. Subsequent program refinements may involve data and control decomposition together with explicit message passing to improve performance. Each step in the program development may utilize new hardware mechanisms supporting shared memory, segmentation and protection. The ideas presented in this paper are currently being implemented within the Multiflow compiler which is being targetted for the M-Machine. Although the examples we present use the C programming language, the concepts will also be available in FORTRAN.
description: © 1994 California Institute of Technology.

September 16, 1994.

The research described in this report is sponsored primarily by the Advanced Research Projects Agency, ARPA Order number 8176, and monitored by the Office of Naval Research under contract number N00014-91-J-1986.
description: Submitted - 94-16.pdf
Submitted - 94-16.ps
Branchinella hattahensis
Creators: name: Rogers, D. Christopher
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Branchiopoda
Anostraca
Thamnocephalidae
Branchinella
Branchinella hattahensis

description: Branchinella hattahensis
AUSTRALIA: QUEENSLAND: Mid Kaponyee Lake, Currawinya National Park, December 1999, 2 males, 2 females, B. V. Timms, DCR­275.
description: Published as part of Rogers, D. Christopher, 2006, A genus level revision of the Thamnocephalidae (Crustacea: Branchiopoda: Anostraca), pp. 1-25 in Zootaxa 1260 on page 4, DOI: 10.5281/zenodo.173180
Optimized Computer-Generated Motions for Animation
Creators: name: Goldsmith, Jeff
Publisher: name: California Institute of Technology
Year: 1994

description: Computer programmers working on computer animation have long been trying to solve the problem of how to move objects in user-desired ways with a minimum of user interaction. Objects moving from one place to another move along a path often determined by a spline. We would like to be able to allow the user a specify a characteristic of the object's motion and the animation system to choose a motion path that evidences that characteristic. We develop an approach using constrained optimization that will create paths. Some interesting motions have been found. We describe the effects obtainable from this method so that an animator can sensibly choose between them. We found that minimization of the covariant acceleration of all the points in a body leads to motion that is attractive. This motion seems to cause the moving body to anticipate its motion path in order to prevent sudden moves. It also seems to create very fluid-appearing motions because it tries to avoid sharp turns and sudden stops.
description: © Jeff Goldsmith All Rights Reserved. 1994 California Institute of Technology.

I Would like to thank the entire Caltech Graphics Group for their help and for the environment in which this work was done. In particular, Bena Currin gave perceptive comments and did a wonderful critical reading of the manuscript. Al Barr was my advisor throughout the project and was instrumental in determining the direction of our searvh. Dave Kirk shared his experience in optimization.

David Laidlaw gave me great advice that I wish I had followed more often. Ronen Barzel created the TeX macros and thesis environment that made putting this paper together easy. Mani Chandy gave me the moral support and confidence to finish this project. Without his generosity, I would not even have begun this project, and certainly not have finished it. Thanks, everybody. Also thanks to the Society of Motion Picture and Television Engineers for their generous support during my time at Caltech. This work was supported in part by grants from Apple DEC, Hewlett Packard, and IBM. Additional support was provided by NSF (ASC-89-20219), as part of the NSF/DARPA STC for Computer Graphics and Scientific Visualization. All opinions, findings, conclusions, or reconmendations expressed in this document are those of the author and do not necessarily reflect the views of the sponsoring agencies.
description: Submitted - 94-18.pdf
Submitted - 94-18.ps
Volks-Schott für das Lesejahr B. Hg. v. d. Benediktinern d. Erzabtei Beuron
Creators: name: Schmitz, J.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 17 (1976): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 17
Athyma kanwa subsp. phorkys
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
Athyma
Athyma kanwa
Athyma kanwa phorkys (fruhstorfer, 1913)

description: 518. Athyma kanwa phorkys (Fruhstorfer, 1913) *
Published records: Varshney & Smetacek, 2015: 196.
Sighting locality: 4, 27, 66.
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 67, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Synchronizing Processes
Creators: name: Hofstee, H. Peter
Publisher: name: California Institute of Technology
Year: 1994

description: In this monograph we develop a mathematical theory for a concurrent language based on angelic and demonic nondeterminism. An underlying model is defined with sets of sets of sequences of synchronization actions. A refinement relation is defined for the model, and equivalence classes under this relation are identified with processes. Processes, together with the refinement relation, form a complete distributive lattice. We define a language with parallel composition, sequential composition, angelic and demonic nondeterminism, and an operator that connects pairs of synchronization actions into synchronization statements and hides these actions from observation. Also, angelic and demonic iteration are defined. All operators are monotonic with respect to the refinement ordering. Many algebraic properties are proven from these definitions. We study duals of processes and prove that they can be related to the most demonic environment in which a process will not deadlock. We give a simple example to illustrate the use of duals. We study classes of programs for which angelic choice can be implemented by probing the environment for its next action. To this end specifications of processes are extended with simple conditions on the environment. We give a more elaborate example to illustrate the use of these conditions and the compositionality of the method. Finally we briefly introduce an operational model that describes implementable processes only. This model mentions probes explicitly. Such a model may form a basis for a language that is less restrictive than ours, but that will also have less attractive algebraic properties.
description: © 1995 H. Peter Hofstee. All rights reserved. California Institute of Technology.

The research described in this thesis was funded in part by two I.B.M. graduated fellowships, the Advanced Research Projects Agency, and the Air Force under grant AFOSR91-0070. I thank them all for their support.
description: Submitted - 94-19.pdf
Submitted - 94-19.ps
Thaumatodryinus R. Perkins 1905
Creators: name: Olmi, Massimo
name: Copeland, Robert S.
name: Noort, Simon Van
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Dryinidae
Thaumatodryinus

description: 12. Genus Thaumatodryinus R. Perkins, 1905
Thaumatodryinus R. Perkins 1905: 58; Kieffer in Kieffer & Marshall 1906: 490; Kieffer 1914b: 16; Krombein 1952: 97; 1958: 98; 1979: 1243; Olmi 1984: 683; 1993b: 61; Virla & Olmi 2008: 370; Moya Raygoza & Olmi 2010: 98; Azevedo et al. 2010: 892; Xu et al. 2013: 242; Olmi & Virla 2014: 325; Tribull 2015: 20.
Type species. Thaumatodryinus koebelei R. Perkins 1905, by original designation.
Diagnosis. ♀ (Figs 156C, D) and ♂ (Figs 157A, B): see above diagnosis of the subfamily Thaumatodryininae.
Distribution. Worldwide, except Palaearctic region.
Hosts. Flatidae (Guglielmino et al. 2013).
World species. 33 species are known, ten in the Afrotropical region.
Remarks. One fossil species (Thaumatodryinus miocenicus Olmi 1995) was described in amber from the Dominican Republic. Brues (1923, 1933) described three fossil species of Thaumatodryinus from Baltic amber; they are now attributed to Harpactosphecion Haupt.
description: Published as part of Olmi, Massimo, Copeland, Robert S. & Noort, Simon Van, 2019, Dryinidae of the Afrotropical region (Hymenoptera, Chrysidoidea), pp. 1-619 in Zootaxa 4630 (1) on page 382, DOI: 10.11646/zootaxa.4630.1.1, http://zenodo.org/record/3336635
Athyma larymna subsp. siamensis Fruhstorfer 1906
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
Athyma
Athyma larymna
Athyma larymna siamensis fruhstorfer,1906

description: 519. Athyma larymna siamensis Fruhstorfer,1906
Published records: Tytler, 1915a: 508; Gupta, 2004: 558; Van Gasse, 2013; Varshney & Smetacek, 2015: 196.
Remarks: Not recorded during the study.
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 67, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Low-Energy Asynchronous Memory Design
Creators: name: Tierno, Jose A.
name: Martin, Alain J.
Publisher: name: California Institute of Technology
Year: 1994
Subjects: Low energy
low power
asynchronous design
memory design

description: We introduce the concept of energy per operation as a measure of performance of an asynchronous circuit. We show how to model energy consumption based on the high-level language specification. This model is independent of voltage and timing considerations. We apply this model to memory design. We show first how to dimension a memory array, and how to break up this memory array into smaller arrays to minimize the energy per access. We then show how to use cache memory and pre-fetch mechanisms to further reduce energy per access.
description: © 1994 California Institute of Technology.

The research described in this paper was sponsored by the Advanced Research Projects Agency ARPA Order number 6202 and monitored by the Office of Naval Research under contract number N00014-87-K-0745.
description: Submitted - 94-21.pdf
Submitted - 94-21.ps
МАЪМУРИЙ ЖАЗО ЧОРАЛАРИНИ ҚЎЛЛАШ ФАОЛИЯТИНИ ТАКОМИЛЛАШТИРИШДАГИ ИСЛОҲОТЛАР ЖАРИМА ЖАЗО ТУРИ МИСОЛИДА
Creators: name: Жўраев, Ҳасан
name: Ниматов, Шерзод
Publisher: name: Zenodo
Year: 2025

description: Сўнгги йилларда мамлакатимизда амалга оширилаётган ҳуқуқий ислоҳотлар инсон ҳуқуқ ва манфаатларини таъминлаш билан биргаликда жамиятда қонун устуворлигини мустаҳкамлашга ҳам қаратилган.
Branchinella lamellata
Creators: name: Rogers, D. Christopher
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Branchiopoda
Anostraca
Thamnocephalidae
Branchinella
Branchinella lamellata

description: Branchinella lamellata
AUSTRALIA: SOUTH AUSTRALIA: Paratype, Claypan near Warburton Crossing, Clifton Hills Station, 27° 02’S 138° 53’E, 5 December 2000, 1 male, B. V. Timms, DCR­ 353.
description: Published as part of Rogers, D. Christopher, 2006, A genus level revision of the Thamnocephalidae (Crustacea: Branchiopoda: Anostraca), pp. 1-25 in Zootaxa 1260 on page 4, DOI: 10.5281/zenodo.173180
Adryinus Olmi 1984
Creators: name: Olmi, Massimo
name: Copeland, Robert S.
name: Noort, Simon Van
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Dryinidae
Adryinus

description: 13. Genus Adryinus Olmi, 1984
Adryinus Olmi 1984: 1126; 1993b: 78; Olmi et al. 2000: 153; He & Xu 2002: 297; Moya-Raygoza & Olmi 2010: 99; Xu et al. 2013: 337; Olmi & Virla 2014: 338.
Type species. Adryinus cerrutii (Benoit 1951), by original designation.
Diagnosis. ♀: Fully winged (Figs 162A, B); palpal formula 6/3; antenna with ADOs; pronotum crossed by strong transverse furrow (Figs 162B, 164C); notauli absent; enlarged claw with one subapical tooth and lamellae, or peg–like setae, or bristles (Figs 163A, B); tibial spurs 1/0/1. ♂: Unknown.
Distribution. Afrotropical, Oriental, Nearctic, Neotropical.
Hosts. Unknown.
World species. 12 species are known, eight in the Afrotropical region.
description: Published as part of Olmi, Massimo, Copeland, Robert S. & Noort, Simon Van, 2019, Dryinidae of the Afrotropical region (Hymenoptera, Chrysidoidea), pp. 1-619 in Zootaxa 4630 (1) on page 400, DOI: 10.11646/zootaxa.4630.1.1, http://zenodo.org/record/3336635
An Energy-Complexity Model for VLSI
Creators: name: Tierno, José Andrés
Publisher: name: California Institute of Technology
Year: 1995

description: An energy complexity model for CSP programs to be implemented in CMOS VLSI is developed. This model predicts with some accuracy the energy dissipation of the "standard" asynchronous VLSI implementation of a CSP program, associated to a given trace of that program. This energy complexity is used in the analysis of CSP programs, in order to optimize this high level representation of asynchronous circuits for energy efficiency. A lower bound to the energy complexity of a CSP program is derived, based on the information theoretical entropy per symbol of the input/output behavior of the CSP program. This lower bound abstracts the specification of the circuit (that is, its input/output behavior), from the implementation of the specification (that is, the text of the program), and therefore applies to any program that meets the specification. A number of techniques are presented to write programs of low energy complexity, and are applied to several examples. To link the high level representation of circuits to the CMOS representation, several circuits are analyzed to provide standard translations for basic CSP operators into CMOS. In particular, a method for pipelining bus transfers using the sense-amplifier of the bus as a register is proposed.
description: © 1995 José Andrés Tierno All Rights Reserved California Institute of Technology.

After six years of toil the journey is over. Caltech was for me an incredible experience, for its people, its traditions, and its enormous accumulated wealth of scientific knowledge. I must thank all of the Caltech community, for all that I learned from them either directly or indirectly. From none did I learn more, however, than from Alain Martin. For six years he patiently guided my research, and taught me most of what I know about concurrency and asynchronous design. A lot of other people has to be especially mentioned, because things would have been different without them. I want to thank Chuck Seitz, for having introduced me to the black magic of VLSI. I want to thank Drazen Borkovic, for having patiently listened to my ramblings for so many years. I want to thank Marcel van der Goot, for his programs, his LATEXmacros, and many very stimulating conversations around a dictionary. I want to thank Tony Lee, for his wonderful CAD tools, and his incredible energy to fix what didn't work right or do enough. I want to thank Peter Hofstee, for all the lunch time discussions. I want to thank Jessie Xu, for teaching me some Chinese characters and a little patience. I want to thank Wen-King Su for the Friday night movies. I want to thank all of the CS185 students, for all of what they taught me. Finally, a very special thanks to Mr. Oshima, for teaching me that of a one thousand mile journey nine hundred and ninety nine is only half.
description: Submitted - 95-02.pdf
Submitted - 95-02.ps
Caecum Fleming 1813
Creators: name: Raines, Bret K.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Littorinimorpha
Caecidae
Caecum

description: Caecum sp. C
Figures 125 A–E, 128I
Material examined. The following lots were examined. BCD: San Carlos Bay, Guaymas, Sonora, Mexico, 32 m, 2 sh.
Diagnosis. Teleoconch pod-like, with maximum diameter centrally. Dorsal margin convex, slightly flattened centrally. Anterior ventral margin rather flat. Surface semi-translucent white, smooth with only fine axial growth lines. Septum mucronate, well-inflated, with blunt mucro. Aperture oblique, simple without a varix.
Distribution and Habitat. Currently only represented by two specimens from San Carlos Bay, Sonora, Mexico.
Remarks. Caecum sp. C could potentially be a Mauroceras, which would make it the first and only one known within the eastern Pacific. However, additional research is required to confirm its placement.
Quick Reference Tool
Illustrated in Figs. 126–128 are typical examples of each species arranged next to their closest eastern Pacific congener (if any). The images in this section are not to scale.
description: Published as part of Raines, Bret K., 2020, A Rosetta Stone for eastern Pacific Caecidae (Gastropoda: Caenogastropoda), pp. 1-146 in Zootaxa 4827 (1) on pages 139-140, DOI: 10.11646/zootaxa.4827.1.1, http://zenodo.org/record/4402308
title: Rapport de voyage, Andromède (1911) : Ligne de Nouvelle-Calédonie, 1931, voyage n°1
Creators: name: Guerrini, Dominique
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
description: Source: French Lines & Compagnies, 1997 002 3936-16
description: Coverage: 1930-08-15/1931-03-20
Inglisella turriculata
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Cancellariidae
Inglisella
Inglisella turriculata

description: Inglisella turriculata (Tate, 1889)
Cancellaria turriculata Tate, 1889: 156, pl. 10, fig. 14.
Inglisella turriculata (Tate, 1889).— Ludbrook, 1973: pl. 25, fig. 28.
Distribution. St Vincent Basin: Blanche Point Formation (type). Otway Basin: Browns Creek Formation. 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 116, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
Towards Reliable Modular Programs
Creators: name: Leino, K. Rustan M.
Publisher: name: California Institute of Technology
Year: 1995

description: Software is being applied in an ever-increasing number of areas. Computer programs and systems are becoming more complex and consisting of more delicately interconnected components. Errors surfacing in programs are still a conspicuous and costly problem. It's about time we employ some techniques that guide us toward higher reliability of practical programs. The goal of this thesis is just that. This thesis presents a theory for verifying programs based on Dijkstra's weakest-precondition calculus. A variety of program paradigms used in practice, such as exceptions, procedures, object orientation, and modularity, are dealt with. The thesis sheds new light on the theory behind programs with exceptions. It develops an elegant algebra, and shows it to be the foundation on which the semantics of exceptions rests. It develops a trace semantics for programs with exceptions, from which the weakest-precondition semantics is derived. It also proves a theorem on programming methodology relating to exceptions, and applies this theorem in the novel derivation of a simple program. The thesis presents a simple model for object-oriented data types, in which concerns have been separated, resulting in the simplicity of the model. To deal with large programs, this thesis takes a practical look at modularity and abstraction. It reveals a problem that arises in writing specifications for modular programs where previous techniques fail. The thesis introduces a new specification construct that solves that problem, and gives a formal proof of soundness for modular verification using that construct. The model is a generalization of Hoare's classical data refinement. However, there are more problems to be solved. The thesis reports on some of these problems and suggests some future directions toward more reliable modular programs.
description: © 1995 Leino K.R.M. California Institute of Technology.

Submitted 5 January, 1995.
description: Submitted - 95-03.pdf
Submitted - 95-03.ps
Branchinella longirostris
Creators: name: Rogers, D. Christopher
Publisher: name: Zenodo
Year: 2006
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Branchiopoda
Anostraca
Thamnocephalidae
Branchinella
Branchinella longirostris

description: Branchinella longirostris
AUSTRALIA: WESTERN AUSTRALIA: King Rock, via Hyden, 28 August 2001, 2 males, 2 females, B. V. Timms, DCR­463.
description: Published as part of Rogers, D. Christopher, 2006, A genus level revision of the Thamnocephalidae (Crustacea: Branchiopoda: Anostraca), pp. 1-25 in Zootaxa 1260 on page 4, DOI: 10.5281/zenodo.173180
Maximal Steered Coherence in Accelerating Unruh-DeWitt Detectors
Creators: name: Li, Hong-Wei
name: Fan, Yi-Hao
name: Shen, Shu-Ting
name: Yan, Xiao-Jing
name: Li, Xi-Yun
name: Zhong, Wei
name: Sheng, Yu-Bo
name: Zhou, Lan
name: Du, Ming-Ming
Publisher: name: arXiv
Year: 2024
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quantum coherence, a fundamental aspect of quantum mechanics, plays a crucial role in various quantum information tasks. However, preserving coherence under extreme conditions, such as relativistic acceleration, poses significant challenges. In this paper, we investigate the influence of Unruh temperature and energy levels on the evolution of maximal steered coherence (MSC) for different initial states. Our results reveal that MSC is strongly dependent on Unruh temperature, exhibiting behaviors ranging from monotonic decline to non-monotonic recovery, depending on the initial state parameter. Notably, when Δ=1, MSC is generated as Unruh temperature increases. Additionally, we observe that higher energy levels help preserve or enhance MSC in the presence of Unruh effects. These findings offer valuable insights into the intricate relationship between relativistic effects and quantum coherence, with potential applications in developing robust quantum technologies for non-inertial environments.
description: 6 pages, 2 figures
Parallel Programming Archetypes in Combinatorics and Optimization
Creators: name: Kryukova, Svetlana A.
Publisher: name: California Institute of Technology
Year: 1995

description: A Parallel Programming Archetype is a language-independent program design strategy. We describe two archetypes in combinatorics and optimization, their components, implementations, and example applications developed using an archetype.
description: © 1995 California Institute of Technology.

June 12, 1995.

Many thanks to Mani Chandy whose guidance and encouragement as my research advisor was very much appreciated. Also I would like to thank the other members of Compositional Systems Research Group - Berna Massingill Adam Rifkin, Eve Schooler, Paul Massingill, Adam Siviloti. John Thornley - for valuable discussions, comments and suggestions. I wish to thank Caltech and Green Hills for supporting my education. Last, but not least, I would like to thank my husband, Anatoly, for his loving support.
This research was supported in part by AFOSR grant F49620-94-1-0244 and by the NSF under Cooperative Agreement No. CCR-9120008.
description: Submitted - 00/95-06.ps
Submitted - 95-06.pdf
A General Approach to Performance Analysis and Optimization of Asynchronous Circuits
Creators: name: Lee, Tak Kwan
Publisher: name: California Institute of Technology
Year: 1995

description: A systematic approach for evaluating and optimizing the performance of asynchronous VLSI circuits is presented. Index-priority simulation is introduced to efficiently find minimal cycles in the state graph of a given circuit. These minimal cycles are used to determine the causality relationships between all signal transitions in the circuit. Once these relationships are known, the circuit is then modeled as an extended event-rule system, which can be used to describe many circuits, including ones that are inherently disjunctive. An accurate indication of the performance of the circuit is obtained by analytically computing the period of the corresponding extended event-rule system.
description: © 1995 California Institute of Technology.

Submitted May 18, 1995.

I wish to express my gratitud to Alain Martin for being my mentor and guide; to Steve Burns for laying clown the foundation; to Yaser Abu-Mostafa, Steve Burns, Mani Chandy, Rodney Goodman, and Alain Martin for being on my defense committee and giving me their valuable comments;
to Chuck Seitz for teaching me bow to design my very first chip; to ARPA and the Intel Foundation for generously funding my research; to Alain, Stern, Pieter Hazewindus, Drazen Borković, Marcel van der Goot, Jose Tierno, Christian Nielsen, Jessie Xu, James Cook, Peter Hofstee, Mika Nystroem, Andrew Lines, Rajit Manohar, and the other
members of the Friday morning group for all the insightful discussions; to Arlene DesJardins, Wen-King Su, Chris Lee, Cindy Ferrini, Patty Renstrom, Gail Stowers, and Diane Goodfellow for always being so helpful; to the rest of the Caltech community, especially my ex-officemate Jakov
Seizović, for making my stay as enjoyable and rewarding as it has been; to Kathleen, Claire, Denise, Geraldine, Davis, Rachelle, Steven, Jaime, Bê, E.T., Brandon, Huong, Minh, Huy, the CSULA social dance club, and many others for providing me with a "life" outside campus; to Tammy and the Chuchen family for their support and encouragement; to Becky, Tom and Ashley for putting up my escapades over the years; and most importantly, to my parents for making it all possible.
description: Submitted - 95-07.pdf
Submitted - 95-07.ps