248 search results - page 2 / 50 » Sublocales in formal topology |
ICDE
2007
IEEE
14 years 7 months ago
2007
IEEE
We introduce the notion of a data topology and the problem of topology search over databases. A data topology summarizes the set of all possible relationships that connect a given...
IFM
2009
Springer
14 years 24 days ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
HYBRID
2007
Springer
14 years 11 days ago
2007
Springer
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
AML
2002
13 years 6 months ago
2002
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
MEMBRANE
2009
Springer
14 years 23 days ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...