Browsing by Publication Type "Preprint"
Now showing items 6988 of 137

Largescale pool fires
(20070329)A review of research into the burning behaviour of large pool fires and fuel spill fires is presented. The features which distinguish such fires from smaller pool fires are mainly associated with the fire dynamics at low ... 
Lax Logical Relations
(SPRINGERVERLAG, 2000)Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relations, they are preserved by the meanings ... 
A Logic for Parametric Polymorphism
(20031105)In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simplytyped calculus with recursion and arithmetic, our logic is a logic for System F. The logic permits the formal ... 
Logical Full Abstraction and PCF
(2000)We introduce the concept of logical full abstraction, generalising the usual equational notion. We consider the language PCF and two extensions with “parallel” operations. The main result is that, for standard ... 
A Logical View of Composition
(20031105)We define two logics of safety specifications for reactive systems. The logics provide a setting for the study of composition rules. The two logics arise naturally from extant specification approaches; one of the logics ... 
Making connections and thinking through emotions: between geography and psychotherapy
(Institute of Geography; The School of Geosciences;The University of Edinburgh, 2005)The current upsurge of interest in emotions within geography has the potential to contribute to critical perspectives that question conventional limits to scholarship. Three precursors of emotional geographies are discussed ... 
Marxism and Multiculturalism.
(Institute of Geography. The School of Geosciences.The University of Edinburgh, 200608)Most current debate on multiculturalism revolves around fundamental conflicts within liberalism. The liberal hegemony has meant that the intense and detailed debates that accompanied the evolution of Marxist social ... 
Measurements of Smoke Characteristics in HVAC Ducts
(Springer, 2001)The characteristics of smoke traveling in an HVAC duct have been observed along with the response of selected duct smoke detectors. The simulated HVAC system consists of a 9 m long duct, 0.45 m in diameter. An exhaust ... 
Mechanisms Controlling the Degradation of Poly (methyl methacrylate) Prior to Piloted Ignition
(Elsevier and The Combustion Institute, 2002)Degradation of TypeG PMMA (Rohm and Haas) plates was studied prior to piloted ignition. The onset of pyrolysis was estimated by means of an infrared camera with an MMA filter, a small load cell, thermocouples, and flow ... 
Memento's Revenge: Objections and Replies to the Extended Mind
(2003)In the movie, Memento, the hero, Leonard, suffers from a form of anterograde amnesia that results in an inability to lay down new memories. Nonetheless, he sets out on a quest to find his wife’s killer, aided by the use ... 
Microgravity Laminar Diffusion Flame In A Perpendicular Fuel And Oxidizer Streams Configuration
(American Institute of Aeronautics and Astronautics, 2005)Fuel is injected through a porous flat plate perpendicular to a stream of oxidizer flowing parallel to the surface of the burner for regimes corresponding to fire scenario in spacecrafts. Particle Image Velocimetry is ... 
Modeling of OneDimensional Smoldering of Polyurethane in Microgravity Conditions
(The Combustion Institute, 200408)Results are presented from a model of forward smoldering combustion of polyurethane foam in microgravity. The transient onedimensional numericalmodel is based on that developed at the University of Texas at Austin. The ... 
Modeling with the Semantic Web in the Geosciences
(Institute of Geography. The School of Geosciences. The University of Edinburgh, 2006)Earth system science deals with complex systems that pose many significant representation challenges. As depicted in the classic Bretherton diagram of biospheric cycles (Figure 1), modeling the earth system involves ... 
Modelling heated composite floor slabs with reference to the Cardington experiments
(Elsevier, 2001)This paper describes a method of modelling composite floor slabs in fire conditions using a stressresultant approach. The FEAST suite, which consists of two main computer programs is described. The first, SRAS, is designed ... 
Modes of perceiving and imagining
(2000)We enjoy modes of sensory imagining corresponding to our five modes of perception  seeing, touching, hearing, smelling and tasting. An account of what constitutes these different modes of perseption needs also to explain ... 
NONCOMMUTATIVE LOCALIZATION AND CHAIN COMPLEXES I. ALGEBRAIC K AND LTHEORY
(20010918)The noncommutative (Cohn) localization (sigma)^−1 R of a ring R is defined for any collection (sigma) of morphisms of f.g. projective left Rmodules. We exhibit (sigma)^−1 R as the endomorphism ring of R in an appropriate ... 
Noncommutative localization in topology
(To appear in the Proceedings of the Conference on Noncommutative Localization in Algebra and Topology, ICMS, Edinburgh, 2930 April, 2002, 20030814)The topological applications of the Cohn noncommutative localization considered in this paper deal with spaces (especially manifolds) with infinite fundamental group, and involve localizations of infinite group rings ... 
Notions of Computation Determine Monads
(SPRINGERVERLAG, 2002)We model notions of computation using algebraic operations and equations. We show that these generate several of the monads of pri mary interest that have been used to model computational e ects, with the striking ... 
A novel spike distance
(2001)The discrimination between two spike trains is a fundamental problem, both for the experimentalist and for the nervous system itself. We introduce a measure for the distance between two spike trains. The distance has a ... 
On a Question of H. Friedman
(ACADEMIC PRESS INC, 1996)In this paper we answer a question of Friedman, providing an ωseparable model M of the λβηcalculus. There therefore exists an αseparable model for any α≥0. The model M permits no nontrivial enrichment as a partial ...