Reasoning about sequences of memory states

Motivated by the verification of programs with pointer variables, we introduce a temporal logic whose underlying assertion language is the quantifier-free fragment of separation logic and the temporal logic on the top of it is the standard linear-time temporal logic LTL. We analyze the complexity of various model-checking and satisfiability problems for , considering various fragments of separation logic (including pointer arithmetic), various classes of models (with or without constant heap), and the influence of fixing the initial memory state. We provide a complete picture based on these criteria. Our main decidability result is pspace-completeness of the satisfiability problems on the record fragment and on a classical fragment allowing pointer arithmetic. -completeness or -completeness results are established for various problems by reducing standard problems for Minsky machines, and underline the tightness of our decidability results.     

On the discrete-time compound renewal risk model with dependence

In this paper, we study the discrete-time renewal risk model with dependence between the claim amount random variable and the interclaim time random variable. We consider several dependence structures between the claim amount random variable and the interclaim time random variable. Recursive formulas are derived for the probability mass function and the moments of the total claim amount over a fixed period of time. In the context of ruin theory, explicit expressions for the expected penalty (Gerber-Shiu) function are derived for special cases. We also discuss how the discrete-time compound renewal risk model with dependence can be used to approximate the corresponding continuous time compound renewal risk model with dependence. Numerical examples are provided to illustrate different topics discussed in the paper.     

Stoichiometric inhibition of amyloid beta-protein aggregation with peptides containing alternating alpha,alpha-disubstituted amino acids

We have prepared two peptides based on the hydrophobic core (Lys-Leu-Val-Phe-Phe) of amyloid beta-protein (Abeta) that contain alpha,alpha-disubstituted amino acids at alternating positions, but differ in the positioning of the oligolysine chain (AMY-1, C-terminus; AMY-2, N-terminus). We have studied the effects of AMY-1 and AMY-2 on the aggregation of Abeta and find that, at stoichiometric concentrations, both peptides completely stop Abeta fibril growth. Equimolar mixtures of AMY-1 and Abeta form only globular aggregates as imaged by scanning force microscopy and transmission electron microscopy. These samples show no signs of protofibrillar or fibrillar material even after prolonged periods of time (4.5 months). Also, 10 mol % of AMY-1 prevents Abeta self-assembly for long periods of time; aged samples (4.5 months) show only a few protofibrillar or fibrillar aggregates. Circular dichroism spectroscopy of equimolar mixtures of AMY-1 and Abeta show that the secondary structure of the mixture changes over time and progresses to a predominantly beta-sheet structure, which is consistent with the design of these inhibitors preferring a sheet-like conformation. Changing the position of the charged tail on the peptide, AMY-2 interacts with Abeta differently in that equimolar mixtures form large ( approximately 1 mum) globular aggregates which do not progress to fibrils, but precipitate out of solution. The differences in the aggregation mediated by the two peptides is discussed in terms of a model where the inhibitors act as cosurfactants that interfere with the native ability of Abeta to self-assemble by disrupting hydrophobic interactions either at the C-terminus or N-terminus of Abeta.     

A triad based on an iridium(III) bisterpyridine complex leading to a charge-separated state with a 120-micros lifetime at room temperature

A triad D-Ir-A, where Ir is an Ir(III) bisterpyridine complex connected through an amidophenyl spacer to D, a triphenylamine electron donor, and to A, a naphthalene bisimide electron acceptor, has been synthesized and electrochemically investigated. The photoinduced processes in the triad, which is more than 4-nm long, have been characterized by steady-state and time-resolved optical spectroscopy by comparison with the model dyads D-Ir, Ir-A, and the reference monomers D, Ir, and A. A sequential electron transfer occurs upon excitation of the D and Ir units, leading to the charge-separated state D+-Ir- -A in 100 % yield and subsequently to D+-Ir-A- in about 10 % yield. The final charge-separated state has a lifetime at room temperature of 120 micros in air-free acetonitrile and of 100 micros in air-equilibrated solvent. Excitation of the A units does not yield intramolecular reactivity, but the resulting triplet-excited state localized on the acceptor, D-Ir-3A, displays intermolecular reactivity.     

