ATP-sensitive K(+) (K(ATP)) channels are activated by a diverse group of compounds known as potassium channel openers (PCOs). Here, we report functional studies of the Kir6.2/SUR1 Selective PCO 3-isopropylamino-7-methoxy-4H-1,2,4-benzothiadiazine 1,1-dioxide (NNC 55-9216). We recorded cloned K(ATP) channel currents from inside-out patches excised from Xenopus laevis oocytes heterologously expre...

This paper shows how derivations in (a variation of) SKS can be translated into proof nets. Since an SKS derivation contains more information about a proof than the corresponding proof net, we observe a loss of information which can be understood as “eliminating bureaucracy”. Technically this is achieved by cut reduction on proof nets. As an intermediate step between the two extremes, SKS deriv...

This paper shows how derivations in (a variation of) SKS can be translated into proof nets. Since an SKS derivation contains more information about a proof than the corresponding proof net, we observe a loss of information which can be understood as “eliminating bureaucracy”. Technically this is achieved by cut reduction on proof nets. As an intermediate step between the two extremes, SKS deriv...

Mibefradil is a Ca2+ channel antagonist that inhibits both T-type and high-voltage-activated Ca2+ channels. We previously showed that block of high-voltage-activated channels by mibefradil occurs through the production of an active metabolite by intracellular hydrolysis. In the present study, we modified the structure of mibefradil to develop a nonhydrolyzable analog, (1S, 2S)-2-(2-(N-[(3-benzi...

Characterizations of a continuous univariate distribution due to Shakil, Kibria and Singh (2010) (SKS), based on a simple relationship between two truncated moments is presented. We also point out that some special cases of the SKS distribution can be characterized based on the hazard function. Zusammenfassung: Charakterisierungen einer stetigen univariate Verteilung in Shakil, Kibria and Singh...

Figure S2 shows the geographic distribution of dT(SKKS-SKS) at CMB entry and exit points, and a general agreement with the trend in the tomography model SAW24B16, though the amplitude of the anomaly is not well matched. It is difficult to quantify the relative contribution to dT(SKKS-SKS) from either the eastern of western borders due to the ambiguity imparted by our limited azimuthal sampling....

We calculated SKS splitting parameters for the California Integrated Seismic Network. In southern California, we also estimated splitting in the upper 100 km using azimuthal anisotropy determined from surface waves. The inferred splitting from surface waves in the mantle lithosphere is small (on average <0.2 sec) compared with SKS splitting (1.5 sec) and obtains a maximum value (0.5 sec) in the...

In practical pattern recognition applications, the nearest neighbor classifier (NNC) is often applied because it does not require an a priori knowledge of the joint probability density of the input feature vectors. As the number of example vectors is increased, the error probability of the NNC approaches that of the Baysian classifier. However, at the same time, the computational complexity of ...

In this document, we study a 3-polygraphic translation for the proofs of SKS, a formal system for classical propositional logic. We prove that the free 3-category generated by this 3-polygraph describes the proofs of classical propositional logic modulo structural bureaucracy. We give a 3-dimensional generalization of Penrose diagrams and use it to provide several pictures of a proof. We sketch...