1717 search results - page 218 / 344 » A Computable Spectral Theorem |
118
click to vote
JC
2002
15 years 5 months ago
2002
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...
172
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
155
click to vote
GC
2010
Springer
15 years 4 months ago
2010
Springer
A directed graph has a natural Z-module homomorphism from the underlying graph’s cycle space to Z where the image of an oriented cycle is the number of forward edges minus the n...
137
click to vote
GC
2010
Springer
15 years 4 months ago
2010
Springer
A new class of polyhedra is discovered—bipyramids of arbitrarily prescribed genus. A two-dimensional generalization of Fáry’s Theorem is established. A purely combinatorial de...
173
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...