We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
This talk outlines new facilities within human media spaces supporting embodied interaction between humans, animals, and computation both socially and physically, with the aim of ...
We define a mixed partition of = PG(d, qr) to be a partition of the points of into subspaces of two distinct types, for instance, a partition of PG(2n - 1, q2) into (n - 1)-spac...
We propose a fully Bayesian methodology for generalized kernel mixed models (GKMMs), which are extensions of generalized linear mixed models in the feature space induced by a repr...
This paper describes how mixed reality (MR) technology is applied in the urban renewal process to help mixed groups of stakeholders collaboratively construct, explore and discuss ...