Let Γ be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in Γ is in LOGSPACE...
Resource-bounded dimension is a complexity-theoretic extension of classical Hausdorff dimension introduced by Lutz (2000) in order to investigate the fractal structure of sets th...
Abstract ? Optical Doppler Tomography (ODT) is a noninvasive 3-D optical interferometric imaging technique that measures static and dynamic structures in a sample. To obtain the dy...
Milos Milosevic, Wade Schwartzkopf, Thomas E. Miln...
In this paper we present HOPI, a new connection index for XML documents based on the concept of the 2?hop cover of a directed graph introduced by Cohen et al. In contrast to most o...
Tracking nano-metric particles in a biological environment is a very difficult task because of the low signal intensity and the high mobility of these small objects. The task bec...
Nicolas Chenouard, Samantha Vernhettes, Isabelle B...