Now showing items 442-461 of 1266

  • 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)
  • Fibrations, logical predicates and indeterminates 

    Hermida, Claudio Alberto (The University of Edinburgh, 1993)
  • 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 ...
  • The Formal Description of Musical Perception 

    Steedman, Mark (The University of Edinburgh, 1972)
    This work concerns a problem in modelling people's understanding of music. The problem is cast in the terms of discovering formal rules for transcribing melodies into musical notation, as this might be done by a student ...
  • Formal process for systolic array design using recurrences 

    Puddicombe, Jonathan (The University of Edinburgh, 1992)
  • Formal Support for Adaptive Workflow Systems in a Distributed Environment 

    Chen-Burger, Y-H; Stader, J (Future Strategies Inc., 2003)
    To achieve more widespread application, Workflow Management Systems (WfMS) need to be developed to operate in dynamic environments where they are expected to ensure that users are supported in performing flexible and ...
  • Formal Support for an Informal Business Modelling Method 

    Chen-Burger, Jessica; Robertson, Dave; Stader, Justine (The University of Edinburgh, 2000)
    Business modelling methods are popular but, since they operate primarily in the early stages of software lifecycles, most are informal. This paper describes how we have used a conventional formal notation (first order ...