The purpose of this document is to describe an fMRI (functional Magnetic Resonance Imaging) compatible haptic interface to investigate the mechanisms of tactile perception within an MR environment. This interface allows one translation with force-feedback along a horizontal axis as well as one rotation about a vertical axis linked to the translation. It can be used to move and orient various ob...

We investigate two approaches to constructing compatible prior laws over alternative models: ‘projection’ and ‘conditioning’. Each of these is shown to require additional inputs. We suggest that these can be chosen in a natural way in each case, leading to ‘Kullback-Leibler projection’ and ‘Jeffreys conditioning’. We recommend the former for the case of coexisting models, and the latter for com...

Two main technologies are available to design and represent freeform surfaces: NonUniform Rational B-Splines (NURBS) and subdivision surfaces. Both representations are built on uniform B-splines, but they extend this foundation in incompatible ways, and different industries have therefore established a preference for one representation over the other. NURBS are the dominant standard for Compute...

Mesh quadrangulation has received increasing attention in the past decade. While previous works have mostly focused on producing a high quality quad mesh of a single model, the connectivity of the quadrangulation is typically difficult to control and varies among models even with similar shapes. In this paper, we propose a novel interactive framework for quadrangulating a set of models collecti...

Late blight, caused by the oomycete Phytophthora infestans, is the most important disease of potato (Solanum tuberosum). Understanding the molecular basis of resistance and susceptibility to late blight is therefore highly relevant for developing resistant cultivars, either by marker-assissted selection or by transgenic approaches. Specific P. infestans races having the Avr1 effector gene trigg...

Clozel, Harris and Taylor have recently proved a modularity lifting theorem of the following general form: if ρ is an l-adic representation of the absolute Galois group of a number field for which the residual representation ρ comes from a modular form then so does ρ. This theorem has numerous hypotheses; a crucial one is that the image of ρ must be “big,” a technical condition on subgroups of ...

For a given point set S (in general position), two pointed pseudo-triangulations are compatible if their union is plane. We show that for any set S there exist two maximally disjoint compatible pointed pseudotriangulations, that is, their union is a triangulation of S. In contrast, we show that there are point sets S and pointed pseudo-triangulations T such that there exists no pointed pseudo-t...

We present a new class of irregular low-density parity-check (LDPC) codes for moderate block lengths (up to a few thousand bits) that are well-suited for rate-compatible puncturing. The proposed codes show good performance under puncturing over a wide range of rates and are suitable for usage in incremental redundancy hybrid-automatic repeat request (ARQ) systems. In addition, these codes are l...

In a quasi-linear environment we characterize the boundaries of the set of transfers which implement a given allocation rule (extremal transfers). Doing so allows us to generalize and unify several existing results of the mechanism design literature. More specifically, our approach delivers a characterization result for the set of implementable allocation rules. Second, we obtain an exact chara...