4,143 research outputs found
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
Recommended from our members
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
Recommended from our members
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
- …