ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Formal aspects of computing 9 (1997), S. 119-148 
    ISSN: 1433-299X
    Keywords: Fault-tolerance ; Distributed replicated systems ; Communicating sequential processes ; Nondeterminism ; Partial and total correctness ; Divergence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper studies the correctness of distributed systems made up of replicated processes that communicate by message passing. Processes are described within the divergence model of CSP. The notion of correctness introduced is based on a relation that formally expresses the conformance of an implementation process with the target process it is intended to implement. A weak and a strong version of the relation are introduced, aimed at treating acyclic and cyclic process networks respectively. Both allow the study of (total) correctness and may cope with non-deterministic targets and implementations. We then show how a target process may be implemented (in the formal sense introduced) by replicating it in a set of copies, a majority of which is non-faulty.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    New York, N.Y. : Wiley-Blackwell
    Journal of Cellular Biochemistry 62 (1996), S. 158-164 
    ISSN: 0730-2312
    Keywords: nuclear matrix ; mitosis ; mitotic apparatus ; matrix-associated proteins ; genome ; Life and Medical Sciences ; Cell & Developmental Biology
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: The eukaryotic cell nucleus is a membrane-enclosed compartment containing the genome and associated molecules supported by a highly insoluble filamentous network known as the nucleoskeleton or nuclear matrix. The nuclear matrix is believed to play roles in maintaining nuclear architecture and organizing nuclear metabolism. Recently, advances in microscopic techniques and the availability of new molecular probes have made it possible to localize functional domains within the nuclear matrix and demonstrate dynamic interactions between both soluble and insoluble components involved in the control of multiple nuclear transactions. Like the cytoplasm and its skeleton, the nucleoplasm is highly structured and very crowded with an equally complex skeletal framework. In fact, there is growing evidence that the two skeletal systems are functionally contiguous, providing a dynamic cellular matrix connecting the cell surface with the genome. If we impose cell cycle dynamics upon this skeletal organization, it is obvious that the genome and associated nuclear matrix must undergo a major structural transition during mitosis, being disassembled and/or reorganized in late G2 and reassembled again in daughter nuclei. However, recent evidence from our laboratory and elsewhere suggests that much of the nuclear matrix is used to form the mitotic apparatus (MA). Indeed, both facultative and constitutive matrix-associated proteins such as NuMA, CENP-B, CENP-F, and the retinoblastoma protein (Rb) associate within and around the MA. During mitosis, the nuclear matrix proteins may either become inert “passengers” or assume critical functions in partitioning the genome into newly formed G1 nuclei. Therefore, we support the view that the nuclear matrix exists as a dynamic architectural continuum, embracing the genome and maintaining cellular regulation throughout the cell cycle. © 1996 Wiley-Liss, Inc.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    New York, N.Y. : Wiley-Blackwell
    Journal of Cellular Biochemistry 70 (1998), S. 213-221 
    ISSN: 0730-2312
    Keywords: transcription ; nucleus ; cell architecture ; nuclear matrix ; Life and Medical Sciences ; Cell & Developmental Biology
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: After many years of reductionistic approaches to characterize molecular mechanisms involved in transcription, the number of factors recognized to take part in this process has increased remarkably and continues to grow. When considering posttranslational modifications in conjunction with the large number of factors involved in modulating the activity of transcription complex components, the overall intricacy becomes staggering. After two decades of intensive molecular investigations, there has been a concerted effort to integrate these findings with cellular approaches to understand transcription on a more global level. This sort of reasoning actually revisits studies of approximately 20 years ago that considered the functional consequences of steroid receptor association with nuclear structure. With an abundance of new molecular probes and increasingly powerful instruments to detect them in fixed and, more recently, live cells, the issue of functional subnuclear organization is receiving increased attention. In this report, we focus on advances in characterizing the functional significance of transcription factor association with the nucleoskeleton. In particular, we consider recent biochemical and “molecular morphology” data that point to the importance of dynamic spatial and solubility partitioning of gene regulators with nuclear architecture. J. Cell. Biochem. 70:213-221, 1998. © 1998 Wiley-Liss, Inc.
    Additional Material: 1 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...