C-H bond activation of arenes by a transient eta2-cyclopropene niobium complex

The intermolecular C-H bond activation of benzene occurs under very mild conditions (room temperature) via a rare stereospecific 1,3-H addition on an unsaturated eta2-cyclopropene intermediate generated by a beta-H abstraction of CH4 from TpMe2NbMe(c-C3H5)(MeCCMe) to give TpMe2NbPh(c-C3H5)(MeCCMe).     

A simple two steps ytterbium triflate‐catalysed preparation of 2,2‐dimethyl‐2h‐chromenes from salicylaldehydes and 2‐methylpropene

The preparation of various 2,2‐dimethyl‐2H‐chromenes was achieved in two steps via an ytterbium triflate‐catalysed reaction between salicylaldehydes, trimethylorthoformate and 2‐methylpropene. From salicylaldehyde, two reaction products were characterised: 4‐methoxy‐2,2‐dimethylchroman and 2‐(1,3‐dimethoxy‐3‐methylbutyl)phenol. The former compound probably results from a Lewis acid‐catalysed [2+4] cycloaddition between the intermediate quinonemethide and 2‐methylpropene whereas the latter may occur via a reaction related to a carbonyl‐ene reaction between the quinonemethide and 2‐methylpropene. Both compounds were subjected to a catalytic acidic treatment leading to 2,2‐dimethyl‐2H‐chromene. Starting from various salicylaldehydes, the scope of this method was investigated.     

Cell refractive index tomography by digital holographic microscopy

For what we believe to be the first time, digital holographic microscopy is applied to perform optical diffraction tomography of a pollen grain. Transmission phase images with nanometric axial accuracy are numerically reconstructed from holograms acquired for different orientations of the rotating sample; then the three-dimensional refractive index spatial distribution is computed by inverse radon transform. A precision of 0.01 for the refractive index estimation and a spatial resolution in the micrometer range are demonstrated.     

Long-term carrier-envelope phase stability from a grating-based, chirped pulse amplifier

We demonstrate a carrier-envelope phase (CEP) stabilized, chirped pulse laser amplifier that exhibits greatly improved intrinsic long-term CEP stability compared with that of other amplifiers. This system employs a grating-based stretcher and compressor and a cryogenically cooled laser amplifier. Single-shot carrier envelope phase noise measurements are also presented that avoid underestimation of this parameter caused by fringe averaging and represent a rigorously accurate upper limit on CEP noise.     

Modification of Polysaccharides Through Controlled/Living Radical Polymerization Grafting—Towards the Generation of High Performance Hybrids

This review covers the literature concerning the modification of polysaccharides through controlled radical polymerizations (NMP, ATRP and RAFT). The different routes to well‐defined polysaccharide‐based macromolecules (block and graft copolymers) and graft‐functionalized polysaccharide surfaces as well as the applications of these polysaccharide‐based hybrids are extensively discussed.

     

Light‐Powered Self‐Healable Metallosupramolecular Soft Actuators

Supramolecular functional materials able to respond to external stimuli have several advantages over their classical covalent counterparts. The preparation of soft actuators with the ability to respond to external stimuli in a spatiotemporal fashion, to self‐repair, and to show directional motion, is currently one of the most challenging research goals. Herein, we report a series of metallopolymers based on zinc(II)–terpyridine coordination nodes and bearing photoisomerizable diazobenzene units and/or solubilizing luminescent phenylene–ethynylene moieties. These supramolecular polymers act as powerful gelating agents at low critical gelation concentrations. The resulting multiresponsive organogels display light‐triggered mechanical actuation and luminescent properties. Furthermore, owing to the presence of dynamic coordinating bonds, they show self‐healing abilities.