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.     

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).     

All-silica nanofluidic devices for DNA-analysis fabricated by imprint of sol-gel silica with silicon stamp

We present a simple and cheap method for fabrication of silica nanofluidic devices for single-molecule studies. By imprinting sol-gel materials with a multi-level stamp comprising micro- and nanofeatures, channels of different depth are produced in a single process step. Calcination of the imprinted hybrid sol-gel material produces purely inorganic silica, which has very low autofluorescence and can be fusion bonded to a glass lid. Compared to top-down processing of fused silica or silicon substrates, imprint of sol-gel silica enables fabrication of high-quality nanofluidic devices without expensive high-vacuum lithography and etching techniques. The applicability of the fabricated device for single-molecule studies is demonstrated by measuring the extension of DNA molecules of different lengths confined in the nanochannels.     

Study of the mechanical properties of two organic–inorganic hybrid systems: GPTMS/colloidal silica and GPTMS/TEOS

This work investigates the mechanical properties of different scratch resistant coatings, namely, a mixture of 3-glycidoxypropyltrimethoxysilane (GPTMS) with either colloidal silica particles or tetraethoxysilane (TEOS). Coatings were prepared by the hydrolysis and the condensation of the precursor's alkoxide (sol–gel process) with thermally catalyzed polymerization of epoxy ring of GPTMS. Dip deposition techniques were used on silicon substrate.The nanoindentation technique was used to analyze the force required to indent the coating with a diamond tip. At low forces, this technique, based on indentation depth, predicts the hardness and the elastic modulus of the coating, while at higher forces, cracks appear. Another analysis based on geometric approach, namely, the crack length, allows the determination of both coating and interface toughness.     

A Fast‐Initiating Ionically Tagged Ruthenium Complex: A Robust Supported Pre‐catalyst for Batch‐Process and Continuous‐Flow Olefin Metathesis

In this study, a new pyridinium‐tagged Ru complex was designed and anchored onto sulfonated silica, thereby forming a robust and highly active supported olefin‐metathesis pre‐catalyst for applications under batch and continuous‐flow conditions. The involvement of an oxazine–benzylidene ligand allowed the reactivity of the formed Ru pre‐catalyst to be efficiently controlled through both steric and electronic activation. The oxazine scaffold facilitated the introduction of the pyridinium tag, thereby affording the corresponding cationic pre‐catalyst in good yield. Excellent activities in ring‐closing (RCM), cross (CM), and enyne metathesis were observed with only 0.5 mol % loading of the pre‐catalyst. When this powerful pre‐catalyst was immobilized onto a silica‐based cationic‐exchange resin, a versatile catalytically active material for batch reactions was generated that also served as fixed‐bed material for flow reactors. This system could be reused at 1 mol % loading to afford metathesis products in high purity with very low ruthenium contamination under batch conditions (below 5 ppm). Scavenging procedures for both batch and flow processes were conducted, which led to a lowering of the ruthenium content to as little as one tenth of the original values.     

Hierarchical approach of seismic full waveform inversion

Full waveform inversion (FWI) of seismic traces recorded at the free surface allows the reconstruction of the physical parameters structure on the underlying medium. For such a reconstruction, an optimization problem is defined, where synthetic traces, obtained through numerical techniques as finite-difference or finite-element methods in a given model of the subsurface, should match the observed traces. The number of data samples is routinely around 1 billion for 2D problems and 1 trillion for 3D problems while the number of parameters ranges from 1 million to 10 million degrees of freedom. Moreover, if one defines the mismatch as the standard least-squares norm between values sampled in time/frequency and space, the misfit function has a significant number of secondary minima related to the ill-posedness and the nonlinearity of the inversion problem linked to the so-called cycle skipping. Taking into account the size of the problem, we consider a local linearized method where gradient is computed using the adjoint formulation of the seismic wave propagation problem. Starting for an initial model, we consider a quasi-Newtonian method, which allows us to formulate the reconstruction of various parameters such as P and S waves velocities or density or attenuation factors. A hierarchical strategy based on the incremental increase of the data complexity starting from low-frequency content to high-frequency content, from initial wavelets to later phases in the data space from narrow azimuths to wide azimuths and from simple observables to more complex ones. Different synthetic examples on realistic structures illustrate the efficiency of this strategy based on the data manipulation. This strategy related to the data space has to be inserted into a more global framework where we could improve significantly the probability to converge to the global minimum. When considering the model space, we may rely on the construction of the initial model or add constraints such as smoothness of the searched model and/or prior informations collected by other means. An alternative strategy concerns the building of the objective function and various possibilities must be considered, which may increase the linearity of the inversion procedure.     

