CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concurrent executions as monadic expressions. We illustrate the representation techniques available within CLF by applying them to an asynchronous pi-calculus with correspondence assertions, including its dynamic semantics,...

transition from vegetative to reproductive growth is an important stage in plant’s life. flowering pathways including photoperiod, vernalization, gibberellins, and autonomous pathway are regulated by different genes. identification of flowering genes is essential for the development of bolting-resistant sugar beet cultivars. in this study, a set of 118 arabidopsis thaliana genes involved in flo...

Milner’s bigraphical reactive systems [7], or BRSs in short, are formulated in terms of category theory. They encompass earlier models, such as CCS [6], the π-calculus [3], and Petri nets [5]. However, as with other categorical models, it is not immediately clear how to implement a logical framework that could check, for example, the well-formedness or correctness of a BRS, or just execute reac...

We recently reported two novel breeding lines of rats known as Carioca high-and low-conditioned freezing (CHF and CLF), based on defensive freezing responses to contextual cues previously associated with electric footshock. The anxiety-like profile of these animals from the 7th generation was tested in the elevated plus maze. The results indicated that CHF animals presented a significantly more...

Polycomb repressive complexes (PRCs) play crucial roles in transcriptional repression and developmental regulation in both plants and animals. In plants, depletion of different members of PRCs causes both overlapping and unique phenotypic defects. However, the underlying molecular mechanism determining the target specificity and functional diversity is not sufficiently characterized. Here, we q...

Polycomb-group (PcG) proteins form a cellular memory by maintaining developmental regulators in a transcriptionally repressed state. We identified a novel flowering gene that is under PcG control in Arabidopsis--the MADS-box gene AGL19. AGL19 expression is maintained at very low levels by the PcG proteins MSI1, CLF, and EMF2, and AGL19 is partly responsible for the early flowering phenotype of ...

There have been attempts to couple bile acids to fluorescein to permit their visualization during studies of physiology and pathophysiology. Although conjugation has been achieved by many, the product differed in many respects from the parent bile acid congener. We describe lysylfluorescein conjugated bile acid analogues (LFCBAA) synthesized in our laboratory as model divalent "unipolar" molecu...

In an attempt to identify genes involved in the control of leaf morphogenesis, we have studied 13 Arabidopsis thaliana mutants with curled, involute leaves, a phenotype herein referred to as Incurvata (Icu), which were isolated by G. Röbbelen and belong to the Arabidopsis Information Service Form Mutants collection. The Icu phenotype was inherited as a single recessive trait in 10 mutants, with...