|๊||sๅw๐อค 1K 115บ|
(Laboratory for Foundations of Computer Science, University of Edinburgh)
|ฺ่||Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages|
|We extend the study of the relationship between behavioural equivalence and indistinguishability relation to the simply typed lambda calculus, where higher-order types are available. The main technical tool of this study is pre-logical relations, which give a precise characterisation of behavioural equivalence. We establish a relationship between behavioural equivalence and indistinguishability in terms of factorisability. We then consider a higher-order logic to reason about models of the simply typed lambda calculus, and relate the resulting standard satisfaction relation to behavioural satisfaction.|
|ฺ่||Data mining the proteome in reproducible kernel Hilbert spaces|
A major goal of post-genomic era reasearch is to better understand the
functions and interactions of genes discovered during the sequencing
projects recently completed. To this end new technologies such as DNA
chips or Yeast 2-hybrid systems are routinely used to produce large
amounts of data aimed at characterizing each gene.
In order to integrate these various types of information we propose a mathematical framework where a particular type of information is encoded into a kernel function on the set of genes, and where the comparison of two types of information can be performed using linear data mining methods in the corresponding reproducible kernel Hilbert spaces. As an application we show how to extract correlations between microarray data on the one hand, and gene networks on the other hand.