ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
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
    Two implementation relations and the correctness of communicating replicated processes (1997)
    Springer
    Formal aspects of computing 9 (1997), S. 119-148 
    Details
    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
    URL: http://dx.doi.org/10.1007/BF01211616
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    From Inactive Nortopsentin D, a Novel Bis(indole) Alkaloid Isolated from the Axinellid Sponge Dragmacidon sp. from Deep Waters South of New Caledonia, to a Strongly Cytotoxic Derivative (1996)
    New York, NY : Wiley-Blackwell
    Helvetica Chimica Acta 79 (1996), S. 2075-2082 
    Details
    ISSN: 0018-019X
    Keywords: Chemistry ; Organic Chemistry
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology
    Notes: Nortopsentin D (5), a bis(indole) alkaloid unique for bearing a 2-amino-methylimidazole appendage at the central 1H-imidazol-5(4H)-one nucleus, was isolated in abundance, besides the putative biogenetic precursor 6 of its appendage, from the deep-water axinellid sponge Dragmacidon sp. Structural elucidation of 5 by NMR and MS methods heavily relied on its N-methyl derivatives 8-11. Unusually for topsentin-type structures, natural 5 and semisynthetic methyl derivatives 8 and 10 proved inactive on KB tumoural cells, while introduction of the last three methyl groups, amazingly led to highly cytotoxic 11.
    Additional Material: 2 Tab.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/hlca.19960790804
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Novel Naamidine-Type Alkaloids and Mixed-Ligand Zinc(II) Complexes from a Calcareous Sponge, Leucetta sp., of the Coral Sea (1995)
    New York, NY : Wiley-Blackwell
    Helvetica Chimica Acta 78 (1995), S. 1178-1184 
    Details
    ISSN: 0018-019X
    Keywords: Chemistry ; Organic Chemistry
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology
    Notes: As compounds from a calcareous sponge, Leucetta sp., of the Coral Sea, we isolated a series of novel naamidine-type alkaloids, 6-10, which are oxidized at a single benzylic position. We also report on the first marine, mixed-ligand metal complex 5 and on the first natural metal complexes 3 and 4 derived from classical naamidines, i.e., 1 and 2. The latter are also present in free form in the sponge.
    Additional Material: 2 Tab.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/hlca.19950780511
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Determination of the empirical polarity parameter ET(30) for binary solvent mixturesSee Ref. 1. (1995)
    Chichester : Wiley-Blackwell
    Journal of Physical Organic Chemistry 8 (1995), S. 617-625 
    Details
    ISSN: 0894-3230
    Keywords: Organic Chemistry ; Physical Chemistry
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Physics
    Notes: Empirical solvent polarity parameters ET(30) were determined by UV-visible spectrophotometry using Dimroth- Reichardt's betaine dye, as a function of composition, for (aprotic + aprotic) and (aprotic + protic) binary solvent mixtures. For (aprotic + aprotic) solvent systems the cosolvent was toluene, and the other solvents used were selected with different structural characteristics and an extensive range of polarity: chloroform, 1,4-dioxane, ethyl acetate, tetrahydrofuran, acetone, nitromethane and N,N-dimethylformamide. For (aprotic + protic) solvent systems, the protic cosolvent used was methanol, and the aprotic solvents selected were toluene, chloroform, 1,1,1-trichloroethane, tetrahydrofuran, acetone, N,N-dimethylformamide, and dimethyl sulphoxide. Each system was analysed according to its deviations from additivity due to selective solvation of the betaine. A preliminary application of these empirical solvent polarity parameters was related to the solvent effects in a simple example of a nucleophilic aromatic substitution reaction.
    Additional Material: 10 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/poc.610080908
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...