In 1979 Richard Statman proved, using proof-theory, that the purely implicational fragment of Intuitionistic Logic (M→) is PSPACEcomplete. He showed a polynomially bounded translation from full Intuitionistic Propositional Logic into its implicational fragment. By the PSPACE-completeness of S4, proved by Ladner, and the Gödel translation from S4 into Intuitionistic Logic, the PSPACE-completenes...

In this study, the effective parameters on the inelastic response of asymmetric buildings is evaluated for an ensemble of real Iranian earthquake records by considering soil-structure interaction. Then, the design eccentricity obtained from the inelastic dynamic soil-structure analysis is compared with the design eccentricity of seisimic codes of Iran, ATC-3, New Zeland, Canada, Mexico, Austral...

There are two well known reduction formulae for structural constants of the cohomology ring of Grassmannians, i.e., LittlewoodRichardson coefficients. Two reduction formulae are a conjugate pair in the sense that indexing partitions of one formula are conjugate to those of the other formula. A nice bijective proof of the first reduction formula is given in the authors’ previous paper while a (c...

Entacapone is an inhibitor of catechol-O-methyltransferase (COMT), used in the treatment of Parkinson’s disease as an adjunct to levodopa and carbidopa therapy. It is a nitrocatechol-structured compound with a relative molecular mass of 305.29. The chemical name of entacapone is (E)-2-cyano­ 3-(3,4-dihydroxy-5-nitrophenyl)-N,N-diethyl-2-propenamide. Its empirical formula is C14H15N3O5 and its s...

Entacapone is an inhibitor of catechol-O-methyltransferase (COMT), used in the treatment of Parkinson’s Disease as an adjunct to levodopa/carbidopa therapy. It is a nitrocatechol-structured compound with a relative molecular mass of 305.29. The chemical name of entacapone is (E)-2-cyano­ 3-(3,4-dihydroxy-5-nitrophenyl)-N,N-diethyl-2-propenamide. Its empirical formula is C14H15N3O5 and its struc...

Fentanyl Citrate Injection, USP is a potent o p i o i d ag o nis t . Each milliliter of solution contains fentanyl citrate equivalent to 50 mcg of fentanyl base, adjusted to pH 4.0 to 7.5 with sodium hydroxide. Fentanyl citrate is chemically identified as N-(1-phenethyl-4-piperidyl) propionanilide citrate (1:1) with a molecular weight of 528.60. The empirical formula is C22H28N2O • CH8O7. The s...

This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulae, obtained by decomposing the original formula. The method uses the structural operational semantics of the process algebra. The main contribution of this paper is that an earlier decomposition m...

Bisoprolol fumarate is chemically described as (±)-1-[4-[[2-(1­ methylethoxy)ethoxy]methyl]phenoxy]-3-[(1-methylethyl)amino]-2-propanol(E)-2-butenedioate (2:1) (salt). It possesses an asymmetric carbon atom in its structure and is provided as a racemic mixture. The S(-) enantiomer is responsible for most of the beta-blocking activity. Its empirical formula is (C18H31NO4)2•C4H4O4 and it has a mo...

DESCRIPTION levatol® (penbutolol sulfate) is a synthetic ß-receptor antagonist for oral administration. The chemical name of penbutolol sulfate is (S)-1-tert-butylamino-3-(o-cyclopentylphenoxy)-2­ propanol sulfate. It is provided as the levorotatory isomer. The empirical formula for penbutolol sulfate is C36H60N2O8S. Its molecular weight is 680.94. A dose of 20 mg is equivalent to 29.4 μmol. Th...

Entacapone is an inhibitor of catechol-O-methyltransferase (COMT), used in the treatment of Parkinson’s disease as an adjunct to levodopa and carbidopa therapy. It is a nitrocatechol-structured compound with a relative molecular mass of 305.29. The chemical name of entacapone is (E)-2-cyano3-(3,4-dihydroxy-5-nitrophenyl)-N,N-diethyl-2-propenamide. Its empirical formula is C14H15N3O5 and its str...