Now showing items 510-529 of 1437

  • Factorial Switching Kalman Filters for Condition Monitoring in Neonatal Intensive Care 

    Williams, Christopher; Quinn, J.; McIntosh, N. (MIT Press, 2006/01)
    The observed physiological dynamics of an infant receiving intensive care are affected by many possible factors, including interventions to the baby, the operation of the monitoring equipment and the state of health. The ...
  • FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES 

    Abadi, Martin; Pierce, Benjamin; Plotkin, Gordon (2003-11-03)
    We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yields a close fit between models and programming ...
  • Familiarity effects in visual word recognition 

    Gontijo, Possidonia de Freitas Drumond (The University of Edinburgh, 1998)
  • Fast physical simulation of virtual clothing based on multilevel approximation strategies 

    Anderson, James N. (The University of Edinburgh, 1999)
  • Feedback strategies for second language teaching with implications for intelligent tutorial systems 

    Ferreira-Cabrera, Anita A. (The University of Edinburgh, 2003)
  • Fibrations, logical predicates and indeterminates 

    Hermida, Claudio Alberto (The University of Edinburgh, 1993)
  • Fibred computational effects 

    Ahman, Danel (The University of Edinburgh, 2017-11-30)
    We study the interplay between dependent types and computational effects, two important areas of modern programming language research. On the one hand, dependent types underlie proof assistants such as Coq and functional ...
  • Finding and using analogies to guide mathematical proof 

    Owen, Stephen Griffith (The University of Edinburgh, 1988)
    This thesis is concerned with reasoning by analogy within the context of auto-mated problem solving. In particular, we consider the provision of an analogical reasoning component to a resolution theorem proving system. ...
  • Finding structure in language 

    Finch, Steven (The University of Edinburgh, 1995)
    Since the Chomskian revolution, it has become apparent that natural language is richly structured, being naturally represented hierarchically, and requiring complex context sensitive rules to define regularities over these ...
  • First order linear logic in symmetric monoidal closed categories 

    Ambler, Simon John (The University of Edinburgh, 1991)
  • Fitting of Constrained Models to Poor 3D Data 

    Robertson, Craig; Fisher, Robert B.; Werghi, Naoufel; Ashbrook, Anthony (The University of Edinburgh, 2000)
    In this work we have addressed the question of whether it is possible to extract parametric models of features from poor quality 3D data. In doing this we have examined the applicability of an evolutionary strategy to the ...
  • Flashing up the storage hierarchy 

    Koltsidas, Ioannis (The University of Edinburgh, 2010)
    The focus of this thesis is on systems that employ both flash and magnetic disks as storage media. Considering the widely disparate I/O costs of flash disks currently on the market, our approach is a cost-aware one: we ...
  • Flexible database management system for a virtual memory machine 

    Grimson, Jane Barclay (The University of Edinburgh, 1980)
  • A flexible expansion algorithm for user-chosen abbreviations 

    Willis, Timothy Alan (The University of Edinburgh, 2008-11)
    People with some types of motor disabilities who wish to generate text using a computer can find the process both fatiguing and time-consuming. These problems can be alleviated by reducing the quantity of keystrokes they ...
  • A Flexible Integrated Architecture For Generating Poetic Texts 

    Manurung, Hisar; Ritchie, Graeme; Thompson, Henry (The University of Edinburgh, 2000)
    In this paper we describe a flexible approach to natural language generation that employs a stochastic hillclimbing search algorithm and an integrated architecture. We then discuss the benefits of this approach over existing, ...
  • Flexible Service Choreography 

    Barker, Adam (The University of Edinburgh, 2007)
    Service-oriented architectures are a popular architectural paradigm for building software applications from a number of loosely coupled, distributed services. Through a set of procedural rules, workflow technologies ...
  • Focus and coherence in discourse 

    Binet, Leslie Graham (The University of Edinburgh, 1985)
    Since Frege, many people have regarded meaning as a relation between an expression in a language and entities in the world, a relation that is essentially fixed in character, so that in a given context the expression ...
  • Formal approach to hardware analysis 

    Traub, Niklas Gerard (The University of Edinburgh, 1986)
  • Formal computational framework for the study of molecular evolution 

    Kwiatkowski, Marek (The University of Edinburgh, 2010)
    Over the past 10 years, multiple executable modelling formalisms for molecular biology have been developed in order to address the growing need for a system-level understanding of complex biological phenomena. An important ...
  • Formal Derivation of a Class of Computers 

    Wang, Li-Guo (University of Edinburgh. College of Science and Engineering. School of Informatics., 1995-07)
    The aim of this thesis is to investigate how to use logic-based specification, construction, and proof methods to formally derive a class of computers. Differing from the traditional concepts of specification, verification ...