Synthesis and Characterization of 5‐Cyanotetrazolide‐Based Ionic Liquids

New salts based on imidazolium, pyrrolidinium, phosphonium, guanidinium, and ammonium cations together with the 5‐cyanotetrazolide anion [C₂N₅]^? are reported. Depending on the nature of cation–anion interactions, characterized by XRD, the ionic liquids (ILs) have a low viscosity and are liquid at room temperature or have higher melting temperatures. Thermogravimetric analysis, cyclic voltammetry, viscosimetry, and impedance spectroscopy display a thermal stability up to 230 °C, an electrochemical window of 4.5 V, a viscosity of 25 mPa s at 20 °C, and an ionic conductivity of 5.4 mS cm^?1 at 20 °C for the IL 1‐butyl‐1‐methylpyrrolidinium 5‐cyanotetrazolide [BMPyr][C₂N₅]. On the basis of these results, the synthesized compounds are promising electrolytes for lithium‐ion batteries.     

Mechanistic Aspects of a Highly Active Dinuclear Zinc Catalyst for the Co‐polymerization of Epoxides and CO2

The dinuclear zinc complex reported by us is to date the most active zinc catalyst for the co‐polymerization of cyclohexene oxide (CHO) and carbon dioxide. However, co‐polymerization experiments with propylene oxide (PO) and CO₂ revealed surprisingly low conversions. Within this work, we focused on clarification of this behavior through experimental results and quantum chemical studies. The combination of both results indicated the formation of an energetically highly stable intermediate in the presence of propylene oxide and carbon dioxide. A similar species in the case of cyclohexene oxide/CO₂ co‐polymerization was not stable enough to deactivate the catalyst due to steric repulsion.     

Efficient Collocation Schemes for Singular Boundary Value Problems

We discuss an error estimation procedure for the global error of collocation schemes applied to solve singular boundary value problems with a singularity of the first kind. This a posteriori estimate of the global error was proposed by Stetter in 1978 and is based on the idea of Defect Correction, originally due to Zadunaisky. Here, we present a new, carefully designed modification of this error estimate which not only results in less computational work but also appears to perform satisfactorily for singular problems. We give a full analytical justification for the asymptotical correctness of the error estimate when it is applied to a general nonlinear regular problem. For the singular case, we are presently only able to provide computational evidence for the full convergence order, the related analysis is still work in progress. This global estimate is the basis for a grid selection routine in which the grid is modified with the aim to equidistribute the global error. This procedure yields meshes suitable for an efficient numerical solution. Most importantly, we observe that the grid is refined in a way reflecting only the behavior of the solution and remains unaffected by the unsmooth direction field close to the singular point.     

Onset of crater formation during short pulse laser ablation

We report morphologic changes of metallic surfaces at the onset of ablation, starting from gentle ablation to the emergence of ablation craters. The evolution of both observed melting zones and of ablation craters therein are investigated in dependence of the ablation laser fluence for nanosecond ultraviolet laser pulses. Further, consequences of crater formation for cluster synthesis within the released atomic vapor are pointed out. PACS 52.38.Mf; 79.20.Ds; 65.40.De     

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.