History of the transmission of ancient books to modern times; with The process of historical proof...

Mode of access: Internet.

Opportunity still knocks; a decade of living proof of the opportunities in our American way of life.

Mode of access: Internet.

Catalogue of European vines, with their synonyms and brief descriptions; comp. by Mr. E.B. Heyne, from the ampelographies of Count Odart and Rendu, and the works of Babo, Hogg, and Mackintosh; continued from Portuguese treatises on vines and wine making; also some account of phylloxera-proof vines, and others indigenous to the United States found profitable for wine making. By Rev. John I. Bleasdale.

Mode of access: Internet.

Soul science; the proof of life after death,

Mode of access: Internet.

Initiation of fungal epizootics in diamondback moth populations within a large field cage: proof of concept for auto-dissemination

Adult diamondback moths (DBM), Plutella xylostella L. (Lepidoptera: Plutellidae), inoculated with the fungus Zoophthora radicans, were released within a large field cage containing DBM-infested potted broccoli plants. Larvae and pupae on exposed and caged control plants were examined on five occasions over the next 48 days for evidence of Z. radicans infection. Infected larvae were first detected on exposed plants 4 days after the initial release of adults, and after 48 days the infection level reached 79%. Aerially borne conidia were a factor in transmission of the fungus. Infection had no effect on possible losses of larval and adult cadavers due to scavengers in field crops. In a trial to measure the influence of infection on dispersal, twice as many non-infected as infected males were recaptured in pheromone traps, although the difference in cumulative catch only became significant 3 days after release of the males. In a separate experiment, when adult moths were inoculated with Beauveria bassiana conidia and released into the field cage, DBM larvae collected from 37 of 96 plants sampled 4 days later subsequently died from B. bassiana infection. The distribution of plants from which the infected larvae were collected was random, but the distribution of infected larvae was clustered within the cage. These findings suggest that the auto-dissemination of fungal pathogens may be a feasible strategy for DBM control, provided that epizootics can be established and maintained when DBM population densities are low.

A simple proof of the strong subadditivity inequality

Arguably the deepest fact known about the von Neumann entropy, the strong subadditivity inequality is a potent hammer in the quantum information theorist's toolkit. This short tutorial describes a simple proof of strong subadditivity due to Petz [Rep. on Math. Phys. 23 (1), 57-65 (1986)]. It assumes only knowledge of elementary linear algebra and quantum mechanics.

Flexible proof reuse for software verification

Proof reuse, or analogical reasoning, involves reusing the proof of a source theorem in the proof of a target conjecture. We have developed a method for proof reuse that is based on the generalisation replay paradigm described in the literature, in which a generalisation of the source proof is replayed to construct the target proof. In this paper, we describe the novel aspects of our method, which include a technique for producing more accurate source proof generalisations (using knowledge of the target goal), as well as a flexible replay strategy that allows the user to set various parameters to control the size and the shape of the search space. Finally, we report on the results of applying this method to a case study from the realm of software verification.

The production of male of-only offspring in beef cattle - a proof of principle project

The Australian beef industry places the greatest value in bulls, in comparison to cows, for prime beef production. Male carcasses can be sold for a larger profit due to their increased muscle mass. This project aims to demonstrate the feasibility of producing male animals that can sire male only offspring, through a transgenic approach in mice that could later be translated into livestock production systems. The mouse Sry (Sex determining region on the Y) gene has been shown to provide the initiating molecular signal leading to male sex determination in mammals. Sry has also been shown to cause sex reversal in XX mice transgenic for the gene. In this project Sry will be targeted to a locus not subject to X-inactivation on the X chromosome of XY mice. These mice will be bred to determine how the transgene is passed on, to determine expression of the transgene, and to assess its activity in causing XX sex reversal. The male mice transgenic for the Sry gene on their X chromosome will be produced using tetraploid aggregation, which in a single step produces 100% ES cell derived embryos. The same target locus can later be used to introduce the bovine SRY gene onto the X chromosome of bovidae species and using germ cell transplantation produce sex reversed animals. This would bypass the need for expensive chimera crosses and provide farmers with a stud bull capable of producing only sons.