In my research I apply tools from model theory, a branch of mathematical logic, to study sets obtained from certain integral manifolds. (A good reference for Model Theory is [8].) This program has two central aspects: (1) I extend results that are known to be true on the ordered field of real numbers R := 〈R,+,×, <, 0, 1〉 to larger classes of real closed fields, and (2) I then use model theoret...

The original definition of a topological space given by Hausdorff used neighborhood systems. Lattice-valued maps appear in this context when you identify a topology with a monoid in the Kleisli category of the filter monad on SET. H?hle’s notion of a lattice-valued topology [2] uses the same idea and it’s inspired in the classical lattice-valued topologies. Ltopological spaces are motivated by ...

Classes of coordinate-invariant omnibus goodness-of-fit tests on compact Riemannian manifolds are proposed. The tests are based on Giné's Sobolev tests of uniformity. A condition for consistency is given. The tests are illustrated by an example on the rotation group SO(3). 1. Introduction. Although many tests of goodness of fit are available for distributions on the circle, comparatively little...

We evaluation basic characteristics of a compact type semiconductor gamma camera (eZ-SCOPE AN) of Cadmium Zinc Telluride (CdZnTe). This new compact gamma camera has 256 semiconductors representing the same number of pixels. Each semiconductor is 2 mm square and is located in 16 lines and rows on the surface of the detector. The specific performance characteristics were evaluated in the study re...

This paper presents a procedure for quantitatively comparing the performance of two image understanding algorithms using real images. We compare each algorithm’s reconstructed points with the “ground truth” object points acquired with a laser 3–D position digitizer. This procedure is necessary because qualitative comparisons are not precise enough to identify small errors and synthetic images d...

The value of simultaneous 62-lead electrocardiographic recordings in localizing the site of origin of ectopic ventricular activation in a structurally normal heart was assessed by examining body surface QRS integral maps in 12 patients during left and right ventricular (LV and RV) pacing at 182 distinct endocardial sites. A data base of 38 characteristic mean integral maps was composed after vi...