248 search results - page 35 / 50 » Sublocales in formal topology |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
JSS
2010
13 years 4 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cell...
JSAC
2006
13 years 9 months ago
2006
Abstract-- Information about the topology and link-level characteristics of a network is critical for many applications including network diagnostics and management. However, this ...
DIAGRAMS
2006
Springer
14 years 1 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...