Questioned document problems, the discovery and proof of the facts.

Bibliography: p. [541]-549.

The chemical composition of the plant as further proof of the close relation between antagonism and cell permeability /

Thesis (Ph.D.)--University of California, Berkeley, 1917.

Proof of the genuineness of the writings of the New Testament : for intelligent readers of all classes /

Mode of access: Internet.

Proof of the pudding : autobiography of John Harmon Nichols /

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.

Soul science; the proof of life after death,

Mode of access: Internet.

Non-invasive Detection of Cortical Control Signals for Brain-Computer Interfaces

Thesis (Ph.D.)--University of Washington, 2016-05

Plant-based immunocontraceptive control of wildlife - "potentials, limitations, and possums"

Possums (Trichosurus vulpecula), originally introduced from Australia, are spread over 90% of New Zealand and cause major economic and environmental damage. Immunocontraception has been suggested as a humane means to control them. Marsupial-specific reproductive antigens expressed at high levels in edible transgenic plant tissue might provide a safe, effective, and cheap oral delivery bait for immuno-contraceptive control. As proof of concept, female possums vaccinated with immunocontraceptive antigens showed reduced fertility, and possums fed with potato-expressed heat labile toxin-B (LT-B) had mucosal and systemic immune responses to the antigen. This demonstrated that immunocontraception was effective in possums and that oral delivery in edible plant material might be possible. Nuclear transformation with reporter genes showed that transgenic carrot roots accumulate high levels of foreign protein in edible tissues, indicating their potential as a delivery vector. However, prior to attempts at large scale production, more effective immunocontraceptive antigen-adjuvant formulations are probably required before plant-based immunocontraception can become a major tool for immunocontraceptive control of overabundant vertebrate pests. (c) 2004 Elsevier Ltd. All rights reserved.

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.

Using machine vision classification to control access of animals to water

Invasive vertebrate pests together with overabundant native species cause significant economic and environmental damage in the Australian rangelands. Access to artificial watering points, created for the pastoral industry, has been a major factor in the spread and survival of these pests. Existing methods of controlling watering points are mechanical and cannot discriminate between target species. This paper describes an intelligent system of controlling watering points based on machine vision technology. Initial test results clearly demonstrate proof of concept for machine vision in this application. These initial experiments were carried out as part of a 3-year project using machine vision software to manage all large vertebrates in the Australian rangelands. Concurrent work is testing the use of automated gates and innovative laneway and enclosure design. The system will have application in any habitat throughout the world where a resource is limited and can be enclosed for the management of livestock or wildlife.

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.

Ontology ranking based on the analysis of concept structures

In view of the need to provide tools to facilitate the re-use of existing knowledge structures such as ontologies, we present in this paper a system, AKTiveRank, for the ranking of ontologies. AKTiveRank uses as input the search terms provided by a knowledge engineer and, using the output of an ontology search engine, ranks the ontologies. We apply a number of metrics in an attempt to investigate their appropriateness for ranking ontologies, and compare the results with a questionnaire-based human study. Our results show that AKTiveRank will have great utility although there is potential for improvement.

Neuronal network pharmacodynamics of GABAergic modulation in the human cortex determined using pharmaco-magnetoencephalography

Neuronal network oscillations are a unifying phenomenon in neuroscience research, with comparable measurements across scales and species. Cortical oscillations are of central importance in the characterization of neuronal network function in health and disease and are influential in effective drug development. Whilst animal in vitro and in vivo electrophysiology is able to characterize pharmacologically induced modulations in neuronal activity, present human counterparts have spatial and temporal limitations. Consequently, the potential applications for a human equivalent are extensive. Here, we demonstrate a novel implementation of contemporary neuroimaging methods called pharmaco-magnetoencephalography. This approach determines the spatial profile of neuronal network oscillatory power change across the cortex following drug administration and reconstructs the time course of these modulations at focal regions of interest. As a proof of concept, we characterize the nonspecific GABAergic modulator diazepam, which has a broad range of therapeutic applications. We demonstrate that diazepam variously modulates ? (4–7 Hz), a (7–14 Hz), ß (15–25 Hz), and ? (30–80 Hz) frequency oscillations in specific regions of the cortex, with a pharmacodynamic profile consistent with that of drug uptake. We examine the relevance of these results with regard to the spatial and temporal observations from other modalities and the various therapeutic consequences of diazepam and discuss the potential applications of such an approach in terms of drug development and translational neuroscience.

Clinical decision support system for point of care use: ontology driven design and software implementation

OBJECTIVES: The objective of this research was to design a clinical decision support system (CDSS) that supports heterogeneous clinical decision problems and runs on multiple computing platforms. Meeting this objective required a novel design to create an extendable and easy to maintain clinical CDSS for point of care support. The proposed solution was evaluated in a proof of concept implementation. METHODS: Based on our earlier research with the design of a mobile CDSS for emergency triage we used ontology-driven design to represent essential components of a CDSS. Models of clinical decision problems were derived from the ontology and they were processed into executable applications during runtime. This allowed scaling applications' functionality to the capabilities of computing platforms. A prototype of the system was implemented using the extended client-server architecture and Web services to distribute the functions of the system and to make it operational in limited connectivity conditions. RESULTS: The proposed design provided a common framework that facilitated development of diversified clinical applications running seamlessly on a variety of computing platforms. It was prototyped for two clinical decision problems and settings (triage of acute pain in the emergency department and postoperative management of radical prostatectomy on the hospital ward) and implemented on two computing platforms-desktop and handheld computers. CONCLUSIONS: The requirement of the CDSS heterogeneity was satisfied with ontology-driven design. Processing of application models described with the help of ontological models allowed having a complex system running on multiple computing platforms with different capabilities. Finally, separation of models and runtime components contributed to improved extensibility and maintainability of the system.