Now showing items 522-541 of 942

  • 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 ...
  • 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 ...
  • 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)
  • Memory consistency directed cache coherence protocols for scalable multiprocessors 

    Elver, Marco Iskender (The University of Edinburgh, 2016-11-29)
    The memory consistency model, which formally specifies the behavior of the memory system, is used by programmers to reason about parallel programs. From a hardware design perspective, weaker consistency models permit ...
  • Memory stability and synaptic plasticity 

    Billings, Guy (The University of Edinburgh, 2009)
    Numerous experiments have demonstrated that the activity of neurons can alter the strength of excitatory synapses. This synaptic plasticity is bidirectional and synapses can be strengthened (potentiation) or weakened ...
  • Message Passing with Communication Structures 

    Yaikhom, Gagarine (University of Edinburgh. College of Science and Engineering. School of Informatics., 2006-04)
    Abstraction concepts based on process groups have largely dominated the design and implementation of communication patterns in message passing systems. Although such an approach seems pragmatic—given that participating ...
  • Metalogic and the psychology of reasoning 

    Lee, John Richard (The University of Edinburgh, 1988)
    The central topic of the thesis is the relationship between logic and the cognitive psychology of reasoning. This topic is treated in large part through a detailed examination of the recent work of P. N. Johnson-Laird, ...