753 search results - page 1 / 151 » Stability in geometric theories |
APAL
2005
13 years 4 months ago
2005
The class of geometric surgical theories (which includes all o-minimal theories) is examined. The main theorem is that every stable theory that is interpretable in a geometric sur...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid
ow on it. This enables us to study hyb...
FOCM
2010
13 years 3 months ago
2010
We study the boundary measures of compact subsets of the d-dimensional Euclidean space, which are closely related to Federer’s curvature measures. We show that they can be comput...
COMPGEOM
2005
ACM
13 years 6 months ago
2005
ACM
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the p...
WSS
2001
13 years 6 months ago
2001
We investigate a new property of computing systems called weak stabilization. Although this property is strictly weaker than the well-known property of stabilization, weak stabiliz...