The agonist properties of acetylcholine (ACh), tetramethylammonium, ethyl-trimethylammonium and choline were evaluated for muscle and neuronal nicotinic receptors in Xenopus oocytes. The only essential feature for a neuronal receptor agonist appears to be the charged nitrogen. For specific receptor subtypes, other structural elements appear permissive (neither increasing nor decreasing activity...

A supervisor is said to be mutually nonblocking with respect to a pair of specifications if upon completing a task in any of the specifications, it can continue on to complete the task in the other specification, i.e., the two specifications do not block each other. The notion of mutually nonblocking supervisor was introduced in [4, 5]. In this paper we present an algorithm of polynomial comple...

BACKGROUND Only few studies have so far confirmed the clear connection of attitudes toward suicide with prevalence of suicidal behavior, and there are several contradictory findings on the balance of this relationship. Slovenia has long had a very high suicide rate, including in the population of adolescents. AIMS To examine attitudes of Slovene adolescents toward suicide and their connection...

The thermosensitive defect of the Sabin LSc2ab strain of poliovirus type I was studied. Transfer of infected KB cells from 36 to 38.5 C resulted in 30% inhibition of viral RNA replication but in 90% inhibition of formation of virions. Neither 74S procapsids nor 14S particles were detected in the cells transferred to the non-permissive temperature. However, procapsids, once accumulated at 36 C, ...

Timed automata are a convenient framework for modelling and reasoning about real-time systems. While these models are now well-understood, they do not offer a convenient way of taking timing imprecisions into account. Several solutions (e.g. parametric guard enlargement) have been proposed over the last ten years to take such imprecisions into account. In this paper, we propose a novel approach...

The requirement of leukemia inhibitory factor (LIF) for theestablishment and maintenance of mouse embryonic stem cells (ESCs) depends on thegenetic backgroundof theESCorigin. To reveal themolecular basis of the strain-dependent function of LIF, we compared the activation of the intracellular signaling pathways downstream of LIF in ESCs with different genetic backgrounds. We found that the JAK-S...

A rapid decrease in the incorporation of [3H]thymidine into DNA at a non-permissive temperature was observed in two temperature-sensitive mutants that were isolated from mouse FM3A cells. This change was not due to a decrease in the rate of DNA replication, but was closely associated with a decrease in thymidine kinase activity of these cells. Experiments to test thermolability of thymidine kin...

The requirement of leukemia inhibitory factor (LIF) for theestablishment and maintenance of mouse embryonic stem cells (ESCs) depends on thegenetic backgroundof theESCorigin. To reveal themolecular basis of the strain-dependent function of LIF, we compared the activation of the intracellular signaling pathways downstream of LIF in ESCs with different genetic backgrounds. We found that the JAK-S...

The molecular mechanisms that regulate the rapid transcriptional changes that occur during cytotoxic T lymphocyte (CTL) proliferation and differentiation in response to infection are poorly understood. We have utilized ChIP-seq to assess histone H3 methylation dynamics within naive, effector, and memory virus-specific T cells isolated directly ex vivo after influenza A virus infection. Our resu...

In previous work (Bennett 1993 DeJong and Bennetl 1993) we proposed a machine learning approach called permissive planning to extend classical planning into the realm of real wor ld plan execution Our prior results have been favorable but empirical (Bennetl and DeJong 1991) Here we examine the analytic foundations of our empirical success We advance a formal account of realwor ld planning adequ...