Mitochondrial porin of Neurospora crassa

cDNA encoding porin of Neurospora crassa, the major protein component of the outer mitochondrial membrane, was isolated and the nucleotide sequence was determined. The deduced protein sequence consists of 283 amino acids (29,979 daltons) and shows sequence homology of around 43% to yeast porin; however, no significant homology to bacterial porins was apparent. According to secondary structure predictions, mitochondrial porin consists mainly of membrane-spanning sided beta-sheets. Porin was efficiently synthesized in vitro from the cDNA; this allowed us to study in detail its import into mitochondria. Thereby, three characteristics of import were defined: (i) import depended on the presence of nucleoside triphosphates; (ii) involvement of a proteinaceous receptor-like component on the surface of the mitochondria was demonstrated; (iii) insertion into the outer membrane was resolved into at least two distinct steps: specific binding to high-affinity sites and subsequent assembly to the mature form

On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

Concurrent Kleene Algebra: Free Model and Completeness

Concurrent Kleene Algebra (CKA) was introduced by Hoare, Moeller, Struth and Wehrman in 2009 as a framework to reason about concurrent programs. We prove that the axioms for CKA with bounded parallelism are complete for the semantics proposed in the original paper; consequently, these semantics are the free model for this fragment. This result settles a conjecture of Hoare and collaborators. Moreover, the techniques developed along the way are reusable; in particular, they allow us to establish pomset automata as an operational model for CKA.Comment: Version 2 includes an overview section that outlines the completeness proof, as well as some extra discussion of the interpolation lemma. It also includes better typography and a number of minor fixes. Version 3 incorporates the changes by comments from the anonymous referees at ESOP. Among other things, these include a worked example of computing the syntactic closure by han

Polarizing Double Negation Translations

Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and introduce fewer negations. To achieve this, we consider the polarization of the formul{\ae}{} and adapt those translation to the different connectives and quantifiers. We show that the embedding results still hold, using a customized version of the focused classical sequent calculus. We also prove the latter equivalent to more usual versions of the sequent calculus. This polarization process allows lighter embeddings, and sheds some light on the relationship between intuitionistic and classical connectives

Spatial Distribution of Calcium-Gated Chloride Channels in Olfactory Cilia

Background: In vertebrate olfactory receptor neurons, sensory cilia transduce odor stimuli into changes in neuronal membrane potential. The voltage changes are primarily caused by the sequential openings of two types of channel: a cyclic-nucleotide-gated (CNG) cationic channel and a calcium-gated chloride channel. In frog, the cilia are 25 to 200 mm in length, so the spatial distributions of the channels may be an important determinant of odor sensitivity. Principal Findings: To determine the spatial distribution of the chloride channels, we recorded from single cilia as calcium was allowed to diffuse down the length of the cilium and activate the channels. A computational model of this experiment allowed an estimate of the spatial distribution of the chloride channels. On average, the channels were concentrated in a narrow band centered at a distance of 29 % of the ciliary length, measured from the base of the cilium. This matches the location of the CNG channels determined previously. This non-uniform distribution of transduction proteins is consistent with similar findings in other cilia. Conclusions: On average, the two types of olfactory transduction channel are concentrated in the same region of the cilium

A Selective PMCA Inhibitor Does Not Prolong the Electroolfactogram in Mouse

Within the cilia of vertebrate olfactory receptor neurons, Ca(2+) accumulates during odor transduction. Termination of the odor response requires removal of this Ca(2+), and prior evidence suggests that both Na(+)/Ca(2+) exchange and plasma membrane Ca(2+)-ATPase (PMCA) contribute to this removal.In intact mouse olfactory epithelium, we measured the time course of termination of the odor-induced field potential. Replacement of mucosal Na(+) with Li(+), which reduces the ability of Na(+)/Ca(2+) exchange to expel Ca(2+), prolonged the termination as expected. However, treating the epithelium with the specific PMCA inhibitor caloxin 1b1 caused no significant increase in the time course of response termination.Under these experimental conditions, PMCA does not contribute detectably to the termination of the odor response

On Semantic Gamification

The purpose of this essay is to study the extent in which the semantics for different logical systems can be represented game theoretically. I will begin by considering different definitions of what it means to gamify a semantics, and show completeness and limitative results. In particular, I will argue that under a proper definition of gamification, all finitely algebraizable logics can be gamified, as well as some infinitely algebraizable ones (like Łukasiewicz) and some non-algebraizable (like intuitionistic and van Fraassen supervaluation logic)

Limits of Calcium Clearance by Plasma Membrane Calcium ATPase in Olfactory Cilia

BACKGROUND: In any fine sensory organelle, a small influx of Ca(2+) can quickly elevate cytoplasmic Ca(2+). Mechanisms must exist to clear the ciliary Ca(2+) before it reaches toxic levels. One such organelle has been well studied: the vertebrate olfactory cilium. Recent studies have suggested that clearance from the olfactory cilium is mediated in part by plasma membrane Ca(2+)-ATPase (PMCA). PRINCIPAL FINDINGS: In the present study, electrophysiological assays were devised to monitor cytoplasmic free Ca(2+) in single frog olfactory cilia. Ca(2+) was allowed to enter isolated cilia, either through the detached end or through membrane channels. Intraciliary Ca(2+) was monitored via the activity of ciliary Ca(2+)-gated Cl(-) channels, which are sensitive to free Ca(2+) from about 2 to 10 microM. No significant effect of MgATP on intraciliary free Ca(2+) could be found. Carboxyeosin, which has been used to inhibit PMCA, was found to substantially increase a ciliary transduction current activated by cyclic AMP. This increase was ATP-independent. CONCLUSIONS: Alternative explanations are suggested for two previous experiments taken to support a role for PMCA in ciliary Ca(2+) clearance. It is concluded that PMCA in the cilium plays a very limited role in clearing the micromolar levels of intraciliary Ca(2+) produced during the odor response

Field's Logic of Truth

Saving Truth from Paradox is a re-exciting development. The 70s and 80s were a time of excitement among people working on the semantic paradoxes. There were continual formal developments, with the constant hope that these results would yield deep insights. The enthusiasm wore off, however, as people became more cognizant of the disparity between what they had accomplished, impressive as it was, and what they had hoped to accomplish. They moved onto other problems that they hoped would prove more yielding. That, at least, was how it seemed to me, so I was delighted to see a dramatically new formal development that is likely to rekindle our enthusiasm