1322 search results - page 45 / 265 » Unsound Theorem Proving |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In the framework of the ISS Lyapunov formulation a small gain theorem has recently been proved which allows the explicit construction of Lyapunov functions for intercon...
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
Abstract— This paper examines the stability of quantum feedback networks. We introduce a novel characterization, in terms of equivalence classes of operators, that may be used to...
FS
2006
13 years 7 months ago
2006
We prove a general version of the super-replication theorem, which applies to Kabanov's model of foreign exchange markets under proportional transaction costs. The market is ...
JSC
2010
13 years 6 months ago
2010
We prove two versions of Stickelberger’s Theorem for positive dimensions and use them to compute the connected and irreducible components of a complex algebraic variety. If the ...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...