We put forward a framework for cosmology that combines the string landscape with no boundary initial conditions. In this framework, amplitudes for alternative histories for the universe are calculated with final boundary conditions only. This leads to a top down approach to cosmology, in which the histories of the universe depend on the precise question asked. We study the observational consequ...

The mechanization and automation of combination of logics, expressive ontologies and notions of context are prominent current challenge problems. I propose to approach these challenge topics from the perspective of classical higher-order logic. From this perspective these topics are closely related and a common, uniform solution appears in reach.

Malaria continues to be a great burden on both morbidity and mortality as well as economic development across the world. In highly endemic areas, such as Nigeria, malaria can claim hundreds of thousands of lives and millions of dollars yearly. Typically, when selecting intervention strategies to control malaria, research is focused on the cost-effectiveness and general applicability of individu...

Detecting multiple planes in images is a challenging problem, but one with many applications. Recent work such as J-Linkage and Ordered Residual Kernels have focussed on developing a domain independent approach to detect multiple structures. These multiple structure detection methods are then used for estimating multiple homographies given feature matches between two images. Features participat...

This paper introduces a systematic approach to organizing the discipline of clinical chemistry. The approach is called a top-down systems approach because it starts at the top with the most general concepts and works down through less general concepts to the most specific details and techniques. The hypothesis is that the discipline can be organized into hierarchical levels of functional proces...