13383 search results - page 408 / 2677 » Abstractions from proofs |
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
— In this paper, chaos in a current-mode controlled boost converter is studied. Firstly, the existence of chaos is proven theoretically in this system. The proof consists of show...
166
click to vote
ICARIS
2005
Springer
16 years 12 days ago
2005
Springer
An exact Markov chain model of the B-cell algorithm (BCA) is constructed via a novel possible transit method. The model is used to formulate a proof that the BCA is convergent abso...
157
click to vote
LPNMR
2005
Springer
16 years 11 days ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
192
click to vote
AMAI
2004
Springer
16 years 9 days ago
2004
Springer
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
192
click to vote
CONCUR
2004
Springer
16 years 8 days ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...