The concurrent logical framework CLF is an extension of the logical framework LF designed to specify concurrent and distributed languages. While it can be used to define a variety of formalisms, reasoning about such languages within CLF has proved elusive. In this paper, we propose an extension of LF that allows us to express properties of CLF specifications. We illustrate the approach with a p...

In this report we describe the identification, cloning, and expression pattern of human cytokine-like factor 1 (hCLF-1) and the identification and cloning of its murine homologue. They were identified from expressed sequence tags using amino acid sequences from conserved regions of the cytokine type I receptor family. Human CLF-1 and murine CLF-1 shared 96% amino acid identity and significant h...

Tightly balanced antagonism between the Polycomb group (PcG) and the Trithorax group (TrxG) complexes maintain Hox expression patterns in Drosophila and murine model systems. Factors belonging to the PcG/TrxG complexes control various processes in plants as well but whether they participate in mechanisms that antagonize, balance or maintain each other's effects at a particular gene locus is unk...

Polycomb group (PcG) proteins are evolutionarily conserved in animals and plants, and play critical roles in the regulation of developmental gene expression. Here we show that the Arabidopsis Polycomb repressive complex 2 (PRC2) subunits CURLY LEAF (CLF), EMBRYONIC FLOWER 2 (EMF2) and FERTILIZATION INDEPENDENT ENDOSPERM (FIE) repress the expression of FLOWERING LOCUS C (FLC), a central represso...

The role of serotonin (5-hydroxytryptamine [5-HT]) and 5-HT2A receptors in anxiety has been extensively studied, mostly without considering individual differences in trait anxiety. Our laboratory developed two lines of animals that are bred for high and low freezing responses to contextual cues that are previously associated with footshock (Carioca High-conditioned Freezing [CHF] and Carioca Lo...

A simple, fast method to evaluate acute changes of tight junctional permeability in isolated hepatocyte couplets is proposed. The method consists of the recording of the number of canalicular vacuoles able to retain the previously accumulated fluorescent bile acid analogue cholyl-lysyl-fluorescein (CLF), as visualized by inverted fluorescent microscopy, following acute exposure to the compounds...

This article illustrates how to easily address scalability issues within distributed applications built on top of the Coordination Language Facility (CLF) middleware. CLF provides a distributed object computing framework with high expressiveness, flexibility and dynamicity. Our solutions rely on a core set of techniques such as replication, caching and distribution. We decline them along a geog...

In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of controls that globally asymptotically stabilize the system is proposed. Two different cases are considered. Firstly, under certain regularity assumptions, the feasible control set is parameterized, and continuous feedback...

Calcification of the ligamentum flavum (CLF) can cause myelopathy due to spinal cord compression. Only several cases in Caucasian patients have been described. Neurological deterioration can only be stopped by surgical decompression. We report a 63-year-old Caucasian woman presenting with progressive pins-and-needles sensations in both hands, worsened by painful paresthesia in both lower extrem...

Recently, locally semiconcave control Lyapunov functions (LS-CLFs) play important roles in nonlinear control theory. Many LS-CLF based stabilizing controllers are proposed. In this paper, we consider the locally asymptotic stabilization problem of the input affine nonlinear systems with convex input constraints. To design a stabilizing state feedback under the input constraints, we employ the L...