We present a study of the structure and differential capacitance electric double layers aqueous electrolytes. consider Electric Double Layer Capacitors (EDLC) composed spherical cations anions in dielectric continuum confined between planar cathode anode. The model system includes steric as well Coulombic ion-ion ion-electrode interactions. compare results computationally expensive, but "exact"...

This report is a rst attempt of formalizing the diagonalization proof technique. We give a strategy how to systematically construct diagonalization proofs: (i) nding an indexing relation, (ii) constructing a diagonal element, and (iii) making the implicit contradiction of the diagonal element explicit. We suggest a declarative representation of the strategy and describe how it can be realized i...

The last few years have seen an opening up of what is considered to be the legitimate terrain of international relations (IR). This move is, for the most part, extremely welcome. Yet, the multiple theoretical and empirical openings in IR since the end of the Cold War have failed to elucidate many of the puzzles, questions and problems posed by the contemporary conjuncture. There are a number of...

I he purpose of this paper is to discuss and compare t w o types o f methods fo r reasoning w i t h i n c o n s i s t e n t be l i e f bases coherence based approaches to non monolonic entailment based on the se lec t ion and management of consistent subbascs and argumentation systems based on the construction and selection of arguments in favor of a conc lus ion we present several argumentatio...

We characterise the set of subalgebras of Allen's algebra which have a tractable satisfiability problem, and in addit ion contain certain basic relations. The conclusion is that no tractable subalgebra that is not known in the l i terature can contain more than the three basic relations This means that concerning algebras for specifying complete knowledge about temporal informa­ t ion, there is...

Let Θ be an arbitrary variety of algebras and H an algebra in Θ. Along with algebraic geometry in Θ over the distinguished algebra H, a logical geometry in Θ over H is considered. This insight leads to a system of notions and stimulates a number of new problems. Some logical invariants of algebras H ∈ Θ are introduced and logical relations between different H1 and H2 in Θ are analyzed. The pape...