Reproduction in Gammarus (Crustacea, Amphipoda): basic processes

Research on the basic reproduction processes of Gammarus is summarized and reviewed, reproductive strategies in males and females being left to two later papers. The author describes the reproductive systems, the development of eggs (oocytes) in the ovaries, courtship and precopulatory amplexus, mating and the production of sperms, egg laying, mortality and diapause

British freshwater Malacostracan

This short divertissement touches lightly on the vagaries of vernacular names for culinary and other crustaceans, gives a thumbnail sketch of the distribution of the common and less well-known freshwate

Reproduction in Gammarus (Crustacea, Amphipoda): female strategies

This paper attempts to review the literature on Gammarus and examine how it allocates its internal resources when producing eggs. There is an extensive literature on the fecundity of freshwater species but almost nothing is known about the sizes and energy contents of the eggs. More is known for saltwater species, in which the mean number of eggs per brood is inversely proportional to mean egg size and directly proportional to the female's body size. Theoretical aspects of egg size, numbers and reproductive effort are examined, along with the relation between sizes of eggs, broods and female body size. The reproductive effort and breeding cycles of both saltwater and freshwater species are reviewed, and reproductive strategies assessed

Drilling system design project 1967: final report of frame design committee

This report outlines the recommendations of the Frame Design Committee for the final design of the machine, each major part of the structure being considered individually in the following sections : 1. Worktables 2. Guide and Slideways 3. Drill Head Support Structure 4. Swarf Disposal and Coolant Supply 5. General Constructio

Rapid Design and Manufacture of Ultralight Cellular Materials

This paper details the design, manufacture and testing of regular metallic lattice structures with unit cell sizes in the range 0.8mm to 5mm and truss elements of 100-500 µm in diameter [1]. The structures were manufactured using Selective Laser Melting (SLM) technology from 316L stainless steel. Compression tests have shown yield loadings of over 3.5kN despite being only 18mm by 18mm by 10mm in height, the results are favourably comparable to current commercially available metallic foams. Software has been developed that creates slice files without the use of CAD software or STL files and is capable of producing lattices within a volume defined by a STL file.Mechanical Engineerin

Further observations on the breeding and migration of the Bermuda spiny lobster, Panulirus argus

Some results of investigations of breeding, distribution, and migration of Panulirus argus in Bermuda during 1951 and 1952 are given. A graphic schedule of breeding events for females includes the times of appearance of the first and second spermatophores and the first and second eggs

Premise Selection and External Provers for HOL4

Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine learning-based premise selection and automated reasoning also for HOL4. We efficiently record the HOL4 dependencies and extract features from the theorem statements, which form a basis for premise selection. HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof formats, which are then processed by the ATPs. We discuss the different evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure the performance of HOLyHammer on the HOL4 standard library. The results are combined accordingly and compared with the HOL Light experiments, showing a comparably high quality of predictions. The system directly benefits HOL4 users by automatically finding proofs dependencies that can be reconstructed by Metis

Faulty assumptions for repository requirements

Long term performance requirements for a geologic repository for spent nuclear fuel and high-level waste are based on assumptions concerning water use and subsequent deaths from cancer due to ingesting water contaminated with radio isotopes ten thousand years in the future. This paper argues that the assumptions underlying these requirements are faulty for a number of reasons. First, in light of the inevitable technological progress, including efficient desalination of water, over the next ten thousand years, it is inconceivable that a future society would drill for water near a repository. Second, even today we would not use water without testing its purity. Third, today many types of cancer are curable, and with the rapid progress in medical technology in general, and the prevention and treatment of cancer in particular, it is improbable that cancer caused by ingesting contaminated water will be a sign&ant killer in the far future. This paper reviews the performance requirements for geological repositories and comments on the difficulties in proving compliance in the face of inherent uncertainties. The already tiny long-term risk posed by a geologic repository is presented and contrasted with contemporary every day risks. A number of examples of technological progress, including cancer treatments, are advanced. The real and significant costs resulting from the overly conservative requirements are then assessed. Examples are given of how money (and political capital) could be put to much better use to save lives today and in the future. It is concluded that although a repository represents essentially no long-term risk, monitored retrievable dry storage (above or below ground) is the current best alternative for spent fuel and high-level nuclear waste

Thirty Years On: Reflections on Haydn’s “Farewell” Symphony by James Webster

It has been just over thirty years since James Webster published his influential monograph Haydn’s “Farewell” Symphony and the Idea of Classical Style: Through-Composition and Cyclic Integration in His Instrumental Music (Cambridge University Press, 1991). To honor the anniversary of Webster’s groundbreaking book, the Encounters with Eighteenth-Century Music: A Virtual Forum steering committee asked L. Poundie Burstein, Elaine Sisman, and W. Dean Sutcliffe to offer perspectives on the book, and James Webster to respond to their perspectives. The interesting online session occurred on Tuesday, October 18, 2022, and included a lively open discussion following the presentations and Webster’s response. The three presenters and Webster graciously consented to publish their perspectives and response in this article to inaugurate the 2023 “Farewell” volume of HAYDN: Online Journal of the Haydn Society of North America