A Branched Tripeptide with an Anion-Binding Motif as a New Delivery Carrier for Efficient Gene Transfection

Branched and dendrimeric cationic peptides have shown better transfection efficiency than linear peptides, owing to their superior capacity for inducing DNA condensation. We have designed and synthesized two analogously guanidinocarbonylpyrrole-substituted (GCP-substituted) branched cationic tripeptides that provide extremely strong electrostatic attraction towards DNA. Both ligands 1 and 2 can bind to DNA and form condensed complexes, owing to the branched structure and high positive charges, as demonstrated by isothermal titration calorimetry (ITC), ζ potential and atomic force microscopy (AFM). After the replacement of the carboxylate group by an amide group, binding of ligand 2 to DNA shows exothermic enthalpy and positive entropy changes relative to ligand 1 . Rational interpretation would suggest that ligand 2 might aid the translocation of plasmid pF143 to HEK 293T cells, showing high gene transfection efficiency. This work therefore provides a facile way, by modifying a branched cationic tripeptide with GCP, to turn a peptide even a tripeptide into an efficient gene transfection vector.     

A calculus for modular loop acceleration and non-termination proofs

Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs. To this end, a variety of acceleration techniques have been proposed. However, so far all of them have been monolithic, i.e., a single loop could not be accelerated using a combination of several different acceleration techniques. In contrast, we present a calculus that allows for combining acceleration techniques in a modular way and we show how to integrate many existing acceleration techniques into our calculus. Moreover, we propose two novel acceleration techniques that can be incorporated into our calculus seamlessly. Some of these acceleration techniques apply only to non-terminating loops. Thus, combining them with our novel calculus results in a new, modular approach for proving non-termination. An empirical evaluation demonstrates the applicability of our approach, both for loop acceleration and for proving non-termination.

     

Charge Transportation and Chirality in Liquid Crystalline Helical Network Phases of Achiral BTBT-Derived Polycatenar Molecules

First examples of multichain (polycatenar) compounds, based on the π-conjugated [1]benzothieno[3,2-b]benzothiophene unit are designed, synthesized, and their soft self-assembly and charge carrier mobility are investigated. These compounds, terminated by the new fan-shaped 2-brominated 3,4,5-trialkoxybenzoate moiety, form bicontinuous cubic liquid crystalline (LC) phases with helical network structure over extremely wide temperature ranges (>200 K), including ambient temperature. Compounds with short chains show an achiral cubic phase with the double network, which upon increasing the chain length, is at first replaced by a tetragonal 3D phase and then by a mirror symmetry is broken triple network cubic phase. In the networks, the capability of bypassing defects provides enhanced charge carrier mobility compared to imperfectly aligned columnar phases, and the charge transportation is non-dispersive, as only rarely observed for LC materials. At the transition to a semicrystalline helical network phase, the conductivity is further enhanced by almost one order of magnitude. In addition, a mirror symmetry broken isotropic liquid phase is formed beside the 3D phases, which upon chain elongation is removed and replaced by a hexagonal columnar LC phase.     

Modeling the Electrical Conductive Paths within All-Solid-State Battery Electrodes

All-solid-state batteries constitute a very promising energy storage device. Two very important properties of these battery cells are the ionic and the electrical conductivity, which describe the ion and the electron transport through the electrodes, respectively. In this work, a numerical method is presented to model the electrical conductivity, considering the outcome of discrete-element method simulations and the intrinsic conductivities of both the active material particles and the conductive additive particles. The results are calibrated and validated with the help of experimental data of real manufactured electrodes. The tortuosity, which strongly influences the ionic conductivity, is also presented for the analyzed electrodes, taking their microstructure into account.     

Trends in Thermal Separation Technologies – An Industrial Perspective

The article discusses future trends and their implications on separation technologies starting from the main drivers of technological developments. Especially the consequences of the expected energy and raw material change and the increasing international economic competition on process technologies are addressed. Special attention is given to the opportunities of increasing computational power and the availability of high-performance networks for scientific modeling and their use in process industries.     

Minimal Representations and Algebraic Relations for Single Nested Products

Programming and Computer Software - Recently, it has been shown constructively how a finite set of hypergeometric products, multibasic hypergeometric products or their mixed versions can be modeled...