T HE MYOCARDIAL clearance of potassium (MCK) can be measured by means of precordial counting after single intravenous injection of 42KC1 or 86RbCl.1 It may be considered to measure coronary blood flow per unit mass of myocardium under the assumption that the average extraction of the indicator by the myocardium during the first minutes after injection does not differ significantly from the aver...

Plectin, a versatile 500-kDa cytolinker protein, is essential for muscle fiber integrity and function. The most common disease caused by mutations in the human plectin gene, epidermolysis bullosa simplex with muscular dystrophy (EBS-MD), is characterized by severe skin blistering and progressive muscular dystrophy. Besides displaying pathological desmin-positive protein aggregates and degenerat...

Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed these games for branching time logic. The paper develops an extension to a logic that adds epistemic operators, and interprets the branching time operators with respect to fairness constraints. The implementation of the ext...

Affiliations of authors: Medical Genetics Institute, Shaare Zedek Medical Center, Jerusalem, Israel (ELL); Faculty of Medicine, Hebrew University Medical School, Jerusalem, Israel (ELL, AL); Department of Family Medicine, Clalit Health Services, Jerusalem, Israel (AL); Department of Medicine and Department of Genome Sciences, University of Washington, Seattle, WA (MCK). Correspondence to: Ephra...

This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The paper reports experimental results demons...

Arg-vasopressin (AVP) promotes the differentiation of myogenic cell lines and mouse primary satellite cells by mechanisms involving the transcriptional activation of myogenic bHLH regulatory factors and myocyte enhancer factor 2 (MEF2). We here report that AVP treatment of L6 cells results in the activation of calcineurin-dependent differentiation, increased expression of MEF2 and GATA2, and nu...

Enhanced green fluorescent protein (EGFP) is the preferred reporter protein for real-time detection in individual cells, but its usefulness for gene expression quantification is limited by the sensitivity of standard detection techniques. We tested whether the unique feature of single-cell detection and quantification by laser scanning cytometry permits the evaluation of EGFP gene expression in...

Arg8-vasopressin (AVP) promotes the differentiation of myogenic cell lines and mouse primary satellite cells by mechanisms involving the transcriptional activation of myogenic bHLH regulatory factors and myocyte enhancer factor 2 (MEF2). We here report that AVP treatment of L6 cells results in the activation of calcineurin-dependent differentiation, increased expression of MEF2 and GATA2, and n...

Myogenin and MyoD belong to a family of muscle-specific helix-loop-helix (HLH) proteins that have the potential to activate muscle-specific genes in nonmyogenic cells. Peptide growth factors can block the ability of myogenin and MyoD to activate their target genes. Here, we show that the growth factor-inducible proto-oncogenes c-fos, c-jun, and junB mimic the effects of exogenous growth factors...

Creatine kinase (CK; EC 2.7.3.2) isoenzymes play prominent roles in energy metabolism. Nuclear genes encode three known CK subunits: cytoplasmic muscle (MCK), cytoplasmic brain (BCK), and mitochondrial (MtCK). We have isolated the gene and cDNA encoding human placental MtCK. By using a dog heart MCK cDNA-derived probe, the 7.0-kb EcoRI fragment from one cross-hybridizing genomic clone was isola...