On Binary Computation Structures

Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated.     

Annealing behavior of gel‐spun polyethylene fibers at temperatures lower than needed for significant shrinkage

The annealing at 373 K of ultrastrong, gel‐spun polyethylene (PE) has been studied. At this temperature, the fibers show no significant shrinkage. Still, a significant decrease in the mechanical properties is observed. The fibers have been analyzed with differential scanning calorimetry (DSC), temperature‐modulated differential scanning calorimetry (TMDSC), atomic force microscopy (AFM), and small‐angle X‐ray scattering (SAXS). During the annealing, the glass transition of the intermediate phase is exceeded, as shown by DSC. When split for structure analysis by AFM, the annealed fibers undergo plastic deformation around the base fibrils instead of brittle fracture. The quasi‐isothermal TMDSC experiments are compared to the minor structural changes seen with SAXS and AFM. The loss of performance of the PE fibers at 373 K is suggested to be caused by the oriented intermediate phase, and not by major changes in the structure or morphology. The overall metastable, semicrystalline structure is shown by TMDSC to posses local regions that can melt reversibly. © 2003 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 41: 403–417, 2003     

Influence of trans-cis photoisomerizations of solubilized compounds on transition temperatures in the system cetyltrimethylammonium bromide-water: Light-induced phase transitions

Transition temperatures (TN1) from the nematic lyotropic liquid-crystalline phase to the isotropic phase were measured for the system cetyltrimethylammonium bromide (CTAB) water in the presence of small amounts of 3-stilbene carboxylic acid (3SC), 4-stilbene carboxylic acid (4SC) and Δ2/2'-bi-(2H-l,4-benzothiazine) (BT). TNI, increases as a function of trans-3SC or trans-4SC concentration, ranging from 01 to 08 wt %, by up to 12°C. A further increase in TNI between 2 and 5°C can be achieved by photochemically converting the solubilized trans stilbene derivatives to the cis isomers. Irradiation of a trans-3SC containing sample at a temperature just above TNl leads to a light-induced phase transition to the lyotropic liquid-crystalline phase. Solubilization of trans-BT causes a slight decrease of TNI while photoisomerization to cis-BT increases T_NI by 1°C.     

3rd International Conference on Trace Element Speciation in Biomedical,Nutritional and Environmental Sciences

3rd International Conference on Trace Element Speciation in Biomedical, Nutritional and Environmental Sciences     

Crystallographic report: Crystal structure of 1‐bromo‐1′‐[(2S)‐N‐(1‐hydroxy‐3‐methylbutane‐2‐yl)]‐ferroceneamide

For the unsymmetrical title compound, 1‐bromo‐1′‐[(2S)‐N‐(1‐hydroxy‐3‐methylbutane‐2‐yl)]‐ferroceneamide, two independent molecules were found in the asymmetric unit. Copyright © 2003 John Wiley & Sons, Ltd.     

Decomposition of multiattribute expected-utility functions

This paper integrates and extends the theory of the decomposition of multiattribute expected-utility functions based on utility independence. In a preliminary section, the standard decision model of expected utility is briefly discussed, including the fact that the decision maker's preference forlotteries with two outcomes determines the utility function uniquely. The decomposition possibilities of a utility function are captured by the concept ofautonomous sets of attributes, an affine separability of some kind known as generalized utility independence.Overlapping autonomous sets lead to biaffine-associative, i.e.multiplicative oradditive decompositions. The multiplicative representation shows that autonomy has strongerclosure properties than utility independence, for instance with respect to set-theoretic difference. Autonomy is also a concept with a wider scope since it applies to the decomposition of Boolean functions, games and a number of other topics in combinatorial optimization. This relationship to the well-known theory ofsubstitution decomposition in discrete mathematics also reveals a kind of discrete core behind the decomposition of utility functions. The entirety of autonomous sets can be represented by a compact data structure, the so-calledcomposition tree, which frequently corresponds to a natural hierarchy of attributes. Multiplicative/additive ormulti-affine functions correspond to the hierarchy steps. The known representation of multi-affine functions is shown to be given by aMoebius inversion formula. The entire approach has the advantage that it allows the application of more sophisticated representation methods on a detailed level, whereas it employs onlyfinite set theory andarithmetic on the main levels in the hierarchy.     

Untersuchungen über Enzymaktivitäten der Leberzelle bei Vitamin-E-Mangel

The enzymatic elongation of acyl-CoA esters by malonyl-CoA, respectively de novo synthesis of fatty acids from malonyl-CoA by liver microsomes and non particulate fraction of α-tocopherol deficient rats is diminished versus controls. However, liver microsomes of vitamin E deficient rats synthesize more eicosatetraenic acid from γ-linolenic acid and more γ-linolenic acid from linolic acid than do those of tocopherol supplemented animals. It has often been shown that the liver phosphatides of tocopherol deficient rats contain more arachidonic acid than those of controls, a fact which can be explained now by increased activity of the enzymes involved in the biosynthesis of arachidonic acid. Certain polyenic fatty acids are more rapidly synthesized in the absence of naturally occuring antioxidants. Some enzymes of the respiratory chain have also been examined. No vitamin E deficiency effect has been found on enzymes such as gluconate-6-P-dehydrogenase, isocitrate-dehydrogenase, malate-dehydrogenase and lactate dehydrogenase contained in the non particulate fraction. Sonicated mitochondria of tocopherol deficient rats show a greater activity towards cytochrome, oxydase and β-hydroxy-acetyl-CoA-dehydrogenase than controls, possibly due to ultrastractural alteration of this particle.     

Neutral lipids in the brain of premature and newborn infants

Using already published methods, the authors have determined in eight brains of premature and seven brains of new-born children: dry matter, total lipids, pure lipids, and acid and neutral lipids. The latter have been separated into cerebrosides, sphingomyelines, colamine cephalines, and lecithins.     

Syntheses of seven-membered rings: ruthenium-catalyzed intramolecular [5+2] cycloadditions

The Ru-catalyzed intramolecular [5+2] cycloaddition of cyclopropylenynes is investigated with respect to the regio- and diastereoselectivity as well as the functional group compatibility of the reaction. Evidence for the mechanism as occurring through a ruthenacyclopentene intermediate is elucidated from 1) the study of the diastereoselectivity of the cycloaddition; 2) the effect of variation of substituents on the regioselectivity of cyclopropyl bond cleavage in 1,2-trans- and 1,2-cis-disubstituted cyclopropanes and 3) examples that clearly do not involve ruthenacyclohexene as intermediates as products still incorporate the cyclopropyl moiety. The scope and limitations of the Ru-catalyzed cycloaddition are discussed and compared with the Rh-catalyzed reaction. The potential power of this methodology towards natural product total synthesis is demonstrated by the formation of several polycyclic systems with the chosen reaction conditions and readily available cyclopropylenyne substrates.