Let X be a proper scheme over a field K. There are two ways of organizing the points of X into equivalence classes using rational curves. One is the notion of R-equivalence introduced by [Manin72]. Two points x1, x2 ∈ X(K) are called directly R-equivalent if there is a morphism p : P → X with p(0:1) = x1 and p(1:0) = x2. This generates an equivalence relation called R-equivalence. The set of R-...

ion Refinement for Ontology Materialization Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard 1 University of Ulm, Ulm, Germany, [email protected] 2 derivo GmbH, Ulm, Germany, @derivo.de Abstract. We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in which reasoning over...

This is an extended abstract of the published paper “Approximate Similarity and Poincaré Paradox to be published in Notre Dame Journal of Formal Logic, 49, 2008”. The startin point is an observation by De Cock and Kerre, in which, in considering Poincaré paradox, one observes that the intuitive notion of “approximate similarity” cannot be adequately represented by the fuzzy equivalence relation...

Participants judged the affine equivalence of 2 simultaneously presented 4-point patterns. Performance level (d') varied between 1.5 and 2.7, depending on the information available for solving the correspondence problem (insufficient in Experiment 1a, superfluous in Experiment 1b, and minimal in Experiments 1c, 2a, 2b) and on the exposure time (unlimited in Experiments 1 and 2a and 500 ms in Ex...

in welfare economic studies, because of the differences among households scale, we cannot consider household expenditures without attention to this factor. a simple method to consider household scale in welfare analysis is the usage of the per capita expenditure. but, the usage of per capita expenditure ignores economies of scale. in fact, per capita expenditure is a biased variable, and underv...

The metric on the moduli space of SU(2) charge four BPS monopoles with tetrahedral symmetry is calculated using numerical methods. In the asymptotic region, in which the four monopoles are located on the vertices of a large tetrahedron, the metric is in excellent agreement with the point particle metric. We find that the four monopoles are accelerated through the cubic monopole configuration an...

In the context of multiple attribute decision making, preference models making use of reference points in an ordinal way have recently been introduced in the literature. This text proposes an axiomatic analysis of such models, with a particular emphasis on the case in which there is only one reference point. Our analysis uses a general conjoint measurement model resting on the study of traces i...

ion Refinement for Ontology Materialization Technical Report Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard 1 University of Ulm, Ulm, Germany, [email protected] 2 derivo GmbH, Ulm, Germany, @derivo.de Abstract. We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in whi...

We point out a connection between Gabor analysis and noncommutative analysis. Especially, the strong Morita equivalence of noncommutative tori appears as underlying setting for Gabor analysis, since the construction of equivalence bimodules for noncommutative tori has a natural formulation in the notions of Gabor analysis. As an application we show that Feichtinger’s algebra is such an equivale...