The series constitute ‘ideas in progress,’ after the notion described by I.J. Good in ‘The Scientist Speculates.’ Good also describes ideas about ideas as ‘partly baked ideas’ believing that “ ... it is often better to be stimulating and wrong than boring and right.” While the papers do not take this tenet as an excuse for licence at the expense of rigour, they are exploratory and the ideas may...

The logic underlying our current interpretations of all first-order formal languages—which provide the formal foundations for all computing languages—is Aristotle’s logic of predicates. I show, first, that a fundamental tenet of this logic, namely Aristotlean particularisation, is a subjective, and objectively unverifiable, postulation that is ‘stronger’ than the Axiom of Choice; and that, seco...

Future applications will require network services that offer performance guarantees. We refer to such services as “real-time”, and to network connections offering such guarantees as “real-time channels”. In this report, we discuss the service description and interfaces for a mechanism for the administration of real-time channels. We also describe the Real-Time Channel Administration Protocol (R...

The series constitute 'ideas in progress,' after the notion described by I.J. Good in 'The Scientist Speculates.' Good also describes ideas about ideas as 'partly baked ideas' believing that " ... it is often better to be stimulating and wrong than boring and right. " While the papers do not take this tenet as an excuse for licence at the expense of rigour, they are exploratory and the ideas ma...

Background The question of how one should choose among competing explanations of data is at the heart of the scientific enterprise. Computational models of cognition are increasingly being advanced as descriptions and explanations of behavior in the cognitive sciences. The success of this line inquiry depends on the availability of robust quantitative methods to guide the evaluation and selecti...

Another intuitive mission in this area is the study of erasure coding. The basic tenet of this approach is the synthesis of extreme programming. This is an important point to understand. Furthermore, the disadvantage of this type of approach, however, is that superblocks [3] and vacuum tubes can collude to surmount this issue. Although similar systems refine pervasive archetypes, we fix this is...

A tacit assumption in the design of most single cell neurophysiological research is the tenet that the electrical activity displayed by single elements must ultimately explain all behavioral responses of animals. While this assumption has been accepted a priori as a central working hypothesis by neurobiologists, not until recently has sufficient information regarding the properties of nerve cir...

The logic underlying our current interpretations of all first-order formal languages—which provide the formal foundations for all computing languages—is Aristotle’s logic of predicates. I review Rosser’s claim that Gödel’s reasoning can be recast to arrive at his intended result without the assumption of ω-consistency, since Rosser’s argument appeals to a fundamental tenet of this logic, namely...

A central tenet of close-contact or respiratory infection epidemiology is that infection patterns within human populations are related to underlying patterns of social interaction. Until recently, few researchers had attempted to quantify potentially infectious encounters made between people. Now, however, several studies have quantified social mixing behaviour, using a variety of methods. Here...

Despite the widely held belief that modem biological taxonomy is evolutionary, some of the most fundamental concepts and principles in the current system of biological nomenclature are based on a nonevolutionary convention that pre-dates widespread acceptance of an evolutionary world view by more than a century. The development of a phylogenetic system of nomenclature requires reformulating the...