Public announcements are used in dynamic epistemic logic to model certain kinds of information change. A formula 〈ψ〉φ represents the statement that after ψ is publicly announced φ will be the case. Sometimes we want to reason about whether it is possible for φ to become true after some announcement. In order to do this an arbitrary public announcement operator ♦ can be added to an epistemic log...

Farhi et al. suggested the analogue quantum search Hamiltonian and Fenner also proposed the intuitive quantum search Hamiltonian. Recently the generalized quantum search Hamiltonian containning hamiltonians of Farhi et al. and Fenner was presented in quant-ph/0110020. In this letter, we analyze the running time of the generalized quantum search Hamiltonian. Our analysis displays two surprising ...

In this appendix we present the proofs omitted in “Influencing Connected Legislators.” Marco Battaglini Cornell University and EIEF Ithaca, NY 14853 [email protected] Eleonora Patacchini Cornell University Ithaca, NY 14853 [email protected] 1 Proof of Lemma 1 Let φ be the  dimensional column vector of voting probabilities with th element equal to . Define η :  →  as η(φ s) = φ−F(φ ...

In this paper we present a novel method to describe the pose (position and orientation) distribution of amino acid residue pairs within a protein, which are proximal in space and distal in sequence.While the Ramachandran plot provides information of protein conformations using the φ and ψ angles between sequentially proximal residues, our method can offer six-dimensional relative pose informati...

and Applied Analysis 3 a function of polynomial growth) if for every ε > 0 there exists C ε > 0 (resp., there exist positive constants C,N, and d) such that 󵄨󵄨󵄨f (x) 󵄨󵄨󵄨 ≤ Cεe ε|x| 2 [resp. ≤ C|x|N + d] (17) for all x ∈ R. It is easy to see that every infraexponential function f of order 2 (resp., every function of polynomial growth) defines an element ofG(R) (resp.,S(R)) via the correspondence...