Now showing items 702-721 of 1266

  • M-Planning: A Mobile Tool to Support Collaborative Planning 

    Lino, N; Tate, Austin (ACTA Press, 2004-02)
    This paper presents M-Planning, a mobile tool to support collaborative planning, and its conjunction use with the IX Process Panels. M-Planning works like an intelligent mobile panel for agents on the move. The tool permits ...
  • Machine annotation of genome and transcriptome data 

    Liu, Zhe (The University of Edinburgh, 2015-11-26)
    One of the key research topics of post-genome study is annotation of the gene with regards to specific function and biological processes. This can help us to understand the precise role that a gene or a group of genes ...
  • Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems 

    Kahn, Saif U (University of Edinburgh. College of Science and Engineering. School of Informatics., 1997-07)
    This thesis investigates the issues involved in the creation of a "general theory of operational semantics" in LEGO, a type-theoretic theorem proving environment implementing a constructionist logic. Such a general theory ...
  • Machine Assisted Proofs of Recursion Implementation 

    Cohn, Avra Jean (The University of Edinburgh, 1979)
    Three studies in the machine assisted proof of recursion implementation are described. The verification system used is Edinburgh LCF (Logic for Computable Functions). Proofs are generated, in LCF, in a goal-oriented ...
  • Machine humour: An implemented model of puns 

    Binsted, Kim (The University of Edinburgh: College of Science and Engineering: The School of Informatics, 1996-07)
    This thesis describes a formal model of a subtype of humour, and the implementation of that model in a program that generates jokes of that subtype. Although there is a great deal of literature on humour in general, very ...
  • Machine learning approach to reconstructing signalling pathways and interaction networks in biology 

    Dondelinger, Frank (The University of Edinburgh, 2013-07-02)
    In this doctoral thesis, I present my research into applying machine learning techniques for reconstructing species interaction networks in ecology, reconstructing molecular signalling pathways and gene regulatory networks ...
  • Machine learning based mapping of data and streaming parallelism to multi-cores 

    Wang, Zheng (The University of Edinburgh, 2011-11-24)
    Multi-core processors are now ubiquitous and are widely seen as the most viable means of delivering performance with increasing transistor densities. However, this potential can only be realised if the application programs ...
  • Machine learning in compilers 

    Leather, Hugh (The University of Edinburgh, 2011)
    Tuning a compiler so that it produces optimised code is a difficult task because modern processors are complicated; they have a large number of components operating in parallel and each is sensitive to the behaviour of ...
  • Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts 

    Dennis, Louise; Bundy, Alan; Green, Ian (1999)
    Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty ...
  • Mapping gene expression to function in adult mouse medial entorhinal cortex 

    Ramsden, Helen Lucy (The University of Edinburgh, 2014-06-27)
    Deciphering the mechanisms that underlie circuit function in the hippocampal formation is a key challenge for neuroscience. This region, which includes the medial entorhinal cortex (MEC), is critical for spatial learning ...
  • Mapping parallel programs to heterogeneous multi-core systems 

    Grewe, Dominik (The University of Edinburgh, 2014-06-27)
    Heterogeneous computer systems are ubiquitous in all areas of computing, from mobile to high-performance computing. They promise to deliver increased performance at lower energy cost than purely homogeneous, CPU-based ...
  • Mapping parallelism to heterogeneous processors 

    Chandramohan, Kiran (The University of Edinburgh, 2016-06-27)
    Most embedded devices are based on heterogeneous Multiprocessor System on Chips (MPSoCs). These contain a variety of processors like CPUs, micro-controllers, DSPs, GPUs and specialised accelerators. The heterogeneity of ...
  • Markov Chains for Sampling Matchings 

    Matthews, James (2008)
    Markov Chain Monte Carlo algorithms are often used to sample combinatorial structures such as matchings and independent sets in graphs. A Markov chain is defined whose state space includes the desired sample space, and ...
  • The MATCH Corpus: A Corpus of Older and Younger Users' Interactions With Spoken Dialogue Systems. 

    Georgila, Kallirroi; Wolters, Maria K.; Moore, Johanna D.; Logie, Robert (Springer, 2010-03)
    We present the MATCH corpus, a unique data set of 447 dialogues in which 26 older and 24 younger adults interact with nine different spoken dialogue systems. The systems varied in the number of options presented and the ...
  • MCMC for doubly-intractable distributions 

    Murray, Iain; Ghahramani, Zoubin; MacKay, David J. C. (2006)
    Markov Chain Monte Carlo (MCMC) algorithms are routinely used to draw samples from distributions with intractable normalization constants. However, standard MCMC algorithms do not apply to doubly-intractable distributions ...
  • Mechanisms to improve the efficiency of hardware data prefetchers 

    Díaz, Pedro (The University of Edinburgh, 2011-11-24)
    A well known performance bottleneck in computer architecture is the so-called memory wall. This term refers to the huge disparity between on-chip and off-chip access latencies. Historically speaking, the operating frequency ...
  • Mechanizing Structural Induction 

    Aubin, Raymond (The University of Edinburgh, 1976)
    This thesis proposes improved methods for the automatic generation of proofs by structural induction in a formal system. The main application considered is proving properties of programs. The theorem-proving problem ...
  • Media literacy in responsive physical environments 

    Jacucci, Carlo (The University of Edinburgh, 2008)
    This thesis addressed the production of media literacy practices in physical environments. It reflects a specific trajectory through a design space. The work is founded on four studies including design sessions and expositions ...
  • Meeting decision detection: multimodal information fusion for multi-party dialogue understanding 

    Hsueh, Pei-Yun (The University of Edinburgh, 2009)
    Modern advances in multimedia and storage technologies have led to huge archives of human conversations in widely ranging areas. These archives offer a wealth of information in the organization contexts. However, retrieving ...
  • Memory and optimisation in neural network models. 

    Forrest, B.M. (University of Edinburgh, 1988)