Large-conductance Ca2+-sensitive K+ (BK) channel activity is greater in basilar artery smooth muscle cells (SMCs) of the fetus than the adult, and this increased activity is associated with a lower BK channel Ca2+ set point (Ca0). Associated PKG activity is three times greater in BK channels from fetal than adult myocytes, whereas associated PKA activity is three times greater in channels from ...

The construct validity of maternal mind-mindedness (MM) was investigated in the context of its relations with children's later understanding of mind. MM measures were obtained from infant-mother (N = 52) interactions at 6 months, and from maternal interviews at 48 months. Children's understanding of mind was assessed using theory of mind (ToM) tasks at 45 and 48 months, and a stream of consciou...

Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith’s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth c...

1998-1999 school year poses the question of how the United States should change its foreign policy toward Russia. Although debate about foreign policy has been relegated to a back-seat compared to domestic issues by the American public, the academic community in international relations (IR) has been energized by the end of the Cold War. The Russia topic will provide a challenging opportunity fo...

The paper presents an analysis of the interpretation of recursive types as logical relations in the framework of iterative algebraic theories. This allows a smoother presentation of the underlying technique, and easier proofs of properties of the interpretation.

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...