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.     

Formation of tetra(ethylene oxide) terminated Si-C linked monolayers and their derivatization with glycine: an example of a generic strategy for the immobilization of biomolecules on silicon

Surface modification with oligo(ethylene oxide) functionalized monolayers terminated with reactive headgroups constitutes a powerful strategy to provide specific coupling of biomolecules with simultaneous protection from nonspecific adsorption on surfaces for the preparation of biorecognition interfaces. To date, oligo(ethylene oxide) functionalized monolayer-forming molecules which can be activated for attachment of biomolecules but which can selectively form monolayers onto hydrogen terminated silicon have yet to be developed. Here, self-assembled monolayers (SAMs) containing tetra(ethylene oxide) moieties protected with tert-butyl dimethylsilyl groups were formed by thermal hydrosilylation of alkenes with single-crystal Si(111)-H. The protection group was used to avoid side reactions with the hydride terminated silicon surface. Monolayer formation was carried out using solutions of the alkene in the high-boiling-point solvent 1,3,5-triethylbenzene. The protecting group was removed under very mild acidic conditions to yield a free hydroxyl functionality, a convenient surface moiety for coupling of biological entities via carbamate bond formation. The chemical composition and structure of the monolayers before and after deprotection were characterized by X-ray photoelectron spectroscopy (XPS) and X-ray reflectometry. To demonstrate the utility of this surface for covalent modification, two reagents were compared and contrasted for their ability to activate the surface hydroxyl groups for coupling of free amines, carbonyl diimidazole (CDI), and disuccinimidyl carbonate (DSC). Analysis of XP spectra before and after activation by CDI or DSC, and after subsequent reaction with glycine, provided quantitative information on the extent of activation and overall coupling efficiencies. CDI activated surfaces gave poor coupling yields under various conditions, whereas DSC mediated activation followed by aminolysis at neutral pH was found to be an efficient method for the immobilization of amines on tetra(ethylene oxide) modified surfaces.     

The CeO(2)(+) Cation: Gas-Phase Reactivity and Electronic Structure

"Bare" CeO(2)(+) ions can be prepared in the gas phase by consecutive oxidation of Ce(+) with O(2) and NO(2). The ability to activate saturated and unsaturated hydrocarbons is investigated by use of Fourier-transform ion cyclotron resonance mass spectrometry. In the reactions of CeO(2)(+) with linear and branched alkanes C-H bond activation is observed almost exclusively. In contrast, both oxygen-atom transfer and C-H bond activation processes occur when thermalized CeO(2)(+) cations react with simple alkenes and aromatic compounds. C-C bond activation is not observed at all. Insight into the structural and electronic properties of neutral CeO(2) and cationic CeO(2)(+) is provided by means of quasirelativistic density-functional and ab initio pseudopotential calculations. They reveal a (2)Sigma(u)(+) ground state for CeO(2)(+) which is best described as a linear cerium dioxide with a resonating pi bond. Finally, we discuss the influence of oxo ligands on the chemistry of the cationic CeO(n)()(+) (n = 0-2) species toward hydrocarbons.     

Transition properties from multiple scattering X-Alpha Calculations: A study of NO2

The usefulness of the MS -X_α method for calculating molecular transition properties is investigated in a study of NO₂. Two-dimensional potential surfaces are obtained in C_2v symmetry for the X?²A₁/òB₂ system. Potential curves that approximately follow the asymmetric stretch coordinate are also presented: On investigation, no symmetry-broken solutions were found. At all nuclear geometries investigated, the muffin-tin sphere radii were chosen by an energy-minimization technique. The inclusion of corrections to the muffin-tin form of the X_α total energy is shown to be essential, if the computed surfaces are to be qualitatively correct. The transition dipole moment connecting the two states is evaluated as a function of nuclear coordinates, using the transition-state approximation. Finally, the radiative decay of a single vibronic level in NO₂ is modeled and the relevance to experiment is discussed.     

Stille Cross‐Coupling of a Racemic Planar‐Chiral Ferrocene and Crystallographic Trace Analysis of Catalysis Intermediates and By‐products

A pressure‐controlled procedure for the S_N1 reaction of rac‐1‐[(dimethylamino)methyl]‐2‐(tributylstannyl)ferrocene ( 1 ) to rac‐1‐(phthalimidomethyl)‐2‐(tributylstannyl)ferrocene ( 2 ) was developed. Pd⁰‐Catalyzed Stille coupling of 2 with iodobenzene afforded rac‐1‐phenyl‐2‐(N‐phthalimidomethyl)ferrocene ( 5 ) in 74% yield; after trace enrichment by crystallization of the combined mother liquors, one single crystal of each, 5 , catalysis intermediate trans‐iodo(σ‐phenyl)bis(triphenylarsino)palladium(II) ( 7 ), trans‐diiodobis(triphenylarsino)palladium(II) ( 8 ), and rac‐2,2′‐bis(phthalimidomethyl)‐1,1′‐biferrocene ( 9 ) could be isolated by crystal sorting under a microscope and characterized by X‐ray crystal structure analysis. Furthermore, 5 was deprotected to amine ( 11 ), which does even survive the Birch reduction to rac‐1‐(aminomethyl)‐2‐(cyclohexa‐2,5‐dienyl)ferrocene ( 12 ).     

Synthesis, structure, and dynamics of six-membered metallacoronands and metallodendrimers of iron and indium

In the reaction of the N-substituted diethanolamines (H(2)L(1-3)) (1-3) with calcium hydride followed by addition of iron(III) or indium(III) chloride, the iron wheels [Fe(6)Cl(6)(L(1))(6)] (4) and [Fe(6)Cl(6)(L(2))(6)] (6) or indium wheels [In(6)Cl(6)(L(1))(6)] (5), [In(6)Cl(6)(L(2))(6)] (8) and [In(6)Cl(6)(L(3))(6)] (9) were formed in excellent yields. Exchange of the chloride ions of 6 by thiocyanate ions afforded [Fe(6)(SCN)(6)(L(2))(6)] (7). Whereas the structures of 4, 5 and 7 were determined unequivocally by single-crystal X-ray analyses, complexes 8 and 9 were characterised by NMR spectroscopy. Contrary to what is normally presumed, the scaffolds of six-membered metallic wheels are not generally rigid, but rather undergo nondissociative topomerisation processes. This was shown by variable temperature (VT) (1)H NMR spectroscopy for the indium wheel [In(6)Cl(6)(L(1))(6)] (5) and is highlighted for the enantiotopomerisation of one indium centre [ 1/6[S(6)-5]<==>[1/6[S(6)-5']]. The self-assembly of metallic wheels, starting from diethanolamine dendrons, is an efficient strategy for the convergent synthesis of metallodendrimers.     

Combinatorial synthesis of amino acid- and peptide-carbohydrate conjugates on solid phase

Carbohydrates are useful polyfunctional scaffold molecules which allow the selective attachment of a number of different side chains. The combinatorial solid phase synthesis of diverse amino acid or peptide conjugates of a polyfunctional glucose scaffold based on a set of selectively removable and orthogonally stable protecting groups is described. The resulting carbohydrate-peptide hybrids constitute potential turn mimetics.