Equilibria between alpha- and beta-agostic stabilized rotamers of secondary alkyl niobium complexes.

The isopropyl chloro complex Tp(Me2)NbCl(i-Pr)(PhC&tbd1;CMe) (2) [Tp(Me2) = hydrotris(3,5-dimethylpyrazolyl)borate] exhibits a beta-agostic structure in the crystal. The conformation of the alkyl group is such that the agostic methyl group lies in the Calpha-Nb-Cl plane and the nonagostic one, in a wedge formed by two pyrazole rings. As observed by solution NMR spectroscopy, restricted rotation about the Nb-C bond allows the observation of an equilibrium between this species, 2beta, and a minor alpha-agostic rotamer 2alpha. A putative third rotamer which would have the secondary hydrogen in the wedge is not observed. Similar behavior is observed for related Tp'NbCl(i-Pr)(R(2)C=CMe) [Tp' = Tp(Me2), R(2) = Me (3); Tp' = Tp(Me2,4Cl), R(2) = Ph (4)]. The two diastereomers of the sec-butyl complex Tp(Me2)NbCl(sec-Bu)(MeC=CMe) (5) have been separated. In the crystal, 5CR-AS has a beta-agostic methyl group with the ethyl group located in the wedge formed by two pyrazole rings. The same single beta-agostic species is observed in solution. The other diastereomer, 5AR-CS has a beta-agostic methylene group in the solid state, and the methyl group sits in the wedge. In solution, an equilibrium between this beta-agostic methylene complex 5AR-CSbeta and a minor alpha-agostic species 5AR-CSalpha, where the ethyl substituent of the sec-Bu group is located in the wedge between two pyrazole rings, is observed. NMR techniques have provided thermodynamic parameters for these equilibria (K = 2beta/2alpha = 4.0 +/- 0.1 at 193 K, DeltaG(o)(193) = -2.2 +/- 0.1, DeltaH(o) = -7.4 +/- 0.1 kJ mol(-)(1), and DeltaS(o) = -27 +/- 1 J K(-)(1) mol(-)(1)), as well as kinetic parameters for the rotation about the Nb-C bond (at 193 K, DeltaG(2)= 47.5 +/- 2.5, DeltaH= 58.8 +/- 2.5 kJ mol(-)(1), and DeltaS = 59.0 +/- 10 J K(-)(1) mol(-)(1)). Upon selective deuteration of the beta-methyl protons in Tp(Me2)NbCl[CH(CD(3))(2)](PhC=CMe) (2-d(6)), an expected isotope effect that displaces the equilibrium toward the alpha-agostic rotamer is observed (K = 2-d(6)beta/2-d(6)alpha = 3.1 +/- 0.1 at 193 K, DeltaG(o)(193) = -1.8 +/- 0.1, DeltaH(o) = -8.3 +/- 0.4 kJ mol(-)(1) and DeltaS(o)= -34 +/- 2 J K(-)(1) mol(-)(1)). The anomalous values for DeltaH(o) and DeltaS(o) are discussed. Hybrid quantum mechanics/molecular mechanics calculations (IMOMM (B3LYP:MM3)) on the realistic model Tp(Me2)NbCl(i-Pr)(HC=CMe) have reproduced the energy differences between the alpha- and beta-agostic species with remarkable accuracy. Similar calculations show that Tp(Me2)NbCl(CH(2)Me)(HC=CMe) is alpha-agostic only and that Tp(5)(-)(Me)NbCl(CH(2)Me)(HC=CMe), which has no methyl groups at the 3-positions of the pyrazole rings, is beta-agostic only. Analysis and discussion of the computational and experimental data indicate that the unique behavior observed for the secondary alkyl complexes stems from competition between electronic effects favoring a beta-agostic structure and steric effects directing a bulky substituent in the wedge between two pyrazole rings of Tp(Me2). All of the secondary alkyl complexes thermally rearrange to the corresponding linear alkyl complexes via a first-order reaction.