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

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

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

Baby Skyrme models for a class of potentials

We consider a class of (2+1) dimensional baby Skyrme models with potentials that have more than one vacum. These potentials are generalisation of old and new baby Skyrme models;they involve more complicated dependence on phi_3.We find that when the potential is invariant under phi_3 -> -phi_3 the configuration corresponding to the baby skyrmions lying "on top of each other" are the minima of the energy. However when the potential breaks this symmetry the lowest field configurations correspond to separated baby skyrmions. We compute the energy distributions for skyrmions of degrees between one and eight and discuss their geometrical shapes and binding energies. We also compare the 2-skyrmion states for these potentials. Most of our work has been performed numerically with the model being formulated in terms of three real scalar fields (satisfying one constraint).Comment: LaTeX, 14 pages, 10 figure

Numerical Investigation of Monopole Chains

We present numerical results for chains of SU(2) BPS monopoles constructed from Nahm data. The long chain limit reveals an asymmetric behavior transverse to the periodic direction, with the asymmetry becoming more pronounced at shorter separations. This analysis is motivated by a search for semiclassical finite temperature instantons in the 3D SU(2) Georgi-Glashow model, but it appears that in the periodic limit the instanton chains either have logarithmically divergent action or wash themselves out.Comment: 14 pages, 6 figures; v2 minor changes, published versio