Now showing items 69-88 of 136

  • Large-scale pool fires 

    Steinhaus, Thomas; Welch, Stephen; Carvel, Ricky O; Torero, Jose L (2007-03-29)
    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 

    Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert (SPRINGER-VERLAG, 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 

    Plotkin, Gordon; Abadi, Martin (2003-11-05)
    In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed -calculus with recursion and arithmetic, our logic is a logic for System F. The logic permits the formal ...
  • Logical Full Abstraction and PCF 

    Longley, John R; Plotkin, Gordon (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 

    Abadi, Martin; Plotkin, Gordon (2003-11-05)
    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 

    Bondi, Liz (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. 

    Glynn, Sarah (Institute of Geography. The School of Geosciences.The University of Edinburgh, 2006-08)
    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 

    Wolin, Steven D; Ryder, Noah L; Leprince, Frederic; Milke, James; Mowrer, Frederick; Torero, Jose L (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 

    Dakka, Sam M; Jackson, Gregory S; Torero, Jose L (Elsevier and The Combustion Institute, 2002)
    Degradation of Type-G 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 

    Clark, Andy (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 

    Brahmi, Lynda; Vietoris, Thomas; Rouvreau, Sebastien; Joulain, Pierre; David, L; Torero, Jose L (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 One-Dimensional Smoldering of Polyurethane in Microgravity Conditions 

    Rein, Guillermo; Bar-Ilan, Amnon; Fernandez-Pello, Carlos; Ellzey, Janet L; Torero, Jose L; Urban, David (The Combustion Institute, 2004-08)
    Results are presented from a model of forward smoldering combustion of polyurethane foam in microgravity. The transient one-dimensional numerical-model is based on that developed at the University of Texas at Austin. The ...
  • Modeling with the Semantic Web in the Geosciences 

    Reitsma, Femke; Albrecht, Jochen (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 

    Gillie, Martin; Usmani, Asif; Rotter, J Michael (Elsevier, 2001)
    This paper describes a method of modelling composite floor slabs in fire conditions using a stress-resultant approach. The FEAST suite, which consists of two main computer programs is described. The first, SRAS, is designed ...
  • Modes of perceiving and imagining 

    Nudds, Matthew (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 L-THEORY 

    Neeman, Amnon; Ranicki, Andrew (2001-09-18)
    The noncommutative (Cohn) localization (sigma)^−1 R of a ring R is defined for any collection (sigma) of morphisms of f.g. projective left R-modules. We exhibit (sigma)^−1 R as the endomorphism ring of R in an appropriate ...
  • Noncommutative localization in topology 

    Ranicki, Andrew (To appear in the Proceedings of the Conference on Noncommutative Localization in Algebra and Topology, ICMS, Edinburgh, 29-30 April, 2002, 2003-08-14)
    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 

    Plotkin, Gordon; Power, John (SPRINGER-VERLAG, 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 

    van Rossum, Mark (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 

    Plotkin, Gordon (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 non-trivial enrichment as a partial ...